广义解析函数的RDR复合边值问题

研究了广义解析函数边界条件中含有斜微商的ＲＤＲ复合边值问题，并把它化为等价的向量形式的广义Ｒｉｅｍａｎｎ边值问题，给出了可解性条件     

未确知度量空间

将对具有有限个不连续点的未确知数的距离推广到任二未确知数,并证明了此度量空间的局部紧等性质.     

中立型双曲方程解的振动性

给出了一类双曲方程边值问题解振动性的充分条件。     

中立型双曲微分方程边值问题解的振动性

研究一类非线性中立型双曲微分方程,得到了该类方程的两类边值问题解振动的充分条件。     

无痛微积分

以“区间微积分”代替现行的“点态微积分”,从而使微分、积分和基本公式三者都隐含在一个微分的定义之中,无需另证。这样,三者可以一气呵成,只要一堂课,无需一学期。这样的微积分,不难、不长、无痛,使数学跟物理教学同步,不再拖物理教学的后腿。     

形式化方法在软件工程中的应用研究

探讨了形式化方法的基本概念,重点研究了形式化方法的数学理论基础和其在软件工程各阶段的应用情况,分析了形式化方法在理论研究和工程实践上的优势和局限性及其原因,并指出了形式化方法发展的几个方向,最后对形式化方法在软件工程中的应用做了评价.     

关于Duffing方程的受迫振动问题

用奇异摄动理论中的推广平均法，讨论了非自治系统Ｄｕｆｉｎｇ方程的受迫振动问题。给出了其在硬激励和软激励情况下的一阶近似解和共振情况下的频率响应方程。     

科技奖励评审工作中专家权数的确定

利用等级相关理论中Ｓｐｅａｒｍａｎ等级相关系数和灰色关联度,提出了评审工作中专家权数的确定方法。     

商品销售与广告宣传的关系模型

利用微分方程的理论讨论了商品销售与广告宣传的关系，建立了相应的数学模型，并给出了解析解。