查询词典 finite automaton

The main contributions of the second part of this dissertation are focused on the cryptographic properties of logical functions over finite field, with the help of the properties of trace functions, and that of p-polynomials, as well as the permutation theory over finite field: The new definition of Chrestenson linear spectrum is given and the relation between the new Chrestenson linear spectrum and the Chrestenson cyclic spectrum is presented, followed by the inverse formula of logical function over finite field; The distribution for linear structures of the logical functions over finite field is discussed and the complete construction of logical functions taking on all vectors as linear structures is suggested, which leads to the conception of the extended affine functions over finite field, whose cryptographic properties is similar to that of the affine functions over field GF (2) and prime field F〓; The relationship between the degeneration of logical functions and the linear structures, the degeneration of logical functions and the support of Chrestenson spectrum, as well as the relation between the nonlinearity and the linear structures are discussed; Using the relation of the logical functions over finite field and the vector logical functions over its prime field, we reveal the relationship between the perfect nonlinear functions over finite field and the vector generalized Bent functions over its prime field; The existence or not of the perfect nonlinear functions with any variables over any finite fields is offered, and some methods are proposed to construct the perfect nonlinear functions by using the balanced p-polynomials over finite field.

重新定义了有限域上逻辑函数的Chrestenson线性谱，考察了新定义的Chrestenson线性谱和原来的Chrestenson循环谱的关系，并利用一组对偶基给出了有限域上逻辑函数的反演公式；给出了有限域上随机变量联合分布的分解式，并利用随机变量联合分布的分解式对有限域上逻辑函数的密码性质进行了研究；给出了有限域上逻辑函数与相应素域上向量逻辑函数的关系，探讨了它们之间密码性质的联系，如平衡性，相关免疫性，扩散性，线性结构以及非线性度等；讨论了有限域上逻辑函数各类线性结构之间的关系，并给出了任意点都是线性结构的逻辑函数的全部构造，由此引出了有限域上的"泛仿射函数"的概念；考察了有限域上逻辑函数的退化性与线性结构的关系、退化性与Chrestenson谱支集的关系；给出了有限域逻辑函数非线性度的定义，利用有限域上逻辑函数的非线性度与相应素域上向量逻辑函数非线性度的关系，考察了有限域上逻辑函数的非线性度与线性结构的关系；利用有限域上逻辑函数与相应素域上向量逻辑函数的关系，揭示了有限域上的广义Bent函数与相应素域上的广义Bent函数的关系，以及有限域上的完全非线性函数与相应素域上向量广义Bent函数之间的关系；给出了任意有限域上任意n元完全非线性函数存在性与否的完整证明，并利用有限域上平衡的p-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

Firstly, the disadvantageous of the present system' in operation was analyzed and the relevant automaton state diagram was painted. Furthermore, according to the finite automaton is a useful model, the new automatic system, that is, the toll collector system by charging to the account was designed and the relevant automaton state diagram was painted.

首先分析了现行的自动收费站系统中的不足之处，画出了相应的自动机状态转移图，然后依据有穷自动机是一种具有离散输入输出系统的数学模型，提出了新的收费站自动机设计－记账式收费自动机的模型及相应的自动机状态转移图，进而给出了详细的分析和应用软件，并画出了相应的系统模块图。

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 addition, a rule for translating a chop-automaton to a labelled finite state automaton is also defined.

同时，定义了一套转换规则把一个chop-自动机转换为一个标注有限状态自动机，使得它们接受相同的原子命题序列集。

The coordinate transformation and numerical integration was executed on the discretized tetrahedral elements based on which the 3-D MT vector-finite element method was implemented. A whole computation framework for 3-D vector-finite element method with unstructured mesh was given. Based on this some typical models were tested which has demonstrated that our algorithm could distinctively avoid problems caused by the fake solution and both the accuracy and efficiency were enhanced which made our algorithm has a bright future for further application.3. According to theory of Sobolev vector space and the discretization of Helmholtz space, the error estimate which was suitable for 3-D MT vector-finite element modeling was deduced by which the procedure of adaptive technique was guaranteed.4. Based on the fully unstructured tetrahedralization and optical strategy, the 3-D magnetotelluric h-adaptive vector-finite element method was presented through combining the error estimate. With this work, the accuracy and creditableness for 3-D MT complicatedly modeling was guaranteed.5. The 3-D magnetotelluric h-adaptive vector-finite element algorithm with unstructured mesh was implemented.

