查询词典 theorem

A method using planar antipodal grasp theorem and another theorem from it proposed by Ebert-Uphoff to determine the boundary of force closure workspace for wire-driven parallel manipulators with 1R2T class with 2-2 type has been demonstrated.

利用平面对心抓取定理与Ebert-Uphoff提出的相关定理，确定2-2型1R2T机构的力封闭工作空间边界。

This result is browden to n-dimentional case in chapter 2 first and an existence theorem (theorem 2.1) for linearly increasing solutions is given.

第二章将此结果推广到高维情形，给出了一个线性增长解的存在性定理(定理2.1)；另外，本章还给出了方程存在对数增长解的两个定理(定理2.2—2.3)。

This thesis explains basic financial innovation theorems including "circumventive innovation theorem","transaction cost innovation theorem" and " value chain theory ", etc and the relationship between these theorems and Internet banking; on the basis of analyzing the developing history and current situation of Internet banking business in foreign countries and in china, it points out the major problems existing in our Internet banking innovation, summarizes the experiences in foreign Internet banking which can be referential to our commercial banks, and gets to the conclusion that meeting customer's demands and keeping, maintaining, utilizing the customer relationship effectively are the key points in Internet banking innovation.

阐释了&规避管制理论&、&交易成本理论&、&价值链理论&等金融创新理论的基本内容及其与网络银行业务创新的关系；通过对国内外网络银行业务功能发展历程的简要回顾和对其业务创新现状的介绍，总结了国外发展网络银行业务过程中可供我国商业银行借鉴的经验，探讨了我国网络银行业务创新存在的主要问题，并认为满足客户需求，保持、维护并有效利用银行与客户间的关系是进行网络银行业务创新的关键所在。

From M-M theorem which was put forward by Modigliani and Miller(1958), basing on the neo-classical paradigm, many western scholars began to relax the Neo-classical assumption of M-M theorem gradually, and modify the application scope of"irrelevancy"proposition, in realistic condition, to enrich and develop modern corporate finance theory continually.

自Modigliani和Miller(1958)在新古典范式下提出著名的MM定理以来，西方学者逐步放宽MM定理的新古典假设，修正&无关性&命题的适用范围，在现实条件下不断丰富和发展了现代公司财务理论。

Kuciweier (harbor interpret: Library favour) publish " demon robot " one book, internet of explain palpability future will mix complete mankind and even other live thing the concept that is not organism assemble to become system of a complete consciousness, a tide is aroused in American academia. 2001, he puts forward rub the patulous theorem of Er theorem, namely Kuciweier is theorematic (Kurzweils Law Of Accelerated Return).

库茨维尔颁发的《精灵机械人》一书，阐了然未来互联网将把全人类甚至其他生物和非生物体汇集成一个破碎意识体的概念，在美国学术界激发一片浪潮。2001年，他提出摩尔定理的扩展定理，即库茨维尔定理(Kurzweils Law of Accelerated Return)。

For fluid system with periodic boundary conditions, it is proved that virial theorem does not hold, and neither the calculation method based on that theorem.

为了计算分子动力学系统中压力的分布，考察了文献中报导的压力算法。

One will reach a best cut order and the minmum if he incises these edges by means of methods of theorem 1 and theorem 3 in this paper.

文中的定理 1 和定理 3 给出了求最优切割顺序和最小值的方法。

This chapter proposes three conceptions, i.e., Kernelled quasidiferential, star-kernel and star-diferential, and establishes their operational properties. A sufficient theorem and a sufficent and necessity theorem for a quasi-kernel being a kernelled quasidiferential are proven. Both the existence of star-kernel for a quasidiferentiable function and the existence of star-differential for a direnction-ally diferentiable function are established.

在这一章里，首先给出核拟微分，星核与星微分的定义及其它们的运算性质；然后证明了拟核微分的一个充分条件定理及一个充要条件定理；最后讨(来源：A27BC论文网www.abclunwen.com)论拟可微函数星核的存在性及方向可微函数星微分的存在性以及Penot-微分与上下导数之间的关系。

The fundamental properties of the system K are studied,and it is pointed out that All theorems of the system L are theorems of the system K.Some important theorems about quantifiers are obtained.Moreover,the following results also are proved that all instances of substitution in the system K of tautologies of the system L are logically valid for any R0 chain,the soundness theorem and strong soundness theorem hold in the system K,i.e.,all theorems ofthe system K also logically valid for any R0 chain.

其次，研究了系统K*的基本性质，指出了系统L*的定理都是系统K*的定理，给出了系统K*与量词有关的一些重要定理，证明了系统L*的重言式在系统K*中的代换实例都是系统K*中关于任何R0链的逻辑有效公式；系统K*的可靠性定理成立，即系统K*中的定理关于任何R0链也是逻辑有效的；系统K*的强可靠性定理也成立，即系统K*在任何理论T下的定理关于任何R0链也是逻辑有效的。

This paper mainly introduces several different methods to prove the mid-value theorem, at the same time the mid-value theorem is applied in the mathematical theory, such as the application and mathematical modeling.

本文主要推荐几种不同的方法证明微分中值定理，同时对微分中值定理加以应用，如在数学理论中和数学建模中的应用。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。