军用指挥控制软件可信性分析与验证技术

随着武器装备信息化程度越来越高,军用指挥控制软件的可信性直接关系到装备整体效能的发挥。在对传统软件质量保证技术研究的基础上,结合军用指挥控制软件的特点,提出了基于形式化方法的软件分析与验证技术。分别从安全性质形式化规约技术、基于模型检验的指挥软件验证技术和基于静态分析的控制软件分析技术三方面保证军用指挥控制软件的可信性,最后,提出了适用于指挥控制软件全生命周期开发的形式化分析与验证集成环境。

基于OSGi的军用指挥软件插件机制研究

为降低军用指挥软件的耦合度,提高重用性,提出了一种基于OSGi的军用指挥软件插件机制,详细描述了插件加载机制、插件扩展以及插件间通信机制,并对开发平台扩展等关键技术进行了探讨。同时将这一成果成功应用到某外贸合成旅指挥软件的开发与实践中,实现了全插件式的军用指挥软件开发机制,应用结果表明,该插件机制适用于大型指挥软件团队并行开发,能显著提高软件开发效率。

Ada语言在军用指挥仪中的应用初探

本文在对指挥仪系统技术特点进行讨论了基础上，论述了Ａｄａ应用于军用指挥仪的适用性和有效性，并就空地，空航导弹系统，给出了较了顶层的Ａｄａ解。

基于JTAPI的网络电话技术在军用指挥网中的应用

详细介绍了JTAPI的组成及使用方法,并在此基础上论证了用JTAPI实现军用指挥网中话音传输优点,最后论述了在军网中用JTAPI开发语音通信的方法.

软件体系结构在软件生存期的应用研究

详细讨论了综合军用指挥系统的不同角度，并引入领域工程对军用系统软件生产的全过程进行了分析和设计。

针对物理隔离攻击的安全防护技术研究

通过分析军用指挥信息系统的主要功能,提出信息安全防护方面的需求,分析了军用指挥信息系统面临的物理隔离攻击风险,提出了集实时目标监测、风险判别以及安全审计于一体的安全防护技术,可为构建军用指挥信息系统物理隔离安全防护系统提供借鉴。

越南战争中的IBM公司

对于大部分美国人而言，越战是痛苦不堪的经历，但丹·菲尔特汉姆是个例外。1969～1971年，菲尔特汉姆曾担任美国“国际商用机器”(IBM)公司驻南越办事处总经理。IBM公司原本在这片战乱之地并无生意可做，但美军太平洋总部“邀请”该公司的专家们来帮助它打这场战争。菲尔特汉姆认为，越战结局虽已众所周知，但这场战争仍不失为电脑首次大规模进入战争的里程碑事件，而IBM的年轻专家们功不可没。本文即为他追忆的越战轶事。