查询词典 theorem of implicit functions

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

This article uses the implicit function theorem and the properties of analytic functions,with less limitations for the uniqueness,continuity,continuous differentiability of the implicit functions,and gets the sufficient and necessary conditions of the existence of implicit functions by simplifying them.

从常用隐函数存在性定理出发，放宽对隐函数唯一、连续、连续可微等性质的限制，利用解析函数的性质将其展拓，得到广义隐函数存在的充分必要条件和广义隐函数的分布特征。

It introduces partial fractions of meromorphic functions, product developments of entire functions, Hadamard's theorem, Riemann Zeta functions, Poisson-Jensen's formula; elliptic functions, including simply periodic functions and doubly periodic functions; algebraic functions and algebroid functions, Riemann surface, Nevanlinna theory, including characteristic functions, the first and second fundamental theorems, growth orders, etc; complex differential equations and complex functional equations, etc.

具体为：亚纯函数的部分分式、整函数的无穷乘积展开、Hadamard定理、Riemann Zeta函数、Poisson-Jensen公式；椭圆函数，包括单周期函数、双周期函数；代数函数和代数体函数、Riemann曲面简介；Nevanlinna理论简介，包括特征函数、第一和第二基本定理、增长级等；复微分方程和复函数方程，等等。在教学内容上充分体现基础性、新颖性。

In this research, a system of various levels of task difficulty was set up by a complex rule. Three characteristics of implicit learning were detected with this system: 1 Implicit learning didn't work under the condition of the most difficult task. 2 When the task became easier, implicit learning started working on some level of task difficulty. 3 The efficiency of implicit learning would become higher if the task became easier; but there was a limit to the efficiency of implicit learning.

本研究利用自行设计的复杂规则产生出不同难度的任务系统，进而通过实验阐明了内隐学习的三个特征：在任务难度极大的情况下，内隐学习并不发挥作用；在任务难度降低到一定程度的时候，内隐学习开始发挥作用，这仿佛是一个"阈限"；随着任务难度逐渐降低，内隐学习的效率也随着提高，但是最终停止在一个较高的水平而不再继续上升。

For some special cases, the paper gives some important identical theorems, and then establishes a valuable relation between the uniformly almost periodic functions and the trigonometric polynomials.Secondly, on the basis of the identical theorem, the paper investigates the Fourier series of the uniformly B2 almost periodic functions, and further proves that the series is unique.Thirdly, the paper discusses the Parseval equation of the uniformly B2 almost periodic functions, which establishes the relation between these functions and the coefficients of their Fourier series; and next investigates an important approximation theorem-Riesc-Fischer theorem, about the uniformly B2 almost periodic functions and the trigonometric polynomials.

并给出了特殊情况下的几个重要的恒同定理，将一致概周期函数与有限三角多项式联系起来；第二，在恒同定理的基础上，给出了一致B~2概周期函数的Fourier级数，并且级数是唯一的；第三，讨论了一致B~2概周期函数的Parseval方程，建立了函数与其Fourier级数的系数之间的联系；接着给出了关于一致B~2概周期函数和三角多项式之间的一个重要近似定理—Riesc-Fischer定理。

this article discusses the integral theorem of mean the promoted question, mainly has two aspects: On the one hand in analyzes in the teaching material under the first integral theorem of mean condition, had proven lies between the value spot to have to be possible to obtain in the open-interval, further discusses this knot promotes to the generalized Riemann integral, and further proved the conclusion also establishes to the promoted first integral theorem of mean; Promotes on the one hand in addition the integral theorem of mean to in the curve and the curved surface, and has proven the curvilinear integral theorem of mean and the surface integral theorem of mean.

本文讨论积分中值定理的推广问题，主要有二个方面：一方面在分析教材中第一积分中值定理的条件下，证明了介值点必可在开区间内取得，进一步将这个结论推广到广义Riemann积分，并进一步证明结论对推广的第一积分中值定理也成立；另一方面，将积分中值定理推广到曲线和曲面中，并证明了曲线积分中值定理和曲面积分中值定理。

The thesis will introduce, respectively, relevant concepts of residue theorem and its promotion and application in two parts In the basic concepts of chapter II, the definition, classification and relationship between function zero and pole of the isolated singular point are given to lead out relevant definition, theorem and solving method, while the core content of this paper is promotion and application of residue theorem, including calculation of integration by using residues, application in diagonal theorem and argument theorem, application in electromagnetism and theorem promotion and relevant application of extension theorems

本文将从两大部分分别引入和浅析了留数定理的相关概念及其推广和应用在第二章的基本概念部分中，给出了孤立奇点的定义和分类、函数零点与极点的关系，从而引出留数定理的相关定义与定理及其求法而本文的核心内容也就是留数定理的推广和应用，包括运用留数来计算积分、体现在对角定理与辐角定理中的应用、在电磁学中的应用及其定理的推广和推广定理的相关应用

Using the concept of Boolean functions and combinatorics theory comprehensively, we investigate the construction on annihilators of Boolean functions and the algebraic immunity of symmetric Boolean functions in cryptography:Firstly, we introduce two methods of constructing the annihilators of Boolean functions, Construction I makes annihilators based on the minor term expression of Boolean function, meanwhile we get a way to judge whether a Boolean function has low degree annihilators by feature matrix. In Construction II, we use the subfunctions to construct annihilators, we also apply Construction II to LILI-128 and Toyocrypt, and the attacking complexity is reduced greatly. We study the algebraic immunitiy of (5,1,3,12) rotation symmetric staturated best functions and a type of constructed functions, then we prove that a new class of functions are invariants of algebraic attacks, and this property is generalized in the end.Secondly, we present a construction on symmetric annihilators of symmetric Boolean functions.

本文主要利用布尔函数的相关概念并结合组合论的相关知识，对密码学中布尔函数的零化子构造问题以及对称布尔函数代数免疫性进行了研究，主要包括以下两方面的内容：首先，给出两种布尔函数零化子的构造方法，构造Ⅰ利用布尔函数的小项表示构造零化子，得到求布尔函数f代数次数≤d的零化子的算法，同时得到通过布尔函数的特征矩阵判断零化子的存在性：构造Ⅱ利用布尔函数退化后的子函数构造零化子，将此构造方法应用于LILI-128，Toyocrypt等流密码体制中，使得攻击的复杂度大大降低；通过研究(5，1，3，12)旋转对称饱和最优函数的代数免疫和一类构造函数的代数免疫，证明了一类函数为代数攻击不变量，并对此性质作了进一步推广。

Differential intermediate value theorem and the Taylor formula In this paper, leads to Fermat's theorem Rolle Mean Value Theorem, and then constructing auxiliary function of the Lagrange mean value theorem and Cauchy's Mean Value Theorem to prove that.

微分中值定理和泰勒公式本文通过费马定理引出罗尔中值定理，再构造辅助函数对拉格朗日中值定理和柯西中值定理进行证明。

In addition, by utilizing Jacobi two square numbers theorem and Lagrange four square numbers theorem and some theta function identities, we also prove the known results of number theory: two triangular number theorem, four triangular number theorem, and the number of representations of a positive integer by various quadratic forms in terms of divisor functions

包括Jacobi二平方数定理，Lagrange四平方数定理等，然后利用这些结果结合几个theta函数恒等式，我们获得了把任意一个正整数表示成两个三角数或四个三角数的和以及其他的二次形式的方法数，这些方法数都是用因子函数来表示的。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。