查询词典 fixed point theorem

Differential intermediate value theorem and the Taylor formula In this paper, leads to Fermat's theorem Rolle Mean Value Theorem, and then constructing auxiliary function of the Lagrange mean value theorem and Cauchy's Mean Value Theorem to prove that.

微分中值定理和泰勒公式本文通过费马定理引出罗尔中值定理，再构造辅助函数对拉格朗日中值定理和柯西中值定理进行证明。

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 点的分布，给出了一个猜想。

Motivated by this, we consider the global behavior of positive solutions of three-point boundary-value problems for second-order differential equations, under two different kinds of boundary-value problems, using fixed point theorem, fixed point index theorem and cone theory.

本文受到文献[7]的启发，运用不动点定理、不动点指数定理以及锥理论，分别研究了两种不同边值条件下二阶微分方程三点边值问题正解的整体性。

In addition, when the nonlinearities have the properties of mixed-monotonicity, the existence of a positive solution for difference equations is ob-tainded by using fixed point theorem in a cone or fixed point theorem of conic expansion and compression.

在最后一部分讨论了带有特征值的非线性二阶差分方程正解存在性问题，利用锥压缩与拉伸不动点定理及逼近性理论，在一定的假设条件下，得到了差分方程正解存在性。

By changing differential equations into nonlinear integral equation,we study the existence of positive solution of a class of second order differential equations problems by the fixed point theorem of cone expansion and compression,and the fixed point index theorem,then we obtain two multiple positive .

通过将常微分方程转化为非线性积分方程，利用锥拉伸和锥压缩不动点定理和不动点指数讨论了一类二阶常微分方程的正解存在性问题，在一定条件下，得到了几个多重正解定理，同时证明了与此相关的主要引理

Moreover, we also get a fixed point theorem of uniform partial extension mapping and a fixed point theorem of quasi- extension mapping.

另外，我们还得一个一致局部扩张映射不动点定理与一个准扩张映射不动点定理。

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不动点定理，我们建立了非线性奇异耦合分数次微分方程组正解的存在性定理。

By means of a nonlinear alternative theorem of Leray-Schauder type and Guo-Krasnoselskii's 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择一型定理和郭-Krasnoselskii's不动点定理，我们建立了非线性奇异耦合分数次微分方程组正解的存在性定理。

In the condition of keeping F、 K、Na content fixed, To improve slag structure and raise slag melting point and viscosity, MgO content is raised and TiO〓 is added. the main content is as follows:(1) Keeping CaO/SiO〓 fixed, MgO content rises from 10% to 16%, the free running temperature goes up 106℃, the viscosity goe down at bigger than 1425℃, but difference is little; keeping /SiO〓 fixed, MgO content rises from 10% to 16%, the free running temperature rises 87℃, the viscosity rises too; adding TiO〓 to 5%, the free running temperature goes up 98℃, the viscosity rise a little.(2) Powder crystal x ray diffraction and microscopic analysis shows: increasing MgO content, the cuspidine will decreace or even disappear, the monticellite goes up with MgO content rising, keeping /SiO〓 fixed, Akermanite content goes up, for high melting point minerals appear or go up, the free running temperature of the slag bearing F is raised; Adding TiO〓, high melting point mineral—Perovskite forms, it can making other minerals'crystalling fast, it is the reason that TiO〓 raises the free running temperature of the slag bearing F.

2对测定粘度的冷凝渣所进行的X粉晶衍射及显微分析和鉴定表明，增加MgO含量，渣中枪晶石将减少甚至消失，而钙镁橄榄石则随MgO含量增加而增加，在／SiO〓不变时，黄长石含量也有所增加，高熔点矿物的出现和增加，提高了含氟熔渣的熔化性温度；加入TiO〓熔渣中将形成高熔点矿物-钙钛矿，钙钛矿的形成还促使黄长石的结晶，这是TiO〓提高含氟熔渣熔化性温度的根本原因。

The study of lattice-valued propositional logic system based on lattice implication algebra.On the bases of previous study, by using the concepts and methods of T algebras we established the lattice-valued propositional logic system LP , whose truth values domain is a lattice implication algebra, and discussed systematically the semantical and syntactical properties of LP , proved the soundness theorem 、consistency theorem、deduction theorem and the decidability of validity of the system when the truth values lattice is finite. We also discussed the relationship between the α-theorem of some premise, say A, and the closed sets that contain A.

本文在前人研究工作的基础上，利用T代数的概念与方法，建立了真值取于格蕴涵代数的格值命题逻辑系统LP，对它的语义及语法性质进行了较系统的研究，得到了它的可靠性定理、协调性定理及演绎定理等，证明了值格有限时系统"有效性"的可判定性并讨论了某一前提A下的α定理与包含A的闭集之间的关系。

Metrorrhagia is also gynaecological problems of common diseases.

崩漏是妇科常见病也是疑难症。

WordFTP gives you the convenience and timesaving you need.

wordftp让您的方便和省时您所需要的。