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

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

Notes on Oscillation of Solution for aCertain Second Order Neutral Equation

Ｉｎｔｈｉｓｐａｐｅｒ，ｗｅｃｏｎｓｉｄｅｒｏｓｃｉｌｌａｔｏｒｙｏｆｅｑｕａｔｉｏｎ（１）［ｘ（ｔ）＋ｃｘ（ｔ－τ）］″＋∫ｂａｐ（ｔ，ξ）ｘ［ｇ（ｔ，ξ）］ｄσ（ξ）＝０，（１）ｗｈｅｒｅτ０；ｐ（ｔ，ξ），ｇ（ｔ，ξ）∈Ｃ（［ｔ０，＋∞）×［ａ，ｂ］，Ｒ）；ｇ（ｔ，ξ）ｔ，ξ∈［ａ，ｂ］；ｇ（ｔ，ξ）ａｒｅｎｏｎ－ｄｅｃｒｅａｓｉｎｇｗｉｔｈｔｏｔ，ξ，ｒｅｓｐｅｃｔｉｖｅｌｙａｎｄｌｉｍｔ→＋∞ｍｉｎξ∈［ａ，ｂ］｛ｇ（ｔ，ξ）｝＝＋∞，σ（ξ）∈（［ａ，ｂ］，Ｒ）ｉｓｎｏｎｄｅｃｒ…     

随机变量相等的一个充要条件

本文证得分布于有限区间上的随机变量相等的充要条件为其各阶原点矩相等．     

未确知度量空间

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

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

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

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

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

无痛微积分

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

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

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