精度保証数値計算(<特集>数値計算)
スポンサーリンク
概要
- 論文の詳細を見る
An approach is surveyed to show that verification of numerical computation can be done by a cost around 2〜4 times than that of usual computation. In this approach the floating point numbers arithmetic with rounding toward ±∞ is utilized. By considering inner products of vectors as units of computation, it is shown that drastic reduction of numbers of changing rounding direction in achieved. Moreover, by this approach programming of verification becomes extremely simple. Taking examples such as the matrix equation, polynomial evaluation, nonlinear equation, it is shown that verified solutions for these problems can be obtained by a cost about 2〜4 times than that of computation of approximate solutions.
- 1998-12-15
著者
関連論文
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 行列式が1の3次整数行列の一生成法
- 行列式の精度保証付き数値計算法
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- 非常に大きな条件数をもつ整数行列の一生成法
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 線形抵抗回路の動作点の数値的精度保証法
- 線形抵抗回路の動作点の数値的精度保証法
- 行列式が1の3次整数行列の一生成法
- 線形受動抵抗回路の解の精度保証について
- A-2-27 アフィン演算を用いた非線形方程式の解曲線追跡(A-2.非線形問題,一般講演)
- 精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム
- 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
- A-2-2 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 有限次元非線形方程式の全解探索アルゴリズム
- パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
- A-2-7 非線形方程式の解の非存在の厳密な数値的検証法
- 非線形方程式の解の非存在検証法の効率化
- 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム(論文賞贈呈)
- 区間Newton写像を用いた非線形常微分方程式の解の数値的存在検証法
- 線形計画法を用いた非線形方程式の解の非存在検証法
- 内点法を用いた非線形方程式の探索領域における解の非存在判定法について
- Sobolevノルムによる非線形常微分方程式の解の存在検証法
- 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- A-2-28 Sobolevノルムを用いた非線形常微分方程式の解の存在検証法
- A-2-27 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- 精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法
- L_2ノルム評価による常微分方程式の解の存在検証法
- 無限行列を用いた常微分方程式の解の存在検証法
- 区間Newton法を用いた非線形常微分方程式の解の数値的存在検証法
- 非線形作用素方程式の解の存在検証法
- 区分関数を用いた非線形常微分方程式の境界値問題における精度保証
- 線形受動抵抗回路の解の精度保証について
- 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 複素解析を用いた高速精度保証付き自動積分法
- ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
- 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
- 6 数値シミュレーションを支える精度保証技術(次世代統合シミュレーション技術)
- 基礎・境界ソサイエティの活性化の一活動 : ICFS 2002の活動計画
- 点と平面との位置関係を判定する高速かつロバストなアルゴリズム(実用,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法(理論,計算の品質,平成18年研究部会連合発表会)
- 実対称行列の各固有対に対する精度保証付き数値計算法
- 連立一次方程式のメモリ量を低減した精度保証付き数値計算法(ロバスト計算と精度保証)
- 高精度内積計算アルゴリズムを用いた連立一次方程式の精度保証付き数値計算法(ロバスト計算と精度保証)
- 悪条件連立一次方程式の精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- 実対称行列の各固有値に対する精度保証付き数値計算法(計算の品質, 平成17年研究部会連合発表会)
- Javaによる連立一次方程式の数値解の精度保証法 (21世紀における数値解析の新展開)
- A-1-36 グリーン関数を用いた非線形常微分方程式の周期解の数値的存在検証法とその従来法との比較(A-1. 回路とシステム, 基礎・境界)
- A-2-24 グリーン関数を用いた非線形常微分方程式の解の数値的存在検証法(A-2. 非線形問題)
- A-2-6 階段関数近似を用いた非線形常微分方程式の解の数値的存在検証法
- 悪条件対称行列の正確なコレスキー分解正定値性の検出(光カオス,一般)
- 大規模連立一次方程式のための高速精度保証法(シンポジウム)
- 10. 21世紀COEプロジェクト「プロダクティブICTアカデミア」(21世紀卓越した情報研究拠点プログラムの目指す研究(前編))
- 21世紀COEプロジェクト「プロダクティブICTアカデミア」
- 高精度内積計算アルゴリズムとその応用 (数学解析の理論的展開の計算機による支援・遂行可能性)
- 拡張Strassen法による連立一次方程式の精度保証 (数値解析と新しい情報技術)
- Strassen のアルゴリズムによる行列乗算の高速精度保証 (微分方程式の数値解法と線形計算)
- 3)視覚特性を考慮した静止画像の符号化法(〔画像表示研究会視覚情報研究会画像通信システム研究会〕合同)
- シミュレーションという懐の広さ
- 日本応用数理学会20周年記念式典の概要(20周年記念)
- 反復解法による連立一次方程式の数値解の高速精度保証
- 単調な疎行列における連立一次方程式の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- 線形受動抵抗回路の解の回路構造に基づいた精度保証について
- Affine Arithmeticを用いた非線形常微分方程式の解の数値的存在検証法
- 非線形周期的常微分方程式の周期解の数値的存在検証法
- A-2-26 アフィン演算を用いた非線形常微分方程式の解の数値的存在検証法
- 2次元ポテンシャル問題における偏微分方程式の精度保証付き数値計算 (微分方程式の数値解法と線形計算)
- A-2-4 固有値に対する要素別高速精度保証法
- A-2-21 複素行列の特異値に対する高速精度保証
- A-2-1 行列の固有値問題の高速精度保証
- 行列の固有値問題の高速精度保証
- 数値線形代数の問題の高速精度保証
- 固有値問題の数値解の高速精度保証 (偏微分方程式の数値解法とその周辺II)
- 非線形問題を解く道具としての精度保証付き数値計算(21世紀を展望する)
- Iterative Refinement for Ill-Conditioned Linear Systems
- Adaptive and Efficient Algorithm for 2D Orientation Problem
- 浮動小数点演算による中心と半径で表される区間の演算
- 高精度行列-行列積アルゴリズムのスレッド並列化とABCLibScriptへの機能実装
- 数値線形代数の精度保証
- 線形方程式はもう一度数値解を計算する手間で精度保証できる
- 高速精度保証付き数値計算 (精度保証付き数値計算法とその周辺)
- 精度保証付きシミュレーション[2] : 線形方程式の高速精度保証とプログラミング技法
- TA-1-3 精度保証付き数値計算のプログラミング
- TA-1-2 精度保証付き数値計算を高速に行うには
- TA-1-1 精度保証付き数値計算とは
- 精度保証数値計算(数値計算)
- C++言語による精度保証付き数値計算ライブラリ
- C++言語による精度保証ライブラリ
- 倍精度に基づく四倍精度四則演算法の誤差とその応用 (科学技術計算における理論と応用の新展開)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- ラボラトリーズ CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介
- 周期的非線形微分方程式の周期解の存在検証法