离散事件系统规范DEVS研究

Research of Discrete-Event System Specification

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

The discrete-event system is a common system. How to describe and model this system is the core research part of the discrete-event system simulation. Discrete-Event System Specification, abbreviated to DEVS, is a formalized description method for discrete-event system. It is characterized by its hierarchy and module. Using DEVS, complex discrete-event systems can be modeled, designed, analyzed and simulated. In the paper, the atomic model and coupled model of DEVS are first introduced in detail. Then the closure of DEVS under coupling is proved by presenting a construction procedure of a resultant atomic DEVS. And an implementation algorithm of the DEVS model with the recursive and hierarchical structure is given finally. This algorithm has some reference value for the implementation of the discrete-event system based on DEVS.