文献

J-GLOBAL ID：202002215209492632   整理番号：20A1344790

PDEソルバにおけるサイレントエラー検出のための物理ベースチェックサム【JST・京大機械翻訳】

Physics-Based Checksums for Silent-Error Detection in PDE Solvers

著者 (3件)： Salloum Maher (Sandia National Laboratories, Livermore, CA, USA) ,  Mayo Jackson R. (Sandia National Laboratories, Livermore, CA, USA) ,  Armstrong Robert C. (Sandia National Laboratories, Livermore, CA, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 11997  ページ： 681-693  発行年： 2020年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 離散化されたPDEによって保存される運動量やエネルギーのような物理量を活用する,並列科学計算におけるサイレントデータ崩壊の効率的な局所検出のための技術を論じた。保存量は,線形代数に対する「アルゴリズムベースフォールトトレランス」チェックと類似しているが,それらの物理的基礎により,線形および非線形方程式の両方に適用でき,サブドメイン間のフラックスに基づく効率的な局所更新を有する。これらの物理ベースチェックサムは,誤差が稀である場合,非常に低いオーバヘッドで,チェックポイントへのロールバックによる誤差と回復の正確な間欠検出を可能にする。注入メモリビットフリップを有する明示的双曲線と反復楕円(非構造化有限要素)ソルバの両方への応用を示した。Copyright National Technology & Engineering Solutions of Sandia, LLC. 2020 Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： アルゴリズム ,  運動量 ,  双曲線 ,  線形代数 ,  非線形方程式 ,  *誤り検出 ,  線形性 ,  運動の定数 ,  フォールトトレランス
準シソーラス用語： 離散化 ,  ロールバック ,  科学計算 ,  *ソルバ ,  オーバヘッド ,  有限要素 , 【Automatic Indexing@JST】

著者キーワード (5件)： 静かな誤り ,  偏微分方程式 ,  線形代数 ,  アルゴリズムベースのフォールトトレランス ,  チェックポイント/再スタート

分類 (2件)： 数値計算  (JE02000J) ,  その他のディジタル計算機方式  (JC02050G)

タイトルに関連する用語 (5件)： PDE ,  ソルバ ,  エラー検出 ,  物理 ,  チェックサム