| Project/Area Number |
17J02174
|
|---|
| Research Category |
Grant-in-Aid for JSPS Fellows
|
| Allocation Type | Single-year Grants |
|---|
| Section | 国内 |
|---|
| Research Field |
Soft computing
|
|---|
| Research Institution | The University of Tokyo |
|---|
Principal Investigator |
山下 洋史 東京大学, 情報理工学系研究科, 特別研究員(DC1)
|
|---|
| Project Period (FY) |
2017-04-26 – 2020-03-31
|
| Project Status |
Completed (Fiscal Year 2019)
|
| Budget Amount *help |
¥2,500,000 (Direct Cost: ¥2,500,000)
Fiscal Year 2019: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2018: ¥800,000 (Direct Cost: ¥800,000)
Fiscal Year 2017: ¥900,000 (Direct Cost: ¥900,000)
|
|---|
| Keywords | 充足可能性問題 / 連続時間力学系 / アナログコンピュータ / 過渡カオス / ギブスサンプリング |
|---|
| Outline of Annual Research Achievements |
前年度より引き続き、充足可能性問題を解く連続時間力学系であるCTDS solverについての研究を行った。CTDS solverは、充足可能性問題を連続最適化問題として定式化した際に生じる局所解の問題を、目的関数の時間変化を用いて解決するものである。充足可能性問題の解は力学系におけるアトラクターに対応付けられ、系が過渡カオス的な振る舞いの後にそのアトラクターに収束することで解を発見することができる。前年度より、これを充足可能性問題に対するハードウェアアクセラレーターとして応用するための基礎とするべく研究を行っている。
まず、前年度より継続していたCTDS solver の変数の時間変化の時間スケールについての数理的解析の結果を論文にまとめ、投稿したものが論文誌に掲載された。また、 CTDS solver をハードウェアとして実現する上では、変化する重み変数の値の範囲が広く、さらには発散する可能性があるという点が問題になる。系に発散を抑えるための項を付け加えるなど、この問題に対処するための手法を検討し、国際会議において発表を行った。CTDS solver は、新たな計算のハードウェアへの応用が期待されており、これらの結果はその実現において不可欠なものである。
並行して、離散勾配法と呼ばれる数値解析の分野の手法を応用することで、CTDS solver のシミュレーションの高速化を行った。シミュレーションの高速化は上のようなハードウェア実装のための理論研究にとって重要であると同時に、現在広く用いられているコンピューター上で動作するアルゴリズムとしてのCTDS solverの応用を可能にするものである。現在この結果は投稿論文として準備中である。
|
| Research Progress Status |
令和元年度が最終年度であるため、記入しない。
|
| Strategy for Future Research Activity |
令和元年度が最終年度であるため、記入しない。
|
