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

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

预裂爆破中爆生裂缝扩展的机理探讨及预裂炮孔间距的设计方法

炸药爆炸产生的爆生裂缝是由爆炸应力波和爆生气体共同作用的结果。文中运用炸药爆炸的应力波理论,计算初始裂纹的长度;然后按照岩石的脆断理论计算爆生裂缝的最终扩展长度,对预裂爆破中爆炸作用过程和裂缝的扩展机理进行分析。同时还讨论了预裂炮孔间距的设计方法,认为在炮孔间距设计时,应考虑原生裂缝的存在。     

锤击打入式预制桩断桩成因及处理研究

依据应力波传播理论和沉桩挤土效应机理，分析了某核电站排洪沟挡潮闸打入式预制桩断桩事故的原因，提出了与高应变检测相结合进行断桩处理的方法，取得了良好的效果。     

先张法预应力空心板梁钢绞线断丝、滑丝原因浅析及预防措施

近年来在先张法预应力空心板梁的施工时常见张拉钢绞线过程中断丝、滑丝现象,在此做一下简要的理论分析,仅供参考.     

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

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

VLCC船前期电气设计的几点探讨

本文是对船舶电力系统设计中短路电流的估算及开关的短路分断能力的应用,做了部分研究及介绍;同时针对近期各船级社日益严格的要求,对选择性保护分析表做了介绍.