ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
スポンサーリンク
概要
- 論文の詳細を見る
本論文はペトリネットの発火系列問題(LFSと略記)に対する性能の良い発見的アルゴリズムFSDTを提案し,その性能を実験的に評価すると共に,FSDTをMAX SATの解法として用いた場合の実験結果を示す.FSDTは既存解法FSDの改良版である.実験では,解δの存在が保証されている2230個の入力例に対してFSDTを適用した.その結果,FSDTは1725個(77.4%)の入力例について実際にδを見つけ,FSDと比べて,約6%改善された.また重みなしのMAX SAT, MAX 3SATの744個の充足可能な例題にFSDTを適用した結果,それぞれ98.2%, 99.9%の節を充足させることができた.
- 社団法人電子情報通信学会の論文
- 1999-11-09
著者
-
渡邉 敏正
広島大学工学部第二類回路・システム工学講座
-
山内 雅弘
近畿大学工学部電子情報工学科
-
中井 貴浩
広島大学大学院 工学研究科 情報工学専攻
-
山内 雅弘
広島大学大学院 工学研究科 情報工学専攻
-
高藤 大介
広島大学工学部第二類回路システム工学講座
-
渡邉 敏正
広島大学工学部
-
山内 雅弘
近畿大学大学院システムエ学研究科
関連論文
- 枝重み付きカクタスに対する発火系列問題の解法
- サイクリックカクタスに対する発火系列問題の解法について
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- 抑止辺を持つペトリネットの発火系列問題の解法について(デモ展示・ポスター講演,ネットワークプロセッサ,通信のための信号処理,無線LAN/PAN,一般)
- A-12-4 トランジション改良選択法に基づくペトリネット最小初期マーキングの効率的構成法(A-12.コンカレント工学,一般講演)
- ペトリネットの最小初期マーキング探索におけるトランジションの効果的選択法(コンカレントシステム, 一般)
- ペトリネットの最小初期マーキングのための動作的デッドロック回避に基づく高速な発見的解法(コンカレントシステム, 離散事象システム, ハイブリッドシステム, 及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法(グラフ,ペトリ,ニューラルネット,及び一般)
- ペトリネットのサイフォン・トラップ抽出効率化のためのサブネット縮約法
- 次数増加禁止点を持つグラフの指定点3辺連結化問題に対する線形時間アルゴリズム
- 次数増加禁止点を持つグラフの指定点3点連結化問題に対する線形時間アルゴリズム
- 次数増加禁止点を持つグラフに対する点連結度増加問題
- グラフの指定点集合に対する3点連結化問題の解法
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- 階層型グラフに対応したグラフアルゴリズムの視覚的トレースツールの開発(グラフ,ペトリ,ニューラルネット及び一般)
- ペトリネットの最小初期マーキング問題に対する発見的解法
- ペトリネットの最大発火系列問題に対する発見的アルゴリズムFSDB
- ペトリネットインバリアント算出のためのFourier-Motzkin法の改良実装
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- A-12-5 時間付ペトリネットによるスケジューリングに対する発見的解法SDS
- A-12-4 指定プレース集合を含むサポートを持つペトリネットインバリアントの算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズムFMSN
- ペトリネット発火系列問題の概説
- ペトリネット発火系列問題の概説
- 複数の求解戦略を持つリアルタイムスケジューリング法
- ペトリネットのサイフォン・トラップサポート集合に基づくインバリアント算出法
- A-12-4 サイフォン・トラップ台に基づくインバリアント算出法
- 指定ノード集合を含むサポートを持つペトリネットインバリアントの算出アルゴリズム FMSN
- CONTEC : 辺交差の制御機能を有するグラフ描画システム
- CST2000-9 ペトリネットの最小初期マーキング問題に対する発見的アルゴリズムFMDB
- サイクリックカクタスに対する発火系列問題の解法について
- TD-1-11 平面全域部分グラフ抽出法とその応用
- SA-6-1 ペトリネットにおけるサイフォンの抽出法とその応用
- SA-6-8 通信ネットワーク3辺連結化のための分散アルゴリズム
- コンカレント工学研究会の活動を振り返って : 歴代委員長からのメッセージ(一般,コンカレントシステム及び一般)
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- 時間付きペトリネットによるスケジューリングのための発見的アルゴリズムSDS
- A-12-9 Fourier-Motzin法によるペトリネットインバリアントの効率的算法
- CST2000-12 Fourier-Motzkin法によるペトリネットインバリアント計算の効率化
- A-12-6 ペトリネットの発火系列問題の発見的解法について
- CST2000-8 ペトリネット発火系列問題とその関連問題に対する発見的アルゴリズム
- ペトリネットにおけるトークン数下限制約を持つ発火系列問題
- A-12-3 ペトリネットの最適発火系列問題に対する発見的解法OFSD
- 一般ペトリネットにおける単一指定プレースを含む極小サイフォン抽出法
- 一般ペトリネットにおける極小デッドロック抽出法
- 付加辺の多重度に上限を持つk辺連結化問題に対する発見的解法EAM
- 最大独立点問題解法に基づくTerminal-Vertex Graphにおける全域平面部分グラフ抽出
- D-1-4 通信ネットワークの2辺連結化問題に対する分散アルゴリズムRDBCA
- 非交差道を用いたプリント基板配線領域の見積り手法
- ペトリネットの発火系列問題に対する近似アルゴリズム
- 層割当てのためのネット集合分割に基づく制約付きビア数最小化手法PNLA
- 層割当てのためのネット集合分割に基づく制約付きビア数最小化手法PNLA
- 層割当てのためのネット集合分割に基づく制約付きビア数最小化手法PNLA
- 通信ネットワークの3辺連結化分散アルゴリズム3DECA
- 部分論理回路の縮約に基づくFPGAテクノロジーマッピング法
- Efficient Augmentation to Construct $(\sigma + 1)$-Edge-Connected Simple Graphs (Algorithm Engineering as a New Paradigm)
- グラフの多重辺付加を許さない4辺連結化問題
- グラフの多重辺付加を許さない辺連結化問題
- グラフの多重辺付加を許さない4辺連結化問題
- プリント基板設計における非平面接続要求の部品下領域を利用した配線手法
- プリント基板設計における非平面接続要求の部品下領域を利用した配線手法
- プリント基板設計における非平面接続要求の部品下領域を利用した配線手法
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネット発火系列問題に対する発見的アルゴリズムFSDTとMAX SAT解法への応用
- ペトリネットの発火系列問題に対する新しい発見的解法FSD
- ペトリネットの指定プレース集合を含むサイフォン抽出法
- ペトリネットの発火系列問題に対する発見的解法FSD
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム
- ペトリネットの発火系列問題に対する新しいヒューリスティックアルゴリズム
- プログラムの理解とアルゴリズムの可視化のための支援ツール : 階層型グラフ描画に基づく流れ図の自動生成
- プログラムの理解とアルゴリズムの可視化のための支援ツール : 階層型グラフ描画に基づく流れ図の自動生成