数値シミュレーションの精度保証と信頼性(<特集>シミュレーションと信頼性)

書誌事項

タイトル別名
  • Numerical Verification of Simulation and Reliability(<Special Survey>Simulation and Reliability)
  • 数値シミュレーションの精度保証と信頼性
  • スウチ シミュレーション ノ セイド ホショウ ト シンライセイ

この論文をさがす

抄録

数値計算結果を非常に効率的に精度保証する技術が高度に発展してきている.特に,線形計算や多項式計算については,このような精度保証付き数値計算法は倍精度浮動小数点数計算による近似計算の数倍の手間で,完全に正しい結果を与える.ここでは信頼性の技術に対して精度保証付き数値計算の技術がどのように関わるかを展望したい.

収録刊行物

参考文献 (5)*注記

もっと見る

詳細情報 詳細情報について

問題の指摘

ページトップへ