...
  • 主题
高级搜索  >
历史搜索 清空历史
首页> 外文期刊>Simulation modelling practice and theory: International journal of the Federation of European Simulation Societies >A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations
【24h】

A new cell space DEVS specification: Reviewing the parallel DEVS formalism seeking fast cell space simulations

机译：新的单元空间DEVS规范：回顾并行DEVS形式主义以寻求快速的单元空间模拟

获取原文
获取原文并翻译 | 示例
           
页面导航
  • 摘要
  • 著录项
  • 相似文献
  • 相关主题

摘要

This paper introduces a new specification for cellular DEVS models that assures high performance. It starts with the parallel DEVS specification and derives a high performance cellular DEVS layer using the property of closure under coupling. This is done through converting the parallel DEVS into its equivalent non-modular form which involves computational and communication overhead tradeoffs. The new specification layer, in contrast to multi-component DEVS, is identical to the modular parallel DEVS in the sense of state trajectories which are updated according to the modular message passing methodology. The equivalency of the two forms is verified using simulation methods. Once the equivalency has been ensured, analysis of the models becomes a decisive factor in employing modularity in cellular DEVS models. Non-modular models guarantee the efficiency of the models in contrast to the current cellular DEVS implementation approaches. This was achieved by converting the cell space partially or fully into atomic model in order to eliminate inter-cell messages. However, the new specification needs an automated way to implement and verify models since they might become complicated ones.
机译：本文介绍了可确保高性能的蜂窝DEVS模型的新规范。它从并行DEVS规范开始，并利用耦合下的闭合特性推导了高性能蜂窝DEVS层。这是通过将并行DEVS转换为等效的非模块化形式来完成的，这涉及计算和通信开销的折衷。与多组件DEVS相比，新的规范层在状态轨迹的意义上与模块化并行DEVS相同，状态轨迹根据模块化消息传递方法进行了更新。使用仿真方法验证了两种形式的等效性。一旦确定了等效性，对模型的分析就成为在细胞DEVS模型中采用模块化的决定性因素。与当前的蜂窝DEVS实现方法相比，非模块化模型保证了模型的效率。这是通过将单元空间部分或全部转换为原子模型以消除单元间消息来实现的。但是，新规范需要一种自动化的方式来实现和验证模型，因为它们可能会变得很复杂。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号