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

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

关于Fuzzy测度与Fuzzy积分的若干定理

研究了Fuzzy集合上的Fuzzy测度与积分理论,给出了两种条件下Fuzzy测度分解定理、Funy积分若干极限定理和Fuzzy积分表现定理。     

并联机器人的积分滑模模糊控制

根据并联机器人液压伺服系统的特点,将积分变结构控制理论应用于并联机器人的轨迹跟踪。在滑模控制中引入跟踪误差积分控制项,提高了跟踪精度,且消除了要求被跟踪信号导数已知的假设；同时,基于模糊控制理论,对切换控制量进行模糊化处理,有效地削弱了滑模切换控制所产生的抖动。研究和实践表明：该控制方法对于并联机器人轨迹跟踪具有良好的控制效果。     

带小参数的Volterra型方程的非线性边值问题

利用微分不等式方法研究了二阶Ｖｏｌｔｅｒｒａ型方程非线性边值问题ε＾２ｕ＾ｎ＝ｆ（ｔ，ｕ，Ｔｕ，ω（ε）ｕ，，ε），ｇ（ｕ（０），ｕ（０），ε）＝，ｈ（ｕ（１），ｕ（１），ε）＝的解的存在性和一致有效估计，其中「Ｔｕ」（ｔ）＝ψ（ｔ，ε）＋ｋ（６ｔ，ｓＥ）ｕ（ｓ）ｄｓ。     

用混合场积分方程分析时域电磁散射

给出了三维任意形状导体电磁散射的时域积分方程(TDIE)精确求解方法.利用参数坐标和Duffy坐标变换精确高效地计算时域积分方程矩量法的时域自阻抗矩阵元素.通过计算实例表明,该方法在较大的时间步长取值范围内大幅提高了利用时间步进(MOT)算法求解时域积分方程的后时稳定性和解的精度,且采用CFIE比用EFIE或MFIE更稳定.     

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

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

二维非连续边界元分析积分计算的精确表达式

以二维弹性力学问题为研究对象,采用线性非连续元离散边界积分方程,给出了系数矩阵计算的精确表达式,对二维弹性力学问题进行了数值计算,对非连续边界元配位点对计算结果精度的影响进行了讨论,结果表明准奇异积分计算是配位点影响计算结构精度的主要因素。     

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

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