文献

J-GLOBAL ID：201302263781168403   整理番号：13A0152711

我々はモジュール尊重発見的方法を信用できるか

Can we trust module-respect heuristics?

著者 (1件)： MO Yuchang (Dep. of Computer Sci., Zhejiang Normal Univ., Jinhua, CHN)
資料名： Reliability Engineering & System Safety  (Reliability Engineering & System Safety)
巻： 111  ページ： 139-146  発行年： 2013年03月 
JST資料番号： D0980B  ISSN： 0951-8320  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： イギリス (GBR)  言語： 英語 (EN)

抄録/ポイント： BDD(二分決定グラフ)はフォールトツリーを評価するための非常に効果的なツールであることが証明されている。しかし,BDDのサイズ,従って全体手法の効率は変数順序付けの選択に著しく依存する。最良の変数順序付けの決定は非常に困難である。そのため,発見的方法が,適度に良い変数順序付けの選択のために設計されている。良い静的発見的方法のための一つの非常に重要な共通特徴は,モジュールの尊重である。本論文では,モジュール尊重の概念を系統的に検討した。ある条件の下では,モジュールを尊重する最適な順序付けが常に存在することを証明した。この条件は,各モジュールに対して,最小モジュールBDDが常に存在し,各々が一度だけ出現するモジュール変数を含むことである。他方,上記の十分条件を満足しないツリーに対して,最適順序付けは,シャフリング戦略を用いた場合でも,モジュール尊重発見的方法を用いて直接は生成できない場合があることを示した。Copyright 2013 Elsevier B.V., Amsterdam. All rights reserved. Translated from English into Japanese by JST.

シソーラス用語： *二分決定グラフ ,  *フォールトツリー解析 ,  変数 ,  順序 ,  モジュール構造 ,  発見的方法 ,  *順序づけ問題 ,  十分条件 ,  効率
準シソーラス用語： 計算効率 ,  順序づけ

分類 (1件)： 信頼性  (KB04040H)

タイトルに関連する用語 (3件)： モジュール ,  発見的方法 ,  信用