The property to be checked is described as a finite state machine that transitions on atomic predicates, properties that can be identified by cursory look at the program.
所要检查的特性被描述为一个有限状态机器，即原子谓词上的转变，这样粗略地查看程序就能识别出这些特性。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
Further more, this paper analyzed the wall's stress distributing state by the finite element program, it provides a reference for concept design in the practical engineering.
另外，本文借助有限元程序分析了墙体的应力分布状态，这为实际工程中的概念设计提供一定的参考。
A design method by usage of finite state machine and VHDL hardware description language to develop the program is adopted, then it is simulated and downloaded on the EDA software platform.
采用有限状态机设计方法，使用VHDL硬件描述语言编程，并在EDA工具软件平台上进行了仿真和下载。
By using the finite element method, the solution for solving the mathematic model and electrical computer program of axisymmetric unsteady state temperature field has been found.
本文用有限元方法建立了求解轴对称非稳定温度场的数学模型和电算程序。
The method fit for the program operation of the computer can be easily used for the synthesis of a finite automation with multi-input and multi-state.
该方法适宜于计算机编程操作，因此可方便地用于多输入多状态有限自动机的综合。
This paper presents an emergency call center system. The kernel software of the system is designed based on a finite-state machine, featuring with clear control structure effective program code.
文章介绍了一种面向应急救援的呼叫中心系统，其核心软件基于有限状态机理论设计而成，具有控制结构清晰、程序代码简洁高效等特点。
This paper presents an emergency call center system. The kernel software of the system is designed based on a finite-state machine, featuring with clear control structure effective program code.
文章介绍了一种面向应急救援的呼叫中心系统，其核心软件基于有限状态机理论设计而成，具有控制结构清晰、程序代码简洁高效等特点。
应用推荐