各信号線で制御可能な値の解析による冗長故障の判定
スポンサーリンク
概要
- 論文の詳細を見る
新しい冗長故障判定法を提案する.従来より知られている冗長故障判定の手法は,非常に多くのバックトラックを必要とする.また,故障シミュレーションでは,全ての入力パターンについて実行する必要がある.本論文では,同時入力パターンシミュレーション(CIS)と呼ばれる新しい手法を用いる.この手法では,一個の故障を設定し,全ての入力パターンに対して各信号線でとる可能性がある信号値を同時に,外部入力側から外部出力側へ伝播させる.シミュレーション実行後に,いずれの外部出力信号線へも故障が伝播しない場合には冗長故障と判定できる.この手法を用いた冗長故障判定では,外部入力信号線でバックトラックが起こるが,この回数は冗長である故障に対しては一般にPODEMに比較して少ないと思われる.このように,本手法では従来の手法とは異なる概念により探索空間を削減する.これらの手法をプログラム化し,ベンチマーク回路に適用した結果,少ないバックトラック数で冗長故障判定が可能であることが確認できた.
- 一般社団法人情報処理学会の論文
- 1993-10-28
著者
関連論文
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- ニューラルネットワークの並列実行によるSATの解法
- 再収れん経路の解析による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 再収れん経路の解析による故障リストの空判定を用いた同時故障シミュレーションの高速化
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- TK-3-7 価値および好奇心に基づく移動ロボットの脳型行動創発(TK-3. 脳型コンピュータの原型を求めて,大会委員会企画)
- ファジィグラフの連結構造分析を用いたオブジェクト指向ソフトウェアにおけるクラス構造の複雑さに関する考察
- 一対比較法を用いたメンバ間の依存関係の定量化と保守性の指標に関する考察
- 再収れん経路の解析による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 情報科学教育におけるアルゴリズム記述に関する研究
- ニューラルネットワークと列挙法の組み合わせによるSATの解法
- オブジェクトの構造的な複雑さに関する考察
- 情報科学教育におけるアルゴリズム記述用言語
- 入力パターン並列処理による故障リストの空判定を用いた同時故障シミュレーションの高速化
- 検出済み故障を考慮した同時故障シミュレーションの高速化手法
- 故障リストの空判定と入力パターン並列処理による同時故障シミュレーションの高速化
- 各信号線で制御可能な値の解析による冗長故障の判定
- 各信号線で制御可能な値の解析による冗長故障の判定
- 並列処理システムにおける同期のためのオーバーヘッドの削減とスケジューリングについて
- ラグランジュの方法による仮説推論に関する研究(一般講演)
- SATにおける節の構成とラグランジュニューラルネットワークによる解法の効率に関する研究(一般講演)
- 目的関数付き充足可能性問題に対するラグランジュの方法を用いた近似解法(一般講演)
- 最大充足可能性問題に対するラグランジュの方法を用いた近似解法(一般講演)
- 反応粒子場による動的データベースを取りこんだ記号粒子蓄積型ニューロンモデル(ファジィ・ニューロ)
- 記号粒子蓄積型ニューロンモデルにおける反応モデル(一般講演11)
- ラグランジュの方法による制約充足問題の解法(一般講演,ライフサイエンスとソフトンピューティング)
- 充足可能性問題のラグランジュの方法による解法への発見的手法に関する研究(一般講演)
- 分散ネットワークシステムにおける教育と運用
- 9P-C-3 モーションサンプルと窓を使用した複数移動物体の追跡(C会場 大学院生・学部学生 奨励賞セッション)
- 充足可能性問題を解くニューラルネットワークの相互結合網による実現について(一般講演,ライフサイエンスとソフトンピューティング)
- コラム配線手法を用いた詳細配線
- SATのラグランジュの方法による解法
- 配線問題のラグランジュの方法による解法
- 2段階配線手法とコラム配線手法を用いた自動配線について
- コラム配線手法による高密度自動配線
- 並列処理システムにおける同期のためのオ-バヘッドの削減について
- FIFOキューを同期手段とする並列プログラムの実行における同期のためのオーバーヘッドの削減について(計算アルゴリズムの基礎理論)
- 多層チャネル配線に要するチャネル幅の上界について
- 2層および3層チャネル配線に要するチャネル幅の上界について
- 高速利用のための知識の構造化に関する研究
- モーションサンプルと窓を使用した粒子フィルタによる複数移動物体の追跡
- 29P-C-3 品質を考慮に入れたスケジューリング問題に関する研究(トラッキング・最適化,一般講演)
- 30P-A-9 オフショア開発におけるプロジェクト管理の最適化(最適化,一般講演)
- 29P-C-2 粒子フィルタと窓を使用したジェスチャ追跡(トラッキング・最適化,一般講演)
- 30P-A-11 クラウドサービスにおける仮想サーバ-物理サーバ割当に関する最適化(最適化,一般講演)
- 30P-A-10 選言的制約充足手法を用いたUMLクラス図の自動レイアウト(最適化,一般講演)
- 29P-B-6 車両型ロボットの経路探索に関する研究(知的システム,一般講演)