Research On Modeling Method Of ADASUE Based On Fuzzy UML

In modern war,antimissile aerial defense has become an important means of local defense and strategic deterrence,and at the same time,the complexity and uncertainty of the operational environment it faces have been increasing.This uncertainty has important influence on the antimissile aerial defense system,and puts forward higher requirements on the stability and adaptability of the system,so the research of antimissile aerial defense system in uncertain environment has become an important task,and has high research significance.Based on the research background of antimissile aerial defense and its uncertain operational environment,this paper selects fuzzy UML to model the antimissile aerial defense system,and then analyzes and verifies the model by using fuzzy Petri net.The main work of this paper is as follows:1.A conceptual model of antimissile aerial defense process is proposed.The concept and connotation of operational environment are expounded in detail,and the general process of antimissile aerial defense is analyzed.According to the method of generating fuzzy logic system rule base,this paper focuses on the analysis of the uncertainty of antimissile aerial defense operational environment and its impact on antimissile aerial defense process,and it also establishes the conceptual model of antimissile aerial defense process in uncertain operational environment.2.A system modeling method based on fuzzy UML is proposed and verified.On the basis of six main views of UML,the product is extended out of the corresponding fuzzy view products,which are fuzzy case diagram,fuzzy class diagram,fuzzy sequence diagram,fuzzy activity diagram and fuzzy state diagram.Based on Dodaf2.0 system modeling theory and framework,the fuzzy system modeling framework is proposed,and the fuzzy UML view product is used to describe some operation and system view products under this framework.Transfer fuzzy UML sequence diagram and activity diagram into the fuzzy Petri net model.And through static and dynamic verification,this paper tests the completeness,validity,consistency and dynamic behavior of the model proposed above.3.Design an antimissile aerial defense case and verify the rationality and superiority of the modeling method proposed in this paper.Taking regional antimissile aerial defense as the scenario,with uncertain operational environment as research background,this paper applies fuzzy UML method in the modeling of antimissile aerial defense system,and uses fuzzy Petri net to analyze the dynamic behavior of the model.