| 電子情報通信学会 研究会発表申込システム 講演論文 詳細 |
技報閲覧サービス [ログイン] 技報アーカイブ |
| トップに戻る | 前のページに戻る | [Japanese] / [English] |
| 講演抄録／キーワード | ||
| 講演名 | 2023-03-01 16:25 引力斥力制御型AmoebaアルゴリズムのFPGA実装による大規模SAT解探索 ○天野英晴・奥山寅男（慶大）・大古田香織・青野真士（Amoeba Energy）  VLD2022-82 HWS2022-53 |
|
| 抄録 | （和） | 充足可能性問題(SAT)は従来の汎用計算機がその解決を苦手とする「組合せ爆発」を伴うNP完全問題である。SATの解を高速に探索できる計算技術は、様々なスマート社会アプリケーションに応用されうるため、その潜在的ニーズは大きい。SATを解く専用計算機の構築のために、アメーバ生物の変形挙動を解探索プロセスとしてモデル化したアルゴリズム「AmoebaSAT」が提案されている。この手法は並列性とエネルギー効率に優れた Field Programmable Gate Array (FPGA) 上に実装することで、高速化と低電力化ができるものと期待されている。本研究では、AmoebaSATの計算資源の使用をより節約できるよう更改した引力斥力制御型アルゴリズム「AmoebaSATone」を定式化し、これをFPGA Zynqボード上に実装した。これにより、従来では格納できなかった120,000変数（523,200節）にも及ぶ大きな問題サイズの3-SATインスタンスを、1ボードのFPGAで解くことができるようになった。 |
| （英） | (Not available yet) | |
| キーワード | （和） | エッジコンピューティング / FPGA / アメーバ型アルゴリズム / AmoebaSAT / 充足可能性問題 / SAT / / |
| （英） | / / / / / / / | |
| 文献情報 | 信学技報, vol. 122, no. 402, VLD2022-82, pp. 55-60, 2023年3月. | |
| 資料番号 | VLD2022-82 | |
| 発行日 | 2023-02-22 (VLD, HWS) | |
| ISSN | Online edition: ISSN 2432-6380 | |
| 著作権に ついて |
技術研究報告に掲載された論文の著作権は電子情報通信学会に帰属します．(許諾番号：10GA0019/12GB0052/13GB0056/17GB0034/18GB0034) | |
| PDFダウンロード | VLD2022-82 HWS2022-53 |
|
| 研究会情報 | |
| 研究会 | HWS VLD |
| 開催期間 | 2023-03-01 - 2023-03-04 |
| 開催地（和） | 沖縄県青年会館 |
| 開催地（英） | |
| テーマ（和） | システムオンシリコンを支える設計技術, ハードウェアセキュリティ, 一般 |
| テーマ（英） | |
| 講演論文情報の詳細 | |
| 申込み研究会 | VLD |
| 会議コード | 2023-03-HWS-VLD |
| 本文の言語 | 日本語 |
| タイトル（和） | 引力斥力制御型AmoebaアルゴリズムのFPGA実装による大規模SAT解探索 |
| サブタイトル（和） | |
| タイトル（英） | Large-scale SAT Solution Search by FPGA Implementation of Attraction-Repulsion Control-Type Amoeba Algorithm |
| サブタイトル（英） | |
| キーワード(1)（和/英） | エッジコンピューティング / |
| キーワード(2)（和/英） | FPGA / |
| キーワード(3)（和/英） | アメーバ型アルゴリズム / |
| キーワード(4)（和/英） | AmoebaSAT / |
| キーワード(5)（和/英） | 充足可能性問題 / |
| キーワード(6)（和/英） | SAT / |
| キーワード(7)（和/英） | / |
| キーワード(8)（和/英） | / |
| 第1著者 氏名（和/英/ヨミ） | 天野 英晴 / Hideharu Amano / アマノ ヒデハル |
| 第1著者 所属（和/英） | 慶應義塾大学 (略称： 慶大) Keio University (略称： Keio Univ.) |
| 第2著者 氏名（和/英/ヨミ） | 奥山 寅男 / Torao Okuyama / オクヤマ トラオ |
| 第2著者 所属（和/英） | 慶應義塾大学 (略称： 慶大) Keio University (略称： Keio Univ.) |
| 第3著者 氏名（和/英/ヨミ） | 大古田 香織 / Kaori Okoda / オオコダ カオリ |
| 第3著者 所属（和/英） | Amoeba Energy株式会社 (略称： Amoeba Energy) Amoeba Energy Co., Ltd. (略称： Amoeba Energy) |
| 第4著者 氏名（和/英/ヨミ） | 青野 真士 / Masashi Aono / アオノ マサシ |
| 第4著者 所属（和/英） | Amoeba Energy株式会社 (略称： Amoeba Energy) Amoeba Energy Co., Ltd. (略称： Amoeba Energy) |
| 講演者 | 第1著者 |
| 発表日時 | 2023-03-01 16:25:00 |
| 発表時間 | 25分 |
| 申込先研究会 | VLD |
| 資料番号 | VLD2022-82, HWS2022-53 |
| 巻番号（vol） | vol.122 |
| 号番号（no） | no.402(VLD), no.403(HWS) |
| ページ範囲 | pp.55-60 |
| ページ数 | 6 |
| 発行日 | 2023-02-22 (VLD, HWS) |
[研究会発表申込システムのトップページに戻る]