查询词典 theory of automata

This book studies the relationship between automata and monadic second-order logic, focusing on classes of automata that describe the concurrent behavior of distributed systems.

这本书的研究与自动机和一元二阶逻辑关系，对自动机类重点描述分布式系统的并发行为。

We adopt the "synchronizable condition" used in protocol compatibility and analyse the composition automata behavior of COMP algorithm. At last a method is proposed to ensure the "synchronizable condition" of composition automata and the prove is provided.

3平面的自动机行为模型在描述实际的服务行为时存在一些缺陷，这影响了它的应用，比如：状态数很多，对某些语言结构不支持等。

Seeking for regularity of the cellular automata rule space is the center issues for cellular automata theoretical research.

1引言细胞自动机(cellular automata，简记CA)以其结构简单、内涵丰富等特征成为复杂性科学研究的主要工具[1]。

The paper induces and analyzes research method of the tooth, including Method line of the tooth theory,Envlopment theory, Camus theory, Circling cluster theory and so on.Based on the past theories,the new measure to deduce the chain wheel tooth equation of roller chain at high speed,Circling cluster and envlopment theory,is proposed by analyzing basic concept of equidistant curve and Willis theory.Following the presentation of drawing lessons from traditional roller chainof the change of stanza line distance. A new type of roller chain at high speed is given in the paper.The paper studies deeply structural characteristics, the change of stanza line distance,separation between plank and bore and so on.According to design requst of roller chain at high speed and the study ofH_y--V_0 tooth chain,the impossibility that Quasi-conjugage engagement theory isrealized by the engagement of roller chain at high speed from the aspect of theory is decribed.

作者综述了高速滚子链国内外研究现状，并进行了以下研究工作：归纳分析了齿形法线法理论、包络法理论、卡姆士定理、圆族法理论等齿形研究方法，在此基础上，结合齿形啮合基本定律，分析了等距曲线的基本概念，提出了一种推导高速滚子链链轮齿廓方程的新方法—圆族包络法；在借鉴普通变节距滚子链的基础上，本文提出了一种新型的高速滚子链链条，深入研究了高速滚子链链条结构特性及其变节距、板孔中心分离等特性。

There is a new scientific theory of evolution-the theory of cellular automata : A simple procedure could be evolving into complex patterns can be accurately and easily simulate a variety of complex phenomena, from the growth of snowflakes to the universe, such as the evolution of the theory of evolution -- but often overlooked all their background-environment system stability and the supporting role of the smart set!

有一种新科学进化论－元胞自动机理论证明：一种简单但可演变出复杂样式的程序能精确、轻易地模拟出各种复杂现象，诸如从雪花的增长到宇宙的演化－－－然而所有的进化论往往忽略了其背景－环境系统的稳定而智能的支撑作用！

The theory of Confucianism founded by Lu Gu and Jia Yi was originated from the theory of Xun Zi, However, not the same as the thougt of Lu Gu, in the theory of Jia Yi, which reflected the aristocracy-oriented feature of the upper class, the ideology of aristocratism was aroused. Han Ying initiated the self-awakening man's original mind or nature and reestablished the theory of born good. His theory was regarded as an anabranch of Confucianism in the early stage of Han Dynasty, and a reecho of historical movement of the aristocratic theory of Confucianism advocated by Confucius and Mencius. During the periods of Emperor. Jing of Han and Emperor Wu of Han, an aristocratic upper class had come into being. Therefore, in the face of the society that experienced populace-oriented baptism, Dong Zhong-shu kept down the aristocratic components existed in Jia Yi's theory, absorbed populace-oriented consciousness, which formed the foundation for theoretical system, and transferred instrument-centered Confucianism to the one with sanctification. Thus, Confucianism acquired its theoretical remolding and historical transforming.

汉初的陆、贾儒学的思想理路是由荀学发展而来，但不同于陆贾之说，在贾谊思想里，作为当时上层社会走向贵族化这一时代特征的反映，贵族化思想成分开始被唤起；陆、贾之后的韩婴则倡导心性修养，重建性善论，他的学说是孔孟儒学贵族化历史乐章之回响，为汉初儒学的支流；景武之际，汉初上层社会已经完成了贵族化转变，为此，董仲舒保留了贾谊学说中的贵族化思想成分，然更为重要的是，面对一个经过平民化洗礼的社会，董仲舒吸纳平民思想意识以建构理论体系，将陆贾、贾谊承自荀子的工具性特征显著之儒学转变成具神学特征的儒学，使儒学获得一次理论上的大改铸，实现了儒学的历史转型。

