一类具时滞的SEIQRS计算机病毒模型的稳定性分析

考虑计算机自身特点、用户对计算机病毒防范意识增强、反病毒软件的使用、主动防御能力的局限性、手动查杀病毒需要的时间及对病毒进行隔离处理等因素,提出一类具有时滞的SEIQRS计算机病毒动力学模型。借助于基本再生数理论及线性化模型的特征方程对该模型进行分析,讨论了阈值R_0〈1时无病平衡点和R_0〉1时地方病平衡点在时滞ζ=0及ζ〉0的局部稳定性情况。     

偏振旋转光反馈半导体激光混沌系统时延特征的隐藏

半导体激光混沌系统的时延特征为混沌通信攻击者重构非法接收机提供了线索,隐藏系统输出的时延特征能够提高通信的安全性。基于单模半导体激光器的理论模型,构建了偏振旋转光反馈半导体激光系统的动力学方程,利用自相关函数及时延特征峰相对高度,数值研究了该系统输出的时延特征。结果表明,在激光器合适的参数条件下,波片快轴方向在30°和60°附近一定范围内,反馈系数较小及偏置电流较大时,时延特征容易被隐藏。     

一类具有时滞及非线性感染率的病毒感染模型的稳定性及分支分析

将时滞及饱和发生率引入到一类具有初级细胞毒性T淋巴细胞(CTLp)和效应细胞毒性T淋巴细胞(CTLe)免疫反应的病毒感染模型,证明了改进后模型无病毒感染平衡点及无免疫平衡点的全局渐近稳定性.同时,给出了免役应答平衡点(正平衡点)产生Hopf分支的充分条件.最后,数值模拟验证了理论结果.     

一类两神经元时滞神经网络稳定性和Hopf分支

研究了一类具有两个神经元两个时滞的时滞神经网络模型.以两个时滞的各种组合为参数,研究了模型的局部稳定性和Hopf分支,得到模型的局部稳定性和产生局部Hopf分支的充分条件.最后,给出仿真实例,验证了理论分析结果的正确性.     

时延相关网络控制系统的输出反馈镇定

研究了一类具有时变时延网络控制系统的输出反馈镇定问题.对于传感器与控制器间产生时变时延情形,采用时延相关切换控制器,通过Lyapunov-Krasovskii泛函方法和广义模型变换,得到了使闭环系统渐近稳定的线性矩阵不等式充分条件,该控制器是可以降阶的.仿真算例验证了该方法的有效性.     

次线性算子交换子在变指数Herz-Morrey空间上的有界性

本文主要利用给出的次线性算子分别与BMO函数及Lipschitz函数生成的交换子在变指数L~(p(·))(R~n)空间上的有界性,证明了其在变指数Herz-Morrey空间MK_(q,p(·))~α~((·)),λ(R~n)上的有界性.     

具反应扩散项和马尔可夫跳变的时滞耦合神经网络的同步

研究了一类具有反应扩散项的时滞耦合神经网络的同步问题．通过构造Lyapunov—Krasovskii泛函,利用线性矩阵不等式技术并结合Kronecker积获得了耦合神经网络依赖T-he滞和反应扩散算子的均方全局指数同步的充分性判据．此外,将细胞激活函数假设为扇形非线性函数,能减少结论的保守性,数值仿真结果证明所得结论有效．     

大型注塑机液压系统综述

在大型注塑机中,通常使用多台定量泵或多台变量泵作为液压系统的动力源。为更好地利用定量泵和变量泵,详细阐述了一种变量泵和定量泵组合使用的方法,介绍了其液压原理和控制方法,并对成本、耗电方面进行了对比,发现变量泵和定量泵组合的方法同时可以兼顾成本和节能两个方面的要求。     

0-1整数规划模型中逻辑表达式的一些注记

从建立0-1整数规划模型的实际出发,对该模型中若干逻辑表达式线性表示、互斥和乘积表达式转化,以及具体的指派问题中能力限制约束的表示问题进行了研究,利用真值表等工具给出了相应的结果.     

基于串扰延时查找表的静态时序分析方法

提出了一种基于串扰延时查找表的静态时序分析方法.该方法首先由芯片版图提取出串扰线仿真电路,然后采用批处理仿真方式得到串扰延时库.之后采用串扰延时分析算法,通过算法自动计算出跳变时间差和负载,处理多攻击线等,最终基于串扰延时库的查找表法进行分析计算,得到精确的串扰延时值.实验结果表明,采用本文提出的基于串扰延时查找表的静态时序分析方法所留裕量在7.24%~37.70%之间,为业界可接受范围内.