查询词典 completeness

Blue-Forgotten" has in fact been much praised by Rodolf Arnheim, that is the use of diverse though unified form to highlight "mature shape and type. In the final analysis probing the real creative force and expressive nature of art, is not to focus solely on the completeness of the form of the work or the way a planned series is controlled.

Blue─忘了〉等作品，反是阿恩海姆（Rodolf Arnheim 所肯定的：以多样又统一来标志出「成熟」的造形格式──毕竟，深究艺术真正的创造力与表现性，并非仅是作品形式上的高完成度或控制的计划性系列可以等约。

However, NIBCO does not assume any liability whatsoever for the accuracy or completeness of such information.

但是，美国尼伯科对本资料的任何内容的准确性承担任何责任。

In the doctoral dissertation,which focuses in lattice-ordered preferencestructure theory and lattice-ordered decision-making theory,lattice-orderedpreference relation displaces complete preference relation in order to makecharacterization of preference structure general,and in order to propose a newthinking of weakening completeness axiom,and also in order to put forward atheoretical base for setting up the rational behavior axioms and utility theorywith lattice-ordered preference structure.

本文有关格序偏好关系理论的研究将Von Neumann-Morgenstern理性行为公理中偏好关系的全序描述推广为格序描述，使得对偏好结构的描述更为一般化，并且为弱化公理体系中完全性或连通性假使提供一条新思路，为建立基于格序理论的理性行为公理及其相关的效用理论提供理论依据。

Although axiomatic systems and proof method for temporal logic have found so far relatively few applications in the query language modeling of temporal database and that was proved by Gabbay, et al in 1994, the model of time axes still must be built axiomatically, which owns soundness and completeness and depicts the time axes in fine grain.

尽管在1994年，Gabbay等人论证了时态逻辑的公理化系统和证明论方法是不适合于时态数据库查询语言建模的，但是仍需要通过对时间轴的公理化建模，利用公理化系统的可靠和完全等性质对时间轴作"细精度"的语义刻画。

In the paper we generalize the while-rule in Hoare calculus to an infinite one and then present a sufficient condition much weaker than the expressiveness for Cook'2 relative completeness theorem with respect to our new axiomatic system.

程序推理使用的抽象机器与物理机器的差距降低了推理的精确度，为了缩小这个差距，本文提出了一个带位级别抽象的新抽象机，在这个机器里，二进制整数以纯语法的方式被表示成位矢量而不是非负整数。

Secondly, by using multimodal propositional logic, we axiomatize AKRL and prove soundness, completeness, and finite model property of AKRL.

在AKRL完备性的证明中，指出了AKRL在表示情境的对象性方面的困难，从而论证了用表达能力更强的逻辑系统来分析研究类比知识表示系统的必要性。

As Jack, Babette, and Murray drive home, Jack feels a sense of completeness rooted in the quantity of their purchases.

当杰克，芭贝特，和Murray回家，杰克感到一种完整性植根于他们的购买量。

In the fourth chapter,first of all,a metric space is derived by the Loeb measure space which is a standard measure space,follow that the Completeness,separability and the Baire theorem are expressed.

第四章中，首先由Loeb测度这个标准测度空间导出度量空间，接着讨论了该度量空间的完备性和可分性以及其Baire定理(来源：A8525B52C论文网www.abclunwen.com)。

The Bergman metric? We first prove the Bergman completeness for several class of non-smooth pseudoconvex domains.

我们首先证明了几类非光滑边界拟凸域的Bergman完备性；接着，我们研究超凸域上的Bergman度量。

As to the Boolean Function in binary field, We studied its Non-linearity, Linearity Structure, Output Bit Independence Criterion, Balance, Completeness, Strict Avalanche Criterion, Propagation Criterion, Correlation Immunity, Linear Approximation Table and XOR Distribution Table .

对于二元域上的布尔函数主要讨论了其非线性性、线性结构、比特独立准则、平衡性、完整性、雪崩准则、传播准则、相关免疫性、线性分布表及异或分布表等特性。

Chimborazo and Cotopaxi, took me by the hand.

越过琴博腊索山和科托帕克西山。

This car is in a good condition.

这辆车的状况很好。