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

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