首页> 外文会议>International Conference on AI, Simulation, and Planning in High Autonomy Systems >A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism
【24h】

A Formal Description Specification for Multi-resolution Modeling (MRM) Based on DEVS Formalism

机译:基于DEVS形式主义的多分辨率建模(MRM)的正式描述规范

获取原文

摘要

Multi-Resolution Modeling (MRM) is a relatively new research area. With the development of distributed interactive simulation, especially as the emergence of HLA, multi-resolution modeling becomes one of the key technologies for advanced modeling and simulation. There is little research in the area of the theory of multi-resolution modeling, especially the formal description of MRM. In this paper, we present a new concept for the description of multi-resolution modeling, named multi-resolution model family (MF). A multi-resolution model family is defined as the set of different resolution models of the same entity. The description of MF includes two parts: models of different resolution and their relations. Based on this new concept and DEVS formalism, we present a new multi-resolution model system specification, named MRMS (Multi-Resolution Model system Specification). And we present and prove some important properties of MRMS, especially the closure of MRMS under coupling operation. MRMS provides a foundation and a powerful description tool for the research of MRM. Using this description, we can further study the theory and implementation of MRM.
机译:多分辨率建模(MRM)是一个相对较新的研究区域。随着分布式交互式模拟的发展,特别是作为HLA的出现,多分辨率建模成为高级建模和仿真的关键技术之一。多分辨率建模理论的领域几乎没有研究,尤其是MRM的正式描述。在本文中,我们为多分辨率模型系列(MF)提供了一个新的多分辨率建模的新概念。多分辨率模型系列被定义为同一实体的不同分辨率模型集。 MF的描述包括两个部分:不同分辨率的模型及其关系。基于这一新概念和开发形式主义,我们提出了一种新的多分辨率模型系统规范,名为MRMS(多分辨率模型系统规范)。我们展示并证明了MRMS的一些重要属性,特别是在耦合操作下的MRMS关闭。 MRMS为MRM的研究提供了一个基础和强大的描述工具。使用本描述,我们可以进一步研究MRM的理论和实施。

著录项

相似文献

  • 外文文献
  • 中文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号