查询词典 theorem

This article introduced Newton iteration method's related concept, Newton iteration method's correlation theorem, as well as when solves the misalignment equation root the theory basis, the astringent analysis, the starting value selection rule and so on.

本文介绍了牛顿迭代法的相关概念，牛顿迭代法的相关定理，以及在求解非线性方程根时的理论依据，收敛性分析，初始值的选取规则等。

ManTa - ManTa is an equational specification language and tools to support it: theorem prover, code generators, frontends.

ManTa是一个方程式说明语言和工具，支持它需要：理论证明，代码生成，前端。

In this paper we mainly discuss the late extending styles of basic principles such as equicontinuity principle ,uniform boundedness principle ,Banach-Steinhaus theorem and ect., and describe the new characters of these new results in Banach space.

本文主要讨论等度连续原理、一致有界原理及Banach-Steinhaus定理等基本原理的最新推广形式，刻划这些新结果在Banach空间上的新特征。

Consisting of 3 Chapters, the Paper mainly includes the following contents: Chapter 1 of Introduct on presents the significance of extending uniform boundedness principle and elso reviews one hundred years development of uniform boundedness principle iind the work done by people in this aspect; Chapter 2 mainly introduce some preparatory knowledge including definitions of dissecting operators, absorbing operators, equicontinuity and some relative examples; In Chapter 3, We discuss the new researching results of equicontinuity principle,uniform boundedness principle and Banach-Steinhaus type theorem .

本文共分三章，主要内容如下：在第一章绪论中说明了推广一致有界原理的意义；回顾了已知一致有界原理一百多年来的发展及人们在此方面所做的工作。在第二章中主要介绍了一些预备知识，其中包括：解剖算子、吸收算子、等度连续的定义并举了一些相关的例子。

From the principle of equilibrium, a theorem of necessary and sufficient condition without loss of any working parts in the transfer lines is given, which can help us to solve the problem and obtain the accurate result.

但这样组成的大系统存在生产线的畅通、生产率的协调等问题，给系统可靠性与优化设计造成了很大的困难，长期以来没有得到很好地解决。

From the principle of equilibrium, a theorem of necessary and sufficient condition without loss of any working parts in the transfer lines is given, which can help us' to solve the problem and obtain the accurate result.

但这样组成的大系统存在生产线的畅通、生产率的协调等问题，给系统可靠性与优化设计造成了很大的困难，长期以来没有得到很好的解决。

Week 8 Theorem of equipartition of energy, internal energy of ideal gas.

第8周 能量均分定理、理想气体的内能；麦克斯韦速率分布率；玻尔兹曼分布率。

Week 6 Equilibrium state, basic concept of gas kinetics, pressure equation and temperature equation of ideal gas, theorem of equipartition of energy, internal energy of ideal gas.

第6周 平衡态、气体动理论的基本概念、理想气体的压强和温度公式。能量均分定理、理想气体的内能。

Week 10 Thermodynamic system, microscopic quantity and macroscopic quantity, statistical average value, pressure equation, temperature equation, concept of degree of freedom, theorem of equipartition of energy, internal energy of ideal gas.

第10周热力学系统，微观量与宏观量，统计平均值；压强公式、温度公式；自由度的概念，能量均分定理和理想气体的内能。

Thermodynamic system, microscopic quantity and macroscopic quantity, statistical average value, pressure equation, temperature equation, concept of degree of freedom, theorem of equipartition of energy, internal energy of ideal gas.

热力学系统，微观量与宏观量，统计平均值；压强公式，温度公式；自由度的概念，能量均分定理和理想气体的内能。

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.

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