故障リストの空判定と入力パターン並列処理による同時故障シミュレーションの高速化
スポンサーリンク
概要
- 論文の詳細を見る
同時故障シミュレーション高速化の新しい手法を提案する。同時故障シミュレーション法では検出済故障が増えると、ある人力パターンでは外部出力の故障リストがすべて空集合になることが多くなる。本手法では正確な故障リストの計算に代わる簡便な計算を導入する。この計算では各信号線の故障リストが空であるか、空でない可能性があるかの判定(空判定)を行う。すべての信号線の空判定を行い、外部出力の故障リストかすべて空であるとわかった場合には、故障リストの計算を行う必要はない。空でない可能性がある場合には、故障リストの計算を行う必要があるが空判定の結果を用いて故障リストの計算を行う必要のある信号線を限定することができる。また空判定の計算は入力パターン並列処理が可能である。ISCAS'85のべンチマーク回路における実験結果では本手法を適用した場合には同時故障シミュレーションのみに対して最高10倍程度高速化する。
- 社団法人電子情報通信学会の論文
- 1995-12-12
著者
関連論文
- 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 車両型ロボットの経路探索に関する研究(知的システム,一般講演)