| 摘要 | 第1-5页 |
| ABSTRACT | 第5-6页 |
| 目录 | 第6-8页 |
| 第一章 绪论 | 第8-14页 |
| ·研究背景及意义 | 第8-9页 |
| ·研究水平与现状 | 第9-12页 |
| ·软件移植 | 第9-10页 |
| ·软件重构 | 第10-11页 |
| ·智能规划 | 第11-12页 |
| ·论文主要研究工作 | 第12-13页 |
| ·论文组织结构 | 第13-14页 |
| 第二章 ECLIPSE平台下的偏序规划设计 | 第14-29页 |
| ·Eclipse平台概述 | 第14-15页 |
| ·偏序规划方法 | 第15-19页 |
| ·偏序关系定义 | 第16页 |
| ·规划问题描述 | 第16-18页 |
| ·因果连接与规划冲突 | 第18页 |
| ·偏序规划描述 | 第18-19页 |
| ·偏序规划工具实现 | 第19-28页 |
| ·Scheme语言的特点 | 第20-21页 |
| ·Eclipse平台下Scheme语言解释器的设计与实现 | 第21-26页 |
| ·基于Scheme语言的偏序规划描述 | 第26-28页 |
| ·本章小节 | 第28-29页 |
| 第三章 基于重构偏序规划方法的软件移植研究 | 第29-42页 |
| ·基于重构方法的软件移植研究 | 第29-32页 |
| ·软件移植与重构 | 第29-30页 |
| ·基于重构的软件移植方法 | 第30-31页 |
| ·方法适用范围分析 | 第31-32页 |
| ·基于偏序规划的重构方法分析 | 第32-33页 |
| ·重构与智能规划 | 第32页 |
| ·基于偏序规划的重构方法 | 第32-33页 |
| ·软件结构描述 | 第33-37页 |
| ·软件结构的ATG描述 | 第33-35页 |
| ·软件结构的谓词逻辑描述 | 第35页 |
| ·软件结构ATG到谓词逻辑的转换 | 第35-37页 |
| ·规划操作描述 | 第37页 |
| ·规划描述 | 第37-38页 |
| ·基于偏序规划的重构算法 | 第38-40页 |
| ·算法总结与改进 | 第40-41页 |
| ·本章小结 | 第41-42页 |
| 第四章 重构偏序规划方法在软件移植中的应用 | 第42-54页 |
| ·条件接收系统概述 | 第42-43页 |
| ·项目背景 | 第42页 |
| ·系统功能 | 第42页 |
| ·系统结构 | 第42-43页 |
| ·μC/OS-II操作系统 | 第43-46页 |
| ·消息邮箱模式 | 第44-45页 |
| ·消息队列模式 | 第45-46页 |
| ·基于重构偏序规划的条件接受系统移植 | 第46-53页 |
| ·条件接收系统移植任务分析 | 第46-47页 |
| ·面向移植的重构描述 | 第47-48页 |
| ·基于重构规划的移植实现 | 第48-53页 |
| ·本章小结 | 第53-54页 |
| 第五章 总结与展望 | 第54-56页 |
| ·总结 | 第54-55页 |
| ·展望 | 第55-56页 |
| 参考文献 | 第56-61页 |
| 致谢 | 第61-62页 |
| 攻读学位期间主要的研究成果 | 第62页 |