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.展开更多
现代战争形式的改变使伤情呈现出多样化、复杂化和严重化。战伤救治能力直接影响战场致死率、致残率以及伤员预后,因此提高我军军医的战伤救治能力尤为关键。但战伤救治不同于平时急救,除考虑伤情本身外,还需考虑战术、战争环境和救治...现代战争形式的改变使伤情呈现出多样化、复杂化和严重化。战伤救治能力直接影响战场致死率、致残率以及伤员预后,因此提高我军军医的战伤救治能力尤为关键。但战伤救治不同于平时急救,除考虑伤情本身外,还需考虑战术、战争环境和救治资源等,这决定了战伤救治课程与常规医学课程本质上的不同。文章在深入分析成果导向教育(outcome based education,OBE)理念和BOPPPS[导入(bridge-in)、学习目标(objective)、预评估(pre-assessment)、参与式学习(participatory learning)、后评估(post-assessment)、总结(summary)]教学模式基础上,结合战(现)场特殊环境,以战伤救治课程教学设计和课堂实践为例,探讨课堂导入、学习目标、课堂前测、参与式学习、课堂后测和课堂总结等环节的应用,以期提高学生学习的主动性、积极性和团队协作能力,最终达到提高战伤救治水平,保障部队战斗力的目的。展开更多
文摘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.
文摘现代战争形式的改变使伤情呈现出多样化、复杂化和严重化。战伤救治能力直接影响战场致死率、致残率以及伤员预后,因此提高我军军医的战伤救治能力尤为关键。但战伤救治不同于平时急救,除考虑伤情本身外,还需考虑战术、战争环境和救治资源等,这决定了战伤救治课程与常规医学课程本质上的不同。文章在深入分析成果导向教育(outcome based education,OBE)理念和BOPPPS[导入(bridge-in)、学习目标(objective)、预评估(pre-assessment)、参与式学习(participatory learning)、后评估(post-assessment)、总结(summary)]教学模式基础上,结合战(现)场特殊环境,以战伤救治课程教学设计和课堂实践为例,探讨课堂导入、学习目标、课堂前测、参与式学习、课堂后测和课堂总结等环节的应用,以期提高学生学习的主动性、积极性和团队协作能力,最终达到提高战伤救治水平,保障部队战斗力的目的。
