双复合Poisson风险模型的赤字尾概率

研究双复合Poisson过程的风险模型,得到了关于赤字尾概率的函数型不等式,并且作为它的应用,得到了一些指数型上界估计,使得某些已有结果得到推广.     

一组对称函数的不等式

利用建立不等式的降维法，证明了一组对称函数的不等式．主要结果是：对于，I=(0，1)，g(t)=I/t，(x1，…，xn)∈I^n，Em(x1，…，xn)是初等对称函数，记s=a∑i=1xi，↓Am∈N，↓An≥m且n≥3，若0＜s≤，则Em[g(x1)，…，g(xn)]≥Cn^m[g(s/n)]^m。     

时变时滞的Lurie控制系统的 H∞状态反馈控制器的设计

针对一类状态和控制输入同时存在的具有时变的Lurie控制系统,利用Lyapunov泛函和线性矩阵不等式(LMI),研究了该系统的渐近稳定性及H∞状态反馈控制器的设计问题,给出系统无记忆渐近稳定且具有H∞性能的一个LMI条件.通过对受条件约束的线性矩阵不等式的描述,给出系统存在γ次优状态反馈H∞控制律的设计方法.利用Matlab工具箱给出一个算例,验证了设计方法的优越性和有效性.     

一个-4 齐次核的Hilbert型积分不等式

通过引入参数及估算权系数,建立一个核为 齐次的Hilbert型积分不等式,同时给出了相应的等价形式.     

正弦性质定理和切点单形几何不等式的推广

推广了文[1] 中的正弦性质定理及文[2 ] 中关于切点单形的一个几何不等式 ,即得到了下面的两个定理     

具有混合时滞随机离散神经网络的渐近稳定性分析

研究了一类具有离散和分布时滞的随机离散神经网络的模型,通过构造新的Lyapunov-Krasovskii函数,给出了模型渐近稳定性的定理.以线性矩阵不等式形式给出的定理,易于用Matlab的LMI工具箱求解.最后通过仿真实例证明了定理的有效性.     

三角代数的Jordan同构

利用对幂等元的作用确定了非交换环上三角代数的Jordan同构的结构;由此结构判断该Jordan同构或者是同构,或者是反同构.     

带有不可控变迁的一般不等式约束的Petri网控制器综合

针对关于标识向量和Parikh向量的一般不等式约束的Petri网控制器实现问题,研究控制对象中存在不可控变迁情况下实现Petri网反馈控制器问题.首先利用Petri网的状态方程把关于标识向量和Parikh向量的不等式约束转变成关于Parikh向量的不等式约束,由于Petri网中不可控变迁的存在,故不能直接对给定不等式约束进行控制器设计,需要对不等式约束进行转换.提出一种新约束转换技术把不允许转变为允许不等式约束,然后设计Petri网反馈控制器.最后将该方法与Iordache等人提出的方法作比较,实验结果显示该方法更简单、更有效.     

活性污泥污水处理系统的最优鲁棒H_∞保成本控制

针对具有凸多面体参数不确定性的污水处理控制系统,研究其鲁棒H∞保成本控制器的设计问题。首先,给出变参数活性污泥系统的状态空间模型;然后,结合二次型性能指标和H∞性能指标,导出系统鲁棒H∞保成本控制器存在的充分条件以及相应的控制器设计方法,并通过线性矩阵不等式,给出该控制器增益的可行解。以某污水厂污水性质和处理能力为例,应用所设计的鲁棒H∞保成本控制器进行仿真研究。仿真结果表明:采用该方法使系统最终的稳态误差较小,证明该方法是可行和有效的。     

一类离散时滞大系统的指数稳定非脆弱控制器设计

研究了一类离散时滞大系统的指数稳定非脆弱控制器设计问题.基于Lyapunov稳定性理论和线性矩阵不等式方法,设计系统的状态反馈非脆弱控制器,以线性矩阵不等式形式给出系统的指数稳定的充分条件,并可以通过M atlab十分方便地求解.