查询词典 weak completeness

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 .

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

This thesis is about the establishment of semantic Web based on the binary relation ,advances the formal definition of the semanteme in the semantic Web,based on it,advances the way semanteme is described and derived and discusses the semantic completeness.

基于二元关系讨论了语义Web的建立过程，具体给出语义Web中相关语义的形式化定义，并基于此给出了语义描述和挖掘方法，进行了集合相关语义的完备性的证明。

Core, self psychology is psychoanalytic, but there are crucial differences in how the patient-therapist relationship is viewed.

自体心理学的核心是精神分析，但在如何看待患者-治疗师关系方面，自体心理学和精神分析有着根本性的不同。

High-performance cars brake drum production costs increase less than 10%.

高性能汽车刹车鼓的生产成本增加小于10％。