查询词典 logical element

The logical function was expressed in terms of cubic notation andthe logical operation was carried out cubically through intersection,compatibility and sharp product.

采用立方符号表述逻辑函数，把逻辑运算表示为立方的相交、相容及锐积运算，提出用判断最小项来完成对给定程序的判断和校正，进而实现了计算机辅助逻辑综合，得到了最优的逻辑设计结果，并将此应用于计算机辅助气动系统设计中取得了良好的效果

According to the logical rule of hypothetical proposition and disjunctive proposition , whose logical validity is decided by hypothetical plus disjunctive inference using " reducto and absurdum", polylemma is the using form of the 12 inference models.

根据假言、选言命题的逻辑规定，可构造出 1 2种推理模式。采用归谬赋值法，对其有效性进行判定，"N难推理"便是这种推理的语用形式

In order to implement a read command in the application specific protocol, a write command in the first protocol with an embedded read command is first sent to a logical address, followed by a second read command to the same logical address.

为了实施所述应用特定协议中的读取命令，首先将具有内嵌的读取命令的第一协议中的写入命令发送到逻辑地址，接着将第二读取命令发送到相同逻辑地址。

By this, I hope I shall be able to provide a more wezhaustive understanging of explanation, and, to construce the concept of explantion not as a logical one by distinguishing explanation from logical inference;(2) not as a psychological one by separating explanation from individual's psychological orientation;(3) not as an Ontic one by emphasizing the relevance of the questioner's and explainer's knowledge-states to explanation;(4) not as a relative one by holding that it is possible to get a non-pragamatic standard to differentiate batter explanations from worse ones.

通过对最新近的实用说明论的得失的详细分析，来探讨有关说明和说明论的一些基本问题，力求在这些探讨的基础上得到对说明的更全面的理解，使得说明概念（1）不是一个逻辑概念，避免将说明与逻辑推导相等同；（2）不是一个心理学概念，将说明与提问者和回答者的心理倾向相分离；（3）不是一个实体概念，强调说明与人们知识状态的密切关系以及（4）不是一个完全相对化了的概念，坚持可以在好的说明和差的说明之间找到某种标准。

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.

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

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，是一个非常形象的名字。