|
|||||
|
|
| 一种支持并行离散事件仿真建模和并行模型检验的建模语言 | |
| 作者姓名： | 夏薇 姚益平 慕晓冬 |
| 作者单位： | 1. 国防科技大学计算机学院,湖南长沙410073;第二炮兵工程大学计算机系,陕西西安710025 2. 国防科技大学计算机学院,湖南长沙,410073 3. 第二炮兵工程大学计算机系,陕西西安,710025 |
| 基金项目： | 国家自然科学基金资助项目,国家教育部博士点基金资助项目 |
| 摘 要： | 并行离散事件仿真(Parallel Discrete Event Simulation,PDES)模型的正确性和可信度对PDES应用的发展起着决定性作用.然而,现有的并行离散事件仿真开发环境都没有提供仿真模型检验功能.并行模型检验(Parallel Model Checking,PMC)方法以其完备性、高效性已经在工业... |
| 关 键 词： | 并行离散事件仿真 模型检验 事件图 逻辑进程范型 DVE建模语言 模型转换 |
| 收稿时间： | 2011-06-16 |
| 本文献已被 CNKI 万方数据 等数据库收录！ | |
| 点击此处可从《国防科技大学学报》浏览原始摘要信息 | |
| 点击此处可从《国防科技大学学报》下载全文 | |