深空探測器自主任務規(guī)劃技術

 前輔文
1章 緒論
1.1 背景介紹
1.1.1 深空探測提出的需求
1.1.2 研究的目的和意義
1.2 規(guī)劃技術的發(fā)展
1.2.1 規(guī)劃問題的復雜度
1.2.2 傳統(tǒng)的規(guī)劃問題
1.2.3 約束可滿足規(guī)劃
1.2.4 等級任務網規(guī)劃
1.2.5 概率論規(guī)劃
1.2.6 基于時間的規(guī)劃技術
1.2.7 調度技術與規(guī)劃技術
1.3 基于多智能體的規(guī)劃技術
1.4 自主探測器及其任務規(guī)劃系統(tǒng)
1.4.1 自主探測器的發(fā)展
1.4.2 航天器任務規(guī)劃調度系統(tǒng)發(fā)展現狀
參考文獻
2章 深空探測器任務規(guī)劃系統(tǒng)及規(guī)劃知識模型
2.1 引言
2.2 深空探測器任務規(guī)劃問題描述
2.2.1 規(guī)劃問題
2.2.2 深空探測器系統(tǒng)組成及功能
2.2.3 深空探測器任務規(guī)劃問題及規(guī)劃目標
2.2.4 規(guī)劃系統(tǒng)動態(tài)模型
2.2.5 深空探測器任務規(guī)劃中的關鍵問題
2.2.6 深空探測器任務規(guī)劃系統(tǒng)結構
2.3 基于PDDL的規(guī)劃知識建模方法
2.3.1 PDDL簡介
2.3.2 PDDL2.1——STRIPS框架
2.3.3 數值擴展
2.3.4 PDDL2.1——持續(xù)性動作
2.4 基于狀態(tài)時間線的探測器任務規(guī)劃系統(tǒng)知識模型
2.4.1 深空探測器規(guī)劃知識分析
2.4.2 探測器規(guī)劃知識模型BNF定義
2.4.3 基于時間區(qū)間的廣義活動模型
2.4.4 狀態(tài)時間線模型
2.4.5 約束關系模型
2.5 基于XML的探測器規(guī)劃知識表示
2.5.1 用XML表示探測器規(guī)劃知識的優(yōu)勢分析
2.5.2 規(guī)劃知識數據文檔定義
2.5.3 基于XML的規(guī)劃知識表示
2.5.4 基于XML的規(guī)劃知識查詢和操作機制
2.6 本章小結
參考文獻
3章 時間約束網絡及其處理方法
3.1 引言
3.2 任務規(guī)劃中的時間描述和時間約束問題
3.2.1 任務規(guī)劃中的時間描述
3.2.2 任務規(guī)劃中的時間約束問題
3.3 簡單時間約束問題
3.3.1 簡單時間約束問題的定義
3.3.2 簡單時間約束的語法和語義
3.3.3 任務規(guī)劃中的簡單時間約束網絡
3.3.4 簡單時間約束網的推理
3.4 基于幾何表示的時間傳播方法
3.4.1 時間約束的幾何表示方法
3.4.2 約束傳播方法
3.5 任務規(guī)劃中的時間約束網絡變化分析
3.5.1 任務規(guī)劃中的時間約束網絡
3.5.2 任務規(guī)劃中時間約束網絡變化分析
3.6 基于時間約束網絡任務規(guī)劃算法及分析
3.6.1 動態(tài)增量式時間約束網絡算法
3.6.2 動態(tài)增量式時間約束網絡算法時間復雜性分析
3.6.3 算法實驗與結果分析
3.7 本章小結
參考文獻
4章 規(guī)劃過程中的資源約束處理方法
4.1 引言
4.2 航天器任務規(guī)劃中的資源約束問題
4.2.1 資源約束模型
4.2.2 資源約束網絡模型
4.3 資源約束處理方法
4.3.1 資源約束網絡的*大流算法
4.3.2 資源突變的時間拓撲排序方法
4.4 航天器資源約束的可分配性條件
4.4.1 規(guī)劃中資源約束的可分配性條件