本文關(guān)鍵詞：基于模型的飛機級功能危險評估方法研究，由筆耕文化傳播整理發(fā)布。

【摘要】：民用飛機的設(shè)計過程中需要進行安全評估,功能危險評估是飛機安全評估的第一步。傳統(tǒng)的功能危險評估方法在處理功能依賴關(guān)系和分析多重失效組合方面存在困難。本文提出一種基于模型的飛機級功能危險評估方法,采用層次化模型描述飛機功能、人類行為和飛機行為之間的內(nèi)在聯(lián)系,并通過C++實現(xiàn)的算法計算了導(dǎo)致飛機發(fā)生故障的功能失效組合。通過對飛機起飛階段的案例分析,證明了本方法的可行性,為功能危險評估提出了一種新的思路。
【作者單位】： 南京航空航天大學(xué)民航學(xué)院;
【關(guān)鍵詞】： 功能危險評估 模型 失效組合 最小割集
【基金】：國家自然科學(xué)基金與民航局聯(lián)合資助項目(60879001)
【分類號】：V221;V328
【正文快照】： 功能危險評估(Functional Hazard Assess- 類。飛機級FHA的輸人包括頂層飛機功能清單,ment,FHA)是用于民用飛機認證的安全評估方 飛機的研制目標(biāo)和客戶需求及初始設(shè)計決策。法,目的是識別所有與飛機功能以及飛機功能組 ,合相關(guān)的失效狀態(tài),并根據(jù)它們的危害情況進行分類。飛機

【共引文獻】

中國期刊全文數(shù)據(jù)庫 前10條

1 王海峰,陳建明,張仲義;安全苛求系統(tǒng)的形式化開發(fā)方法[J];北方交通大學(xué)學(xué)報;2002年06期

2 曾瓊;;基于替換的組合電路的等價性檢驗方法[J];成都信息工程學(xué)院學(xué)報;2006年02期

3 高秋紅;駱麗;;面向SOC設(shè)計的混合驗證方法及其應(yīng)用[J];電腦知識與技術(shù);2006年17期

4 岳香芬;;一種基于時間自動機的實時系統(tǒng)模型檢查算法的設(shè)計與實現(xiàn)[J];電腦知識與技術(shù);2009年30期

5 陳麗;高巍巍;;形式驗證方法綜述[J];大視野;2008年07期

6 劉志穎;鄭松;;異構(gòu)三重冗余控制系統(tǒng)的設(shè)計與可靠性評估[J];電氣技術(shù);2014年04期

7 王新;;回路傳輸阻抗對家用分體空調(diào)器可靠性影響分析[J];日用電器;2014年08期

8 鄭慶偉;周武;余躍;;航天IP核的自主設(shè)計、評測關(guān)鍵技術(shù)研究[J];航天標(biāo)準(zhǔn)化;2012年02期

9 楊軍;葛海通;鄭飛君;嚴(yán)曉浪;;一種形式化驗證方法:模型檢驗[J];浙江大學(xué)學(xué)報(理學(xué)版);2006年04期

10 王海峰,呂永波,張仲義;一種系統(tǒng)安全性的形式化驗證方法[J];計算機工程與應(yīng)用;2003年04期

中國重要會議論文全文數(shù)據(jù)庫 前2條

1 王族統(tǒng);郭建勝;童聲;張鵬濤;;多目標(biāo)可靠性冗余優(yōu)化的蜂群算法求解[A];探索 創(chuàng)新 交流——第六屆中國航空學(xué)會青年科技論壇文集（下冊）[C];2014年

2 田斐斐;馬濤;;基于馬爾可夫過程的飛機可靠性分析與評估方法[A];探索 創(chuàng)新 交流——第六屆中國航空學(xué)會青年科技論壇文集（下冊）[C];2014年

中國博士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 董威;面向UML的模型檢驗研究[D];中國人民解放軍國防科學(xué)技術(shù)大學(xué);2002年

2 梁彬;可信進程機制及相關(guān)問題研究[D];中國科學(xué)院研究生院（軟件研究所）;2004年

3 李光輝;邏輯電路的等價性檢驗方法研究[D];中國科學(xué)院研究生院（計算技術(shù)研究所）;2005年

4 許慶國;基于自動機的時間系統(tǒng)形式驗證技術(shù)[D];上海大學(xué);2007年

5 付先成;低功耗高性能圖形控制芯片的設(shè)計與驗證[D];華中科技大學(xué);2006年

6 楊軍;集成電路的邏輯等價性驗證研究[D];浙江大學(xué);2007年

7 潘國騰;CC-NUMA系統(tǒng)存儲體系結(jié)構(gòu)關(guān)鍵技術(shù)研究[D];國防科學(xué)技術(shù)大學(xué);2007年

8 郭建;在數(shù)字系統(tǒng)設(shè)計中斷言驗證的研究[D];西安電子科技大學(xué);2008年

9 翁延玲;RTL到門級設(shè)計的等價性驗證的研究[D];浙江大學(xué);2008年

10 鄭飛君;基于布爾可滿足性的邏輯電路等價性驗證和測試生成技術(shù)研究[D];浙江大學(xué);2008年

中國碩士學(xué)位論文全文數(shù)據(jù)庫 前10條

1 李鴻翔;基于VMM的硬件驗證技術(shù)研究及應(yīng)用[D];哈爾濱工程大學(xué);2010年

2 閆碩;基于多項式符號代數(shù)的電路形式驗證[D];北京交通大學(xué);2011年

3 劉林;數(shù)字集成電路功能驗證中的變異測試方法研究[D];山東大學(xué);2011年

4 馬麗麗;基于靜態(tài)分析的RTL設(shè)計錯誤檢測方法研究[D];湘潭大學(xué);2011年

5 閔遠亮;電動汽車驅(qū)動電機壽命預(yù)測及可靠性測試方法的研究[D];哈爾濱工業(yè)大學(xué);2011年

6 王瑞蛟;安全SoC體系結(jié)構(gòu)的設(shè)計與實現(xiàn)研究[D];解放軍信息工程大學(xué);2011年

7 吳俊華;組合電路的形式驗證方法研究[D];哈爾濱工程大學(xué);2004年

8 李樹杰;中科SoC通用驗證平臺及驗證方法學(xué)研究[D];山東科技大學(xué);2005年

9 胡靖;可再配置結(jié)構(gòu)中針對IP重用技術(shù)的綜合方法研究[D];哈爾濱工程大學(xué);2005年

10 鄭偉偉;基于線性規(guī)劃的RTL性質(zhì)驗證研究[D];清華大學(xué);2005年

【相似文獻】

中國期刊全文數(shù)據(jù)庫 前6條

1 關(guān)l⒋，

本文編號：484023