查询词典 theory of automata

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.

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

In order to begin to answer the central question of automata theory, it is necessary to define in a formal way what an automaton is.

为了开始回答的核心问题的自动机理论，有必要确定一个正式的方式在一个自动机是什么。

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.

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

Finally,the use of cellular automata theory,stimulate the eco-system changes from 2003 to 2005 in the Chongming Dongtan,and the simulation accuracy is 80%.

最后利用元胞自动机原理，将2003年到2005年崇明东滩的生态系统变化进行模拟，模拟精度为80%。

This topic using VC ++ integrated environment, the development of a software system for simulation of pushdown automata theory, the operation of the process and implementation of various algorithms.

本课题采用VC++集成环境，开发一个软件系统模拟计算理论中下推自动机的操作过程及实现各种算法。

Objective:To explore the feasibility of laparoscopy in diagnosing and treating of abdominal diseases.

目的：探讨腹腔镜用以诊断腹部外科疾病及选择治疗方案的可行性。

The lifetime of nylon 1010 and nylon 1010/POSS composites decreased with increasing temperature.

热重-红外联用分析表明尼龙1010在氮气气氛下的降解产物主要为小分子的低聚物，POSS并不改变尼龙1010降解产物的组成。