On efficient algorithms for finding efficient salvo policies

We consider the salvo policy problem, in which there are k moments, called salvos, at which we can fire multiple missiles simultaneously at an incoming object. Each salvo is characterized by a probability p_i: the hit probability of a single missile. After each salvo, we can assess whether the incoming object is still active. If it is, we fire the missiles assigned to the next salvo. In the salvo policy problem, the goal is to assign at most n missiles to salvos in order to minimize the expected number of missiles used. We consider three problem versions. In Gould's version, we have to assign all n missiles to salvos. In the Big Bomb version, a cost of B is incurred when all salvo's are unsuccessful. Finally, we consider the Quota version in which the kill probability should exceed some quota Q. We discuss the computational complexity and the approximability of these problem versions. In particular, we show that Gould's version and the Big Bomb version admit pseudopolynomial time exact algorithms and fully polynomial time approximation schemes. We also present an iterative approximation algorithm for the Quota version, and show that a related problem is NP-complete.     

当代西方城市安全观念变迁

城市安全问题伴随着城市的产生而出现,近年来随着城市化进程在全球范围迅猛推进,城市安全问题显得尤为重要与紧迫。资本、人口向城市大量集聚,城市物质空间结构和城市社会结构巨变,城市整体建成环境及其依托的自然生态环境恶化趋势明显,城市安全脆弱度增大,当代城市安全面临新的挑战。西方发达国家对当代城市安全问题的新动向极为关注,对城市安全观念作了深入全面的拓展研究。从城市安全动态发展的视角,对相关文献进行梳理与总结,考察当代西方城市安全观念研究变迁态势,以期为我国城市安全问题的研究深化提供有益的借鉴和启示,推动我国城市化进程的健康和可持续发展。     

基于作战能力的装备保障方法

分析了传统的武器装备保障方法对战时保障的不足,提出了基于作战能力的装备保障方法,阐明了该方法的主要思想.研究了通过建立任务-作战能力-装备及其功能结构之间的关联关系,识别装备保障需求的方法,并讨论了基于作战能力的装备保障中使用保障方案评价、维修保障方案评价、装备使用调配等重要问题.该方法的研究为一体化联合作战模式下装备保障研究工作建立了总的理论框架.     

一类带时滞的非线性兰彻斯特战斗模型的分析

基于非线性兰彻斯特方程的一般形式和现代战争的特点,考虑到时间因素在现代战争中的巨大作用,建立并讨论了一类带时滞的非线性兰彻斯特战斗模型。通过定性分析,得到了模型的平衡点及其稳定性,证明了原模型解的存在唯一性,并给出了解的存在区域。战例分析结果表明该模型能用来描述现代战争。因此,该模型对研究现代战争的战斗进程、武器发展规划、现代军事练兵等都具有一定的参考价值。     

舰炮目标毁伤判定与毁伤效果仿真研究

舰炮对目标毁伤的判定与毁伤效果仿真是舰载作战系统仿真训练的重要组成部分,作为连接舰炮射击与目标毁伤的中间环节,它实现了对目标毁伤状态的判定,以及目标毁伤效果的仿真反馈,从而仿真训练系统中其他仿真成员,以及各型侦察模拟设备可以发现并判定目标毁伤状态,为作战指挥人员进行作战指挥决策提供目标毁伤信息,为参训职手提供更为实战化的仿真训练环境。在简述舰载作战系统仿真训练系统的基础上,重点探讨了基于毁伤概率表和弹目交会的舰炮毁伤判定方法,并简述了目标毁伤效果仿真方法。     

UCAV编队对地攻击智能决策系统总体结构

UCAV编队对地攻击是未来战争制信息权和制空权的关键所在,结合无人作战飞机(UCAV)与有人驾驶飞机各自的特点和优势,提出了UCAV编队对地攻击系统的基本组成和对地攻击流程.根据UCAV编队对地攻击的战术决策类型和决策方式,构造了UCAV编队对地攻击智能决策系统的总体结构并且提出了决策系统应该解决的关键技术,详细分析了所建立的UCAV编队对地攻击决策系统的决策方式和决策流程,并且对该系统所涉及的关键技术进行了详细的研究.     

舰载反潜直升机协同作战效能评估

协同作战效能评估可为舰载反潜直升机装备发展和协同作战指挥提供依据和参考。通过对协同作战效能评估研究现状的分析,提出一种采用模糊综合评判进行协同作战效能评估的方法。首先,对影响协同作战效能的指标进行分类,建立多层指标体系;其次,构建基于模糊综合评判的数学模型,对不同类型指标进行规范化处理,并采用AHP法确定指标权重;最后通过对某型机的协同作战效能进行评估,验证所提方法的有效性和可行性。     

临空高超声速飞行器目标特性分析

临空高超声速飞行器经过几十年的发展,已经从概念原理探索阶段进入到成果应用阶段,其军事潜力和作战效能日益凸显。主要以美军高超声速无人飞行器、空天飞机和高超声速巡航导弹为研究对象,从临空高超声速飞行器的运动特性、电磁特性和红外特性3个方面展开论述,同时结合典型目标进行建模仿真分析;着重探讨了目标特性对未来作战性能的影响。临空高超声速飞行器目标特性的分析研究,为新型防空体系的构建提供了参考,为未来探测跟踪拦截此类目标奠定了基础。     

应用新型Lanchester方程的非对称空战进程预测

针对未来空战中可能出现的非对称空战问题进行研究,在设定的非对称空战背景下构建新型Lanchester方程对问题进行建模分析,得到单一机种和多兵种非对称空战模型,并通过仿真试验验证了模型的有效性,对非对称空战指挥决策提供了一定的帮助。     

区域联合作战装备保障任务分配模型

现代信息化战争是体系与体系的对抗,区域作战联合装备保障成为信息化条件下装备保障的主要方式,实施科学正确的装备保障指挥,进行保障任务分配对于提高保障效益具有非常重要的意义。通过区域作战装备保障任务的特点,依据区域保障要求建立了包括转场时间在内和不同作战方向上作战单元的重要程度不同的装备保障任务分配模型,保证了重要方向上最晚完成保障任务的作战单元保障时间最短和非重要方向上最晚完成保障任务的作战单元保障时间最短。最后,应用遗传算法给出了区域联合作战装备保障任务分配模型的求解方法和步骤,具有一定的科学性和实用性。