Optimal stopping in software testing

In this paper we address the problem of how to decide when to terminate the testing/modification process and to release the software during the development phase. We present a Bayesian decision theoretic approach by formulating the optimal release problem as a sequential decision problem. By using a non‐Gaussian Kalman filter type model, proposed by Chen and Singpurwalla (1994), to track software reliability, we are able to obtain tractable expressions for inference and determine a one‐stage look ahead stopping rule under reasonable conditions and a class of loss functions. © 2002 Wiley Periodicals, Inc. Naval Research Logistics, 2003     

多阶段含延缓纠正的可靠性增长序化建模分析

多阶段含延缓纠正的可靠性增长试验,其各个阶段内的试验数据分别服从参数不同的Weibull过程.针对现场样本少、传统的可靠性评估方法实施困难的问题,首先在获得各阶段形状参数的基础上,对各个阶段截尾时刻的失效强度建立顺序约束关系.然后,运用Bayes方法融合先验信息,获得最末阶段截尾时刻的失效强度的期望与置信上限.该结果融合了历史阶段的样本信息,优于仅利用单个阶段样本的分析结果,适用于多阶段可靠性增长试验的综合评估.     

基于贝叶斯网络的装备损伤定位系统研究

分析了贝叶斯网络在装备损伤定位方面的优势,及其损伤定位的方法与流程,建立了用于装备损伤定位的贝叶斯网络模型,并开发了损伤定位系统。以某型火炮为例,演示了其损伤定位的一般过程,验证了贝叶斯网络在装备损伤定位中应用的可行性与有效性。     

状态空间表达下控制系统的稳态误差

经典控制理论对系统稳态误差的讨论从传递函数入手,重点是对系统开环传递函数的研究,当系统的输入是任意函数时,引入动态误差系数方法来研究稳态误差,但是当输入具有高阶导数时,动态误差系数将很难得到.现代控制理论中的状态空间表达下求系统的稳态误差很好地解决了这个问题.利用矩阵之间的运算来表示动态误差系数,并且可以得到任意输入下的稳态误差值,在线性定常系统下的推导结果还可以适用于线性时变系统,具有一定的普遍性.     

军事欺骗战法分析的数学方法-应用*

针对军事欺骗战法定量分析困难的问题,采用基于贝叶斯统计推断和博弈均衡分析的数学方法,在理论上为解决此难题提供了一种可行的方法.该方法首先定义基本概率矩阵,然后根据贝叶斯原理为交战双方构造用于统计推断的主观概率矩阵,并在由两个主观概率矩阵元素构成的偏序链与实施军事欺骗机会之间建立对应关系,再将此关系推广到基本概率矩阵,即是否存在实施军事欺骗的机会将由基本概率矩阵元素构成的偏序链决定.对理论成果的初步应用表明:通过分析由战场情报信息构成的基本概率矩阵的偏序链,可以科学地运用军事欺骗和反军事欺骗战法.     

改进博弈论的舰载无人机编队协同对海突击目标分配

目标分配问题是UAV自主控制的重要问题。针对舰载无人机编队协同对海突击目标分配问题,首先建立了基于离散动态贝叶斯网络的目标价值评估模型,在此基础上构建了舰载无人机编队的益损值矩阵,设计了舰载无人机编队协同对海突击目标分配的决策函数,提出了一种基于改进博弈论的目标分配方法,为4种不同约束条件下的目标分配问题分别设计了算法。最后对所建立的目标价值评估模型和改进博弈论的目标分配算法进行了实例仿真,仿真结果表明了模型和算法的可行性和有效性。     

Group support for political violence: The role of emotions and expressive choice in creating conflict or providing peace

This paper provides a rationale for group support for political violence which does not provide a material benefit. Rabin’s (1993) theory of fairness is adopted to demonstrate that although group violence may not be a Nash equilibrium it may be a fairness equilibrium in a game containing psychological payoffs. For this to happen the material stakes must be perceived as low and psychological payoffs are expressive. Although the material stakes are actually high, members of each group may choose expressively to support the use of violence because the probability of being decisive is low. The paper also considers the possibility of peace emerging as a fairness equilibrium. This can only happen if each group perceives the other as making some sacrifice in choosing peace.     

鱼雷生产定型实航工作可靠度的Bayes评估方法

鱼雷实航工作可靠度是鱼雷可靠性评定中的重要指标。针对鱼雷生产定型试验量小的特点,提出一种综合利用不同研制阶段可靠性信息的Bayes评估方法。实例分析表明,该方法通过合理利用设计定型阶段和生产定型阶段的先验信息,可以有效减小生产定型阶段的试验量,具有良好的评估精度。     

一类具有标准发生率的SI型传染病模型的全局稳定性

研究如下一类具有标准发生率的SI型传染病模型{ds/dt=rS（1-（S＋I）/K-β SI/（S＋I）, dI/dt=βSI/（S＋I）-dI。应用微分方程定性理论,给出了该系统地方病平衡点、无病平衡点和总人口消亡平衡点的全局渐近稳定的充分条件。     

李雅普诺夫运动稳定性与平衡状态稳定性的关系

稳定性是系统分析的重要内容 ,针对在系统稳定性分析中 ,运动稳定性和平衡状态稳定性之间常易于混淆的问题 ,详细分析了两种稳定性之间内在本质联系 ,给出了从一种稳定性过渡到另一种稳定性的方法