Article #921

既に発行済みのブログであっても適宜修正・追加することがあります。
We may make changes and additions to blogs already published.
posted by sakurai on January 3, 2025 #921

SAPHIREでこれらのMARDファイルをロードすると、図921.1のようなFTが生成されます。

図%%.1
図921.1 Method 2のFault Tree

次にSolveで論理圧縮をかけ、View CutSetによりカットセットを表示させます。

表921.1 Method 2のFault Treeのカットセット
表%%.1

表921.1に示すとおり、頂上事象の確率は $\img[-1.35em]{/images/withinseminar.png}$ となります。

なお、本稿はRAMS 2026に投稿予定のため一部を秘匿していますが、論文公開後の2026年2月頃に開示予定です。


左矢前のブログ 次のブログ右矢

Leave a Comment

Your email address will not be published.

You may use Markdown syntax. If you include an ad such as http://, it will be invalidated by our AI system.

Please enter the numbers as they are shown in the image above.