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),然后根据工作流管理联盟规定的几种基本结构推导出时间预测规则,并采用面向对象技术实现了预测算法,最后给出了动态验证的方法和决策策略。
Study on reliability growth model verification and predictionfor coal mills of large power plant;
大型火电站磨煤机可靠性增长模型验证及预测研究
Research on Workflow Model Verification and Data Access Conflict Analyze;
工作流模型验证与数据访问冲突分析方法研究
Research on Technology of Workflow Model Verification Based on Synchronization Net;
基于同步网的工作流模型验证技术研究
Application of Model Validation in the Dynamic Test of Guidance and Control System for Air-to-Air Missile;
模型验证技术在红外空空导弹控制系统动态测试中的应用
Simulation study on the dynamic rill erosion processes: model validation with laboratory experiments;
细沟侵蚀动态过程模拟室内试验和模型验证研究
Thus,the window spectrum estimation technique provides more effective model validation than the traditional back-test m.
为将基于窗谱估计的模型验证技术应用于金融时间序列领域,以解决金融时间序列模型的设定正确性。
Design and Implementation of Static Verifier in VeriJava;
VeriJava中静态验证器的设计与实现
The static stress test verifies the correctness of the model.
最后通过静态应力试验验证该模型的正确性。
Verification of predicted single event upset rate for commercial static random access memory(SRAM)
静态存储器单粒子翻转率预示的在轨验证
Dosimetric Verification of the Static Physical Compensator Intensity-modulated Radiotherapy
静态物理补偿器调强放射治疗的剂量验证
Simulation results testify the DTC has good static and dynamic performance.
并进行了仿真，仿真结果验证了直接转矩控制优良的动静态性能。
Construction and Validation of Galvanic Coupling Human Intra-body Communication Model with Quasistatic Approximation
准静态近似条件下电流耦合型人体通信模型的建立与验证
Static Calibration and CoP Experimental Verification on Multicomponent Piezoelectricity Force Plate
多分量压电晶体测力平台静态标定与CoP验证研究
Static Analysis Based Correctness Verification for Mandatory Access Control Framework
基于静态分析的强制访问控制框架的正确性验证
static characteristic test for generator set
发电机组静态特性试验
static scope check
静态作用域检验 -软件
It includes static evidence, dynamic evidence and net-work evidence.
主要包括静态取证,动态取证和网络取证。
Static Analysis and Experimentation for Radar Antenna Structure
某雷达天线结构静力分析及试验验证
Discussion on Static Forensics and Dynamic Forensics
浅谈计算机静态取证与计算机动态取证
Experimental Studies on Static and Dynamic Viscoelastic Properties of Polymer Solids
固态高聚物动静态黏弹性的实验研究
RB Static State Simulation Experiment of Units and Configuration Optimization
发电机组RB静态仿真试验及组态优化
On the Relationship Between Static Investigation and Dynamic Investigation and Their Importance;
论静态勘验与动态勘验之间的关系及作用
Application and Practice of SEC Proven Reserves Static Evaluation Method
SEC证实储量静态评估方法应用与实践
Study of Union Authentication System Based on the Vein Verification;
基于静脉纹络认证的联合身份验证系统的研究
