用格林函数叠加法求解椭圆型微分方程边值问题

本文提出了一种求解椭圆型微分方程边值问题的数值方法——格林函数叠加法.根据椭圆型微分方程的格林函数,分别采用直接求解和最小二乘法推导了其求解方程和离散求解方程.算例表明了本文方法的可靠性.     

用回转变换张量法求解FANUC S—5机器人的运动学问题

本文就一台六轴通用机器人ＦＡＮＵＣ Ｓ－５，建立了它的运动学模型，利用回转变换张量法求解出运动学正逆问题的封闭式解。在求解逆问题的过程中，根据ＦＡＮＵＣ Ｓ－５的结构特点分析了其可能的所有解，从而为机器人的运动空间分析、轨迹规划以及在此基础上开发应用系统提供了运动学理论依据。     

奇摄动三阶非线性边值问题

利用微分不等式技巧和Volterra型积分算子，研究了三阶非线性奇摄动边值问题解的存在性、唯一性及渐近估计．     

某一类一阶非线性中立型泛函微分方程的振动性

研究一阶非线性中立型泛函微分方程的振动性,获得方程为振动的某些充分性条件。     

具振动系数二阶中立型方程非振动解的渐近性

给出了一类非线性中立型方程在振动系数下非振动解的渐近分类。     

ORACLESQL* FORMS触发器运行分析

对ＯＲＡＣＬＥＳＱＬ＊ＦＯＲＭＳ触发器运行的分析，表明触发器的运行机制与普通的程序设计技术既有相似之处，又有区别，正确掌握触发器的运行机制是触发器设计过程的重要一环。     

完整保守力学系HL函数表示的运动微分方程

本文给出完整保守力学系统用Ｈ函数和Ｌ函数联合表示的运动微分方程讨论该方程的运动积分和方程的不变性。     

三阶非线性微分方程正解的存在性

证明了非线性三阶微分方程ｕ＾ｍ＋ａ（ｔ）ｆ（ｕ）＝０满足下列条件之一：ｕ（０）／０，ｕ‘（０）＝０，ｕ（１）＝０；ｕ（０）＝０，ｕ’（０）＝０，ｕ‘（１）＝０；ｕ）＝０，ｕ’（０）＝０，ｕ〃（１）＝０；ｕ（０）＝０，ｕ″（０）＝０，ｕ（１）＝０；ｕ（０）＝０，ｕ″（１）＝０，ｕ‘（０）＝０，ｕ″（０）＝０，ｕ（１）＝０的两点边值问题正解的存在性，只要ｆ（ｕ）于两个端点ｕ＝０和ｕ＝＋∞处或者是超线性     

增量式模糊控制与模糊系统的稳定性

本文介绍了增量式模糊控制（ＩＦＣ）的原理与设计思想，指出ＩＦＣ是ＦＣ系统实现渐近稳定控制的有效方法。文中运用模糊增量、隶属度增量及模糊目标的可达性概念，给出一种模糊变量的动态描述，并且给出了能与传统李雅普诺夫稳定性定义相一致的ＦＣ系统稳定性的统一定义     

On Algebraic Differential Equations

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