次世代統合シミュレーション技術 : 6.数値シミュレーションを支える精度保証技術

• Item type: Magazine(1)
• 公開日: 2007-10-15
• タイトル: 次世代統合シミュレーション技術 : 6.数値シミュレーションを支える精度保証技術
• タイトル / 言語: en
• タイトル: Next-generation Integrated Simulation Technique : Linear Numerical Simulation with Result Verification
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: article
• 著者所属: 早稲田大学理工学術院
• 著者所属: 科学技術振興機構戦略的創造研究推進事業
• 著者所属(英): en
• 著者所属(英): Waseda Univ.
• 著者所属(英): en
• 著者所属(英): CREST, Japan Science and Technology Agency
• 著者名: 大石, 進一; 荻田, 武史
• 著者名(英): Shin'ichi, OISHI; Takeshi, OGITA
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 数値シミュレーションは，膨大な数値計算の結果の上に成り立っている．そのような数値計算の結果を数学的に厳密な誤差限界と共に与えることを精度保証付き数値計算という．近年の著者らの成果により，精度保証付き数値計算は，線形計算については近似解を求めるのと比べて数倍の手間で実行できることが多いことが示された．さらに，数値計算自身も必要な精度の計算を適応的にかつ必要な計算の手間で行えることが示された．たとえば，連立一次方程式の数値解を倍精度浮動小数点演算で求めても，その精度が10進数換算で16桁（倍精度での最大）はほぼ常に出せる計算方式が実現できる．しかも，問題の難しさ（条件数）に応じた計算量で高速に実行できる．このように，数値線形代数の問題については，精度保証付き数値計算の技術は多くの場合，数値シミュレーションを支える技術として，実に驚くべき進展を遂げた．本稿では，このような現状について概観する．具体的には，著者らの研究により確立しつつある高速精度保証付き数値計算技術と無誤差数値計算技術についてサーベイを行う．
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116625
• 書誌情報: 情報処理; 巻 48, 号 10, p. 1103-1110, 発行日 2007-10-15
• 出版者 / 言語: ja
• 出版者: 情報処理学会