逻辑系统

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.

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

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万英镑骗了个精光。