提出延時(shí)門(mén)機(jī)制對(duì)動(dòng)態(tài)故障樹(shù)進(jìn)行擴(kuò)展，用于對(duì)子系統(tǒng)失效延時(shí)傳播到上層系統(tǒng)進(jìn)行建模，并通過(guò)擴(kuò)展動(dòng)態(tài)貝葉斯網(wǎng)絡(luò)對(duì)包含延時(shí)門(mén)的動(dòng)態(tài)故障樹(shù)進(jìn)行求解。還提出并實(shí)現(xiàn)了一種基于可滿足性模理論的擴(kuò)展動(dòng)態(tài)故障樹(shù)求解算法，支持由非確定性的基本事件概率范圍約束求解系統(tǒng)的最優(yōu)化失效率。通過(guò)對(duì)實(shí)際系統(tǒng)的分析、求解及與現(xiàn)有工具的對(duì)比，說(shuō)明分析方法的有效性，并通過(guò)對(duì)實(shí)際系統(tǒng)的分析給出了基本事件概率約束和延時(shí)門(mén)參數(shù)對(duì)系統(tǒng)整體失效率的影響。