查询词典 theorem of implicit functions

In the fourth chapter, firstly it introduces the Boolean functions algebraic expressions of the 2-value clock-controlled stop-and-go generator and Gunther generator. It reveals the balanced property of the two kinds of Boolean functions, and studies the Walsh cycle spectrum and the autocorrelation function. It also obtains the coincidence rate of their output sequences with affine sum of some bits of input sequences, and analyzes their ability of resisting the best affine approximation cryptanalysis and differential cryptanalysis. Secondly, we properly present a new definition of the Best Affine Approximation, namely BAA on the Boolean vector functions, followed by the spectral characteristic of such defined BAA attacks through using the decomposition formula of the union distribution for random variables. A lower bound of such BAA attacks is proposed. Finally, we also study the spectral characteristic of the second kind of nonlinearity of Boolean vector functions, followed by a higher bound of such nonlinearity. Furthermore, the limited relationship between the second kind of nonlinearity of Boolean vector functions and the linear structure of the linear combination of every component is analyzed.

在第四章中，首先给出了2值密钥流"停走生成器"和"衮特生成器"中实际存在的布尔函数的代数表示，揭示了这两类布尔函数的平衡性，随后研究了它们的Walsh循环谱和自相关函数等，得到了它们的输出序列与输入序列中的某些bit的仿射项的符合率，分析了它们抵抗最佳仿射逼近攻击和差分攻击的能力；其次，我们合理地给出了布尔向量函数最佳仿射逼近的新定义，利用布尔随机变量联合分布的分解式考察了相应的谱特征，并给出了布尔向量函数与其最佳仿射逼近的符合率的一个下界；最后，我们还考察了布尔向量函数第二类非线性度的谱特征，给出了布尔向量函数第二类非线性度的一个上界，并揭示了布尔向量函数第二类非线性度与其各个分量的线性和的线性结构之间存在的制约关系。

It introduces normal families, including equicontinuity, Arzela's theorem, Montel's and Marty's theorems, Zalcman's lemma; univalent functions, including Koebe's and de Branges' theorems; quasiconformal mappings, including conformal length, extremal length, geometric, analytic and metric definitions, quasiconformal extension, distortion theorem, quasicircle; iteration of rational functions, including fixed points, the Fatou and Julia sets, periodic points, Siegel disks, the Hausdorff measure and dimension, etc.

具体为：正规族，包括等度连续性、Arzela定理、Montel和Marty正规定则、Zalcman引理；单叶函数，包括Koebe定理和de Branges定理；拟共形映照，包括共形模、极值长度、几何、分析和距离定义、拟共形延拓、偏差定理，拟圆周等；有理函数的迭代，包括不动点、Fatou集和Julia集、周期点、Siegel盘、Hausdorff测度和维数，等等。在教学内容上充分体现综合性、前沿性。

By using these convergence theorems,it presents the Silverman-To-eplitz regular theorem and Samaratunga-Sember theorem on the Abelian topologicalgroups,the Vitali-Hahn-Saks theorem on algebras and the weak sequentially completenesstheorem of 〓-dual spaces of sequence spaces,etc.

这是抽象分析中的两个基本定理。作为应用，给出了Abelian拓扑群上的Silverman-Toeplitz正则性定理、Samaratunga-Sember定理、代数上的Vitali-Hahn-Saks定理，以及序列空间的〓对偶空间之弱序列完备性定理等。

Theorem 1 constructs a set of universal measure zero using continuous extension; Theorem 2 verifies absolutely continuous function being of good property under some condition; Theorem 3 reveals some relation between real function and meager.

定理1 主要运用了连续延拓构造了一个泛测度零集；定理2 证明绝对连续函数在一定条件下具有良好的性质；定理3 揭示了实函数与第一纲集的某种关系。

Main work follows:(1) In the first part of this paper, a historical development of the number theory before Gauss is reviewed.Based on the systematic analysis of Gauss"s work in science and mathematics, inquiry into the mathematical background that Disquisitiones Arithmeticae appeals and Gauss"s congruent theory;(2) The development process of Fermat"s little theorem and its important function in the compositeness test is elaborated through original literature.we think that the first three section of Disquisitiones Arithmeticae is a summary and development for ancestors" work about Fermat"s little theorem,show that Fermat"s little theorem played an important role in the elementary number theory;(3) With the two main sources of the quadratic reciprocity law, investigating Fermat,Euler,Lagrange,Legendre, until the related work of Gauss,the way to realize the laws huge push to the development of algebraic number theory in 19 centuries.

本文主要做了以下工作：(1)首先回顾了高斯之前的数论研究状况，在系统分析高斯的科学与数学成就的基础上，探讨了《算术研究》出现的数学背景和高斯的同余理论；(2)通过对原始文献的系统解读，深入分析了费马小定理发现发展的历程以及在素性检验中的重要作用，指出《算术研究》前三节是高斯在总结并发展了前人对该定理研究的基础上形成的，并揭示了费马小定理在初等数论定理证明中的核心地位；(3)以二次互反律的两个主要来源为线索，详细考察了费马，欧拉，拉格朗目，勒让德，直到高斯的相关工作，揭示了该定律对十九世纪数论发展的巨大推动作用。

Then we deeply studied the completeness of LP . Consequently, we established:(1) The completeness theorem of LP with truth-value in finite Lukasiewiczchain;(2) The completeness theorem of LP with truth-value in complete and atomic lattice implication algebras;(3) The completeness theorem of LP with truth-value in injective lattice implication algebras.

建立了：（1）基于Lukasiewicz有限链的格值命题逻辑系统LP的完备性定理；（2）基于完备的且原子的格蕴涵代数的格值命题逻辑系统LP的完备性定理；（3）基于内射的格蕴涵代数的格值命题逻辑系统LP的完备性定理。

Based on the view that the theorem of closed mested interval is an axiom,this paper deduces the essential limit of monotonic bounded sequence of number and the Dedekind theorem,and proves the general theorem of bull closed nested interval of real number .

以通常所说的闭区间套定理作为公理推出单调有界数列存在极限和Dedekind定理，并且证明了通常所说的实数满闭区间套定理

We give a brief proof of the existence theorem of Supremum and Infimum of a bounded set of fuzzy numbers given by Wu cong-xin and Wu chong in [30] . It is used to establish the monotone convergence theorem and the nest theorem of closed intervals on E〓,τ

给出了吴从忻、吴冲[30]得到的模糊数集的确界存在定理的一个简洁证明，并利用此定理在空间E〓，τ(l中建立了模糊数序列的单调收敛定理和闭区间套定理。

Theorem C: The commutator algebra of so *(2 n ) is its own, and the commutator algebra ofand the commutator algebra of Theorem D: The Cartan subalgebra ofand the Cartan subalgebra of Theorem E: The structural formula of

定理C so *(2 n )的换位子代数就是其本身， g *(2 n， S ， C )的换位子代数为g *(2 n + 1， S ， C)的换位子代数为定理D so *(2 n )和g *(2 n ， S ， C )的Cartan子代数是定理E so *(2 n )和g * m， S ，(来源：AB78C论文网www.abclunwen.comC 的结构公式都是来源：A6bBCe9论文网www.abclunwen.com

Second,we introduce some important theorems we use in this paper,that is traverse theorem,martingale central limit theorem and slutsky theorem.

此外，还介绍了本文中所应用的主要定理，例如遍历定理，鞅中心极限定理以及slutsky定理等。

After explaining total design of automated test system for microcircuit , the thesis introduces GPIB standard .

文章在说明了微电路模块自动测试系统的总体设计后，对GPIB标准进行了介绍。

He interceded in my behalf.

他替我说情。