書(shū)馨卡幫你省薪 2024個(gè)人購(gòu)書(shū)報(bào)告 2024中圖網(wǎng)年度報(bào)告
歡迎光臨中圖網(wǎng) 請(qǐng) | 注冊(cè)
> >
航天任務(wù)自主性需求工程

航天任務(wù)自主性需求工程

出版社：國(guó)防工業(yè)出版社出版時(shí)間：2017-12-01
開(kāi)本： 16開(kāi) 頁(yè)數(shù)： 222
中 圖 價(jià):¥26.9(3.4折) 定價(jià)  ¥79.0 登錄后可看到會(huì)員價(jià)
加入購(gòu)物車 收藏
運(yùn)費(fèi)6元，滿39元免運(yùn)費(fèi)
?新疆、西藏除外
溫馨提示：5折以下圖書(shū)主要為出版社尾貨，大部分為全新（有塑封/無(wú)塑封），個(gè)別圖書(shū)品相8-9成新、切口
有劃線標(biāo)記、光盤等附件不全詳細(xì)品相說(shuō)明>>
本類五星書(shū)更多>

航天任務(wù)自主性需求工程 版權(quán)信息

  • ISBN：9787118114065
  • 條形碼：9787118114065 ; 978-7-118-11406-5
  • 裝幀：一般膠版紙
  • 冊(cè)數(shù)：暫無(wú)
  • 重量：暫無(wú)
  • 所屬分類：>

航天任務(wù)自主性需求工程 本書(shū)特色

　　高級(jí)的空間探測(cè)是通過(guò)無(wú)人任務(wù)完成的，其飛行器和地面系統(tǒng)中均集成了自主性。，支持在可能的情況下使用無(wú)人飛行器以及自動(dòng)化和機(jī)器人技術(shù)的主要因素，是風(fēng)險(xiǎn)和可行性？臻g自主性幫助增加從任務(wù)中獲得的科學(xué)數(shù)據(jù)數(shù)量，執(zhí)行新的科學(xué)實(shí)驗(yàn)以及降低任務(wù)成本。
　　自主性需求的導(dǎo)出和表達(dá)，是當(dāng)前自主性飛行器工程需要克服的重要挑戰(zhàn)之一。
　　《航天任務(wù)自主性需求工程》討論了自主性需求工程（ARE）方法，目的是幫助軟件工程師正確導(dǎo)出、表達(dá)、驗(yàn)證以及確認(rèn)自主性需求。而且，《航天任務(wù)自主性需求工程》給出了一個(gè)用于航空航天的新的綜合軟件工程方法，說(shuō)明了ARE解決的問(wèn)題，并使用一個(gè)ESA的Bepiolomb。任務(wù)的概念證明案例，演示了ARE處理自主性需求的能力。

航天任務(wù)自主性需求工程 內(nèi)容簡(jiǎn)介

本書(shū)系統(tǒng)描述了面向航天領(lǐng)域的*新的軟件工程技術(shù)，以及自治性需求工程（ARE）方法，并使用歐洲航天局（ESA）的貝皮可倫坡號(hào)(BepiColombo)水星探測(cè)任務(wù)作為一個(gè)實(shí)際案例，來(lái)說(shuō)明ARE方法處理自治性需求的能力。重點(diǎn)介紹自治性需求工程方法，包括需求的導(dǎo)出、表達(dá)以及驗(yàn)證與確認(rèn)。

航天任務(wù)自主性需求工程 目錄

第1章 航空航天軟件工程現(xiàn)狀
1．1 引言：航空航天工業(yè)特點(diǎn)
1．1．1 注重安全性
1．1．2 標(biāo)準(zhǔn)化
1．1．3 復(fù)雜性
1．1．4 平臺(tái)多樣性
1．2 航空航天軟件工程過(guò)程
1．2．1 需求工程和建模
1．2．2 管理安全性和風(fēng)險(xiǎn)
1．2．3 處理復(fù)雜性
1．2．4 設(shè)計(jì)
1．2．5 實(shí)現(xiàn)
1．2．6 測(cè)試、驗(yàn)證和確認(rèn)
1．3 用于航空航天的方法、技術(shù)和體系結(jié)構(gòu)
1．3．1 形式化方法
1．3．2 軟件驗(yàn)證與確認(rèn)
1．3．3 面向服務(wù)的體系結(jié)構(gòu)
1．3．4 多Agent系統(tǒng)
1．4 自主航空航天系統(tǒng)
1．4．1 自主性與自動(dòng)化
1．4．2 自主計(jì)算
1．4．3 通過(guò)適應(yīng)性建立具有彈性的系統(tǒng)
1．4．4 集成飛行器健康管理
1．4．5 無(wú)人航空器
1．4．6 用于自主計(jì)算的形式化方法
1．4．7 軟件工程方面、結(jié)論和建議
1．5 自主系統(tǒng)的需求工程方法
1．5．1 面向目標(biāo)的需求工程
1．5．2 自主系統(tǒng)需求工程的ASSL方法
1．5．3 自主無(wú)人航空系統(tǒng)的需求
1．6 小結(jié)
參考文獻(xiàn)

第2章 ESA系統(tǒng)的自主性需求處理
2．1 引言
2．1．1 自主性和自動(dòng)化
2．1．2 ESA任務(wù)的自主性級(jí)別
2．2 用于航空航天的需求工程、規(guī)約模型和形式化方法
2．2．1 需求規(guī)約和建模
2．2．2 用于自主系統(tǒng)的需求工程
2．2．3 -般自主性需求
2．3 航天任務(wù)的一般自主性需求
2．3．1 航天任務(wù)需求分析
2．3．2 地球軌道任務(wù)
2．3．3 行星際任務(wù)
2．4 機(jī)器人系統(tǒng)的控制器體系結(jié)構(gòu)
2．4．1 與自主性相關(guān)的體系結(jié)構(gòu)問(wèn)題
2．4．2 機(jī)器人系統(tǒng)的控制器體系結(jié)構(gòu)
2．5 用于自主性需求工程（ARE）的形式化方法
2．5．1 面向目標(biāo)的需求工程
2．5．2 感知建模
2．5．3 ASSL
2．5．4 KnowLang
2．6 實(shí)例研究：規(guī)約自主性需求
2．6．1 使用KnowLang處理自主性需求
2．6．2 使用ASSL規(guī)約Voyager的自主性需求
2．7 小結(jié)
參考文獻(xiàn)

第3章 自主性需求工程
3．1 引言
3．2 ARE：自主性需求工程
……

第4章 自主性需求的驗(yàn)證與確認(rèn)
展開(kāi)全部
商品評(píng)論(0條)
暫無(wú)評(píng)論……
書(shū)友推薦
編輯推薦
返回頂部
中圖網(wǎng)
在線客服