完全性

Packing problem is a typical combinatorial optimization problem, and has NPC difficulty in solving complexity.

布局问题是一种经典的组合优化问题，在求解复杂性上具有NP完全性。

Completeness Theorem showsthat syntactic and semantic consequences coincide in the case of the predicatelogic.

完全性定理表明一阶谓词逻辑的语法后承和语义后承是重合的，它标志着一阶逻辑的成熟。

Algebraic semantics ; Barcan formula ; Kripke's relational semantics ; nested domains ; Kripke's special semantic ; completeness theorem

代数语义； Barcan－公式； Kripke的关系语义；嵌套论域；狭义Kripke语义；完全性定理

According to given formal semantic, it has been proven the reliability and completeness of this system.

根据给出的形式语义，可以证明该系统的可靠性和完全性。

The soundness and completeness of this method are also proved.

最后还证明了该方法的可靠性和完全性。

As the complicatedness of the human beings and the fuzzy and incomplete information determine the complicated nature of the talent evaluation and selection,the decision-making of such complicated systems is due to various factors and different-layers of decision-makin...

由于人的复杂性、信息的模糊性、信息的不完全性决定了人才的评价和选择具有复杂性，这种复杂系统的决策问题属于多因素、多层次决策问题，本文给出了基于模糊层次分析法的高技术企业人才综合评价模型，为高技术企业的人才综合评判提供了一种科学的决策方法。

On the basis of analysis of the integration platform, some researches of applying key technologies for the realization of the integration platform are carried out: an integration solution for multi-source databases, which combines direct access mainly and data transformation secondarily; the function integration of the integration platform tentatively in the form of real-time interaction inte***ce; the operation integration schema to satisfy the consecutiveness and integrality requirements of operation flow.

2在集成平台剖析的基本上，研讨了实现集成平台的若干关键技术：提出了将直接拜访和数据转换相结合的异构数据源的集成计划；设计实时交互的接口，初步实现了集成平台的功能集成；提出知足业务流程联贯性和完全性的集成平台业务流程集成计划。

A formal semantics is given. We prove 79's soundness, consistency, completeness, and decidability with respect to the semantics.

本文和给出严格形式语义的基础上，证明了该系统具有可靠性、协调性、完全性和可判定性。

OWL DL '' supports those users who want the maximum expressiveness while retaining computational completeness (all conclusions are guaranteed to be computable) and decidability (all computations will finish in finite time).

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

OWL DL supports those users who want the maximum expressiveness without losing computational completeness (all entailments are guaranteed to be computed) and decidability (all computations will finish in finite time) of reasoning systems.

OWL DL 支持那些需要最强表达能力的推理系统的用户，且这个推理系统能够保证计算的完全性（computational completeness，即所有的结论都能够保证被计算出来）和可判定性（decidability，即所有的计算都在有限的时间内完成）。

Cynanchum Lingtai apricot production in the average weight 65 grams, the brightly-colored fruit, juicy rich, sweet-sour taste, sweet from the nucleolus, when the late Qing Dynasty famous Shaanxi, Gansu provinces, the Qing imperial court Tongzhi tribute for years.

灵台生产的牛心杏平均单果重65克，果实色泽鲜艳，汁多味浓，甜酸适口，离核仁甜，清末时就驰名陕、甘两省，清同治年间曾为朝廷贡品。

Chenopodium album,Solanum nigrum, and Amaranthus retroflexus were very susceptible to the herbicides. Polygonum persicaria and Abutilon theophrasti were relatively less susceptible to the herbicides, and Lycopersicon esculentum was not susceptible to it. The relationship between reduction rates of weed biomass and PPM values of weed leaves 2,4, and 6 days after treatment was established.

供试的6种杂草对该混剂的敏感性存在显著差异：红心藜Chenopodium album、龙葵Solanum nigrum和反枝苋Amaranthus retroflexus对该混剂最敏感，ED90值分别为47.65、71.67和29.17g/hm2；春蓼Polygonum persicaria和苘麻Abutilon theophrasti敏感，ED90值分别为96.91、114.20g/hm2；而番茄不敏感。