软件可测性评估

介绍了现有的软件可测性评估方法,继而提出了基于程序结构的软件可测性评估方法,该方法充分考虑了软件的失效机理,针对测试对象的不同特点,给出了面向控制流的软件故障执行的概率、数据状态感染的概率及以变量的定值-引用为基础的被感染数据状态传播到输出的概率等估计方案,在此基础上,进行了软件可测性的评估.     

基于BPAF判决的决策层目标属性融合研究

在D-S证据理论框架下,研究了基于目标基本概率赋值(BPAF)判决的决策层目标属性融合问题。简要介绍了D-S证据组合理论框架,阐述了基于BPAF判决的决策层目标属性融合策略、步骤;分析了证据严重冲突时,Dempster证据组合规则不合理的本质原因;提出必须对D-S证据组合规则进行改善等需要继续深入探讨的几个问题。     

C4ISR/M&S互操作HLA仿真设施

基于仿真互操作标准组织(Simulation Interoperability Standards Organization,SISO)C4ISR/M&S互操作技术参考模型和高层体系结构(High Level Architecture,HLA),C4ISR/M&S互操作HLA仿真设施为架构仿真系统运行体系提出了面向方面框架(Aspect Oriented Framework,AOF)和应用服务平台的技术.AOF能控制C4ISR/M&S互操作所引起的仿真系统结构复杂化,应用服务平台则能丰富仿真系统的运行环境,仿真设施可作为仿真系统通用运行体系的基础组件,支持复杂互操作系统开发.     

基于BP神经网络的D-S证据理论及其应用

命题基本概率分配(BPA)的确定是D-S证据理论得以广泛应用的关键之一.目前,大部分确定方法受专家知识偏好影响较大,难以反映客观情况.将BP网络运用到基本概率分配的确定过程中,使得BP网络和D-S证据理论两者有机地联合应用,这样既可利用D-S证据理论来表达和处理不确定信息,又可以充分发挥BP网络的自学习、自适应和容错能力.文中建立了基于BP网络的D-S证据理论的故障诊断模型,并给出了证据的融合算法.仿真实验表明,该模型可行.     

Sojourn time analysis of a queueing system with two‐phase service and server vacations

We consider a two‐phase service queueing system with batch Poisson arrivals and server vacations denoted by M^X/G₁‐G₂/1. The first phase service is an exhaustive or a gated bulk service, and the second phase is given individually to the members of a batch. By a reduction to an M^X/G/1 vacation system and applying the level‐crossing method to a workload process with two types of vacations, we obtain the Laplace–Stieltjes transform of the sojourn time distribution in the M^X/G₁‐G₂/1 with single or multiple vacations. The decomposition expression is derived for the Laplace–Stieltjes transform of the sojourn time distribution, and the first two moments of the sojourn time are provided. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

Effective attacks in the salvo combat model: Salvo sizes and quantities of targets

This article considers two related questions of tactics in the context of the salvo model for naval missile combat. For a given set of targets, how many missiles should be fired to produce an effective attack? For a given available salvo size, how many enemy targets should be fired at? In the deterministic version of the model I derive a simple optimality relationship between the number of missiles to fire and the number of targets to engage. In the stochastic model I employ the expected loss inflicted and the probability of enemy elimination as the main performance measures and use these to derive salvo sizes that are in some sense “optimal.” I find that the offensive firepower needed for an effective attack depends not only on a target's total strength but also on the relative balance between its active defensive power and passive staying power. © 2006 Wiley Periodicals, Inc. Naval Research Logistics, 2007     

基于模糊评判的装备战损修复率评估

装备战损修复是保持和恢复战斗力的重要因素,而现在尚无明确的方法对修复率进行准确的评估.将模糊评判法引入评估过程中,通过分析各影响因素,运用模糊评判的方法进行量化,并根据战损装备修复流程图将各因素进行综合评判,确定了较为科学合理的装备战损修复率计算方法.     

流媒体的RTP传输与QoS管理策略研究

应用RTP协议进行传输和实现QoS管理是当前数据传输方面的热点问题,通过分析RTP协议的结构和原理,提出了一种RTP的传输模型,实现了数据流的RTP传输,同时就RTCP协议(RTP协议的传输控制部分)对QoS的管理策略进行了理论探讨.     

Fuzzy-AHP法在潜射巡航导弹命中概率分析中的应用

为准确评价潜射巡航导弹的命中概率,对影响命中概率的因素进行了具体分析,建立了潜射巡航导弹命中概率综合评价的指标体系.应用模糊综合评判及层次分析法,给出了综合评价的数学模型.对算例的仿真计算,得出了较为可信的结果.结果表明应用此方法,可以更准确的对潜射巡航导弹的命中概率进行评估,为潜射巡航导弹的研发及使用保障提供决策参考.     

水面舰艇防空武器射击效能评定

武器射击效能就是武器系统完成规定任务程度的度量,为了表征这种"有效程度",射击效能的评定必须采用某些数量指标.基于军事运筹学和概率统计学理论,采用国际上通用的评定指标对水面舰艇防空武器射击效能进行分析和研究,建立了单一防空武器系统和多种防空武器系统综合射击效能评定的数学模型,为水面舰艇防空武器射击效能的评定提供了一种方法.