| 研究課題/領域番号 |
15500040
|
|---|
| 研究種目 |
基盤研究(C)
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 一般 |
|---|
| 研究分野 |
計算機システム・ネットワーク
|
|---|
| 研究機関 | 広島市立大学 |
|---|
研究代表者 |
若林 真一 広島市立大学, 情報科学部, 教授 (50210860)
|
|---|
| 研究期間 (年度) |
2003 – 2004
|
| 研究課題ステータス |
完了 (2004年度)
|
| 配分額 *注記 |
3,700千円 (直接経費: 3,700千円)
2004年度: 2,200千円 (直接経費: 2,200千円)
2003年度: 1,500千円 (直接経費: 1,500千円)
|
|---|
| キーワード | FPGA / 組合せ問題 / NP-困難 / 分枝限定法 / インスタンス依存 / ハードウェア解法 / プログラム可能論理デバイス / 論理合成 / 最大クリーク |
|---|
| 研究概要 |
Field Programmable Gate Array (FPGA)に代表されるプログラム可能論理デバイス(programmable logic device, PLD)は、チップのマスクパターンを変更することなく任意のハードウェアを繰り返し実現可能な集積回路であり、近年は1000万ゲート規模で1GHzのクロック周波数で動作可能なFPGAも出現している。PLDの持つハードウェアでありながらプログラマブルであるという特性を生かすことで、PLDは従来の逐次コンピュータ上で動作するソフトウェアや専用ハードウェアによる問題解法とは異なる新しい問題解決の手段となることが期待されている。本研究はこのようなPLDを用いた新しい問題解法の確立を目的として、PLDを用いて複雑で大規模な最適化に対する解を高速に得るためのハードウェア解法について研究した。具体的には、NP-困難な組合せ最適化問題に対し、与えられた問題の具体的な入力(インスタンス)を解析し、インスタンス解析とハードウェア回路の生成に必要な計算時間と、生成されたハードウェア回路の実行時間のトレードオフを考慮しながら、インスタンスに最適化したハードウェア回路を自動生成する手法を考察した。本研究ではグラフ上で定義されるNP-困難な組合せ問題を対象とし、最大クリーク問題、最小被覆問題、最小支配集合問題に対してそれぞれハードウェア解法を提案し、与えられたグラフのインスタンスからそのインスタンスに特化した専用ハードウェアの回路記述を自動生成するプログラムを開発した。さらに、生成されたハードウェア解法を実際にFPGA上に実現して、従来手法であるソフトウェア解法と比較した。評価実験の結果、提案手法はソフトウェア解法と比較して数100音以上高速であり、提案解法は十分に実用的であることがわかった。また、回路規模が増大した場合に、複数のFPGAを用いてどのように回路を実現するかについても考察した。得られた研究成果は関連学会の研究会、シンポジウム等で発表した。
|
