基于DEVS的多分辨率建模形式化描述规范研究(英文)

随着分布交互式仿真技术的发展,多分辨率建模成为建模与仿真的关键技术之一。提出了一种多分辨率模型系的概念,并分析了多分辨率模型系的重要性质。多分辨率模型系描述了同一实体的不同分辨率模型之间关系。在多分辨率模型系和DEVS描述理论的基础上提出了一种多分辨率模型系统的形式化描述规范MRMS,证明了该规范的重要性质,尤其是它的耦合封闭性。在MRMS的基础上,可以进一步深入开展多分辨率建模的理论和实现研究。

离散事件系统规范DEVS研究

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