论文部分内容阅读
基于还原论思想的武器装备论证思维方式侧重于单个装备系统的战技指标分析,即通过静态构造系统框架,采用自上而下或自底向上的方法逐层分解。传统的武器装备体系结构论证方法根据体系结构不同的论证内容,分别在不同的论证工具上构建不同的模型。随着装备体系结构日趋复杂,论证内容不断增多,论证指标日趋庞大,论证过程中系统需要对许多不同类型事件、信号和条件做出复杂的反应,独立构建不同模型的方法不再适用,它会直接面临模型数量剧增,模型重用性低等问题。因此,武器装备体系结构论证应从单一平台或者单一论证工具发展到集成不同工具和不同模型的综合平台论证。本文在研究基于MBSE的模型交互机制的基础上,借鉴Harmony-SE的模型驱动体系结构设计思想,提出了一个以模型交互为核心的装备体系论证思路,阐述了装备体系结构建模的工作流程和基于模型交互的装备体系分析流程,建立了模型驱动的装备体系模型构建流程框架。主要研究内容及创新点如下:(1)研究了Harmony-SE实践框架、建模语言和建模方法。建立了一套基于模型交互的武器装备体系结构建模流程,流程可抽象概括为系统能力需求分析、系统功能分析和系统结构设计综合三个阶段,论述了每个阶段的详细工作流程。(2)提出了一个以模型交互为核心的装备体系论证方法。借鉴其模型驱动体系结构设计思想,提出了一个基于模型交互的装备体系论证思路,充分发挥模型交互方法较之单一方式单一平台论证的优势,从装备体系结构建模工作流程着手,重点研究如何实现模型之间的信息交互和如何基于模型交互对装备体系进行分析和评估。(3)模型映射规则和模型互操作的研究。模型交互式论证方法可综合发挥各方法的优势,在研究模型映射规则和模型互操作方法的基础上,构建一个集成建模和验证方法于一体的装备体系结构论证平台,从不同侧面对装备体系结构的指标进行定量化分析。