逻辑系统

It consists both of the mathematical study of logic and the application of this study to other areas of mathematics.

数理逻辑是数学的一个分支，其研究对象是对证明和计算这两个直观概念进行符号化以后的形式系统。

Hajek P Metamathematics of fuzzy logic London:Kluwer Academic Publishers , 1998,null

裴道武%王国俊一种新的模糊逻辑代数系统西南交通大学学报， 2000，05

Analysis is conducted on model checking for three valued logic formulae of modal transition system using existing model checking techniques.

分析了现有的模型检验技术应用于模态转移系统的三值逻辑公式的模型检验中存在的问题。

He also claimed that the modal system K45is the appropriate choice to base on.K.

他认为以模态系统K45为基础的非单调逻辑是合适的选择，K。

A mathematical model of interceptor missile was constituted based on moment of momentum theorem. And with a view to mathematical model and fire logic of thrusters, a neural network controller of attitude motion system was designed for interceptor missile: acquiring basal controller based on simple method, and adjusting control parameters of simple controller using neural network.

首先基于动量矩定理建立了拦截弹姿态运动的数学模型，然后针对数学模型和推力器点火逻辑的特点，设计了拦截弹姿态运动系统的神经网络控制器。

The experimental results show that controlling the pulse width of monostable trigger with CPLD on the basis of full digital ciruits effectively helps the realization of mi...

实验结果表明在全数字电路的基础上，用可编程逻辑器件实现的单稳态触发器脉宽控制能有效地实现激光引信电路系统小型化，提高电路的可靠性

The invented parts can be optical logic operation and can form other all optical parts, such as: monostable flip-flop, optical modulator in optical signal control and optical switch in optical signal control etc. Said parts can be used in optical fiber communication system with wave division multiplex, all optical communication network or optical computer.

本发明可以进行光数字逻辑运算还可构成光的单稳态触发器、光信号控制的光调制器、光信号控制的光开关等全光器件，可应用于波分复用光纤通信系统，全光通信网络以及光计算机中。

This article systematically outlines the object, scope, and result of the study of Montague Grammar on the basis of Modern logic and linguistics.

本文以现代逻辑和现代语言学为出发点，系统阐述蒙太格语法的研究对象、研究范围和研究结果。

In MSS, a direct access storage device that does not physically exist. It exists logically on one

在海量存储系统中，物理上不存在的一种直接存储设备，它逻辑地存在于一个或几个登台驱动器上。

The research scope of this paper includes:(1) According to the vehicle motion parameters, the 9 degrees of freedom vehicle brake model has been established by utilizing Newtonian mechanics, which can be reduced step by step to a double-wheel vehicle brake model and to a single-wheel vehicle brake model.

为了改进传统的逻辑门限ABS的局限性，本文对基于滑移率的汽车防抱死制动系统的上述关键技术及实现方法进行了研究，并以研究成果为基础完成了相应工程项目的研制任务。

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.

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