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