查询词典 normal basis theorem

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.

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

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.

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

The system can be widely used in belt weighing and batching process control,etc.

介绍了基于智能模糊控制的嵌入式配料系统的设计方法，对模糊PID控制过程和系统调零作了重点的讨论，同时给出了PID控制的程序流程图和系统定长调零子程序。

"I dunno," she answered,"but if you show me aroun', I'll recognize it from the lighthouse just outside the porthole."

"我不知道，"她回答说，"如果你能带我转转，我能认出来的，因为灯塔就在舷窗外。"