查询词典 prove

In the SIRS epidemical models with impulsive vaccinations, we prove the existence and global stability of the disease-free periodic solution.

对脉冲预防接种的SIRS流行病模型，证明了无病周期解的存在性和全局渐近稳定性。

The authors stress that they cannot prove whether antibodies against MOG and MBP have demyelinating capacity or whether they represent an epiphenomenon of myelin destruction.

作者强调，他们不能证明抗MOG和抗MBP抗体是否具有使髓鞘脱失的能力，或它们是否表示髓鞘受到破坏的现象，作者表示，抗MOG和抗MBP抗体的分析对于临床上出现分离症状的患者而言，是迅速、低廉，和精确的早期临床预测法，可以预测多重硬化症的发展，而这项研究结果对于咨询和推测发生第一次髓鞘脱失之患者是否患有多重硬化症，是相当重要的。

Will the election of Mr Obama prove to be another epochal event?

奥巴马当选将证明是另一件具有划时代意义的事件吗？

Because programs in haskell are pure functions, simple equational reasoning can be used to execute programs, to transform programs, to prove properties of programs, and even to derive programs directly from specifications of their behavior.

因为Haskell程序是纯函数，简单的等式证明能用于执行程序，转换程序，说明程序的属性，甚至直接从程序行为的规格说明中得到程序。

In Chapter 4, we introduce the definition of implicit complementarity problems and struct an equivalent projection differential equation system. And then we prove the equilibrium point of system is exact the solution of the implicit complementarity problem.

本文的第4章介绍了有关隐式互补问题的相关知识，并且利用投影算子建立了与之等价的微分方程系统，这个微分方程系统的平衡点就是隐互补问题的解。

In this paper,first we give the definition of solution of inverse problem of Fuzzy equivalent matrix as transitive closure,then we prove existence of the solution and give the specific method of finding the solution.

给出了Fuzzy 等价矩阵作为传递闭包逆问题的解的定义，证明了其解的存在性，并给出了求解的具体方

The results prove that fractured-vuggy equivalent principle agrees with the production of fractured-vuggy carbonate reservoir.

应用数值模拟方法对塔里木盆地的缝洞型碳酸盐岩油藏进行了实例分析，结果证明缝洞等效原理适合缝洞型油藏的开发研究。

In this paper we prove Dirac conjecture for some special graphs in Which the numbers of ve-rtices are not more than 11, or have K or more vertices of degrees at least v-K-3 with v ≥9+K(K=1,2,3,), hence a proposition equivalent is given for it.

本文对顶点数不超过11或当v≥9+K(K=1，2，3)且G中至少含有K个次不小于v-K-3的顶点的特殊图证明了Dirac猜想，从而给出一个与Dirac猜想成立等价的命题。

In the third chapter,we will discuss the properties of Haar measure,and then wewill prove the Ergodic theorem;at last,we follow Dale,Baaj and Skandalis to give twoexistence theorems of Haar measure,which we proved in different language.

在第三章我们讨论了Haar测度的性质，证明了〓双代数中的平均遍历定理，并且用算子的观点叙述证明了Dale和Baaj、Skandalis分别给出的两个Haar测度存在定理。

Furthermore, based on the ergodic theory of Markov process we analyze the stationary distribution of network residual series, and prove the efficient conditions under which the unique asymptotic stationary distribution exists.

同时，根据马氏过程的遍历理论，对网络输出残差的平稳条件进行了研究，证明了网络输出平稳残差的充分条件，给出了残差序列存在唯一的渐近平稳分布的条件。

Liapunov—Schmidt method is one of the most important method in the bifurcation theory.

Liapunov—Schmidt方法是分叉理论的最重要方法之一。

Be courteous -- even when people are most discourteous to you .

要有礼貌──即使当別人对你最不礼貌的时候。