逻辑系统

This paper studies default logic using Boolean ring rewriting system.

利用重写系统研究缺省逻辑姜云飞（吉林大学计算机科学系长春130023）摘要本文在布尔环重写系统中研究了缺省逻辑。

The FPGA integration rate is very high, its component density from tens of thousands of system gates to the number surely system gate different, may complete the extremely complex succession and the combinatory logic electric circuit function, is suitable high speed in, the high density high end numeral logic circuit design domain.

FPGA的集成度很高，其器件密度从数万系统门到数千万系统门不等，可以完成极其复杂的时序与组合逻辑电路功能，适用于高速、高密度的高端数字逻辑电路设计领域。

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 系统逻辑处理单元失效后，所有输出必须保持在安全状态。

Comparing with western countries, our study in this fieldlag behind. One of the reasons lies in normative logic itself, such as in its paradox orin its inconvincible system. Another reason lies in the fact that less attention has been paid to it.

究其原因，既有规范逻辑自身的原因，如规范逻辑悖论的困扰，规范逻辑没有能够建立一个令人信服的系统等；也与人们对规范逻辑的重要性理解不够有很大的关系。

The course provides the fundamental concepts used in the design of digital systems, including the methodology to design the combinational and sequential circuits with Boolean Algebra, Karnaugh map, and the logic elements, such as basic logic gates, latches, and flip-flops,etc.

本课程在提供数位系统设计所须具备的基础能力，包括学习以布林代数、卡诺图来设计组合逻辑与序向逻辑电路的方法，以及培养基础逻辑元件的应用能力，包括基本逻辑闸、栓锁器、与正反器等等元件。

The principle and technological process of how to change the contactor control on mixed feed production line into programmable logic control system are introduced in this article. The effects and advantages of PLC system on feed processing are also discussed; at the same time the problems that should be paid attention to on actual practice are mentioned too.

介绍了将配合饲料生产线的有触点控制改造成PLC可编程逻辑控制系统的原理、工艺流程；阐述了PLC可编程逻辑控制系统在饲料生产中的作用与优势，并说明了在实际应用中应注意的问题；分析了影响其产品质量的因素；确定了其初始参数。

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

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

In the light of logical formula, an automatic circuit will be devised to control the energy in the refrigeration system.

用布尔代数可以完整地表达制冷机组提供冷量与其负载对冷量需求的阶梯性的内在的逻辑关系，这种关系可以用具有同样逻辑功能的电路来实现，将这个电路应用到制冷系统中就成了制冷系统能量梯级控制电路。

In addition, it implements various mechanisms presented in the dissertation, and the logic level integration of heterogenous knowledge models as well as some extensional mechanisms, used in reasoning inspection, verification and modification on the consistency and perfectiveness of description logics-based models.

为了检验上述理论研究，论文设计了基于KML的智能知识建模原型系统CAKE，系统提供RPC/Web/Web服务三种模式，并实现论文提出的各种机制以及异构知识模型的逻辑级集成和基于描述逻辑的模型一致性和完备性推理检查、校验与修正等扩充机制。

They are: the achievements of textual research and exegesis of Zhu Zi Xue in Qing Dynasty; the promoting effect of the introducing Western theories that took on the research of Chinese classical logic; taking the doctrine of Moism and scientific logic method as a methodological weapon for propagating reformist thought and Liang Qichao"s favor to Mo Zi and theory of Moism.The second part is about Liang Qichao"s achievements of logic and methodology: he analyzed induction and deduction, and thoroughly analyzed induction in particular, and his thought about those was mainly correct; he analyzed comparison as a component of induction and discussed the cognitive function of comparison, he also explained how to use comparison in the research of history; he not only explicated the thinking process of analytical method and synthetic method, but also integrated the two methods with studying history and reading history , and turned them into specific research methods of history ;he expound the rule of causal law , just as Leibnizs principle of sufficient reason in Western modern times and the law of sufficient reasonin universal logic; he discussed nominal classification, and analyzed wrong classification of the forefathers, then he pointed out the significance of clarifying the basic of division .

不足在于：①梁启超对于各种科学方法的论述不够系统、全面；②梁启超比较研究方法仍存在一些缺陷，他的比较研究主要是将墨家论式与西方逻辑的三段论(有的与印度因明的三支作法)形式作求同研究，缺乏系统性和全面性，而且对三种逻辑的共同点和差异点的分析也缺乏理论深度，加之梁启超不懂得数理逻辑，缺乏精确的数理逻辑工具，因而使这种对比分析缺乏严密性和精确性。

We have no common name for a mime of Sophron or Xenarchus and a Socratic Conversation; and we should still be without one even if the imitation in the two instances were in trimeters or elegiacs or some other kind of verse--though it is the way with people to tack on 'poet' to the name of a metre, and talk of elegiac-poets and epic-poets, thinking that they call them poets not by reason of the imitative nature of their work, but indiscriminately by reason of the metre they write in.

索夫农 、森那库斯和苏格拉底式的对话采用的模仿没有一个公共的名称；三音步诗、挽歌体或其他类型的诗的模仿也没有——人们把&诗人&这一名词和格律名称结合到一起，称之为挽歌体诗人或者史诗诗人，他们被称为诗人，似乎只是因为遵守格律写作，而非他们作品的模仿本质。

The relationship between communicative competence and grammar teaching should be that of the ends and the means.

交际能力和语法的关系应该是目标与途径的关系。