定理

In addition, we prove in detail the triangular decomposition theorem of quantized generalized Kac-Moody algebras, and provide generators and defining relations for each part.

此外，我们还详细地证明了量子广义Kac-Moody代数的三角分解定理，给出了各部分的生成元和具体的定义关系。

This paper, by conjugating with the new reliability-preserving reduction we present and applying pivotal decomposition theorem ...

本文通过结合新提出的几个可靠性不变简化（Reliability－PreservingReducation）和对某些结点应用Pivotal分解定理，提出一个计算一般RBN的K-终点可靠度的有效算法。

According to the number decomposition theorem in number theory, using the above algorithms proposed, a new fast algorithm for computation of composite length DCT is constructed.

根据数论关于数的分解定理，提出了一种新的任意复合长度DCT的快速算法。

On this basis from the fuzzy set with the classic set of relations, the application of fuzzy set of the latest set of decomposition theorem, A new fuzzy definition of the fuzzy distance, definition and application of this research is partial order triangular fuzzy numbers fuzzy distance.

在此基础上从模糊集与经典集的关系出发，应用模糊集的截集以及分解定理，提出一种新的模糊集的模糊距离定义，并应用此定义研究具有偏序关系的三角模糊数的模糊距离。

Based on S R decomposition theorem and Fourier optical theory, a new technique using computer to analysze laser spectral image s of finite deformation automatically was put forward.

在 S- R和分解定理和 Fourier光学理论的基础上，提出了一种使用计算机对有限变形激光频谱图像进行自动分析的新方法。

Based on S-R decomposition theorem and Fourier optical theory, a new technique using computer to analysze laser spectral images of finite deformation automatically was put forward.

在S-R和分解定理和Fourier光学理论的基础上，提出了一种使用计算机对有限变形激光频谱图像进行自动分析的新方法。

Using the decomposition theorem of superoperators, we present a general method to solve the master equations with superoperator generators of su (1, 1) and su (2) Lie algebras.

利用超算符的分解定理，给出了求解含有su（1，1）或su（2）超算符生成元的一大类主方程的一般方法。

The properties of the λ-cut sets of the lower and upper approximation are discussed,and then the F-Union Decomposition theorem of the lower and upper approximation of rough fuzzy sets is given.

基于此，本文在逐一增加属性形式下的等价类F-分解的基础上，讨论了粗模糊集的F-分解形式，并给出了粗模糊上、下近似集合的F-分解定理及相关推论。

The decomposition theorem becomes a bridge connecting fuzzy matrix theory with Boolean matrix theory, so we start this problem from Boolean matrix.

由于分解定理建立了模糊矩阵和布尔矩阵之间的桥梁，所以我们首先从布尔矩阵开始对这个问题展开研究。

The infonnation orthogonalization theorem and the information magnitude decomposition theorem are proposed and proved.

提出信息正交化定理，为解决相关信息最优融合问题找到了统一的途径。

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.

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