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.
随著各个专题规格与程序的难度不同，小组可能需要写出程序正确性的证明。
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(它们都是完全的)，并对算法的正确性给出了证明。
应用推荐