其中的有限自动机模型在文本处理、编译程序以及硬件设计等等中非常有用。
The finite automaton model is used in text processing, compilers, hardware design and the like.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
We extend finite automata with time sequence and define temporal finite automata, then we propose using temporal finite automat to build formal model for data fusion system.
有穷自动机，一种计算能力极其有限的计算模型，具有解决素性测试的能力通过构造法得到了证明。
Finite automaton, a computational model of extremely limited computing ability, was proved to have the capability of solving primeness test by construction.
引入有限状态自动机模型和模拟退火算法来对该问题进行求解。
The model of finite state automaton and the algorithm of simulated annealing are introduced to solve this problem.
引入应力、应变和位移等矢量概念，将元胞自动机模型与有限元方法结合起来，建立了差分形式的PCA有限元算法，尝试从矢量的角度模拟岩石的变形及破坏问题。
The CA model and FEM are combined, then the differential PCA-FEM algorithm is set up, which attempts to simulate the deformation and failure of rock in the sense of vector.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
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.
应用推荐