Modeling and logical correctness verification of Web service processes;
Web服务过程建模及其逻辑正确性验证
The modeling, formal description and correctness verification of online static and dynamic stock trading systems, based on Shanghai Stock Exchange, are shown by using temporal Petri nets in order to make online stock trading systems more effective and rational.
基于时序Petri网对我国现行网上静态和动态证券交易系统进行了模拟、形式描述及功能正确性验证。
Current researches on correctness verification for the mandatory access control framework of operating systems mainly focus on authorization hooks placement verification.
现阶段对操作系统的强制访问控制框架的正确性验证的研究主要集中于对授权钩子放置的验证。
However,the research on these emerging technologies is far from mature,such as how to compose web service,to realize automatic composition,composition verification and so on.
然而,在这一研究领域还存在诸多问题,比如web服务用哪种方式组合,能否实现自动组合,对组合服务进行正确性验证等等。
The key issue arising from digitalization of the reactor protection system for nuclear power plant is how to carry out verification and validation(V&V),to demonstrate and confirm the software that performs reactor safety functions is safe and reliable.
核动力厂保护系统实现数字化必须解决的一项关键技术是如何完成安全软件的验证与确认(V&V),以证明和确认执行安全功能的软件自身的安全性和可靠性。
Model verification and validation for radioactive consequence assessment is an urgent and key problem to be solved in the development of assessment model at present.
放射性后果评价模式的验证和确认是目前开发评价模式中亟待解决的关键司题,本文介绍了模式验证和确认的实用方法,并针对模式验证和确认中的难点提出几点建议。
The Verification of UML Model Based on SBOPN;
基于SBOPN的UML模型的正确性验证
Verifying the Accuracy of Web Services Using Pi-calculus
基于Pi-演算的服务组合正确性验证
Modeling and Verification of Workflow in Virtual Enterprises;
面向虚拟企业的工作流建模与正确性验证
The Model and Verification of MPI Parallal Programs Based on Petri Net;
基于Petri网的MPI并行程序建模与正确性验证
A Study on Syntax Trees Based Program Correctness Validation in Intelligent CAA;
智能CAA中基于语法树的程序正确性验证研究
The experiment result proves theory analysis.
实验结果验证了理论分析的正确性。
The correctness of this design is validated with experiment and simulation.
用实验与仿真验证了方案的正确性。
Experiment result shows the correctness of this conclusion.
实验结果验证了该结论的正确性。
The correctness and practicability of this method was proved by an example.
算例验证了该法的正确性和实用性。
In order to verify the correctness and reliability of Know-how
为了验证专有技术的正确性和可靠性
And the accuracy of the model is proved by simulation computation.
通过仿真计算，验证了模型的正确性。
The test samples reveal that the method is correct.
实例检验证明了该模型的正确性。
And the analysis of theory is verified by the simulation of computer.
仿真结果验证了理论分析的正确性。
To demonstrate the validity of(a hypothesis or proposition).
验证说明（一个假设或命题）的正确性
The rationality and validity were validated experimentally.
通过实验验证了传感器的合理性及正确性。
The correctness of the result was proved by some underground boreholes.
经过少量的井下钻孔验证，证实了结果的正确性。
The static stress test verifies the correctness of the model.
最后通过静态应力试验验证该模型的正确性。
And now it's running smoothly which validate the rightness and feasibility of the theory.
目前试运行良好，验证了理论的正确性和可行性。
