自动机理论

In this paper, the overall design scheme of one assault rifle prototype with double cyclic systems and variable firing rate is illuminated in brief and the related analytical models of one DOF and two DOF by the basic theory of dynamics of multi-rigid-body system is established. The calculating analogue program in VB computer language for analyzing the movement regularities of floating body of the assault rifle prototype with some universal property and function of man-machine conversation is completed. The comparison between the calculating results and the experimental results is conducted also.

本文对某步枪双循环变射频发射原理样机方案进行了简单的说明，应用多刚体系统动力学基本理论建立了原理样枪的一自由度和二自由度动力学分析模型，用VB编写了具有一定通用性和人机对话功能的自动机运动规律分析计算程序，并将计算结果与试验结果进行了比较，验证了数理模型的正确性。

In this paper, a fundamental framework of automata and grammars theory based on quantum logic is preliminarily established.

初步建立了基于量子逻辑的自动机和文法理论的基本框架。

This paper also gives significances of interface automata in theory and in practice, and the future of the application of interface automata.

文中总结了接口自动机在理论上和实际中的意义并对其应用前景做了展望。

It provides a unifying theory of communicating automata and their logical properties.

它提供了自动机的通信和统一的逻辑特性的理论。

In this thesis, by using theoretical analysis and numerical simulation, we study the characteristics of phase transition of cellular automaton models and the application of traffic flow hydrodynamic model to solve the traffic jam problems.

本文针对交通拥堵问题，通过理论分析和数值模拟，对交通流元胞自动机模型的相变特性和交通流流体力学模型的应用进行了研究。

Theoretical combination between RSIM Theory and Geography Location Theory was discussed based on Land Cellular Automaton.

以土地单元自动机为基础，研究了遥感信息模型理论与地理区位论的结合。

Computational theory of the three traditional core areas: automata, computability and complexity.

计算理论的三个传统的核心领域：自动机、可计算性和复杂性。

The supervisor theory of discrete event dynamic system based on finite state automaton is used as a toll in this paper.

本文的主要理论工具是基于有限自动机的离散事件动态系统监控理论。

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

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

In this paper, the basic theory and work principle of cellular automata were introduced concisely. The influence of strain-rate and temperature on the number of nucleation and the mean size of R-grain, as well as the influence of cooling on ultimate microstructure of blade after forging finished off were considered. The microstructure evolution was simulated successful based on the DEFORM-3D. The simulated results agree well with growth kinetics of dynamic recrystallization of classical theory and physical experiment.

文章介绍了元胞自动机模型的理论基础和工作原理，并根据叶片模锻成形的特点，综合考虑应变速率、变形温度对再结晶形核率与平均晶粒尺寸，以及终锻冷却对叶片锻件最终组织的影响，在DEFORM-3D平台上，成功地仿真了叶片模锻过程中的微观组织演变，得到了同经典理论分析和物理实验结果吻合较好的动态再结晶动力学特征。

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.

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