• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 課題ページに戻る

2015 年度 実施状況報告書

デファクトスタンダードを基盤とする高精度高信頼な連立一次方程式の数値計算法の開発

研究課題

研究課題/領域番号 15K15939
研究機関早稲田大学

研究代表者

森倉 悠介  早稲田大学, 理工学術院, 助教 (10732240)

研究期間 (年度) 2015-04-01 – 2017-03-31
キーワード精度保証付き数値計算 / 数値解析 / 連立一次方程式 / ハイパフォーマンスコンピューティング
研究実績の概要

本年度の成果は以下である.
本研究は高信頼・高精度な大規模連立一次方程式の精度保証付き数値計算法におけるスーパーコンピュータ上での強スケーリング性の調査・評価とその応用を行った.連立一次方程式の精度保証付き数値計算法を行うにあたって,近似解の計算に加えて,近似逆行列の計算,行列積の計算が必要になる.現在もっとも一般的な問題を解く高速な手法においても近似計算の2倍の計算量を必要とする.また,高速な手法は適応範囲が狭いため,大規模な問題に対して有向でない.そのため,適応範囲も広く比較的高速な手法を用いる.その手法は6倍の計算時間が必要となる.通常の共有メモリマシンでは,計算量に依存した計算時間がかかる.しかし,スーパーコンピュータ環境では並列数に依存し精度保証パートの計算時間と,近似計算の時間の割合(精度保証/近似計算)が小さくなる.そのため,スーパーコンピュータにおける性能評価を行うことで,スーパーコンピュータに向けての,新しい連立一次方程式,数値線形代数計算における精度保証付き数値計算法の開発を行う.現状,京コンピュータにて4096ノードを利用した計算では,6倍の計算量を必要とする計算の計算時間が2倍程度の計算時間で実行できることを明らかにした.

現在までの達成度 (区分)
現在までの達成度 (区分)

2: おおむね順調に進展している

理由

本年度の成果により,密行列を係数とする10万元連立一次方程式における高速な手法がある程度確立された.そのため,平成28年度の計画における数十万次元おける高速・高精度な手法に向けての計画は順調に進んでいると言える.

今後の研究の推進方策

本課題における総合的な達成目標として,密行列を係数とする大規模連立一次方程式における高速・高精度な解法アルゴリズムを提案することである.
本年度は,高速化に比重をおいた目標の達成が行われた.一方で,精度保証結果に課題がみられる.問題の大規模化において,丸め誤差などの影響による「近似解の精度の悪化」がみられるため,近似解の改善,精度保証計算パートにおける丸め誤差の抑制が必要となる.そのため,「無誤差変換を用いた高精度計算」などを並列分散メモリ環境において高速に利用する実装などが今後の課題となる.

次年度使用額が生じた理由

今年度は,研究に必要な経費(特に研究発表にかかる旅費等)が学内の研究補助金により支出することができたため,次年度への繰り越しが行えた.

次年度使用額の使用計画

次年度への繰り越し分は研究用の高速計算機の購入を計画している.

  • 研究成果

    (7件)

すべて 2016 2015

すべて 学会発表 (7件) (うち国際学会 4件、 招待講演 1件)

  • [学会発表] Performance Evaluation of Verified Computation for Linear Systems on Parallel Computers2016

    • 著者名/発表者名
      Yusuke Morikura, Daichi Mukunoki, Takeshi Fukaya, Naoya Yamanaka and Shin’ichi Oishi
    • 学会等名
      ACSI2016 (Annual Meeting on Advanced Computing System and Infrastructure 2016)
    • 発表場所
      Centennial Hall Kyushu University School of Medicine
    • 年月日
      2016-01-19
    • 国際学会
  • [学会発表] 事前誤差評価を用いた線形計算の精度保証 誤差解析から大規模計算まで2015

    • 著者名/発表者名
      森倉 悠介
    • 学会等名
      日本応用数理学会 三部会連携「応用数理セミナー」
    • 発表場所
      東京大学本郷キャンパス 工学部6号館
    • 年月日
      2015-12-24
    • 招待講演
  • [学会発表] Verification method for large-scale linear systems without directed rounding2015

    • 著者名/発表者名
      Yusuke Morikura, Ozaki Katsuhisa and Shin’ichi Oishi
    • 学会等名
      Crest Workshop
    • 発表場所
      伊東
    • 年月日
      2015-10-24
    • 国際学会
  • [学会発表] Verification method for large-scale linear systems2015

    • 著者名/発表者名
      森倉 悠介, 尾崎 克久, 大石 進一
    • 学会等名
      JST/CREST-さきがけ数学シンポジウム 2015 22世紀社会創造のための数学 Mathematics for the 22nd Century
    • 発表場所
      ステーションコンファレンス東京
    • 年月日
      2015-09-30
  • [学会発表] Verification method for large-scale linear systems2015

    • 著者名/発表者名
      Yusuke Morikura, Katsuhisa Ozaki and Shin’ichi Oishi
    • 学会等名
      Seto-Inland-Sea-Rim Workshop on Mathematical Sciences
    • 発表場所
      八丈島
    • 年月日
      2015-09-27
    • 国際学会
  • [学会発表] LU分解の事前誤差評価を用いた連立一次方程式の精度保証付き数値計算法におけるH行列の性質を用いた正則性の検証法と誤差評価式の提案2015

    • 著者名/発表者名
      南畑 淳史, 森倉 悠介, 荻田 武史, 大石 進一
    • 学会等名
      日本応用数理学会2015年度年会
    • 発表場所
      金沢大学角間キャンパス
    • 年月日
      2015-09-09
  • [学会発表] GPU computation in verified computation2015

    • 著者名/発表者名
      Yusuke Morikura
    • 学会等名
      Joint Seminar on Numerical Analysis at Niigata University
    • 発表場所
      Niigata University
    • 年月日
      2015-09-03
    • 国際学会

URL: 

公開日: 2017-01-06  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi