为了确保您的有限状态机可以连接到所有流行的浏览器中的鼠标事件，需要实现三个不同的事件模型。
To ensure that oyur finite state machine hooks cursor events in all popular browsers, you'll need to implement three different event models.
并且又一次，这个简单的模型，起作用的原因是，虽然真正的液体，当然纯液体有有限的熵，存在大量的无序状态，这种无序。
And again, the reason this simple model works is because although a real liquid, certainly a pure liquid has a finite entropy, a substantial amount of disorder, that's present, that kind of disorder.
使用模型编程与状态间隔探测的思想对于以软件黑盒测试技术为基础的有限状态机是一种自然的扩充。
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).
当“规划求解选项”对话框中的“采用线性模型”复选框处于选中状态时，对约束条件的数量没有限制。
When the Assume Linear Model check box in the Solver Options dialog box is selected, there is no limit on the number of constraints.
文章提出了一种基于通信多端口有限状态机模型的协议互操作性测试生成方法。
This paper presents an interoperability test generation method based on the formal model, Communicating Multiport Finite State Machines.
设计了巡检机器人有限状态机模型，实现了机器人遥控与局部自主控制的有机结合。
A finite state machine model is developed for the robot to integrate remote-control and local autonomous control.
本文详细讨论了一种基于RS- 485总线的通信协议，并用有限状态机模型对其可靠性做定性分析。
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.
有限尺寸介质基片上的共面波导是一种非常接近于工程应用状态的物理模型。
The coplanar waveguide on the substrate with finite dimensions is a physical model which is very closed to the engineering situation.
基于不变形预张力的基本概念，建立了斜拉桥成桥状态的多目标、多约束的优化模型，并通过有限元程序求解成桥索力。
Based on the basic concept of the un-deformed pretension of cable, the optimization model of finished state with multi-objective and multi-constraint is used.
模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。
Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.
并给出了软件设计中的一些关键技术，如：事件驱动模型、有限状态机模型和内存池分配技术等。
And some key technologies of the software design were discussed, such as event-driven model, finite state machine model and memory pool allocation.
根据PCI总线操作时序，提出了从设备接口控制器的有限状态机模型。
The FSM model of target PCI bus interface controller is then provided based on PCI bus operation timing.
根据正交切削特点建立了有限元模型，应用弹塑性力学讨论了切削变形区的弹、塑性阶段的应力、应变状态。
Establish finite element model, and use elastic - plastic mechanics to discuss stress-stain state of elastic and plastic deformation in cutting zone.
应用基于理想气体状态方程的气幕隔震的压力有限元模型，对模型气幕的隔震效果进行了研究。
The FEM air isolation model based on the state equation of ideal gas is used to study the effects of air isolation.
构建了基于ISODATA算法的有限记忆关联模型，利用有限步的历史航迹状态数据，有效地解决了目标密集环境下的误关联问题。
To solve the problem of false association in the presence of multiple targets, historical track data are utilized, and a limited memory association model with ISODATA algorithm is built.
修正结果表明：这种联合静动力的模型修正方法物理概念清楚，能充分利用静动力测试数据，经过修正后的有限元模型能够反映该桥的实际工作状态。
The updating result indicates that the physical conception of this combined static and dynamic model updating method is definite and can fully use the static and dynamic testing data.
在详细分析试验和有限元计算结果的基础上，提出了复杂应力状态下的低周疲劳寿命模型。
Based on experimental data and finite element analysis results, a low-cycle fatigue life model is proposed for the powder metallurgy superalloys under multiaxial stress states.
引入有限状态自动机模型和模拟退火算法来对该问题进行求解。
The model of finite state automaton and the algorithm of simulated annealing are introduced to solve this problem.
并以简例说明了用有限的马尔可夫参数实现状态模型和差分模型的统一方法。
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.
在此方法基础上建立了扩展厢式车厢体展开状态下有限元模型，并对其进行了强度分析。
On the basis of the method, the FEA (finite element analysis) model of the van body in extendable work condition is established and the structure strength analysis of the van body is proceeded.
本文采用相对论流体力学模型和有限密度下的状态方程，考察在另一种情形，即在零温有限密度下q GP相变的演化图像，并对结果进行了分析和讨论。
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.
模型检验是自动检验有限状态并发系统的技术。
Model checking is a technique for automatically verifying finite-state concurrent systems.
基于青岛丹山水库混凝土斜拉桥，建立了斜拉桥有限元数值分析模型，确定桥梁受损后各子结构权重，选择典型斜拉索，对桥梁结构健康状态进行分析。
In this model, the impact weights of every sub-structure in damaged bridge are calculated, the typical cables are selected, and bridge structure health condition is analyzed.
系统地研究了系统模型的离散化描述方法，采用有限状态自主机方式来建立系统模型。
This thesis makes a systematic study on the discrete method describing system models and adopts the form of automaton to construct system models.
使用参数化建模方法，建立钢板弹簧自由状态下的有限元模型。
FEA model of its free status has been built using ANSYS APDL.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
The paper models queue system using queuing theory, finite state machine principle, and cellular automata model.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
The paper models queue system using queuing theory, finite state machine principle, and cellular automata model.
应用推荐