基于Pi演算的异构系统任务调度算法研究与实现
| 摘要 | 第4-5页 |
| Abstract | 第5-6页 |
| 第1章 引言 | 第9-15页 |
| 1.1 研究背景 | 第9-13页 |
| 1.1.1 国内研究现状 | 第11-12页 |
| 1.1.2 国外研究现状 | 第12-13页 |
| 1.2 研究意义 | 第13页 |
| 1.3 主要工作 | 第13-14页 |
| 1.4 论文结构 | 第14-15页 |
| 第2章 相关理论基础 | 第15-24页 |
| 2.1 Pi演算相关基础 | 第15-18页 |
| 2.1.1 Pi演算的语法和语义 | 第15-17页 |
| 2.1.2 Pi演算的迁移规则 | 第17-18页 |
| 2.2 CPOP算法相关理论 | 第18-23页 |
| 2.2.1 DAG图 | 第18-20页 |
| 2.2.2 CPOP算法 | 第20-23页 |
| 2.3 本章小结 | 第23-24页 |
| 第3章 对CPOP算法建模 | 第24-38页 |
| 3.1 Pi演算中的表编程 | 第24-26页 |
| 3.2 用Pi演算对CPOP算法建模 | 第26-34页 |
| 3.2.1 主要的数据结构 | 第26-27页 |
| 3.2.2 建模过程 | 第27-34页 |
| 3.3 形式化验证 | 第34-37页 |
| 3.4 本章小结 | 第37-38页 |
| 第4章 用nPict对CPOP算法编程实现 | 第38-49页 |
| 4.1 基于Pi演算的nPict语言简介 | 第38-42页 |
| 4.1.1 nPict语言的语言结构 | 第38-40页 |
| 4.1.2 Pi演算与nPict的对应 | 第40-41页 |
| 4.1.3 nPict中List的应用 | 第41-42页 |
| 4.2 用nPict对CPOP算法实现 | 第42-48页 |
| 4.3 本章小结 | 第48-49页 |
| 第5章 实验结果分析与对比 | 第49-58页 |
| 5.1 任务调度的性能测试标准 | 第49-50页 |
| 5.2 CPOP算法的实验结果分析 | 第50-57页 |
| 5.2.1 宽度优先纵向对比 | 第51-54页 |
| 5.2.2 深度优先纵向对比 | 第54-57页 |
| 5.3 本章小结 | 第57-58页 |
| 第6章 结语 | 第58-60页 |
| 6.1 本文工作总结 | 第58-59页 |
| 6.2 未来工作展望 | 第59-60页 |
| 参考文献 | 第60-64页 |
| 作者简介及在学期间所获得的科研成果 | 第64-65页 |
| 致谢 | 第65页 |
