查询词典 automata theory

Establish integrated invertibility theory over it: By R〓R〓 transformation method, we solve the problem of deciding weakly invertibility and finding weak inverse, By founding the bijections between all quadratic form automata and input memory linear finite automata, we find a algorithm to produce all weak inverse quadratic form finite automata.

本文着眼于这些最基本问题，将有限域上的二次型和置换多项式理论引入有限自动机可逆性的研究，构造了一类由二次型构成的非线性有限自动机（3.6定义），称之为二次型有限自动机，我们在其上面建立了与线性有限自动机可逆性理论相对应的完整的可逆性理论：采用线性R〓R〓变换方法，解决了此类有限自动机的弱可逆性判定、求弱逆问题（3.10、3.12定理）、通过建立全体二次型有限自动机与全体输入存储线性有限自动机之间的保持弱逆性的一一对应，给出了产生全部可逆二次型有限自动机的方法。

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.

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

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++集成环境，开发一个软件系统模拟计算理论中下推自动机的操作过程及实现各种算法。

Otherwise, this paper also discusses the theory of cellular automata itself, tries to put fuzzy logic into the cellular automata, and gives the definition of fuzzy cellular automata.

另外，本文也对模糊元胞自动机理论本身进行了探讨，尝试着将模糊逻辑引入到元胞自动机模型中，定义了模糊元胞自动机。

Linear temporal logic properties of the system can be verified based on the automata theory of model checking. The method of verifying a complex multi-object system modeled by Statecharts and collaboration diagram is also presented in this paper.

使用基于自动机理论的模型检验方法来验证UML Statecharts的线性时态逻辑性质，并给出方法验证由Statecharts和协同图建模的复杂多对象系统。

Based on a thorough analysis in software auto-generating technology and monitor-control program in industry area, improves the formal definition and minimization algorithm of automata theory, designs an system environment of auto-generating monitor-control program.

在对软件自动生成技术和工业控制领域的测控程序实例进行深入分析的基础上，改进有限自动机理论中有限自动机的形式化定义及其化简算法，通过研究，设计实现了一个自动生成测控程序的系统平台。

Combined with self-organized theory of cell ular automata and elasto - plastic theory, the elasto-plastic cell ular automata updating rule is presented.

将细胞自动机的自组织理论与弹塑性理论相结合，推导了分析平面塑性问题的细胞自动机更新规则，采用Weibull随机分布模拟岩石类材料的非均质性，元胞单元服从简单的本构关系和一定的强度准则，建立平面弹塑性细胞自动机模型，开发了相应的数值分析软件。

The highway toll collector system was researched by using the finite automata theory.

利用有穷自动机理论研究了高速公路收费站的收费系统。

Security analyses of a variant of a new block cipher system based on cellular automata theory are given using two cryptanalytic approaches. The results show that this variant of CAC is very insecure under chosen-plaintext attacks.

利用两种方法对一个基于细胞自动机的分组密码系统CAC的变形进行了分析，结果表明：CAC的这种变形在选择明文攻击下是极不安全的。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。