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

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

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

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

二层线性规划的几何特性与最优性条件

二层系统模型是描述具有层次特性管理决策系统的有效方法, 本文讨论了一类有广泛代表性的二层线性规划模型及其几何特性, 给出了这类二层线性规划模型最优解的几种最优性条件。     

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

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

障碍可越路线规划的符号图方法

本文给出２—Ｄ路线规划问题在障碍可越情况下的启发式符号方法．这一方法利用推理规则在由图像信息导出的连通图知识结构上进行启发式符号Ａ搜索以对空间关系进行分析和分类，以符号描述形式给出两声间路线规划方案．     

组合合成阵的不可约性

本文讨论了布尔矩阵的组合合成的基本性质,用图论方法找出了２级组合合成阵为不可约的一些充分条件。     

广义变换图G^＋∞（R,S）的边连通度

记Ａ＋∞（Ｒ,Ｓ）为具有行和向量Ｒ及列和向量Ｓ的所有ｍ×ｎ阶非负整数矩阵的集合．广义变换图Ｇ＋∞（Ｒ,Ｓ）的顶点定义为Ａ＋∞（Ｒ,Ｓ）中的矩阵,两个顶点（矩阵）相邻当且仅当它们可通过一次变换相互得到．并证明Ｇ＋∞（Ｒ,Ｓ）的边连通度等于其顶点的最小度δ（Ｇ＋∞（Ｒ,Ｓ））．     

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)*得到推广.     

高校内部MIS的集成与信息交换

简要介绍了高校内部MIS的现状；指出异构数据库是客观存在的历史问题，认为如何实现异构数据库之间的透明访问是信息交换和系统集成的关键；总结了异构数据库互操作的常用方法以及它们的工作原理，并提出了一种基于XML的解决方案。     

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

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