報告書番号

O14001

タイトル（和文）

確率論的リスク解析ライブラリーの開発

タイトル（英文）

Development of Probabilistic Risk Analysis Library

概要 （図表や脚注は「報告書全文」に掲載しております）

PRAでは最小カットセット法が広く用いられている。しかしながら適用するPRAモデルと最小カットセットの処理方法によっては計算精度が保証されない場合もある。また、成功分岐を厳密に評価できない問題がある。これらの諸問題を解決するために二分決定図(BDD)を用いてイベントツリー(ET)・フォールトツリー(FT)モデルを正確に解析することのできるライブラリーを開発した。DenPRAを用いることにより、最小カットセットで評価されたモデルの妥当性を示した。

概要 （英文）

We developed a library that is designed to perform level 1 Probabilistic Risk Analysis using Binary Decision Diagram (BDD). In particular, our goal is to develop a library that will allow Japanese electric utilities to take the advantages of BDD that can solve Event Tree (ET) and Fault Tree (FT) models analytically. Using BDD, the library supports negation in FT which allows more flexible modeling of ET/FT. The library is written by C++ within an object-oriented framework using open source software. The library itself is a header-only libraly so that Japanese electric utilities can take advantages of its transparency to speed up development and to build their own software for their specific needs. In this report, the basic capabilities of the library is briefly described.
In addition, several applications are demonstrated inclusing validation of MCS evaluation of PRA model and evaluation of corrective and preventive maintenance considering common cause falure.

報告者

キーワード