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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

耦合非线性波动方程组的约化摄动分析

基于远方场理论的思想,应用约化摄动分析方法对耦合KdV方程和耦合mKdV方程进行了近似求解,并得到了它们的几组孤立波解,与已有结论相比,其振幅的物理意义更加丰富.在特殊情况下,所得到的近似解与精确解具有完全相同的形式.分析表明,所应用的约化摄动方法在研究小振幅扰动问题方面有一定的普适性.     

一维可压缩Euler方程经典解的破裂

将一维可压缩Euler方程组的柯西问题通过引入黎曼不变量将其化为对角型一阶拟线性双曲组,以此为基础研究解的生命跨度,并给出了经典解的生命跨度的上界估计.