逻辑系统

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的局限性，本文对基于滑移率的汽车防抱死制动系统的上述关键技术及实现方法进行了研究，并以研究成果为基础完成了相应工程项目的研制任务。

With Death guitarist Schuldiner adopting vocal duties, the band made a major impact on the scene.

随着死亡的吉他手Schuldiner接受主唱的职务，乐队在现实中树立了重要的影响。

But he could still end up breakfasting on Swiss-government issue muesli because all six are accused of nicking around 45 million pounds they should have paid to FIFA.

不过他最后仍有可能沦为瑞士政府&议事餐桌&上的一道早餐，因为这所有六个人都被指控把本应支付给国际足联的大约4500万英镑骗了个精光。