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

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

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

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

Wyner-Ziv系统中MCTI边信息生成算法

Wyner-Ziv视频编码的特点是编码简单、解码复杂,适用于无线通信系统中资源受限的视频编码设备。在Wyner-Ziv视频编码系统中,为获得高质量的解码图像,边信息构造算法起着重要作用。文章首先利用前向和后向运动估计得到最初的运动矢量,然后采用双向运动估计和运动补偿时域插值方法生成边信息,针对边信息中出现的块效应和重叠现象,利用加权重叠块运动补偿技术加以解决。实验结果表明,所提出的加权运动补偿算法要优于已有的双向运动补偿算法,且可获得较理想的边信息重构。     

党建传真

正兵团出台干部任前考察档案审核办法近日,兵团出台《干部任前考察档案审核办法(试行)》,对在兵团党委管理干部选拔任用工作中实行干部档案任前审核作出规定。据悉,该《办法》严格贯彻中共中央组织部关于实行干部档案任前审核制度要求,把档案审核作为干部考察工作的重要内容,进一步细化审核内容,规范审核程序,严格责任追究,突出干部基本信息准确、经过组织认定,档案内容真实完备、无涂改造假,档案材料齐全、整理符合规范等要求。(邴祖轩)     

红色短视频融入高校思政课的逻辑向度、价值意蕴与实践路径

在新媒体发展方兴未艾的时代,红色短视频日益成为高校思政课的优质教育素材。红色短视频天然具有的意识形态属性和立体化艺术呈现效果,与高校思政课的价值导向深度契合,在短视频用户人数逐年跃升的发展态势下更显示出了其内部蕴含的能够激发人们共情思维的强大影响力。把红色短视频与高校思政课堂有机结合起来,有助于提升课堂教学效果,从而全面达成培养担当民族复兴大任时代新人的根本教学目标。     

C4ISR体系结构设计方法

系统体系结构的设计在C4ISR系统开发中具有重要的地位,文章深入研究了目前运用广泛的三种C4ISR系统体系结构分析设计方法面向过程分析方法、面向对象设计方法和三维视图方法,分析了各种方法的优缺点并进行了比较;讨论了C4ISR体系结构设计方法和C4ISR系统本身的发展趋势以及两者之间的密切关系,对C4ISR系统体系结构的建设提出了自己的看法.     

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

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

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

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

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

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

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

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