指揮控制系統工程概論（簡體書）

本書主要從系統工程的角度出發，介紹了指揮控制系統的分析、設計、研制開發、運用、管理等全壽命過程的系統工程基本理論和方法。本書共分為9章。
第1章為緒論，主要介紹指揮控制系統的基本概念、發展歷程、分類、地位作用和基本工作流程，系統工程的基本概念、特點、理論與方法，指揮控制系統工程的基本概念、過程、理論與方法。
第2章為指揮控制系統戰略規劃論證，重點介紹指揮控制系統發展戰略研究、規劃計劃論證、可行性論證的基本概念、內容、流程、理論與方法。
第3章為指揮控制系統需求論證，主要介紹指揮控制系統需求論證的基本概念，需求的內容，需求論證的基本過程、理論與方法。
第4章為指揮控制系統設計，重點說明指揮控制系統設計的主要內容、基本流程、理論與方法，典型的系統結構，以及指揮控制系統方案設計評估的基本內容、過程與方法。
第5章為指揮控制系統研制開發，主要介紹指揮控制系統研制開發的基本過程、方法、關鍵技術、系統集成以及開發的組織管理等內容。
第6章為指揮控制系統試驗鑒定，主要介紹指揮控制系統試驗鑒定的屬性與作用、類型、過程、試驗系統、試驗內容和方法、評估指標體系，以及符合指揮控制系統自身特點的定型與定版管理等。
第7章為指揮控制系統組織運用，主要介紹指揮控制系統組織運用的計劃制訂、系統開設、使用保障和運維管理的基本理論與方法等。
第8章為指揮控制系統管理，重點介紹指揮控制系統管理的基本概念內涵，以及裝備全壽命管理的預研管理、科研管理、采購管理、競爭性采購、日常管理、維修管理和退役管理的基本概念、過程、理論與方法等。
第9章是總結與展望，主要總結指揮控制系統工程當前的總體進展，展望指揮控制系統、指揮控制系統工程未來發展方向和發展趨勢。

第1章 緒論
1．1 指揮控制系統
1．1．1 指揮控制系統的基本概念
1．1．2 指揮控制系統的發展歷程
1．1．3 指揮控制系統的分類
1．1．4 指揮控制系統的地位與作用
1．1．5 典型指揮控制系統工作流程
1．2 系統工程概述
1．2．1 系統工程的基本概念
1．2．2 系統工程的基本特點
1．2．3 系統工程的基本理論與方法
1．3 指揮控制系統工程的基本概念、理論與方法
1．3．1 指揮控制系統工程的基本概念
1．3．2 指揮控制系統工程的基本理論與方法

第2章 指揮控制系統戰略規劃論證
2．1 指揮控制系統發展戰略研究
2．1．1 概念內涵
2．1．2 研究內容與流程
2．1．3 發展方向
2．2 指揮控制系統規劃計劃論證
2．2．1 概念內涵
2．2．2 研究內容
2．2．3 基本流程
2．3 戰略規劃可行性研究
2．3．1 目的和任務
2．3．2 主要內容
2．3．3 方法步驟
2．4 戰略規劃論證的理論方法
2．4．1 關鍵成功因素法的應用
2．4．2 戰略目標集轉化法的應用
2．4．3 企業系統規劃法的應用

第3章 指揮控制系統需求論證
3．1 指揮控制系統需求論證基本概念
3．2 指揮控制系統需求內容
3．3 需求論證過程
3．3．1 需求論證基本過程
3．3．2 美國典型系統需求論證過程
3．4 需求論證方法
3．4．1 指揮控制系統的通用方法
3．4．2 指揮控制系統的具體方法
3．5 基於體系結構視圖的指揮控制系統需求描述方法
3．5．1 多視角方法論
3．5．2 作戰需求視圖
3．5．3 信息需求視圖
3．5．4 能力需求視圖
……

