查询词典 proving

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.

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

It's an ideal proving ground for the new car.

这里是个理想的新车试验场。

Vishnu entered a dark fourth dimensional dream that did not support his field or continued life.

毗瑟挐进入了一个第四密度的黑暗梦想，那里并不支持他的能量场或继续生命。

Leaders and decision-making persons use it to collect the data, including the information of unit work, handing in fee, oweing fee, prepaying fee,changing and afterpaying and account transfering of joining-insurance employee, and account paying of all kinds of insurances from hospitalization insurance institutions.The collected data is picked up, organized, switched and showed to user.

该子系统主要面向各级领导、决策分析人员；从各个医疗保险经办机构和定点医疗机构采集数据，包括在各个医疗保险经办机构处理的单位办公信息，单位缴费、欠费、预缴费信息，参保职工变更信息，参保职工增减变动信息，参保职工补缴信息，参保职工帐户划拨信息：包括各定点医疗机构处理的各险种帐户支出信息，各险种的统筹金支付信息等；将采集的数据提取，组织和转换，然后展示给用户。