军事信息系统作战活动描述方法研究

针对军事信息系统需求分析需要,探讨了作战活动过程描述、作战节点连接描述、节点状态转换描述和作战活动时序描述的内容和方法。基于该理论和方法,可以准确描述信息化条件下军事人员对军事信息系统的应用需求,实现军事人员与技术人员的有效沟通,为军事信息系统军事需求分析与应用设计的基础。     

基于军事信息网格的电子作战文书系统建设

为构建适用于一体化联合作战的电子作战文书系统,提出建设基于军事信息网格的电子作战文书系统的具体方法。通过对军事信息网格与电子作战文书系统相互融合的论证,综合得出一套高效的一体化联合作战电子作战文书系统。该系统可以在一体化联合作战指挥中利用军事信息网格的强大处理能力,充分保障战区内各指挥平台与作战单元的互联、互通、互操作。     

基于UML的海军作战结构模型形式化描述研究*

以海军装备应用研究系统为背景,着眼于海军作战仿真想定生成系统的标准化,通过分析海军作战想定描述的层次结构,针对统一建模语言(UML)在面向对象系统方面的应用特点,探讨了使用UML表示标准的作战想定开发方法,并以合同进攻敌海上编队为例介绍了海军作战想定的设计方法。通过建立实体行动的军事概念模型以及对其进行的形式化描述,实现了军事专业人员和仿真技术开发人员之间的顺利交流,为仿真想定辅助生成系统的开发提供参考。     

Cyber-weapons in nuclear counter-proliferation

ABSTRACT

Under what conditions are cyber-weapons effective in nuclear counter-proliferation? With continued interest in nuclear proliferation professed by Iran, North Korea, and Saudi Arabia, a discussion of the effectiveness of counter-proliferation measures remains relevant. Cyber-attacks as military option in a state-on-state conflict still requires additional corroborating evidence to make conclusions about its long-term effectiveness. This work analyses the general applicability of cyber-weapons and their usefulness in nuclear counter-proliferation. Through a comparative case study of Operation Orchard, Stuxnet, and recent “Left-of-Launch” operations against North Korea, the essay finds that cyber-operations are not particularly effective against nuclear programmes that are in the later stages of their development. They can disrupt and delay a nuclear programme temporarily, if the attack remains clandestine, but cannot halt nuclear proliferation all together. However, effectiveness increases if they are used in combination with conventional weapons. The article addresses a topic of interest to national-level decision-makers: whether cyber-operations can and should play a role in nuclear counter-proliferation.