傳統(tǒng)的兵力調度方式存在信息化、自動化程度低,協(xié)調性、可靠性、適應性以及柔性差等問題,這些問題的存在使得傳統(tǒng)的兵力調度手段不能適應信息化作戰(zhàn)的需要�；诖吮疚奶岢龌诠ぷ髁鞯谋φ{度解決方案,力圖在一定程度上解決存在的問題。圍繞研究的目標,本文主要研究了如下內容: (1)提出了基于工作流的兵力調度建模技術。本文針對傳統(tǒng)工作流建模在面向大型復雜應用(特別是軍事應用)方面的不足,提出基于概念模型工程的一體化建�？蚣�。該建�？蚣苣軌虺浞謪f(xié)調各建模人員和建模階段,并通過概念模型促進模型復用等�；谠摻？蚣�,面向兵力調度本文進一步研究了基于CMMS的數據搜集、基于ECA規(guī)則的兵力調度格式化描述以及基于UML的兵力調度形式化建模,在此基礎上給出了基于工作流的兵力調度模型。 (2)研究了工作流模型的VVA。傳統(tǒng)工作流模型質量方面的研究多從一些具體技術著手,如仿真、形式化校核等,沒有將模型質量作為一個整體考慮。本文針對該問題研究了工作流模型的VVA。在此基礎上本文將模型檢驗技術引入工作流模型校核,進一步確保了工作流模型質量。 (3)提出基于工作流技術的兵力調度解決方案。本文首先提出基于工作流技術的兵力調度的計劃和計劃執(zhí)行集成解決方案,提出分層調度模型并研究了相應的集成算法。然后針對兵力調度的特點,提出包含計劃層、執(zhí)行層和控制層的三層兵力調度架構,并在此架構基礎上提出基于調度建模的集成解決方案,該方案主要由組件和框架構成,能夠滿足兵力調度實施的高效高質要求。 (4)開發(fā)了相應的兵力調度工具集。工具集由組件庫、建模工具集和調度執(zhí)行系統(tǒng)三部分構成,并對各部分相應功能和實現(xiàn)機理進行了分析。 (5)本文通過不明空情案例進行了實證研究。
【學位單位】：國防科學技術大學
【學位級別】：博士
【學位年份】：2005
【中圖分類】：E072
【文章目錄】：
摘 要
Abstract
第一章 緒論
    §1.1 問題的提出
        1.1.1 信息化作戰(zhàn)
        1.1.2 兵力調度
    §1.2 相關理論的國內外研究現(xiàn)狀
        1.2.1 兵力調度技術
        1.2.2 工作流技術
        1.2.3 使命空間概念模型
        1.2.4 小結
    §1.3 本文的研究內容與主要工作
        1.3.1 研究思路及主要研究內容
        1.3.2 本文的主要工作和主要創(chuàng)新點
    §1.4 本文的組織
第二章 基于工作流的兵力調度建模技術研究
    §2.1 基于概念模型工程的工作流一體化建模框架
        2.1.1 工作流建模技術概述
        2.1.2 基于概念模型工程的一體化建�？蚣�
    §2.2 基于 ECA 規(guī)則的兵力調度格式化建模
        2.2.1 基于 CMMS 的數據搜集
        2.2.2 基于 ECA 規(guī)則的格式化描述
        2.2.3 基于模式的描述方法
    §2.3 基于 UML 的兵力調度形式化建模
        2.3.1 基于 UML 的工作流建模表達
        2.3.2 格式化到形式化的映射
        2.3.3 模型視圖的一致性
    §2.4 基于工作流的兵力調度模型研究
        2.4.1 概述
        2.4.2 基于工作流的兵力調度模型
    §2.5 小結
第三章 兵力調度模型的 VV&A研究
    §3.1 兵力調度模型的 VV&A
        3.1.1 兵力調度模型 VV&A
        3.1.2 兵力調度模型質量指標
        3.1.3 兵力調度模型的 VV&A 實施
        3.1.4 兵力調度模型 VV&A 的意義
        3.1.5 小結
    §3.2 基于 UML 活動圖執(zhí)行語義的兵力調度過程模型校核
        3.2.1UML 活動圖執(zhí)行語義研究
        3.2.2 兵力調度過程模型的模型檢驗技術研究
    §3.3 小結
第四章 基于工作流的兵力調度實施研究
    §4.1 基于工作流的兵力調度計劃和計劃執(zhí)行集成研究
        4.1.1 引言
        4.1.2 集成的兵力調度計劃和調度計劃執(zhí)行
        4.1.3 協(xié)調集成調度 CWIS
        4.1.4 計劃和調度集成算法 IPSA
        4.1.5 小結
    §4.2 基于三層結構的兵力調度實施架構
        4.2.1 引言
        4.2.2 兵力調度實施
    §4.3 兵力調度工具集研究
        4.3.1 系統(tǒng)組成
        4.3.2 建模工具集
        4.3.3 調度系統(tǒng)
    §4.4 基于工作流的兵力調度實施
    §4.5 小結
第五章 案例研究
    §5.1 不明空情案例概述
        5.1.1 概述
        5.1.2GF 報告關于不明空情的研究結論
    §5.2 基于工作流的不明空情兵力調度實施
        5.2.1 概述
        5.2.2 準備階段
        5.2.3 概念建模
        5.2.4 實現(xiàn)建模
        5.2.5 組件/應用系統(tǒng)開發(fā)
        5.2.6 兵力調度實施
    §5.3 小結
第六章 總結與展望
    §6.1 本文的主要貢獻
    §6.2 展望
致 謝
參考文獻
附錄 A:作者在博士學習階段發(fā)表的論文
附錄 B:作者在博士學習階段主要項目經歷

【相似文獻】

相關博士學位論文 前10條

1 汪文元;基于工作流的兵力調度技術研究[D];國防科學技術大學;2005年

2 高磊;P2P工作流系統(tǒng)中的資源搜索及負載均衡優(yōu)化研究[D];山東大學;2010年

3 朱錦泉;可適應工作流模型及其實現(xiàn)機制研究[D];吉林大學;2005年

4 於光燦;協(xié)作環(huán)境中訪問控制模型研究[D];華中科技大學;2008年

5 李向寧;業(yè)務過程管理理論與若干關鍵技術研究[D];西北大學;2007年

6 碩良勛;基于網格的地球物理計算流系統(tǒng)研究[D];中國地質大學（北京）;2008年

7 馬增治;汽車制造供應鏈系統(tǒng)建模及性能分析[D];吉林大學;2008年

8 楊濤;基于本體的農業(yè)領域知識服務若干關鍵技術研究[D];復旦大學;2011年

9 盧亞輝;工作流系統(tǒng)的訪問控制模型及其安全性分析的研究[D];清華大學;2008年

10 柯飛帆;面向分布應用的工作流管理系統(tǒng)研究與實現(xiàn)[D];南京航空航天大學;2006年

相關碩士學位論文 前10條

1 張宏;PDM環(huán)境下的動態(tài)工作流管理技術的研究[D];華中科技大學;2004年

2 程剛;基于XPDL的工作流建模研究與實現(xiàn)[D];大連理工大學;2006年

3 薛峰;軟件配置管理中變更管理技術的研究[D];大連海事大學;2006年

4 劉鑫;基于XML數據庫的工作流系統(tǒng)的研究與設計[D];西北工業(yè)大學;2006年

5 尤衛(wèi)軍;Ego平臺與Quartz系統(tǒng)集成[D];吉林大學;2008年

6 楊琦;基于工作流的教務管理系統(tǒng)的研究與應用[D];合肥工業(yè)大學;2008年

7 趙潔;支持動態(tài)進化的工作流系統(tǒng)的設計[D];山東大學;2005年

8 金銘月;基于SOAP的分布式工作流管理系統(tǒng)研究[D];哈爾濱理工大學;2005年

9 楊釗;CSCW與工作流系統(tǒng)的結合應用研究[D];天津大學;2005年

10 李振華;基于工作流理論的企業(yè)級數據挖掘系統(tǒng)設計[D];吉林大學;2006年

本文編號：2842634