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

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

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

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

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

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

铁路接触网最优主动控制研究

研究目的:本文为研究主动控制对接触网性能的影响,建立了接触网有限元模型,应用Ansys软件计算模型的整体质量及刚度矩阵数据,并利用KMExtract程序分离出整体质量、整体刚度矩阵,据此建立接触网系统动力学方程。为便于系统仿真及控制器设计,使用模态降阶法对系统降阶并将其转化为状态方程形式,而后为系统设计LQR控制器,使用simulink对实施主动控制前后的接触网系统进行动态仿真分析。研究结论:研究表明:(1)对接触网实施主动控制能有效改善其振动特性,接触网振动的最大值、最小值有较大降低,幅度达90%以上,均方差也有较大下降,幅度达70%以上,系统性能得到了极大提升。(2)在通过改变弓网自身参数的方法改善弓网性能遇到瓶颈时,接触网的主动控制或半主动控制将成为改善弓网性能的重要手段。     

基于捷联惯性系统的轨道长波不平顺检测

将航空航天飞行器制导中的捷联惯性系统应用于轨道长波不平顺的检测。利用四阶龙格-库塔法求解四元素姿态矩阵微分方程;采用积分滤波器对加速度信号进行二次积分,从而实时获取物体的运动轨迹。为提高系统的稳定性和抗噪性,在积分前利用小波变换对加速度信号进行去噪处理。最后采用XW-IMU5250惯性测量单元实测一个物体的运动,得到了物体精确的运动轨迹,通过对比不同时期测量结果即可得到轨道的长波不平顺信息。     

基于平方解调与阶次分析的轴承故障诊断

针对非平稳信号频谱分析导致的谱分量重叠问题及滚动轴承故障信号的多载波调制特征,提出一种基于平方解调与阶次分析的调制阶次提取,并与轴承故障特征相结合的故障诊断方法。据此对某款异响新能源汽车进行加速工况测试,通过数据分析并结合驱动总成各轴承故障特征阶次确定故障原因。     

基于优化串-并联模型的钢桁拱桥系统易损性研究

为研究适用于钢桁拱桥系统易损性的分析方法,采用串联模型、简单串-并联模型、优化串-并联模型3种可靠度模型,基于一阶界限法分别绘制系统易损性曲线、系统损伤超越概率差值曲线以及损伤控制组件曲线.研究结果表明:串联模型不能考虑主、次要构件在系统易损性中的比重,简单串-并联模型能考虑主、次要构件的比重,但往往不能代表结构真实的失效模式,而优化串-并联模型既能代表考虑主、次要构件的比重,又能代表真实的失效模式.设计地震动下串联模型、简单串-并联模型分别会高估和低估系统轻微损伤超越概率,这与实际情况不符.串联模型导致系统严重损伤的误差最大,简单串-并联模型导致系统中等损伤的误差最大.不同可靠度模型的系统损伤超越概率较大的直接原因是不同可靠度模型的系统易损性的控制组件不同.因此建议对钢桁拱桥系统易损性分析时宜采用优化串-并联模型.     

一类非线性四阶偏微分方程的精确解研究

研究了一类非线性四阶偏微分方程的精确解.首先将四阶偏微分方程约化成为常微分方程,进而对相应的常微分方程问题求解,而后通过参数取值的改变得到相关的精确解.最后根据不同情形下所得的精确解,利用Matlab软件绘图给出精确解的波形图分析.     

非线性扩散作用下一类四阶抛物方程解研究

主要研究相变理论及薄膜润滑理论中出现的一类四阶退化抛物方程,函数及二阶拉普拉斯算子作用下在边界上为0,初始时间为已知函数.通过对时间的半离散,依据椭圆型方程解的存在性,构造逼近解,进而获得相应的抛物方程解的存在性及唯一性.方法上,依赖于对逼近解做半离散迭代估计、能量估计以及紧性讨论.