Birkhoff系统的Poincare—Cartan积分不变量

基于现代微分几何学，分析了作为保守系统和非保守系统的推广－Birkhoff系统的辛结构。构造Birkhoff系统的Poincare-Cartan积分不变量。最后，将一维阻尼振动作为示例，求出其Poincare积分不变量。     

基于圆判据的一种LMI绝对镇定方法

针对非线性Lur'e系统,提出了一种输出反馈控制器综合方法。对于系统在无摄动及线性部分存在乘性范数摄动的情况,分别设计了保证闭环系统绝对稳定的动态输出反馈控制器。由圆判据出发,通过把绝对稳定性问题等价地转化成H∞控制问题,得到了一组由线性矩阵不等式(LMI)表达的控制器存在的充分性条件。     

一类混杂动态系统的能控性（I）——基本结果

首次将时滞现象引入到线性切换系统的模型中，研究含有时滞线性切换系统的能控性及其判定条件．全部工作由三部分组成，第I部分首先，提出含时滞的线性切换系统的数学模型，并介绍切换系统的基本概念——切换序列．其次，引入列空间、循环不变子空间和广义循环不变子空间等基本几何概念，给出一些有关概念的基本性质，特别是分离引理．然后以一个基本引理的形式揭式某一积分方程的解集与广义循环不变子空间之间的联系，这个引理将在能控性的判定中起关键作用．这些概念和引理都将作为以后展开能控性分析所必需的研究工具．     

一类混杂动态系统的能控性(Ⅲ)——含多时滞的情形

首次将时滞现象引入到线性切换系统的模型中,研究含有时滞线性切换系统的能控性及其判定条件。全部工作由三部分组成。第Ⅲ部分,主要研究含多时滞的线性切换系统的能控性及其判定规则。首先给出周期型系统的单周能控性和多周期能控性的定义和充要条件,其次给出非周期系统的能控性的定义和充要条件。最后,研究时滞大小不一致的情形,指出能控性与时滞大小无关。     

非线性三种群空间周期解的存在性

本文考虑以下系统: ,用Darboux方 法彻底解决了该系统空间周期解的存在性问题.     

ARMAX系统不外加输入激励的辨识

本文在不外加输入激励情况下，讨论了开环不稳定和非最小相位的ARMAX系统系数的一致估计．所用方法是用适应镇定的办法，使得闭环系统成为平稳可逆的ARMA过程，然后利用Yule-Walker方程给出闭环系统系数的一致估计，而把求开环系统系数的一致估计归结为解一组线性代数方程。     

极限环的表达式和计算

本文提出一种解析法和数值法相结合的方法，用来计算多项式微分系统的极限环，极限环表示为x=∑k≥0(ak cos kφ bk sin kφ),y=∑k≥0(ck cos kφ dk sin kφ)，先用解析法求出小参数时极限环的初始表达式，然后用增量法和迭代法求出任意参数时极限环满足给定精度的表达式，半稳定极限环和分叉值也可以计算。     

具有第二次多选择服务的M[X]/G/1排队系统

本文研究成批到达的具有第二次多选择服务的单服务员排队系统．顾客的到达形成一广义泊松过程，不同批的顾客按先到先服务的规则，而同一批的顾客按随机次序接受服务．两次服务的服务时间都是一般分布且相互独立．本文采用补充变量法，求得在瞬态和稳态情况下系统队长的概率母函数，然后又计算出顾客的平均队长和平均等待时间．     

一类三次系统极限环的惟一性

讨论三次系统x=x(A0+A1x+A2y+A3xy-A4y2)y=y(x-1)的极限环问题.得到了该系统不存在极限环和存在惟一极限环的条件.     

计算机上的抽象算符演算系统

本文在REDUCE语言环境下,利用公理化方法建立了一个“抽象算符演算”系统.使REDUCE系统可用于抽象的算符演算,逆演算;用于Laplace变换,逆变换及解微分方程,推导公式,以及验证有关定理等.