軍事任務計劃建模與優化方法（簡體書）

本書研究基於約束滿足(SAT)理論的任務不確定軍事行動方案生成問題建模與求解方法，提出了一種基於PA網絡的任務不確定項目調度問題建模方法，設計了一種基於領域知識的SAT問題求解算法；基於多目標約束優化理論的資源不確定軍事任務規劃方法，提出了一種軍事任務規劃問題多目標進化優化算法，擴充了多目標進化算法的實際應用領域；基於魯棒性調度理論的時間不確定軍事資源分配方法，提出了一種基於資源流網絡的軍事資源分配方案生成算法，設計了一種在調度方案中優化分配時間緩衝的正向逆向調度算法。

第一章 緒論............................................................................ 1 第二章 不確定環境下軍事任務計劃模型與求解框架................ 17 2.1 軍事任務計劃構成要素............................................................... 17 2.1.1 任務.................................................................................... 17 2.1.2 任務關係............................................................................ 18 2.1.3 資源.................................................................................... 20 2.2 軍事任務計劃不確定因素及其建模........................................... 21 2.2.1 任務不確定性及其建模.................................................... 21 2.2.2 資源不確定性及其建模.................................................... 25 2.2.3 時間不確定性及其建模.................................................... 26 2.3 不確定環境下軍事任務計劃模型............................................... 27 2.3.1 符號.................................................................................... 28 2.3.2 約束條件............................................................................ 29 2.3.3 目標函數............................................................................ 30 2.4 不確定環境下軍事任務計劃求解框架....................................... 31 2.4.1 設計思想............................................................................ 32 2.4.2 不確定性應對策略............................................................ 33 2.4.3 不確定環境下軍事任務計劃問題求解框架.................... 33 2.5 本章小結....................................................................................... 35 第三章 任務不確定軍事行動方案生成方法.............................. 36 3.1 任務不確定軍事行動方案生成問題概述................................... 36 3.2 任務不確定軍事行動方案生成問題建模................................... 37 3.2.1 SAT理論基本概念........................................................... 37 3.2.2 基於SAT理論的問題模型.............................................. 39 3.2.3 基於邏輯任務圖的問題模型化簡方法............................ 40 3.3 任務不確定軍事行動方案求解算法........................................... 44 3.3.1 SAT問題的求解算法....................................................... 44 3.3.2 DPLL算法框架................................................................. 45 3.3.3 基於知識的任務不確定軍事行動方案求解算法............ 47 3.4 案例分析....................................................................................... 50 3.4.1 案例想定............................................................................ 50 3.4.2 問題建模............................................................................ 51 3.4.3 問題求解............................................................................ 52 3.5 本章小結....................................................................................... 53 第四章 資源不確定軍事任務規劃方案生成與優化方法............. 54 4.1 資源不確定軍事任務規劃問題模型........................................... 54 4.1.1 符號與相關前提假設........................................................ 55 4.1.2 數學模型............................................................................ 56 4.2 資源不確定軍事任務規劃問題求解策略................................... 57 4.2.1 基於資源緩衝的求解策略................................................ 57 4.2.2 基於時間緩衝的求解策略................................................ 60 4.3 軍事任務規劃初始方案生成算法............................................... 63 4.3.1 任務執行模式.................................................................... 64 4.3.2 方案生成機制.................................................................... 64 4.3.3 優先規則............................................................................ 66 4.4 軍事任務規劃多目標優化算法................................................... 67 4.4.1 多目標優化問題及求解算法............................................ 67 4.4.2 軍事任務規劃多目標優化算法流程................................ 69 4.5 案例分析....................................................................................... 74 4.5.1 案例想定............................................................................ 74 4.5.2 實驗設計............................................................................ 76 4.5.3 結果分析............................................................................ 77 4.6 本章小結....................................................................................... 81 第五章 時間不確定軍事資源分配方案生成與優化方法............. 82 5.1 時間不確定軍事資源分配問題模型........................................... 82 5.1.1 符號.................................................................................... 82 5.1.2 數學模型............................................................................ 83 5.2 時間不確定軍事資源分配問題求解策略................................... 84 5.2.1 基於資源流網絡的魯棒性求解策略................................ 84 5.2.2 基於時間緩衝的魯棒性求解策略.................................... 86 5.3 軍事資源分配方案生成算法....................................................... 87 5.3.1 資源流網絡生成算法........................................................ 87 5.3.2 軍事資源分配方案生成算法............................................ 91 5.4 時間不確定軍事資源分配方案優化算法................................... 92 5.4.1 基於時間緩衝的資源分配魯棒調度算法........................ 93 5.4.2 軍事資源分配方案魯棒調度算法.................................... 96 5.5 案例分析....................................................................................... 99 5.5.1 實驗設計............................................................................ 99 5.5.2 結果分析.......................................................................... 100 5.6 本章小結 102