| 摘要 | 第1-11页 |
| ABSTRACT | 第11-13页 |
| 第一章 绪论 | 第13-25页 |
| §1.1 研究背景 | 第13-15页 |
| §1.2 国内外相关研究现状 | 第15-21页 |
| ·对地观测卫星调度问题的研究现状 | 第15-19页 |
| ·具有时间约束的多机调度问题的研究现状 | 第19-21页 |
| ·现有研究的特点与不足 | 第21页 |
| §1.3 本文的主要工作 | 第21-25页 |
| ·研究任务 | 第21-22页 |
| ·主要工作与创新点 | 第22-23页 |
| ·论文组织结构 | 第23-25页 |
| 第二章 约束满足问题 | 第25-41页 |
| §2.1 约束满足问题概述 | 第25-28页 |
| ·形式化定义 | 第25-27页 |
| ·CSP求解的一般过程 | 第27-28页 |
| §2.2 约束传播 | 第28-31页 |
| ·节点一致 | 第29页 |
| ·弧一致 | 第29-30页 |
| ·路径一致 | 第30页 |
| ·k一致 | 第30-31页 |
| ·全局约束传播算法 | 第31页 |
| §2.3 完全搜索算法 | 第31-34页 |
| ·回退算法 | 第32-33页 |
| ·分枝定界 | 第33-34页 |
| §2.4 局部邻域搜索(Local Search) | 第34-39页 |
| ·爬山法 | 第35页 |
| ·模拟退火 | 第35-37页 |
| ·禁忌搜索 | 第37-39页 |
| §2.5 约束规划系统 | 第39-40页 |
| ·ILOG Solver | 第39-40页 |
| ·其他CP系统 | 第40页 |
| §2.6 本章小结 | 第40-41页 |
| 第三章 成像侦察卫星调度问题 | 第41-57页 |
| §3.1 调度理论 | 第41-43页 |
| ·调度理论 | 第41页 |
| ·资源、活动和调度目标 | 第41-42页 |
| ·Graham的调度问题分类方法 | 第42-43页 |
| §3.2 成像侦察卫星调度问题 | 第43-51页 |
| ·成像侦察卫星调度问题概述 | 第43-49页 |
| ·基本假设及问题简化 | 第49页 |
| ·成像侦察卫星调度的主要过程 | 第49-51页 |
| §3.3 成像侦察卫星调度问题的数学模型 | 第51-55页 |
| ·混合整数规划(MIP)模型 | 第51-54页 |
| ·约束满足问题(CSP)模型 | 第54-55页 |
| §3.4 本章小结 | 第55-57页 |
| 第四章 成像侦察卫星调度CSP模型求解的禁忌搜索算法 | 第57-85页 |
| §4.1 后移空余时间 | 第57-63页 |
| ·单时间窗口 | 第58-59页 |
| ·多时间窗口 | 第59-63页 |
| §4.2 初始解生成算法 | 第63-67页 |
| ·活动及活动执行时间的选择规则 | 第64-65页 |
| ·插入可行性判断 | 第65-66页 |
| ·活动插入后的参数更新 | 第66页 |
| ·插入过程的随机化 | 第66页 |
| ·初始解生成过程的计算复杂性 | 第66-67页 |
| §4.3 禁忌搜索过程 | 第67-78页 |
| ·移动、邻域搜索策略及移动可行性判断 | 第68-77页 |
| ·移动的选择策略 | 第77页 |
| ·禁忌列表 | 第77-78页 |
| ·解更新规则 | 第78页 |
| ·结束规则 | 第78页 |
| §4.4 计算实例分析 | 第78-84页 |
| ·测试数据 | 第78-79页 |
| ·计算结果及分析 | 第79-84页 |
| §4.5 本章小结 | 第84-85页 |
| 第五章 成像侦察卫星调度MIP模型求解的列生成算法 | 第85-98页 |
| §5.1 列生成法的基本原理 | 第85-86页 |
| §5.2 集合分割主问题 | 第86-88页 |
| ·成像侦察卫星调度问题的MIP模型 | 第86-87页 |
| ·集合分割主问题(Set Partitioning Master Problem) | 第87-88页 |
| ·线性松弛主问题求解的列生成法 | 第88页 |
| §5.3 子问题模型及求解算法 | 第88-93页 |
| ·单资源调度子问题 | 第88-89页 |
| ·子问题模型 | 第89-90页 |
| ·子问题求解算法 | 第90-93页 |
| §5.4 计算结果分析 | 第93-97页 |
| ·子问题算法计算结果 | 第94-95页 |
| ·列生成法的计算结果 | 第95-97页 |
| §5.5 本章小结 | 第97-98页 |
| 第六章 成像侦察卫星调度系统设计与实现 | 第98-125页 |
| §6.1 软件系统总体设计 | 第98-101页 |
| ·总体框架 | 第98-100页 |
| ·系统接口 | 第100-101页 |
| §6.2 系统实现 | 第101-117页 |
| ·想定管理子系统 | 第101-102页 |
| ·资源管理子系统 | 第102-106页 |
| ·任务管理子系统 | 第106-108页 |
| ·资源调度子系统 | 第108-114页 |
| ·其他子系统的实现 | 第114-117页 |
| §6.3 系统简介 | 第117-124页 |
| ·软件开发环境 | 第117页 |
| ·系统介绍 | 第117-124页 |
| §6.4 本章小结 | 第124-125页 |
| 第七章 应用实例 | 第125-136页 |
| §7.1 调度问题设计 | 第125-130页 |
| ·成像侦察卫星系统设计 | 第125-127页 |
| ·地面目标设计 | 第127-128页 |
| ·观测任务设计 | 第128-130页 |
| §7.2 调度预处理 | 第130-132页 |
| ·实时地面分辨率 | 第130-131页 |
| ·图像类型的选择 | 第131-132页 |
| ·太阳光照条件的影响 | 第132页 |
| §7.3 调度结果 | 第132-135页 |
| §7.4 结论 | 第135-136页 |
| 第八章 结论与展望 | 第136-140页 |
| §8.1 本文总结 | 第136-137页 |
| §8.2 进一步的研究与展望 | 第137-140页 |
| 致谢 | 第140-142页 |
| 参考文献 | 第142-149页 |
| 附录：攻读博士学位期间发表和录用的论文 | 第149页 |
