The correctness proof and complexity analysis of LEACH - ZMH are given.
给出LEACH- ZMH的正确性证明和复杂性分析。
Depending on the difficulty of the specification and code, the group may also write a correctness proof for the code.
随著各个专题规格与程序的难度不同，小组可能需要写出程序正确性的证明。
Finally, given the size of the API, any formal proof of specific properties or the correctness of programs using it is an extremely difficult task.
最后，由于API的规模，特定属性的形式证明和使用这些属性的程序的正确性的验证变得相当困难。
In this paper, the proof of correctness and the complexity analysis of the MRPMQ are also given.
给出了该协议的正确性证明和复杂性分析。
Two fast complete parallel thinning algorithms FPTAI and FPTAZ are presented, and the correctness-proof of these algorithms is also given.
本文提出了两个并行细化算法FPTA1和FPTA2(它们都是完全的)，并对算法的正确性给出了证明。
Two fast complete parallel thinning algorithms FPTAI and FPTAZ are presented, and the correctness-proof of these algorithms is also given.
本文提出了两个并行细化算法FPTA1和FPTA2(它们都是完全的)，并对算法的正确性给出了证明。
应用推荐