一类延迟微分代数方程的稳定性

讨论了K（Ａ）α,β,γ问题类的稳定性和渐近稳定性,分别给出其理论解稳定和渐近稳定的充分条件.     

一类变系数微分代数方程的数值解

讨论了变系数微分代数方程的数值解.首先给出变系数微分代数方程的系数矩阵Drazin逆的求法,然后研究其差分格式上的数值解,最后利用Drazin逆的方法和隐式RK方法对一类变系数微分代数方程进行了研究,并给出了相应的数值试验,结果表明Drazin逆的求解效果较好,但求解过程比较复杂.     

一类奇异微分代数系统的数值解

首先利用级数解的Padé逼近算法,给出了一类奇异微分代数系统的数值解,然后运用4阶隐式Adams方法及经典RK方法给出的初值给出了此类系统的数值解,最后通过误差估计表明Padé逼近算法是可行的.     

一类具有单个时滞微分系统的周期解

利用Ｆｏｕｒｉｅｒ级数理论讨论一类具有单时滞的微分系统的周期解问题。获得了周期解存在，唯一的充要条件及一些简便的充分条件。     

微分代数系统波形松弛法的收敛性

通过借助G ronwall不等式和收敛级数方法给出关于微分代数系统波形松弛法的收敛性的一个充分条件,该充分条件较以往的研究成果更易于检验其收敛性.     

一类微分-代数系统实时控制的零阶保持算法

对于由微分-代数方程描述的一类系统,构造并研究了实时控制的零阶保持算法.为了对算法的控制误差进行补偿,提出了一个预估-校正格式,它可以将控制误差从O(h 3 )改进到O(h 4 ).得到的结果一般是最优的.作为例子,算法应用到耗尽关机射程控制系统的制导规律的设计,其控制精度可以达到O(h3)或者O(h4).     

块隐式单步方法求解一类延迟微分代数方程

延迟微分代数方程(DDAEs)广泛应用于科学与工程各领域，但目前对这类问题的数值方法仅有很少量的研究．将块隐式单步方法应用于一类半显式指标1延迟微分代数方程，给出了方法的误差分析，理论分析和数值试验表明该方法对此类DDAEs的求解有良好的效果。     

一类非线性时滞微分代数方程的稳定性新方法以及隐式欧拉方法

主要用线性化的方法处理解决非线性问题.虽然线性化的过程是局部的,但是在某些条件下,在某些解的局部邻域内的线性化不影响原方程的性质.基于这种思想,研究了一类非线性时滞微分代数方程解的稳定性和渐进稳定性,并讨论了隐式欧拉方法数值解稳定性和渐进稳定性的充分条件.     

任意阶微分代数方法的面向对象编程实现

为给研究非线笥系统传递性质提供一个简便、有效的工具，研究了新近出现的微分代数的基本理论，在ＶＣ＋＋环境中编制了一个ＤＡ／ＴＬＣ软件包，实现了任意高阶微分代数的功能。通过一些例子对此软件进行了计算测试，其结果与解析解完全一致，这为任意高阶微分的计算提供了一种可达到机器匠极为简便的数值工具，可用于非线性系统任意阶传递性质的分析计算。     

一类时滞生态经济微分代数系统的建模与分析

建立了一类时滞生态经济微分代数系统,并研究了其正平衡点的稳定性.当以时滞为分支参数时,利用微分代数系统的标准型和中心流形等理论和方法,讨论了该系统在其正平衡点处的Hopf分支及其分支方向.     

一类具有脉冲的二阶非线性时滞微分方程的振动性

研究了一类具有脉冲的二阶非线性时滞微分方程的振动性,利用振动性理论,得出了该方程零解振动的充分条件。     

一类带强迫项的脉冲多时滞微分方程的振动准则

对一类四阶带强迫项的脉冲多时滞微分方程的解的振动性作了研究,给出引理解决了方程的非振动解与其各阶导数的符号关系,得到其振动性的判别准则.     

一类时滞微分方程的全局吸引子的存在性

对于在实际中经常出现的一类时滞微分方程dx(t)/dt=f(x(t),x(t-1))，给出了其全局吸引子的存在的条件，推广了有关的结论。     

一类时滞差分方程组的振动准则

考虑如下时滞差分方程组△（yi（n））=fi（b,y1（τ1（n））,y1（τ2（n））,y1（τ2（n））,y2（τ2（n）））,n≥n0 i=1,2其中（i）fi（n,u1,u2,v1,v2）对所有参数都是连续的;（ii）τi（n）∈C[N0,R^＋],τi（n）≤n,且τi（n）单调不减lim n→∞ τi（n）=∞,i=1,2,获得了该方程组所有解振动的充分条件。     

一类时间分数阶延迟微分方程的数值解法

给出了求解一类时间分数阶时滞微分方程的数值解法,将传统对时间的一阶导数利用分数阶导数α(0α1)阶导数代替,给出了求解微分方程的差分格式,并对差分格式证明了收敛性和稳定性,数值算例检验该格式解决此类方程是有效的.     

有界延迟微分方程Runge-Kutta方法的渐近稳定性

讨论了一类延迟量为有界变量的非线性变延迟微分方程初值问题, 得到了带线性插值的Runge- Kutta 方法的渐近稳定性结果. 即如果Runge- Kutta 方法( A, b , c) 是( k , l) - 代数稳定的且k < 1, 那么带线性插值的该方法是GAR( 2m , l) - 稳定的.     

脉冲时滞微分方程的数值解法及其Matlab实现

介绍了应用Runge-Kutta法求解脉冲时滞微分方程初值问题的基本算法,并给出了具体应用实例的数值仿真,仿真结果表明该方法是正确有效的.     

一类变系数时滞微分方程零解的稳定性

利用拉什米辛判别法研究了一类变系数的时滞微分方程零解的稳定性,在较弱的条件下,得到了该方程零解稳定的充分条件,并给出两个例子说明定理的应用,数值模拟说明了所得结果的正确性.     

一类时滞微分方程滞后量的估计

考虑时滞微分方程 x(t)=A(t)x(t)+B(t)x(t—τ)和 x(t)=A(t)x(t)+B(t)x(t—τ)+H((x(t),x(t-τ)),其中 A(t)和B(t)是n×n矩阵,关于t连续,H:R~?×R~?→R~?是非线性连续函数,是后一系统的扰动函数。本文中,对两个系统分别给出了滞后量的估计τ_0,使得当 0≤τ≤τ_0时,前系统渐近稳定,后系统在经常扰动下是稳定的。估计中运用了新的方法,因此,估计较少保守性。改进和推广了有关文献中的结果。