Lipschitz非线性系统的H_/L∞故障检测观测器设计

针对Lipschitz非线性系统提出了一种基于H_-/L_∞故障检测观测器的设计方法.首先,利用有限频域的H_-指标来刻画观测器生成残差的最小故障敏感度,利用未知干扰到残差的L_∞范数来描述残差对干扰的鲁棒性能.其次,提出了基于L_∞范数性能指标的残差评价与动态阈值生成方法.此外,给出了H_-/L_∞故障检测观测器的存在条件并整理成线性矩阵不等式.最后,仿真算例验证了本文所提方法的正确性与有效性.     

单边Lipschitz 非线性时滞系统的函数观测器设计

基于线性矩阵不等式理论, 研究一类非线性时滞系统的函数观测器设计. 通过选取合适的Lyapunov-Krasovskii 泛函, 得到函数观测器增益矩阵存在的充分条件, 并系统地提出函数观测器增益矩阵的设计方法. 仿真实例表明, 所设计的函数观测器是可行有效的.

     

蚁群算法解决连续优化问题的新途径

为了克服蚁群算法难以直接处理连续优化问题的缺陷,在保持蚁群算法基本框架的基础上,将传统蚁群算法中蚂蚁由解分量的信息素和启发式的乘积值按比例来决定取值概率的方式,改为根据连续的概率分布函数来取值.并将函数在各个维上的极值点方向作为蚂蚁搜索的启发式信息.在标准测试函数上的试验结果显示,该算法不但具有较快的收敛速度,而且能够有效地提高解的精确性,增强了算法的稳定性.     

反常积分中值定理

建立并证明了无穷限反常积分与无界函数反常积分的中值定理,并对闭区间上连续函数的性质进行了推广,得到若干在无穷区间上的相关结论。     

一类基于微分方程模型具有连续分布延迟神经网络的稳定性分析

考虑一类基于微分方程具有连续分布延迟的神经网络模型。利用Lozinskii方法的性质和微分不等式方法,获得了这类具有连续分布延迟的神经网络的渐近稳定的一些充分条件,结果去掉了对激励函数有界性的要求。     

一类四阶非齐次微分方程解的稳定性

通过构造Liapunov函数,并利用有关微分方程解的稳定性的若干结果,证明了一类四阶非齐次微分方程解的全局渐近稳定性,从而推广了文献[1-2]的结果.     

半连续函数的平方凸性

在半连续前提下,给出了平方凸函数和严格平方凸函数的不等式刻划.     

两个极限命题的证明

用归纳法证明了两个极限命题。（1）设m〉1,pi（x）（i=1,2,…,m）是[1,＋∞）上的连续正函数,在满足一定条件下成立limx→＋∞[∫1^xt^m-1p1（t）p2（t）…pm（t）dt]/x^mp1（x）p2（x）…pm（x）=a1a2…am/a2a3…am＋a1a3…am＋…＋a1a2…am-1（2）设pjn,an。（j=1,2,…,m;n=1,2,…;m〉1）均为正数,在满足一定条件下成立limn→∞（∑k=1^nak^m-1p1kp2k…pmk）/an^mp1np2n…pmn=a1a2…am/a2a3…am＋a1a3…am＋…＋a1a2a…am-1     

基于Darboux定理论证的几个重要性质及其应用

本文通过从Darboux定理这一角度出发,阐述了微积分学中的一些常见的重要性质,简明扼要,论证充分.并且可以将这种论证方法渗透到教学中去.最后举例说明Darboux定理的应用.     

基于拟单边Lipschitz条件的一类非线性系统降维观测器设计

为了研究一类非线性系统降维观测器设计问题,引入拟单边、弱拟单边Lipsehitz条件,采用线性矩阵不等式方法给出了该类系统降维观测器渐近稳定的判据.借助(弱)拟单边Lipsehitz条件,研究了系统非线性项对降维观测误差渐近收敛性的贡献,得到了比现有的方法减小保守性的判据.证明了在系统的参数不可检测性时,所给出的判据仍...