一类二阶非线性微分系统的全局渐近稳定性

该文研究非线性微分系统的零解全局渐近稳定性，获得了此系统零解全局渐近稳定的充分条件，推广和改进了文献［4j的结果。     

非线性广义块对角优势函数

本文对文［１］的广义对角优势函数和文［４］的块严格对角占优函数概念进行了推广，提出了非线性广义块对角优势函数的概念，并对其性质，判别条件及应用进行了研究。获得了一些有意义的结果，这些结果推广和改进了文［１］与［４］的相应结果。     

新型大地坐标系中的大地主题解算

基于地球椭球面上所构建的新型大地坐标系，推导出用新大地纵横坐标表述的大地主题解算公式，并研制了相应的正反解算法．与基于大地经纬度的大地主题解算公式相比，更为简捷明了．由实际计算数据表明，在南北向最大跨距达400km、东西向则不受限制的范围内，对于50km以下的距离解算，它亦能达到相当高的精度．因此，这种以新大地坐标表述点位的新型大地坐标系，不仅可用于简化地球椭球面上的计算，更可用于三维GIS建模．     

大型水轮发电机内部故障主保护方案

利用发电机内部故障暂态仿真程序,分析了几种水轮发电机主保护的原理特性,指出它们在应用中存在的问题.指出故障分量负序功率方向保护能同时反映各种不对称故障,可使发电机匝间短路保护实现双重化;微机型负序方向闭锁式转子二次谐波电流保护由于能很好地解决闭锁元件和动作元件之间的时间配合,将能有效避免外部短路时的误动作,同时它在发电机起、停过程中也能提供保护功能,因此是一种性能可靠的发电机主保护方案.同时,提出了基于双曲线非线性制动特性的发电机差动保护判据,该方法计算量小,而且无须进行区段判别,能够获得较为理想的制动特性.     

一类带弱奇异核的偏积分微分方程的数值解

给出了数值求解一类偏微分方程的一种一阶全离散格式。x方向采用Galerkin谱方法,t方向用拉普拉斯的数值逆求解。该方法选择适当的n可以达到所需要的精度。     

基于抽象实现结构图的数据流方程切片方法

提出在PASCAL抽象实现结构图上,采用数据流方程算法实现程序切片的自动化.该方法将过程蓝图的抽象实现结构图引入静态过程内切片领域,实现了程序表示形式与程序切片处理形式的统一,避免了传统方法产生控制流图的需要,简化了切片处理过程,提高了切片处理效率,并直观地反映了切片后的程序变化.     

利用运算矩阵数值求解常微分方程的改进方法

给出一种基于Haar小波积分运算矩阵求解常微分方程的改进方法,称之为区间分段法.在相同误差条件下,该方法计算速度更快,同时,对于不同的子区间,可根据精度的要求来设定离散点数,增加了应用的灵活性.     

凸约束非线性方程组的非单调投影L-M方法

提出一种非单调投影L-M方法求解凸约束非线性方程组,在通常假设条件下,证明了算法具有强收敛性,给出了数值试验结果.     

可变时滞非线性非自治偏差分方程的线性化振动性

各学科对多变量系统进行分析与处理时所涉及的数学模型要求越来越高，其中许多用到差分方程模型。本文在前人工作的基础上，建立了在更一般的条件下，具有可变时滞的非线性非自治偏差分方程的几个线性化振动性定理。并给出了应用例证，达到了预期目的。     

双Sine-Gordon方程的简洁解法(英)

借助于一个可用分离变量法求解的辅助常微分方程,简洁地求得了双sine-Gordon方程的若干显式精确解.