Most of present workflow models lack formal definitions. So it is difficult to support the analysis on correctness and validity of process.
而且现有的工作流模型普遍缺乏严密的定义，很难支持对流程正确性、有效性的分析验证。
Validity of Participation: After receiving participation information, organizers will confirm the status of guests and send out formal invitation which will be used by guests to attend the meeting.
报名生效：收到报名信息后，组委会将进行来宾身份确认，并发出正式邀请函，凭邀请函入场。
In this paper, a singularly perturbed catalytic reaction problem is considered. The formal asymptotic solution is obtained and its uniform validity is proved.
本文讨论了一个奇摄动催化反应问题，得到了问题的形式渐近解，证明了它的一致有效性。
Formal methods have become a kind of important methods to ensure the validity and consistence in the development of the software.
形式化方法已经成为保证软件开发过程正确性和一致性的一种重要方法。
The experiment results validate the correctness and validity of the algorithm by using the celestial spectrum data as the formal context.
采用恒星天体光谱数据作为形式背景，实验验证了算法的正确性和有效性。
Procedures require the identity, formal stamp and signature of level III NDE engineer as well as the date of validity.
程序需要的身份，正式图章和III级无损检测工程师签名以及有效日期。
In addition, these models still exist a common weakness, that these models lack strict formal definitions. So it is difficult to support the analysis and validity on correctness of process.
此外，这些模型还存在一个共同的缺点，缺乏严格的形式化定义，很难支持对学习过程的正确性的分析与验证。
In addition, these models still exist a common weakness, that these models lack strict formal definitions. So it is difficult to support the analysis and validity on correctness of process.
此外，这些模型还存在一个共同的缺点，缺乏严格的形式化定义，很难支持对学习过程的正确性的分析与验证。
应用推荐