合肥金星智控科技股份有限公司
宣傳

位置:中冶有色 >

有色技術頻道 >

> 失效分析技術

> 基于STAMP航空發動機控制系統的安全性分析方法

基于STAMP航空發動機控制系統的安全性分析方法

1186   編輯:管理員   來源:中冶有色網  
2023-03-19 08:59:58
本發明提供一種基于STAMP航空發動機控制系統的安全性分析方法,其步驟如下:一:梳理系統結構組成及功能原理;二:構建分層控制結構模型;三:用SysML模塊圖和狀態機圖刻畫系統的靜態結構和動態行為;四:將三中SysML模型轉換為NuSMV模型;五:明確系統級危險及安全約束,用計算樹邏輯CTL表達式描述安全約束;六:將五中CTL表達式寫入四中NuSMV模型,用NuSMV工具驗證是否滿足;七:分析組件功能失效及影響情形,構建故障模型再將其同四中NuSMV模型整合;八:確定五中控制環結構的不安全控制行為,制定安全約束并用CTL表達式描述;九:將八中各CTL表達式寫入七中完整NuSMV模型,驗證不滿足則輸出的反例即代表事故原因;本發明所述方法科學,工藝性好,具有廣闊推廣應用價值。
登錄解鎖全文
聲明:
“基于STAMP航空發動機控制系統的安全性分析方法” 該技術專利(論文)所有權利歸屬于技術(論文)所有人。僅供學習研究,如用于商業用途,請聯系該技術所有人。
我是此專利(論文)的發明人(作者)
分享 0
         
舉報 0
收藏 0
反對 0
點贊 0
標簽:
失效分析
全國熱門有色金屬技術推薦
展開更多 +

 

中冶有色技術平臺

最新更新技術

報名參會
更多+

報告下載

赤泥綜合利用研究報告2025
推廣

熱門技術
更多+

衡水宏運壓濾機有限公司
宣傳
環磨科技控股(集團)有限公司
宣傳

發布

在線客服

公眾號

電話

頂部
咨詢電話:
010-88793500-807
專利人/作者信息登記
在线精品视频播放|无码 有码 国产18p|宅男精品一区在线观看|伊人色综合久久天天人手人婷|亚洲熟肥妇女BBXX