抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
動的フォールトツリー(DFT)は,従来の静的故障ツリーの拡張であり,そこでは,いくつかの動的ゲートを導入して,故障事象間の逐次依存性をモデル化した。DFTの定量的解析に関して,逐次二値決定図(SBDD)を,逐次ノードを従来の二値決定図(BDD)に組み込むことによって提案した。SBDDによって,DFTは,基本的事象と逐次ノードの分離製品(SDP)の合計に減少することができて,それはそれぞれ,従来のMarkov連鎖と介在物/除外ベースの解法によって引き起こす空間爆発問題と指数的複雑さを避けることができた。しかし,SBDDは明確な時間的または逐次的代数に基づいて開発されていない。むしろ,それは,特定で非常に限られた数の縮小規則を持つ先行演算子に基づいて開発される。したがって,SBDDの応用は,動的ゲートが基本イベントの入力またはいくつかの特定イベントから成るDFTsに制限される。本論文において,著者らは,Gによって提案されたDFTのための代数的フレームワークに基づく代数的二値決定図(ABDD)を提示した。Merleら。任意の構造による任意のDFTの低減のための既存の法則に加えて,ABDDにおけるSDPの低減のための新しい法則のセットを導入した。音響代数フレームワークと完全な法則により,ABDDは構造制約なしに一般的DFTの解析に適用できる。このアプローチを説明し,いくつかの例によりSBDDとの差を比較した。Copyright 2019 The Institute of Electrical and Electronics Engineers, Inc. All rights reserved. Translated from English into Japanese by JST.【JST・京大機械翻訳】