查询词典 proving

Aside from proving the theory about a polar current, Nansen had made an important discovery about the Arctic: It was an extremely deep sea capped by an ever shifting ice pack—and almost completely devoid of landmasses.

除证明了极地洋流理论，南森还有个关于北极的重大发现：北极，就是个被不断漂浮的冰棚覆盖着的极深海洋，几乎完全没有陆地。

This article first discusses the practical significance of the control system of nonlinear population parameter and builds its mathematical model, such proving the mere existence and the stability of the answer of the systematic model.

在文中，首先论述了非线性人口分布参数控制系统的实际意义，并建立了非线性人口分布参数系统的数学模型；进而证明了系统模型的解的存在惟一性、解的稳定性。

Resolution-based many-sorted predicate calculus has been applied to many fields of computer science, such as knowledge representation, artificial intelligence and automatic theorem proving, software specification and verification, etc.

在前人工作的基础上，对自动推理领域的如下问题进行了研究与探索：基于归结原理的多种类谓词演算、模糊逻辑与近似推理、Web环境下的知识表示与自动推理等。

They are received not as proving the truth of the facts stated, but merely as presumptive evidence of possession.

这类文据法庭采纳后并不用以证明文据所载属实，而只作为管有该属地之推定性证据。

This paper describes the Atkin's elliptic curves primality proving algorithm and discusses all implementation details of this algorithm. Finally it gives the implemention of this algorithm by software and exhibits an example explicitly. This algorithm is implemented with software and this software is used to test some general large integers and acquire a good testing result.

文章给出了由Atkin提出的一种非常有效的素性测试方法即椭圆曲线素性证明算法，详细讨论了具体实施该算法的所有细节，而且通过在计算机上编程获得了其软件实现，并用该软件来测试一般的大整数的素性，取得了很好的效果。

Later, Bernstein alsogave an improved version of the AKS algorithm for proving primality in essentiallyquartic random time (called the second AKS-Bernstein algorithm), which is moregeneral than AKS-Berrizbeitia algorithm.

后来， Bernstein又提出一个比AKS-Berrizbeitia算法更一般的基本上随机四次多项式时间素性证明的AKS算法改进版本(简称AKS-Bernstein第二算法)。

So-called first-order theorem proving may be restricted to a propositional calculus with terms (constants, function names, and free variables) added, making it impossible to express mathematical induction.

所谓一阶定理证明可限于命题演算的条款（常数，函数名，并免费变量）说，无法表达数学归纳法。

Practice has been proving that a flexible, market-oriented, democratized governing model, which comes into being through resolving public business problems, improving work efficiency of government dispending on market mechanism under fair, righteous precondition, is capable of promoting long efficient economic development in EDZs and their neighboring regions, and enhancing prosperousness and civilization in the whole society.

实践证明：在公平、公正的前提下运用市场机制来解决公共事务问题，提高政府的工作效率，形成灵活化、市场化、民主化的治理模式能促进经济开发区和周边地区的长效发展，提高整个社会的发达程度和文明程度。

And proving ground test was carried out.

并进行了实车试验。

It is also a proving ground for new technology that may eventually make its way into Red Hat products.

它同时也提供了一个最终将被整合进红帽产品的技术平台。

But we don't care about Battlegrounds.

但我们并不在乎沙场中的显露。

Ah! don't mention it, the butcher's shop is a horror.

啊！不用提了。提到肉，真是糟透了。