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

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

无缝线路钢轨温度监测系统的研制

介绍了无缝线路钢轨温度监测系统的研制目的、关键技术及系统功能，论述了该监测系统的技术特点及应用效果。     

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

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

波形竖管降膜蒸发流动与传热性能的理论研究

本文简介波形竖管降膜蒸发流动与传热的过程,通过理论分析建立波形竖管降膜蒸发传热的数学模型。采用国外一些研究者得到的理论分析与实验结果,利用无穷泰勒级数将含有多重积分的数学模型展开,得到简单实用的半经验——半理论数学模型解析式。     

核潜艇炉水中磷酸盐含量分析方法研究和改进

本文提出了一种用于分析核潜艇炉水中磷酸盐含量的新色阶的制备方法，并对新色阶和现行色阶（磷钒钼黄色阶）的稳定性作了研究，测知新色阶的有效使用期比现行色阶延长了至少１２倍，实验室和艇上现场实验表明：新色阶完全可以替代用于分析核潜艇炉中磷酸盐含量的现行色阶。     

高速动车组降阻与减重应用研发

从减小列车运行阻力的目的出发,研究高速动车组气动设计以及轻量化设计的关键技术,通过对影响列车运行阻力的主要因素进行系统分析及优化,提出了高速动车组降噪减重的控制策略及具体措施。线路试验表明,相关措施有效降低了高速动车组的运行阻力,实现了速度提升、节能环保的目标,同时也提升了列车的动力学性能及综合舒适度。     

基于同步压缩变换的阶比分析法在城市轨道交通车辆轴承故障诊断中的应用

针对城市轨道交通车辆轴承在变速过程中的振动信号呈现非平稳性特征的情况,提出了基于SST(同步压缩变换)的阶比分析方法.首先对强噪声环境下轴承振动信号进行SST时频分析处理,对振动信号中的瞬时频率进行估计,并提取瞬时转频;然后利用得到的瞬时转频计算鉴相时标,对时域信号进行重采样,得到准稳态的角域信号;最终完成车辆变速过程中轴承的故障诊断.试验表明,该方法能够有效地提取变转速轴承振动信号中的转频成分,实现基于瞬时频率估计的阶比分析,成功进行变速过程中轴承的故障诊断.     

武广高速铁路岩溶地区钻孔灌注桩施工技术

在武广高速铁路桥梁钻孔灌注桩施工的过程中,针对岩溶地质特性,通过对不同类型岩溶处理方案进行对比分析,确定了相应施工方案及施工工艺。工程实践研究结果表明:采用相关施工工艺既保证超前处理、成孔、灌注混凝土等施工作业环节的时效性、连续性,又满足桩基质量验收标准,满足工后沉降的技术要求,为岩溶地区桩基础施工提供了借鉴。