求解椭圆型微分方程边值问题的虚边界元-最小二乘法

针对求解椭圆型偏微分方程的边值问题，采用了虚边界元－最小二乘法．该法简单直观、物理意义清晰、解析性强．与区域型方法相比，具有存储少、数据准备方便、节省机时、精度高；与传统边界元法相比，具有无奇异积分、边界附近精度高等优点     

曲线坐标系下哈密顿体系的建立

在任意曲线坐标系下建立了曲六面体区域的哈密顿体系，扩大了哈密顿体系的适用范围，并使系统方程具备了处理任意复杂边界条件的能力。     

时滞泛函微分方程的某些稳定性定理

给出了时滞泛函微分方程的零解一致稳定性的新判据，Ｖ的上界可以是某些条件下的正函数；对于解的渐近性及渐近稳定性和一致渐近稳定性给出的判据，去掉了方程右端函数ｆ的有界性假设，使Ｖ的上界容许是在某种条件下的常负函数，推广了Ｊ。Ｋ．Ｈａｌｅ的结果，便于应用。     

玉米淀粉酶催化糖化的反应动力学模型

发现玉米淀粉的酶糖化反应，可以用酶的三态模型描述，而且该反应具有单底物酶动力学犍征。用三态模型导出的反应动力学模型式计算反应速度等参数，其计算结果实验数据基本一致。     

一类非线性微分代数方程系统的线性化解耦控制

针对工程上普遍存在的一类同时由微分方程和代数方程描述的非线性微分代数方系统，讨论了它的存在形式，提出了这类系统中具有中间状态变量和扰动状态变量时的线生化解耦控制的方法，并以一类化学反应器为例作了仿真研究。     

非线性广义块对角优势函数

本文对文［１］的广义对角优势函数和文［４］的块严格对角占优函数概念进行了推广，提出了非线性广义块对角优势函数的概念，并对其性质，判别条件及应用进行了研究。获得了一些有意义的结果，这些结果推广和改进了文［１］与［４］的相应结果。     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

凸约束非线性方程组的非单调投影L-M方法

提出一种非单调投影L-M方法求解凸约束非线性方程组,在通常假设条件下,证明了算法具有强收敛性,给出了数值试验结果.     

可变时滞非线性非自治偏差分方程的线性化振动性

各学科对多变量系统进行分析与处理时所涉及的数学模型要求越来越高，其中许多用到差分方程模型。本文在前人工作的基础上，建立了在更一般的条件下，具有可变时滞的非线性非自治偏差分方程的几个线性化振动性定理。并给出了应用例证，达到了预期目的。     

一类具有间断系数的线性双曲型方程组的Cauchy问题

将一类具有间断系数的线性双曲型方程组转化成等价的积分方程组,并通过逐次逼近法证明了其Cauchy问题一定存在着唯一的连续解,且此解在系数间断处可能存在弱间断,而在其他区域处处连续可微的结论.