validity and correctness 有效性和正确性
Most of present workflow models lack formal definitions. So it is difficult to support the analysis on correctness and validity of process.
而且现有的工作流模型普遍缺乏严密的定义，很难支持对流程正确性、有效性的分析验证。
The validity of three methods and the correctness of the error calculation were proved in the machining experiments.
通过加工实验，验证了三种刀位计算方法的有效性和误差分析方法的正确性。
Correctness and validity of the neural network object forecast algorithm and immune algorithm with evaluated antigen are tested by the simulation of varies examples.
通过对不同情况算例的仿真，验证了神经网络目标预测算法和基于抗原进化免疫算法的正确性和有效性。
应用推荐