查询词典 theorem of alternative

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不动点定理建立了行波解的存在性定理，并将所得结论应用到时滞竞争系统。

In chapter II,the preliminary knowledgefor accomplishing this research is presented,and the well-posed problem ofthe thin-plate flow of non-Newtonian viscous fluids is testified.By using themonotone operator theory and Schauder's fixed point theorem,the generalizedsolution's existence and uniqueness theorem for the thin-plate flow problem ofnon-Newtonian viscous fluids is obtained under reasonable conditions.

第二章给出了进行本项研究所需的一些预备知识，对非牛顿粘性流体薄板流问题广义解的适定性进行了研究，应用单调算子理论和不动点定理，在合理的条件下，证明了非牛顿粘性流体薄板流问题广义解的存在性，唯一性定理。

In Chapter 3 Firstly, the exponential stability in mean square and almost sure exponential stability for neutral stochstic neural networks with time-varying delay can be discussed by using the linear matrix inequality and the semimartingale convergence theorem; And our sufficient conditions are less conserative; Secondly, by utilizing the fixed point theorem, some sufficient and necessary conditions ensuring the asymp- totic stability in mean square for neutral stochastic neural networks with time-varying delays can be given.

第三章首先，利用线性矩阵不等式方法和半鞅收敛定理，考虑了一类具变时滞中立型随机神经网络的二阶矩指数稳定性和几乎必然指数稳定性，所得到的条件保守性要好；其次，采用不动点方法，给出了具变时滞中立型随机神经网络的二阶矩渐近稳定性的充要条件。

In the paper the separate theorem of convex set with weak topology σ(L ∞,L 1) is proved, and the topological characterization about No Free Lunch with Vanishing Risk Condition is given, from it, the equivalency between exist of equivalent martingale measures and NFLVR is proved, this is the first fundamental theorem of asset pricing.

资产定价的第一基本定理是数量金融学中核心的定理之一，本文证明了在 L∞的弱*拓扑σ(L∞，L1)中的凸集分离定理，并在此定理的基础上给出了没有无风险免费午餐的拓扑描述，证明了市场公平性与没有无风险免费午餐条件的等价性，从而重新证明了资产定价的第一基本定理。

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