程序验证
- 网络Verifier;program verification;process verification
-
结构-运动特性矩阵的NC程序验证及效果
NC Program Verification of Structure-Motion Characteristic Matrix and Its Effect
-
一种基于Mealy机的BPEL程序验证模型研究
A BPEL Program Verification Method Research Based on Mealy Machine
-
用C语言设计了相应的程序验证了此算法的有效性。
The algorithm is proved by C programme .
-
一种用于Java程序验证编译的标签类型
A Tag Type for Certifying Compilation of Java Program
-
该数据处理平台通过了标准C程序验证和UC/OS2操作系统验证。
The data processing platform pass the C standard procedures for verification and UC / OS2 operating system certification .
-
切片执行还集成了一种轻量级判定过程,用于对C程序验证过程中的验证公式进行高效判定。
A lightweight decision procedure is also integrated to efficiently decide the formulas generated during the verification of C programs .
-
基于Petri网的点到点通信并行程序验证
Verification of Parallel Programs of Point-To-Point Communication Based on Petri Net
-
基于虚拟制造的复杂曲面NC程序验证仿真环境的建立
Modeling of virtual environment based on VM to verify sculptured surface NC program verification
-
并发程序验证的时序Petri网方法
Verification of Concurrent Programs by Temporal Petri Nets
-
面向并发C程序验证,切片执行集成了本文提出的有状态动态偏序缩减方法,大大缩减搜索的状态空间。
To verify concurrent C programs , a novel stateful dynamic partial-order reduction method is integrated into slicing execution , which greatly reduces the searching state space .
-
钢管混凝土粘结滑移性能的理论分析及ANSYS程序验证
Study on the Basic Theory of Bond-Slip between Steel Tube and Concrete in CFT Structures and Numerical Simulation by ANSYS Program
-
在中介流的Response选项卡下,您可以看到已通过应用程序验证的附件现在如何以同样方式被传回。
In the Response tab of the mediation flow , you can see how the attachment that has been verified by the application is now passed back in a similar way .
-
在使用XML模式实现健壮的验证时,请记住:(几乎是肯定地)当您的应用程序验证文档时,应用程序不应该取决于文档本身的正确性。
When implementing robust validations with XML schemas , keep in mind that almost by definition when your application validates documents , it should not depend on those documents being correct .
-
应用程序验证标识符(将用户定向到其OP以进行登录)
The application verifies the Identifier ( by directing the user to her OP to sign in ) .
-
认证级LOCA分析程序验证及其三维效应的研究
Verification of Licensing LOCA Analysis Program and Three-Dimension Effect Study
-
最后,通过仿真程序验证了在网络环境下风电场SCADA系统安全访问控制的可行性。
Finally , the feasibility of secure access control of SCADA system for wind power farm under network environment is proved by emulator .
-
在分析已有多线程程序验证方法的基础上,提出并实现了一个适用于BPEL流程的数据竞争和死锁检测算法。
Moreover , a data race and deadlock detection algorithm is proposed and realized on the basis of techniques for verifying traditional multithreaded programs .
-
本文介绍一个实验性的机械程序验证系统。该系统由VCG(验证条件生成器),PROVER(定理化简),以及RESOLUTION(消解)三部分组成。
This paper describes an experimental verifier of computer programs , which consists of three parts : VCG , PROVER and RESOLUTION .
-
多相流传输THM全耦合数值模型及程序验证
A numerical model for fully coupled THM processes with multiphase flow and code validation
-
运行结果表明,该解决方案是在微机上实现复杂曲面NC程序验证的有效方法,能拓展NC程序验证系统的应用范围。
As shown by result of operation , this settling plan is an effective method for realizing the NC program verification of complex curved plane on PC , it extends the application of NC program verification system .
-
本文的工作使用基于携带证明的代码技术,使用Hoare逻辑的汇编语言级形式化程序验证方法(CAP),提出了一种验证带有线程动态创建和退出的多线程程序的验证框架。
Based on Hoare-logic assembly level verification framework , this paper proposed a verification framework for certifying multithreaded programs with dynamic thread creation and termination .
-
随着工业的不断发展,零件的几何形状越来越复杂,加工仿真已成为实际数控加工前NC程序验证和CL数据证实必不可少的一个环节。
With the development of modern industry , the geometrical shape of a part is becoming more and more complex . Machining simulation has become an indispensable and important processing to verify NC programs and CL data before actually machining .
-
在程序验证领域,Hoare公理方法与Dijkstra最弱前置谓词方法是最为杰出的,这两个方法系统的基点是各自定义的语言系统,然后根据各自的方法寻求语言系统的语义。
In the field of program verification , Hoare axiomatic method and the Dijkstra weakest pre-verb is the most outstanding of these two methods is their point system , the definition of the language system , and then find their way to the semantics of the language system .
-
这个应用程序验证输入到输入域中的邮政编码。
The application validates postal codes entered into an entry field .
-
基于时态逻辑演算的程序验证
Verification of programs on the basis of temporal logic calculus
-
在成员资格提供程序验证用户名之前发生。
Occurs before the user name is validated by the membership provider .
-
注意:大多数应用程序验证程序停止是不可继续的。
Note : most of the Application Verifier stops are not continuable .
-
不变式产生器&程序验证的重要工具
An invariant generator & an important tool of program verification
-
通过编写的程序验证理论的正确性和完整性。
Computer program verifies the correctness and integrity of theory .
-
上述算法都已通过程序验证。
Arithmetic aforementioned has been tested in the program .