Figure 4-5 compares these two sets of symbols for the most common logic functions encountered in logic control design.
图4-5比较了最常见的逻辑功能符号的这两套中遇到的逻辑控制设计。
According to the operation regulations of Boolean SUBTRACTION, DIVISION and NOT, the standard DOS and SOD expansions of an arbitrary logic function in these complete sets were deduced from the minterm expansion and maxterm excpansion in AND-OR-NOT algebraic system.
从与－或－非代数系统中的最小项、最大项展开式出发，推导了任意逻辑函数在减－除－非代数系统中的标准DOS和标准SOD展开式。
A new characterization of the stable sets of the autoepistemic logic is given and it can be extended to multi-autoepistemic logic easily.
本文给出了稳定集的一种等价表示方法，该方法可以比较简洁、统一地描述多自认知逻辑中的相关概念。
The stable sets and expansions of autoepistemic logic are important to denote the reasoning ability and the epistemic status of the agent.
自认知逻辑的稳定集和扩充可用于刻划主体的推理能力以及认知状态，是自认知逻辑重要的研究内容。
Since then, the theory of fuzzy sets and fuzzy systems was applied in many fields. In the field of fuzzy mathematics, many mathematical theory such as fuzzy topology, fuzzy analysis, fuzzy algebra and fuzzy logic, etc., are obtained.
之后，模糊集和模糊系统理论被广泛应用到许多领域，在模糊数学领域逐渐形成了模糊拓扑学、模糊分析学、模糊代数学和非经典逻辑等系统的理论。
First this book provides a sound, but simple basis of insight into discrete mathematics: numbers, sets, Cartesians, types, functions, the Lambda Calculus, algebras, and mathematical logic.
首先，这本书提供了一个良好的，但简单的基础上洞察离散数学：号码，电视机，cartesians ，类型，功能，的lambda演算，代数，数理逻辑。
It abandon the traditional measure that divide the development course of the scientific and technological park according to the time, and redistrict their development courses according to the logic route that the park grew up, then divide development course into three stages: embryonic stage, it introduce domestic and international agricultural new and high technology, advanced equipment directly, engaged in running an enterprise on a commercial way, use the new and high technology to carry on precise, deep processing or storing and keeping fresh to the high-quality agricultural and animal products, do not have cooperation with local peasant basically; the stage of growing up, the park brings along local peasants production, does not confine to the production of the industrial base in the park again, a kind of nonstandard cooperative form has appeared between peasant and park; at ripe stage, the park sets up the training center of agricultural science and technology, carry on the professional technical training to the industrial base and peripheral peasant, spread through three kinds of diffusion effects, such as radiation, the grade
摒弃了按时间划分科技园区发展历程的传统作法，按照园区成长的逻辑路线对其发展历程进行了重新划分，将发展历程分为三个阶段：萌芽阶段，园区内直接引进国内外农业高新技术、先进设备，从事企业化生产，运用高新技术对优质农畜产品进行精、深加工或储藏保鲜，与当地农户基本上没有合作关系；成长阶段，园区带动当地农产生产，不再局限于园区內产业基地的生产，农产与园区之间出现了一种不规范的合作形式；成熟阶段，园区建立农业科技培训中心，对产业基地及周边农产进行专业技术培训，通过辐射扩散、等级扩散、跳跃扩散三种扩散效应，把经济动力和创新成果传导给周围地区，园区进入规范化管理阶段。
Fuzzy neural network is a combination of fuzzy logic and neural networks. In this paper, by using the character of knowledge representation and learning of fuzzy neural networks, input resolution on Horn sets is implemented.
模糊神经网络是模糊逻辑与神经网络的融合，文中利用模糊神经网络的知识表示及学习的特点，结合输入归结的优点，进行Horn集上的输入归结。
It is to transform a logic program to a prepositional theory such that the models of the resulted prepositional theory exactly correspond to the answer sets of the original logic program.
2如果固定逻辑程序中出现的谓词符号的最大元数，则判定一个逻辑程序是否有有穷的完备环集是多项式时间可判定的。
This system uses object-oriented programming technology, and abstracts the business logic of material evidence information management business process, and sets up a material evidence information management workflow model based on activity network diagram. This paper describes the process model and organization model in detail.
采用面向对象程序设计技术，抽象出物证信息管理业务流程的业务逻辑，建立了一个基于活动网络图的物证信息管理工作流模型，并对系统的过程模型和组织模型给出了详细的描述。
The research of implication is an important part of interval sets and interval-valued fuzzy sets, since the implication only is constructed, further the algebraic system and logic system are researched.
蕴涵算子的研究是区间集和区间值模糊集的重要组成部分，因为只有把蕴涵算子构造出来，才能进一步研究区间集和区间值模糊集的逻辑系统和代数系统。
Based on the combination of fuzzy logic and analogical reasoning, fuzzy quantity space is defined to represent a more informative representation of knowledge and a distance measure is used to measure the relative position between two fuzzy sets so that we can analogize the conclusion.
基于模糊逻辑和类推推理相结合，定义了信息含量更高的知识表示的模糊定量空间，并发展了以输入输出空间中模糊集相对位置的距离为依据进行类推得出结论的算法。
In this paper, considering various properties possessed by the class of consistent sets of wffs in first order logic system, we generalize the concept of abstract consistency class into the most general form-universal abstract consistency class, and further prove its universal unifying principle.
通过考察协调合式公式集类所具有的种种性质，本文将抽象协调类概念推广至最一般的形式&广义抽象协调类，并证明了相应的广义合一原理。
The paper recommends how programmable logic controller is used in the control system of the press forming machine and analyses its main sets and functions of the system.
介绍如何将PLC（可编程控制器）用于一次性餐具压摸成型机的控制系统，分析其硬件系统与软件系统的基本组成和基本功能。
The article puts forward and sets out clearly algebraic substitution axiom and the principle of duality, which are both universal logic laws.
提出和阐明了两个普遍的逻辑规律&代数替换公理与对偶原理。
Validity of the decomposition model with conjunction of multi atomic sets for probabilistic logic
概率逻辑含多重原子交集分解模型的可靠性
I herein propose the conception of Boolean orientable difference and the path along with Boolean Difference, in the meantime, taking this proposition as a basis I am trying to establish the algorithm of combinational logic network fault diagnosis test sets.
本文作者提出布尔方向差分和沿通路布尔差分的概念，并以此为基础建立一种组合逻辑网络故障诊断测试集的算法。
In model-based diagnosis, the system is described by Boolean logic, but the hitting sets are computed with HS-TREE or DAG, so the data structures of diagnosis system were composed of many descriptions.
在基于模型的诊断中，模型一般都是用布尔代数来表示，而计算碰集（hittingsets）则采用HS树或图，这就使得诊断系统采用多种不同的数据结构，给编程实现带来了不便。
We also get a representation theorem for Bi-difference sets. 2. Ideal and filter are two important concepts in quantum logic. From the order structure and algebraic structures of effect algebra, there are many definitions of ideals and filters.
理想和滤子是量子逻辑中的两个重要概念，由于量子逻辑有自身的代数结构和序结构，因此有多种意义下的理想和滤子概念。
Fuzzy control is a kind of computer digital control technique, which is based on the fuzzy sets, fuzzy language variable and fuzzy logic reasoning.
模糊控制是以模糊集合、模糊语言变量和模糊逻辑推理为基础的计算机数字控制技术。