一阶逻辑中的扩展子句消去原则

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（set resolution subsumption, SRSE）方法和集合归结不对称恒真消去（set resolution asymmetric tautology elimination, SRATE）方法，并证明了这两种子句消去方法在不带等词一阶逻辑子句集上的可靠性. 最后在理论上比较了SRSE方法和归结包含消去（sesolution subsumption elimination, RSE）方法以及SRATE方法和归结不对称恒真（sesolution asymmetric tautology elimination, RATE）方法之间的有效性，结果表明SRSE方法和SRATE方法分别比RSE方法和RATE方法更为有效.      

浅谈燃油日用系统的设计

本文对燃油供油模块及燃油日用系统的设计作简要阐述.     

上海通用赛欧轿车遥控中控门锁系统(四)

(2)开锁过程当中央控制模块K37从端子4或端子6接收开锁信号后, 模块内上继电器作动,从而使端子8输出电流,端子7保持搭     

一种基于模糊逻辑的水下航行器前置点线导导引律

基于模糊逻辑理论，本文提出了一种水下航行器模糊前置点线导导引律。该导引律在不需要解算目标速度的前提下，通过在线自组织调整航行器的提前角，从而使水下航行器的前置点与目标交会。     

海洋石油平台钻机泥浆固控系统设计

模块钻机是海上石油钻井装置的一种,但由于其自身的特点,模块钻机的泥浆固控系统在设备选型以及总体布置上与钻井船等其它海上钻井装置有着很大不同.文章以HZ 25-3/1油田开发项目7 000 m模块钻机为例,设计了一套经济性高、布局合理,操作方便、性能可靠的净化钻井液的泥浆固控系统,本系统可以有效地去除钻井液中大于5～15μm的有害固相,保留有用固相,为钻井作业提供优质钻井液.     

900t龙门吊钩头升速控制系统技术改造

介绍了９００ｔ龙六钩头弱磁升速控制系统的技术改造，提出了一种弱磁升速的逻辑控制方法，研制了一种直流电动机弱磁速用位能性负载检测装置。     

华沙地铁采用新型全分布控制系统技术

介绍了应用新型开放式、全分布控制系统技术的华沙新地铁运输系统，重点描述了系统采用的数据通信网络－ＰＲＯＦＩＢＵＳ和构成系统的ＰＥＰ工业控制机模块的功能和先进性。     

XJ24—3和30—2生活模块电气设计

本文介绍了海洋工程中的生活模块的电气设计标准，设计方法，以及所采用的新技术、新工艺、新材料。     

集中监视报警智能单元的研制

在WMS2004型船舶轮机仿真训练器研制开发中，仿真船舶集中监视报警系统及智能监视报警模块。介绍智能监视报警模块的功能、结构和组成，并论述其工作原理。