一类具多比例时滞细胞神经网络的全局指数稳定性

通过构造合适的Lyapunov泛函和运用Halanay时滞不等式,讨论一类具多比例时滞细胞神经网络的全局指数稳定性,得到了判定该系统平衡点全局指数稳定的一个时滞独立的充分条件.通过数值算例和仿真结果验证了所得结论的有效性.     

等式约束优化问题的一类混合共轭梯度投影算法

构造了一种混合共轭梯度法,并将其与Rosen投影梯度法相结合运用于求解线性等式约束优化问题.这种新的混合共轭梯度投影法有效改善了Rosen投影梯度法收敛性速度较慢的情况,并在Wolfe线搜索下具有全局收敛性.     

一类随机线性系统的鲁棒自适应非线性控制设计

论文讨论了一类具有随机输入的线性控制系统的自适应鲁棒跟踪控制问题。将M.Krstic等提出的自适应非线性控制器设计方法与鲁棒控制基本原理相结合;证明了当控制系统的随机输入满足一定条件时,采用随机Backstepping自适应控制方法,能确保系统输出与参考信号误差的均方值全局有界,并能渐近收敛到一个预先任意置定的精度内。仿真实例表明这种控制器具有很好的鲁棒跟踪效果。     

周期摄动保守系统周期解的存在唯一性(英文)

长期以来,许多学者对牛顿运动方程解的存在和唯一性问题进行过研究,解决这类问题的方法主要有不动点定理,扰动理论、全局反函数定理、连续同伦法、变分法等.引入非负强制函数,利用吸引盆理论和比较定理证明了周期摄动保守系统周期解存在的一个充分条件,并证明已有的一些结论是本文主要定理的推论.     

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

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

一个自动确定信赖域半径的锥模型信赖域方法

自适应信赖域算法由于利用了对算法有重大影响的有关当前迭代点的信息,提高了算法的效率,因此对于无约束最优化问题提出一个锥模型自适应信赖域算法.算法中信赖域半径采用新的自适应修正策略.算法在每步迭代中以R-函数变化的速率、水平向量信息以及当前迭代点的一阶导数信息来修正信赖域半径的大小,使得信赖域半径的修正依据于问题本身,克服传统信赖域算法中没有利用当前迭代点的信息修正信赖域半径的缺点.在一定的条件下简洁地给出了算法的全局收敛性分析.算法丰富了已有的自适应信赖域算法.     

一个阶段时滞结构的生态-流行病模型的害虫综合防治策略

分析一个阶段结构的捕食者-食饵（天敌-害虫）模型,利用人工周期定量地投放有病的害虫和天敌去治理害虫．通过脉冲微分方程理论,证明了周期投放量p和q满足β2q（exp（mT）-1/（exp（d4T）-1）exp（（m＋d4）T）-1）＋β1p/exp（d3T）-1〉be^-d1τ时,害虫幼虫及成虫将灭绝,而病虫和天敌的密度驱于一个稳定的水平,并进一步证明了当周期投放量p和q满足be^-d1τ-d2E〈β2q（exp（mT）-1/（exp（d4T）-1）exp（（m＋d4）T）-1）＋β1p/exp（d3T）-1〉be^-d1τ时,害虫的密度将在经济受害损失允许水平之下并与天敌共存．     

一类具有非线性传染率的SEIRV传染病模型分析

建立和研究一类具有非线性传染率的SEIRV传染病模型,通过构造Liapunov函数与Bendixson判据,得到疾病灭绝与否的基本再生数R0.当R0<1时,无病平衡点全局渐近稳定,且疾病最终消亡;当R0>1时,唯一的地方病平衡点全局渐近稳定.     

营养再生的双营养恒化器模型的全局稳定性

讨论了一类单种群双营养的恒化器模型，得到了绝灭平衡点和幸存平衡点全局稳定的充分条件。     

一种基于事务冲突图的并发控制方法

提出了一种基于事务冲突图的并发控制方法，事务在执行前要提交其读集和写集，系统根据事务的读集和写集构造出一无圈的事务冲突图，并根据事务冲突图进行并发控制，这种并发控制方法上具有对数据主加无结构要求，无死锁，非两阶段等优点，讨论了其集中式并发控制方法和分布式并发控制方法。