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

对于一阶逻辑定理证明器，子句集化简一直是必不可少的步骤，这将有助于提高后续一阶逻辑定理证明器的证明效率. 针对子句冗余性的判断，提出了一种评估子句冗余性的原则:集合蕴涵模归结原则. 并且证明了该原则在不带等词一阶逻辑上的可靠性，根据该原则删除子句，不会影响原始子句集的不可满足性或者可满足性. 此外，依据该原则提出了两种新型的一阶逻辑预处理方法:集合归结包含消去（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方法更为有效.      

现代汽车故障自诊断系统的局限性

介绍了现代汽车故障自诊断的重要作用以及存在的局限性。故障自诊断只提供了故障的性质和范围，还必须利用诊断检测设备进一步检测分析，以确定故障原因，予以排除。     

船舶故障远程诊断系统

此文对船舶故障远程诊断系统的结构作了比较深入的研究，提出了可行的船舶远程故障诊断系统方案，论文还介绍了自行研制的用于船舶故障诊断的信号采集，存储和处理平台。     

电控自动变速器故障诊断程序及内容

介绍电控自动变速器故障诊断程序.     

消防车技术状态的常用诊断方法

消防车是城镇消防灭火的主要装备，保持消防车良好的技术状态是十分重要的工作。为此，介绍了消防车技术状态诊断的几种常用方法。