提出舆论传播的元胞自动机模型。
Cellular Automata for infect of the public opinion is presented.
为了便于自动验证高层综合过程，给出了验证自动机模型。
The verification automaton and the algorithm for abstracting critical path are proposed to verify high level synthesis process automatically.
最后提出了基于自动机模型的多态运动目标的智能跟踪策略。
Finally, an intelligent tracking strategy to multi-state moving targets, which is based on an automatic machine model, is put forward.
引入有限状态自动机模型和模拟退火算法来对该问题进行求解。
The model of finite state automaton and the algorithm of simulated annealing are introduced to solve this problem.
实验结果表明，该自动机模型能较好地模拟复杂网络中病毒的传播过程。
Experimental results show this automata model can simulate the transmission process of virus in complex networks well.
其中的有限自动机模型在文本处理、编译程序以及硬件设计等等中非常有用。
The finite automaton model is used in text processing, compilers, hardware design and the like.
在本论文里，建立起一个元胞自动机模型用以模拟该空间内的人群流动情况。
In this paper, a cellular automaton model is presented to simulate the evacuation process in the square.
另外，通过扩展代价和概率时间自动机模型，得到多代价和概率时间自动机。
Next, a priced probabilistic timed automaton is extended to a multi-priced probabilistic timed automaton with multiple price variables.
元胞自动机模型(CA)能有效应用于高度并发、复杂动态系统的描述和模拟。
Ca models have been shown to be applicable to some highly concurrent, complex dynamic systems for the purpose of their rigorous description and simulation.
自愈系统的核心是其运行时的行为自动机模型，该模型的结构决定了构架的设计。
The core of the self-healing system is its runtime behavioural automata model which determines the design of the architecture.
本文利用排队论、有限状态自动机原理以及元胞自动机模型对排队系统进行建模。
The paper models queue system using queuing theory, finite state machine principle, and cellular automata model.
应用元胞自动机模型对合金钢表面氮化及扩散层中氮化物沉淀过程进行了计算机模拟。
Simulations of surface nitridation and nitride precipitation in alloy steels have beeb carried out with cellular automaton modeling.
采用元胞自动机模型研究了具有信号灯控制的主道为双车道的入匝道系统交通流特性。
The traffic signal is setup at the merging part between the main road and the on-ramp so that it can control the vehicles of both roads.
从复杂适应系统的观点，通过建立元胞自动机模型的方法模拟疾病传播这个复杂的过程。
Based on the theory of complexity adaptive system, we build a cellular automata model to simulate the complex process of epidemic spread.
本文在NS模型基础上建立了一个新的单车道元胞自动机模型以研究减速带对交通流的影响。
Based on the NS model of traffic flow, we propose a new single-lane cellular automaton model to study the effect of deceleration strips upon traffic flow.
通过对复合事件的自动机检测模型的研究，给出了构造事件表达式的自动机模型的完整过程。
Via studying FA modeling of composite events, we give a perfect procedure of building FA modeling of composite events.
本文介绍一种具有优先级扩展的时间自动机模型，并对一种计算d BM减法算法进行改进。
In this paper an extension of timed automata with priorities is introduced, and we present an improved algorithm to compute subtraction on DBMs.
本文总结评述了现存的主要模型，提出交通流元胞自动机模型研究领域今后可能的发展趋势。
The popular models are reviewed, and a possible developing trend in this field is prospected in this paper.
本文首先建立了令牌运行过程的自动机模型，然后利用此模型分析了噪音对令牌运行方式的影响。
Token mechanism is modeled by status machine, and detailed token operation under noisy environment is investigated through the stateus machine model.
方法对现有比较成功的微观模型、元胞自动机模型和跟驰模型进行分析、比较，指出其不足和优点。
Methods Analyze and compare the most successful models, cell automaton and car-following model, and point out their advantage and shortcomings.
作为该组件创建动态过程模型的应用实例，使用VBA创建了经典的“生命游戏”的元胞自动机模型。
The classical "life game" of cellular automaton is implemented under VBA environment as an application example of using DynamicGC components to build spatial dynamic model.
排队行为模型以邻居方向与目标方向间的修正夹角作为主要因子构造了元胞自动机模型的转移概念率函数。
The queuing behavior model takes modified included Angle between goal direction and neighbor direction as the main factors of transition probability function.
使用VBA创建了经典的“生命游戏”的元胞自动机模型的实现，作为该组件创建动态过程模型的应用实例。
The classical "life game" of cellular automaton is implemented under VBA environment as an application example of DynamicGC.
但是，现有元胞自动机模型不考虑晶粒拓扑形变的影响、没有结合工艺参数及具体锻件而仅仅进行定性探索。
However, the developed CA model has only investigated qualitatively without considering influences of grain topology deformation and coupling deformation parameters and exact forging.
总结了常见的格子气模型、元胞自动机模型、社会力模型和磁力模型的原理及算法，对比分析了其仿真效果。
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.
本文根据地铁列车追踪运行的特点，建立了固定自动闭塞系统下的元胞自动机模型，并对北京地铁2号线进行了模拟仿真。
According to the characteristics of subway trains tracking, we have proposed a cellular model to simulate the tracking operation of trains in Beijing subway line 2.
本文根据地铁列车追踪运行的特点，建立了固定自动闭塞系统下的元胞自动机模型，并对北京地铁2号线进行了模拟仿真。
According to the characteristics of subway trains tracking, we have proposed a cellular model to simulate the tracking operation of trains in Beijing subway line 2.
应用推荐