离散事件系统规范DEVS研究

摘要：

离散事件系统是一类常见的系统,如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容.离散事件系统规范DEVS是一种离散事件系统形式化描述方法,它具有层次化和模块化的特点,利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真.该文详细介绍了DEVS基本模型和耦合模型,给出了DEVS在耦合运算下的封闭性构造证明,并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法,该算法对基于DEVS描述的离散事件系统的仿真实现具有一定参考价值.

关键词：离散事件系统、离散事件系统规范、形式化、模型

所属期刊栏目：21

分类号：TP301.2;TP391.9(计算技术、计算机技术)

在线出版日期：2004-08-18（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：62-64,59