关于图的第二特征标R2(G)

对任意图G，h(G，x)表示图G的伴随多项式，R2(G)表示图G的第二特征标，本文刻画了R2(G)=-2，-1，0，1，2的全部连通图。     

求解多项式重零点的并行迭代方法

建立了一种至少4阶收敛的求解多项式重零点的并行迭代方法，分析并证明了相应的收敛性定理。     

灰色参数线性规划解法论

叙述了灰色参数线性规划的基本思想和模型，总结了近十多年来求解的主要研究成果，并对该领域的进一步研究提出了一些想法和展望．     

基于多项式组主项解耦消元法的几何定理机器证明

用多项式组主项解耦消元法，将几何定理的假设条件（多项式组PS）化为主系数不含变元的三角型多项式组DTS，可得到定理命题成立的不含变化的非退化条件，即充分必要或更接近充分必要的非退化条件，由于多项式主系统不含变化，已不存在DTS多项式之间的约化问题，故方法有普遍意义，文中例为西姆松定理的机器证明。     

具粘性双曲型方程组解的整体存在性

对于具粘性双曲型方程组Cauchy问题，通过引进Lax熵-熵流对的方法，得到了解的整体存在性，利用补偿紧致的方法证明了L∞逼近解的收敛性.     

图族S_(r(k+m)+1)~ψ∪(rk-1)K_1的补图的色等价性定理

设ψ( k,m)表示把星图 Sk+ 1的 k度点与路 Pm的一个 1度点重迭后得到的图 ,Sψ*r(k+ m) + 1表示把星图 Srk+ 1的 rk个 1度点分别与 rψ( k,m)的每个分支的 k个 1度点 (均邻接于ψ( k,m)的 k +1度点 )依次重迭后得到的图。证明了图族 Sψ*r(k+ m) + 1∪ ( rk -1 ) K1的补图的色等价性及非色唯一性 ,进而推广了这一结果     

Banach空间中一类强非线性发展方程的反周期解

本文讨论一类强非线性发展方程的反周期解的存在性。针对一大类既含有单调非线性算子又含有非单调非线性算子的发展方程。我们巧妙地结合单调算子理论与Leray-Schauder不动点理论，证明了其反周期解的存在性。最后，举例说明理论结果在2m阶拟线性抛物型方向的时间反周期问题中的应用。     

带有垂直传染具有年龄结构的接种流行病模型研究

研究了一个带有垂直传染、具有年龄结构的接种SIS流行病模型，得到了正平衡解存在性的充分条件。     

具有时滞的非自治的Lotka-Volterra生态系统的全局稳定性

考虑一个具有时滞的非自治的捕食——食饵生态系统。该系统是由一个捕食，二个食饵种群所构成我们给出了系统的周期解是全局稳定的充分条件。     

Banach空间n阶非线性积分-微分方程初值问题解的存在性

用Tonelli方法研究了Banach空间中n阶非线性积分—微分方程初值问题，在非线性增长条件下，获得了初值问题解的存在性及其Tonelli迭代逼近。