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

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

ON THE CONSTRUCTION OF GROEBNER BASIS OF A POLYNOMIAL IDEAL BASED ON RIQUIER-JANET THEORY

As a consequence of a previons study of algebraic differential geometry(see [WU1]) theremay be associated to certain special kinds of differential ideals some well-behaved basis enjoyingsome well-behaved properties.If the differential ideals are further specialized so that theycorrespond to ordinary polynomial ideals then such a well-behaved basis will become the usualGroebner basis of the polynomial ideals while the latter is not known for differential ideals.     

A triangular decomposition algorithm for differential polynomial systems with elementary computation complexity

In this paper, a new triangular decomposition algorithm is proposed for ordinary differential polynomial systems, which has triple exponential computational complexity. The key idea is to eliminate one algebraic variable from a set of polynomials in one step using the theory of multivariate resultant. This seems to be the first differential triangular decomposition algorithm with elementary computation complexity.     

非线性微分-代数系统稳定性的几个判据

研究非线性微分－代数系统的稳定性问题,给出利用非线性函数的偏导数矩阵判别非线性微分－代数系统平衡态稳定和不稳定的几个判据,所得结果形式简洁,易于应用．最后利用例子说明所得判据的有效性     

COHERENT, REGULAR AND SIMPLE SYSTEMS IN ZERO DECOMPOSITIONS OF PARTIAL DIFFERENTIAL SYSTEMS

