证据推理法在C4ISR系统可靠性评价中的应用

首先参考外军NATO COBP阐述了不确定性处理在C4ISR系统评价中的重要性,鉴于ER方法的先进思想,介绍了ER(Evidential Reasoning)方法在不确定条件下的基本评价框架,并对ER方法和AHP方法,D-S证据理论以及模糊综合评价方法进行了比较综合,针对我军C4ISR系统可靠性评价中的数据不完备等实际问题,初步应用此方法进行评价,对决策人员有一定的参考意义.     

指挥控制的形式化描述与性质验证

在分析了IDEF0基本模型及其军用模型的基础上,结合面向对象的分析方法,提出了一个通用的指挥控制对象的概念模型,并采用形式化描述语言LOTOS(LanguageofTemporalOrderingSpecification)和基于动作的时序逻辑ACTL(ActionBasedTemporalLogical)对系统进行了形式化描述和性质验证。这为C4ISR系统的需求描述和验证提供了一种新的思路和方法。     

天地一体化信息支持系统概念研究

本文在分析美军全球信息网格项目的基础上 ,结合我军实际 ,从“信息支持”的角度出发 ,提出了天地一体化信息支持系统的概念 ,阐明了它在军事综合电子信息系统中的定位 ,并提出了它的三维概念模型。最后 ,说明了建设天地一体化信息支持系统时需要注意的几个问题