论文部分内容阅读
现代战争中,防空反导成为了本土防御和战略威慑的重要手段,同时其面临作战环境的复杂性和不确定性在不断增强。这种不确定性对防空反导系统有重要影响,并对系统的稳定性和适应性提出了更高要求,因此对不确定环境下的防空反导系统进行研究成为一项重要工作,且具有较高的研究意义。本文以防空反导及其所处不确定环境为研究背景,选取模糊UML对防空反导系统进行建模,并应用模糊Petri网对模型进行分析验证。本文的主要工作如下:本文以防空反导及其所处不确定环境为研究背景,选取模糊UML对防空反导系统进行建模,并应用模糊Petri网对模型进行分析验证。本文的主要工作如下:1、提出了一个不确定环境下的防空反导过程概念模型详细阐述了作战环境的概念和内涵,分析了防空反导的一般过程。参照模糊逻辑系统规则库的生成方法,着重分析了防空反导过程中的不确定环境及其对防空反导过程的影响,并以此建立了不确定环境下的防空反导过程概念模型。2、提出了基于模糊UML的系统建模方法并进行了验证在UML的6种主要视图产品基础上扩展出对应的模糊视图产品,分别是模糊用例图、模糊类图、模糊顺序图、模糊活动图、模糊状态图。引入Dodaf2.0体系建模思想和框架,提出不确定环境下的模糊系统建模框架,应用模糊UML视图产品描述该框架下的部分作战和系统视图产品。选取模糊UML的顺序图和活动图,将其转化映射到模糊Petri网模型中,通过静态验证和动态验证检验模型内容的完备性、正确性和一致性,以及模型的动态行为。3、设计防空反导案例,验证本文提出的建模方法合理性和优越性。以区域防空反导为作战想定,以不确定环境为研究背景,应用模糊UML建模方法,建立防空反导系统模型,并应用模糊Petri网对模型的动态行为进行分析验证。