求解高指数微分代数方程组的微分变换法(英文)

本文给出了应用微分变换法求解线性高指数微分代数方程组的一般程式;利用特殊标号树理论证明了Faà di Bruno公式;再将微分变换法应用于非线性高指数微分代数方程组,并对约束系统建立了基于局部参数化的微分变换法.     

一阶微分代数方程组的一个解的解法

力学和控制问题中经常处理微分代数方程组ｘ＝ｆ（ｘ，ｙ，ｔ），ｇ（ｘ，ｔ）＝０．｛而这一类方程组的处理远不如常微分方程组成熟．本文利用微分方程的成熟结论给出了此方程组的一种解的存在唯一性条件，并利用这一条件，提出了相应的解法．     

求代数方程组数值解的智能新方法

本文针对解代数方程组计算复杂和非线性方程组的解难以得到问题，提出了一种适合于不同类型方程组的通用算法．模拟生物进化过程，利用仅以变异作为唯一基因操作的EP方法来求方程组的最优解或次最优解．首先建立智能化的通用方程组，再利用改进的EP方法(在自适应方法中引入小生境思想)来求解方程组．算法既简单又具有通用性，最后举例说明本方法的有效性．     

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

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

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

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

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

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

多体和学微分／代数方程组的一类紧凑算法

本文提出了多体系统动力学微分／代数混合方程组的一类紧凑算法，首先把参数ｔ并入广义坐标讨论，简化了方程组及其隐含约束条件的结构，然后根据简化后的方程组的特殊结构，引入一类局部离散方衍，这一算法结构简单，易于编程，具有较高的计算效率和良好的数值性态，且其形式适合于各种数值积分方法的实施。     

关于一组线性微分多项式的反演

证明了关于一组线性微分多项式的一组反演公式并给出了应用。     

多体系统动力学微分／代数方程组数值方法

多体系统动力学微分／代数混合方程组又称Ｅｕｌｅｒ－Ｌａｇｒａｎｇｅ方程，是近十年来动力学和计算数学领域研究的热点之一。本文对这两个领域中引入的传统的数值积分方程与新的理论做了介绍。     

多体系统力学微分／代数方程组的一类紧凑算法

本文提出了多体系统动力学微分／代数混合方程组的一类紧凑算法．首先把参数ｔ并入广义坐标讨论，简化了方程组及其隐含约束条件的结构；然后根据简化后的方程组的特殊结构，引入一类局部离散方法．这一算法结构简单，易于编程，具有较高的计算效率和良好的数值性态，且其形式适合于各种数值积分方法的实施．     

用正则化方法求解代数—微分方程组

当代由于代数－微分方程组可年地作是无限抽象 性常微分方程组,因而代数－微分方程 可看作是刚性常微分方程组的解在某种意义下的极限。     

一类特殊的块方法

在求解常微分方程和微分代数方程中,块方法是一种有效的方法。这类方法是单步的,且其数值精度不受数值稳定性的约束,因而比线性多步法更适应于求解刚性微分方程或者高指标微分代数方程。但是,以往的块方法因为其巨大的计算工作量而未被广泛使用。本文研究了一类块方法,使其构成矩阵只含有一个重特征值,因而在隐式速代时,计算量大致上与线性多步法相当。本文讨论了该特征值与Lagurre多项式的关系,从而建立了这类块方法的构成公式,数值试验证明了理论上得到的计算量的估计。     

一类求解非线性方程的3阶收敛迭代格式

该文提出了求非线性方程根的3阶收敛的牛顿类迭代方法,并对收敛性进行了证明.该牛顿类迭代方法有效地克服了传统的牛顿迭代方法在目标函数的1阶导数等于0或者接近于0时失效的缺点.通过数值例子来验证该类迭代格式的有效性.     

一类具有时滞的微分代数系统解的数值算法实现

本文主要针对一类具有离散时滞的微分代数系统进行研究.一方面将求解离散时滞微分系统的DDE23算法思想运用到所考虑的具有时滞的微分代数系统中,给出了求解该系统的Matlab程序代码;另一方面将该微分代数系统在一定条件下转换为具有离散时滞的微分系统,从而直接利用DDE23进行了求解,最后通过实例进行数值试验,试验结果表明这些数值算法对求解延迟微分代数系统是十分有效的.     

关于非线性方程组求解技术

提出了新的非线性方程解法。在进行结构非线性平衡路径的全过程分析时,在仔细研究了由Ｃｒｉｓｆｉｅｌｄ和Ｒａｍｍ提出,并被广泛用于非线性方程求解的著名的弧长增量法的基础上,提出了一种基于牛顿－拉菲逊法的十分有效的投影增量法,该法克服了弧长增量法的一个重点缺点,即必须根据结构特性来判定如何选取关于广义荷载参数λ＾ｉ＋１的一元二次方程中的二个根中的一个,而且其收敛速度要稍快,计算量也略小。并通过引进广义时     

一类线性随机Volterra积分方程的数值方法

将Winner过程引入到经典的线性Volterra积分方程中,  得到一类线性随机Volttera积分方程. 研究这类随机积分方程解在平方可积空间中的存在性, 证明了在均方意义下解的唯一性, 并应用配置法构造了数值求解格式. 数值实验验证了理论结果.     

中立型多延时微分代数系统线性多步法的渐近稳定性

文章讨论了用线性多步法求解线性中立型多延时微分代数系统的渐近稳定性．通过分析相应的特征方程根的性质,得出一个线性多步法渐近稳定的充分条件：线性多步法是A稳定的,并且它的第二特征多项式的根的模不等于1．     

微分代数系统时滞依赖稳定性分析

采用线性矩阵不等式的方法,研究了一类微分代数时滞系统的稳定问题,得出了微分代数系统时滞依赖的稳定性条件,验证了微分代数时滞系统解的惟一性、无脉冲性及稳定性.     

一类非线性抛物方程扩散系数及初始分布同时反演的变分伴随法

讨论了用变分伴随方法求解一类非线性抛物型方程扩散系数及初始分布同时反演问题,利用正则化思想改造最小二乘方法,利用变分伴随思想构造迭代算法,理论分析与数值模拟显示用变分伴随方法求解此类反问题是可行的.