期刊文献+

基于DEVS的多分辨率建模形式化描述规范研究(英文) 被引量:6

Formal Description Specification for Multi-Resolution Modeling (MRM) Based on DEVS Formalism
在线阅读 下载PDF
导出
摘要 随着分布交互式仿真技术的发展,多分辨率建模成为建模与仿真的关键技术之一。提出了一种多分辨率模型系的概念,并分析了多分辨率模型系的重要性质。多分辨率模型系描述了同一实体的不同分辨率模型之间关系。在多分辨率模型系和DEVS描述理论的基础上提出了一种多分辨率模型系统的形式化描述规范MRMS,证明了该规范的重要性质,尤其是它的耦合封闭性。在MRMS的基础上,可以进一步深入开展多分辨率建模的理论和实现研究。 With the development of distributed interactive simulation, especially as the emergence of HLA, multi-resolution modeling (MRM) 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. A new concept named multi-resolution model family (MF) for the description of multi-resolution modeling is presented. 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, a new multi-resolution model system specification, named MRMS (Multi-Resolution Model system Specification) is presented. And some important properties of MRMS are proved, 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, the theory and implementation of MRM can be further studied.
出处 《系统仿真学报》 EI CAS CSCD 北大核心 2005年第11期2727-2730,共4页 Journal of System Simulation
基金 国家自然科学基金项目(60374065)
关键词 多分辨率建模 模型族 形式化描述规范:耦合封闭性 multi-resolution modeling model family multi-resolution model specification, closureunder coupling
  • 相关文献

参考文献5

  • 1刘宝宏,黄柯棣.多分辨率建模的研究现状与发展[J].系统仿真学报,2004,16(6):1150-1154. 被引量:50
  • 2Liu Baohong, Huang Kedi. The Concept and Some Design Issues about Multi-Resolution Modeling in HLA[C]. ICSC'2002. Shanghai,China. 595-599.
  • 3B. P. Zeigler, H. Praehofe and Tag Gon Kim. Theory of Modeling and Simulation.[M]. Academic Press. 2000. 138-150.
  • 4F.J. Barros, Modeling formalisms for Dynamic Structure Systems [J].ACM Transactions on Modeling and Computer Simulation, 1997, 7, (4): 501-515.
  • 5F J Barros. Dynamic Structure Discrete Event System Specification:Formalism, Abstract Simulators and Applications[J]. Transactions of the Society for Computer Simulation, 1996, 13(1): 35-46.

二级参考文献38

  • 1Page E H, Nicol D M, Balci O, et al. Strategic Directions In Simulation Research [C]. Proceedings of WSC'1999.
  • 2IEEE Std 1516.1-2000 IEEE Std for M&S HLA-Federate IFSpec [S], March 2001.
  • 3Page E H, Smith R. Introduction to Military Training Simulation: A Guide for Discrete Event Simulation [C]. Proceedings of WSC'1998.
  • 4Davis P K, Bigelow J. Introduction to Multi-Resolution Model (MRM) with an Example Involving Precision Fires [C]. Enabling technology for Simulation Science (II). Proceeding of SPIE AeoroSense 1998.
  • 5National Research Council. Technology for the United States Navy and Marine Corps.2000-2035: Becoming a 21st Century. Vol.9 [R]. Force National Academy Press 1997.
  • 6DMSO. The Army Model and Simulation Master Plan [R]. Oct 1997.
  • 7Davis P K. Some Lessons Learned from Building Red Agents in the RAND Strategy Assessment System (RSAS) [R]. RAND, N-3003- OSD.
  • 8Zeigler B P. A Systems Methodology for Structuring Families of Models at Multiple Levels of Resolution [C]. Proceeding of 1992 Variable Resolution Modeling Conference.
  • 9Liu Bao-hong, Huang Ke-di. The Research of Mult-Resolution Modeling [C]. ASME'2001 Sept. 2001,ChangSha, China
  • 10Liu Bao-hong, Huang Ke-di. The Design and Implement of Multi-Resolution Federation with an Air-Ground Combat Federation As Example [C]. Proceedings of the 2002 Spring SIW.

共引文献49

同被引文献20

引证文献6

二级引证文献30

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部