文献

J-GLOBAL ID：201902246318767091   整理番号：19A2169549

抽象解釈を用いた気候モデルによる気温の最大上昇の推定【JST・京大機械翻訳】

Estimating the maximum rise in temperature according to climate models using abstract interpretation

著者 (2件)： Revesz Peter Z. (University of Nebraska-Lincoln, Department of Computer Science & Engineering, Lincoln NE 68588-0115, USA) ,  Woodward Robert J. (University of Nebraska-Lincoln, Department of Computer Science & Engineering, Lincoln NE 68588-0115, USA)
資料名： Acta Universitatis Sapientiae, Informatica (Web)  (Acta Universitatis Sapientiae, Informatica (Web))
巻： 11  号： 1  ページ： 5-23  発行年： 2019年 
JST資料番号： U7902A  ISSN： 2066-7760  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： ドイツ (DEU)  言語： 英語 (EN)

抄録/ポイント： 現在の気候モデルは,気候関連変数の次のセットを予測するために,時間ステップによって典型的に反復された時間ステップである複雑な計算機プログラムである。これらの反復法は常に固定された数の反復に対してのみ計算されるので,大域的温度の上昇に限界があるかどうかは自然の疑問に答えることができない。この問題に答えるために,プログラム変数の集合に対する不変条件を見出すことができるソフトウェア検証技術と気候モデルを組み合わせることを提案した。特に,制約データベース手法をソフトウェア検証に適用し,大域的温度の上昇が,Wigley-Raper Upwelling-拡散エネルギー収支モデル気候モデルを実装する一般的Java気候モデルに従って制限されることを見出した。Copyright 2019 Peter Z. Revesz et al., published by Sciendo Translated from English into Japanese by JST.【JST・京大機械翻訳】

シソーラス用語： *抽象解釈 ,  *気候 ,  データベース ,  *気候モデル ,  計算機プログラム ,  逐次近似 ,  エネルギー収支 ,  Java ,  *気温 ,  不変性 ,  プログラム検証
準シソーラス用語： 時間ステップ , 【Automatic Indexing@JST】

著者キーワード (6件)： 制約データベース ,  Datalog ,  気候モデル ,  不変量 ,  MLPQシステム ,  ソフトウェア検証

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (4件)： 抽象解釈 ,  気候モデル ,  気温 ,  推定