查询词典 prove

In section one, we introduce some background of the topic, in section two we review some basic and recent results about the structure and hierarchies of the computably enumerable degrees which are closely related to our topic- the algebraic structure of the plus cupping Turing degrees, in section three, we outline the basic principles of the priority tree argument, one of the main frameworks and tools of theorem proving in computability theory, and in section four, we prove a new result concerning the algebraic structure of the plus cupping Turing degrees that there exist two computably enumerable degrees a, b such that a, b ? PC, and the join a V b of a and b is high.

度结合为0′。本篇论文分为4个部分：第一部分介绍了这个领域的一些背景知识；第二部分主要回顾了前人在研究可计算枚举度的结构和层谱时所取得的一些基本和最新结果，这些结果与我们的主题—加杯图灵度的代数结构密切相关；在第三部分中，我们概要的描述了优先树方法的基本原理，此方法是可计算性理论中定理证明的一个重要框架和工具；第四部分证明了一个加杯图灵度代数结构的新结果：存在两个可计算枚举度a，b，满足a，b∈PC，而且a和b的并a∨b是一个高度。

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测度存在定理。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。