查询词典 theorem

For example, we cannot copy an unknown state exactly because of "the no-cloning theorem"(no-deleting theorem), which is known as one of the most significant differences between classical and quantum information. Therefore to get to know what we can and cannot do in QIS or in quantum physics becomes an important and interesting problem. Particularly, in quantum communication and quantum cryptography, many novel schemes are based on the fact that nonorthogonal states cannot be discriminated determinately.

例如，经典信息中，编码状态是可以精确复制、区分的；而在量子信息中，由于叠加性的存在，使得非正交态不可区分，量子态不可复制、删除等；故而以往既成的观念都被打破，探讨在量子信息的框架下编码信息的估计、物理可实现的操作，以及这些量子体系在外界通过物理方法进行识别过程中的差异，是量子信息学、乃至物理学中的重要也很基本的问题。

The monotone class theorem of multiple dimension functional format.This is the generalization from the one dimension monotone class theorem.

给出了多维函数形式的单调类定理，它是一维函数形式单调类定理的推广，也是处理多维可测函数、多维随机过程的有力工具。

Under the cases of the linear interconnected systems with all its subsystems are one dimension, a theorem to judge the properties of single loop interactions has been given; the study also indicated that the properties of interactions cann't independent of the properties of subsystems in the multi-loop interaction conditions, and a all field root locus method has been proposed to decide the properties of interactions; a interaction stabilizable theorem has been given, and the efficacy of interactions with respect to the interconnected systems has been configured, Some primary results are reported which are induced by using a method of computer aided test to study block interactions, the stationary feedback efficacy of closed loop interactions have been discussed and a stability guess has been proposed.

本文提出互连系统的合作稳定性概念及其原理，给出了互连系统的本原稳定度、稳定中心、回路关连的级数以及关连的性质等基本定义；并在此基础上对线性互连系统进行关连分析，给出了一系列涉及到关连与互连系统稳定性关系的命题、引理、定理及其证明；其中，在子系统都是一维的线性定常互连系统情况，得出了单回路关连性质判断的定理；并指出在多回路关连条件下，关连的性质不能独立于子系统的性质，以及用全域根轨迹法判断关连性质的方法；给出了关连可稳定理，并对关连对互连系统的影响作用进行了分析。本文还用机辅试验的方法研究块阵关连并给出一些初步结果，本中还探讨了回路关连的静态反馈作用并提出一个判稳猜想。

Theorem （convergence Theorem , Dirichlet Condition

定理（收敛定理，狄利克雷充分条件）设是周期为的周期函数，如果它满足

However, based on my understanding of Jiang Chun-xuan's analysis and the preprint of his new paper "Disproof Of Wiles' Proof For Fermat's Last Theorem", I believe that I am in the position to make some important remarks, which provide strong support to Jiang's disproof of "Wiles's Proof For Fermat's Last Theorem" as follows

然而，基于我对于蒋春暄的分析及其新的文章"对怀尔斯费马大定理证明之否定"预印本的理解，我相信我有条件提出一些重要的看法，可以对蒋春暄否定"怀尔斯费马大定理证明"的文章给予重要支持

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重量更大。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。