计算复特征灵敏度的代数法

对于复特征灵敏度分析问题，文中给出了一种代数法求解公式。从理论分析的角度来说，所提出的方法既适全于单频，也适合于重频。为了说明算法的数值稳定性，文中给出了严格的数学证明。     

微分代数控制问题的数值计算方法

描述许多轨道控制问题的方程通常构成非线性半显式的微分代数系统。本文提出一些数值方法来计算这些控制问题的控制规律。对于一个模型问题,本文进行了稳定性分析,并且给出了稳定性区域。文中估计了这些方法的全局误差,它们给出控制误差与计算步长的关系。     

基于代数变换求解P0阵线性互补问题的不可行内点算法

基于代数变换和KMM算法的框架,通过在牛顿方程中嵌入一种自调节功能,提出了一种新的求解P0阵线性互补问题的不可行内点算法,并证明了该算法的全局收敛性.     

高能重离子碰撞中氦碎片分布的KNO标度无关性研究

本文从簇射粒子分布的 KNO 标度无关性出发,导出了高能重离子碰撞中α粒子分布的 KNO 标度无关性公式.由公式计算的α粒子分布与实验结果相一致.     

k阶伴随矩阵C*k(AB)的性质

对于给定的数域F上的n阶矩阵A,给出并证明了k阶子式阵Ck(AB)的伴随矩阵C*k(AB)的一个性质:C*k(AB)=C*k(B)C*k(A),从而使一般意义下的伴随矩阵的性质(AB)*=(B)*(A)*得到推广.     

基于抽象语法描述的中间表示技术

中间表示技术是高质量可重定目标编译器开发中的关键技术。针对嵌入式软件危机 ,提出了一种基于抽象语法描述的中间表示技术 AIR。AIR以代数数据类型为主体 ,并用面向对象特征对其进行扩展。在这种中间表示技术中 ,通过使用不受限制的高级中间表示 ,可充分利用现有的前端。通过这种语法能对现有中间表示提供自然编码的抽象中间表示 ,提高了编译成份的可复用性和互操作性 ,简化了编译基础设施的建构 ,进一步实现了高质量编译器的快速开发     

图的代数连通度及其点连通度

G是一个简单图.a(G),k(G)分别为G的代数连通度和点连通度,该文刻画了满足a(G)=k(G)的图.G=(V,E)是一个n阶简单图,点连通度为k(G)≤[n/2].H是G的任意最小点割集,则a(G)=k(G)当且仅当对任意u∈H和v∈V\H,有uv∈E.     

On Algebraic Differential Equations

研究了一般形式的代数微分方程的全纯解的增长性，并证明了几个有关定理。证明是根据一个关于Ｗｉｍａｎ－Ｖａｌｉｒｏｎ理论的定理     

有穷下级亚纯函数的唯一性定理

研究了有穷下级亚纯函数的唯一性问题，推广和改进了Ｒ．Ｎｅｖａｎｌｉｎｎａ，Ｍ．Ｏｚａｗａ和本文作者的有关定理，例子证实本文结果是精确的．     

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

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