掃一掃
關注中圖網
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養秘籍)
-
>
晶體管電路設計(下)
-
>
基于個性化設計策略的智能交通系統關鍵技術
-
>
花樣百出:貴州少數民族圖案填色
-
>
山東教育出版社有限公司技術轉移與技術創新歷史叢書中國高等技術教育的蘇化(1949—1961)以北京地區為中心
-
>
鐵路機車概要.交流傳動內燃.電力機車
-
>
利維坦的道德困境:早期現代政治哲學的問題與脈絡
航天任務自主性需求工程 版權信息
- ISBN：9787118114065
- 條形碼：9787118114065 ; 978-7-118-11406-5
- 裝幀：一般膠版紙
- 冊數：暫無
- 重量：暫無
- 所屬分類：>
航天任務自主性需求工程 本書特色
高級的空間探測是通過無人任務完成的，其飛行器和地面系統中均集成了自主性。，支持在可能的情況下使用無人飛行器以及自動化和機器人技術的主要因素，是風險和可行性？臻g自主性幫助增加從任務中獲得的科學數據數量，執行新的科學實驗以及降低任務成本。
自主性需求的導出和表達，是當前自主性飛行器工程需要克服的重要挑戰之一。
《航天任務自主性需求工程》討論了自主性需求工程（ARE）方法，目的是幫助軟件工程師正確導出、表達、驗證以及確認自主性需求。而且，《航天任務自主性需求工程》給出了一個用于航空航天的新的綜合軟件工程方法，說明了ARE解決的問題，并使用一個ESA的Bepiolomb。任務的概念證明案例，演示了ARE處理自主性需求的能力。
航天任務自主性需求工程 內容簡介
本書系統描述了面向航天領域的*新的軟件工程技術，以及自治性需求工程（ARE）方法，并使用歐洲航天局（ESA）的貝皮可倫坡號(BepiColombo)水星探測任務作為一個實際案例，來說明ARE方法處理自治性需求的能力。重點介紹自治性需求工程方法，包括需求的導出、表達以及驗證與確認。
航天任務自主性需求工程 目錄
第1章 航空航天軟件工程現狀
1．1 引言：航空航天工業特點
1．1．1 注重安全性
1．1．2 標準化
1．1．3 復雜性
1．1．4 平臺多樣性
1．2 航空航天軟件工程過程
1．2．1 需求工程和建模
1．2．2 管理安全性和風險
1．2．3 處理復雜性
1．2．4 設計
1．2．5 實現
1．2．6 測試、驗證和確認
1．3 用于航空航天的方法、技術和體系結構
1．3．1 形式化方法
1．3．2 軟件驗證與確認
1．3．3 面向服務的體系結構
1．3．4 多Agent系統
1．4 自主航空航天系統
1．4．1 自主性與自動化
1．4．2 自主計算
1．4．3 通過適應性建立具有彈性的系統
1．4．4 集成飛行器健康管理
1．4．5 無人航空器
1．4．6 用于自主計算的形式化方法
1．4．7 軟件工程方面、結論和建議
1．5 自主系統的需求工程方法
1．5．1 面向目標的需求工程
1．5．2 自主系統需求工程的ASSL方法
1．5．3 自主無人航空系統的需求
1．6 小結
參考文獻
第2章 ESA系統的自主性需求處理
2．1 引言
2．1．1 自主性和自動化
2．1．2 ESA任務的自主性級別
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．5 用于自主性需求工程（ARE）的形式化方法
2．5．1 面向目標的需求工程
2．5．2 感知建模
2．5．3 ASSL
2．5．4 KnowLang
2．6 實例研究：規約自主性需求
2．6．1 使用KnowLang處理自主性需求
2．6．2 使用ASSL規約Voyager的自主性需求
2．7 小結
參考文獻
第3章 自主性需求工程
3．1 引言
3．2 ARE：自主性需求工程
……
第4章 自主性需求的驗證與確認
1．1 引言：航空航天工業特點
1．1．1 注重安全性
1．1．2 標準化
1．1．3 復雜性
1．1．4 平臺多樣性
1．2 航空航天軟件工程過程
1．2．1 需求工程和建模
1．2．2 管理安全性和風險
1．2．3 處理復雜性
1．2．4 設計
1．2．5 實現
1．2．6 測試、驗證和確認
1．3 用于航空航天的方法、技術和體系結構
1．3．1 形式化方法
1．3．2 軟件驗證與確認
1．3．3 面向服務的體系結構
1．3．4 多Agent系統
1．4 自主航空航天系統
1．4．1 自主性與自動化
1．4．2 自主計算
1．4．3 通過適應性建立具有彈性的系統
1．4．4 集成飛行器健康管理
1．4．5 無人航空器
1．4．6 用于自主計算的形式化方法
1．4．7 軟件工程方面、結論和建議
1．5 自主系統的需求工程方法
1．5．1 面向目標的需求工程
1．5．2 自主系統需求工程的ASSL方法
1．5．3 自主無人航空系統的需求
1．6 小結
參考文獻
第2章 ESA系統的自主性需求處理
2．1 引言
2．1．1 自主性和自動化
2．1．2 ESA任務的自主性級別
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．5 用于自主性需求工程（ARE）的形式化方法
2．5．1 面向目標的需求工程
2．5．2 感知建模
2．5．3 ASSL
2．5．4 KnowLang
2．6 實例研究：規約自主性需求
2．6．1 使用KnowLang處理自主性需求
2．6．2 使用ASSL規約Voyager的自主性需求
2．7 小結
參考文獻
第3章 自主性需求工程
3．1 引言
3．2 ARE：自主性需求工程
……
第4章 自主性需求的驗證與確認
展開全部
書友推薦
- >
中國人在烏蘇里邊疆區:歷史與人類學概述
- >
煙與鏡
- >
名家帶你讀魯迅:故事新編
- >
月亮虎
- >
山海經
- >
上帝之肋:男人的真實旅程
- >
羅曼·羅蘭讀書隨筆-精裝
- >
我與地壇
本類暢銷
