Testing of software with an operational profile

One of the important features of any software system is its operational profile. This is simply the set of all operations that a software is designed to perform and the occurence probabilities of these operations. We present a new model on optimal software testing such that testing is done sequentially using a set of test cases. There may be failures due to the operations in each of these cases. The model parameters, consisting of testing costs and failure rates, all depend on the cases used and the operations performed. Our aim is to find the optimal testing durations in all of the cases in order to minimize the total expected cost. This problem leads to interesting decision models involving nonlinear programming formulations that possess explicit analytical solutions under reasonable assumptions. © 2000 John Wiley & Sons, Inc., Naval Research Logistics 47: 620–634, 2000     

机载多目标攻击武器系统作战飞行程序设计

机载多目标攻击武器系统是当今航空武器系统研究的重点和发展的标志 ,其作战飞行程序设计是系统顶层设计的主要内容之一。综合了已有的研究成果 ,绘制了机载多目标攻击武器系统的功能逻辑流程图。在此基础上 ,采用模块化设计思想 ,进行了机载多目标攻击武器系统的作战飞行程序的组织结构设计 ,并阐述了基于表驱动和时间刻度管理的系统任务调度技术。     

Bayesian testing strategies for software with an operational profile

We consider a software reliability model where the failure rate of each fault depends on the specific operation performed. The software is tested in a given sequence of test cases for fixed durations of time to collect data on failure times. We present a Bayesian analysis of software failure data by treating the initial number of faults as a random variable. Our analysis relies on the Markov Chain Monte Carlo methods and is used for developing optimal testing strategies in an adaptive manner. Two different models involving individual and common faults are analyzed. We illustrate an implementation of our approach by using some simulated failure data. © 2001 John Wiley & Sons, Inc. Naval Research Logistics 48:747–763, 2001     

使用保障资源的确定方法探讨

在使用保障过程中需要9项使用保障资源,包括人力与人员、保障设备、技术资料、训练与训练保障、计算机资源保障、保障设施、储存和运输、能源、弹药等。其中人力与人员、使用保障设备2项内容与使用保障联系最为紧密,在装备的研制阶段就应考虑确定。主要讨论了用相似系统法确定人力与人员的数量,用排队论确定保障设备的品种和数量。     

作战活动分析方法与建模

作战功能是作战节点具备的履行作战活动的能力,作战任务是作战节点履行作战活动的原因和目的.首先,从研究作战任务、作战功能、作战活动等基本概念着手,分析作战任务、作战功能和作战活动三者之间的关系.然后,建立模型,通过数学关系式a=A(f,t)说明作战活动是作战功能、作战任务的二维函数,作战节点履行什么作战活动由作战功能和需要完成的作战任务共同决定;在此基础上,构建作战功能、作战任务、作战活动三者的关系矩阵,用关系矩阵的形式分析、描述作战节点履行的作战活动;最后,结合IDEF0建模方法,给出分析、确定作战活动的基本步骤.     

装备需求论证工具化研究

以体系工程思想和DoDAF2．0为指导,在系统分析国内外装备需求论证工具软件研制现状和存在的问题基础上,提出了装备需求论证工具化概念及其软件功能需求,优化设计了工具软件体系结构框架,并着重探讨了软件集成和数据模型等关键支撑技术,为装备需求论证工具化实践奠定了理论基础。     

基于元评估的武器装备作战效能评估可信性研究

针对武器装备作战效能评估过程中存在的诸多不确定因素,研究了作战效能评估的可信性问题;利用元评估方法对武器装备作战效能评估的可信性进行评估,归纳了基于元评估方法进行可信性评估的原则、步骤和框架;在此基础上,研究了元评估在可信性评估中所涉及的几个关键问题。     

武器装备的使用可靠性及其保障

在分析武器装备使用中实际可靠性水平的基础上,论述了外界因素和操作人员对武器装备可靠性的影响,提出了在使用维护中武器装备可靠性保障的思路和措施。     

面向远火面压制的阵地体系生存效能评估

为满足阵地战时毁伤规律研究需要,以阵地体系为研究对象,从系统的角度出发,探究阵地体系目标生存效能与物理毁伤的映射关系,构建阵地体系生存效能评估模型,并运用蒙特卡洛方法实现阵地目标毁伤模拟,给阵地体系目标的毁伤量化评估与防护决策提供了依据.     

舰舰导弹武器系统作战效能评估

在规定舰舰导弹典型作战任务剖面的情况下,运用美国工业武器系统效能咨询委员会评估武器系统效能的方法,建立舰舰导弹武器系统作战效能评估数学模型,并进行了算例验证和分析。结果表明:该模型可有效评估舰舰导弹武器系统作战效能,为舰舰导弹武器系统作战效能的评估提供了有效且便于操作的方法。