优BCI—代数的可解性

本文在优BCI—代数中引进了可解的概念,证明了优BCI—代数的一个可解性定理,并给出了优正则的BCI—代数可解的一个充要条件。     

一类微分—代数系数实时控制的零阶保持算法

对于由微分－代数方程描述的一类系统，构造并研究了实时控制的零阶保持算法，为了对算法的控制误差进行补偿，提出了一个预估－校正格式，它可以将控制误差从O（h^3)改进到O（h^4)，得到的结果一般是最优的，作为例子，算法应用到耗尽关机射程控制系统的制导规律的设计，其控制精度可以达到O（h^3)或者O(h^4)。     

微分代数系统时滞依赖稳定性分析

采用线性矩阵不等式的方法,研究了一类微分代数时滞系统的稳定问题,得出了微分代数系统时滞依赖的稳定性条件,验证了微分代数时滞系统解的惟一性、无脉冲性及稳定性.     

变系数线性常微大系统稳定性的一些代数判据

前苏联名学H.И.ГaBpИloB对线性常微大系统建立了零解稳定性的独创判别准则^[1][2]，改进他的结果，得到了变系数线性常微大系统零解稳定性的一些新的代数判据。     

一类可解完备李代数

主要研究一类具有特殊Filiform幂零根基的可解李代数和此类可解李代数的导子代数的结构,给出了每个导子的具体表达式,证明了此类可解李代数是完备李代数.     

一类时滞生态经济微分代数系统的建模与分析

建立了一类时滞生态经济微分代数系统,并研究了其正平衡点的稳定性.当以时滞为分支参数时,利用微分代数系统的标准型和中心流形等理论和方法,讨论了该系统在其正平衡点处的Hopf分支及其分支方向.     

一类微分算子的亚椭圆性与局部可解性

考虑形如P=(D_t—iat~kD_x~l)(D_l—ibt~kD_x~l)+ct~(k-1)D_x~l的一类线性微分算子,给出其在原点亚椭圆性与局部可解性的条件。     

一类微分积分方程的可解性

通过对双解析函数建立的Cauchy型积分公式，得到在双解析函数类中Riemann边值问题一般形式的可解性理论，进一步地对一类微分积分方程得出解的表示形式。     

一类微分-代数系统实时控制的零阶保持算法

对于由微分-代数方程描述的一类系统,构造并研究了实时控制的零阶保持算法.为了对算法的控制误差进行补偿,提出了一个预估-校正格式,它可以将控制误差从O(h 3 )改进到O(h 4 ).得到的结果一般是最优的.作为例子,算法应用到耗尽关机射程控制系统的制导规律的设计,其控制精度可以达到O(h3)或者O(h4).     

一类可解李代数的结构

可解李代数与幂零李代数在李代数结构中起着非常重要的作用.任意一个李代数L,都具有一个极大的可解理想与幂零理想,分别称之为L的可解根基R(L)与幂零根基N(L).因此,在李代数的结构研究中,可解李代数与幂零李代数的结构研究是必不可少的.研究了一类具有Filiform幂零根基的可解李代数的结构,证明了此类可解李代数是完备李代数,并且给出每个导子的具体表达式.     

具有长方系数矩阵的微分代数方程组数值解的渐近稳定性

研究了具有长方系数矩阵的微分代数方程组的数组稳定性.利用克罗尼克标准型将原系统等价转化,获得了线性多步法和龙格-库塔法求解系统时的渐近稳定性结果.     

一类二阶变系数齐次线性微分方程的通解

通过变量代换,将一类二阶变系数齐次线性微分方程化为常系数线性微分方程,并求出在不同条件下的通解公式．     

一类中立型方程的渐近稳定性

通过讨论一类线性中立型系统的渐近稳定性,利用线性矩阵不等式(LMI)和Liapunov泛涵,给出判定此类线性中立型系统渐近稳定的充要条件,在一定基础上简化了判断此类时滞中立型系统稳定性的条件,从而推广了该类判断的结果。     

一类负相依随机变量序列线性形式的强稳定性

研究一类负相依随机变量序列线性形式的强稳定性,得到这类不同分布随机变量序列具有线性形式强稳定性的充分条件.     

一类时延马氏跳跃线性系统在多业务网络中的控制问题研究

研究了一类时延马氏跳跃线性系统(MJLS)在多业务网络中的随机稳定控制问题.通过对多业务网络中时延和丢包现象的分析,给出了跳跃系统在多业务网络中运行的闭环模型.采用随机Lyapunov-Krasovskii稳定性方法,并通过线性矩阵不等式(LMIs)形式给出了状态反馈控制下闭环系统随机稳定的充分条件.最后通过仿真算例验证所提结论的有效性.     

一类线性互联大系统的关联稳定性判定

动态图可以描述互联大系统的拓扑结构。动态图的增广矩阵包含了动态图的所有结构信息。引入动态图增广矩阵的相关理论,结合M-矩阵理论知识,提出了一类线性互联大系统的关联稳定性的判定方法。利用Lyapunov函数及Lyapunov梯度函数,推导出一个判定矩阵H,通过判定矩阵H是否对角占优和是否为M-矩阵,判定线性互联大系统的关联稳定性。算例表明,判定矩阵的参数计算简单,容易获取,有利于判定线性互联大系统的关联稳定性。     

一类线性互联大系统的关联稳定性判定

动态图可以描述互联大系统的拓扑结构。动态图的增广矩阵包含了动态图的所有结构信息。引入动态图增广矩阵的相关理论,结合M-矩阵理论知识,提出了一类线性互联大系统的关联稳定性的判定方法。利用Lyapunov函数及Lyapunov梯度函数,推导出一个判定矩阵H,通过判定矩阵H是否对角占优和是否为M-矩阵,判定线性互联大系统的关联稳定性。算例表明,判定矩阵的参数计算简单,容易获取,有利于判定线性互联大系统的关联稳定性。     

周期系数线性系统的稳定性

利用柯西矩阵的性质,讨论了周期系数线性矩阵的稳定性问题.将矩阵稳定的条件减弱为拟稳定,利用矩阵的不等式运算性质,得到了各种周期系统平凡解稳定的判据,所得结论,推广了现有文献的结论.最后,利用Matlab模拟仿真,验证了所得结果的可行性.     

一类二阶变系数线性微分方程的求解

通过自变量变换，将满足一定条件的二阶变系数线性微分方程转化为二阶常系数线性微分方程，进而求其通解，从而找到了二阶变系数线性微分方程的一个新的可积类型；同时，给出了欧拉方程“换元法”解法的一个理论依据．     

一类具变滞的微分方程的稳定性

本文利用Lyapunov泛函及不等式,研究了一类变时滞线性中立型泛函微分方程[x（t）-m∑i=1aix（t-τi）]＇=bx（t）＋n∑j=1＋cjx（t-δj（t））的稳定性,并得到其零解渐进稳定性的充分条件．