| 摘要 | 第10-12页 |
| Abstract | 第12-13页 |
| 符号列表 | 第14-15页 |
| 第一章 绪论 | 第15-45页 |
| 1.1 研究背景与意义 | 第15-23页 |
| 1.1.1 研究背景与问题分析 | 第15-20页 |
| 1.1.2 快响卫星服务规划问题及其面临的挑战 | 第20-22页 |
| 1.1.3 本文研究的关键技术与研究意义 | 第22-23页 |
| 1.2 国内外研究现状 | 第23-41页 |
| 1.2.1 基于偏好的时态规划问题表示 | 第24-31页 |
| 1.2.2 基于偏好的时态规划问题求解 | 第31-36页 |
| 1.2.3 行动规划中的辩论决策技术 | 第36-40页 |
| 1.2.4 研究现状评述 | 第40-41页 |
| 1.3 本文主要工作及创新点 | 第41-43页 |
| 1.4 论文组织结构 | 第43-45页 |
| 第二章 面向快响卫星服务规划的扩展时态规划理论 | 第45-71页 |
| 2.1 快响卫星服务规划问题 | 第45-49页 |
| 2.1.1 快响卫星系统工作机理与问题描述 | 第45-47页 |
| 2.1.2 快响卫星服务规划问题的词汇集 | 第47-48页 |
| 2.1.3 快响卫星服务规划问题的表示需求 | 第48-49页 |
| 2.2 扩展时态规划理论ETPT | 第49-65页 |
| 2.2.1 时间论域和词汇集 | 第49-51页 |
| 2.2.2 状态数据库 | 第51-56页 |
| 2.2.3 操作与动作 | 第56-59页 |
| 2.2.4 状态数据库的更新 | 第59-62页 |
| 2.2.5 演化操作 | 第62-63页 |
| 2.2.6 扩展时态规划理论 | 第63-65页 |
| 2.3 ETPT在快响卫星服务规划中的应用示例 | 第65-69页 |
| 2.4 小结 | 第69-71页 |
| 第三章 时态偏好表示语言TPPL | 第71-97页 |
| 3.1 LPP定性偏好表示方式分析 | 第71-77页 |
| 3.1.1 情景演算基础 | 第71-72页 |
| 3.1.2 LPP语言概述 | 第72-76页 |
| 3.1.3 LPP特点分析 | 第76-77页 |
| 3.2 快响卫星服务规划问题的偏好表示需求 | 第77-78页 |
| 3.3 基于时间的时态偏好表示语言TPPL | 第78-83页 |
| 3.3.1 TPPL偏好定义域 | 第79-80页 |
| 3.3.2 TPPL偏好语法结构 | 第80-83页 |
| 3.4 TPPL语义分析 | 第83-91页 |
| 3.4.1 TPPL偏好的可满足性评估 | 第85-88页 |
| 3.4.2 TPPL偏好集合的可满足性评价 | 第88-89页 |
| 3.4.3 偏好集合的满意度计算 | 第89-91页 |
| 3.5 TPPL表达能力分析 | 第91-93页 |
| 3.6 TPPL在快响卫星服务规划中的应用 | 第93-95页 |
| 3.7 小结 | 第95-97页 |
| 第四章 基于偏好的时态规划问题表示及其求解 | 第97-135页 |
| 4.1 基于偏好的时态规划问题 | 第97-100页 |
| 4.1.1 基于偏好的时态规划问题表示 | 第97-98页 |
| 4.1.2 无冲突偏好集合的PBTP求解分析 | 第98-99页 |
| 4.1.3 单理性目标PBTP问题 | 第99-100页 |
| 4.2 基于偏好时态规划的数据结构 | 第100-110页 |
| 4.2.1 状态数据库的数据结构 | 第100-102页 |
| 4.2.2 操作与动作的数据结构 | 第102-103页 |
| 4.2.3 偏好的数据结构 | 第103-105页 |
| 4.2.4 数据结构示例 | 第105-110页 |
| 4.3 单目标PBTP问题的自动规划求解算法 | 第110-128页 |
| 4.3.1 理性目标偏好提取算法 | 第111-112页 |
| 4.3.2 时间约束可满足性判断算法 | 第112-119页 |
| 4.3.3 单理性目标的自动规划算法 | 第119-128页 |
| 4.4 案例研究 | 第128-134页 |
| 4.5 小结 | 第134-135页 |
| 第五章 基于辩论的PBTP问题求解方法 | 第135-179页 |
| 5.1 面向偏好的辩论模型设计 | 第135-136页 |
| 5.2 基于偏好的时态规划辩论框架AF-PBTP | 第136-146页 |
| 5.2.1 实用论据 | 第137-138页 |
| 5.2.2 实用论据间的冲突关系 | 第138-139页 |
| 5.2.3 实用论据的规划一致性 | 第139-143页 |
| 5.2.4 实用论据的攻击关系 | 第143-144页 |
| 5.2.5 辩论框架 | 第144-146页 |
| 5.3 AF-PBTP辩论求解算法 | 第146-162页 |
| 5.3.1 实用论据构造算法 | 第147-149页 |
| 5.3.2 实用论据攻击关系求解算法 | 第149页 |
| 5.3.3 辩论语义实现算法 | 第149-162页 |
| 5.4 基于辩论的自动规划求解 | 第162-177页 |
| 5.5 小结 | 第177-179页 |
| 第六章 快响卫星服务规划原型系统RSPLANNER | 第179-189页 |
| 6.1 快响卫星服务规划原型系统需求分析 | 第179页 |
| 6.2 快响卫星服务规划原型系统用户接口 | 第179-186页 |
| 6.3 快响卫星服务规划原型系统验证 | 第186-188页 |
| 6.4 小结 | 第188-189页 |
| 第七章 结论与展望 | 第189-191页 |
| 7.1 论文总结 | 第189-190页 |
| 7.2 未来研究工作展望 | 第190-191页 |
| 致谢 | 第191-193页 |
| 参考文献 | 第193-201页 |
| 作者在学期间取得的学术成果 | 第201-202页 |
| 附录 缩略语表 | 第202页 |