Typical accident-causing" theories includes Heinrich" s Domino" s theory, its development by Bird, Adams and other people, progress of which is that it is deficiencies of management system that are the root cause in accident causation sequence. This is author" s idea resource and main method to produce the water traffic accident-causing theory . in addition, uncontrolled transferring of energy theory, applies widely in safety management scheme for water traffic; human error accident model can be used to analyze causes of collision accident and to take preventive measures; perturbation theory and multilinear event sequencing method is a very useful investigation method to water traffic accidents. All of these theories have contributed to the development of water traffic accident-causing theory. As to orbit intersecting theory, the paper thinks it extension of Domino s theory, although it exists independently.

有代表性的事故致因理论有海因里希因果连锁理论以及博德、亚当斯等人对该理论的发展，这些发展的主要进步是突出了管理缺陷是事故因果连锁中的基本原因，是本文分析和发展水上交通事故致因理论的主要思想来源和方法论；能量意外转移理论，广泛的应用在水上交通安全的各项具体管理制度中；人失误事故模型能用于指导对碰撞事故的原因分析和预防；动态变化理论及多线性事件连锁论对指导事故调查是较好的分析方法；轨迹交叉理论虽然以独立的理论形式存在，但本文认为其实质仍然是因果连锁理论的发展。

Graph theory s 02 graph theory widely used for its own development. 40-60 20th century era matroid theory and graph theory-very graph theory, algebra and graph theory. topology theory has great development.

详细说明：图论讲义02 图论的广泛应用，促进了它自身的发展。20世纪40-60年代，拟阵理论、超图理论、极图理论，以及代数图论、拓扑图论等都有很大的发展。

After Reform and opening—up democratical development of China is discussed ardently and there comesinto being some kinds of typical modes:electoral democracy theory,elite democracy theory,pluralistic democracy theory,negotiatory democracy theory,liberal democracy theory,mixed democracy theory and increment democracy theory.

改革开放30年来，随着社会主义民主的发展，学术界对中国民主发展进行了热烈讨论，形成了以下几种典型的理论模式：选举民主论、精英民主论、多元民主论、协商民主论、自由民主论、混合民主论、增量民主论。

This paper has done a deeply research on the evaluative method, which focus on maintaining and ensuring the camion. After deeply analyzing the maintain theory of army equipment and the stratagem 's characteristic and combining the current systems engineering evaluating theories and methods, it has analyzed and solved all limitations that coming forth when a single model is used to evaluate the maintain capacity. After analyzing and ameliorating the judgment of AHP's coherence, the calculation of the expert power value and the optimizing of the more-extreme judging model, a new calculation method, the multidimensional complex calculation theory, is presented, which much fits for the evaluative calculation of the camion. The new theory's feasibility and the evaluation's reliability have been proved in theory in this paper. This paper also analyses the principle and the program, which is about building a camion evaluating system. According to the multidimensional complex calculation theory, an evaluative model has been built. Applying the levels analytical method, this paper fixes on the calculation of every target's power, brings the optimization allot precept of macro spatial resource, optimizes the resource of the maintainability of theater of operations' vehicle, which offers a theory foundation for optimizing of the resource space. The research not only brings out a uniform standard for the evaluating of the maintain ability of the camion, but also presents a theory foundation and method for perfecting the camion maintain system.

本文对军用车辆维修保障能力评估的方法论进行了深入研究，在理论上通过对军事装备维修理论及战略特性的深入剖析，结合现有系统工程评估理论、评估方法的特点，分析解决了应用单一模型评估装备维修能力问题的各种缺陷，就AHP法判断矩阵一致性判定，群策专家权重值的确认及多元评判模型的优化进行了研究和改进，形成了适应军事车辆维修保障能力评估应用的新算法--多元复合算法理论，对这一创新评价理论的科学性及评估可靠性进行了理论证明和算法应用；研究分析了建立军用汽车维修保障能力评估指标体系的原则和程序，并按照多元复合算法的理论，建立了车辆维修保障能力评估模型；应用层次分析法的原理，明确了各指标权重的算法，提出了宏观空间维修资源优化分配方案，优化了战区车辆装备维修能力资源空间，为某一具体车辆装备维修能力形成所需维修资源空间的优化提供了理论依据；本文的研究既为军用车辆装备维修保障能力评估提供了统一的衡量标准，也为军事装备维修保障系统的进一步完善提供了理论依据及方法手段。

In the days of sailing vessels the crew were afraid they would be becalmed on the ocean.

在使用帆船的时代，船员们担心他们会因为无风而无法在海洋上航行。

As long as foreign donors pay the PA's salary bill, few expect a new intifada.

只要外国继续为巴权力机构的薪水买单，希望发动新暴动的人便寥寥无几。