| 摘要 | 第5-6页 |
| abstract | 第6-7页 |
| 第一章 绪论 | 第11-18页 |
| 1.1 研究背景及意义 | 第11页 |
| 1.2 国内外发展态势 | 第11-16页 |
| 1.2.1 飞机管理系统的研究态势 | 第11-12页 |
| 1.2.2 飞机管理计算机控制管理系统的研究态势 | 第12-14页 |
| 1.2.3 计算机系统模拟器技术的研究态势 | 第14-16页 |
| 1.3 研究目标及内容 | 第16-17页 |
| 1.4 论文组织架构 | 第17-18页 |
| 第二章 虚拟化技术基础 | 第18-31页 |
| 2.1 虚拟飞机管理计算机仿真平台概述 | 第18-20页 |
| 2.2 计算机系统模拟器技术研究 | 第20-23页 |
| 2.2.1 解释执行技术 | 第21页 |
| 2.2.2 交织码技术 | 第21页 |
| 2.2.3 静态二进制翻译技术 | 第21-22页 |
| 2.2.4 动态二进制翻译技术 | 第22-23页 |
| 2.3 嵌入式虚拟建模平台的对比分析 | 第23-24页 |
| 2.4 Simics虚拟平台的可行性分析 | 第24页 |
| 2.5 虚拟飞机管理计算机核心机制 | 第24-30页 |
| 2.5.1 虚拟飞机管理计算机通信机制 | 第24-26页 |
| 2.5.2 虚拟飞机管理计算机设备模型建模机制 | 第26-27页 |
| 2.5.3 虚拟飞机管理计算机时间队列机制 | 第27-28页 |
| 2.5.4 虚拟飞机管理计算机中断机制 | 第28页 |
| 2.5.5 虚拟飞机管理计算机存储机制 | 第28-29页 |
| 2.5.6 虚拟飞机管理计算机同步机制 | 第29-30页 |
| 2.6 本章小结 | 第30-31页 |
| 第三章 虚拟飞机管理计算机控制管理系统的需求分析 | 第31-42页 |
| 3.1 虚拟飞机管理计算机的需求分析 | 第31页 |
| 3.2 虚拟飞机管理计算机控制管理系统的需求分析 | 第31-39页 |
| 3.2.1 CPU核模型的功能性需求 | 第32页 |
| 3.2.2 MV64460桥模型的功能性需求 | 第32-35页 |
| 3.2.3 存储器模型的功能性需求 | 第35-36页 |
| 3.2.4 FPGA模型的功能性需求 | 第36-39页 |
| 3.3 DIF模型的需求分析 | 第39-40页 |
| 3.4 虚拟飞机管理计算机的非功能性需求 | 第40页 |
| 3.5 技术难点 | 第40-41页 |
| 3.6 本章小结 | 第41-42页 |
| 第四章 虚拟飞机管理计算机控制管理系统的设计与实现 | 第42-67页 |
| 4.1 虚拟飞机管理计算机总体方案设计 | 第42-43页 |
| 4.2 虚拟飞机管理计算机控制管理系统方案设计 | 第43-57页 |
| 4.2.1 CPU核模型的设计与实现 | 第43-44页 |
| 4.2.2 存储器模型的设计与实现 | 第44-45页 |
| 4.2.3 MV64460桥模型的设计与实现 | 第45-52页 |
| 4.2.4 FPGA模型的设计与实现 | 第52-57页 |
| 4.3 DIF模型的设计与实现 | 第57-66页 |
| 4.3.1 虚拟DIF模型通信方式的对比分析 | 第57-58页 |
| 4.3.2 并口卡通信方式虚拟化设计 | 第58-60页 |
| 4.3.3 DIF接口模型的设计与实现 | 第60-66页 |
| 4.4 本章小结 | 第66-67页 |
| 第五章 虚拟飞机管理计算机控制管理系统的测试与验证 | 第67-87页 |
| 5.1 测试环境的设计与搭建 | 第67-69页 |
| 5.2 CP2单板模型的测试与验证 | 第69-78页 |
| 5.2.1 CPU核模型的单元测试与验证 | 第69页 |
| 5.2.2 CP2单板存储器模型的单元测试与验证 | 第69-70页 |
| 5.2.3 MV64460桥模型的单元测试与验证 | 第70-74页 |
| 5.2.4 FPGA模型的单元测试与验证 | 第74-78页 |
| 5.3 DIF模型的测试与验证 | 第78-80页 |
| 5.4 虚拟飞机管理计算机的集成测试与验证 | 第80-81页 |
| 5.5 虚拟飞机管理计算机的闭环测试与验证 | 第81-84页 |
| 5.6 虚拟飞机管理计算机特性对比分析 | 第84-86页 |
| 5.7 本章小结 | 第86-87页 |
| 第六章 总结与展望 | 第87-88页 |
| 6.1 论文总结 | 第87页 |
| 6.2 后续展望 | 第87-88页 |
| 致谢 | 第88-89页 |
| 参考文献 | 第89-92页 |