• 主题
高级搜索  >
历史搜索 清空历史
首页> 外文学位 >PiDES: A formalism for complex adaptive Discrete Event Simulation.
【24h】

PiDES: A formalism for complex adaptive Discrete Event Simulation.

机译：PiDES：复杂自适应离散事件仿真的形式主义。

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

摘要

Formalism is a powerful tool for precisely defining and analyzing Discrete Event Simulation (DES). Many formalisms, such as FSA, GSMP, DEVS, Petri Net, SPADE, etc., have been proposed. These formalisms have proved useful for modeling individual systems. However, they become ineffective for some large-scale systems. For instance, modern simulation federations often involve many participants, which are geographically distributed. Each participant may implement federates using different technologies. In addition, existing federates may retire from the federation, while new federates may enter into the federation. This may require a change in the control flow of the simulation to reflect a frequently changing business model. Therefore, modern simulation federations have three unique characteristics: heterogeneous, distributed, and adaptive. As a result, formalisms for modern simulations should also provide companion semantics, such as: (a) compositing heterogeneous systems into larger ones; (b) coordinating distributed systems; and (c) evolving existing systems into new ones without interrupting the current executions. This thesis proposes a new formalism---called PiDES. It develops formal models for individual DES federates and runtime infrastructure based on stochastic pi-calculus and High Level Architecture. In order to demonstrate the feasibility and potential benefits of the proposed formalism, a language definition and an interpreter of PiDES, along with a prototype implementation of PiDES-RTI are also developed. The major contribution of this research is to provide a unified approach to modeling and coordinating complex adaptive simulation systems with rigorous semantics, high reconfigurability, and seamless scalability.
机译：形式主义是用于精确定义和分析离散事件模拟（DES）的强大工具。已经提出了许多形式主义，例如FSA，GSMP，DEVS，Petri Net，SPADE等。这些形式主义已证明对建模单个系统很有用。但是，它们对于某些大型系统无效。例如，现代模拟联合会经常涉及许多参与者，这些参与者分布在地理位置上。每个参与者可以使用不同的技术来实现联盟。此外，现有的联盟可能会从联盟中退出，而新的联盟可能会进入联盟。这可能需要更改模拟的控制流程，以反映经常变化的业务模型。因此，现代仿真联合会具有三个独特的特征：异构，分布式和自适应。结果，现代模拟的形式主义还应该提供伴随的语义，例如：（a）将异构系统组合成更大的系统； （b）协调分布式系统； （c）在不中断当前执行的情况下将现有系统发展为新系统。本文提出了一种新的形式主义-称为PiDES。它基于随机pi-演算和高级体系结构为各个DES联盟和运行时基础结构开发正式模型。为了证明所提出的形式主义的可行性和潜在益处，还开发了PiDES的语言定义和解释器以及PiDES-RTI的原型实现。这项研究的主要贡献是提供一种统一的方法来建模和协调具有严格语义，高可重新配置性和无缝可伸缩性的复杂自适应仿真系统。

著录项

相似文献

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

客服邮箱：kefu@zhangqiaokeyan.com

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

  • 客服微信

  • 服务号