基于事件图的PDES模型-仿真器解耦合方法研究
逻辑进程(LogicaI Process)是并行离散事件仿真中最广泛采用的一种建模范型，但目前通用的基于逻辑进程范型的离散事件模型均直接基于高级编程语言实现或图形界面开发，缺乏模型描述与仿真器之间的严格区分，使得模型正确性以及仿真功能性能评估准确性受到了极大影响．针对这一问题，本文提出了面向逻辑进程范型的分割事件图形式化方法及其仿真器执行语义．首先，对当前提出了分割事件图形式化方法，按照逻辑进程范型状态划分特征，在事件图上对逻辑进程进行分割映射;其次，基于分割事件图形式化语言，从模型向仿真器进行了映射，最后给出了一种抽象串行仿真器算法．本文工作为PDES模型与仿真器解耦合提供了严格的形式化基础．
并行离散事件仿真 分割事件图 逻辑进程 仿真器
王兵 姚益平 夏薇 邢飞
固防科学技术大学计算机学院，长沙，410073
国内会议
沈阳
中文
103-108
2010-07-01（万方平台首次上网日期，不代表论文的发表时间）