边界拟合坐标系中的流动方程

本文提出了流体力学解析边界拟合坐标系方法，及建立在这种坐标系基础上对流动方程进行摄动处理的方法，并列举几种流动建立了解析边界拟合坐标系中的方程。     

处理优化约束条件的微分方程法

在文[1]中,作者曾提出求解一般约束优化问题的一种新方法。本文利用微分方程对约束条件做进一步的讨论,证明了从一可行点的某邻域出发的该微分方程组的解关于部分变元总收敛到问题(1.1)的可行点。     

一类对称的Kolmogorov系统的定性研究（Ⅰ）

本文对一类对称的三次微分系统进行探讨，对每个奇点导出表示其鞍结性的型号公式。给出（Ｋ３）所有的六种全局相图。     

第二类非线性Fredholm型积分方程数值解的超收敛性

本文讨论第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程数值解的超收敛性，以Ｇａｌｅｒｋｉｎ方法为基础建立了该类方程的Ｇａｌｅｒｋｉｎ算法、小波Ｇａｌｅｒｋｉｎ算法以及它们相应的迭代校正格式，证明了两种算法数值解的超收敛性，不仅将Ｈａｍｍｅｒｓｔｅｉｎ积分方程的结果推广到第二类非线性Ｆｒｅｄｈｏｌｍ型积分方程，而且应用小波分析工具得到了更精确的结果．     

考虑摩擦时机构力分析的简化线性方程解法

考虑摩擦时机构力分析是一个求解非线性方程组的问题。目前常用的三种解法都属于迭代法,求解速度慢,而且对高级机构求解困难。本文建立了一种无须迭代的简化线性方程解法。这种方法比通常的迭代法收敛速度提高3—10倍。算例结果表明,采用本文解法所得结果具有相当高的精度,最大相对误差只有0.84％。     

吴消元法在精确求解电力系统潮流方程中的应用

应用吴消元法求得算例系统潮流方程的全部精确解，得到了其他方法难以得到的完整的Py、Qy曲线，包括低压运行曲线，并通过平衡点稳定性分析，得到节点电压状态参数空间中平衡点稳定与不稳定的区域分界．阐述了系统受大扰动后过渡到低电压运行状态的可行性，为电压失稳机理的探明提供了依据．     

一阶逻辑完备性定理的新代数证明

给出了一阶逻辑完备性定理的一个新的代数证明，这个证明不使用依赖于Boole代数表示定理的γ-解释，但使用关于Q-滤子△↓的△↓-解释，也需要用到选择公理，另外指出了已有代数证明的不足之处，并作了修正。     

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

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

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

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