查询词典 replacement theorem

For example,basic tools from calculus such as Fermat theorem,Rolle theorem and the intermediate value theorem may not necessarily hold and it is difficult to find a universal program for simulation in a model with various timescales,which attract attention of great deal researchers.In this PhD thesis,we first consider classification schemes for positive solutions of the first and second order dynamic systems.

在探讨测度链上的动力方程的动力学行为时人们所熟悉的基本工具诸如Fermat定理，Rolle定理以及介值定理等不再成立，同时很难找到适应不同测度链的模拟程序，这些在给测度链理论研究带来诸多困难的同时，也更引起了广大学者的兴趣。

Moreover, the semiopen mapping theorem, the semiclosed graph theorem and the semibounded inverse theorem are established under some conditions of weaker t-norms.

对MengerPN空间上的线性算子引入β-半有界，β-半开及β-半闭等概念，讨论了它们间的关系，并在较弱的t-模条件下建立了半开射定理，半闭图定理和半有界逆定理。

At the beginning of this paper, we briefly introduced the fundamental knowledge of the Newton iterative methods , and the local convergence theorem which extended the classical Newton method, because of the local convergence, the theorem had its certain restrict. Large-scale convergence theorem was proved under the condition that matrix M is irreducible diagonally dominant by Newton's method with line search.At the last part of this paper, we present the method for solving linear complementarity problems arising from journal bearings.

本文首先介绍了Newton型迭代法的基础知识，然后着重介绍了B-可微方程的Newton法，给出B-可微法的局部收敛结论，推广了古典的Newton法，但由于收敛的局部性，该算法仍有一定的不足之处；文章在证明大范围收敛定理时，假设M是不可约对角优势矩阵，采用一维Newton寻查的方法，保证算法的收敛性。

The theorem of mean has the Lagrange theorem of mean and the Cauchy theorem of mean, they are prove the inequality the powerful tool.

中值定理有Lagrange中值定理和Cauchy中值定理，它们都是证明不等式的有力工具。

Theorem of mean significance: The application derivative research function's nature wants directly or indirectly with the aid of Yu Zhongzhi,Specially Lagrange theorem of mean,Here is mainly from the equality proof, the inequality proof, existence asks some limits, the determination equation root and so on five aspects to carry on the discussion,so, The theorem of mean is transforms as the function in the sector research important tool, Must bring to the enough attention in the middle of ours study and the teaching.

中值定理意义：应用导数研究函数的性质都要直接或间接地借助于中值，特别是拉格朗日中值定理，这里主要是从等式的证明、不等式的证明、求一些极限、判定方程根的存在性等五个方面来进行讨论，因此，中值定理是转化为函数在区间上的研究的重要工具。在我们的学习与教学当中要引起足够的注意。

On the basis of these theories,Rolle mean value theorem,Lagrange mean value theorem and Cauchy mean value theorem are proved by constructing nested interval.

在此基础上通过构造区间套依次证明了罗尔中值定理、拉格朗日中值定理和柯西中值定理

An equivalent theorem for the Loéve theorem is obtained and the limit theorem for estimation of sum of associated random sequences is also studied.

特别是，获得了Loéve定理的一个等价形式，并讨论了相依随机变量列部分和上升的阶。

As applications,a Ky Fan matching theorem for transfer open covers,a Fan- Browder coincidence theorem and maximal element theorem are established.

作为应用，获得了非紧超凸度量空间中的转移开覆盖的Ky Fan匹配定理，Fan-Browder重合定理和极大元定理。

Meanwhile, deepen the research of socialism distribution theorem, clear out the kinds of mistiness view, comprehend the relation between labor value theorem and distribution theorem, between distribute with capital and eliminate the exploitation, between justice and efficiency.

与此同时，要深化对社会主义分配理论的研究，澄清各种模糊认识，正确理解劳动价值论与分配理论的关系，按资分配与消灭剥削的关系，公平与效率的关系。

This paper firstly reviews the history of Automated Theorem Proving and Mizar,then gives a description of methods of mechanical theorem proving and verification to mathematical proposition under Mizar system.Based on that basis,the paper has done some Mizar researches on mixed operation of quaternion,differentiati- on of special composite function and the application of Rolle\'s theorem.

本文首先介绍了定理机器证明和Mizar语言系统的发展历史，其次简单描述了Mizar系统下定理机器证明和校验数学命题的方法，在此基础上对四元数的混合运算，特殊复合函数的微分以及洛尔定理的应用等方面进行了Mizar实现。

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月底。