1)precondition[英][,pri:k?n'd??n][美]['prik?n'd???n]前置条件
1.The three factors: precondition,postcondition and invariant in the design by contract on guaranteeing the business component trustworthiness are analyzed.重点分析了契约式设计如何通过前置条件、后置条件和不变式3要素保证业务构件的可信,并给出具体的实例来说明。
2.By summarizing its application in test case generation,precondition was classified and parameterized.在实践的基础上总结了测试用例生成中的前置条件,进行了分类和参数化,并将研究结果应用于测试用例自动生成工具,生成了软件可靠性测试用例。
3.Precondition, burden of proof and choice of action form are three problems required to solve in action realizing system.前置条件、举证责任之承担和诉讼形式的选择是目前诉讼实现机制亟待解决的三大问题,本文拟对它们进行客观、冷静的评述与选择,望能对证券民事责任诉讼实现机制有所裨益。
英文短句/例句
1.sensory preconditioning感觉的前置条件作用
2.Preconditons of the Development of Chinese Agricultural Futures Markets and Its Restricting Factors农产品期货市场发展的前置条件及其制约因素
3.These days, most talk about aid acknowledges the fact that good governance is a precondition of poverty eradication.这些日子，大多数谈论援助的人承认好的政府管理这一事实是根除贫困的前置条件。
4.Document preconditions, postconditions, and invariant conditions.对前置、置、变条件进行文档注释。
5.Prospect of roadway arrangement reform under the condition of thick seam with large dip angle大倾角厚煤层条件下巷道布置改革的前景
6.The conditional member of a hypothetical proposition.前提，前提条件假设命题中的条件
7.An Analysis of Resource Allocation,TOT and the Causes and Future of China s Entry Into AFTA;资源配置、贸易条件与中国加入AFTA的动因及前景分析
8.Precondition - line %1, file %2, condition = %3, message = %4前提条件-行%1,文件%2,条件=%3,消息=%4
9.return to a previous location or condition.返回原来的位置或条件。
10.Failed to set the current search criteria. Your server version may not allow you to perform searches in Search Folders.当前搜索条件设置失败。您的服务器版本可能不允许在“搜索文件夹”中执行搜索。
11.Study on the frontal condition for continuous phase plate in inertial confinement fusion driver激光惯性约束聚变驱动器终端光学系统中束匀滑器件前置的条件研究
12.Article 7. The criteria of assets scale and other factors as referred to in the aforesaid article are:第七条 前条所指的资产规模等条件是：
13.regain a former condition.重新回到先前的条件。
14.Patience must suppose pain痛苦是耐心的前提条件
15.Save these settings for the current user profile only.只为当前用户配置文件保存这些设置。
16.No default profile set. Please use the Profile Wizard to set a default profile before running the Message File Conversion Wizard.未设置默认配置文件。请在运行邮件文件转换向导之前，使用配置文件向导设置默认配置文件。
17.A conditional release of an offender from confinement before the expiration of his or her sentence. The offender is usually placed under the guidance of a parole officer.囚犯在服刑期满前有条件地释放出来，但必须置于假释官的督导之下。
18.All of these prerequisites can be configured through the setup project for the add-in you create in VSTO.所有这些前提条件都可以从你在VSTO里创建的加载宏的安装工程里配置。
相关短句/例句
pre-condition前置条件
1.The method uses the pre-condition and post condition which the services must be met as a judge matching criteria,and this can speed up the matching of services and improve the matching accuracy,and prove the effectiveness of the method in the practical application.该方法依据服务所必须满足的前置条件和后置条件作为判断服务匹配的准则,可以加快服务的匹配速度以及提高匹配精度,并在实际应用中证明了该方法的有效性。
2.Cosidering the difficulities to search pre-condition of Hoare’axiomatic approach, an idea of combing these two methods is proposed.针对于Hoare公理化方法证明中的前置条件难以寻找的问题,提出了将这两种演算方法结合使用的方法。
3)condition prefiX条件前置
4)Pre-&Post-condition[英][pri:][美][pri]前后置条件
5)Precondition simplifyi前置条件简化
6)weakest precondition最弱前置条件
1.Our approach is specify a protocol in CPAL (Cryptographic Protocol Analysis Language) ,apply Hoare and Dijkstra抯 theory of formal semantics to it, analysis it抯 forma] semantics, define weakest precondition of each kind of language statement.我们的方法就是用CPAL（Cryptographic Protocol Analysis Language）语言来表示协议，将Hoare和Dijkstra在形式语义方面的理论应用到该语言，分析该语言的形式语义，定义每种语句的最弱前置条件。
延伸阅读
最弱前置条件方法最弱前置条件方法weakest pre-condition method Zuiruo q.QnZhl tlQOJIan fangfa最弱前置条件方法(w“‘estp份conditionmethod)基于最弱前置条件的一种程序完全正确性证明方法。最谙前!条件指保证一个语句执行正常结束并满足结果断言的最弱前提条件。它是一个谓词公式，通常用饮夕(s，R)表示，这里，R是语句S执行后所期望的结果断言(后置断言)。 E.W.伪kstra在前后断言的基础上提出了最弱前置条件的概念，以及相应的程序设计演算，使程序设计和程序验证可同时进行。 对于E.W.列kstra所定义的语言，语句的语义通过最弱前置断言给出。t刃户(s，R)可通过逆向推理导出。例如:赋值语句的语义是双沪(x:=。，R)二R【x/。〕，即将R中x的所有自由出现同时代换成e。例如: 帅(“x:=x‘二”，x4=10)三((x、x)4=10)三(xs=10) 为了证明循环的终止性，E.W.则kstra引人了循环不变式和界函数。一般说来，一个循环呈如下形式: lin二r故nt:叫一进人循环前，不变式p真， 1加“nd:川一并且B真时t>0，t是循 环次数的上界 doB~I玉奖reaset，Strueod 一当B真时，使t递减并执 行S，S执行过程真 保持P {P八，B}一则循环必然终止且终止时 P真B假 若Q是s的执行能在有限时间内中止并满足R的任一前提条件，则必有Q=>u沪(s，R)。因此，证明前后断言Q{S}R只需先求出最弱前置断言双沪(S，R)，再证明Q”双乡(s，R)。 当给定了Q和R，根据Q，R的结构，通过推导饮沪(S，R)，可推出S的结构，从而将程序设计的过程变成数学推导的过程。例如，要设计一个循环IX)，使得当满足前置断言Q和结果断言R，则P，t和B应满足Q=>P八加“nd:t，t镇0冷，B及P八，B冷R。这实际上给出了循环语句设计的原则。
