In this paper, these features of cellular automata have been well embodied and exerted.
本文中元胞自动机的这些特点得到了很好的体现和发挥。
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 his paper, we introduce timed automata and the algorithm of reachability analysis, and proposes an improvement algorithm of the basic successor algorithm.
本文介绍了时间自动机和可达性分析算法，并对可达性分析算法中的后继算法进行了改进。
In this paper some results are reported upon the decision of the evenness by elementary divisors, in accordance with the state diagram theories of linear automata.
本文利用线性自动机的图型理论，给出一些由初等因子组判定奇偶性的结果。
This paper presents a kind of new mathematical model-cellular automata to simulate the process of population evolution and get some meaningful rellular.
本文利用一种新的数学模型-格点自动机来摸拟种群的演化过程，得到了一些有意义的结果。
We formulate, in this paper, algorithms for boundary tracing based on automata.
本文中我们用自动机的方法表示了边界跟踪算法。
This paper proposes a condition of timed tree automata recognizing language, proves the correctness of its.
本文提出了时间树自动机识别语言的一个条件，并证明了结论的正确性。
In this paper, a new tree automata based machine, XEBT, is proposed to solve the problem.
提出了基于树自动机的XEBT机来解决这个问题。
In this paper, we research region automata, zone automata and the method of state space minimization based on history equivalence and bisimulation transition.
本文主要研究了域自动机方法、带自动机方法以及基于历史等价和转换互模拟的最小化方法。
In this paper, we try to do so some research work on algorithms of robot path planning and those of modular self-reconfigurable robots 'locomotion planning with cellular automata.
本文主要对元胞自动机在移动机器人的路径规划和模块化自重构机器人的运动规划中的应用进行了探索和研究。
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，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
Otherwise, this paper also discusses the theory of cellular automata itself, tries to put fuzzy logic into the cellular automata, and gives the definition of fuzzy cellular automata.
另外，本文也对模糊元胞自动机理论本身进行了探讨，尝试着将模糊逻辑引入到元胞自动机模型中，定义了模糊元胞自动机。
In this paper an extension of timed automata with priorities is introduced, and we present an improved algorithm to compute subtraction on DBMs.
本文介绍一种具有优先级扩展的时间自动机模型，并对一种计算d BM减法算法进行改进。
This paper is concerned with the classification of fuzzy finite automata and the minimization algorithm of fuzzy finite automata.
本文研究了模糊有限自动机的分类和模糊有限自动机的状态最小化算法。
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.
引入了完备自动机作为定义命令分析器的一种抽象数学模型，并用该模型给出了命令分析器的形式化描述。
This paper surveys interface automata, timed interface automata, resource interface and game-based idea in them.
本文对接口自动机、时间接口自动机和资源接口及其中的博弈思想进行综述。
In this paper, we establish the stock market based on Cellular Automata with the character of rapid operation and simple evolvement rules of CA.
本文借助于元胞自动机运算速度快、演化规则简单等特点建立了基于元胞自动机的股票市场模拟模型。
In this paper, a method of dynamic experiment designs in sensory evaluation is presented that is based on dichotomy, and the principle of learning automata is applied in optimizing the dichotomy.
以二分法为基础，应用自动学习机原理建立一种动态的感官评估实验方法。
This paper characterizes symmetric ternary cellular automata (CA -3) with the help of matrix algebra.
本文提出对称三值系统中的元胞自动机(CA -3)的特征化表示方法。
Secondly, the paper summarized the traffic flow dynamics model and dynamic traffic control model based on Cellular Automata.
对基于元胞自动机的交通流动力学模型和动态交通控制模型进行了综述。
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.
总结了常见的格子气模型、元胞自动机模型、社会力模型和磁力模型的原理及算法，对比分析了其仿真效果。
In this paper we made a survey of cellular automata (ca) traffic models which can be classified into single-lane, (multi-lane) and city traffic models.
对基于元胞自动机的交通模型进行综述，将其分为单车道模型、多车道模型和城市交通模型三类。
For their joint paper "Finite Automata and their Decision Problem," which introduced the idea of nondeterministic machines, which has proved to be an enormously valuable concept.
“因他们的合著论文“有限自动机与其判定性问题”。”论文中引入了非确定自动机的概念，被证明是(计算理论科学研究中的)一个非常重要的概念。
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.
基于点格自动机的原理，提出一种比较切合实际的改进点格自动机交通网络模型。
This paper introduces the defination of multiplicity automata and analyzes the relationship of multiplicity automata and deterministic automata or non_deterministic automata.
简单介绍了多路自动机的定义，分析了多路自动机和有限自动机的关系，包括确定的有限自动机和非确定的有限自动机，并且给出了例子。
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…
为此，从自愈系统运行时行为自动机模型结构的角度出发，对自愈系统构架的构建方法进行了综述，以达到从整体上指导自愈系统构造的目的。
They are very useful in protocol verifications. This paper presents some methods of protocol verification and uses KRONOS to verify FDDI to introduce the method of using timed automata.
文章介绍了网络协议验证的几种方法，并以KRONOS验证FDDI 协议为例说明了用时间自动机验证协议的方法。
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.
本文中采用元胞自动机模型进行模拟，结合云的各种物理特性，从而得到了动态的，真实感强的自然云的模拟，在真实感和速度上均取得了比较满意的结果。
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.
本文中采用元胞自动机模型进行模拟，结合云的各种物理特性，从而得到了动态的，真实感强的自然云的模拟，在真实感和速度上均取得了比较满意的结果。
应用推荐