検出能力による重み付けを用いた故障検出入力集合の準最小化法について
スポンサーリンク
概要
- 論文の詳細を見る
組合せ回路の故障表(fault table)より,最小故障検出入力集合を求める問題は,最小披覆問題(minimum cover problem)と等価であり,NP完全であることが証明されている].さらにLSI,VLSI等の大規模回路に対しては,多項式時内にその故障表を得ることさえ困難と考えられる.そこで本稿では,最小化を断念する代りに,必要とされる検出率を保証した故障検出入力集合を多項式時間内に効率よく縮小する方法について述べる.本手法は与えられた故障表において,仮定した故障に対する故障検出入力数を重みとして用い,その重みの関数表を操作するごとにより故障検出入力数を減らしていくものである.本手法をISCAS-85の回路データから同時故障シミュレーションを用いて作成した故障検出入力集合に適用したところ,平均圧縮率は37.2%であった.
- 一般社団法人情報処理学会の論文
- 1994-03-07
著者
-
吉田 清明
久留米工業大学 工学部
-
朱雀 保正
久留米工業大学 工学部
-
元石 浩二
久留米工業大学
-
元石 浩二
久留米工大 工
-
元石 浩二
久留米工学大学 工学部 電子情報工学科
-
朱雀 保正
久留米工業大学
-
吉田 清明
久留米工業大学
関連論文
- 確率多項式表現のSTAFANへの適用
- 最小被覆問題とその緩和問題の解のサイズの差
- 最小被覆問題を表現する行列のサイズの縮小法
- グレブナ基底求解法のSATへの適用
- 弱い自律分散ロボット群に重心を中心とする伸縮・回転マッチングを用いて形状を形成させるアルゴリズム
- 少数のスピーカによる波面合成と音像位置の制御
- 音場合成法による音像の位置制御
- パソコンネットワークシステムによる成績処理の自動化
- 三角形をもたない正則グラフの生成と同型性の判別
- 仮想実験室を用いた講義と実験の結合について
- 仮想実験室の構築(その2) : ディジタル信号処理実験室の実装と授業例
- 仮想実験室の構築(その1) : ユーザインターフェイスと実行制御
- 2ストローク発振器が安定なりミットサイクルを持つためのパラメータの上限
- 4ストローク及び2ストローク発振の条件について
- パーソナルコンピュータによる情報処理教育とCAIのためのシステム
- ハイパキューブネットワークにおけるhighly structured 自己診断可能システム
- de Bruijnネットワーク, 変形de Bruijnネットワーク及びKautzネットワークにおける分散的自己診断可能システム
- A Topological Condition for a Linear Time-Varying Electric Circuit to be Represented by a Canonical Equation
- 聴覚一次ニューロンの発火の計算モデル
- 故障検出数による重み付けを用いたテスト集合圧縮法に関する研究
- 検出能力による重み付けを用いた故障検出入力集合の準最小化法について
- 論理関数に有限体上の表現を用いる検査系列生成の一方法
- 学生の教育履歴とプログラミング教育
- 初心者の冒すプログラム間違いの分析
- 線形計画法を用いたテスト集合圧縮アルゴリズムの一評価方法
- 非対称声帯のモデルと同期現象
- FIRフィルタの設計における周波数サンプリング法の公式
- 新しい対称性を有する周波数サンプリング法
- 弱い自律分散ロボット群に基準ロボットを割り当てる形状形成アルゴリズム (コンピュテーション)
- 弱い自律分散ロボット群に基準ロボットを割り当てる形状形成アルゴリズム
- 弱い自律分散ロボット群に基準ロボットを割り当てる形状形成アルゴリズム