基于时滞兰彻斯特战斗模型的现代攻防对抗?

针对现代攻防对抗研究的复杂性,在分析已有的现代战争模型的基础上,充分考虑时间因素在作战中的影响,建立了反映双方对抗态势的时滞兰彻斯特战斗模型,并借助Matlab?Simulink工具箱,对模型进行了数值仿真实验。仿真结果表明：时间因素在现代攻防对抗中占据越来越重要的地位。最后依据所得结论,分别探讨了攻防双方为取得最佳战绩应当采取的对策,为武器装备发展规划、现代作战决策与军事练兵提供一定的理论指导。     

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

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

网络新词

正滚雪球效应所谓的滚雪球效应是一旦获得了起始的优势,雪球就会越滚越大,优势会越来越明显。一个小小的冰块、石头或者就是一把雪,在雪地上滚几下就会迅速膨胀成一个大雪球,只要你有足够的力气和兴趣,这个雪球会滚成足够惊人的体积。马蝇效应再懒惰的马,只要身上有马蝇叮咬,它也会精神抖擞,飞快奔跑。启示:     

画里话外

正速效布卢姆菲尔德医生以善于医治关节炎而闻名,他的候诊室总是人满为患。一天,来了个小老太太,她的腰弯得几乎成了90度,拄着一根拐杖。轮到老太太了,她走进了诊室。五分钟之后,老太太走了出来,令人惊奇的是,她现在站得笔直,昂首挺胸。     

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

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

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

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

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

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

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

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

广义模型的音频分析方法

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

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

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