逻辑

Combinational Logic design which based on the theory of Linear block code is the circuit map of Linear block code using AND-gate, OR-gate, Flip-flop and so on. VHDL design is the hardware description of the circuit map to make linear block code into realization.

组合逻辑电路设计，是根据线性分组编码理论，利用与非门、触发器等逻辑器件搭建起来的电路原理图；VHDL设计，是将线性分组编码理论通过用VHDL描述，实现其编码功能。

Combinational Logic design which based on the theory of Linear block code is the circuit mapof Linear block code using AND-gate, OR-gate, Flip-flop and so on. VHDL design is the hardware description of the circuit map to make linear block code into realization.

组合逻辑电路设计，是根据线性分组编码理论，利用与非门、触发器等逻辑器件搭建起来的电路原理图；VHDL设计，是将线性分组编码理论通过用VHDL描述，实现其编码功能。

Quantifier is one of key conceptions in logic, especially in modern logic. It always plays an important role in logical analysis and linguistical analysis.

量词是逻辑学尤其是现代逻辑中的一个核心概念，在逻辑分析和语言分析中有着特别的重要性。

Nevertheless,due to the respect of the traditions of the West for the lin guistic norms and logical determinativeness,the word"being"has been raised to the height of the th ing -in -itself of the world and real substance and thereupon,it has got the dual meanings of"be"as a link verb and"exist"as a transitive verb,thus embodying the unity of the logos spirit and the nous spirit in the w.

西方哲学自古希腊以来的一个核心概念Being的原始含义固然是一个逻辑系词"是"，但由西方传统对语言规范及其逻辑确定性的尊重使这个词上升到了世界本体和真正实体的崇高地位，从而使它带上了系词"是"和动词"存在"的双重含义，体现了西方文化中逻各斯精神和努斯精神的统一，这是中国古代以农业为本的文化传统所难以理解的文化现象和语言现象。

British mathematician and logician who developed a calculus of symbolic logic.

布尔，乔治1815－1864英国数学家和逻辑学家，建立了一种符号逻辑的演算法

Therefore, some these fields are thoroughly investigated in this dissertation, which are respectively mentioned as the following: 1. The Formal Description Language ISITL for Intrusion Signatures ISITL is a high-abstractive formal description language for representing intrusion signatures based on the interval temporal logic and first-order predicate calculus.

本论文对此展开了全面深入的研究，其内容主要包括： 1、基于时段时态逻辑和一阶谓词逻辑的入侵特征形式化描述语言ISITL ISITL克服了以往检测语言以"情景描述"为主的缺陷，转而采用形式化的方法来刻画入侵模式的入侵特征。

In the meantime, we also can change the status of the logic situations and describe the allying process and cooperative process. In addition, we represent the virtual enterprise ontology in the formal logic situation calculus and can define the core elements more accurately. It maintains the consistency and integrality of the ontology. Accordingly, the process model based on the ontology will have strong reusability, accessibility and consistency.

相应地，我们可通过逻辑情景演算这种形式化逻辑框架来表示虚拟企业本体论，以支持虚拟企业本体论中核心术语的更精确定义，维持其一致性和完整性；进而，构建于该本体论之上的虚拟企业过程模型就具有很强的重用性和可访问性，并能够保持建模过程的一致性。

At present most of the lift elevator control system logic control system using PLC logic control Circuit.

由于目前大部分电梯控制系统电梯运行逻辑控制系统采用的是PLC逻辑控制线路。

LOGIC DIAGRAM, A diagram that uses logic gates to represent the function of a control circuit.

逻辑电路示意图，一个用逻辑门来示意控制线路功能的图。

This paper firstly introduced the systemtic composition of logic analysis card, which is designed independently, and attached the logic frame diagram of each module.

介绍了自行设计逻辑分析卡的系统构成，给出各个功能模块的逻辑框图。

Do you know, i need you to come back

你知道吗，我需要你回来

Yang yinshu、Wang xiangsheng、Li decang,The first discovery of haemaphysalis conicinna.

1〕 杨银书，王祥生，李德昌。安徽省首次发现嗜群血蜱。