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.展开更多
随着人工智能技术的快速发展,大型语言模型(LLMs)在认知、推理与决策等方面表现出强大能力,为兵棋推演系统的智能化升级提供了新的机遇。针对单一智能决策方法在态势理解、智能决策和对抗能力不足等问题。论文提出了一种基于大模型的海...随着人工智能技术的快速发展,大型语言模型(LLMs)在认知、推理与决策等方面表现出强大能力,为兵棋推演系统的智能化升级提供了新的机遇。针对单一智能决策方法在态势理解、智能决策和对抗能力不足等问题。论文提出了一种基于大模型的海上作战兵棋推演智能决策框架,该框架融合感知理解、知识工程、透明推理与分层记忆等关键技术,构建了多层次的“感知-理解-决策-执行”全流程架构。创新性地设计了面向作战任务的战术知识库、基于思维链的推理机制和记忆库,实现了对复杂战场环境下的智能辅助任务规划。框架在Command Modern Operations(CMO)仿真平台上进行实验,针对典型海上作战任务开展了对抗推演。结果表明,论文所提出的框架在任务完成度、资源利用效率、决策合理性与可解释性等方面较传统方法显著提升,具备良好的实战应用价值。展开更多
针对传统MBSE(model-based systems engineering)方法在有无人协同作战系统建模中难以完整呈现复杂作战逻辑、接口建模忽略场景化约束,且多关键算法验证存在周期长、成本高的问题,提出一种基于MBSE的方法论及设计工具。构建了系统运行...针对传统MBSE(model-based systems engineering)方法在有无人协同作战系统建模中难以完整呈现复杂作战逻辑、接口建模忽略场景化约束,且多关键算法验证存在周期长、成本高的问题,提出一种基于MBSE的方法论及设计工具。构建了系统运行逻辑、接口设计与算法设计的集成验证方法,提供数字化、快速迭代的系统仿真验证手段。搭建多关键算法仿真验证环境,有效降低验证环境建设的经济成本,并在典型有无人协同作战系统中完成设计与验证实践。该集成验证方法通过MBSE设计工具Modelook与战场仿真设计工具的集成,实现SysML模型描述的系统运行逻辑、数据交互模型与关键算法模型的协同验证。实验结果表明:该方法可在设计初期为系统提供数字化、低成本、敏捷迭代的模型仿真验证方案,提升数字样机从功能逻辑层面到功能逻辑与关键算法融合层面的综合能力。展开更多
文摘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.
文摘随着人工智能技术的快速发展,大型语言模型(LLMs)在认知、推理与决策等方面表现出强大能力,为兵棋推演系统的智能化升级提供了新的机遇。针对单一智能决策方法在态势理解、智能决策和对抗能力不足等问题。论文提出了一种基于大模型的海上作战兵棋推演智能决策框架,该框架融合感知理解、知识工程、透明推理与分层记忆等关键技术,构建了多层次的“感知-理解-决策-执行”全流程架构。创新性地设计了面向作战任务的战术知识库、基于思维链的推理机制和记忆库,实现了对复杂战场环境下的智能辅助任务规划。框架在Command Modern Operations(CMO)仿真平台上进行实验,针对典型海上作战任务开展了对抗推演。结果表明,论文所提出的框架在任务完成度、资源利用效率、决策合理性与可解释性等方面较传统方法显著提升,具备良好的实战应用价值。
文摘针对传统MBSE(model-based systems engineering)方法在有无人协同作战系统建模中难以完整呈现复杂作战逻辑、接口建模忽略场景化约束,且多关键算法验证存在周期长、成本高的问题,提出一种基于MBSE的方法论及设计工具。构建了系统运行逻辑、接口设计与算法设计的集成验证方法,提供数字化、快速迭代的系统仿真验证手段。搭建多关键算法仿真验证环境,有效降低验证环境建设的经济成本,并在典型有无人协同作战系统中完成设计与验证实践。该集成验证方法通过MBSE设计工具Modelook与战场仿真设计工具的集成,实现SysML模型描述的系统运行逻辑、数据交互模型与关键算法模型的协同验证。实验结果表明:该方法可在设计初期为系统提供数字化、低成本、敏捷迭代的模型仿真验证方案,提升数字样机从功能逻辑层面到功能逻辑与关键算法融合层面的综合能力。
