定理的

This completes the proof of the convexity theorem.

这就完成了凸定理的证明。

Signal and system is the basic theory of convolution theorem.

摘要信号与系统是卷积定理的基本理论。

As a by-product of our proof, a new generalization of Hahn decomposition theorem in measure th...

在证明过程中，我们也顺便得到测度论中Hahn分解定理的推广。

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.

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

Disjunction normal form theorem in the modal logic system S5 is inductively proved, which can be used for representing complex modal formulas by means of conjunction and disjunction of simplest modal formulas with depth at most 1 in the system S5. As application, it is proved that a knowledge base could answer KB-queries if and only if it could answer queries of non-modal propositions and their negations, which is a basic problem on knowledge base.

研究了模态逻辑系统S5中的析取范式定理的归纳证明，给出了在S5中用深度至多等于1的最简模态公式通过析取与合取运算表示含有多重模态词的公式的方法，作为范式定理的应用，讨论了知识库中的一个基本问题，证明了知识库能够回答KB命题式问题的充要条件是该知识库能够回答相关的非模态命题及其否定命题的问题。

Using the method of analysis to study strong limit theorem proposed by professor Liu Wen, and a plying Legbesuge theoremon differentiability of monotone function, a new proof of the theorem of strong law of large numbers for the sequence of random variables of the product distribution of Poisson is forwarded.

利用文献[1]刘文教授提出的研究强极限的纯分析方法，通过构造适当的辅助函数，然后利用单调函数异数存在定理，给出具有乘积泊松分布的随机变量序列的一个强大数定理的新证明。

In this paper, the inertial theorem of real symmetric matrix has been proved by three methods in three aspects: the relationship between real symmetric matrix and real quadratic form, the relationship between real symmetric matrix and symmetric bilinear function of real linear space.

从实对称矩阵与实二次型的联系、实对称矩阵与实线性空间的对称双线性函数的联系以及将实对称矩阵作为研究主体这三个角度，介绍实对称矩阵的惯性定理的三种证明，以期加深对实对称矩阵的惯性定理的理解。

Trivial Solution conception is put forwarded based on the theorem of K〓nig and forbidden node----for the n×n 0-1 degeneracy matrix, the solution under the condition that all element 1 can not be covered completely by n lines that must have intersects or can be covered completely by n lines that must have cross, without forbidden node, are called TS matrix.

本文在K〓nig定理和禁点定理的基础上，提出了平凡解的概念，即对于n×n阶的退化矩阵，全部1元素不可能被n条有交叉的直线全部覆盖或能用n条直线覆盖全部1元素，但无禁点的情况称为平凡解。并证明了如下的平凡解产生的充分必要条件：对退化矩阵A〓，若

In this paper, the space-time finite element theory and its application technologies are studied and discussed. Furthermore the space-time finite element method is used to analyze the transient characteristics of electromagnetism equipments. The work is important to develop the numerical method for the transient electromagnetic field. The detailed work is as follow.In the basis theory of finite element method used in the transient engineering problem, the functional theory and the finite element theory are applied to studied the existence condition of a generalized variation principle, which is the basis of the space-time finite element method.

本文在完善时空有限元法的基础理论和应用技术并将该方法应用于解决电磁装置的瞬态过程分析等相关方面进行了深入的研究与探讨，该工作对于发展瞬变电磁场问题的数值计算方法具有重要的意义，为此进行了如下几方面的工作：在工程瞬变问题的有限元方法的基础理论方面，本文应用泛函理论和有限元理论，系统讨论了一般工程瞬变问题的变分定理的存在条件及对应的变分定理。

In Chapter 2, starting from a generalization of Hensel's Lemma to non-commutative case, we introduce the Brauer characters and the generalized decomposition numbers, and construct a kind of maximal semisimple algebras; then, similarly to Puig's methods, we prove Brauer's Second Main Theorem over arbitrary fields; applying it to blocks with nilpotent coefficient extensions, a formula on characters of such blocks is given; the formula of characters of nilpotent blocks is just an easy consequence of the fomula.

在第二章中，我们将Hensel的引理推广到非交换的情况，以此为起点，定义了Brauer特征标和广义分解数，构造了一类极大的半单的代数，类似于Puig的方法，给出了任意域上Brauer的第二主要定理；作为该定理的应用，我们给出了具有幂零系数扩张的块的特征标公式，幂零块的特征标公式只是它的一个简单的推论。

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.

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