针对非结构化的四面体单元，采用坐标变换和数值积分方法，实现了MT三维矢量有限单元分析，建立起基于非结构化网格的三维MT矢量有限元计算流程，并对典型模型和国际标准电磁模型进行了数值模拟，结果对比和分析表明，基于非结构化网格的三维MT矢量有限元不仅消除了节点型有限元的伪解，而且具有很高的计算精度和速度，有广阔的应用前景。3、根据Sobolev函数的向量空间和Hemlholtz空间的分解，推导出基于残差的三维大地电磁矢量有限元后验误差估计公式，为三维大地电磁自适应矢量有限元数值模拟的实现奠定了基础。4、在完全非结构化四面体单元剖分及优化基础上，结合三维大地电磁矢量有限元后验误差估计公式，提出了基于非结构化网格的三维大地电磁h-型自适应矢量有限元计算策略，保证了对复杂大地电磁模型数值计算的精度和可靠性。5、实现了基于非结构化网格的三维大地电磁h-型自适应矢量有限元计算流程，对典型模型和国际标准电磁模型进行了数值模拟。

In this paper, we consider hyperbolic conservation laws, and the following work has been done to the finite volume method on unstructured meshes :In preface , we introduce the backupground of the oringe of the finite volume method, and point out the limitation of the finite difference methods and the finite element methods, and import the finite volume method.

本文主要考虑双曲型守恒律方程，对二维非结构三角形网格有限体积方法作了如下工作：介绍了有限体积方法的产生背景，指出了有限差分方法和有限元方法中的特点，对有限体积方法的产生和发展给出了比较详细的分析。

In this paper, the space-time finite element theory and its application technologies are studied and discussed. Furthermore the space-time finite element method is used to analyze the transient characteristics of electromagnetism equipments. The work is important to develop the numerical method for the transient electromagnetic field. The detailed work is as follow.In the basis theory of finite element method used in the transient engineering problem, the functional theory and the finite element theory are applied to studied the existence condition of a generalized variation principle, which is the basis of the space-time finite element method.

本文在完善时空有限元法的基础理论和应用技术并将该方法应用于解决电磁装置的瞬态过程分析等相关方面进行了深入的研究与探讨，该工作对于发展瞬变电磁场问题的数值计算方法具有重要的意义，为此进行了如下几方面的工作：在工程瞬变问题的有限元方法的基础理论方面，本文应用泛函理论和有限元理论，系统讨论了一般工程瞬变问题的变分定理的存在条件及对应的变分定理。

In view of cellular automaton, the classes are treated as states of the automaton.

从元胞自动机的观点来看，这些等价类可以被当作自动机的状态。

Based on the failure characters of concrete structures, the two-dimensional physical cellular automaton, a model cellular automaton, is set up.

根据混凝土的结构与破坏特征，建立了一种细胞自动机一～二维物理细胞自动机的基本模型。

This paper defines two concepts, Component Automaton Containing Subelement and Team Automaton Containing Subelement, in a mathematically precise way at first, then gives a formalized description of the auto update problem utilizing the above concepts.

该文提出了带子元素群组自动机和带子元素组件自动机的概念，并利用这两个概念给出了同步问题的形式化描述，明确提出并解决了计算机支持的协同编著系统中的自动更新问题原型。

The company mainly produces all kinds of industry screening machines, food packaging machine (solid, liquid, granular, powder), and bottled beer packaging machine assembly line, as well as large-scale wind transport, dedusting equipment design and installation.

公司主要生产各种行业用筛选机、食品包装机（固体、液体、粒状、粉状）、啤酒包装机和罐装流水线以及大型风力输送、除尘设备的设计与安装。

They began to embroider little squares of cloth.

陪同他的是学校的校长，西科尔斯卡小姐。