查询词典 theorem

Under suit upper and lower solution, iteration sequences were constructed, and existence and unique of solutions of linear boundary value problems on second order nonlinear Hammerstein type integro-differential-difference equation were obtained by means of applying the Arzela-Ascoli theorem Lebesque control convergence theorem and disproof method.

在上下解存在的条件下，构造迭代序列，由Arzea-Ascoli定理和Lebesque控制收敛定理得到了二阶非线性Hammerstein型积分微分差分方程的线性边值问题的解的存在性。再利用反证法获得了解的唯一性。

At the same time, the practical implementation of evolutionary algorithm is given in order that evolutionary algorithm is introduced into vector quantizer. In the fourth section the asymptotic theory of vector quantization is studied. Then the partial distortion theorem that when codebook size is large enough, each region of the partition makes an equal contribution to the distortion for an optimal quantizer, which is the key part of vector quantizer is obtained. Finally, the competitive learning algorithm based on the partial distortion theorem is proposed, which introduces the subdistortion of each region into the distortion measure to assure that the subdistortion of each region approximately equals to each other.

第四章详细研究矢量量化的渐近理论，然后得出了矢量量化器设计的核心部分——部分失真定理，当码本尺寸足够大且输出矢量的渐近概率密度与输入矢量的概率密度的幂成比例时，最优量化器划分的各个区域对该量化器的平均误差产生相同的影响，最后提出基于部分失真定理的竞争学习算法，它通过在误差测度中，引入与各区域相关的子误差以保证各区域的子误差近似相等，该算法实现较为简单，在一定程度上确保全局最优。

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测度和维数，等等。在教学内容上充分体现综合性、前沿性。

First we give some necessary and sufficient conditions for the oscillation of(1) by Lebesguge s dominated convergence theorem and Schauder — Tychonoff fixed point theorem.

这篇文章中，我们首先利用Lebesgue控制收敛定理，以及Schauder-Tychonoff不动点定理给出了方程(1)振动的若干充分必要条件。

And extended codes of quadratic residue codes over Z〓(Definition 3. 4) also are discussed, which have good dual properties (Theorem 3. 9 and Theorem 3. 10). At last, two kinds of Gray map from Z〓 to Z〓 are defined (Definition 3. 5 and Definition 3. 6), and they are compared with each other, and we find the second Gray map is better than first by an example.

最后，以两种方式定义从Z〓到Z〓的Gray映射并相应的有两种码字的Lee重量定义（定义3.5与定义3.6），并以一实例计算比较了这两种Lee重量定义，指出第二种方式定义的Gray映射更好，因为其相应的Lee重量定义使得相应所得到的最小Lee重量更大。

The Maschke's Theorem of group algebras is well known, and [Mo2] gives us a version of Maschke's and Dual Maschke's Theorem of finite-dimensional Hopf algebras.

半格分次弱Hopf代数是弱Hopf代数的一类特殊情况，而且又是Hopf代数的一种推广，在第1.3节中，我们将会给出半格分次弱Hopf代数的Maschke和对偶Maschke定理的结论及其应用。

After that, we discuss the weak duality theorem and the strong duality theorem concerning Benson efficient solutions.

接着讨论了Benson真有效解的强弱对偶性定理。

In the study of finiteness conjecture, there are two important conclusions, that is Revised Dulac"s Theorem and Il"yashenkos Theorem. But the discusses and demonstrations of these two theorems are very brief and simple in existing documents.

在有限性猜测的研究中有两个十分重要的结果，即修正的Dulac定理和Il'yashenko定理，现有的文献对这两个定理的讨论和证明非常简要。

In chapter 4, we state and prove Campanato type Theorem, Morrey type Theorem and some embedding Theorems for the maps.

在第四章，我们证明Campanato型和Morrey型不等式和一些嵌入定理。

For the homoclinics taking on values in the unbounded domain, in order to apply the usual "Mountain Pass " theorem, A compact embedding theorem is proved.

为克服同宿解取值于无界域而缺乏自然紧性，证明了一个紧嵌入定理，从而可以利用通常的山路引理与对称山路引理获得同宿解的存在性与多重性条件。

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.

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