- 验证算法
- algorithm verification: 算法验证
- verification: n. 1.证实，证明，确定；核验，验证，核对；检验，校验。 2.【法律】诉状[答辩书]结尾的举证说明。 verification of machines 机器的校准[检定]。
- algorithm: n. 【数学】算法；规则系统；演段。
- the algorithm: 算法
- 163．verification: 核对
下载手机词典可随时随地查词查翻译
verification algorithm中文什么意思
- 验证算法
下载手机词典可随时随地查词查翻译
例句与用法
- 更多例句： 上一页
- upon the construction of weak derivation set, this thesis presents the concept of continuing traceability, and provides decision algorithm for the continuing traceability of a transformation sequence and tittering algorithm for the continuing traceable weak inverse attribute mapping . upon verifying weak derivation set, this thesis gives a series of verification algorithms based on the best property of attribute mapping or transformation
在构造弱起源集阶段，提出了可延续跟踪性的概念，给出了可延续跟踪性判别算法和可延续跟踪的弱逆映射的筛选算法；在验证弱起源集阶段，针对不同类型的转换和属性映射，给出了相应的验证算法。 - presenting optimization algorithms for extended stga extending the syntax of the script language to definite the verification problem, and implementing the compilation and stga generation module for this language; incorporating the module with the core verification algorithm; demonstrating the validation and analyzing the performance of the tool with some real-world examples
?扩充检测问题的定义语言?脚本语言的格式，使用sml语言实现了脚本语言的编译和扩展stga图生成模块，并将该模块和检测算法核心连接，实现了整个工具。论文还结合应用实例证明了扩展工作的有效性并分析了工具的性能。