首页> 外文期刊>Simulation >SimGine: A simulation engine for stochastic discrete-event systems based on SDES description
【24h】

SimGine: A simulation engine for stochastic discrete-event systems based on SDES description

机译:SimGine:基于SDES描述的随机离散事件系统的仿真引擎

获取原文
获取原文并翻译 | 示例
       

摘要

Discrete-event systems have gained a lot of interest due to their wide range of applications, and discrete-event simulation is a useful method for the performance evaluation of such systems. In this domain, model-based evaluation methods play an important role and there are many formalisms and realistic experiments using these methods. In this paper, we introduce SimGine, a multi-formalism simulation engine for stochastic discrete-event systems based on SDES, which is a unified description for stochastic discrete-event systems. The engine is also capable of rare-event simulation of models using the importance sampling technique, which makes it the first multi-formalism simulation tool with rare-event simulation capability. The XML-based input language of SimGine allows for definition of the required methods. The body of each method is expressed by codes in a high-level programming language and this provides a powerful and flexible approach for defining events with complex behavior. For the simulation of an existing model, a tool for translating models into the SimGine input language should be prepared. SimGine can be used as a stand-alone simulation tool or as a simulation engine in other tools.
机译:离散事件系统由于其广泛的应用而引起了人们的极大兴趣,而离散事件仿真是评估此类系统性能的一种有用方法。在这一领域,基于模型的评估方法起着重要作用,并且使用这些方法的形式主义和实际实验很多。在本文中,我们介绍了SimGine,它是一种基于SDES的用于随机离散事件系统的多形式主义仿真引擎,它是对随机离散事件系统的统一描述。该引擎还能够使用重要性采样技术对模型进行稀有事件仿真,这使其成为第一个具有稀有事件仿真功能的多形式主义仿真工具。 SimGine的基于XML的输入语言允许定义所需的方法。每种方法的主体均由高级编程语言中的代码表示,这为定义具有复杂行为的事件提供了强大而灵活的方法。为了模拟现有模型,应准备将模型转换为SimGine输入语言的工具。 SimGine可以用作独立的仿真工具,也可以用作其他工具中的仿真引擎。

著录项

  • 来源
    《Simulation》 |2013年第4期|539-555|共17页
  • 作者单位

    School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran A. Khalili is now at the Italian Institute of Technology (NT), Genova, Italy;

    School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran A. Khalili is now at the Italian Institute of Technology (NT), Genova, Italy,School of Computer Engineering, Iran University of Science and Technology, Hengam St., Resalat Sq., Tehran 16846-13114, Iran;

    School of Computer Engineering, Iran University of Science and Technology, Tehran, Iran A. Khalili is now at the Italian Institute of Technology (NT), Genova, Italy;

  • 收录信息 美国《科学引文索引》(SCI);美国《工程索引》(EI);
  • 原文格式 PDF
  • 正文语种 eng
  • 中图分类
  • 关键词

    Stochastic discrete-event systems; simulation engines; formal methods; discrete-event simulation;

    机译:随机离散事件系统;模拟引擎;形式方法;离散事件模拟;
  • 入库时间 2022-08-18 02:50:30

相似文献

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

客服邮箱:kefu@zhangqiaokeyan.com

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

  • 服务号