查询词典 finite constructibility

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-多项式的性质给出了有限域上完全非线性函数的一些基本构造方法。

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.

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

Although the axiom of constructibility does resolve CH, it is not generally considered to be intuitively true any more than CH is generally considered to be false.

要反对这一观点，要是能展示一条既能被直观所支持、又能从证明或证否面解决连续统假设的新公理，那就很足够了。

algebra was developed in the 19th century, initially focusing on what is now called Galois theory , and on constructibility issues.

抽象代数是在19世纪，最初把重点放在什么是现在被称为伽罗瓦理论，以及关于constructibility问题。

Many Beam-Arch Combination System Bridges, as their good mechanical behavior, low cost, constructibility and beautiful appearance, have been built all over China in these years.

梁拱组合体系桥梁近年来在我国发展迅速，由于其受力合理、造价低廉、施工简便、造型美观等特点，在公路建设中得到广泛应用。

Using finite fields , the classical groups give rise to finite groups , intensively studied in relation to the finite simple groups ; and associated finite geometry , which has both combinatorial and algebro-geometric sides.

利用有限领域，古典的群体产生有限的群体，深入研究有关的有限简单群体；及相关有限几何，这两个组合和algebro几何双方。

The number of polynomial function over a finite commutative ring. This paper is on the basis of the research for the first question.With the structure of finite commutative ring,we know that a finite commutative ring can be expressed by direct sum of some finite commutative local rings.

本文主要基于对问题一的研究，并由有限交换环的构造可以知道，有限交换环可以由一些有限交换局部环的直和表示，于是就将问题简化到对有限交换局部环上多项式的判定。

Prange first began to study cyclic codes over finite field in 1957 and Berkelamp first began to investigate negacyclic codes over finite field in 1968,but the codes over finite rings didnt received much attention until the 1990s due to the works of Nechaev in 1991 and Hammons in 1994,which showed that well-known nonlinear codes such as Kerdock and Preparata codes are constructed from linear codes over finite rings.

Prange(1957)和Berkelamp(1968)分别首先开始研究有限域上的循环码和负循环码，直到上世纪90年代，Nechaev(1991)和Hammons(1994)通过有限环上的线性码构造出著名的非线性码如Kerdock码和Preparata码，有限环上的码才受到广泛关注。

My father is over 60 years old, and he lifts weights every day.

我爸爸六十多岁了，他每天都练习举重。

Then in a serious tone she declared:"It doesn't pay, dear boy, to look like a ninny with one's wife the first night."

两眼湿润了，她把身子蜷得很小，这样似乎可以更好地闻闻自己。