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

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

市域铁路牵引电缆贯通供电方案及潮流算法

研究了市域铁路牵引电缆贯通供电方案，该方案全线贯通式供电，设置一主一备两个主变电所，在主变电所内设置同相供电装置. 对贯通式供电时双边供电、单边供电下供电臂距离的设置进行了建模求解，模型以电压损失作为约束条件，通过逐渐增加列车数量的方式，求得供电臂所能承担最大列车数量，进一步得到供电臂距离的可行值，为牵引变压器位置的设置提供参考和校验. 采用基于线路的牵引供电系统建模，将牵引供电系统分为电缆层和牵引层，提出适用于牵引电缆贯通供电的分层交互迭代潮流算法. 该算法在层内进行潮流求解，同时层之间进行变量取值修正，以实现交互迭代，能够达到矩阵降阶、提高计算效率的目的. 在本文案例分析中，相较于传统供电方案，牵引电缆贯通供电方案再生制动能量利用率提升至99.15%，每年通过再生制动能量利用可以节省的电费为2 955万元，一次性投资可以节省大约13 672万元.      

多源信息的有序分层融合模式

本文以潜艇Ｃ＾３Ｉ系统需求为背景，介绍了有序分层融合模式及其相应算法。仿真和加载试验表明，该模式成功地解决了多传感器多目标信息的融合处理问题。     

具有变系数的奇数阶中立型差分方程的振动性

研究奇数阶中立型差分方程，得到了保证方程所有解振动的新的充分条件。     

分层劈裂注浆在加固机坪软基中的应用

分层劈裂注浆技术有效地提高地基承载力,减少工后沉降。根据工程实践,简要介绍了该技术在深圳机场机坪工程中的应用。     

二行程汽油机分层扫气性能的数值模拟研究

简述了二行程汽油机常用的两种分层扫气方式(空间分层和时间分层)的工作原理,并采用计算流体力学(CFD)程序对其分别采用均匀扫气和这两种分层扫气方式时的换气过程进行了多维模拟计算。计算结果表明,与均匀扫气方式相比,分层扫气方式具有燃油短路损失小的优点,但对扫气性能没有明显的影响,且燃油的混合不如均匀扫气充分。