文献

J-GLOBAL ID：201202265386731820   整理番号：12A1313282

収束障害(Fault Convergence):数値計算ソフトウェアにおける新しい安全性の概念

Fault Convergence: A New Concept of Safety for Numerical Computation Software

著者 (9件)： 片桐孝洋 (東大 情報基盤セ) ,  櫻井隆雄 (日立 中研) ,  伊藤祥司 (東大 情報基盤セ) ,  猪貝光祥 (日立超LSIシステムズ) ,  大島聡史 (東大 情報基盤セ) ,  黒田久泰 (愛媛大 大学院理工学研究科) ,  黒田久泰 (東大 情報基盤セ) ,  直野健 (日立 中研) ,  中島研吾 (東大 情報基盤セ)
資料名： 情報処理学会研究報告(CD-ROM)
巻： 2012  号： 2  ページ： ROMBUNNO.HPC-134,NO.9  発行年： 2012年08月15日 
JST資料番号： Z0031C  ISSN： 2186-2583  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 本論文では,数値計算ソフトウェアで多く用いられている数値反復解法において生じると考えられる収束障害(Fault Convergence)の概念を提案する。数値計算分野で用いられている偽収束(False Convergence)との違いを議論する。Laprieにより定義されたディペンダブルコンピューティング実現のための3つの脅威-障害(fault)-異常(error)-故障(failure)モデル-を用いて数値反復解法での収束問題を議論することにより,収束障害の一例を示す。(著者抄録)

シソーラス用語： 数値計算 ,  *逐次近似 ,  *ソフトウェア ,  収束 ,  信頼性 ,  モデル ,  障害 ,  安全性 ,  *フォールトトレランス
準シソーラス用語： ディペンダビリティ ,  ディペンダブルコンピューティング ,  異常モデル ,  故障モデル ,  収束障害 ,  障害モデル ,  *数値計算ソフトウェア ,  *反復法

分類 (3件)： 数値計算  (JE02000J) ,  計算機システム開発  (JD02010R) ,  その他のディジタル計算機方式  (JC02050G)

タイトルに関連する用語 (4件)： 収束 ,  障害 ,  数値計算ソフトウェア ,  概念