• In this paper, the proof of correctness and the complexity analysis of the MRPMQ are also given.

    给出了该协议正确性证明复杂性分析

    youdao

  • The correctness proof and complexity analysis of LEACH - ZMH are given.

    给出LEACH- ZMH正确性证明复杂性分析

    youdao

  • 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规模特定属性形式证明使用这些属性的程序正确性的验证变得相当困难

    youdao

  • Depending on the difficulty of the specification and code, the group may also write a correctness proof for the code.

    著各个专题规格程序难度不同,小组可能需要写出程序正确性证明

    youdao

  • The correctness proof of the algorithm is also given in this paper.

    本文还给出了算法正确性证明

    youdao

  • Two fast complete parallel thinning algorithms FPTAI and FPTAZ are presented, and the correctness-proof of these algorithms is also given.

    本文提出两个并行细化算法FPTA1FPTA2(它们都完全),并算法的正确性给出了证明。

    youdao

  • Two fast complete parallel thinning algorithms FPTAI and FPTAZ are presented, and the correctness-proof of these algorithms is also given.

    本文提出两个并行细化算法FPTA1FPTA2(它们都完全),并算法的正确性给出了证明。

    youdao

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定