IMM-SRUKF在GPS/INS组合导航中的应用

针对无迹卡尔曼滤波(UKF)鲁棒性不强的问题,结合全球定位系统/惯性导航系统(GPS/INS)紧组合模型特点,提出了基于交互式多模型(IMM)的混合平方根无迹卡尔曼滤波(SRUKF)算法.该算法采用交互式多模型结构,克服了模型不确定性因素的影响;采用平方根滤波技术,解决了协方差矩阵难以保持正定的问题.同时,考虑到内部滤波器与线性/非线性模型不匹配,引入混合滤波思想,对SRUKF进行了优化.将新算法应用于紧组合模型进行仿真,结果表明:新算法能够以适当的时间复杂度,获得较强的鲁棒性能,适用于复杂的导航环境.     

变时滞静态神经网络的全局指数稳定性

基于拓扑度理论和推广的Halanay矩阵微分不等式,研究了变时滞静态神经网络的全局指数稳定性,并给出了实用有效的判定条件。     

捕食者具有传染病的捕食系统的全局稳定性

疾病可以在不同的种群之间传播。研究疾病在相互作用种群之间的传播规律,是种群生态学与传染病动力学的一种结合。通过假设捕食者和食饵均是密度制约、捕食者具有传染病、染病的捕食者不能捕食、染病的捕食者可以恢复但具有暂时的免疫力,建立了一类食饵一捕食系统的SIS传染病模型,利用比较定理研究了解的有界性,利用特征根法和Hurwitz判据分析了系统的无病平衡点和地方病平衡点的局部稳定性,通过构造Lyapunov函数,讨论了无病平衡点和地方病平衡点的全局渐近稳定性,从而得到了疾病流行与否的阈值R,并证明当R≤1时无病平衡点全局渐近稳定,从而疾病消除;当R〉1时,地方病平衡点全局渐近稳定,从而疾病流行。     

Banach空间中一类微分方程整体解性质

本论文，把描述微分方程整体解性质的著名定理Ｗｉｎｔｎｅｒ定理由原来的 Ｒｎ空间推广到 Ｂａｎａｃｈ空间。为证明推广后的结论成立．首先给出了四个引理．其中这四个引理在特殊的Ｂａｎａｃｈ空间──—Ｒｎ空间中是作为有关解的基本性质定理出现的［１］．     

具有边界记忆项波动方程的初边值问题

研究一类具有边界记忆项的非线性波动方程的初边值问题,利用Galerkin方法、紧性原理得到了整体解的存在性,利用补偿能量法得到了解的渐近性.     

含孔有限弹性板缓和应力集中的总极值优化法

讨论了“积分型总极值”优化方法在二维多连域弹性体形状优化中的一个应用.具体计算了含椭圆孔的弹性有限板两边受拉伸时,为减少应力集中加入两个辅助孔的形状优化问题.通过优化设计辅助孔的位置和孔径以及中心孔的形状使应力集中明显降低.实例表明“积分型总极值”最优化方法具有约束处理方便、优化效果好和收敛速度较快的特点,适合于求解这一类形状优化问题.     

无约束优化问题的一种新的共轭梯度法

为了求解无约束优化问题,提出了一种新的共轭梯度法,并证明了其在适当的条件下满足全局收敛性.初步的数值结果表明新的共轭梯度法是有效的.     

Banach空间一阶常微分方程的整体解

讨论了在无限区间上Banach空间中的常微分方程初值问题的整体解的存在性，对于初值问题，采用上下解的单调迭代方法求解，针对无限区间的特点，采用适当的控代程序，在较弱的条件下，获得了整体解的一些存在性与唯一性结果，并给出了在一阶非线性偏微分方程中应用例子。     

基于LMI的随机时滞神经网络的全局渐近稳定性分析

研究了一类时变时滞与分布时滞的随机神经网络模型的全局渐近稳定性,该模型考虑了神经网络的随机扰动性.通过构造适当的Lyapunov泛函,以线性矩阵不等式的形式给出了系统全局渐近稳定的充分条件.最后,数值算例说明了结果的正确性.     

多关节机器人的全局快速终端模糊滑模控制

针对多关节机械臂轨迹跟踪控制,提出了一种全局快速终端模糊滑模控制方法.该方法根据滑模控制原理,采用模糊控制调节滑模控制的切换增益,并利用积分的方法自动对系统的建模误差和干扰的上界进行评估,实现了对建模误差和干扰的自动跟踪,削弱了抖振.文中利用李亚普诺夫定理证明了系统的稳定性,仿真结果表明了其有效性.