逻辑系统

The course contains four sections as follows: mathematical logic (including basic concepts of propositional logic and predicate logic, propositional calculuses and inference theories), set theory (including set algebras, relations, functions and cardinal numbers), algebraic structure (including algebraic systems, semigroups and groups, rings and fields, lattices and Boolean algebras), graph theory (including basic concepts of graph, Euler graphs and Hamiltonian graphs, trees, planar graphs and coloring graphs, some special vertex subsets and edge subsets).

本课程包含四部分内容：数理逻辑（包含命题逻辑与一阶逻辑的基本概念、等值演算以及推理理论），集合论（包含集合代数、二元关系、函数和基数），代数结构（包含代数系统、半群与群、环与域、格与布尔代数），图论（包含图的基本概念、欧拉图与哈密顿图、树、平面图及图的着色、图的某些特殊的顶点子集与边子集）。

A hydraulic system is diagnosed by a fuzzy logic diagnosis method and to overcome the defect of fuzzy logic operators were defined before a new fuzzy logic operator fuzzy aggravating and synthesizing operator.

应用模糊逻辑诊断方法对液压系统的故障进行了诊断，同时针对传统模糊逻辑算子的缺陷，提出一个新的模糊逻辑算子——模糊加权综合算子。

ELNF calculus is a functional/logic calculus system which based on LNF calculus by extending it to include logic programming ability.

ELNF演算的解释技术金海，李智勇，张运桢，阳富民，银海（华中理工大学计算机系，武汉430074）摘要ELNF演算是我们在LNF演算的基础上扩充逻辑程序设计能力而得到的一种函数／逻辑演算系统，它构成了作者设计的函数／逻辑语言RFUNLOG的基础。

It introduces the basic knowledge and ideas of mathematical logic and classic set theory, including proposition logic and predicate logic, reasoning calculus and theorem proving methods, basic operations and properties of sets and relations, functions of any sets and their properties, the cardinals of infinite sets, and the applications of knowledge and ideas above in computer sciences.

本课程系统介绍数理逻辑与朴素集合论的基础知识，包括：命题逻辑和谓词逻辑、定理的推理演算和机器证明方法，集合和二元关系的基本运算和性质、任意集合中的函数及其性质，无穷集合的基数，以及上述知识在计算机科学中的应用。

As a logic optimization method,the Boolean algebra was introduced for the analysis and simplification of complicated logic diagram and on-off control system.

本文通过火电厂开关量控制系统优化设计的分析，对逻辑优化的基本方法进行初步探讨。1容错逻辑设计方法仅根据被控设备的工艺要求设计逻辑，往往经不起实际运行的考验。

Based on the logic dependent relation and first-order logic, AND/OR graphs of single target with unit agent, and single target with multi-agent, joint targets with multi-agent were gotten respectively. As an example, single target with multi-agent was used to illustrate AO(superscript *) searching algorithm of logic dependent relations.

在分析逻辑依赖关系与一阶谓词表示法基础上，分别给出了单agent单目标、多agent单目标、多agent联合目标的逻辑依赖关系的与／或图表达方法，并应用与／或图的AO搜索算法，以多agent单目标情形为例，演示多agent系统中逻辑依赖关系的计算过程。

The method includes, performing logical configuration for the non-volatile mass storage device, wherein file data is allocated addresses in a virtual logical address space; and data identified by virtual logical addresses is read by a host system.

所述方法包括：执行用于所述非易失性大容量存储装置的逻辑配置，其中向文件数据分配虚拟逻辑地址空间中的地址；以及由主机系统读取通过虚拟逻辑地址识别的数据。

It is sometimes also used to refer to tense logic, a particular modal logic-based system of temporal logic introduced by Arthur Prior in the 1960s.

有时也用来指紧张的逻辑，特别是模态逻辑为基础的系统的时序逻辑之前介绍的阿瑟在上世纪60年代。

Secondly, on the condition of understanding the PCI norm, we analyze the PCI time sequence and address configuration space etc. detailedly, design state machine for the simplifying logic, design the program using the VHDL hardware description language. Besides those,we complete the PCI interface design of simplifying logic and carry out the interface function of the PCI subequipment module on the condition of a 33 MHzs,32 bit width, supporting the transmition paroxysmally. Compared with the traditional PCI inteface which uses appropriative interface chip to carry out this function , it economizes the logic resources of the system, lowers cost, increases the flexibility of design.

其次，在了解PCI规范的前提下，深入地分析了PCI时序和地址配置空间等，设计了简化逻辑的状态机，并用VHDL硬件描述语言设计了程序，完成了简化逻辑的PCI接口设计在FPGA芯片内部的实现，达到了33MHz、32位数据宽度、支持猝发传输的PCI从设备模块的接口功能，与传统的使用PCI专用接口芯片来实现的PCI接口比较来看，更加节约了系统的逻辑资源，降低了成本，增加了设计的灵活性。

The thesis explains how to design the PORR logical structures based on EASYBAS file system [6] , and gives the mapping relation between logical and storage structures.

在逻辑、物理存贮设计方面，详细介绍了在EASYBAS文件系统的基础上实现PORR逻辑结构的方法，给出了逻辑结构与物理存贮结构之间的映射关系。

For a big chunk of credit-card losses; the number of filings (and thus charge-off rates) would be rising again, whether

年美国个人破产法的一个改动使得破产登记急速下降，而后引起了信用卡大规模的亏损。

Eph. 4:23 And that you be renewed in the spirit of your mind

弗四23 而在你们心思的灵里得以更新