一种基于Inf-ProA框架的能力满足度计算方法

樊志强，曹 江，牛 婵，王丽婷

(1.华北计算技术研究所，北京 100083； 2.军事科学院，北京 100091)

0 引 言

能力是指系统在特定环境下完成任务的本领，系统的建设越来越强调要实用化，要面向能力需求而不是单单面向功能性能要求。因此，能力满足度也越来越成为系统建设和运用的重要评价指标。不少研究人员也开展了相关研究，樊延平等人[1]提出了面向任务的装备体系作战能力需求满足度方法；禹明刚等人[2]提出了面向任务与基于ANP的网络信息体系能力需求满足度分析方法；张杰勇等人[3]提出了基于能力满足度的网络信息体系武器装备发展路线评估方法；焦安龙等人[4]提出了武器系统作战能力需求满足度评估方法；刘国泰等人[5]提出了指挥信息系统能力需求满足度评估模型。

然而，现有研究的能力满足度分析方法大多是面向已研制的系统开展的，在发现能力不满足或满足度较低后，需要修改系统的成本和代价较大。此外，军队系统中面向能力的系统建设越来越强调系统在论证设计阶段就要说明其对体系能力的提升或能力差距的弥补。因此，本文提出在系统论证设计阶段，基于体系结构框架对体系能力和系统进行关联性设计和描述，并基于体系结构设计成果开展能力满足度量化分析，以便于在系统建设早期做出能力满足度判断，有效避免系统在后期开发中带来的不必要成本开销，同时在系统实现阶段能够正确、有效地指导系统的研制。……