平面图四色问题的一个必要定理

本文从逻辑推理角度讨论了关于四色问题的一个必要性定理。     

求解二维扩散方程的加权平均隐式多重网格方法

提出了数值求解二维扩散方程两种精度分别为O(τ^2 h^2)和O(τ^2 h^4)的无条件稳定的加权平均隐格式，并采用多重网格方法进行求解，从而克服了传统迭代法在求解隐格式时收敛速度慢的缺陷，提高了求解效率．数值实验验证了该方法的精确性和可靠性．     

辅助方程法与非线性发展方程的孤立波解

提出寻找非线性发展方程精确孤立波解的新的辅助方程法，并作为实例利用该方法得到4个非线性发展方程的新的精确孤立波解。     

一个非线性扩散方程的PAINLEVÉ-BÄCKLUND变换及其精确解

选择Painlevé-Backlund方程组的不同解,给出一类非线性扩散方程的某些精确孤立波解.这个方法也可以用来寻找其他非线性偏微分方程的精确孤立波解.     

界面裂纹奇异积分方程的极限法推导

采用Muskhelishivili复变函数的方法,将两相材料中倾斜裂纹应力场基本解,直接退化得到两相材料界面裂纹的应力场基本解,并尝试性地采用极限分析方法导出了两相材料界面裂纹的奇异积分方程。     

一阶拟线性椭圆型复方程的广义DC型边值问题

研究了一般的一阶拟线性椭圆型复方程的边界条件中含有斜微商的广义Carleman型边值问题。采用直接将广义DC型问题化为奇异积分方程的方法析出特征部分，然后通过对特征方程的研究得到了广义DC问题的可解条件和计算指标。     

一类椭圆组的Riemann-Hilbert问题

讨论一阶椭圆组的Riemann-Hilbert问题，并证明了解的存在性。     

关于"具偏差变元的Liénard型方程的周期解"的注记

研究一类具偏差变元的中立型Lienard型方程的周期解存在性,给出了这类方程周期解存在性的若干充分条件.     

连续广义系统的渐近稳定性判据

通过Lyapunov方程Lyapunov函数广义诉渐近稳定性的判定的充必要条件利用此条件，可以较容易地判别一类连续广义系统的渐近稳定性问题。     

三维水动力学模型高精度差分格式和解法研究

采用高精度差分格式对三维水动力学问题的时均化Navier-Stokes方程进行了数值模拟，进而采用广义共轭剩余法（GCR方法）求解压力泊松方程，并采用显式三级二阶Runge-Kutts格式模拟了时间步进过程。傅立叶分析表明，文中所采用的三阶迎风紧致差分格式具有较高的精度，数值实验进一步验证了上述数值模型的准确性和有效性。