查询词典 reciprocity theorem

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.

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

When proving the differential mid-value theorem,"Higher Mathematics" does know to make the auxiliary function ф in order to apply Rolle Theorem.

在证明微分中值定理时，《高等数学》作辅助函数ф的目的是为了应用罗尔定理。

Equidistance point and difference theory in theory of function approximation are studied. Meanwhile, the relation among difference, difference quotient and derivate is revealed. By drawing Lagrange's and Cauchy's theorem of mean on difference and Taylor's formula into difference function, four theorems, such as Lagrange's theorem of mean on difference, are concluded in simple way. On the basis of these conclusions, the asymptotic property of middle point is studied, a series of new conclusions are drawn and the discussions on the asymptotic property of middle point in differential mid-value are summarized.

对函数逼近论中等距节点和差分理论进行了研究，揭示了差分、差商与导数之间的联系；将Lagrange中值定理、Cauchy中值定理、Taylor公式引入到差分函数中，简明地推导出Lagrange差分中值定理等4个定理，并在此基础上对&中间点&的渐近性进行了研究，得出了一系列&中间点&的渐近性的结果，概括了有关文献对微分中值公式的&中间点&的渐近性的讨论；给出的引理改进了函数逼近论的证明方法，精简了函数逼近论中的一些内容。

In chapter II,an extended strongly equivalent theorem forgerms with parameters is proved.The theorem is useful to constructthe factoring map between any unfoldings and universal unfolding.

在第二章中，对带有参数的核证明了一个推广的强等价性定理，这个定理在构造任意开折和普适开折因式相通的变换中有一定的应用。

Nowadays, most of research are to build a transmutative Petri Nets through adding controlling place sets, controlling arc sets and controlling policy to the basic Petri Nets, while the Controlled Petri Nets could be used to argue many controlling theory problems conveniently and to induce many logically and physically supervisory and solve the Event Feedback Controlling Problems and State Feedback Controlling Problem in DEDS supervisory theory.

目前大多数的研究表现为在变形后的受控Petri网基础上，利用各种方法求得各种逻辑型、结构型控制器，解决DEDS监控理论中的事件反馈控制问题与状态反馈控制问题。

On one hand, there are discussions with the works council and union about extension of short time working up to the end of September.

一方面，有讨论，工程理事会和联盟关于延长工作时间短至9月底。