| 研究課題/領域番号 |
16K00080
|
|---|
| 研究機関 | 広島市立大学 |
|---|
研究代表者 |
市原 英行 広島市立大学, 情報科学研究科, 准教授 (50326427)
|
|---|
| 研究期間 (年度) |
2016-10-21 – 2019-03-31
|
| キーワード | ストカスティックコンピューティング / ディペンダブルコンピューティング |
|---|
| 研究実績の概要 |
デジタル回路で確率的に演算を行うストカスティックコンピューティング（SC）用回路の設計に必要な3つの要素技術とSC回路の設計に必要なコンピュータ支援設計（SC-CAD）に関する研究を行う．(1) SCは確率的な演算であるため原理的にエラーに強いが，SC回路に はエラー耐性がない部分もある．そこでエラーに弱い部分のエラー耐性を高めたSC回路の耐故障設計技術を開発する．(2) SCに用いる 確率の表現方法（ストカスティック数）を工夫することにより，短時間で高精度な演算が可能となる新しいSC演算技術を開発する．(3) SCでは乱数列を用いるが，その乱数発生源の規模が大きいことが1つの問題である．この問題を解決するために，実装が容易でかつ 高精度演算を可能とする乱数発生法を確立する．(SC-CAD)これらの要素技術を組み込むことが可能なSC回路設計支援システム (SC-CAD ) を構築する．
3つの要素技術のうち(1)と(3)，そしてCAD技術(SC-CAD)に対して，以下の成果を得た．(1) 線形順序機械 (FSM) を用いたSC回路の耐故障化設計のための状態割当アルゴリズムの改良を行った．改良したアルゴリズムはシンプルではあるが十分な耐故障性の向上が見られた．成果は国際会議ITC-Asiaで発表した．(3) 乱数発生源を他の論理回路に求めるSC回路構成法の実験的評価とその評価に基づく改良を行った．これにより，乱数発生源に応じた回路構成が可能となる．成果の一部は国内会議で発表し，論文誌投稿を行った．(SC-CAD) SC回路を効率的にシミュレーションするためにマルチプロセスによる並行シミュレーション環境を整備した．
|
| 現在までの達成度 (区分) |
現在までの達成度 (区分)
4: 遅れている
理由
要素技術(1)と(3)に対しては一定の成果を得ることができたが，全体としては当初の計画より遅れている．特に要素技術(2)に関してはほとんど進めることができなった．計画が遅れている理由の1つに，当初予定していた研究計画者が減ったことが挙げられる（大学院生・学部生4名を予定していたが，1名に減ってしまった）．
|
| 今後の研究の推進方策 |
今年度も学部学生2名の研究協力しか見込めないため，以下のように研究計画を変更する予定である．
・比較的順調に進んでいる要素技術(1)と(3)に関する研究を主として進める（要素技術(2)の研究は計画を遅らせて，次年度以降に成果を求める）．
・CAD技術(SC-CAD)の研究も計画を遅らせるが，CAD技術は要素技術の開発に必要な技術であるため，効果の高いCAD技術を優先してすすめる．
|
| 次年度使用額が生じた理由 |
学生謝金による実験補助を想定した実験を予定していたが予定していたが，実施してもらえる学生を十分に確保できず，実施できなかったため．実施できなかった実験は次年度に実施する予定．
|
