前置条件 meaning in English
precondition
Examples
- Firstly , any owner of rights requesting the customs to protect his intellectual property rights should apply beforehand for putting the protection of intellectual property rights on record
《条例》将“备案”作为获取海关保护的前置条件,不仅有悖于tr于s规定,也给申请人增加了不合理负担。 - The pre - conditions needed to invoke a service and the post conditions that can result are communicated the current state and optional guards , as well as the next state are specified by the transition
呼叫服务需要的前置条件和会产生的后置条件是相通的目前状态和可选的监护以及下一状态都是透过转换指定的。 - The technical items dependencies , preconditions and postconditions , formal workflow analysis , implementation requirements and notes would come primarily from engineering , with the marketing organization in a consulting role
技术项(依赖性、前置条件和后置条件、正式工作流分析、实现需求和注解)将主要来自工程方,而市场营销组织起咨询角色。 - We specify a statement of failure as postcondition , expend the relative axioms and use them try to prove weakest precondition , if the proving succeed , it means that the protocol suffer from an attack
我们定义协议的失败条件作为后置条件,对加密系统的有关公理进行扩展,并用来对最弱前置条件进行推理证明,如果证明成功说明该协议会受到某个攻击。 - Assertions can be used anywhere in the code , but two good places to use them are at the entry and exit of functions to check for pre - conditions and post - conditions that you know should exist if the code is correct
断言可用于代码中的任何地方,不过函数的入口和出口是使用它们的好地方,您可以在那里检查前置条件和后置条件,因为您知道如果代码正确这些条件应该存在。