逻辑上的

Finally, the equivalence properties between Boolean matrix representation and algebra representation of attribute reduction are proved.

建立了布尔矩阵与逻辑方程组的解和决策表中的属性集之间的关系；然后在此基础上给出了决策表中的粗糙集理论的布尔矩阵表示；最后证明了属性约简在布尔矩阵和代数两种不同表示下是等价的。

First of all,we elaborate a formal variant of Description Logics,namely, ALCQO,which is capable of extending the conceptual modeling ability of classical DLs with process modeling and numerical constraint representation ability, while still retains decidability for major reasoning problems.

与传统的描述逻辑不同，ALCQO既保留了一定的概念建模能力，还显著的增强了在数字属性和时序关系上的表达能力，因此对Web服务的功能属性以及非功能属性都具有足够的表达能力。

This result indicates that the problem is harder than and equivalent to the derivability problem in classic logic and in Horn formula respectively, and that there are no polynomial time algorithms in both cases.

为此 ，张东摩和李未 [2 ]推广了文献 [1 ]中的结果，采用全序划分来刻画认知主体对假说中的公式在相信程度上的差异，给出了新的、基于全序划分模型的开放逻辑，其中所定义的重构具有唯一性。

Based on ordered gray-scale erosion,an optical one-rail one-channel cellular arrayhas been suggested.

在灰度腐蚀形态学象代数的基础上，提出了一种光学单轨单通道的细胞逻辑阵列的实现方案。

Although the theory of right interpretation is deconstructed...

虽然正确解释的立论已经被哲学的实质主义所解构，但是从逻辑上说，一般性的法律可以作为解释是否正确的标准。

The scanning principle of CT or MRI and the fundamental principle of RPT are logically accordant. Data format conversion and modeling are a key of integrating this two advanced technologies.

CT或MI扫描原理与快速原型技术的基本原理从逻辑上是一致的，数据格式转换和建模是这两种先进技术结合的关键问题。

By this definition,it logically divides morality into various levels and puts for ward the following five societal standards of ideal morality and character:selfdiscipline,self-support,selflessness,benevolence plus justice and bravery.

然后按照这个定义，将品德概念进行多层次的逻辑划分，提出了建立在社会本位基础上的五项理想道德人格标准（自律、自强、无私、仁爱、义勇）并展示了这五项美德标准的20项具体特征。

For example, in 1952 an outbreak of measles among the Native American inhabitants of Ungava Bay, Quebec, affected 99 percent of the population and killed 7 percent, even though some had the benefit of modern medicine.

后面的句子无需细看，只要知道作者举了关于&1952年，麻疹&的例子就可以了。我们之所以可以如此处理，就是因为我们知道&For example&所在的句子从逻辑上说是为前一句话服务的。

The Mimamsa accepted the logical and philosophical teachings of the other schools, but felt that these paid insufficient attention to right action.

弥曼差承认其他学派的逻辑和哲学上的教导，但感觉到这些并不能对正确的行为给予足够的注意力。

In an age known for the construction of metaphysical systems—such as those of Descartes, Malebranche, and Spinoza—Leibniz's metaphysics is perhaps the most tightly logically constructed system.

在一个到处都是形而上学理论的年代--笛卡尔，马勒伯朗士，斯宾诺莎--莱布尼茨的形而上学可能是逻辑上最紧凑的体系。

The split between the two groups can hardly be papered over.

这两个团体间的分歧难以掩饰。

This approach not only encourages a greater number of responses, but minimizes the likelihood of stale groupthink.

这种做法不仅鼓励了更多的反应，而且减少跟风的可能性。