查询词典 theorem of implicit functions

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.

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

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真有效解的强弱对偶性定理。

They have quite a lot of work to do.

他们有许多工作要做。

Let us give you a more elaborate example of this process.

让我们给你这个过程的更多的详细例子。