查询词典 theorem on embedding

We divide the existence of generalized solutions into three theorems becauseof the existence of a generalized supersolution we need in the proof.To ob-tain this fact,we discuss three different cases separately.WhenΩhas strictconvexity,it can be proved that the generalized supersolution of (1)(2)is theconvex-monotone hull of 〓in 〓,this is theorem 2.WhenΩdoesn't hasthe strict convexity,in theorem 3 we have to suppose there exists a generalizedsupersolution.

我们的广义解的存在性结果之所以分成三个定理陈述，主要是因为在我们的存在性证明中，一个重要的事实就是广义上解的存在性，而为了得到这个事实，我们分别讨论了三种不同的情况：在定理2中的假设〓具有严格凸性时，我们证明了问题（1）（2）的广义上解就是初边值〓的凸单调包，而在〓没有严格凸性时，我们在定理3中假定了一个广义上解的存在性。

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

First, a few methods of fatigue experiment, the structure theorem of thefatigue experiment machine and some basal conception and theorem are assaiedideally.

首先，从理论上分析了几种疲劳试验方法，以及疲劳试验机的结构原理和计算机控制的一些基本概念和理论。

In this part, the author draws out an alternative theorem—the organic-centralization of urban spatial structure. According to this theorem, the paradoxical tendencies of concentration and decentralization could be compatible and complementary.

针对上述问题，该章重点从产业结构的调整与聚居模式的选择，交通可达性提高及生态保护等空间机制方面对南京城市空间结构中集中与分散现状按有机集中的结构模式进行调整。

We would like to point out that our proof of the singularity层次structure theorem (Theorem 7.1.1) is different from that of Perelman in two aspects:(1) we avoid using his crucial estimate in Claim 2 in Section 12.1 of [103];(2) we give a new approach to extend the limit backward in time to an ancient solution.

这个特解大致上走的正是小佩避免使用定理7.4的那条路，不过曹朱强调：在这个"完整证明"中所用的定理7.1.1证明与小佩所采用的方式有两点不同

Part Three The study of Lattice-valued Modal First-order Logic System and Its Resolution Principle In this part, we introduced quantifiers and predicate into LMP, put up lattice-valued modal first-order logic system LMF, and gave its semantic interpretation and syntax structure, proved soundness theorem and consistence theorem. Moreover, in order to judge the satisfiability of formula, defined Skolem standard type and H-interpretation. Based on these work, made a primary discussion of a - resolution principle based on LMF.

第三部分：关于格值模态一阶逻辑系统及其归结原理的研究第n页西南交通大学博士研究生学位论文这一部分主要是在格值模态命题逻辑系统LMP队）中引进量词和谓词，建立格值模态一阶逻辑系统LMF（广并给出其语又解释和语法结构，证明了系统的可靠性和协调性；另外，为了判断公式的可满足性，定义了格值模态一阶公式的 Skolem标准型和体解释；在此基础上，对基于系统LMF的a一归结原理进行了初步探讨。

By applying existence theorems of maximal elements for a family of GB-majorized mappings in a product space of G-convex spaces, some coincidence theorem, Fan-Browder type fixed point theorem and some existence theorems of solutions for a system of minimax inequalities are proved under noncompact setting of G-convex spaces.

通过应用G-凸空间的乘积空间内一族GB-优化映象的极大元的存在定理，在G-凸空间的非紧设置下证明了某些重合点定理，Fan-Browder型不动点定理和极小极大不等式组的解的存在性定理。

Since then,by applying the Leray-Schauder continuation theorem,nonlinear alternative of Leary-Schauder,coincidence degree theory,and Krasnoselskii's fixed point theorem,many researchers have studied more general nonl...

研究了一类二阶非线性常微分方程的三点边值问题多重正解的存在性问题，在非线性项不满足超线性或次线性的条件下，利用不动点指数定理得到了至少存在两个正解的几个充分条件。

Chapter 6 is contributed to studying the convergence properties of pariwise NQD random sequences. We extend the Kolomogrov-type inequality, Baum and Katz complete convergence, the three series theorem, Marcinkiewicz strong law of large number and Jamison theorem.

第六章研究两两NQD列的收敛性质，首先给出两两NQD列的Kolmogorov型不等式，进而讨论它的若干收敛性质，获得了与独立情形一样的Baum和Katz完全收敛定理；几乎达到独立情形著名的Marcinkiewicz强大数定律，三级数定理，推广了著名的Jamison定理。

We discussed the stability of the system balance, used the Poincare-Bendixson's annular region theorem to prove the existence, and used the Zhang Zhifen unicity theorem to prove the uniqueness of limit cycle, at the same time give meaning to the corresponding conclusions on the ecology.

讨论了系统平衡点的稳定性，用Bendixson环域定理证明极限环的存在性，借助张芷芬唯一性定理证明极限环的唯一性，同时对相应结论的生态学意义给予说明。

Listen,point and check your answers.

听，指出并且检查你的答案。

Warming needle is one of effective treatment methods for knee arthralgia aggravated by cold,and it is simple,safety,so it should be developed in clinical acupuncture and moxibustion extensively.

但以本院科针灸门诊在2005年1月—2006年6月期间共收治膝痛患者100余例，经过临床的诊断后，其中施以温针治疗的48例，疗效显著，报道如下。1临床资料本组病例48