掃一掃
關(guān)注中圖網(wǎng)
官方微博
本類五星書更多>
-
>
公路車寶典(ZINN的公路車維修與保養(yǎng)秘籍)
-
>
晶體管電路設(shè)計(jì)(下)
-
>
基于個(gè)性化設(shè)計(jì)策略的智能交通系統(tǒng)關(guān)鍵技術(shù)
-
>
花樣百出:貴州少數(shù)民族圖案填色
-
>
山東教育出版社有限公司技術(shù)轉(zhuǎn)移與技術(shù)創(chuàng)新歷史叢書中國高等技術(shù)教育的蘇化(1949—1961)以北京地區(qū)為中心
-
>
鐵路機(jī)車概要.交流傳動內(nèi)燃.電力機(jī)車
-
>
利維坦的道德困境:早期現(xiàn)代政治哲學(xué)的問題與脈絡(luò)
基于模型的IMA安全性分析理論與方法 版權(quán)信息
- ISBN：9787030797568
- 條形碼：9787030797568 ; 978-7-03-079756-8
- 裝幀：一般膠版紙
- 冊數(shù)：暫無
- 重量：暫無
- 所屬分類：>
基于模型的IMA安全性分析理論與方法 內(nèi)容簡介
《基于模型的IMA安全性分析理論與方法》以基于模型的綜合模塊化航空電子系統(tǒng)（integrated modular avionics,IMA）安全性分析理論與方法為主線，深入探討了IMA體系架構(gòu)與設(shè)計(jì)特征、基于FTGPN的IMA建模方法、IMA級聯(lián)失效影響分析、風(fēng)險(xiǎn)傳播機(jī)制、基于GSPN的IMA安全性建模方法以及基于模型的IMA安全性分析方法等內(nèi)容，涵蓋了IMA安全性分析理論方法與工程應(yīng)用，給出了大型飛機(jī)典型IMA系統(tǒng)的安全性分析工程案例。
基于模型的IMA安全性分析理論與方法 目錄
目錄前言第1章 緒論 11.1 航電系統(tǒng)的發(fā)展 11.1.1 分立式航電系統(tǒng) 11.1.2 聯(lián)合式航電系統(tǒng) 21.1.3 綜合模塊化航電系統(tǒng) 31.1.4 新一代航電系統(tǒng) 41.2 IMA工作原理分析 61.2.1 IMA結(jié)構(gòu)組成與功能分析 61.2.2 實(shí)施推理方法 81.2.3 基于“合同”的模塊化系統(tǒng)集成方法 91.2.4 系統(tǒng)交互驗(yàn)證 9第2章 IMA安全性分析 112.1 引言 112.2 IMA安全性分析的難點(diǎn) 112.3 IMA安全性分析研究現(xiàn)狀 122.3.1 系統(tǒng)安全性分析的相關(guān)適航規(guī)章 122.3.2 系統(tǒng)安全性分析方法研究現(xiàn)狀 152.3.3 IMA的安全性分析方法研究現(xiàn)狀 202.3.4 IMA前沿理論與技術(shù)現(xiàn)狀 252.4 小結(jié) 34第3章 基于FTGPN的IMA系統(tǒng)架構(gòu)模型 363.1 引言 363.2 IMA系統(tǒng)架構(gòu) 373.2.1 IMA的適航標(biāo)準(zhǔn) 373.2.2 IMA架構(gòu)與特點(diǎn) 393.2.3 IMA與聯(lián)合式航空電子系統(tǒng)對比 423.3 典型機(jī)型IMA架構(gòu)特征分析 483.3.1 波音777飛機(jī)IMA架構(gòu)特征分析 483.3.2 波音787飛機(jī)IMA架構(gòu)特征分析 503.3.3 空客A380飛機(jī)IMA架構(gòu)特征分析 553.3.4 三種機(jī)型IMA架構(gòu)特征對比分析 603.4 基于FTGPN的建模方法 613.4.1 FTGPN建模 613.4.2 IMA平臺系統(tǒng)的FTA模型 633.4.3 IMA平臺系統(tǒng)的FTGPN模型 643.5 小結(jié) 70第4章 面向組件的IMA失效影響分析方法 714.1 引言 714.2 IMA級聯(lián)失效及原因分析 714.2.1 IMA級聯(lián)失效的原因 724.2.2 IMA級聯(lián)失效的類型 734.2.3 IMA級聯(lián)失效故障傳播機(jī)制 774.2.4 IMA級聯(lián)失效影響分析 824.2.5 IMA級聯(lián)失效影響發(fā)展 854.3 IMA級聯(lián)失效模型 874.3.1 同層內(nèi)級聯(lián)失效模型 894.3.2 層間耦合級聯(lián)失效模型 904.3.3 案例分析 914.4 IMA失效影響分析方法 924.4.1 事件樹分析 924.4.2 原因-模式-影響-分析 944.4.3 關(guān)系矩陣失效分析 954.4.4 基于組件的級聯(lián)失效分析 994.4.5 基于DOMINO-GSPN的級聯(lián)失效分析 1044.5 小結(jié) 110第5章 基于功能仿真的IMA風(fēng)險(xiǎn)傳播分析 1115.1 引言 1115.2 IMA級聯(lián)失效跨空間傳播的基本形式 1115.3 改進(jìn)的元胞自動機(jī) 1125.4 基于細(xì)胞自動機(jī)的IMA級聯(lián)失效傳播模型 1145.4.1 IMA的細(xì)胞及其狀態(tài) 1145.4.2 IMA的細(xì)胞空間 1155.4.3 IMA的細(xì)胞鄰居 1155.4.4 IMA的狀態(tài)轉(zhuǎn)換規(guī)則 1165.5 IMA級聯(lián)失效跨空間傳播仿真案例 1185.5.1 IMA的仿真場景 1185.5.2 IMA的仿真模型及基本參數(shù) 1185.5.3 IMA的仿真流程 1195.5.4 IMA的仿真結(jié)果與分析 1215.6 小結(jié) 125第6章 基于GSPN的IMA安全性建模方法 1276.1 引言 1276.2 基于組合方法的安全性建模 1276.2.1 HiP-HOPS安全性建模方法 1286.2.2 基于AADL和GSPN安全性建模方法 1336.3 IMA的安全性建模案例 1396.3.1 IMA的靜態(tài)建模案例 1396.3.2 IMA的動態(tài)建模案例 1436.4 小結(jié) 152第7章 基于模型的IMA安全性分析方法 1537.1 引言 1537.2 傳統(tǒng)系統(tǒng)安全性分析方法 1547.2.1 飛機(jī)/系統(tǒng)級功能危險(xiǎn)分析 1557.2.2 初步系統(tǒng)安全性分析 1567.2.3 系統(tǒng)安全性分析 1577.3 基于模型的系統(tǒng)安全性分析方法 1587.3.1 基于模型的系統(tǒng)安全性分析架構(gòu) 1597.3.2 故障擴(kuò)展機(jī)制研究 1657.3.3 模型驗(yàn)證方法 1747.4 基于模型的IMA安全性分析實(shí)例 1807.4.1 IMA平臺系統(tǒng)架構(gòu)建模 1817.4.2 故障注入及模型擴(kuò)展 1837.4.3 安全性分析結(jié)果 1857.5 小結(jié) 187參考文獻(xiàn) 188
展開全部
書友推薦
- >
小考拉的故事-套裝共3冊
- >
莉莉和章魚
- >
羅庸西南聯(lián)大授課錄
- >
我從未如此眷戀人間
- >
史學(xué)評論
- >
名家?guī)阕x魯迅:朝花夕拾
- >
朝聞道
- >
企鵝口袋書系列·偉大的思想20:論自然選擇(英漢雙語)
本類暢銷
