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

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

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

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

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

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

基于观测器的时变时滞不确定系统的强稳定鲁棒H^∞控制器设计

研究一类同时存在状态和控制输入不确定性的时滞系统基于观测器的强稳定鲁棒控制问题，其中不确定性是时变的，满足范数有界条件。被控对象可鲁棒强稳定且满足从干扰输入到控制输出的H^∞范数界约束。     

一种具有鲁棒性的磁链观测器在异步电机直接转矩控制中的应用

对磁链的准确估计在异步电机直接转矩控制中具有至关重要的作用．针对参数不确定电机模型．利用Lyapunov函数方法，给出了一种基于线性矩阵不等式（LMI）的具有鲁棒性的磁链观测器设计方法．得到了磁链观测器辨识的收敛性条件：相对于基于参数辩识磁链估计方法，其计算量很小．容易满足实时性控制的要求、仿真结果表明．磁链受定转子电月且不确定性变化影响较小．具有较强的鲁捧性．     

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

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

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

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

基于非线性观测器的IPMSM无位置传感器控制

为了解决内嵌式永磁同步电机(IPMSM)无位置传感器控制中转子角度和速度估计问题,根据IPMSM的状态方程和非线性理论,设计了一种非线性状态观测器,并基于Lyapunov稳定性原理讨论了观测器稳定条件.同时考虑负载影响,加入了负载转矩的观测由于模型参数问题和采样精度问题,状态变量的观测值和实际值存在一定误差,因此对角度和速度观测值分别进行了修正.仿真和试验研究表明,改进后的非线性观测器能够准确估计转子角度和速度,可以获得良好的动态和稳态性能.