Practical Formalism-Based Approaches for Multi-Resolution Modeling and Simulation

被引:0
|
作者
Bae, Jang Won [1 ]
Moon, Il-Chul [2 ]
机构
[1] Korea Univ Technol & Educ, Sch Ind Management, Cheonan 31253, South Korea
[2] Korea Adv Inst Sci & Technol, Dept Ind & Syst Engn, Daejeon 34129, South Korea
来源
SYSTEMS | 2022年 / 10卷 / 05期
关键词
modeling and simulation; practical formal method; multi-resolution; discrete event system specification; SPECIFICATION; ABSTRACTION; FIDELITY; SPACE;
D O I
10.3390/systems10050174
中图分类号
C [社会科学总论];
学科分类号
03 ; 0303 ;
摘要
Multi-resolution modeling (MRM) has been considered as an ideal form of simulation to acquire low-resolution scalability as well as high-resolution modeled details. Although both practical and theoretical interests exist in MRM, actual implementations were quite different in terms of cases and methods. Specifically, MRM implementations range from parameter-based interoperation to model exchanges with different resolutions, yet it is difficult to observe a method that focuses on both of these aspects. To this end, this paper introduces a formalism or multi-resolution translational Discrete Event System Specification (MRT-DEVS). Focusing on the practical perspective, MRT-DEVS intends to ease the implementation's difficulty and reduce the simulation's execution costs. Specifically, MRT-DEVS embeds state and event translation functions into the model's specifications so that it enables MRM with less complex mechanisms in terms of operations. Using the provided case study and a reduction to other MRM methods, the theoretical soundness of the proposed method is supported. Moreover, we discussed the pros and the cons of the proposed method from various MRM perspectives. We expect that with all the provided information, MRMS users would consider the proposed method as a practical option to implement their models.
引用
收藏
页数:15
相关论文
共 50 条
  • [1] Specification of multi-resolution modeling space for multi-resolution system simulation
    Hong, Su-Youn
    Kim, Tag Gon
    [J]. SIMULATION-TRANSACTIONS OF THE SOCIETY FOR MODELING AND SIMULATION INTERNATIONAL, 2013, 89 (01): : 28 - 40
  • [2] A formal description specification for multi-resolution modeling (MRM) based on DEVS formalism
    Liu, BH
    Huang, KD
    [J]. ARTIFICIAL INTELLIGENCE AND SIMULATION, 2004, 3397 : 285 - 294
  • [3] A Formal Description Specification for Multi-Resolution Modeling Based on DEVS Formalism and its Applications
    Liu Baohong
    [J]. JOURNAL OF DEFENSE MODELING AND SIMULATION-APPLICATIONS METHODOLOGY TECHNOLOGY-JDMS, 2007, 4 (03): : 229 - 251
  • [4] Clustering methods for multi-resolution simulation modeling
    Cassandras, CG
    Panayiotou, CG
    Diehl, G
    Gong, WB
    Liu, Z
    Zou, C
    [J]. ENABLING TECHNOLOGY FOR SIMULATION SCIENCE IV, 2000, 4026 : 37 - 48
  • [5] A resolution converter for multi-resolution modeling/simulation on HLA/RTI
    Hong, Su-Youn
    Kim, Tag Gon
    [J]. SYSTEMS MODELING AND SIMULATION: THEORY AND APPLICATIONS, ASIA SIMULATION CONFERENCE 2006, 2007, : 289 - +
  • [6] The Research of Multi-Resolution Modeling and Simulation of the Emergency Evacuation
    Yang, Bo
    Ren, Bo
    Wu, Yong-gang
    [J]. 2012 INTERNATIONAL WORKSHOP ON INFORMATION AND ELECTRONICS ENGINEERING, 2012, 29 : 3110 - 3116
  • [7] BOM Based Patterns for Multi-Resolution Modeling
    Li Yuan
    Li Bo-Hu
    Ma Yaping
    Chai Xudong
    [J]. 2011 30TH CHINESE CONTROL CONFERENCE (CCC), 2011, : 1621 - 1626
  • [8] Research on Multi-Resolution Modeling of Command and Control Simulation system Based on Components
    Kong Chenyan
    Yu Lirong
    [J]. 2016 FIRST IEEE INTERNATIONAL CONFERENCE ON COMPUTER COMMUNICATION AND THE INTERNET (ICCCI 2016), 2016, : 547 - 551
  • [9] Study of multi-resolution modeling framework in joint operations simulation
    Kong, Chen Yan
    Xing, Li Ju
    [J]. INFORMATION TECHNOLOGY AND COMPUTER APPLICATION ENGINEERING, 2014, : 201 - 204
  • [10] Multi-Resolution Cloth Simulation
    Lee, Yongjoon
    Yoon, Sung-eui
    Oh, Seungwoo
    Kim, Duksu
    Choi, Sunghee
    [J]. COMPUTER GRAPHICS FORUM, 2010, 29 (07) : 2225 - 2232