微分代数系统的实时控制计算方法

提出微分代数系统的一个实时控制计算方法,进行误差估计,给出采样间隔与控制误差的关系。对于一个模型问题进行了稳定性分析,画出稳定区域,给出保证控制稳定的采样间隔的取值范围。     

实时控制计算微分代数系统的代数约束算法

本文结合实际的航天工程背景,针对飞行器轨道约束实时控制模型问题进行了算法研究。首先分析了ＢＤＦ方法用于飞行器轨道约束实时控制模型问题时的缺陷,其后针对实际问题的特点构造了具有三阶收敛的代数约束算法,分析了该算法的数值稳定性,并对潜地式弹道约束实时控制问题及指标（ｉｎｄｅｘ）为２的单摆模型问题进行了实际仿真计算,理论分析以及数值结果表明代数约束算法对指标为２的半显式微分代数系统的实时控制计算是非常有效的。     

一类特殊比例方程的稳定性分析

研究一类特殊比例方程的稳定性。通过系统变换给出了方程解析解渐近稳定的充分条件。进一步，引用一类变步长格式，证明了L-稳定的变步长Runge-Kutta方法将保持此类特殊比例方程的稳定性质。     

一类秩2微分代数系统的并行Runge-Kutta方法

对多处理机系统构造了一类秩 2微分代数系统的并行Runge -Kutta方法。对该类方法给出了阶条件 ,并且研究了收敛性理论。还研究了Runge -Kutta解的存在性和唯一性。已经构造了一系列使定理 4中的假定成立的具体公式 ,并在飞行器的轨道仿真中应用 ,也提出了一些要进一步研究的问题。     

中立型Volterra延迟积分微分方程块θ-方法的稳定性

研究了线性中立型V01terra延迟积分微分方程数值方法的稳定性，给出了块隐式θ-方法保持系统解析解不依赖于延迟的稳定性质的一个充分条件。最后，通过一些数值试验说明了这篇文章的主要结论。     

BDF方法解常系数微分代数方程的稳定性分析

本文分析了ＢＤＦ方法解常系数微分代数方程（ＤＡＥ）的稳定性,并且说明了ＢＤＦ方法,数值求解一般高指标微分代数问题时会遇到不可克服的困难。     

非线性微分〖CDF*2〗代数系统的自适应状态观测器设计

针对非线性微分-代数系统,给出了可观性判据,提出了基于非线性微分-代数方程的自适应状态观测器设计方法。根据状态观测器工作点变化在线配置极点,获得合适的观测器的反馈增益阵,保证观测器在大范围内稳定工作。理论分析了存在模型误差时观测器的鲁棒性,证明如果模型稳态无差,观测器也是稳态无差的。以化工过程中的典型微分-代数系统为例,仿真结果证明了用该方法设计的观测器能够稳定收敛到状态真值,具有较好的动态性能。     

多步块格式求解微分-代数方程

多步块格式是一类新的一般线性方法,在求解微分-代数方程的过程中不会出现精度降低现象。研究了多步块格式的构造方法,精度条件及具有Runge-Kutta稳定性的多步块格式,多步块格式具有刚性精确的优点,且级精度与格式精度相等。构造了具有Runge-Kutta稳定性的2级和3级多步块格式,具有L-稳定性。数值算例证实多步块格式在求解微分-代数方程不会精度降低。

Abstract：

The multistep block methods are a new class of general linear methods,and the methods solve the differential-algebraic equations with no order reduction.The construction of the multistep block methods was described,and order condition and stability was studied.The multistep block methods with Runge-Kutta stability were also constructed.The multistep block methods have many nice properties,for example,stiffly accurate,and stage order is equal to order of method.At last the methods of 2-stage and 3-stage with Runge-Kutta stability were constructed,and they have the property of L-stability.The numerical example shows that the multistep block methods can solve the differential-algebraic equations without the order reduction.     

分段连续型泛函多延迟微分方程θ-方法数值稳定性

针对自变量分段连续型泛函多延迟微分方程给出了相对于任意参数t,(0,)t ィ馕鼋饨ソ榷ǖ奶跫2⑻致哿擞τ孟咝詑-方法和单腿q-方法在该条件下渐近稳定的充分必要条件和q-方法的收敛阶。     

刚性延迟微分方程数值仿真的两步连续Rosenbrock方法

在科学、工程领域的研究和应用中,常常会遇到刚性延迟微分方程系统,对它们进行数值仿真时,通常需要稳定性较好计算复杂性小的方法。为了数值仿真刚性延迟微分方程系统,构造了一类用于求解刚性延迟微分方程的两步连续Rosenbrock方法,讨论了方法的构造,方法的阶条件,证明了方法的收敛性,分析了方法的稳定性。这种方法具有GP-稳定性,数值试验表明方法是有效的。     

