To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation,...To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model's fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.展开更多
Combat system effectiveness simulation (CSES) is a special type of complex system simulation. Three non-functional requirements (NFRs), i.e. model composability, domain specific modeling, and model evolvability, are g...Combat system effectiveness simulation (CSES) is a special type of complex system simulation. Three non-functional requirements (NFRs), i.e. model composability, domain specific modeling, and model evolvability, are gaining higher priority from CSES users when evaluating different modeling methodologies for CSES. Traditional CSES modeling methodologies are either domain-neutral (lack of domain characteristics consideration and limited support for model composability) or domain-oriented (lack of openness and evolvability) and fall short of the three NFRs. Inspired by the concept of architecture in systems engineering and software engineering fields, we extend it into a concept of model architecture for complex simulation systems, and propose a model architecture-oriented modeling methodology in which the model architecture plays a central role in achieving the three NFRs. Various model-driven engineering (MDE) approaches and technologies, including simulation modeling platform (SMP), unified modeling language (UML), domain specific modeling (DSM), eclipse modeling framework (EMF), graphical modeling framework (GMF), and so forth, are applied where possible in representing the CSES model architecture and its components' behaviors from physical and cognitive domain aspects. A prototype CSES system, called weapon effectiveness simulation system (WESS), and a non-trivial air-combat simulation example are presented to demonstrate the methodology.展开更多
舰船装备正向设计需求分析存在系统性、完备性、合理性不足,与实战化需求匹配度不高等问题。根据基于模型的系统工程思想建立基于国防部体系结构框架(Department of Defense Architecture Framework,DoDAF)的舰船实战化需求建模与分析...舰船装备正向设计需求分析存在系统性、完备性、合理性不足,与实战化需求匹配度不高等问题。根据基于模型的系统工程思想建立基于国防部体系结构框架(Department of Defense Architecture Framework,DoDAF)的舰船实战化需求建模与分析方法。首先,定义舰船实战化需求的概念内涵,围绕舰船实战化需求分析目的,对DoDAF进行适应性剪裁,建立面向舰船实战化需求分析的DoDAF建模方法。然后,构建可拓展的舰船设计领域本体模型,建立以活动为中心的舰船实战化需求映射分解和结构化提取方法。示例分析表明,所提方法补充完善了实际作战场景下的舰船实战化需求,有利于提高舰船设计要求与舰船实战化需求的匹配度。所提方法可为舰船装备正向设计需求分析提供方法论指导,对于从需求设计源头提升舰船装备正向设计水平具有重要意义。展开更多
文摘To makesystem-of-systems combat simulation models easy to be developed and reused, simulation model formal specification and representation are researched. According to the view of system-of-systems combat simulation, and based on DEVS, the simulation model's fundamental formalisms are explored. It includes entity model, system-of-systems model and experiment model. It also presents rigorous formal specification. XML data exchange standard is combined to design the XML based language, SCSL, to support simulation model representation. The corresponding relationship between SCSL and simulation model formalism is discussed and the syntax and semantics of elements in SCSL are detailed. Based on simulation model formal specification, the abstract simulation algorithm is given and SCSL virtual machine, which is capable of automatically interpreting and executing simulation model represented by SCSL, is designed. Finally an application case is presented, which can show the validation of the theory and verification of SCSL.
基金supported by the National Natural Science Foundation of China(61273198)
文摘Combat system effectiveness simulation (CSES) is a special type of complex system simulation. Three non-functional requirements (NFRs), i.e. model composability, domain specific modeling, and model evolvability, are gaining higher priority from CSES users when evaluating different modeling methodologies for CSES. Traditional CSES modeling methodologies are either domain-neutral (lack of domain characteristics consideration and limited support for model composability) or domain-oriented (lack of openness and evolvability) and fall short of the three NFRs. Inspired by the concept of architecture in systems engineering and software engineering fields, we extend it into a concept of model architecture for complex simulation systems, and propose a model architecture-oriented modeling methodology in which the model architecture plays a central role in achieving the three NFRs. Various model-driven engineering (MDE) approaches and technologies, including simulation modeling platform (SMP), unified modeling language (UML), domain specific modeling (DSM), eclipse modeling framework (EMF), graphical modeling framework (GMF), and so forth, are applied where possible in representing the CSES model architecture and its components' behaviors from physical and cognitive domain aspects. A prototype CSES system, called weapon effectiveness simulation system (WESS), and a non-trivial air-combat simulation example are presented to demonstrate the methodology.
文摘舰船装备正向设计需求分析存在系统性、完备性、合理性不足,与实战化需求匹配度不高等问题。根据基于模型的系统工程思想建立基于国防部体系结构框架(Department of Defense Architecture Framework,DoDAF)的舰船实战化需求建模与分析方法。首先,定义舰船实战化需求的概念内涵,围绕舰船实战化需求分析目的,对DoDAF进行适应性剪裁,建立面向舰船实战化需求分析的DoDAF建模方法。然后,构建可拓展的舰船设计领域本体模型,建立以活动为中心的舰船实战化需求映射分解和结构化提取方法。示例分析表明,所提方法补充完善了实际作战场景下的舰船实战化需求,有利于提高舰船设计要求与舰船实战化需求的匹配度。所提方法可为舰船装备正向设计需求分析提供方法论指导,对于从需求设计源头提升舰船装备正向设计水平具有重要意义。