《基於BDD的大規模靜態失效關聯繫統故障樹分析》是依託東南大學，由莫毓昌擔任項目負責人的青年科學基金項目。
基本介紹
- 中文名：基於BDD的大規模靜態失效關聯繫統故障樹分析
- 項目類別：青年科學基金項目
- 項目負責人：莫毓昌
- 依託單位：東南大學
中文摘要,結題摘要,
中文摘要
本項目針對現代電子信息系統失效行為越來越複雜和相互關聯這一發展趨勢，以大規模靜態失效關聯繫統（主要包括蘊含關聯和互斥關聯）故障樹BDD分析方法為研究對象，根據已有研究中存在的變數排序和BDD生成算法問題，重點研究：基於特徵參數的靜態失效關聯故障樹基準庫構造、基於互補性完備性分級評價指標和設計-評價-設計疊代機制的變數排序策略庫構造、自適應高效系統BDD生成算法設計。最終獲得能夠有效涵蓋各種故障樹結構特徵的變數排序策略庫，以及允許任意可能變數排序的自適應BDD生成算法。該研究對於在大規模靜態失效關聯繫統故障樹分析中成功套用BDD方法有著重要的理論意義和套用價值。
結題摘要
本項目以大規模靜態失效關聯繫統故障樹BDD 分析方法為研究對象，針對已有研究中存在的變數排序和BDD 生成等問題進行研究。項目研究團隊嚴格按照項目計畫書的研究計畫，開展了本項目的研究工作。項目的研究內容，與項目計畫書的任務規劃一致，未做調整和變動。項目的完成情況符合項目計畫書原訂的研究目標和指標要求。 項目研究所取得的成果有：建立了靜態失效關聯故障樹特徵參數，並構造不同結構特徵類的隨機靜態失效關聯故障樹基準庫，為策略庫分級評價提供測試基準；建立了基於靜態失效關聯故障樹基準庫和設計-評價-設計疊代機制的策略庫設計流程，並構造精簡高效策略庫，為大規模靜態失效關聯繫統故障樹BDD分析提供變數排序策略支持；建立了面向各種故障樹結構特徵，允許任意變數排序，並利用運行時關聯信息動態矯正錯誤節點的自適應高效系統BDD生成算法，提高了大規模靜態失效關聯繫統故障樹BDD分析效率。這些研究成果對於在大規模靜態失效關聯繫統故障樹分析中成功套用BDD 方法有著重要的理論意義和套用價值。
