计算机工程与科学
計算機工程與科學
계산궤공정여과학
COMPUTER ENGINEERING & SCIENCE
2012年
9期
26-32
,共7页
潘竹生%莫毓昌%钟发荣%赵建民
潘竹生%莫毓昌%鐘髮榮%趙建民
반죽생%막육창%종발영%조건민
二进制决策图%网络可靠度%边扩展路径
二進製決策圖%網絡可靠度%邊擴展路徑
이진제결책도%망락가고도%변확전로경
BDD是布尔函数的图形表示形式,被广泛应用到网络可靠度的分析计算中.为了提升网络可靠度BDD分析算法的性能,本文根据边扩展图实例,识别两类无效边扩展路径:冗余节点型无效扩展路径和ST非连通型无效扩展路径,然后基于基本的网络可靠度BDD分析算法,实现了两类无效扩展路径的消除技术.实验结果表明,两种无效扩展路径消除技术能够提前识别无效扩展路径,避免无效扩展,有效减少中间子网的数量,缩减分析时间;通过把两种技术结合起来,可以有效地消除边扩展图中的这两类无效扩展路径,从而极大提升可靠度分析的性能.
BDD是佈爾函數的圖形錶示形式,被廣汎應用到網絡可靠度的分析計算中.為瞭提升網絡可靠度BDD分析算法的性能,本文根據邊擴展圖實例,識彆兩類無效邊擴展路徑:冗餘節點型無效擴展路徑和ST非連通型無效擴展路徑,然後基于基本的網絡可靠度BDD分析算法,實現瞭兩類無效擴展路徑的消除技術.實驗結果錶明,兩種無效擴展路徑消除技術能夠提前識彆無效擴展路徑,避免無效擴展,有效減少中間子網的數量,縮減分析時間;通過把兩種技術結閤起來,可以有效地消除邊擴展圖中的這兩類無效擴展路徑,從而極大提升可靠度分析的性能.
BDD시포이함수적도형표시형식,피엄범응용도망락가고도적분석계산중.위료제승망락가고도BDD분석산법적성능,본문근거변확전도실례,식별량류무효변확전로경:용여절점형무효확전로경화ST비련통형무효확전로경,연후기우기본적망락가고도BDD분석산법,실현료량류무효확전로경적소제기술.실험결과표명,량충무효확전로경소제기술능구제전식별무효확전로경,피면무효확전,유효감소중간자망적수량,축감분석시간;통과파량충기술결합기래,가이유효지소제변확전도중적저량류무효확전로경,종이겁대제승가고도분석적성능.
