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

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

运营期高速铁路轨道长波不平顺静态测量方法及控制标准

现有高速铁路轨道长波不平顺静态检测主要采用矢距差法或简化矢距差法,存在与检测起点相关、含有里程相位差、基础变形时检测幅值偏大、与车体振动加速度匹配性较差等缺点。利用中点弦测法对轨道长波不平顺进行静态检测,通过对中点弦测法不同测弦长度有效测量波长范围和列车敏感波长分析,采用60 m测弦长度的中点弦测法最适合时速300~350 km运营期高速铁路;利用车辆-轨道动力学仿真分析和最小二乘法拟合相结合方法,提出运营期高速铁路300及350 km·h^-1速度下的轨道长波高低不平顺控制标准,并进行实例验证。结果表明:60 m弦中点弦测法既可保证轨道长波不平顺检测的准确性,又能很好地体现车体振动响应;时速300 km运营期高速铁路轨道长波高低不平顺3级控制标准建议值分别为9,15,21 mm;时速350 km分别为7,11,15 mm。     

3洞小净距隧道围岩压力计算方法

针对3洞小净距隧道围岩压力计算问题,基于普氏平衡拱理论,将围岩压力看作单洞隧道的基本压力与相邻隧道开挖引起的附加压力之和,提出适用于3洞小净距隧道的围岩压力计算方法;根据该计算方法研究不同岩柱厚度、开挖跨度和开挖高度对围岩压力的影响规律,并将该计算方法应用于确定八达岭长城站3洞小净距隧道围岩压力。结果表明:随着岩柱厚度的增加,围岩压力不断减小,当岩柱厚度达到某一值时,围岩压力与单洞隧道相同;岩柱厚度、边洞跨度和中洞高度变化影响整体围岩压力,中洞跨度和边洞高度仅影响各自单洞围岩压力;3洞小净距隧道的最优开挖顺序为"先边洞、后中洞",中洞围岩压力大于边洞,应力值最大点为中洞顶部。施工中应注意中洞围岩稳定,采取有效的措施对岩柱区域进行加固。     

速差式色灯信号显示制式的研究

随着运量的不断增长，运量与运能的矛盾日益尖锐，深化信号显示制式的研究也更趋迫切。本文论述了目前信号显示制式中存在的主要问题，进行了有针对性的多学科试验研究，提出了速差式色灯信号显示制式的推荐方案，推荐方案有利于理顺色灯信号机显示的相互关系，适应当前运输的需要，又为发展留有余地。