查询词典 implicit function theorem

Thirdly,the paper combines mathematical knowledge with the Rolle\'s theorem implemented in Mizar system already, implements the exert and promotion of Rolle\'s theorem and Cauchy mean value theorem in Mizar system.

将Mizar系统中已实现的洛尔定理与相关数学知识相结合，在Mizar系统中实现了洛尔定理和柯西中值定理的一些应用和推广。

According to theorem of motion of centre of mass and theorem of moment of momentum about centre of mass , we derive the theorem of moment of momentum about instantaneous center of rotation.

从质心运动定理和相对质心的动量矩定理出发，导出了相对瞬心的动量矩定理。

In this outlook of this dissertation, the primary idea is to extend the Helmholtz"s theorem to get the complete projection theorem of electromagnetic fields in vector wave space—the extend of the Helmholtz"s theorem which can be used to study the eigenvalue problem of the vector partial differential operator.

在论文的展望中，将亥姆霍兹定理进行推广，得到了电磁场在矢量波空间的完全射影定理即推广的亥姆霍兹定理，由此可以研究基于矢量偏微分算子的电磁场的本征问题。

As we all know,there is one Simson line at any point on the circumference of triangles,but in this paper, LHP theorem shows that the above conclusion is not correct for any quadrilateral pyramid in three-dimensional space and also during proving LHP theorem,fixed value theorem is proved,at the same time,one guess about the point H and point P on circumscribed sphere of tetrahedron has been concluded.

众所周知，三角形的外接圆周上任一点存在一条 simson 线，而 LHP 定理则指出对于正四面体该结论是不能推广到三维空间上的，并且在论证 LHP 定理的过程中得出了定值定理，同时作为一般四面体的外接球球面上的 H 点、P 点的分布，给出了一个猜想。

This theorem calls " of " China residue theorem, also call " grandchildren theorem " or " big develop begs one art ".

这个定理就称为"中国剩余定理"，也叫"孙子定理"或"大衍求一术"。

The 3D wavelet sampling theorem has been obtained from 1D wavelet sampling theorem using scalar product method and then it is used to improve ART in direct volume reconstruction. In the other hand, the 1D wavelet sampling theorem is applied for the analytic direct reconstruction algorithm too.

7将一维小波取样定理推广到高维情形，并以此给出了一种改进的直接体积重建的ART方法，并进行了计算机模拟；将一维小波取样定理应用到了解析类的直接体积重建算法之中。

This paper has further extended these conclusions on the foundations of them and obtained some new results with the method of Hulwize Theorem, Schauder Fixpoint Theorem and Tapered Fixpoint Theorem.

本文主要是在这些结果的基础上将已有的结论作了进一步的推广，利用了霍维茨定理、Schaudr不动点定理、锥上不动点定理等得到一些新的理论。

In fifth chapter,as applications of the existence theorem of〓-optimalcoupling operator for the jump processes,the estimate of the varied expontialconvergence rate for the jump processes and the existence of an order-preservingMarkov coupling for the jump processes are investigated,where,the obtained theexistence theorem of an order-preserving Markov coupling is a general theorem onPolish space endowed with semiorder,it includes the results that existence theoremon countable state apace endowed with total order or finite state space endow withsemiorder have been obtained by the internal and external mathematicians in recentten years.

第五章作为跳过程〓最优耦合算子存在性定理的应用，讨论了跳过程各种指数收敛速度的估计和保序Markov耦合的存在性。其中保序Markov耦合存在定理是具有偏序关系波兰空间上的跳过程最一般的定理，它包括了近10年来国内外对具有全序关系可数状态空间或具有偏序关系有限状态空间上的跳过程关于保序Markov耦合存在定理的研究成果。

The deficiency of direct connection theorem is analyzed, and a novel algorithm based on both simple connection theorem and root search theorem is presented. Since standard information in Management Information Base is only used, the algorithm is independent of any special product families.

分析了直接连接定理的不足，给出了一种新的基於简单连接定理和根搜索定理的算法，由於只利用标准的管理信息库，所以该算法不依赖於特定产品类别。

By means of a nonlinear alternative theorem of Leray-Schauder type and Guo-Krasnoselskiis fixed point theorem in a cone, we establish the existence theorem of a positive solution to a singular coupled system of nonlinear fractional differential equations.

借助于锥上的非线性Leray-Schauder择一型定理和郭-Krasnoselskiis不动点定理，我们建立了非线性奇异耦合分数次微分方程组正解的存在性定理。

Pachomius manual labour was organized as an essential part of the monastic life; and since it is a principle of the monks as distinguished from the mendicants, that the body shall be self-supporting, external work of one sort or another has been an inevitable part of the life ever since.

根据圣pachomius体力劳动组织作为一个重要组成部分寺院生活；以来，这是一个原则的和尚，作为有别于乞丐，该机构应自支撑，对外工作的这种或那种已一个必然的一部分，生活至今。

In order to study the effects of parametrical rolling on the ship movement and tilts, in allusion to ship's navigating in regular following waves, the equation of ship rolling motion is transformed into normal Mathieu equation by proper variable replacement when strong parametrical excitation in restoring moment varied according to sine or cosine wave.

为研究参数横摇对船舶运动和倾覆的影响，通过对船在规则波上随浪航行时，恢复力矩中出现的1个以正余弦规律变化的强参数激励项进行适当的变量置换，将船舶的横摇运动方程转换成标准形式的Mathieu方程。