考虑用户行为和排错延迟的多版本软件可靠性增长模型

软件在测试阶段和使用阶段操作环境的差别导致软件测试可靠性和运行可靠性不完全相同.软件在发布后的使用和维护阶段,软件可靠性的增长不仅体现在软件固有故障的排除,而且用户对软件的熟悉程度也会影响软件的可靠性.本文研究了软件固有故障检测过程、固有故障纠正过程和外在失效过程的特征,建立了考虑用户行为和排错延迟下的多版本软件可靠性增长模型.通过一组来自于开源软件用户缺陷跟踪系统中的真实数据进行数值分析,试验结果表明提出的模型具有较好的效果.     

使用递增性延迟建立攻击连接链的关联

提出一个主动干扰跳板机连接中数据包间隔延迟的方法, 在攻击者所能干扰跳板机连接数据包延迟间隔允许范围之内, 使检测窗口内包间延迟的平均值循环递增. 通过分析两个连接链包间延迟平均值的递增性, 确定攻击连接链的关联. 这个方法可以有效地减少连接关联计算量, 提高跳板机检测的有效性.     

一种新的时滞细胞神经网络全局渐近稳定性准则

研究了一类具有时滞的细胞神经网络全局稳定性问题。首先,提出所研究的时滞细胞神经网络模型、系统激活函数所需满足的条件及本文需要用到的引理。然后,将所研究的系统通过一个等式进行线性变换,在定义一个与系统相关的积分操作基础上讨论时滞细胞神经网络的全局渐近稳定性。与早期的文献结果相比,本文所得结果具有更少保守性,并且该条件是与时滞相关的。本文所得到的稳定性准则可以很容易地求出系统稳定的时滞上界,进而可以很容易得到时滞无关稳定性结果。最后,用一个数值例子证明本文所得的稳定性条件是有效的。     

基于观测器的广义时滞系统最优保成本控制

讨论一类含有参数不确定性且具有状态滞后的广义时滞系统的观测器型最优保成本控制器设计问题.不确定性假设是时变的且范数有界.通过基于状态观测器的线性状态反馈控制并采用一种新方法,结合凸优化理论得到了不确定广义时滞系统的最优保成本控制器的设计方法.该控制器的设计使得在满足一定的条件下对所有的不确定性,广义时滞系统是鲁棒可镇定的且二次型保成本指标最小,并证明了所得结论等价于一组线性矩阵不等式(LMIs)的可解性问题.最后给出实际算例验证了设计方法的有效性.     

退化时滞微分方程的特征根

通过研究退化时滞微分方程E.x(t) Ax(t) Bx(t-τ) C.x(t-τ)=0,t≥0的特征根数目,其中rankE=q0是时滞,detC≠0,(E,A)正则.结论是前述方程只有有限个特征根.     

脉冲时滞抛物型方程组边值问题的振动性

讨论了一类多滞量带脉冲的抛物型方程组解的振动性质,利用平均值方法以及泛函不等式获得了其一切解在两类边界条件下振动的充分条件,其中利用了Green公式,Jesen不等式以及垂直相加的方法,把抛物型偏微分方程组的振动问题转化为微分脉冲不等式不存在最终正解的问题,然后在两类边界条件下分别得到了判别其所有解振动的充分条件.     

无限时滞非自治竞争系统的持久性

众所周知,对于有限时滞的泛函微分方程,其相空间几乎都是采用连续函数加上确界模所构成的空间;而对于无限时滞的泛函微分方程来说,不同的方程和不同的具体问题会选取不同的相空间.合适的相空间会使得问题迎刃而解,反之,会困难重重.因此选择相空间是解决问题的首要步骤.通过选取空间Cg为相空间,考察了具有无限时滞非自治竞争系统的持久性问题.进一步,得到系统持久与非持久的充分性条件.所得结果与王克[3]的结果是互不包含的.     

一种新的蠕虫检测和控制方法

在分析网络蠕虫连接请求和网络正常连接请求差异的基础上,提出一种新的蠕虫检测和控制方法.该方法针对网络蠕虫攻击特定端口以及攻击地址发散的特性,采用基于端口的多工作集区分网络蠕虫连接请求和网络正常连接请求,在蠕虫控制中使用多延迟队列处理可疑连接请求,避免了不同端口流量之间的相互影响;针对网络正常连接请求的暂时突发特征,利用令牌桶控制多延迟队列的输出,缩短了正常连接请求在延迟队列中的停留时间.测试表明,在主机感染了蠕虫后,新方法将误报率从85%降低到12%,对正常连接请求的平均延迟时间从95.4s降低到5.6s.     

关于捕食者-食饵系统正周期解存在性的一个反例

举出一个具有时滞和功能反应的两种群捕食者-食饵扩散系统的反例,并证明该系统不存在正的ω-周期解.这个反例说明了,2003年LI Bin-wen在《Ann.of Diff.Eqs.》上得出的结论是错误的.     

滞后中立型线性离散系统的滞后无关稳定性判据

给出了几个滞后中立型线性离散系统稳定性的充分条件，由于这些条件与滞后无关且形成简单，对于初步判定其稳定性提供了有用的工具。