哈拉里图的可靠性分析

在图的顶点相互独立地以常数据 概率失效的情况下，图的可靠度定义为删除失效顶点及顶关联的边所得到的图连通的概率。对一类具有最佳连通性的图－哈拉里图，得到可靠度的界，并分析了可靠度的渐近性质。     

一个广义时滞人口增长模型解的渐近性

考虑一个广义时滞人口增长模型，获得了它的每个正解当ｔ→∞时趋于其正平衡点的充分条件。     

具有三个转向点方程渐近解的完全表达式

本文研究二阶线性常微分方程     

具无限时滞的泛函积分方程解的性质

考虑形知ｘ（ｔ）＝ｗ（ｔ）＋∫＾ｔσ（ｆ，ｓ，ｓｘ）ｄｓ的具无限时滞的泛函积分方程，利用一定的积分不等式得到了关于上述方程解的唯一性、有界性和渐近状态的结果。     

求解Neumann外问题有限元与边界积分方法的逼近分析

本文用有限元与边界积分方法，给出Neumann外问题的一种新的数值方法，获得了此法的变分方程并证明其适定性,导出逼近解的渐近误差估计．     

结构力学中结点不平衡力矩分配传递的极限公式

结构力学的力矩分配法是将结点不平衡力矩进行多次分配和传递而得到杆端弯矩的近似值，当分配及传递的次数ｎ趋于无穷大时，杆端弯矩就趋近于它的极限值－精确解，本文导得了该极限的表达式并给出了算例，文中所得公式能方便手算，然而在计算机已十分普及的今天，就显不出其重要悸了，但本文新的发现能给人们以新的启迪。     

一阶中立型差分方程的振动性与渐近性

讨论了一类一阶中立型差分方程的振动性及其非振动解的渐近性，获得了一些充分性判据，推广了一些已有文献中的结果。     

Volterra积分微分方程的有界性与渐近行为

本文获得了一类具有非线性振动的Ｖｏｌｔｅｒｒａ积分微分方程所有解一致有界与（指数）渐近趋于零的充分条件。     

一类代数上的逻辑学（Ⅱ）

Ｚａｄｅｈ的复合命题演算方法（简称ＣＲＩ方法）虽然已被广泛采纳并在应用上取得了很大成功，然而ＣＲＩ方法至今尚未有严格的理论基础．本文在一类模糊公式代数Ｆ（Ｓ）上通过特殊的赋值方法为模糊取式（ＦｕｚｙＭｏｄｕｓＰｏｎｅｎｓ）与模糊拒取式（ＦｕｚｙＭｏｄｕｓＴｏｌｅｎｓ）建立了严格的逻辑基础．其中关于ＦＭＰ的一个结果不只是Ｚａｄｅｈ的ＣＲＩ方法相应结果的改进，而且也是首次把ＣＲＩ方法纳入了模糊逻辑的框架之中，沿此途径，进一步提出并研究了前提与结论之间的支持度与相似度的理论．     

一类代数上的逻辑淡（Ⅰ）

引入了一种代数，称为模糊公式代数，在这种代数上建立了一个准形式演绎系统，证明了相应的可行性定理与相容性定理，提出了程度化的Ｍｏｄｕｓ Ｐｏｎｅｎｓ规则和Ｈｙｐｏｔｈｅｔｉｃａｌ Ｓｙｌｌｏｇｉｓｍ规则。