| 研究課題/領域番号 |
17J02174
|
|---|
| 研究種目 |
特別研究員奨励費
|
| 配分区分 | 補助金 |
|---|
| 応募区分 | 国内 |
|---|
| 研究分野 |
ソフトコンピューティング
|
|---|
| 研究機関 | 東京大学 |
|---|
研究代表者 |
山下 洋史 東京大学, 情報理工学系研究科, 特別研究員(DC1)
|
|---|
| 研究期間 (年度) |
2017-04-26 – 2020-03-31
|
| 研究課題ステータス |
完了 (2019年度)
|
| 配分額 *注記 |
2,500千円 (直接経費: 2,500千円)
2019年度: 800千円 (直接経費: 800千円)
2018年度: 800千円 (直接経費: 800千円)
2017年度: 900千円 (直接経費: 900千円)
|
|---|
| キーワード | 充足可能性問題 / 連続時間力学系 / アナログコンピュータ / 過渡カオス / ギブスサンプリング |
|---|
| 研究実績の概要 |
前年度より引き続き、充足可能性問題を解く連続時間力学系であるCTDS solverについての研究を行った。CTDS solverは、充足可能性問題を連続最適化問題として定式化した際に生じる局所解の問題を、目的関数の時間変化を用いて解決するものである。充足可能性問題の解は力学系におけるアトラクターに対応付けられ、系が過渡カオス的な振る舞いの後にそのアトラクターに収束することで解を発見することができる。前年度より、これを充足可能性問題に対するハードウェアアクセラレーターとして応用するための基礎とするべく研究を行っている。
まず、前年度より継続していたCTDS solver の変数の時間変化の時間スケールについての数理的解析の結果を論文にまとめ、投稿したものが論文誌に掲載された。また、 CTDS solver をハードウェアとして実現する上では、変化する重み変数の値の範囲が広く、さらには発散する可能性があるという点が問題になる。系に発散を抑えるための項を付け加えるなど、この問題に対処するための手法を検討し、国際会議において発表を行った。CTDS solver は、新たな計算のハードウェアへの応用が期待されており、これらの結果はその実現において不可欠なものである。
並行して、離散勾配法と呼ばれる数値解析の分野の手法を応用することで、CTDS solver のシミュレーションの高速化を行った。シミュレーションの高速化は上のようなハードウェア実装のための理論研究にとって重要であると同時に、現在広く用いられているコンピューター上で動作するアルゴリズムとしてのCTDS solverの応用を可能にするものである。現在この結果は投稿論文として準備中である。
|
| 現在までの達成度 (段落) |
令和元年度が最終年度であるため、記入しない。
|
| 今後の研究の推進方策 |
令和元年度が最終年度であるため、記入しない。
|
