查询词典 proving

Properties are discussed for a class of exponential sum function on recurrence relationship,integral formula,it has been proved that its curve configuration is single peak and it is a probability density,the application of this function is showed in proving equalities and a differential equation model of substance transform reaction.

对一类指数和函数的递推关系、积分公式、曲线的单峰形态等性质进行了讨论，证明了该函数为概率密度函数，并给出了该函数在等式证明、物质转化反应的微分方程模型等方面的应用。

Paramodulation is an important and a practical inference rule to deal with equality relation in mechanical theorem proving. The paramodulation rule is extended to the fuzzy predicate calculus and the resolution-and paramodulation-based approximate reasoning is discussed.

为了在模糊逻辑中集成相似性关系并考虑其近似推理，把相似性关系看成是一种模糊相等关系，提出了一种带有相似性关系的模糊逻辑，给出了带有相似性关系的模糊逻辑的语法及语义结构。

Automated geometric theorem proving, as a byproduct of the completion of geometric theorems, is further developed into automated quantitative description of geometric relations. The recovery of the geometric meaning of this quantitative description leads to a natural extension of the geometric theorem.

几何定理的机器证明作为几何定理完全化的副产品，被发展成几何定理的关系定量化，这种量化的几何还原就是几何定理的自然推广。

The contents are the following:In chapter two, the existence and multiplicity results for the following equation of p-Laplacian type are obtained.For the elliptic quasilinear hemivariational inequality involving the p-Laplacian operator,in order to use the mountain pass theorem proving the existence result, the authors usually need to use the uniform convexity of the Sobolev space to prove the energy function satisfies the PS condition. But for the p-Laplacian type equation mentioned above, this method is no use. To overcome this difficulty, the potential function is assumed to be convex, then I prove the existence result and by using the extension of the Ricceri theorem, the multiplicity result for the problem is obtained.

在第二章我们首先考虑关于以下p-Laplacian型(p-Laplacian type)方程非平凡解及多解的存在性对于带有p-Laplacian算子的椭圆拟线性半边分不等式问题，为应用非光滑的山路引理证明解的存在性，在证明方程所对应的能量泛函满足非光滑的PS条件时，需利用Sobolev空间的一致凸性，但是对于具有更一般形式的算子的p-Laplacian型方程，不具备上述性质，在文中为克服这一困难，本人对位势泛函做了一致凸的假设，从而证明了解的存在性，并应用推广的Ricceri定理，证明了方程三个解的存在性。

Like Davidson's 'externalist' theory of belief in general, they would secure that invulnerability without proving that the specific beliefs in question are indispensable to any thought or any conception of a world at all.

例如Davidson的外在论，这里也无需证明特定信念的indispensable。

The loading capacity and failure mode of the testing truss were provided in this paper, proving the loading capacity is large and the stiffness is good.

本文通过简单的竖向荷载悬挂施加外力，通过分级加载的方式找出了其极限承载能力与极限变形，结果是可信的。

Proving in the test, it is feasible to control temperature by the system designed by us.

通过试验论证，该系统对于本文所提出的控制温度方法是可行的。

Proving you're worth your fee - Too expensive for simple tasks, but not senior enough to get plum assignments, fifth years can feel neglected at times.

证明你值得你费太贵简单任务，但不够资格获得梅花转让第五年内可以感受时忽略。

The reasons announced for receiving the award:"for the developed of new number theoretic tools to help in the solution of known fundamental problems in number theory"; for "first proving the Fermat's last theorem" etc. total four reasons.

公布的颁奖理由是"开发了有助于解决数论领域知名基础性问题的新型数论工具""首先证明费马大定理"等4项。

By the time I was a student in high school I was reading the classic "Men of Mathematics" by ET Bell and I remember succeeding in proving the classic Fermat theorem about an integer multiplied by itself p times where p is a prime.

到时候我是在高中我是读经典的"数学人"由ET贝尔，我记得在证明费马约的经典本身乘以一个整数定理成功学生p次，其中p是素数。

In the days of sailing vessels the crew were afraid they would be becalmed on the ocean.

在使用帆船的时代，船员们担心他们会因为无风而无法在海洋上航行。

As long as foreign donors pay the PA's salary bill, few expect a new intifada.

只要外国继续为巴权力机构的薪水买单，希望发动新暴动的人便寥寥无几。