1.IntroductionWeareconcernedwithalgebraicdifferentialpolynomials(abbreviatedas'd-pcis)inafinitenumberofdifferentialindeterminatesoveradifferentialfieldofcharacteristic0.Givenafinitesetofsuchd-pcis,wewouldliketostudyd-Zero(),thedifferentialalgebraicsetdefinedbyPoverauniversaldifferentialfield.Wemayaskwhetherd-Zero()isempty,whetherad-pcivanishesond-Zero()(differentialradicalidealmembershipproblem),whatthedimensionofd-Zero()is,howtodecomposed-Zero()intoirreduciblealgebraicdifferentialsets,andso…     

A Class of Parallel Implicit Runge-Kutta Formulas

A class of parallel implicit Runge-Kutta formulas is constructed for multiprocessor system. A family of parallel implicit two-stage fourth order Runge-Kutta formulas is given. For these formulas, the convergence is proved and the stability analysis is given. The numerical examples demonstrate that these formulas can solve an extensive class of initial value problems for the ordinary differential equations.     

一类并行隐式Runge-Kutta公式

本文针对多处理机系统构造了一类并行隐式Runge-Kutta公式,对2级Runge-Kutta公式给出具有4阶精度的公式族,并证明了它们的收敛性,进行稳定性分析。数值例子表明,该公式可以有效地数值求解较广泛类型的常微分方程初值问题。     

Error Formulas for Lagrange Projectors Determined by Cartesian Sets

This paper studies error formulas for Lagrange projectors determined by Cartesian sets. Cartesian sets are properly subgrids of tensor product grids. Given interpolated functions with all order continuous partial derivatives, the authors directly construct the good error formulas for Lagrange projectors determined by Cartesian sets. Owing to the special algebraic structure, such a good error formula is useful for error estimate.     

导弹追逃博弈微分对策建模与求解

针对导弹攻防对抗过程中拦截器追击具备较强机动能力弹头的追逃问题,建立了双方追逃微分对策模型并给出求解方法.一是给出导弹追逃质点动力学模型;二是基于微分对策理论,建立了导弹攻防对抗微分对策模型,模型以推力角为控制变量,高度,速度和经度角为状态变量,并考虑了地球重力和自转的影响;三是针对模型获得解析解的困难,给出高精度四阶Gauss-Lobatto多项式配点法来逼近非线性方程,通过离散化节点和配点上的状态量和控制量将微分方程组转换为代数约束;四是为采用配点法求解模型,给出了将双边最优对策问题转化为单边最优对策问题的具体方法.最后实例分析对本文研究进行了仿真验证.     

航天器轨道交会问题的制导律设计

空间交会中脉冲推力的假设条件常常无法得到满足,导致实际轨迹与名义轨迹存在较大偏差。首先给出利用微分代数工具实现常微分方程积分的途径,然后利用微分代数迭代实现打靶法,求取每次交会所需的名义速度脉冲值,并在有限推力条件下得出推力弧段结束后的实际位置与名义位置的偏差。最后利用微分代数工具求取在有限推力弧段结束时刻所需施加小量修正速度脉冲值,使得飞行器能够到达指定终端位置,且避免在每个制导周期内迭代以及积分求取速度脉冲所需的复杂计算。     

ON THE THEORY OF RESOLVENTS AND ITS APPLICATIONS

1.IntroductionSomefrequentlyusedalgebraicalgorithmssharethesamepropertythattheytransformasetofpolynomialequationstoasinglepolynomialequationsuchthatthezerosetofthepolynomialsetandthehypersurfacedefinedbythesinglepolynomialareequivalentincertainsense.FOralgorithmswiththisproperty,wemaymention'thealgorithmtofindaprimitiveelementforafinitelygeneratedalgebraicextensionfield[1],thealgorithmtofindaplanecurvewhichisbirationaltoaspacealgebraiccur.e[2]!etc.Inthispaper,wepresentageneralalgorithmwhichcan…     

具有超导储能的电力系统综合控制仿真

对于具有超导储能（SMES）装置的单机无穷大电力系统，本文在Matab的Simulink仿真平台上构造了基于微分代数方程的系统模型，结合逆系统方法和SMES的小信号模型，设计了SMES综合控制器，在两种情况下的Simulink仿真表明了本文设计的控制器可以显著地改善电力系统的暂态性能。     

模糊析取语言的结构特征

采用代数方法探讨模糊 ( F -)析取语言的结构特征 .首先给出了 F -析取语言的等价刻划定理 .进而讨论了其代数性质与结构性质 .因而为其具体应用奠定了基础.     

数字多路选择器网络设计的一种代数方法

多路选择器是一种重要的多功能通用逻辑元件。利用布尔代数运算 ,导出了求布尔函数的简化的不相交SOP形式的一种代数方法 ,提出了基于这种SOP形式的数字多路选择器网络设计的一种代数方法。这种方法可以使待设计的数字多路选择器网络简化到最小树形网络。给出的设计实例说明这种方法是有效而易行的     

A SURVEY ON SEMI-TENSOR PRODUCT OF MATRICES

Semi-tensor product of matrices is a generalization of conventional matrix product for the case when the two factor matrices do not meet the dimension matching condition. It was firstly proposed about ten years ago. Since then it has been developed and applied to several different fields. In this paper we will first give a brief introduction. Then give a survey on its applications to dynamic systems, to logic, to differential geometry, to abstract algebra, respectively.     

多尺度条件下制造系统的监控器设计——极大代数方法

针对在时间多尺度条件下制造系统同时具有离散和连续事件,经典的极大代数方法已经不能描述连续事件问题,提出了一种基于混杂时间Petri网的建模方法,通过建立一个新型的双子代数系统,把混杂时间Petri网模型转化为极大代数模型.在极大代数模型基础上,借鉴自动机理论和格理论,通过定义保并映射和保交映射等概念,提出了一种监控器设计方法.这样我们可以继续在极大代数框架下研究时间多尺度条件下制造系统的建模和控制.一个简单的示例说明了极大代数方法的有效性.     

Some properties of LSQR for large sparse linear least squares problems

<正> It is well-known that many Krylov solvers for linear systems,eigenvalue problems,andsingular value decomposition problems have very simple and elegant formulas for residual norms.Theseformulas not only allow us to further understand the methods theoretically but also can be usedas cheap stopping criteria without forming approximate solutions and residuals at each step beforeconvergence takes place.LSQR for large sparse linear least squares problems is based on the Lanczosbidiagonalization process and is a Krylov solver.However,there has not yet been an analogouslyelegant formula for residual norms.This paper derives such kind of formula.In addition,the authorgets some other properties of LSQR and its mathematically equivalent CGLS.     

求解线性三对角方程组的解耦分解方法

本文给出了求解线性三对角方程组的解耦分解方法,并讨论了在计算机上求解的复杂性分析。理论分析和数值实验的结果表明,该解耦分解方法是有效的。特别值得一提的是,对于MIMD多处理机系统,此解耦分解方法是一求解线性三对角方程组的有效并行算法。     

基于混沌差分进化算法的飞机等效系统拟配研究

提出了基于Tent映射的混沌差分进化算法。以某飞机纵向短周期系统为例,首次研究了基于混沌差分进化算法的飞机等效系统的拟配,克服了一些传统的拟配算法存在的一些缺点。仿真结果表明,基于混沌差分进化算法拟配得到的等效系统满足等效系统拟配的各项要求和一级飞行品质的要求,取得了更好的拟配效果。证明该算法在飞机等效系统拟配中的有效性和高效性。

Abstract：

Chaotic differential evolution algorithm based on Tent map was introduced. Taking aircraft longitudinal short period system as an example,the analog-matching of the aircraft longitudinal equivalent system based on chaotic differential evolution algorithm was studied firstly and overcome the disadvantages of the conventional algorithms in the analog-matching of equivalent system. The simulation results show that the equivalent system by chaotic differential evolution algorithm is satisfied the various requirements in the analog-matching of equivalent system and the requirement of level 1 flight qualities,and has obtained better analog-matching results. The usefulness and high effectiveness of the chaotic differential evolution algorithm in the analog-matching of aircraft equivalent system is proved.     

奇异线性二次型微分鞍点对策的小波逼近解法

研究广义状态系统中线性二次型微分对策鞍点策略的数值求解问题。基于小波多尺度多分辨逼近特性 ,提出了一种数值求解新方法。该法基于Daubechies小波的优良性质 ,特别是将Daubechies小波基的积分运算矩阵、乘积矩阵和快速离散小波变换系数矩阵应用于原问题的主要方程 ,将原问题转化为矩阵代数优化问题 ,避免直接计算耦合Riccati微分方程。算法简洁明了 ,适合于计算机求解。实例计算结果显示 ,该算法是可行的