1) verification process automation
验证流程自动化
2) automatic verification
自动化验证
1.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
2.
This paper presents a method that constructs automatic verification environment by using pipeline model and function coverage.
针对"龙腾R2"微处理器验证过程中的存在验证规模大,人力资源不足的问题,采用流水线模型构建随机的指令序列生成器,搭建以功能覆盖率为导向的自动化验证平台;该平台在仿真验证过程中能根据处理器的运行状态及覆盖率实时地调整指令流以侧重当前验证不充分的功能模块,实现自动化验证;通过仿真,与传统方法相比,在达到同等验证程度的情况下,使用该平台验证周期明显缩短,同时验证覆盖率也有所提高。
3) automatization of Ar-Ar dating process
Ar-Ar实验流程自动化
4) Automatic formalized verification
形似化自动验证
5) flow automatization
流程自动化
1.
The forest infomationization course was a operation flow automatization dealing course,a successful forest information system could not deviate flow automatization dealing.
林业信息化的过程是一个业务流程的自动化处理过程,一个成功的林业信息系统不能脱离流程自动化的处理。
6) automatic scteme
自动化流程
1.
Prediction of anomalous track of tropical storm and its automatic scteme;
热带风暴复杂路径分型预报自动化流程
补充资料：后勤指挥自动化系统(见后勤指挥自动化)
后勤指挥自动化系统(见后勤指挥自动化)
automated system of logistic command
houqin zhihui zidonghua xitong后勤指挥自动化系统(automated、ys-tem of logistie eommand)见后勤指挥自动化。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条