The paper models queue system using queuing theory, finite state machine principle, and cellular automata model.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
Experimental results show this automata model can simulate the transmission process of virus in complex networks well.
实验结果表明，该自动机模型能较好地模拟复杂网络中病毒的传播过程。
The core of the self-healing system is its runtime behavioural automata model which determines the design of the architecture.
自愈系统的核心是其运行时的行为自动机模型，该模型的结构决定了构架的设计。
Based on a fractal cellular automata model, the mechanism of self-organized criticality (SOC) of granular mixtures was investigated.
基于元胞自动机分形模型，探讨了散粒体自组织临界性(SOC)的机制。
Based on the theory of complexity adaptive system, we build a cellular automata model to simulate the complex process of epidemic spread.
从复杂适应系统的观点，通过建立元胞自动机模型的方法模拟疾病传播这个复杂的过程。
This paper uses cellular automata model and various physical properties of clouds, to achieve a dynamic, and realistic simulation of natural cloud, which is real and speedy.
本文中采用元胞自动机模型进行模拟，结合云的各种物理特性，从而得到了动态的，真实感强的自然云的模拟，在真实感和速度上均取得了比较满意的结果。
The paper surveys the architecture construction techniques of the self-healing systems from the aspects of runtime behavioural automata model and expects to guide the system…
为此，从自愈系统运行时行为自动机模型结构的角度出发，对自愈系统构架的构建方法进行了综述，以达到从整体上指导自愈系统构造的目的。
The paper analyzed the principles and features of the some common models including lattice gas model, cellular automata model, social force model and magneto-mechanical model.
总结了常见的格子气模型、元胞自动机模型、社会力模型和磁力模型的原理及算法，对比分析了其仿真效果。
Urban land-use change is a complex dynamic and spatiotemporal process and how to simulate this process is a key problem in the research field and Cellular Automata Model has obvious superiority.
城市用地变化是一种时空动态变化的复杂地理过程，如何有效地模拟这一过程是该研究领域的一个重要问题，在诸多模拟模型中元胞自动机具有明显优越性。
The similar complex situation possibly occurs in the separate dynamic system, based on Cellular Automata model for the research dynamic system behavior provided another optional method to be possible.
类似的复杂情况可能发生在离散动力系统中，基于元胞自动机的模型为研究动力系统行为提供了另一种可供选择的方法。
Figure 6 shows the iteration of the Cellular Automata Forest Fire Model, skipping appropriately to show the effect of the rule set.
图6显示了这个元胞自动机森林火灾模型的迭代，跳跃恰当，很好地显示了所设规则的效果。
Basic principle and structure of Cellular Automata (CA) was analyzed, and flood spreading model of Hongze Lake was established by making use of CA rule.
分析了元胞自动机的基本原理和构成，利用元胞自动机原理建立了洪泽湖洪水蔓延模型。
Summarize the application of Cellular Automata to the research of urban system. It includes: simulation of complexity of urban space, research on urban problems and model building of urban system.
对元胞自动机在城市系统研究中的应用进行总结，包括城市空间复杂性模拟、城市问题研究以及城镇体系模型等。
By analyzing the theory of Deterministic Finite Automata (DFA) and ARS, a DFA model based on animal character is established.
通过对有穷自动机理论与动物识别系统进行分析，建立了一个基于动物特征的确定型有穷自动机的模型。
It also introduces perfect automata as an abstract mathematics model of defining the command analyzer. Besides, this paper gives formal description of the command analyzer of the model.
引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。
Model checking is a formal verification by exhaustive search to finite state automata.
模型检测是基于对有穷状态自动机进行穷尽搜索的一种形式化验证方法。
Secondly, the paper summarized the traffic flow dynamics model and dynamic traffic control model based on Cellular Automata.
对基于元胞自动机的交通流动力学模型和动态交通控制模型进行了综述。
The study of new methods of edge detection and image restoration is showed in this paper, which based on the model of Cellular Automata (ca) and Statistical Mechanics.
本文着力探索新的边缘检测与图像恢复方法，并基于元胞自动机(ca)模型和统计力学模型对图像边缘检测与图像恢复方法进行研究。
In this dissertation, based on the existing research on Cellular Automata traffic flow model, several models of traffic flow with mixed vehicles in accordance with real traffic in China are proposed.
本文的工作主要是在现有元胞自动机交通流模型的基础上，提出更符合我国实际情况的混合车辆交通流模型。
Based on the principles of the cellular automata, a new improved cellular automata traffic network model which is more near the realistic traffic patterns is presented in this paper.
基于点格自动机的原理，提出一种比较切合实际的改进点格自动机交通网络模型。
Discrete pressure-flow model and graph automata have been used to simulate the material transport and distribution and information exchange between IVOs.
采用离散压力流模型和图自动机计算模型实现了智能虚拟器官之间的物质传输与分配。
Therefore, this article mainly includes three aspects: Firstly, established model of computer simulation on people escaping along underground tunnels system based on Cellular Automata.
本文的主要内容包括以下三个方面：首先建立了基于元胞自动机的矿井火灾人员逃逸模型。
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.
本文提出了时序有限自动机，用它建立数据融合系统的形式化模型，并且给出了时序有限自动机模型的可达性分析方法，用于分析数据融合系统的性能和行为。
This paper presents a kind of new mathematical model-cellular automata to simulate the process of population evolution and get some meaningful rellular.
本文利用一种新的数学模型-格点自动机来摸拟种群的演化过程，得到了一些有意义的结果。
This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end.
本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end.
本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
应用推荐