Chinese translation for "自动验证技术"

automated identification technologies

Related Translations:

验证试车:  confirmation test

验证测量:  confirmatory measurementconfirmatorymeasurement

验证系统:  epidverification system

验证应力:  proof stress

形式验证:  formal verification

证明验证:  review

已验证:  authenticated

验证职能:  attestation function

硬件验证:  hardware verificationverification hardwareverification, hardware

判定验证:  decision verification

Example Sentences:

	1.	Model checking is an important technology of automatic verification 模型检验( modelchecking )是一种重要的自动验证技术。
	2.	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 模型检测技术是近二十年来最成功的自动验证技术之一，目前被广泛的应用于有穷状态系统(包括电路设计和通讯协议等)的分析与验证。
	3.	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技术最合适是一件十分困难的工作。

Similar Words：

"自动验光系统" Chinese translation, "自动验光仪" Chinese translation, "自动验瓶机" Chinese translation, "自动验眼系统" Chinese translation, "自动验证" Chinese translation, "自动验证系统" Chinese translation, "自动扬料臂系统" Chinese translation, "自动阳极氧化装置" Chinese translation, "自动阳离子交换设备" Chinese translation, "自动氧割" Chinese translation