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

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

基于分布式数据流的的指控系统服务集成方法

针对SOA服务集成架构应用于军用指控系统遇到的问题,提出了一种基于分布式数据流的服务集成方法。其设计思想不同于现在常用的服务集成方法中采取的集中式数据流,该方法支持指控服务构件之间数据的直接通信,可避免集中式处理带来的通信瓶颈问题,提高了服务集成的性能,较好地适应了军用异构网络环境。     

多业务接入平台及其在军事通信中的应用

文中介绍了军用通信网接入层的组建原则,通过比较目前几种不同的接入技术,说明了多业务接入平台(MSAP)的技术特点和优势,提出了以MSAP作为军用通信网接入层的解决方案,并给出了采用MSAP组网的网络示意图。最后采用CPU+ASIC+FPGA这种典型的通信系统硬件架构,分析了MSAP的软硬件联合实现。     

某高炮连集成指挥平台的设计与实现

介绍了一种基于USB技术的便携式高炮连集成指挥平台,叙述了设计构想及工作原理.详细描述其硬件电路设计,包括:主控机、通信控制电路及各接口电路的设计;然后给出了相应的软件设计,包括单片机通信控制软件及主控机各主要工作模块的软件设计.实验证明该集成指挥平台具有良好的性能,且充分考虑系统工作环境电磁环境复杂、无间断工作的特点...     

可靠性验证试验的故障分类和数据处理

本文以国军标ＧＪＢ３６７．３《军用通信设备用技术条件 可靠性鉴定试验和验收试验方法》和ＧＪＢ８９９《可靠性鉴定和验收试验》为依据,介绍了军用通信设备可靠性验证试验３的故障分类和数据处理。     

STM通信控制软件的设计与实现

本文较详尽地介绍一个综合性、多功能的通信控制软件的设计思想,并给出了在STM—PC微型机上实现的若干具体细节,以及对MS—DOS V2.11进行改造,实现其前、后台作业控制的方法。所设计的STM通信控制软件经调试后,业已良好地运行在车载汉字信息处理联机网络系统之中。     

基于实装软件的构造仿真技术研究

为提高仿真系统置信度,减少仿真系统二次建模开发的重复工作,以实装软件为基础,采用实装软件加中间件作为仿真节点通过仿真集成技术直接参与仿真运行的思路,研究和设计了仿真集成的总体架构和详细技术方法。该技术方法能够使实装软件的通信数据通过高层体系结构(high level architecture,HLA)标准的交互方式与仿真平台交互,并与仿真平台的时间管理策略进行统一。在少量改动实装软件的情况下使其能够快速接入仿真联邦执行仿真任务。最后通过构建由实装软件组成的仿真系统实际应用案例验证此集成技术方法可行性。     

短波无线接入网方案的研究

由于短波信道特性和通信技术水平的制约 ,长期以来短波通信局限于话音通信、点对点通信等有限的几种通信业务。研究短波无线接入技术 ,实现利用短波电台组网 ,并接入公用或专用数据网 ,对实现野战机动条件下的指挥自动化具有非常重要的意义。本文介绍了一种利用短波信道接入公用或专用数据网的设计方案和实现方法 ,并根据短波信道特点 ,对各层协议进行了分析。该协议对上层应用透明 ,并能够保证短波信道上相对无差错传输     

一种军用通信装备检测仪设计

随着武器装备的发展和升级,军用通信装备的种类和型号多种多样,技术体制、接口类型各不相同,给装备的检测、维修和保障都带来了很大的困难。针对上述问题,设计了一套军用通信装备检测仪原理样机,能够对主要的军用通信设备的功能、性能、接口进行检测和状态评估、故障诊断功能。该原理样机经试验测试,满足用通信装备检测主要功能和战技指标,能够大幅提高目前军用通信装备的保障能力。     

基于数据分发服务的无人机任务载荷综合仿真平台研究

现代无人机在军用、民用等领域都有着越来越广泛的应用,而载荷是无人机完成特定重要任务的必要设备,对载荷设备的选型和验证是非常重要的一个环节。针对无人机载荷选型以及载荷试验过程复杂、试验周期长、试验成本高的问题,设计了一种基于数据分发服务通信技术的无人机任务载荷综合仿真平台。该平台以载荷仿真为主体,同时结合任务仿真、通信仿真、飞行控制仿真以及效能评估,实现了多系统分布式联合仿真,可以有效对载荷设备进行仿真验证。介绍了该仿真平台的系统架构以及系统工作流程,并对平台实际应用效果进行展示分析。研究表明,本套仿真平台为后续无人机研发提供了新思路、新工具。