弹炮结合防空武器系统机动生存能力模型研究

从弹炮结合防空武器系统通过机动作战提高生存能力的角度出发,结合防空武器系统机动作战过程中的战术背景,提取了该过程中决定防空武器系统生存能力的决定性要素,然后分析了该过程中影响防空武器系统生存能力的总机动时间、被发现概率、抗击成功率、被毁伤概率等各项指标的特点,在此基础上建立了用于研究该过程的数学模型,最后给出实例进行了仿真计算,通过对计算结果的分析,证明了该模型的有效性,从而为防空兵机动作战模拟提供了一定的参考.     

网络中心战概念及其体系结构模型

介绍了美、英、澳等军事大国在网络中心战领域的研究状况,阐释了制信息权的概念,给出了网络中心战的定义.分析了美军在<2020年联合构想>中确认的核心作战概念,详细阐述了网络中心作战的顶层概念框架及顶层概念到第二层的映射关系.介绍了网格技术,提出了网络中心战网格模型的立体结构和平面结构,最后总结了对这一领域研究的重要意义.     

基于改进粒子群算法的联合火力打击目标分配研究

针对联合火力打击目标分配涉及影响因素多、存在大量参数和变量的特点,建立了联合火力打击目标分配模型,采用改进的粒子群算法探讨了目标最优化分配问题。对粒子群算法中解空间存在的可能解进行编码,将可能解进行交叉、变异和选择操作得到新的粒子个体,不断迭代,从而得到可行的最优解。通过对一个作战想定的多次仿真,进一步表明了算法的可行性和有效性,为指挥员科学决策提供了依据。     

仿真概念模型可重用性评估

概念模型的重用已成为当今仿真研究的热点问题之一,本文主要对作战仿真中概念模型的可重用性评估展开研究。首先建立了概念模型可重用性评估指标体系,在此基础上研究了概念模型可重用性评估算法,对评估中领域专家的权重分配方法和评估结果的表示方法进行了研究,提出了“静态权重+动态权重”的组合权重分配方法和用Kiviat图表示评估结果的方法。最后对概念模型在“XX作战仿真系统”开发中的重用结果进行了分析,结果表明,通过概念模型的重用可以有效地缩短概念模型的开发时间,提高开发效率,提高概念模型的可信性。     

雷达信号级仿真中的模型耦合问题研究

针对目标回波小尺度幅度起伏特性模型进行了介绍。对雷达线性接收机和对数接收机的特性和模型进行了对比。对雷达信号级仿真中,由于雷达采用非线性对数接收机造成的目标回波小尺度幅度起伏特性模型与接收机模型相互耦合的原因和所产生的影响进行了分析。提出对这样的模型耦合问题必须解决,以保证仿真研究结果的有效性。     

基于仿真实验的弹道导弹阵地优选

合理部署弹道导弹位置对于提高作战效能具有至关重要的作用。基于解析计算的优化方法难以反映环境因素、武器装备的技术和动力特性等不确定性因素对部署位置的影响,求得的结果存在置信度低的问题。故将解析法与仿真实验相结合,以体系对抗条件下弹道导弹作战效能评估的数学模型为基础,建立了由各种作战实体和行动的模型聚合而成的弹道导弹攻防对抗仿真模型,然后通过仿真实验找出最优部署位置,最后给出了应用示例。实验表明该方法具有速度快、效率高、结果清晰直观的特点,可为指挥员提供科学、快速的决策支持。     

美军C4ISR系统核心体系结构数据模型的分析

介绍了与核心体系结构数据模型相关的一些基本概念,通过深入分析美军C4ISR体系结构的相关研究成果,分析和研究核心体系结构数据模型设计过程中的主要工作,并对其前景进行了展望.     

VLMC控制流软件可靠性度量方法

针对现有软件可靠性模型普遍不适用于实际软件的问题,分析了软件内部模块间控制转移机理,通过分离入口模块,提取一阶控制转移概率矩阵;弱化内部模块与出口模块间差异,重构二阶以上转移概率矩阵,在改进Cheung模型的基础上建立一个更符合软件实际的可靠性度量模型。针对变阶依赖（ VLMC）控制转移导致的可靠性度量难问题,通过对导致复杂依赖的多入多出模块进行节点扩展,将VLMC控制流转化为Markov链,利用所建立的软件可靠性模型对VLMC控制流软件进行可靠性度量。研究利用演绎推理对所建立模型进行了正确性形式化证明。最后给出了方法的实例验证。     

军队工程招标激励模型研究

运用激励理论研究了军队工程招标采购过程中军方与承包商之间的关系,建立了军队工程招标激励模型。在不完全信息和竞争性招标中,投标人的行为是追求最大的效用,军方则需要建立一种机制诱使投标人按真实成本信息报价,以达到预期支付最小的目的。这种招标博弈的结果是军方与投标人之间达成贝叶斯纳什均衡(Bayesian Nash equilib- rium),即军方利用激励合同诱使投标人报出其真实成本,而投标人为达到中标目的则必须采取讲真话的占优策略,最终在双方均可接受的条件下达成协议。在此基础上,结合实际研究提出了改进的综合评标模型。     

一种面向故障的软件测试新方法

面向故障的软件测试方法是今后软件测试技术研究的主要内容.和传统的面向整个软件的测试方法相比,面向故障的测试方法对故障的检测针对性更强,特别是对传统测试方法难以检测的故障如存储器泄露故障、数组越界故障、空指针引用故障等的检测是非常有效的.从方法学上讲,面向故障的测试方法标志着一个测试理论的成熟,在测试方法学中具有里程碑的意义.面向故障测试方法有2个问题需要解决:①软件的故障模型,②面向该模型的自动测试方法,此文重点论述软件的故障模型问题.