逻辑系统

On the base of Frege's study, Russell put forward the theory of types to settle Russell's paradox. On the base of non-set, Russell brought forward axiom of infinity and axiom of option as the premises and built a system. He tried to defined the non-negative integer in logic terms and derive the theorems of arithmetic from the laws of logic by deductive method.

罗素在弗雷格研究的基础上，提出逻辑类型论来解决罗素悖论，以非集合论理论为基础，以无穷公理和选择公理为前提，利用逻辑概念定义数学概念，并构造系统，通过逻辑演绎法从逻辑公理推导数学定理。

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

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

The system includes a file storage segment that reads and writes data on a file-by-file basis, allowing a host system to access data from the non-volatile mass storage device using a file interface format; and a logical interface segment that allows the host system to access data using logical addressing, wherein the host system is unaware of a storage format under which data is stored on a file-by-file basis.

所述系统包含：文件存储段，其以逐文件为基础读取和写入数据，从而允许主机系统使用文件接口格式从所述非易失性大容量存储装置存取数据；以及逻辑接口段，其允许所述主机系统使用逻辑寻址存取数据，其中所述主机系统不知道用以以逐文件为基础存储数据的存储格式。

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques. We reduce the three valued logic model checking problem for modal transition system to the two valued model checking problem under Kripke structure. This reduction is linear in the number of states, size of transition relations, and number of atomic propositional formulae in the new formed model compared with those in the original model. It does not increase the comple...

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题·提出了把模态转移系统转换成Kripke结构的算法以及三值逻辑公式转换成2个二值逻辑的算法，经过转换后可用现有的模型检验技术进行模型检验·用该算法转换后，状态数、转移数和原子命题数目与原模型呈线性关系，没有增加模型检验的复杂度

Optical logic devices, especially the multiple-valued, threshold and fuzzy logic devices which are more powerful than the binary logic gates, are key elements in the optical computing systems.

光学逻辑元件，特别是在功能上高于二进制布尔逻辑的多值逻辑、阈值逻辑和模糊逻辑元件是光计算系统中不可缺少的关键元件。

This system is a kind of Computer Integrated Manufacturing Systems which based on work flow technique, and it uses standard WPDL language to agilely define the check flow in designing process.

本系统是一种基于工作流技术的计算机集成制造系统CIMS（Computer Integrated Manufacturing Systems），它使用标准的WPDL语言灵活地定义图纸设计过程中的校审流程，逻辑关系包含了基本的顺序关系、分支关系和循环关系，进而能表达各种更为复杂的逻辑关系，即实现了逻辑的完备性。

Mainly introduce the work theory of loading material structure and the basic composition and control theory of unloading material structure of the tumbel blasting machine automatic load and unload system and the fluid driving system theory and the logical control theory of programmable logic controller.

主要介绍滚筒式抛丸机自动装卸系统的上料系统的工作原理、卸料机构的基本组成及控制原理、液压驱动系统原理、可编程逻辑控制器的逻辑控制原理。

At last, the problems are resolved by taper-cone instead of cone logic valve .

介绍了插装阀在步进梁式加热炉液压系统中的应用；分析了系统逻辑锥阀的故障原因，在把逻辑锥阀由单锥面改为双锥面后，系统故障消除了。

Deontic Logic ; Logic of Willing ; Mally's Deontic System ; Standard Deontic Logic

道义逻辑；马利的道义系统；意愿的逻辑；道义逻辑标准系统

This record system is the all digital system, the logic circuits integrate in the Complex Programmable Logic Device.The article uses CPLD technology to improve the system reliability ,also cuts costs and minishes power consumption.

本系统为全数字化系统，逻辑电路集成在可编程逻辑器件CPLD内，CPLD的使用可降低成本，减小功耗，最主要的是可大大提高系统的可靠性。

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.

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