您要查找的是不是：
- finite state space 有限状态空间
- What Exactly Is a Finite State Machine? 有限状态机定义?
- According to clock zone, infinite state space of timed automata can be transformed to finite. 利用时钟带，可以将时间自动机的无穷状态空间转化为有穷。
- Some finite state machines fall into this category, for example. 例如,一些有限状态机属于这一类别。
- Therefore, the introduction of the finite state machine concepts. 为此，引入有限状态机的概念。
- Keywords: VBARX, system identification, state space model, modal parameters. 关键词：VBARX、系统识别、状态空间、模态参数。
- 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章的有限状态机。
- A multiple ARX model has been set up based on the state space theory. 从状态空间理论出发,建立多维ARX模型,推得了结构的模态参数。
- A multi-variable process may be imaged to a multidimensional state space. 化工过程中存在多种状态,多变量过程可以在多维的状态空间中描述。
- The finite state computer files, for example, Logon. Fsm, Fax. Fsm, and DtmfMainMenu. Fsm, do not exist. 有限状态机文件(如Logon.;fsm、Fax
- The UMConfig. Xml file contains references to the name of all the finite state computer files. UMConfig.;xml文件包含对所有有限状态机文件名的引用。
- In effect, each developer and tester samples a semi-random set of the program's state space when looking for the etiology of a symptom. 实际上，每一个开发者和测试者在寻找一个症状的病原的时候都是在检查该程序的状态空间的一个“半随机”的集合。
- For the feature of GUI and OO, A model based finite state machine(FSM) for conformance testing is presented. 一、针对C/S系统的GUI和OO特性，提出了基于有限状态机(FSM)的一致性测试模型。
- Each observable is represented by a densely defined Hermitian( or self-adjoint) linear operator acting on the state space. 每个可见由详细定义的厄密共轭(者同一伴随矩阵)用于状态矢量空间线性操作者来表现。
- High-level design intents such as finite state machine (FSM) and counter are commonly used in modern VLSI design. 高阶设计资讯被广泛的应用在现今超大型积体电路的设计上，如：有限状态机、计数器等等。
- Each observable is represented by a densely defined Hermitian (or self-adjoint) linear operator acting on the state space. 每个可见由详细定义的厄密共轭(或者同一伴随矩阵)作用于状态矢量空间线性操作者来表现。
- Petri Net, Finite State Automata (FSA), IDEF3 and State Charts are traditionally used for behavior modeling. Petri Net、有限自动机、IDEF3和状态图是常用的行为建模方法。
- Analytical solutions for plates with various boundary conditions were developed using the state space approach . 采用状态空间法得到了各种边界条件组合条件下板的解析解。
- SMV -- checking finite state systems against specifications in temporal logic CTL. smv检查在临时逻辑CTL中的非规格有限系统。
