The idea of using of model programs and state space exploration is a natural extension of finite state machine based techniques that fits well with black-box testing of software.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
Finite state machines model behavior where responses to future events depend upon previous events.
有限状态机对行为建模，在该模型中，对将来事件的响应取决于先前的事件。
Loosely speaking, model checking is a way to check for the existence of a finite state machine (specification) in another finite state machine (program).
不严格地说，模型检查是在一个有限状态机器(程序)中检验另一个有限状态机器(清单)存在性的一个方法。
This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。
And some key technologies of the software design were discussed, such as event-driven model, finite state machine model and memory pool allocation.
并给出了软件设计中的一些关键技术，如：事件驱动模型、有限状态机模型和内存池分配技术等。
A finite state machine model is developed for the robot to integrate remote-control and local autonomous control.
设计了巡检机器人有限状态机模型，实现了机器人遥控与局部自主控制的有机结合。
Simple examples for explaining the unifying realization methods of state space and difference equation model using finite markov parameters are also presented in this paper.
并以简例说明了用有限的马尔可夫参数实现状态模型和差分模型的统一方法。
In this paper, a communication protocol based on RS-485 bus is discussed in detail, and the qualitative analysis of its reliability using the finite state machine model is given.
本文详细讨论了一种基于RS- 485总线的通信协议，并用有限状态机模型对其可靠性做定性分析。
We will use the relevant hydrodynamics model and the state equations at finite densities to investigate the QGP phase transition in the zero temperature and finite density.
本文采用相对论流体力学模型和有限密度下的状态方程，考察在另一种情形，即在零温有限密度下q GP相变的演化图像，并对结果进行了分析和讨论。
The model of finite state automaton and the algorithm of simulated annealing are introduced to solve this problem.
引入有限状态自动机模型和模拟退火算法来对该问题进行求解。
Establish finite element model, and use elastic - plastic mechanics to discuss stress-stain state of elastic and plastic deformation in cutting zone.
根据正交切削特点建立了有限元模型，应用弹塑性力学讨论了切削变形区的弹、塑性阶段的应力、应变状态。
Objective To study artificial lumbar intervertebral disc three-dimensional finite element model and its stress state.
目的研究人工腰椎间盘三维有限元模型的建立及其应力分布。
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
According to the initial state stress and the finite element model, the fabrication length of the cables, bars and beams at zero state can be determined.
根据结构的初始状态及其计算模型，即可确定零状态梁的加工位形以及索和杆的下料长度。
A navigation system model by using a finite state machine is described.
文中还描述了一个以有穷状态机为工具的导航系统模型。
A finite automaton (FA) was used to build up the shallow water ray tracing model, and the model state, transition, event and action were analyzed.
用有穷状态自动机对浅海的声线追踪建模，给出了浅海声线追踪内在的状态及状态转移分析。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
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 paper models queue system using queuing theory, finite state machine principle, and cellular automata model.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
Using the principles of the finite element and critical state model, this paper discusses a method to calculate the magentic force between High Temperature Superconducting and Permanent magnets.
本文应用有限元方法和超导临界态理论，推导了高温超导体电流分布和电流密度计算方程。
Model checking is a technique for automatically verifying finite-state concurrent systems.
模型检验是自动检验有限状态并发系统的技术。
In this paper, a non-linear model for two dimension and two phases unsteady state flow through a porous medium is solved by a variational finite element method.
本文用变分有限元方法处理了两维两相非线性不稳定渗流模型。
Model checking is a technique for automatically verifying finite-state concurrent systems.
检验 有限状态并发系统的技术。
This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP).
形式概念分析是从形式背景这一基本的数据形式开始的，因此形式背景的规模是影响概念格构造和应用的一个重要因素。
This paper presents a formal approach to specify security model based on the theory of finite state machine(FSM) and the concept of communicating sequential process (CSP).
形式概念分析是从形式背景这一基本的数据形式开始的，因此形式背景的规模是影响概念格构造和应用的一个重要因素。
应用推荐