1) automatic verification
自动验证
1.
The principle and implementation of automatic verification, which provides a novel way to overcome the inherent limitation of simulation are presented.
针对混合系统既包含连续变量又存在离散事件的特点，给出了混合系统在Matlab环境下的建模方法、仿真过程，为克服仿真的固有局限性，文中给出自动验证原理及其实现，并以化工过程控制中的应用实例对整个过程作了介绍。
2.
This paper presents an automatic verification method for possible software defects based on finite backtracking symbolic execution.
本文提出一种基于有限回溯符号执行的软件疑似缺陷自动验证方法。
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) Automatic formalized verification
形似化自动验证
4) verification process automation
验证流程自动化
5) NSV Nonautomatic Self Verification
非自动控制的自我验证
6) self-verification
自我验证
1.
Self-verification, Self-enhancement and Well-being;
自我验证、自我提高和心理健康
2.
Swann raised the theory of self-verification and recently proposed a framework of self-verification processes for classifying most of the past researches on self-verification.
Swann提出自我验证理论并于最近给出自我验证过程的模型,概括了以往有关自我验证的研究结果。
3.
As a most important motive to keep self-esteem,self-enhancement,along with the motive of self-verification,plays an important role in individual s pursuit to self-cognition.
自我提升作为维持自尊的重要动机,与自我验证的动机一同在人们寻求自我认识的过程中发挥着重要作用,它有认知过滤、支持自尊、有利健康、预测交往模式与佐证文化差异的功能,通过社会比较、自我妨碍与自我服务归因等方式实现。
补充资料：后勤指挥自动化系统(见后勤指挥自动化)
后勤指挥自动化系统(见后勤指挥自动化)
automated system of logistic command
houqin zhihui zidonghua xitong后勤指挥自动化系统(automated、ys-tem of logistie eommand)见后勤指挥自动化。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条