基于PEPA的舰艇编队防空过程建模及分析

防空作战是大型水面舰艇编队的主要作战样式之一。本文运用PEPA（性能评价过程代数）方法对舰艇编队防空作战全过程进行有效建模,形式化描述了预警探测、情报传递、命令下达、防空拦截等作战主要过程。建立的PEPA模型具有层次化结构,考虑了要素间相互协作,体现了编队防空作战分布、并发的特点。通过对建立的PEPA模型进行性能指标选择和稳定状态分析,得到了不同因素对编队能力发挥的影响情况,获得了防空作战的基本要素组成。从而提供了一种解决舰艇编队问题的新方法。     

使用多Agent模型求解N－难题的新方法

借鉴多Ａｇｅｎｔ模型思想给出了求解Ｎ－难题的新方法。将Ｎ－难题分成多个Ａｇｅｎｔ,赋予每个Ａｇｅｎｔ以算法,利用Ａｇｅｎｔ之间的协作和交互有效地进行问题求解。该方法将前人的指数时空复杂度降为多项式时空复杂度,实际实现结果表明了该方法可行、高效。     

作战指数与火力分配统一处理的方法和意义—兼论数理战术学

本文将作战指数与火力分配统一放到战场环境中考虑,提出了作战指数与火力分配的合理性条件和合理交战模式、规范交战模式等概念,证明了规范交战模式是合理的,以及在规范交战模式中作战指数与特征向量的关系,文章最后表达了对建立数理战术学的迫切期望。     

卫星导航系统的体系安全性分析方法

为了应对卫星导航系统内部复杂关系等体系特征为其安全分析带来的挑战、全面识别和分析卫星导航系统面临的体系安全威胁、提高系统的安全性和服务能力,基于功能依赖网络分析理论提出了从体系角度研究卫星导航系统安全性的建模方法,重点对导航系统内组件系统之间交互关系导致的危险传播、任意失效组合进行了后果分析和原因调查。仿真结果表明该方法能清晰地描述危险传播和失效组合的过程以及进行正逆向的推理分析,也证明了该方法在卫星导航系统安全分析问题上的潜力和适用性。     

科技进步引领创新型兵团

3月22日,兵团科技大会传来消息:以精准农业技术体系建立与大面积应用、膜下滴灌技术及相配套的节水新装备新产品开发、棉花机械化收获综合配套技术研究与示     

空军网络化指挥信息系统作战效能评估指标体系构建?

针对目前网络化指挥信息系统作战效能评估指标体系不完善、且缺乏分项指标计算方法模型等问题,从网络化作战对指挥信息系统的作战需求出发,研究构建了空军网络化指挥信息系统的作战效能评估指标体系,并提出了分项指标概念内涵和计算模型与方法,可为指挥信息系统研制提供参考和支撑,为其作战效能的客观评估提供指标体系和模型方法。     

面向体系的目标选择形式化描述及分析

针对信息化条件下各类目标相互作用反制作战能力倍增的特点,进行面向体系目标选择的相关问题分析。通过分析目标体系的概念和层次结构,建立目标选择的概念模型,并进行目标选择的形式化描述与分析,提供了一种研究军事概念模型的思路和方法,有助于目标选择决策支持系统的开发与验证。     

我军军人保险应与我国社会保障制度改革同步发展

建立和完善军地衔接的军人保险制度体系,必须加快立法建设,形成与地方社会保障制度接轨的法规体系;完善险种设置,扩大现有军人利益保障的覆盖面;优化管理体制,成立便于军地协调的组织机构;完善各项制度,形成军地保险的良好过渡;注重吸收借鉴,走社会保险军地同步发展的新路子。     

学学沙丁鱼的“以劣胜优”

沙丁鱼是大海中一种十分平常的鱼,它们身体瘦小,是几乎所有鱼类的食物。但是这小小的沙丁鱼却可以致一头巨鲸于死地。方法很简单:当遭遇鲸鱼时,沙丁鱼就拼命向海岸逃跑,鲸鱼     

战况直播秀，“秀”意何在

伊拉克战争中,美军使用了陆、海、空、天、电一系列高新武器装备,运用了“斩首”“震慑”行动、“超越”攻击等一整套的战役战法,令人眼花缭乱。然而,更让我们感到惊诧的是美军“逢战作秀”的本领：从开战伊始,就史无前例地直接把真“刀”真“枪”的战争场面,像好