查询词典 logical

Logical process unit of ATP system is fail safe: In case of failure, Logical unit of ATP process must put all outputs in safe state

ATP 系统逻辑处理单元是故障安全的： ATP 系统逻辑处理单元失效后，所有输出必须保持在安全状态。

This theory emerged from those philosophical and logical inquires Russell made in his early stage, when Russell use logical analysis to solve the semantics problem his meaning theory suffered. The foundation of the theory of descriptions is a theory of meaning, as this thesis presents, and its central notion includes two syntax rules. Based on the first order predicates calculus, this theory seems successfully solve some notable semantics problems and then assures Russell's denotation theory.

本文认为，摹状词理论有深刻的哲学渊源，它脱胎于罗素早期的哲学和逻辑研究，直接缘起于罗素想要利用逻辑的分析方法去解决意义指谓论所面临的语义学难题；摹状词理论的基础是它的意义理论，核心是两个句法规则，它基于带等词的一阶谓词演算成功地解决了一些著名的语义学难题，维护了直观的指谓论，从而产生了巨大而深刻的哲学影响。

According to the problems that are encountered in designing the mathematical knowledge representation language in NKI (national knowledge infrastructure) and after the discussion of ontological assumptions for mathematical objects, two kinds of formalisms for the representation of mathematical knowledge are provided. One is a description logic in which the range of an attribute can be a formula in some logical language; and another is a first order logic in which an ontology represented by the description logic is a part of the logical language.

根据在设计NKI(national knowledge infrastructure)的数学知识表示语言中遇到的问题，并在讨论了数学对象的本体论假设的基础上提出了两种数学知识的表示方法：一种是以一个逻辑语言上的公式为属性值域的描述逻辑；另一种是以描述逻辑描述的本体为逻辑语言的一部分的一阶逻辑。

The concept of G unit interval and the definition of separable degree between elements on G unit interval are given, and some properties are discussed. Based on this concept, it determined a metric p, and ([0, 1], p) becomes a metric space (It is called G unit logical metric space). In this paper, the properties and structure of G unit logical metric space are discussed in detail, and get some good results.

给出了G单位区间[0， 1]的定义并在其上引入了元素间的可分度的概念，讨论了其基本性质，并在此定义的基础上确定了一个度量P，从而([0， 1]， p)成为一个度量空间（文中称"G单位逻辑度量空间"），并对G单位逻辑度量空间的性质及其结构进行了详尽的讨论，并得到一些好的结果。

The inductive logical theory was one of his philosophy and logical thoughts, which is very important.

归纳理论既是他哲学思想的核心内容之一，又是他逻辑思想的重要方面。

A logical product structure model was constructed which can describe the infinite product variants,and support to solve product configuration under the mixed environment of Assemble-to-Order and Make-to-Order. In order to be identified and managed ,Logical product structure model was described with the knowledge representation method based on production rule.Finally the feasibility of the method was confirmed by simulation of a simplification automobile product family.

构建了一种逻辑产品结构模型，它能够描述无限种可能的产品变体，支持解决按订单制造与按订单装配相混合环境下的产品配置问题；并用基于产生式规则的知识表示方法描述了逻辑产品结构模型，以便于计算机识别及处理，最后通过一个简化汽车产品族的案例仿真来验证本方法的可行性。

The logical topology design problem is formulated as an integer linear programming, whose optimization objective is to maximize the carried load of the logical topology.

光突发交换网络逻辑拓扑设计问题用一个线性规划模型描述，优化的目标是给定物理拓扑和源宿结点对间的业务量强度，使逻辑拓扑能够承载的业务量最大。

This course mainly consists of 4 parts:1.Logical algebra and logical simplification, Karnaugh Map and Q-M approach.

本课程由4部分组成，分别是：逻辑代数与逻辑函数化简、组合逻辑分析与设计、同步时序逻辑分析与设计、可编程逻辑设计。

A theorem has been put forward and proved, which reveals the general and practical significance of converting high variable logical function into low variable logical function and of using small Karnaugh map for simplification.

通过本文，进一步丰富和完善了数字系统的设计工具——布尔代数的理论和实践

In the process of law making, logical deduction cannot provide a perfect legal system; in the process of justice, the logical deduction cannot provide a definite result of the appliance of regulation.

霍姆斯审视法律与道德的关系的视角比较独特，而且还有着强大的实用主义哲学基础作后盾，在我们讨论法律与道德的关系问题时是无法绕过的。

I'm not an actor. I'm a professor of paleontology.

我不是演员，我是古生物学教授

Spider Network Web site that is a very image of the name.

网络蜘蛛即Web Spider，是一个非常形象的名字。