1) verification mode
验证模态
2) dynamic verification
动态验证
1.
At present,workflow management systems have not sufficiently dealt with the issue of time,In order to predict intervals of activities and verify temporal constraints at run-time,a novel approach for dynamic verification of temporal constraints is proposed.
目前,工作流管理系统不能有效的处理时间管理问题,为了动态预测活动发生的时间间隔,验证时间的一致性,预知潜在的时间冲突,首先建立基于时间Petri网的扩展工作流网(XTWF-net),然后根据工作流管理联盟规定的几种基本结构推导出时间预测规则,并采用面向对象技术实现了预测算法,最后给出了动态验证的方法和决策策略。
4) model verification
模型验证
1.
Study on reliability growth model verification and predictionfor coal mills of large power plant;
大型火电站磨煤机可靠性增长模型验证及预测研究
2.
Research on Workflow Model Verification and Data Access Conflict Analyze;
工作流模型验证与数据访问冲突分析方法研究
3.
Research on Technology of Workflow Model Verification Based on Synchronization Net;
基于同步网的工作流模型验证技术研究
5) Model validation
模型验证
1.
Application of Model Validation in the Dynamic Test of Guidance and Control System for Air-to-Air Missile;
模型验证技术在红外空空导弹控制系统动态测试中的应用
2.
Simulation study on the dynamic rill erosion processes: model validation with laboratory experiments;
细沟侵蚀动态过程模拟室内试验和模型验证研究
3.
Thus,the window spectrum estimation technique provides more effective model validation than the traditional back-test m.
为将基于窗谱估计的模型验证技术应用于金融时间序列领域,以解决金融时间序列模型的设定正确性。
6) Model Validation
模式验证
补充资料：DVT 设计验证(Design Verification Testing)
以测试产品的功能性为主，通常还包含Debug。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条