富国与强兵不等式的艰难求解——我看中国式裁军

建国60年来，人民解放军经历过十次较大规模的裁军。其中前四次发生在50年代，后五次完成于改革开放的30年间，1975年的第五次半途搁浅。     

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

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

传感器失效下飞控系统的容错H_∞滤波器设计

研究了传感器失效下飞控系统的容错H∞滤波器的设计问题。将未知有界的传感器故障矩阵转化为一类动态区间矩阵,在给定允许的失效范围内,提出了保证滤波误差系统的渐近稳定性同时对于外界干扰具有期望的H∞扰动衰减度γ的容错H∞滤波器设计方法。最后,以Navion飞机在海平面平飞的纵向小扰动线性系统为例验证了提出方法的有效性。     

流化H.264编码的数据并行方法

流模型是一种源于媒体处理的新型并行计算模型.然而H.264编码作为媒体处理领域中的重要应用,在与流模型适配时,却出现重要障碍,主要是由于相关性问题极大地限制了流化过程中数据级并行的开发.针对这个问题,首先根据编码算法分析了编码过程中遇到的相关性问题,然后为各主要编码模块分别提出解除相关性限制的数据并行编码方法.采用这些...     

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

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

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

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

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

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

絮话函数与方程

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

几类微分方程解的有界性

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