關鍵詞：動態故障樹 離散時間馬爾科夫鏈 概率模型檢測 prism 

摘要：隨著航空發動機技術的不斷發展,對其性能要求不斷提高,使得航空發動機的安全性和可靠性變得愈發重要。然而,當前針對航空發動機的可靠性分析方法較少考慮系統失效時的動態特性,面向《航空發動機適航規定》(CCAR33-R2),考慮航空發動機危害性發動機后果發生時系統的動態特性,提出了一種將動態故障樹和概率模型檢測相結合的可靠性分析方法,對航空發動機的可靠性進行分析。首先,通過動態故障樹對航空發動機的動態行為進行建模,并將其轉換到離散時間馬爾科夫鏈模型;然后基于概率模型檢測語言PRISM對離散時間馬爾科夫鏈模型進行描述,并利用相應工具進行定量分析,將頂事件發生概率和《CCAR33-R2.75》條款規定的故障發生概率比較,驗證航空發動機是否符合《CCAR33-R2.75》條款安全性要求;最后對某型航空渦輪發動機進行實例建模分析,驗證所提方法的正確性與可行性。

計算技術與自動化雜志要求:

{1}參考文獻請參考國家標準格式著錄。

{2}要求選題新穎、觀點鮮明、資料準確、數據翔實，具有一定的學術交流價值或普遍借鑒意義。

{3}除非作者另有聲名，本刊對稿件有權修改。

{4}論文若多作者署名時必須排序，應注明每位作者的工作單位和郵政編碼。第一作者還須提供性別、出生年、學位、職稱、是否為研究生導師等方面的信息。通信作者應注明聯系電話及其電子信箱。

{5}正文標題層次分級：一般不超過4級。

注：因版權方要求，不能公開全文，如需全文，請咨詢雜志社