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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

求解奇异非线性方程组的粒子群优化算法

奇异非线性方程组是一类十分重要也比较困难的问题,基于粒子群优化算法提出了一种求解奇异非线性方程组的新方法.先把奇异非线性方程组转化为无约束优化问题,然后与人工智能算法相结合,利用标准粒子群优化算法求解.此算法不但不受方程组的连续性、光滑性的限制,而且避免了大量的求导计算,得到了极为精确的数值解.数值仿真结果显示了算法的有效性和可行性.该方法为求解奇异非线性方程组提供了一种有效、可行的新算法,也扩大了粒子群算法的应用领域.     

高斯牛顿算法在求解广义互补问题中的应用

本文将广义互补问题转化为一个非线性方程组问题,然后建立了GCP问题的无约束优化问题的转化形式,对该优化问题,用两种步长下的阻尼高斯牛顿算法来求解,并给出了两种情况下算法的全局收敛性.