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.展开更多
Upper-lower computer mode is the main architecture design of the amphibious combat simulation system(ACSS)at present.Through continuous improvement of real-time performance,software and hardware infrastructure,the exp...Upper-lower computer mode is the main architecture design of the amphibious combat simulation system(ACSS)at present.Through continuous improvement of real-time performance,software and hardware infrastructure,the exponential growth of operational network data scale is realized,but the availability performance of ACSS declines.The reliability of the working host as the key node has become the bottleneck of the overall availability of network nodes in the ACSS.To optimize the network node architecture of ACSS,this paper presents an effective optimization solution by designing the dual redundancy warm-standby module of the mission computer and I/O port,the algorithm of selecting output path of the mission computer in network nodes,the decision-making algorithm upon the on-duty host and output,and the video output decision-making algorithm upon the upper host.Lastly,the complete process of operational data from the input to output and the opposite is implemented well to guarantee the overall availability of network nodes in the ACSS.It has great advantages of wide applicability,strong reliability and high real-time switching speed.展开更多
Multi-robot cooperation problem has received increasing attention in the research community and has been extensively studied from different aspects. Space constrain problem is a major issue for building a multi-robot ...Multi-robot cooperation problem has received increasing attention in the research community and has been extensively studied from different aspects. Space constrain problem is a major issue for building a multi-robot system. This con- strain is a major hindrance for the efficient cooperation among robots in multi-robot applications. In this paper, we demonstrate a novel architecture of a multi-robot system without space restriction. Our architecture is based on the Internet of Things technology. We validated the proposed architecture using a case study considering a multi-robot combat application.展开更多
针对传统MBSE(model-based systems engineering)方法在有无人协同作战系统建模中难以完整呈现复杂作战逻辑、接口建模忽略场景化约束,且多关键算法验证存在周期长、成本高的问题,提出一种基于MBSE的方法论及设计工具。构建了系统运行...针对传统MBSE(model-based systems engineering)方法在有无人协同作战系统建模中难以完整呈现复杂作战逻辑、接口建模忽略场景化约束,且多关键算法验证存在周期长、成本高的问题,提出一种基于MBSE的方法论及设计工具。构建了系统运行逻辑、接口设计与算法设计的集成验证方法,提供数字化、快速迭代的系统仿真验证手段。搭建多关键算法仿真验证环境,有效降低验证环境建设的经济成本,并在典型有无人协同作战系统中完成设计与验证实践。该集成验证方法通过MBSE设计工具Modelook与战场仿真设计工具的集成,实现SysML模型描述的系统运行逻辑、数据交互模型与关键算法模型的协同验证。实验结果表明:该方法可在设计初期为系统提供数字化、低成本、敏捷迭代的模型仿真验证方案,提升数字样机从功能逻辑层面到功能逻辑与关键算法融合层面的综合能力。展开更多
反导体系是抵御威胁的重要防线,如何更加准确地描述、评估反导体系的作战效能是一件非常重要而复杂的工作。针对反导体系效能评估问题,分析反导作战体系的特征,结合图示评审技术(graphical evaluation and review technique,GERT),首先...反导体系是抵御威胁的重要防线,如何更加准确地描述、评估反导体系的作战效能是一件非常重要而复杂的工作。针对反导体系效能评估问题,分析反导作战体系的特征,结合图示评审技术(graphical evaluation and review technique,GERT),首先构建反导作战GERT网络,为效能评价提供模型框架;其次引入节点重要度思想,通过分析装备自身属性和关联装备的重要性,修正装备能力,并利用梅森公式和矩母函数的优良性质,解决基于节点重要度的反导体系作战效能评估问题;最后通过算例研究,说明基于节点重要度的反导体系效能评估方法的实用性和有效性。结果表明,基于节点重要度的效能评估方法能够有效量化装备异质性及网络结构对整体效能的影响,充分考虑关键节点对体系效能的影响,为反导体系的效能评估与优化提供了一种更贴合实际的新思路。展开更多
文摘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.
基金Supported by the National Natural Science Foundation of China(61401496)
文摘Upper-lower computer mode is the main architecture design of the amphibious combat simulation system(ACSS)at present.Through continuous improvement of real-time performance,software and hardware infrastructure,the exponential growth of operational network data scale is realized,but the availability performance of ACSS declines.The reliability of the working host as the key node has become the bottleneck of the overall availability of network nodes in the ACSS.To optimize the network node architecture of ACSS,this paper presents an effective optimization solution by designing the dual redundancy warm-standby module of the mission computer and I/O port,the algorithm of selecting output path of the mission computer in network nodes,the decision-making algorithm upon the on-duty host and output,and the video output decision-making algorithm upon the upper host.Lastly,the complete process of operational data from the input to output and the opposite is implemented well to guarantee the overall availability of network nodes in the ACSS.It has great advantages of wide applicability,strong reliability and high real-time switching speed.
文摘Multi-robot cooperation problem has received increasing attention in the research community and has been extensively studied from different aspects. Space constrain problem is a major issue for building a multi-robot system. This con- strain is a major hindrance for the efficient cooperation among robots in multi-robot applications. In this paper, we demonstrate a novel architecture of a multi-robot system without space restriction. Our architecture is based on the Internet of Things technology. We validated the proposed architecture using a case study considering a multi-robot combat application.
文摘针对传统MBSE(model-based systems engineering)方法在有无人协同作战系统建模中难以完整呈现复杂作战逻辑、接口建模忽略场景化约束,且多关键算法验证存在周期长、成本高的问题,提出一种基于MBSE的方法论及设计工具。构建了系统运行逻辑、接口设计与算法设计的集成验证方法,提供数字化、快速迭代的系统仿真验证手段。搭建多关键算法仿真验证环境,有效降低验证环境建设的经济成本,并在典型有无人协同作战系统中完成设计与验证实践。该集成验证方法通过MBSE设计工具Modelook与战场仿真设计工具的集成,实现SysML模型描述的系统运行逻辑、数据交互模型与关键算法模型的协同验证。实验结果表明:该方法可在设计初期为系统提供数字化、低成本、敏捷迭代的模型仿真验证方案,提升数字样机从功能逻辑层面到功能逻辑与关键算法融合层面的综合能力。
文摘反导体系是抵御威胁的重要防线,如何更加准确地描述、评估反导体系的作战效能是一件非常重要而复杂的工作。针对反导体系效能评估问题,分析反导作战体系的特征,结合图示评审技术(graphical evaluation and review technique,GERT),首先构建反导作战GERT网络,为效能评价提供模型框架;其次引入节点重要度思想,通过分析装备自身属性和关联装备的重要性,修正装备能力,并利用梅森公式和矩母函数的优良性质,解决基于节点重要度的反导体系作战效能评估问题;最后通过算例研究,说明基于节点重要度的反导体系效能评估方法的实用性和有效性。结果表明,基于节点重要度的效能评估方法能够有效量化装备异质性及网络结构对整体效能的影响,充分考虑关键节点对体系效能的影响,为反导体系的效能评估与优化提供了一种更贴合实际的新思路。
