引言 第一部分 基于仿真的系統(tǒng)開發(fā) 第l章 航天飛行中的復雜系統(tǒng) 第2章 系統(tǒng)工程中的系統(tǒng)仿真 2.1 航天器開發(fā)過程 2.2 系統(tǒng)控制及建模 2.3 算法、軟硬件開發(fā)及驗證 2.4 功能系統(tǒng)的確認 第3章 系統(tǒng)分析與驗證仿真工具 3.1 系統(tǒng)設計工具 3.1.1 系統(tǒng)初步設計工具和概念 3.1.2 B階段的功能系統(tǒng)分析工具 3.2 系統(tǒng)驗證工具 3.2.1 功能驗證平臺 3.2.2 軟件驗證工具 3.2.3 混合動力系統(tǒng)測試平臺 3.2.4 電氣功能模型 3.2.5 面向操作的航天器模擬器 3.3 基礎設施的發(fā)展歷程 第4章 部件平臺組件 4.1 控制臺 4.2 測試程序編輯器和編譯程序 4.3 專用檢測設備 4.4 模擬器前端設備 4.5 航天器模擬器 4.6 設備與系統(tǒng)模型 第5章 航天器功能建模 5.1 功能仿真概念 5.2 姿態(tài)、軌道和彈道建模 5.3 結(jié)構(gòu)力學概述 5.4 熱力學基礎 5.5 設備建模 第二部分 模擬器技術 第6章 系統(tǒng)仿真的數(shù)值基礎 6.1 數(shù)值方法介紹 6.2 變換函數(shù)及系統(tǒng)組件建模 6.3 時間響應組件 6.4 平衡方程 6.4.1 流體系統(tǒng)方程組 6.4.2 航天器動力學方程組 6.4.3 航天器電氣學方程組 6.5 偏微分方程的分類 6.6 偏微分方程到常微分方程的轉(zhuǎn)換 6.7 數(shù)值積分方法 6.8 積分方法在系統(tǒng)級的應用 6.9 系統(tǒng)建模的邊界值問題 6.10 邊界值問題求根方法 6.1l 控制工程中的數(shù)值計算 6.11.1 數(shù)學構(gòu)建模塊及其向RPN的轉(zhuǎn)換 6.11.2 系統(tǒng)狀態(tài)方程組的線性化 6.11.3 微分線性化算法 6.12 剛性DEQ系統(tǒng)的半隱式方法 第7章 實時仿真概述 7.1 時間定義 7.2 時間同步 7.3 模擬器時間建模 7.4 實時并行處理 第8章 面向?qū)ο蟮哪�擬器結(jié)構(gòu)及系統(tǒng)模型 8.1 模擬器軟件設計的目標 8.2 模型驅(qū)動架構(gòu) 8.3 實現(xiàn)技術編程語言 8.4 實現(xiàn)技術統(tǒng)一建模語言 8.4.1 基于uML的代碼生成 8.4.2 基于UML的模擬器內(nèi)核設計 8.4.3 基于uML的航天器設備模型設計 8.5 實現(xiàn)技術可擴展標記語言 8.6 實現(xiàn)技術建模框架 8.7 從模型規(guī)范到仿真運行 8.7.1 通過設備文檔定義模塊 8.7.2 應用實例光纖陀螺儀 8.7.3 設備模型規(guī)范的撰寫 8.7.4 將模型規(guī)范轉(zhuǎn)換為uML格式 8.7.5 代碼生成及測試 8.7.6 模型集成 8.7.7 仿真運行的配置文件 8.7.8 仿真運行 第9章 標準化模擬器開發(fā) 9.1 軟件工程標準概述 9.2 基于關鍵度的軟件分類 9.3 軟件標準的應用實例 9.4 航天器系統(tǒng)開發(fā)中的關鍵路徑 9.5 澳0試平臺配置控制與OBSW和TM／TC 9.6 測試平臺的開發(fā) 9.7 工程經(jīng)驗與教訓 第10章 系統(tǒng)工程基礎設施中的仿真工具 10.1 系統(tǒng)建模語言 10.2 系統(tǒng)工程基礎設施 10.3 工程工具間的數(shù)據(jù)交換標準 第三部分 先進技術 第1l章 面向服務的模擬器核心架構(gòu) 11.1 SOA模擬器初始化的實現(xiàn) 11.2 SOA內(nèi)核數(shù)值的實現(xiàn) 11.3 計算與功能分配的范型 第12章 全程開發(fā)階段的一致建模技術 12.1 交互階段設計基礎設施及要求 12.2 跨階段模擬基礎設施與工程學步驟 第13章 基于知識的仿真應用 13.1 基于規(guī)則處理的信息建模 13.2 系統(tǒng)行為的知識積累 13.3 知識處理器與模擬／真實系統(tǒng)的耦合 13.4 專家系統(tǒng)的用戶培訓應用 13.5 實現(xiàn)技術：作為事實過濾器的規(guī)則 第14章 自主系統(tǒng)仿真 14.1 傳統(tǒng)的星載軟件功能測試 14.2 故障管理功能測試 14.3 高級系統(tǒng)自主性測試 14.4 自主性的實現(xiàn) 14.4.1 改進技術一星載軟／硬件(sw／Hw) 14.4.2 改進技術一任務優(yōu)化 14.4.3 使能技術一深空探測器的自主OBsw 縮略詞表 變量和符號 參考文獻