查询词典 completeness

Variations of completeness of fusion were also represented. For ALIF and PLIF, this included tests of solid bridging bone within the posterior or anterior 75%, 50%, or 25% disc space.

对腰椎前路椎间融合与后路椎间融合来说，包括对起稳定连接作用的植骨骨质的测验，这些骨质在前路或后路手术中分别占椎间隙的75%， 50%或者25%。

Ariations of completeness of fusion were also represented. For ALIF and PLIF, this included tests of solid bridging bone within the posterior or anterior 75%, 50%, or 25% disc space.

对腰椎前路椎间融合与后路椎间融合来说，包括对起稳定连接作用的植骨骨质的测验，这些骨质在前路或后路手术中分别占椎间隙的75%， 50%或者25%。

There is usually a 3rd -key added in the opening of the second theme, and sometimes a new theme is composed. Then, the subordinate key is reached before the end of exposition. 5 Silence of one whole bar is frequently utilized, which not only brings profound expressive significance, but also is important to the architectonics of these sonatas. 6 The harmonization in the variation, which is the method of applying different keys to the same melody, is handled in those Andante movements. By this way, the same melody appears in variable colors of harmony, which can not only avoid dull repetition, but also keep the lyrical nature and the completeness of melody. 7 Chromatic method is applied in the periods of development, and chromatic深层线条becomes the provident feature in some periods of development. 8 Atlas motive is put to use in c minor and A major sonatas, and a lot of "sigh" tones and c sharp minor are both preferred in those three sonatas. 9 The emotional factor of "wanderer" is the roots of thoughts for the intense conflict of music.

他通常在副部的开始加入一个三度的调性，有时再加入一个新主题，最后在呈示部结束之前到达属调； 5、较多地运用整小节的休止，使其不仅具有深刻的表情意义，而且在结构乐曲中起到了不可或缺的作用； 6、舒伯特在慢板乐章中运用同一旋律异调配置的和声变奏方式来构成音乐的段落，使同一个旋律在不同的和声色彩里闪现，既避免了单调的重复，又保持了旋律的抒情性和完整性； 7、展开的段落中习惯运用半音化的发展手法，半音阶式的深层线条成为某些展开段落的显著特点； 8、c小调和A大调奏鸣曲中都运用了"阿特拉斯"动机，三首奏鸣曲中运用了大量叹息的音调，并倾向于~#c小调的运用； 9、"流浪者"的情感因素是音乐强烈冲突的深刻思想根源。

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回家，杰克感到一种完整性植根于他们的购买量。

This one mode pays close attention to network credence foundation of the businessman very much.

这一模式非常关注商人的网络信用基础。

Cell morphology of bacterial ghost of Pasteurella multocida was observed by scanning electron microscopy and inactivation ratio was estimated by CFU analysi.

扫描电镜观察多杀性巴氏杆菌细菌幽灵和菌落形成单位评价遗传灭活率。