查询词典 theorem of alternative

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.

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

We discussed the coupled generalized BBM equations with pseudodifferential operator in Chapter three.In this chapter we get the global existence for the Cauchy problem by Banach-fixed point theorem ,a priori estimates and Sobolev embedding theorem.

第三章讨论了具拟微分算子的广义BBM方程组，通过Banach不动点定理、解的先验估计和Sobolev嵌入定理得到了解的整体存在性。

The shaping method of noncircular part and the tool holder's radial motion characters in noncircular turning process are discussed in detail in the thesis.

论文详细研究了非圆零件的成型方法和加工过程中刀架的径向运动规律。

I have not really liked him,I do not like his this kind of disposition.

我没有真的喜欢他，我不喜欢他的这种性格。