| 离散事件系统规范DEVS研究 |
| |
| 引用本文： | 唐俊,张明清,刘建峰.离散事件系统规范DEVS研究[J].计算机仿真,2004,21(6):62-65. |
| |
| 作者姓名： | 唐俊 张明清 刘建峰 |
| |
| 作者单位： | 解放军信息工程大学电子技术学院,河南,郑州,450004 |
| |
| 摘 要： | 离散事件系统是一类常见的系统，如何对这类系统进行描述与建模是离散事件系统仿真研究的核心内容。离散事件系统规范DEVS是一种离散事件系统形式化描述方法，它具有层次化和模块化的特点，利用该方法可对复杂的离散事件系统进行建模、设计、分析和仿真。该文详细介绍了DEVS基本模型和耦合模型，给出了DEVS在耦合运算下的封闭性构造证明，并提出了一种具有嵌套层次结构的DEVS耦合模型实现算法，该算法对基于DEVS描述的离散事件系统的仿真实现具有一定参考价值。
|
| 关 键 词： | 离散事件系统规范 形式化描述 封闭性 DEVS模型 仿真系统 |
| 文章编号： | 1006-9348(2004)06-0062-03 |
| 修稿时间： | 2003年10月13 |
Research of Discrete-Event System Specification |
| |
| TANG Jun,ZHANG Ming-qing,LIU Jian-feng.Research of Discrete-Event System Specification[J].Computer Simulation,2004,21(6):62-65. |
| |
| Authors: | TANG Jun ZHANG Ming-qing LIU Jian-feng |
| |
| Abstract: | |
| |
| Keywords: | Discrete-Event System Discrete-Event System Specification Formalism Model |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
