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

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

扣件胶垫黏弹性对铁路箱梁振动与结构噪声的影响

以高速铁路WJ-7B型扣件胶垫为研究对象，通过动态力学性能试验测试了扣件胶垫在不同温度下的动力性能；结合温频等效原理、Williams-Landel-Ferry方程和高阶分数导数FVMP模型表征了扣件胶垫的黏弹性力学特性；将该模型代入建立的桥梁振动与结构噪声预测有限元-边界元模型，并与Kelvin-Vogit模型对比来分析扣件胶垫黏弹性对箱梁振动和结构噪声的影响。研究结果表明:扣件胶垫黏弹性表现为动参数的温频变特性，刚度与频率正相关，与温度负相关，阻尼与频率和温度均负相关，阻尼在1~100 Hz内变化明显，在100 Hz以上变化较小；扣件动参数测试值与高阶分数导数FVMP模型拟合值吻合良好，采用高阶分数导数FVMP模型可以准确描述扣件在宽温宽频下的动态黏弹性力学行为；仅考虑扣件胶垫频变特性时，桥梁在25~63 Hz振动加剧，在80~200 Hz振动减弱，在峰值频率63 Hz处顶板、腹板和底板的加速度振级分别增大5.62、0.91和2.94 dB，桥梁横桥向各板垂向近场点和梁底下方靠近地面处声辐射明显增大；同时考虑扣件胶垫温变与频变特性时，随着温度的降低，桥梁在31.5~50.0 Hz振动不断减小，在63~200 Hz振动不断增大，桥梁横桥向在顶板斜上方、腹板和底板垂向近场点和梁底下方靠近地面处声辐射减小，温度从20 ℃降到-20 ℃时，总体声压级最大降低了2 dB左右；忽略扣件胶垫黏弹性会导致桥梁振动和结构噪声预测产生偏差，仿真分析时应考虑扣件胶垫的黏弹性，以提高预测的准确性。      

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

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

三阶非线性方程三点边值问题的存在性

研究了三阶非线性方程的一类三点边值问题,利用Volterra型积分算子和微分不等式理论,得到了解的存在性和唯一性.     

微分中值定理的证明及辅助函数的构造

在高等数学的教学中,微分中值定理即是一个重点,也是一个难点.本文从另一个角度给出了微分中值定理的一个证明,并给出了几种与微分中值定理有关的辅助函数的构造方法.     

视频双微分补偿电路的仿真研究

交通管理监视器的视频电路，受通频带限制导致图像轮廓模糊、清晰度下降，通常需要采用双微分视频补偿．以一种具体的双微分视频补偿电路为例，分析了两次微分的补偿过程，用电路理论对元件的取值进行了研究，并采用功能强大的Electronics Workbench软件进行了仿真实验论证．     

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

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

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

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