您要查找的是不是：
- finite state model 有限状态模型
- What Exactly Is a Finite State Machine? 有限状态机定义?
- For the feature of GUI and OO, A model based finite state machine(FSM) for conformance testing is presented. 一、针对C/S系统的GUI和OO特性，提出了基于有限状态机(FSM)的一致性测试模型。
- FSM(finite state machine) is a kind of mathematic model in interactive system design,which show the lifecycle of the dynamic system effectively. 有限状态机是交互式系统设计分析中的一种数学模型,能够有效地表示一个动态系统的生存周期。
- Some finite state machines fall into this category, for example. 例如,一些有限状态机属于这一类别。
- Therefore, the introduction of the finite state machine concepts. 为此，引入有限状态机的概念。
- Model checking is an important method of verifying logic properties of finite state systems, and also a supplement to the shortage of software testing. 摘要模型检测是一种对有限状态变迁系统验证其时态逻辑性质的重要方法，可以弥补测试技术的不足。
- 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). 本文基于有限状态机（FSM）的理论，结合通信顺序进程（CSP）的概念，提出了一种开发安全模型的形式化方法。
- The Goto function,failure function and output function are established and the model achieves fast and exact fault diagnosis by using dendriform finite state automata. 该模型通过建立转向(goto)函数、失效(failure)函数和输出(output)函数,利用树型有限自动机实现了对机车信号快速准确的故障诊断。
- In a protocol testing system specified in Extended Finite State Machine (EFSM) model，the executability of the test sequences is a very important issue. 在一个以扩展的有限状态机(EFSM)为模型描述的协议测试系统中，测试序列的可执行性是一个重要的问题。
- The Order Finite State Machine is mew model for electric circuit describe, We can do combinational equivalence checking convenience and quickly by this model. 它是一种电路描述的新的模型，通过这种新模型可以对组合电路的等价性检验进行方便、高效的验证。
- Callers can compute valid sequences of operations from the state model. 调用方可以通过状态模型计算有效的操作序列。
- A finite state machine can only be in one state at any moment in time. 有限状态机在任一时刻都只能够处于一种状态中。
- Example 8-8 gives a glimpse of finite state machines from Chapter 9. 例8-8小窥了一下第9章的有限状态机。
- Work item type-wide rules apply regardless of the location of a work item in its state model. 工作项类型范围规则的应用与工作项在其状态模型中的位置无关。
- The cab signal fault diagnosis problem is combined with the pattern matching problem on the ba-sis of this conclusion. A cab signal fault diagnosis model based on Multiple Patterns Matching Algorithm DFSA(Deterministic Finite State Automata) is proposed. 并在此基础上将模式匹配问题与机车信号的故障诊断问题相结合,提出了基于多模式匹配算法DFSA(Deterministic Finite State Automata)的机车信号故障诊断模型。
- By the ease study,it was verified that the identificaton method was correct and the random state model was reliable. 通过对实例的计算机仿真和检验,证明辨识方法是正确的,随机状态模型是可靠的。
- A simplified on-line multivariable stochastic system state model parameters estimation algorithm is developed. 本文提出了一种简化的多变量随机系统状态模型参数在线辨识方法。
- The finite state computer files, for example, Logon. Fsm, Fax. Fsm, and DtmfMainMenu. Fsm, do not exist. 有限状态机文件(如Logon.;fsm、Fax
