針對擴展動態(tài)故障樹的約束分析方法
大小：0.94 MB 人氣： 2018-01-14 需要積分：3
提出延時門機制對動態(tài)故障樹進行擴展，用于對子系統(tǒng)失效延時傳播到上層系統(tǒng)進行建模，并通過擴展動態(tài)貝葉斯網(wǎng)絡(luò)對包含延時門的動態(tài)故障樹進行求解。還提出并實現(xiàn)了一種基于可滿足性模理論的擴展動態(tài)故障樹求解算法，支持由非確定性的基本事件概率范圍約束求解系統(tǒng)的最優(yōu)化失效率。通過對實際系統(tǒng)的分析、求解及與現(xiàn)有工具的對比，說明分析方法的有效性，并通過對實際系統(tǒng)的分析給出了基本事件概率約束和延時門參數(shù)對系統(tǒng)整體失效率的影響。
非常好我支持^.^
(0) 0%
不好我反對
(0) 0%