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

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

基于HLA的地空导弹指控模型仿真

基于HLA标准开发仿真系统已成为分布式仿真系统实施的一个热点。对基于HLA标准的地空导弹指控模型仿真进行了探讨,并分析了给出的HLA模型。此种方法可有效地提高系统的开放性、重用性和可扩展性,为地空导弹武器系统仿真提供了新手段,对于其它武器系统的建模与仿真也具有参考价值。     

地面防空火力配系方案评估模型

地面防空火力配系方案的选择,是防空兵火力配系的关键环节,其合理与否,直接关系到作战效能的发挥和防空作战的成败。根据防空作战的实际,提出了地面防空火力配系方案评估的准则,在对评估准则的建模要素进行分析的基础上,构建了每个准则的计算模型,并给出了评估模型的计算方法,提供了模型应用的一般程序。     

多武器系统的火力分配模型

目前对于单一兵器火力分配问题的解决方法比较成熟,然而由于在现代防空作战中,经常是多种类型的兵器联合进行防空,故需要对多种不同类型的兵器的火力分配问题进行探讨。这里针对多种不同类型的兵器毁伤多个目标的问题,建立了数学模型,进行了深入的探讨。按照模型的特殊性,定义了映射、邻域和连通的概念;同时针对模型,将遗传模拟退火算法进行了一定的修改,并利用此算法对模型进行了最优化求解。最后,实例的计算结果表明该算法对于模型的求解具有较好的收敛性。     

空中进攻作战出动计划禁忌搜索优化分析方法

空中进攻作战出动计划涉及多种复杂因素,大规模空中进攻作战出动计划不仅计算量大、出动强度高、架次多,而且当战场形势发生变化时,必须及时对飞机出动计划做出调整,采用手工方式制定和修改作战计划已难以适应未来空中进攻作战的要求。从分析制定空中进攻作战航空兵出动计划所涉及的诸要素出发,提出了一个较为合理的作战出动计划模型,并采用禁忌搜索求解模型的优良解,为实现计算机制定和及时修正空中进攻作战出动计划提出了一种有效的解决方法。     

广义模型的音频分析方法

目前网络数据中包含有大量的多媒体数据,音频作为多媒体信息的重要载体之一,蕴涵了丰富的语义,有效地丰富和补充了人们对信息的感知和获取。而目前的多媒体检索主要利用的是常规的信息检索技术诸如视觉信息,往往忽略了音频信息,这已不能满足需要。音频信息检索就逐渐成为多媒体信息检索的研究重点之一。基于此,针对音频信息检索问题展开讨论,提出一种利用广义模型进行音频分析的新方法。该方法可应用到音频检索中,实验证明了该方法的有效性。     

对武器系统RMS指标的研究

总结了确定武器系统RM S(可靠性R e liab ility、维修性M a in ta inab ility、保障性Supportab ility,以下简称RM S)指标的一般要求,描述了确定RM S指标的一般程序;根据RM S仿真的基本原理,确定了一套全面描述武器系统RM S的参数指标,建立了以系统装备完好性为目标的RM S的仿真模型。     

云重心理论在防空兵作战能力评估中的运用

防空兵作战能力评估是一个复杂的多指标综合体系,不仅与作战编组、部署、地形和敌我战场情况的处置等因素有关,而且还包含许多随机和模糊因素。在建模分析中各指标基本评定值确定比较困难。结合防空兵作战能力评估模型,运用“云重心”理论确定了评估模型中各指标基本评定值,增强了模型的可信度和可操作性。     

基于GIS的战术级地面防空群指控系统

结合战术级地面防空群指挥控制系统的需求背景,提出了基于GIS软件平台指挥控制系统设计方案。该方案可以充分实现地理信息指控决策的有效结合,在旅级指控系统中已获得成功应用。可大大提高参谋与指挥人员制定作战方案能力和效率,实现对瞬间战情作出动态响应,有效掌握战场的主动权。     

系统动力学防空战场信息战模型

现代条件下的防空作战是一种信息化作战样式,阐明了防空信息战的基本概念,论述了系统动力学用于研究防空信息作战的适用性,建立了防空战场信息战的系统动力学模型,通过对模型不同仿真结果的比较,印证了制信息权在防空作战中的重要性,做出了防空战场信息作战的对策分析。