第4章 指揮控制系統設計
第5章 指揮控制系統的研制和開發
第6章 指揮控制系統試驗鑒定
第7章 指揮控制系統的組織運用
第8章 指揮控制系統管理

總結與展望
參考文獻

2.需求描述方法
指揮控制系統需求描述目前主要有三種方法，分別是半形式化方法、形式化方法和自然語言。
1）半形式化方法
半形式化方法也稱為圖形化方法，主要是指以規範的、具有特定主義的圖形符號表示需求內容以及需求之間的關係。為便於相關人員的一致理解和交流，所用的圖形符號一般是國際或業界公認的標準規範，或者是約定俗成的、不會引起歧義的表現形式。例如，目前業界流行的UML和IDEF都是具有國際標準的圖形化描述方法，而樹狀圖則是一種約定俗成的規範。
半形式化方法的優點是具有較強的描述能力和較好的可讀性，便於相關人員的理解和交流，而且具有一定的推理驗證功能，適用面更為寬泛；缺點是語義表達不夠嚴謹和正式，容易引起歧義。
2）形式化方法
形式化方法是采用具有嚴格數學語義的符號集描述需求內容以及需求內容之間關係的一種方法。描述邏輯、Z語言等都是典型的常用形式化描述方法。
形式化方法的優點是在定義符號系統的基礎上，嚴格限定了符號的語義和邏輯關係，具有良好嚴格性，可以精確地表達問題，非常適合於對需求進行自動推理驗證；缺點是描述形式不夠自由和豐富，也難以理解。
3）自然語言
自然語言是指采用文字、圖片或自定義的圖形符號描述需求內容以及需求內容之間關係的一種方法。通常用於半形式化方法的解釋性標注，增強需求的可讀性。另外，基於文字的描述方式可以準確地表達需求問題，消除二義性，而且比較正式，所以最終具有法律效力的指揮控制系統需求規格說明文檔通常采用文字的方式進行描述。
自然語言描述方法的優點是形式多樣、自由，容易理解，很容易被利益相關人員所接受，有利於用戶參與各項需求活動。但自然語言的隨意性較大，如果不加以限制，則很難做到完全準確地描述問題。
上述三種方法各有優、缺點，通常是三種方法結合使用進行指揮控制系統需求的描述。在需求描述的前期，首先采用半形式化方法進行描述，並輔以自然語言的方式進行標注說明，以便於理解和交流；其次，當各方對指揮控制系統需求內容基本達到一致意見後，通過輔助工具自動轉換為形式化描述形式進行自動推理驗證，發現需求的錯誤或不合理性；最後，將通過驗證的需求以文字的形式撰寫成指揮控制系統需求規格說明文檔。
3.需求驗證方法
指揮控制系統需求驗證方法主要分為人工審查方法和自動化驗證方法兩大類。兩種方法各有特點，互為補充，在不同階段的需求驗證活動中經常結合使用。
人工審查方法主要由專業技術人員和領域專家采用閱讀的方法，對需要驗證的物件和內容進行檢查、校對、核實、分析和評判，發現指揮控制系統需求存在的錯誤或不合理性的需求內容。人工審查方法是指揮控制系統需求驗證領域使用率較高的一種方法，該方法容易操作、成本低，比較常用，可用於驗證的各個階段和層次，尤其是在指揮控制系統需求論證的初期階段。但該方法主觀性比較強，檢查和評審的結果也多是定性的，當驗證物件的體系比較龐雜時，該方法有很大的局限性。
自動化驗證方法是指主要由計算機來完成的驗證方法，側重對被驗證文檔中的關鍵部分進行嚴格地檢驗。基於不同的指揮控制系統需求描述方法，指揮控制系統需求的自動化驗證方法又可以分為非形式化驗證方法和形式化驗證方法兩類。其中：非形式化驗證方法主要基於圖形化的指揮控制系統需求描述模型進行自動執行和推理，根據模型執行的結果進行需求的分析；形式化驗證方法則是基於嚴格的數學描述進行推理的方法，如定理證明和邏輯推理等。
……