自动验证技术的英文

发音:

"自动验证技术"怎么读用"自动验证技术"造句

英文翻译手机版

automated identification technologies

"自动"英文翻译 voluntarily; of one's own ac ...
"验证"英文翻译 test and verify; checking; p ...
"技术"英文翻译 technology; skill; technique ...
"验证技术" 英文翻译 : proof technique
"自动验证" 英文翻译 : automated proof; autoverify
"自动验证系统" 英文翻译 : automated verification system; automatic verification system; avs
"程序设计语言验证技术" 英文翻译 : programming language validation technique
"自动验潮仪" 英文翻译 : automatic tide gauge; marigraph
"自动验光仪" 英文翻译 : auto refractometer; automatic optometry unit; autorefractors
"自动验瓶机" 英文翻译 : automatic bottle inspector
"最佳论证技术" 英文翻译 : best demonstrated technology
"自动验光系统" 英文翻译 : subjective refraction system
"自动验眼系统" 英文翻译 : auto optometry system
"最佳可用论证技术" 英文翻译 : best available demonstrated technology
"自动验光测镜仪" 英文翻译 : auto refractometer le meter; auto refractometer lensmeter
"自动验光角膜仪" 英文翻译 : auto refractometer keratometer
"质量保证技术出版物" 英文翻译 : quality assurance technical publications
"自动程序验证" 英文翻译 : automatic program verification
"自动程序验证程序" 英文翻译 : automated program verifier
"自动程序验证系统" 英文翻译 : automatic program verification system
"自动化协议验证" 英文翻译 : automated protocol validation
"验证" 英文翻译 : test and verify; checking; proving; testing; confirmation; [数学] corroboration; inspection; verification
"全自动技术" 英文翻译 : fully automatic technique
"自动化技术" 英文翻译 : automation technology; mechanical automation; tecniche dell automazione
"自动技术" 英文翻译 : automobile

例句与用法

Model checking is an important technology of automatic verification
模型检验( modelchecking )是一种重要的自动验证技术。
Model - checking is one of the most successful automatic verification techniques in the past two decades . it has been used in the analysis and verification of finite - state systems such as sequential circuit designs and communication protocols
模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。
Recent research on automatic verification has shown that no single model - checking technique has the edge over all others in all application areas . so , it is very difficult to determine which technique is the most suitable for a given model . it is thus sensible to apply different techniques to the same model
最近关于自动验证技术研究表明在一个复杂系统分析和验证中，基于不同原理的model checking技术的使用效果有很大的区别，对于一个给定的应用系统模型而言，选择哪一种model checking技术最合适是一件十分困难的工作。