形式化方法在装备保障决策支持系统中的应用

为提高装备保障决策支持系统的整体质量,将形式化方法应用于系统设计和组件开发,特别是关键算法的设计和实现,从而大幅提高了软件的可靠性、可复用性,以及问题求解的效率,有助于装备保障整体效能的提升.     

基于DODAF的炮兵通信系统作战需求研究

摘要：科学合理地进行炮兵通信系统作战需求分析,可以更好地满足炮兵信息化建设的需要。针对炮兵通信系统的特点,基于体系结构框架的思想,进行了炮兵通信系统的作战需求分析,设计了炮兵通信系统作战需求生成流程,生成了作战需求方案。经证明方案能为炮兵装备体系论证提供有力支撑,较好地满足了炮兵装备研制和建设规划的需要。基于体系结构框架的炮兵通信系统作战需求分析,增强了作战需求分析的可操作性和适用性,为通信系统作战需求分析提供了新的思路。     

基于推理的体系对抗条件下空袭目标优选方法

针对体系对抗条件下空袭目标选择缺乏不确定多要素分析能力和足够的自主推理能力,研究了空袭体系的基本作战样式,根据智能决策模拟系统需求,结合决策行为产生机理,建立基于区间数的综合推理模型,给出空袭目标优选规则,提出基于推理的体系对抗条件下空袭目标优选方法,最后给出一个仿真实例。实例结果表明,该方法可作为体系对抗条件下作战仿真系统的重要组成部分,为军事指挥员提供辅助决策支持。     

Strategy,Fleet Logistics,and the Lethbridge Mission to the Pacific and Indian Oceans 1943–1944

In modern warfare at and from the sea, logistics are crucially important to the implementation of strategy and conduct of operational campaigns. Between August 1943 and March 1944, a British joint service mission led by Major-General John Lethbridge travelled to North America, the Pacific, and India to study the organisation, equipment, and methods necessary for coming offensive operations against Japan. The British obtained valuable information from the Americans and connected with those countries of the British Empire most directly involved. The Lethbridge Mission's progress and findings informed evolving Admiralty planning for supporting naval forces to be sent to the Indian and Pacific Oceans in pursuance of British wartime strategy.     

The Dilemmas of US Maritime Supremacy in the Early Cold War

After World War II, the US Navy confronted the challenge of adapting to dramatically altered geopolitical circumstances. Moscow did not have an ocean-going fleet, and early Cold War strategy was dominated by the salient position of nuclear strategic bombing – a mission thought to be outside the purview of the navy. Traditional roles, such as protecting sea lines of communication and supporting ground forces ashore, quickly proved indispensable. However, the navy eventually also succeeded in fielding dramatic technological and institutional innovations, for example, the strategic missile submarine, which enabled the US to successfully leverage maritime power against the continental power of the USSR.     

Russian Reactions to Reagan's ‘Maritime Strategy’

The US Navy's audacious Maritime Strategy of the 1980s is often credited with acting as a key catalyst to the demise of the USSR. In assessing the role of strategic missile submarine “bastions” in the country's overall military strategy, the authors are skeptical of the above thesis, explaining that Moscow actually viewed deployments of Tomahawk land-attack cruise missiles on to US submarines (versus direct threats against the Soviet Navy itself) as the most alarming threat. The authors concede that the arms race played a role in the collapse of the USSR, but deny a direct connection with Soviet naval development citing the relatively minor naval proportion of overall defense spending. For the difficulties facing the fleet at the end of the Cold War, they instead blame deep systemic problems internal to the Soviet Navy.     

海水声速快速高精度测量方法研究

声速是海洋中重要的声学量之一,是影响声波在海洋中传播的最基本的物理参数,掌握精确的声速值在理论研究和工程实践中都具有十分重要的意义。本文采用的测量方案结构简单,通过连续波信号参数估计的方法实现声传播时间测量,进而得到声速值。采用伪随机序列对连续波的调制处理,克服了单频连续波信号在测量中存在的整周期模糊与回波干扰问题。通过构建声速试验平台,进行了系统校准与测量实验,实验结果表明该方法具有测量精度高、响应快速的优点,适合于在水下机动平台上对海洋声速剖面进行快速、高精度的测量。     

地球静止轨道粗定位的北斗系统接收机快速定位方法

传统全球导航卫星系统信号发射时间的整毫秒恢复算法,在接收机概略位置未知时存在计算量剧增而无法应用的问题。利用北斗系统混合星座中GEO卫星电文速率高的这一特点,提出一种基于GEO粗定位的北斗接收机快速定位的方法。在接收机概略位置完全未知的情况下,使用已获取完整信号发射时刻的纯GEO星座进行粗定位,根据解算获得的概略位置对非GEO卫星发射时刻毫秒整数时间进行恢复,利用所有可见卫星进行精确定位。使用国际全球连续监测评估系统测站观测伪距对算法进行验证,国内测站可100%实现伪距恢复,完成快速定位。仿真遍历中国区域用户,在仿真伪距增加均值为0,标准差为6m噪声,截止仰角为0°时,中国附近区域实现快速定位概率均大于98.68%,其中约80%的中国附近区域可以100%实现卫星信号传输时间恢复并完成快速定位。     

基于半实物仿真的水面无人艇测试系统构建方法

水面无人艇是一种新型无人自主作战舰艇,能够通过任务设定、预规划航路、搭载不同的任务载荷,完成多种任务,包括警戒巡逻、侦察监视、反潜反水雷等.由于水面无人艇对工作环境要求较高,因此为了能够在实艇海上试验之前,在实验室条件下进行充分的测试,提出一种基于半实物仿真的水面无人艇测试系统构建方法,测试系统基于由实物岸基航行任务指...     

ANALYSING DEFENCE DEPENDENCY: THE IMPACT OF THE ROYAL NAVY ON A SUB‐REGIONAL ECONOMY

This paper provides a methodology for estimating the economic impact of defence spending at a sub‐regional level. It does so by calculating the income and employment generated by Britain’s Royal Navy and associated defence activities in the City of Portsmouth and its surrounding area, during the financial year 2003–2004. In an era of military consolidation, the paper offers an insight into the multifaceted impact of defence‐related expenditure. Hence, it presents a generic framework that could prove useful to other researchers when seeking to measure the sub‐regional impact of naval, airforce and army facilities in other national contexts.