有向丸めの変更を使用しないタイトな行列積の包含方法
スポンサーリンク
概要
- 論文の詳細を見る
This paper is concerned with interval arithmetic, especially, an enclosure of a matrix product is focused on. Using level 3 operations of matrix computations, an algorithm outputting a tight enclosure for matrix multiplication is proposed. Most of the algorithms for this purpose require switches of rounding modes defined in the IEEE standard 754. However some programing enviroments have not supported them. Our proposed method demands only rounding-to-nearest mode, so that it is very portable.
- 2011-09-27
著者
-
荻田 武史
東京女子大学 文理学部 数理学科
-
大石 進一
早稲田大学 理工学術院 基幹理工学部 応用数理学科
-
荻田 武史
早稲田大学大学院理工学研究科
-
尾崎 克久
早稲田大学 理工学術院
-
大石 進一
早稲田大 理工学術院
-
荻田 武史
東京女子大学 現代教養学部 数理科学科
-
尾崎 克久
芝浦工業大学システム理工学部
-
尾崎 克久
芝浦工業大学
-
荻田 武史
東京女子大学
-
大石 進一
早稲田大学
関連論文
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 行列式が1の3次整数行列の一生成法
- 行列式の精度保証付き数値計算法
- 数値シミュレーションの精度保証と信頼性(シミュレーションと信頼性)
- 線形計画問題の最適解の精度保証(カオスの通信への応用,局在振動,一般)
- 実対称定値一般化固有値問題のすべての固有値の精度保証付き数値計算法(数値計算,数理計画法)
- 精度保証付き数値計算法の最近の到達点とMATLAB上のツールボックス
- A fast verified automatic integration algorithm using double exponential formula (数値解析における理論・手法・応用--RIMS研究集会報告集)
- C++による精度保証付き数値計算ライブラリ
- C++と浮動小数点数による精度保証付き数値計算ライブラリ
- 実用化されつつある高品質数値計算とその画期的な応用
- Numerical Existence Proofs and Guaranteed Error Bounds for Solutions to Two-Point Boundary Value Problems (Recent Developments of Numerical Analysis and Numerical Computation Algorithms)
- 非線形関数方程式の精度保証付き数値計算法
- 非常に大きな条件数をもつ整数行列の一生成法
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- 能動素子を含むある種の抵抗回路の解の精度保証について(信号処理,LSI及び一般)
- マルチプロセスを用いた連立一次方程式の精度保証法の実装
- 線形抵抗回路の動作点の数値的精度保証法
- 線形抵抗回路の動作点の数値的精度保証法
- 行列式が1の3次整数行列の一生成法
- 線形受動抵抗回路の解の精度保証について
- 同期技術と同期現象
- あるクラスのphase modelのダイナミクスについて : 同期/非同期の臨界状態
- Dynamical Theory on Mutually Connected PLL's
- 多くのパラメータをもつダイナミカルシステムの特異点解析
- 複素時間から見た非線形回路のpower spectrum
- 複素時間からみた非線形回路 : Phase-Locked Loopsの場合
- 座談会「応用数理と私」
- 線形受動抵抗回路の解の回路構造に基づいた精度保証について (回路とシステム)
- A-2-27 アフィン演算を用いた非線形方程式の解曲線追跡(A-2.非線形問題,一般講演)
- 精度保証付き数値計算法を用いた常微分方程式の全解探索アルゴリズム
- 変数分離形非線形方程式の解の非存在の厳密な数値的検証法と全解探索への応用
- A-2-2 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 非線形方程式に対する精度保証付き数値計算法
- 有限次元非線形方程式の全解探索アルゴリズム
- パラメータ依存非線形方程式の解を含む区間の反復改良アルゴリズム
- A-2-7 非線形方程式の解の非存在の厳密な数値的検証法
- 非線形方程式の解の非存在検証法の効率化
- 区間Newton写像を用いた非線形常微分方程式の解の数値的存在検証法
- 線形計画法を用いた非線形方程式の解の非存在検証法
- 内点法を用いた非線形方程式の探索領域における解の非存在判定法について
- 最適化手法による非線形方程式の解の非存在性の数値的検証法
- 高分子溶液の多相平衡に関する非線形方程式の全解探索
- 有理数演算を用いたパラメータ依存非線形方程式の解の区間反復改良
- 円形複素領域を用いた非線形方程式の解の精度保証付き数値計算
- 非線形方程式の複素数解の精度保証付き数値計算
- 非線形常微分方程式の近似的特異解の精度保証付き数値計算
- 有限ステップで停止する非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- パラメータ依存非線形方程式のすべての解を精度保証付きで求めるアルゴリズム
- 精度保証付き数値計算法を用いた非線形方程式の解曲線の存在検証法
- 化学平衡系の非線形方程式の精度保証付き数値計算
- 非線形方程式の近似的特異解とその数値的存在検証法(科学技術における数値計算の理論と応用II)
- 非線形方程式の特異解の精度保証付数値計算について II
- 数理計画法に基づいた非線形方程式の解の非存在の数値的検証法
- 区分線形系微分方程式の周期解と分岐点の精度保証について
- ある分岐点の精度保証つき数値計算法
- 非線形方程式の特異解の精度保証付数値計算について
- 線形計画法を用いた非線形方程式の精度保証つき全解探索
- 線形計画法を用いた非線形方程式の精度保証付き全解探索
- 精度保証付数値計算法を用いた非線形方程式の解曲線の存在検証法
- 非線形方程式の近似的特異解とその数値的存在検証法
- 非線形方程式の複素数解の精度保証付数値計算
- 境界値問題の折り返し点の数値的存在検証法
- Krawczyk法を用いた一パラメータ依存常微分方程式の解追跡
- C++による精度保証付き数値計算システム
- 有限次元非線形方程式の全解探索アルゴリズム(数値計算における品質保証とその応用 : 感度解析から証明まで)
- 非線形方程式の解曲線追跡のための一手法
- 有理数演算による非線形方程式の近似解の精度保証 : 有理数演算による精度保証付き広義ニュートン法(非線形問題の数値解析)
- 非線形楕円型偏微分方程式の精度保証法(一般)
- 非線形楕円型偏微分方程式の精度保証法(一般)
- 2-1 IEEE/ACM Computing Curricula 2001などの情報通信系標準カリキュラム : 2003年度発足の早稲田大学理工学部コンピュータ・ネットワーク工学科カリキュラムを例として(2.カリキュラム)(グローバル化時代の教育と研究)
- Sobolevノルムによる非線形常微分方程式の解の存在検証法
- 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- A-2-28 Sobolevノルムを用いた非線形常微分方程式の解の存在検証法
- A-2-27 数値積分を用いた常微分方程式の周期解の精度保証付き数値計算
- 精度保証付き数値計算法を用いた常微分方程式の任意精度反復改良法
- L_2ノルム評価による常微分方程式の解の存在検証法
- 無限行列を用いた常微分方程式の解の存在検証法
- 区間Newton法を用いた非線形常微分方程式の解の数値的存在検証法
- 非線形作用素方程式の解の存在検証法
- 区分関数を用いた非線形常微分方程式の境界値問題における精度保証
- 非線形常微分方程式の境界値問題における精度保証の自動化
- 区分線形系微分方程式の周期解と分岐点の精度保証について
- 精度保証付き数値計算を用いた常微分方程式の近似解の任意精度反復改良
- 精度保証付き数値計算を用いた常微分方程式の近似解の反復改良法
- 精度保証付き数値計算を用いた常微分方程式の近似解の区間反復法
- 線形受動抵抗回路の解の精度保証について
- 大規模疎行列の正定値性の保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 点と直線の位置関係の計算をロバストに行う : 点と平面の位置関係の精度保証法 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- 複素解析を用いた高速精度保証付き自動積分法
- ポータブルかつ誤差半径を過大評価しない行列乗算の包含について
- 行列式の高速な精度保証付き数値計算法(数値シミュレーションを支える応用数理)
- 精度保証付シミュレーション技術研究委員会(研究委員会紹介)
- 高精度行列-行列積アルゴリズムのスレッド並列化とABCLibScriptへの機能実装
- BLAS を用いた高精度な行列積アルゴリズムの使用メモリ量の削減とその性能について (科学技術計算における理論と応用の新展開)
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- 有向丸めの変更を使用しないタイトな行列積の包含方法
- CREST研究課題「非線形系の精度保証付き数値計算法の基盤とエラーフリーな計算工学アルゴリズムの探求」の紹介(ラボラトリーズ)
- The 7th East Asia SIAM Conference(Conference Reports)