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

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

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

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

分年龄段的互惠模型的行波解

讨论了一类分年龄段的生物种群互惠模型的行波解存在性问题．在一般带时滞的互惠Lotka—Volterra模型基础上,考虑了年龄段和空间非局部等因素对反应扩散方程行波解存在性的影响．构造了一对合适的上下解,利用单调迭代方法证明了模型的两个平衡点之间行波解的存在性,进一步丰富了单调方法的内容．     

一类非线性时滞差分方程的有界持久性

考虑一类非线性时滞差分方程:xn 1=∑1-0Ai/xp1k-1,n=0,1,2…这p.,p,…,p,Ak均为正常数,A0,A1,…Ak-1均为非负常数,初始值x-k,xk=1…x0为任意给定的正数.利用分析的技巧,得到了方程的正解有界持久的某些充分条件,部分回答了G.Ladas提出的一个公开问题;改进了已有文献中的相关工作.     

基于改进Lagrange乘子法的交通信号配时优化研究

为提高交叉口的机动车通行效率及环境效益,采用改进罚参数来构造一种新的Lagrange乘子法对交叉路口的交通信号进行优化配时。通过权重系数建立车辆延误与尾气排放的数学模型,利用改进Lagrange乘子法进行优化,将其结果与两种典型智能算法的优化结果进行对比,并利用VISSIM(Verkehr in Stadten Simulation)微观交通可视化仿真软件进行验证。实验结果表明,该方法优化的信号配时使车辆延误降低19.89%,尾气排放量降低2.379%,可见大比例优化了交叉口的车辆延误,同时可以降低尾气排放量。     

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

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

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

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

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

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

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

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

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

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