查询词典 automata theory

The analysis in theory proves that cellular automaton is equal with a stochastic process that described by stochastic difference equations. The primary differential equation is expectation of this stochastic process. And its variance function is controllable. These results show that cellular automata are in agreement with primary differential equation in the statistical sense.

理论分析证明：该方法设计的细胞自动机等价于一个可用随机差分方程描述的随机过程，该随机过程以原微分方程为期望函数，并且，其方差函数是可控的，表明细胞自动机和原微分方程在统计意义上是一致的。

Hybrid systems ;μ calculus ; Game theory ; Zeno reachable ; Control synthesis ; Lyapunov stability ; Sliding mode ; Fault diagnosis ; Discrete event ; Mixed dynamical programming ; Optimal control ; Hybrid automata ; Petri net

国家自然科学基金；高等学校优秀青年教师教学科研奖励计划混杂系统；μ演算；对策论；季诺可达；控制综合； Lyapunov ；稳定性；滑动模；故障诊断；离散事件；混合动态规划；最优控制；混杂自；动机； Petri网

The pushdown automata described in this paper are more powerful than the existing finite automaton in computing theory.

计算理论表明，该种下推自动机的计算能力超过了已有的有限自动机。

Tao in 1973, was successfully applied to establish invertibility theory for linear finite automata.

由它系统地给出了线性有限自动机的可逆性理论。

The main characteristic of this kind of quadratic forms is their orthogonality depends on the linear dependency of the elements which produce them (2. 17 theorem), and this is the very reason we can establish the invertibility theory over quadratic finite automata by R〓R〓 transformation methods.

这类二次型的主要特点是它们的正交性由它们的生成元的线性相关性决定（2.17定理），这是可以用线性R〓R〓变换方法建立二次型有限自动机弱逆性理论的根本原因。

Some statistical properties of product assembly are obtained on the basis of industrial investigation of assembly procedure and analysis of assembly operations of typical products; concept of fuzzy quotient set is introduced to the study of assembly sequence planning and a theoretical frame and algorithm for assembly sequence planning based on product fuzzy quotient set is presented; theory and method of fuzzy automata and fuzzy decision are used in the investigation of sensor based assembly sequence planning and a theoretical frame and algorithm for assembly sequence planning based on information sensing of assembly process are presented; an assembly model for product is put forward; study of product disassemblability is carried on.

论文通过对产品装配工艺的工厂调研及典型产品的装配作业分析得到了有关产品装配的一些统计特征；将模糊商集合的概念引入装配顺序规划的研究中，提出了基于产品模糊商集合的装配顺序规划的理论框架和算法；将模糊自动机及模糊决策的理论和方法应用到基于感知的装配顺序规划的研究中，提出了基于装配过程信息感知的装配顺序规划的理论框架和算法；提出了一种产品装配模型；进行了产品可拆卸性的研究。

This paper briefly introduces the basic theory and the development of cellular automata and then through of lots of experiment of computer, and gives a detailed classification of dynamics behavior of the elementary CA.

本文首先对元胞自动机的基本理论和发展情况做了简要的介绍，在此基础上，通过大量的计算机实验，对初等元胞自动机的动力学行为进行了详细的分类。

Firstly, with research on the theory of Cellular Automata and Multi-Agent System, this thesis analyzes their advantages and disadvantages in traffic simulation applications, demonstrates the feasibility of combining these two theories.

在此基础上论证了将两者结合进行交通仿真研究的可行性，对他们进行了适当的改进和扩展，进一步提出了进行结合研究的结合点以及结合方法。

According to the theory of Deterministic Finite Automata,an adaptive decision-making system is set up,which can change the selection of instruction pattern dynamically.

多模式智能教学系统中教学模式的选择是非常重要的问题，提出了一种教学模式选择的自适应策略，用教学模式相适度算法取得适度值，并制订一系列规则微调原先的相适度，根据确定的有限自动机理论，构建了一个自适应决策系统，实现了教学模式选择的自适应。

The theory of Cellar Automata is used to analyze the dynamic behavior of the BSO-MSS, and construct a general model frame of BSO-MSSCA which provides the foundation for the analysis of two cases.

构建了一个通用框架的BSO-MSSCA概念模型框架，并在此基础上，分析了两种具体元胞自动机模型。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。