查询词典 theory of automata

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

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

Other semirings arise naturally in such diverse areas of mathematics as combinatorics, functional analysis, topology, graph theory, Euclidean geometry, probability theory, commutative and noncommutative ring theory, optimization theory, discrete event dynamical systems, automata theory, formal language theory and the mathematical modeling of quantum physics and parallel computation systems.

在许多不同的数学领域存在着其它形式的半环，比如组合学，泛函分析，拓扑学，图论，欧式几何，概率论，交换和非交换环，优化论，离散动力系统，自动化理论，形式语言理论，量子物理的数据模型和并行计算系统。

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 this project, we investigate the invertibility problem of finite automata, cryptosystems based on finite automata theory and security protocols. Some applications of the finite automata public key cryptosystem to internet are explored.

本项目研究有限自动机可逆性问题和基于自动机理论的密码算法与安全协议，探讨有限自动机公开钥密码在因特网环境的应用。

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.

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

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和协同图建模的复杂多对象系统。

In order to explore the factors affecting health evolution of knowledge-based enterprise organism, the modeling theory of cellular automata is adopted for analyzing the interactions between core intelligent units, sustaining intelligent units and dynamic environments.

为探索影响知识型企业生命体健康演化的因素，采用元胞自动机建模理论研究了核心智能单元、支持智能单元与动态竞争环境相互作用对知识型企业生命体健康演化的影响。

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.

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

In this paper, a prototype T-CBESD (Tool for Component-Based Embedded Software Designs) has been designed, which is based on the theory of interface automata and is implemented as a plug-in module on the open-source platform Eclipse.

本文在Eclipse平台上设计并实现了一个基于接口自动机模型的构件化嵌入式软件设计的形式化验证原型工具T-CBESD (Tool for Component-Based Embedded Software Designs)。

The best way to use cellular automata on computers is to incorporate the fundamental interactions of the Standard Model of Leptons and Quarks plus the gravitational interaction of the general theory of relativity, or preferably its quantum gravitational version when available.

如果我们有一台运行细胞自动机的计算机，要实现上述情形最好的办法是，根据广义相对论建立涵盖所有轻子和夸克的标准模型，并实例化粒子之间的基本作用力，或采用更可行的量子力学模型。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。