Banach空间中二阶Volterra型积分微分方程边值问题解的存在性

利用上、下解法在正规锥上证明了二阶非线性Volterra型积分微分方程边值问题解的存在性。     

一类带Lp^a边界条件的非线性RH问题的解法

利用柯西-黎曼条件和偏微分方程理论，得到了一类非线性RH问题的求解方法，并通过实例表明该方法是可行的。     

搜寻平面机构中虚约束的拆杆组法

本文根据机构的组成原理,提出一种搜寻机构中虚约束的新方法一拆杆组法,用该方法能方便地判断出机构中所含的虚约束,同时能迅速排除含有特定几何条件而实际上并不存在虚约束的机构.     

一类平面三次系统的极限环

本文给出原点为细焦点的三次系统｛ｘ＝－ｙ＋ａｘ＾３＋βｘ＾２ｙ＋λｘｙ＾２ ｙ＝ｘ＋ρｘ＾３＋αｘ＾２ｙ＋βｘｙ＾２＋λｙ＾３ （１）当ρ〉０时存在或不存在极限环的条件。     

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

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

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

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

变系数对流扩散方程的交替分段显-隐式方法

应用交替分段显－隐方法求解变系数对流扩散方程，此方法具有很好的并行性且无条件稳定。     

一维核废料污染问题的一个二阶格式

利用降价法研究了多孔介质中一维核废料污染问题，此模型由一非线性抛物－椭圆耦合偏微分方程组的初边值问题来描述，对此问题给出了一个关于时间和空间均具有二阶精度的差分格式，并进行了理论分析。