延迟多重休假离散时间的Geomx/G/1可修排队系统的可靠性指标

首次考虑延迟多重休假离散时间成批到达的Geomx/G/1可修排队系统的可靠性指标,在假定到达间隔时间和服务台的寿命服从几何分布,而服务时间、延迟休假时间、休假时间和服务台失效后的修理时间均服从一般离散分布下,使用一种新的分解方法讨论了服务台如下的可靠性问题:1)在时刻n服务台处于"广义忙期"的概率;2)服务台的瞬态和稳态不可用度;3)服务台在(0,n]时间内的平均失效次数;4)服务台在"广义忙期"内的平均失效次数.得到了一系列重要的可靠性结果.     

分段连续型延迟Logistic方程Runge-Kutta方法的稳定性

讨论了用Runge-Kutta方法求解分段连续型延迟Logistic方程的稳定性,分析了直接运用Runge-Kutta方法会产生伪解,从而建立了不产生伪解的Runge-Kutta方法,讨论了该方法的收敛阶,证明了该方法是局部和全局渐近稳定的.数值实验进一步验证了算法理论分析的正确性.     

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

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

不同公平偏好下最优订购周期和延迟支付期决策

在实际商业活动中,公平偏好会影响供应链成员的决策行为,针对现有延期支付的文献中,尚未考虑FS公平偏好模型、BO公平偏好模型分别对延迟支付期和订货周期的影响,分别构建了公平中性、FS公平偏好模型和BO公平偏好模型下零售商主导的Stackelberg博弈模型,提供寻找各种情况下模型的最优解的办法,利用数值算例,对关键参数进行灵敏度分析。研究表明：①BO公平偏好模型下,供应商最优延迟支付期大于公平中性下供应商最优延迟支付期;公平中性下,供应商最优延迟支付期大于FS公平偏好模型下供应商最优延迟支付期。②FS公平偏好模型下,零售商最优订货周期大于公平中性下零售商最优订货周期;公平中性下,零售商最优订货周期大于BO公平偏好模型下零售商最优订货周期。③FS公平偏好模型下,供应链各成员的利润低于或等于公平中性模型下的利润。④BO公平偏好模型下,供应链各成员的利润高于或等于公平中性模型下的利润。     

具有差异决策规则的产量博弈混沌复杂性研究

基于有限理性策略与朴素决策规则构建了双寡头产量博弈模型,并提出了用状态延迟和加权平均相结合的方法对竞争对手的预期产量进行估计.通过引入辅助变量并利用Jury判据,分析了该模型的稳定性.结果表明,该博弈模型有一个不稳定的边界不动点和一个局部稳定的纳什平衡点.数值仿真进一步证实,产量调节速度与权重的组合值超出局部稳定性区域时会引起复杂的产量响应,例如,分岔与混沌.获取纳什均衡利润是双方产量博弈的最优结果.     

延迟离散Hopfield-型网络广义异步收敛性分析

给出了延迟离散Hopfield -型神经网络的收敛性定理。在广义异步运行方式下 ,证明了对称连接权阵 (只要w0 对称 )条件下的收敛性定理 ,推广了已有的延迟离散Hopfield -型神经网络的收敛性结果 ,表明网络收敛滞后于能量函数收敛最多 2n 1步。最后给出了能量函数的极大值点与延迟离散Hopfield -型神经网络的稳定态的关系。     

随机延迟微分方程复合θ-方法的稳定性

研究了随机延迟微分方程复合θ-方法的稳定性。得到了复合θ-方法均方稳定（MS-稳定）和全局均方稳定（GMS-稳定）充分条件。数值算例及其方差的模拟结果验证了理论上推得结论的正确性。     

非线性随机延迟微分方程Euler-Maruyama方法的收敛性

首先利用附近已有节点上的值通过插值对延迟项进行数值逼近,这是一种崭新的尝试;然后针对较一般情形下的一类非线性随机延迟微分方程初值问题,得到了带线性插值的Euler-Maruyama方法在均方意义下是收敛的理论结果,它部分推广了已有文献中的相关结论。     

一类两步方法的延迟依赖稳定性

讨论实系数延迟微分方程线性多步法的延迟依赖稳定性。重点致力于解析稳定区域和数值方法稳定区域的比较。对一类含有一个自由参数的两步方法，获得了数值稳定区域包含解析稳定区域的条件。数值试验证实了所获理论结果。     

中立型Volterra延迟积分微分方程块θ-方法的稳定性

研究了线性中立型V01terra延迟积分微分方程数值方法的稳定性，给出了块隐式θ-方法保持系统解析解不依赖于延迟的稳定性质的一个充分条件。最后，通过一些数值试验说明了这篇文章的主要结论。