逻辑系统

The problem solving and inference functions will be provided by the hardware inference mechanism,the control mechanism,parallel processing,the logic programs developed on these machines and the software system for high-order predicate calculus.

FGCS的功能可分成3类：问题的求解和推理功能、基于知识的管理功能和智能接口功能问题的求解和推理功能将由硬件推理机制、控制机制、并行处理，以及在这些机制上开发的逻辑编程及高阶谓词演算软件系统提供。

New according to predicate logic of the financial investement assistance decision system we do analysis and research.

现就基于谓词逻辑的金融投资辅助决策系统加以分析与研究。

Deductive database makes good use of predicate logic.

因为它有严格、系统的数理逻辑理论基础和较强的推理能力。

Scope prediction logic within the first coherency domain predictively selects a scope of broadcast of an operation on an interconnect fabric of the data processing system by reference to the scope information within the address translation table entry.

该第一一致性域内的范围预测逻辑通过参照该地址转换表项内的范围信息预测性地选择该数据处理系统的互连结构上的操作的广播范围。

In this design, the use of a programmable logic controller on the elevator control system.

在此次设计中，采用了可编程序逻辑控制器对电梯系统进行控制。

Mathematical logic is the formal study of mathematical structures and systems; its subparts include proof theory and model theory.

数理逻辑是数学结构和系统的正式研究，其子部分包括证明理论和模型理论。

Prelinearity residuated-lattice; BL-algebra; BR_0-Algebra; Propositional Calculus System PL~*; Weak Lattic Implication-Algebra

基础科学，数学，数理逻辑、数学基础预线性剩余格； BL代数； BR_0代数； PL~*系统；弱格蕴涵代数

In this paper , we propose a new description method of information processing systems based on propositional logic.

本文针对以上功能，提出了基于命题逻辑的信息处理系统的新的需求描述方法。

Influencing reliability of oil well pump can be determined with this method.

故障树分析可以描绘出系统失效和零部件失效的逻辑因果关系，能够给出抽油泵中影响可靠性的一些共性因素。

First,apply PLC regulate to speed to alternate current motive, the system adopted PANASONIC PLC, series of FP∑as core,control small-scale model VF0 frequency converter PWM fan-out of pulse,and control AC motion control system's speed , use the rotatory encoder of Omron formed the speed reactive circuit.

可编程控制器是一种数字运算操作的电子系统，专为在工业环境下应用而设计，它采用可编程存储器，用于其内部存储程序，执行逻辑运算，顺序控制，定时，计数与算数操作等面向用户的指令，并通过数字或模拟式输入/输出控制各种类型的机械或生产过程。

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.

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