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

非常好我支持^.^
(0) 0%
不好我反對
(0) 0%
下載地址
針對擴展動態(tài)故障樹的約束分析方法下載
相關(guān)電子資料下載
- 鴻蒙ArkTS聲明式開發(fā):跨平臺支持列表【布局約束】 通用屬性 142
- 加法進(jìn)位鏈的手動約束 802
- FPGA工程的時序約束實踐案例 238
- Xilinx FPGA的約束設(shè)置基礎(chǔ) 334
- 時序約束實操 1501
- 云天勵飛如何打破大模型應(yīng)用的“三角約束”? 162
- 我們該如何應(yīng)對SOC中越來越龐大和復(fù)雜的SDC約束? 661
- FPGA時鐘約束余量超差問題的解決方案 341
- 介紹一種新的可以約束光的納米級領(lǐng)結(jié)結(jié)構(gòu) 256
- 機器人運動學(xué)中的非完整約束與運動模型推導(dǎo) 900