Parallel Digital Simulation for the Control Problem in Differential Algebraic System

Ｐａｒａｌｌｅｌ　Ｄｉｇｉｔａｌ　Ｓｉｍｕｌａｔｉｏｎ　ｆｏｒ　ｔｈｅ　Ｃｏｎｔｒｏｌ　Ｐｒｏｂｌｅｍ　ｉｎ　Ｄｉｆｆｅｒｅｎｔｉａｌ　Ａｌｇｅｂｒａｉｃ　ＳｙｓｔｅｍＣｈｅｎＬｉｒｏｎｇ＆ＬｉｕＤｅｇｕｉ（ＢｅｉｊｉｎｇＩｎｓｔｉｔｕｔｅｏｆＣｏｍ...     

Parallel Rosenbrock Methods for Differential Algebraic Equations

1. INTRODUCTIONWe consider the system of dtherelltial-algebraic equations(DAE)where y is in some space E and z in EI. For convenience of notations we assume that y and z are scalarqualities. All subsequeDt formulas remain valid for vectors if the derivatives are interpreted as multilinearmappings. We suppose that the initial values are consistent, i.e. g(yo, to) = 0. Moreover j and g are assumedto be sufficiently differentiable. We also assume the DAE system to be of index one; it me…     

一类微分代数系统并行仿真算法

利用对误差的预校正技术,本文提出一类微分代数系统的并行仿真算法,进行仿真误差估计。对于一个模型问题进行稳定性分析,画出稳定区域。计算实例表明算法是有效的。     

Some Equivalence Transform Methods for Simulating Models in Control Systems

In this paper two classes of equivalence transform methods for solving ordinary differential equations are proposed. One class of method is the equivalence integral transform method for special differential algebraic problems. The advantage of this class of method is such that the amount of work calculating one integration with parameters becomes that of two interpolations, when the system of nonlinear equations is solved on the right hand side function. The other class of method is the equivalence substitution method tor avoiding calculating derivative on the right hand side function. In order to avoid calculation derivatives, two equivalence substitution methods are proposed here. The application instances of some special effect of the equivalence substitution methods are given.     

战术导弹控制系统几种统计分析方法的比较

本文对随机控制系统的几种新的统计分析方法——AT法、CADET法和SLAM法进行了研究,给出了它们的数学模型,并在此基础上编制了“战术导弹控制系统统计分析软件包”。用实例仿真分析了几种典型随机干扰对导弹脱靶量的影响,比较分析了几种统计分析方法的统计结果,从而得出了有益的结论。     

延迟微分方程隐-显式线性多步法的稳定性

通过研究延迟微分方程隐-显式线性多步法的稳定性,给出两类特殊的隐-显式方法即隐-显式Euler方法和隐-显式BDF方法的稳定性结论,证明了隐-显式Euler方法是P-稳定的,隐-显式BDF方法不是P-稳定的.为了克服边界轨迹法刻画复空间稳定区域的困难,给出了一种新的复空间上稳定区域的刻画方法,并用这种方法给出了隐-显式BDF方法的数值稳定性区域的描述,最后通过数值算例验证了这种刻画稳定区城的方法的可行性.     

常微分方程与代数方程求根

讨论了常微分方程与代数方程求根之间的联系。建立了常微分方程的解与代数方程根的一种联系关系，通过这种联系借助于常微分方程的求解，给出以大范围的初值求出代数方程全部实根的一种方法。还讨论了这种方法的几种具体数值求根算法，并对其中的一些有意义的现象进行了分析。     

微分差分方程的稳定性与时变不确定系统的鲁棒性研究

本文用矩阵测度和比较定理研究了具有滞后的时变不确定系统和微分差分方程,得到了不确定系统能稳和微分差分方程零解一致渐近稳定的充分条件。     

On the Collision Detection Problem of Two Moving Objects Described by Algebraic Sets

In this paper, the collision problem of two moving objects is investigated. The objects are described by two algebraic sets （ellipses or circles in the paper）. The collision problem discussed involves both static and dynamic case. The static case is that each object moves with known velocity. We use nonlinear programming to decide whether the objects collide. The dynamic case is that each object is controlled by a constraint external force which can be regulated online. For the dynamic case, the collision problem can be modelled as a Minmax problem which can be solved by using differential games. If collision occurs, the time and place of the first collision are given. The moving trajectories are provided in the paper.