查询词典 automata

Keywords: finite automata; invertibility; decomposition; cryptography; security protocol

中文关键词：有限自动机；可逆性；分解；密码；安全协议

This paper improves the design of lattice gas wave model, points out and corrects the mistakes in PLS model. The realization of wave field simulation for complex geological model by lattice solid automata makes the numerical appproach practicable.

与以往的工作相比较，本文发展了现有的格子气波动建模研究，实现了用格子气自动机对实际复杂地质模型中波场的数值模拟，使这种基于离散化波场描述的波场模拟方法实用化。

We have established some properties of languages of Lattice of Quantum Automata. For example, the definitions of Right-Linear Grammars of Lattice of Quantum, Regular Sets of Lattice of Quantum and Regular Expressions of Lattice of Quantum have been given.

我们证明了量子自动机格有一些重要的性质：它是分配格当且仅当自动机的基格是分配的；它是模格当且仅当自动机的基格是模格；它是完全格当且仅当自动机的基格是完全格。

From the equivalence relations, a minimal form is defined and a minimization algorithm of the Mealy type of fuzzy finite automata is obtained.

两类状态等价关系被引进，进而定义了该Mealy型模糊有限状态自动机的最小化形式，最后得到了该Mealy型模糊有限状态自动机的一种状态最小化约简的算法。

Aiming at the problem,in this paper it proposes an idea of path supplement based on multi-window,and implements the algorithm in combination with Deterministic Finite State Automata.

针对此问题，提出基于多窗口的路径补充思想，并结合确定的有限自动机来实现该算法。

The cellular automata digital noise generator is presented and studied as a new hardware digital noise resource.

提出并研究了一种新型硬件数字噪声源——元胞自动机数字噪声发生器。

This paper makes some studied in the building of Chinese character input modes based on automata theoretic, handles the control operation in the input model, and introduces the concepts of two-way deterministic Chinese finite automaton and two-way nondeterministic Chinese finite automaton.

本文从自动机理论的角度对汉字输入的数学模型进行了研究，把控制操作引入了输入模型，并给出确定汉字双向有穷自动机和不确定汉字双向有穷自动机的模型。

In this paper, a new kind of two-dimensional Cellular Automata is studied. Several algorithmic rules are discovered that can be used to design new Cellular Neural Networks which can implement shadow detector and overstriking for character recognition. Their Boolean expressions and learning algorithms are introduced detailedly.

摘要该文深入研究了一种新的二维细胞自动机，找到了几种新的算法规则可以用来实现字符的粗化处理和阴影检测，并且用这些规则设计了几种新的细胞神经网络，文中详细介绍了这些算法规则的布尔代数表达式和细胞神经网络学习算法。

Hexagon in the process of cellular automata to simulate single particle movement, FHP is based on the rules.

本程序在六边形的元胞自动机上模拟单粒子运动，算法是基于FHP规则。

Moreover, the relation of four species\' coexistence is analyzed by Penna model and Cellular Automata in part two.

第二部分利用Penna模型和元胞自动机研究了四个物种之间的共存关系。

Finally it offers the analysis of the fault-tolerance system as well as its test verification.

这样，运行于空间环境中的系统的设计目标就是在保证系统实时性

However, it is still difficult to find out the real reason of the increase of the keratinized gingiva during the orthodontic extrusion whether it is due to the proliferation of the gingival tissue or to its elastic nature, that is because the proliferation of the fibroblasts as well as the connective tissue changes in volume and the intra-fibers spaces were all immeasurable in most of the studies.

然而，仍然难以找到真正的原因增加的角化牙龈在正畸挤压它是否是由于扩散的牙龈组织或其弹性性质，这是因为增殖的成纤维细胞以及作为结缔组织的变化量和内部纤维空格都是不可估量的，大多数的研究。