查询词典 theorem on embedding

By using the model of this interpretation, the reliability theorem and the uniformity theorem are proved of the propositional calculus plus syllogistic system.

本文最主要的工作是建立了三段论的一种解释，并且在这种解释模型中，证明了命题演算+三段论系统的可靠性定理，一致性定理，还从语义角度，对项的周延性等问题发表了一些意见。

This paper makes studies of researched proposition on Pythagorean theorem an Projection theorem.

本文对勾股定理、射影定理的研究性论题进行了研究。

Suppose John is thinking about the Pythagorean Theorem and you ask him to say what's on his mind. His response is an event: the utterance of a sentence; and one of its causes is the event of John's thinking about the theorem.

假设张三在思考勾股律，你问她什么东西在她心里，她的回答是一个事件：说出一句话，其原因之一是'张三思考勾股律'这个事件。

In this paper,pose representation by quaternions are researched.With the basic quaternion algebra,the "quaternion based rotations combination theorem" is introduced and proved theoretically.On the basis of this theorem,a method for compute of pose nonliear state transfer function and its linearization is purposed.Then,the computing of the measurement function and the linearization is studied.With the Extended Kalman Filter,the pose is tracked and estimated.

研究用四元数表示物体的姿态，在四元数基本运算法则基础上提出并证明了"基于四元数的多个旋转运动合成规则"，然后将此规则为依据，推导出一种用来计算姿态非线性状态方程系数的方法，对非线性状态转移函数进行线性化，并且研究了测量方程函数的确定及线性化，借助扩展Kalman滤波实现了对姿态的跟踪。

We consider Theorem 1 to be highly significant and apply it to obtaining the rank of a certain augmentation quotient group by proposing Theorem 3 and giving its complete proof.

应用具有Np-序列有限p-群的特殊性质和重量函数，基本序列等概念以及已有的一些结果，分别研究了类为1的pk(k 2)阶A bel基本p-群和类为2的p4阶基本p-群之增广商群Qn的结构，得到了当n足够大时Qn作为A bel基本p-群的秩。

We first use the method similar with that in EL.karoui[1] to get the comparison theorem of K in the case of one reflecting barrier,At last,we use the idea of penalization to prove one existence result of the solution for the multi-dimensional RBSDE where the coefficient is continuous and has the linear growth,this also help us to give the comparison theorem of K~+ and K~- in the case of two reflecting barriers.

最后，用惩罚方法证明了当多维双边界反射倒向随机微分方程的生成元满足连续和线形增长条件时解的存在性，并同时得到了双边界情形下，K~+和K~-的多维比较定理。

The use of the Chinese remainder theorem transforms the operation of producing the multiplicative inverses into two corresponding operations with shorter numbers and a faster combination step so that, compared with methods not using the Chinese remainder theorem, an acceleration by factor 4 can be achieved.

采用中国余数定理，形成将倍数逆数的运算转换为两个具有较短数字和一个较快结合的运算的步骤，使得相较于没有中国余数定理的方法可获得因子4的加速。

Recently , the classical Riesz representation theorem on Hilbert spaces has been generalized onto complete random inner product modules ,in this paper the classical Friedrichs theorem on Hilbert spaces is generalized onto complete random inner product modules.

最近，经典的Riesz 表示定理已经被推广到完备随机内积模上，在此基础上本文将Hilbert 空间上经典的Friedrichs 定理推广到完备随机内积模上。首先，证明完备随机内积模上任一正Her2 mite 型惟一地对应一个正自共轭算子。

Finally, it investigate QF-ring with right gpm-injective, and obtain the following theorem:Theorem The following statements are equivalent:(1) R is quasi-Frobeniusean ring:(2) R is right noetherian, left pm-injective ring, right pm-injective ring;(3) R is right noetherian, left pm-injective ring, right GP-injective ring;(4) R is right noetherian, left gpm-injective ring, right gpm-injective ring;(5) R is right noetherian, right gpm-injective ring and each right minimal ideal is right annihilator.

最后用右gpm-内射对QF环进行研究，得到了如下定理：定理下列条件等价：(1) R是quasi-Frobeniusean环；(2) R是右Noether，左pm-内射环，右pm-内射环：(3) R是右Noether，左pm-内射环，右GP-内射环；(4) R是右Noether，左gpm-内射环，右gpm-内射环；(5) R是右Noether，右gpm-内射环且每个极小右理想是右零化子。

By using cross-iteration technique and the Schauder fixed point theorem, the existence theorem of travelling wave solutions of this system is established.

针对反应项的不同单调性，引进交互迭代格式，利用Schauder不动点定理建立了行波解的存在性定理，并将所得结论应用到时滞竞争系统。

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