自动机理论

The study of coalgebraic methods, as one of the active areas for theoretical computer science in recent years, is widely used in concurrence computing model, automat theory, and the foundations of object-oriented technology.

共代数方法是近几年来理论计算机科学的研究热点之一，在并行计算模型、自动机及面向对象技术的理论基础方面有着广泛的应用。

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.

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

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

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

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.

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

The basic theory of cellular automata, the ways how algorithms are designed based on cellular automata and the security of the algorithms have been discussed in this thesis.

本文主要对细胞自动机的基本理论、利用细胞自动机构造密码的各种方式及其安全性进行了研究。

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.

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

Cellular Automata in the development process of the "Game of Life" is a typical model of cellular automata theory research has played a significant role in promoting, which is considered the development of cellular automata as a milestone in the history of.

在元胞自动机的发展过程中，"生命游戏"这个典型模型对元胞自动机的理论方法的研究起到了极大的推动作用，它被认为是元胞自动机发展历程中的一个里程碑。

Through theoretical modelling and numerical simulation, the dynamic matching relationship is studied on two types of automatic action systems of caseless rifle s.

本文通过对无壳弹枪的两类自动机结构的理论建模和数值仿真，对这两类结构的动力学参数匹配关系进行了深入细致的分析研究，得出三发点射状态下自动机各参数变化对武器性能的影响规律，并对两类自动机进行了分析比

In this paper, using multi rigid dynamics, by considering the match motion of the shooter s body, the automatic motion, floating and the rifle, a launch dynamic model is established for caseless rifle .

采用多刚体系统动力学理论，考虑人体、自动机、浮动体与全枪的耦合运动及自动机循环各阶段的运动与碰撞，建立了高频浮动新结构无壳弹枪在卧姿有依托状态下的发射模型，通过数值模拟，得出三发点射状态下无壳弹枪的发射特性，并与常规自动步枪作了比较，分析了无壳弹枪性能的优越之

The method provides theoretic basis for divergence of agent levels,then translates operational goals set into HRAFSM,at last simulatively executes operational goals set according to simulation executing HRAFSM.

该方法为代理的层次划分提供了理论支持，并将操作目标集合转换成了基于规则的层次式有穷状态自动机，通过对基于规则的层次式有穷状态自动机的模拟执行，达到了对操作目标集合的模拟执行。

Neither the killing of Mr Zarqawi nor any breakthrough on the political front will stop the insurgency and the fratricidal murders in their tracks.

在对危险的南部地区访问时，他斥责什叶派民兵领导人对中央集权的挑衅行为。

In fact,I've got him on the satellite mobile right now.

实际上 我们已接通卫星可视电话了