English translation for "正确性证明"
|
- correctne proof
correctness proof justification proof of correctness
Related Translations:
正确性: accuracycorrectnessjustnesslegitimacytruenesstruthvalidityverecity 软件正确性: correctness of softwaresoftware correctness 概率正确性: probable correctness 验证正确性: proving correctness 正确性论据: correctness argument 经验正确性: empirical validity
- Example Sentences:
| 1. | 10 xu h l , huang l s , wan y y et al . localized algorithm for coverage in wireless sensor networks 本文的第四节给出了算法的正确性证明,即算法构造的路径为最坏覆盖路径。 | | 2. | One thing should be pointed out is that the correctness proof based on strand space is valid only on the attack set already known 需要指出的是:基于strand空间理论的正确性证明是建立在已知攻击集的基础上的。 | | 3. | For the computation of the minimal covers of a family of sets , we propose several theorems to describe the principle , and develop corresponding algorithm elaborately 而对于族集最小覆盖集的计算问题,本文则提出了若干个定理刻画了其计算方法的原理并予以正确性证明,并精心设计了相应的算法。 | | 4. | As the formalized method and program validity testifying technology are still waiting to be practically applied . software testing still is the effective method to insure the quality of software 在目前形式化方法和程序正确性证明技术还无望成为实用性方法的情况下,软件测试在将来相当一段时间内仍然是软件质量保证的有效手段。 | | 5. | Simultaneity , in a certain kind of question ' s development , the technique can be carried out reuse in the formal deduce , correctness prove and so on . so it will give an effective way to research on reuse in the software development full process 同时,某类问题的求解过程中的形式化推导、正确性证明等都可以实现复用,从而为实现软件开发全过程的复用研究提供一种有效的途径。 | | 6. | From angle of prove , truth and exactness of scientific theory prove , identification to causality in fiction fact , and science own error probability and scientific probability direct against the issue of scientific precise , are analyzed 从证明的角度,对鉴定实施中科学理论的真理性和正确性证明、拟制事实中的因果关系,并针对包括科学本身误差几率与科学的概率在内的科学确率问题作了分析。 | | 7. | Correspondence means that each time a principal b completes a run of the protocol as responder using x , which to b appears to be a run with a , then there is a unique run of the protocol with the principal a as initiator using x , which to a appears to be a run with b . secrecy means that messages protected by the protocol can be known by any penetrator 然后基于strand空间模型给出了其严谨周密的正确性证明。 mb协议的正确性主要体现在两个方面:认证属性:当协议主体以某参数完成协议后,被认证主体也必须以该参数参与协议运行。秘密属性:保护协议消息不会泄漏给未被授权的主体。 | | 8. | E3d r - tree takes into account the features of moving object data and takes advantage of new cost parameters . in particular , least - cost - first search algorithm is used in the insertion algorithm to find the overall best way to insert a new record in e3d r - tree . the proof of the vidility of the algorithm is given 在e3dr - tree中,结合移动对象数据特征引入空白区域作为新的插入代价参数,同时,在插入算法中利用最小代价优先搜索算法确定全局最优插入路径,并给出算法正确性证明。 | | 9. | Therefore , the formal semantic study of uml is helpful for the improvement of the clarification , equivalence , consistency , and extendibility of the language , thus offers a powerful theoretical tool for the validity proof , transition of the model and the consistency check of the modeling tools supporting uml 因此,对uml进行形式语义研究,对增进该语言的清晰性、等价性和一致性、可扩展性是十分有帮助的,为模型的正确性证明、转换以及支持uml建模工具的一致性检查提供了有力的理论工具。 | | 10. | We analysis the conflict , convert channel and starvation problems of concurrent schedule based on strict - 2pl locking protocal which applies nhstm model , then present a concurrent scheduling algorithm making use of buffer and point p . also , we proved the concurrent schedule algorithm is serializable . at the same time , we introduce the key technical used in nhsdb concurrency control mechanism , and give the implementation details 我们对应用nhstm模型的,通过应用严格两段锁协议实施的并发调度中,可能存在的并发冲突,隐通道和饥饿问题进行分析,在此基础上提出了一种利用缓冲和p点的并发调度算法,并给出了该算法的并发调度正确性证明,解决多级安全条件下的隐通道和饥饿问题。 |
- Similar Words:
- "正确性论据" English translation, "正确性确认" English translation, "正确性审计" English translation, "正确性验证" English translation, "正确性争议" English translation, "正确选定曝光时间" English translation, "正确选位" English translation, "正确选择词义" English translation, "正确学名" English translation, "正确穴" English translation
|
|
|