查询词典 imbedding theorem

We give a brief proof of the existence theorem of Supremum and Infimum of a bounded set of fuzzy numbers given by Wu cong-xin and Wu chong in [30] . It is used to establish the monotone convergence theorem and the nest theorem of closed intervals on E〓,τ

给出了吴从忻、吴冲[30]得到的模糊数集的确界存在定理的一个简洁证明，并利用此定理在空间E〓，τ(l中建立了模糊数序列的单调收敛定理和闭区间套定理。

Theorem C: The commutator algebra of so *(2 n ) is its own, and the commutator algebra ofand the commutator algebra of Theorem D: The Cartan subalgebra ofand the Cartan subalgebra of Theorem E: The structural formula of

定理C so *(2 n )的换位子代数就是其本身， g *(2 n， S ， C )的换位子代数为g *(2 n + 1， S ， C)的换位子代数为定理D so *(2 n )和g *(2 n ， S ， C )的Cartan子代数是定理E so *(2 n )和g * m， S ，(来源：AB78C论文网www.abclunwen.comC 的结构公式都是来源：A6bBCe9论文网www.abclunwen.com

Secondly,we firstly study the properties of functions with values in a uni-versal Clifford algebra 〓,and we obtain the following very important basictheorems in universal Clifford analysis:Cauchy's integral formula,Cauchy's inte-gral theorem,the mean value theorem,the three versions of the maximum mod-ulus theorem,the Taylor's expansion,the Laurent's expansion and the residuetheorem etc..All of these results generalized the classical results.

第二，本文所讨论的各种函数性质以及所得的结果都在泛Clifford代数〓上所做的工作，它一方面包含了从前在泛Clifford代数〓上所做的工作，所得到的结果更广泛、更漂亮、更自然，另一方面，本文也是迄今为止第一次建立起来了在泛Clifford分析中与经典函数论相对照处基础地位的LR正则函数在特异边界上的Cauchy积分公式、Cauchy积分定理、平均值定理、极大模原理的三种表达形式、Taylor展式、Laurent展式留数定理等深刻的结果。

Second,we introduce some important theorems we use in this paper,that is traverse theorem,martingale central limit theorem and slutsky theorem.

此外，还介绍了本文中所应用的主要定理，例如遍历定理，鞅中心极限定理以及slutsky定理等。

The key concepts are "isomorphism" and "symmetric isomorphism" which are used to describe the relation between two search domains, the key results are "Structure Theorem","Isomorphism Theorem" and "Isomorphism Classification Theorem".

核心的概念是非常重要的用于描述搜索域之间相互关系的"同构"与"对称同构"，核心结果是"结构定理"，"同构定理"和"同构类定理"。

The structure theorem is obtained by defining "ternary ordered partition method" which is used to choose the test-sets of the first $k$ tests, and by defining two operations and two relations on feedback sequences; The isomorphism classification theorem is strictly proved by virtue of the structure theorem, thus the complicated problem of discussing $3^k$ possible search domains is reduced to the relatively easy problem on $k+1$ representative search domains; By the techniques of "super-coin construction method" and "image-union method", the search problem on $k+1$ representative search domains is reduced to the simple verification of several conditions on finite space of small cardinality.

通过引入用于选取前$k$次试验的试验集的"三元有序剖分法"以及关于反馈序列的两种运算和两种关系，得到了结构定理；基于结构定理严格地证明了同构类定理，从而将必须针对$3^k$个搜索域的复杂问题转变为讨论$k+1$个具代表性的搜索域的相对简单的问题；通过"构造超币法"和"并像法"等技术手段，将关于$k+1$个具代表性的搜索域的搜索问题转化为简单的关于势非常小的有限空间的几个条件的验证问题。

Topics include: mathematical definition and properties of information; source coding theorem, lossless compression of data, optimal lossless coding; noisy communication channels, channel coding theorem, the source-channel separation theorem, multiple access channels, broadcast channels, Gaussian noise, and time-varying channels.

课程主题包括：针对「资讯」的明确数学定义及性质描述；信源编码理论、无失真资料压缩技术、最佳化无错误编码；杂讯干扰的通讯频道解析、频道编码理论、资讯来源-通道编码分离理论、多重存取频道解析，广播型态频道解析、高斯杂讯及多变量时间频道解析。

The cohomology of q-polynomial coalgebras with coefficients in trivialcomodule K are also determined(see Theorem 6.3.11).Having obtained Theorem 5.2.3 andTheorem 5.2.4,we determine(see Theorem 7.2.6)all the nonzero 〓.

对于这一类q-多项式余代数，我们决定了（见定理6.3.11）系数在它的平凡余模K中的上同调，有了定理5.2.3与定理5.2.4以后，我们决定了（见定理7.2.6）所有非零的〓。

In part 1, we explore some properties of solution y of a backward stochastic differential equation, such as comparison theorem, reverse comparison theorem and uniqueness theorem of generator.

第一部分研究了倒向随机微分方程的解中y的性质，其中包括解的比较定理，逆比较定理，生成元的唯一性定理。

By mean of the method of upper and lower solutions, we will obtain a existence theorem like Kazdan-Warners. Using this theorem, we will study the vortex equation in holomorphic line bundle over complex manifold and prove a theorem of existence of Hermitian metric with a prescribed holomorphic section.

在本论文的最后部分，我们在紧复流形上讨论一类Kazdan-Warner型方程，用上下解方法得到了光滑解存在的Kazdan-Warner型定理，并将其用于研究全纯线丛的涡旋方程，得到了一个具有预定全纯截面的厄米度量的存在定理。

The work of this paper is as follows: 1. Looking back the progressing history of the linear motor, introducing the features of the elevator driven by linear induction motor, radicating the topic of this paper "the digital frequency variable control of the elevator bi-side direct driven by linear induction motor". The research of this paper covers the conventional VVVF control, space vector based VVVF control, vector control and DTC.

本文主要开展了以下几个方面的工作： 1 回顾了直线电机发展历史，电机的驱动技术演变，特别是针对直线电机的驱动，简要介绍了直线感应电机驱动电梯的优点和不同结构类型，对传统的v／f控制，基于空间矢量法的v／f控制，矢量控制，和基于电压空间矢量的直接转矩控制进行了比较，确立了本课题的研究主题：直线感应电机双边直推式驱动电梯的全数字变频控制。

The article combines with the treatment of a superficial civil air defense work to introduce how the grouting method to improve the performance of the backfill soil.

文章从治理漂浮人防工事的角度提出了注浆技术在改善回填土性质方面的应用，并详细阐述了注浆技术的施工流程。