多核并行程序的建模与仿真
| 摘要 | 第1-4页 |
| Abstract | 第4-7页 |
| 第一章 绪论 | 第7-13页 |
| ·研究背景 | 第7-8页 |
| ·多核并行程序设计 | 第8-9页 |
| ·时序逻辑程序设计语言 | 第9-11页 |
| ·时序逻辑 | 第9-10页 |
| ·时序逻辑程序设计语言 | 第10-11页 |
| ·研究目的及章节安排 | 第11-13页 |
| 第二章 时序逻辑程序设计语言 MSVL | 第13-27页 |
| ·投影时序逻辑 PTL | 第13-18页 |
| ·语法 | 第13-14页 |
| ·语义 | 第14-16页 |
| ·常用导出公式 | 第16-18页 |
| ·优先级规则 | 第18页 |
| ·时序逻辑程序设计语言 MSVL | 第18-25页 |
| ·MSVL 的表达式 | 第18-19页 |
| ·MSVL 的语句 | 第19-22页 |
| ·范式和范式图 | 第22-23页 |
| ·操作语义 | 第23-24页 |
| ·统一模型检测算法 | 第24-25页 |
| ·MSVL 解释器 | 第25-27页 |
| 第三章 多核并行程序的建模与仿真 | 第27-37页 |
| ·柱面计算模型 | 第27-28页 |
| ·柱面计算模型的语法和语义 | 第28-32页 |
| ·操作语义 | 第32-35页 |
| ·本章小结 | 第35-37页 |
| 第四章 MSVL 解释器中 CCM 的实现 | 第37-53页 |
| ·多核并行程序处理模块 | 第37-38页 |
| ·词法和语法定义模块 | 第38-40页 |
| ·词法分析 | 第38-39页 |
| ·语法分析 | 第39-40页 |
| ·进程的状态化简 | 第40-50页 |
| ·时序区间表达式的状态化简 | 第41-47页 |
| ·简单结构进程的状态化简 | 第47-50页 |
| ·并行操作符的状态化简 | 第50页 |
| ·MSVL 多核并行程序的执行过程 | 第50-53页 |
| 第五章 应用实例 | 第53-69页 |
| ·幻方 | 第53-61页 |
| ·双偶数幻方算法简介 | 第53-54页 |
| ·4×4 幻方的建模和仿真 | 第54-56页 |
| ·4×4 幻方的建模和仿真结果分析 | 第56-61页 |
| ·四位去除进位依赖的乘法器 | 第61-67页 |
| ·阵列乘法器 | 第61-63页 |
| ·四位去除进位依赖的乘法器的仿真与建模 | 第63-64页 |
| ·建模和仿真结果分析 | 第64-67页 |
| ·本章小结 | 第67-69页 |
| 第六章 总结与展望 | 第69-71页 |
| ·总结 | 第69页 |
| ·展望 | 第69-71页 |
| 致谢 | 第71-73页 |
| 参考文献 | 第73-77页 |
| 作者在读期间的研究成果 | 第77-79页 |
| 附录 A | 第79-81页 |
| 附录 B | 第81-83页 |
| 附录 C | 第83-87页 |
| 附录 D | 第87-91页 |
