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

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

美军在信息安全视野下利用社交媒体政策研究

近年来,美军逐步调整社交媒体政策,重视发挥其在公共事务、家庭服务以及塑造军队形象中的独特功能。从信息安全的角度出发,在分析美军社交媒体政策发展变化及其内在动因的基础上,总结出美军运用社交媒体所采取的信息安全措施。     

防空反导网络化作战发展研究

网络中心战是信息时代重要的作战形式,可将战场信息优势转化为决策优势,是信息技术在军事领域应用的必然选择,网络中心战在防空反导领域的应用也称为防空反导网络化作战.主要跟踪研究了国内外网络中心战的最新进展和发展趋势,分析了网络化作战的特点和关键技术,针对我国防空反导武器系统的现状,提出了防空反导网络化作战的发展建议.     

基于预警时间窗口的空天反导预警体系构建

如何构建一个完善的反导预警体系并确保反导预警时间充足是当前的一个研究热点,创新性地应用反导预警时间窗口分析各类预警系统的性能,并为反导预警体系构建给出相关决策依据。首先结合预警时间窗口的概念,给出天基支援下预警时间窗口的数学描述;然后,建立了反导预警过程中攻防双方的数学模型及仿真方法;接着,对反导预警时间窗口的计算进行了具体分析;最后,结合具体仿真实例,分析了天基预警卫星对反导预警时间窗口的扩展作用,得出了一些较为实用的结论。     

The Obama administration's phased-adaptive architecture: technological,operational and political issues

In 2009, the Obama administration announced a new missile defense strategy, termed a phased-adaptive architecture (PAA) focused primarily on countering the growing threat from theater ballistic missiles. The success of this strategy is predicated on the rapid development and fielding of successive increments of defensive capability in a manner adapted to the specific requirements for missile defenses in different regions of the world. The administration is committed to building a European regional missile defense system, the European PAA or EPAA between now and 2020. The first elements of the EPAA were deployed in late 2011. However, much progress is still required in order to reach the goals set for the PAA. This article addresses the technological, operational and political issues confronting the Obama administration in its efforts to make the PAA a reality.     

Into the black box? Technology sharing in major arms transfers and beyond

From the recipients’ perspective, arms transfers have, through the use of offsets, technology transfers, and industrial participation, become an opportunity to receive not only advanced weapons, but also technologies not otherwise available. How important are friendly relations for securing a military export order? To what extent do buyers demand advanced military or commercial technology and how are these demands accepted by the supplier? How does this influence smaller producers in relation to major producers? These questions are addressed by studying (a) the Joint Strike Fighter/F-35 by Lockheed Martin, USA, and the JAS-39 Gripen aircraft by Saab, Sweden, (b) the Medium Multi-Role Combat Aircraft competition in India for 126 combat aircraft, and (c) the Indian offset policy. In the final section, some long-term consequences are discussed.     

一种柔性抗攻击网络防护体系结构

网络攻击的复杂性、多变性、综合性等趋势对传统各自为政的网络防护系统提出了严峻挑战。为全面、持久、灵活地应对各种网络攻击,提出一种柔性抗攻击网络防护系统的体系结构。该体系结构以安全核为中心,结合认证、事件采集以及各种抗攻击指令的执行,共同完成网络防护任务,体现出网络防护系统的柔性及抗攻击性。     

在求“变”中推进西南边防部队转型发展

西南边防部队驻防于我国西南边境地区,西起西藏自治区的日土县,东至广西壮族自治区的防城港市,担负着边防管控和边境防御作战等重要职能,在捍卫国家主权和安全中地位作用十分特殊。随着军队调整改革的深入落实,西南边防部队正处于转型重塑的关键时期,必须紧紧围绕新形势、新体制、新职能,着眼应急指挥、军事训练、边境管控、内外环境等关键要素和现实问题,在求"变"中推进创新发展,不断提升履职能力,切实为捍卫国家领土主权完整和维护边境稳定提供坚强保证。     

Pakistan’s response to US foreign policy towards South Asia 1977–1993

Relations between the USA and Pakistan have been tenuous since the 1947 partition of British India and the subsequent creation of the former. The 1979 Soviet intervention in Afghanistan focused the attention of the international community on South Asia. This article will examine the foreign policies of three successive US Presidential Administrations between 1977 and 1993, and how their decisions and corresponding actions were interpreted by the Pakistani government and its people. The key finding is the trend of the ebb and flow of US interest in Pakistan. The primary research conducted for this article shows that Pakistanis recognize this trend and consider it hypocritical of the US government. The current conditions in South Asia are ominously similar to those of 1992 with the drawdown of US and NATO troops from Afghanistan. Policy-makers would be wise to review the events of 1977–1993 so that the cycle is not repeated again.     

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.