基于时滞分割法的具有leakage项时滞的离散型神经网络状态估计

摘要：研究一类具有leakage时滞的离散型神经网络的状态估计问题．通过构造新的Lyapunov泛函得到保证估计误差全局渐近稳定的充分条件,并通过求解一个线性矩阵不等式（LMI）得到状态估计器的增益矩阵．采用一种新的时滞分割方法将变时滞区间分割为多个子区间,使该结果在获得更小的保守性同时也降低了计算的复杂度．     

一类具有变时滞系统的α稳定性

本文对线性变量滞系统进行讨论,通过利用Lyapunov函数的方法和线性矩阵不等式,给出了该系统的一个充分条件。并对线性控制系统稳定性的应用有一定的影响。     

一类恒成立不等式的形数求解法

数形结合就是把抽象的数学语言与直观的陪衬图形有机地结合起来进行思考,促使抽象思维与形象思维和谐渗透,通过对规范图形或示意图的观察分析,化抽象为直观,化直观为精确,从而使问题得到简捷地解决。函数图像法是用图像来表示两个变量的函数关系,其优点是形象直观。函数的图像是学好函数知识直观形象的工具,通过观察函数图像的变化趋势,可以总结出函数的性质。另外函数图像是数形结合的有效载体,它以形为主,辅之以数,用于一类恒成立不等式的求解上,可谓另辟蹊径,别开生面,而使问题的解决别具一格。例1:设关于x的不等式(x-1)2相似文献   

絮话函数与方程

“函数”是数学中最基本也是最重要的概念之一，是构成初等函数整体的要素，也是认识整体的基础，有人则认为中学数学中，“数”是通过函数概念串联代数、三角和解析几何知识的。方程可视为一种特殊的函数，不等式可看作两个函数值大小的比较，三角是一类特殊的函数，解析几何中的曲线便是相关函数的图象。     

几类微分方程解的有界性

本文研究了几类二阶微分方程解的有界性,建立了它们的一切解有界的若干充分条件,所得结论,拓广了文[1]—[3]的部分结果.     

论微分方程中的两个不等式

对于具有无限时滞中立型泛函微分方程,以空间为相空间,讨论了方程解的性质,得到了关于解的两个重要不等式。     

具有离散时滞与分时时滞的非自治系统的渐近稳定性

研究了一类具有离散时滞与分布时滞的非自治线性系统的渐近稳定性问题,利用Lyaplunov函数方法和线性矩阵不等式（LMI）,得到了系统渐近稳定性的一些充分条件,这些条件能够利用线性矩阵不等式（LMIs）表示,且表达式中含有具有时变时滞与分布时滞项,这样,具有时变时滞与分布时滞的非自治线性系统的稳定性就能够通过Matlab的LIM工具箱进行验证。     

LMI的鲁棒H∞滤波在惯导初始对准中的应用

给出了基于线性矩阵不等式(LMI)的鲁棒H∞滤波器的设计过程,该方法克服了传统的代数Riccati方程方法诸多条件的限制.当把系统模型不确定性用多胞型表示时,只需求解线性矩阵不等式组,可以方便的设计滤波器.在惯性导航系统(INS)初始对准中的应用表明,基于LMI的鲁棒H∞状态估计器在系统参数具有不确定性时,仍能保证较短的对准时间,并可使估计失准角收敛,具有良好的鲁棒性.     

时滞细胞神经网络的代数抗饱和补偿设计

针对时滞细胞神经网络,提出了一种基于代数判据的抗饱和补偿设计。运用M矩阵理论、迪尼导数、系统参数设计了无饱和输入限制系统镇定的代数判据。在此基础上,利用不等式放缩原理、分区讨论与大中取大综合方法和Lyapunov理论,得出了二次矩阵不等式形式的抗饱和控制设计方案,进而将之转化为线性矩阵不等式。同时,给出了吸引域及其最大化方法。仿真验证了该设计方案的可行性和有效性。