多倍長計算を適用した精度保証数値計算 (21世紀における数値解析の新展開)
スポンサーリンク
概要
著者
-
今井 仁司
徳島大学工学部
-
渡部 善隆
九州大学情報基盤センター
-
今井 仁司
徳島大学大学院ソシオテクノサイエンス研究部
-
坂口 秀雄
徳島大学工学部
-
渡部 善隆
九州大学情報基盤研究開発センター
-
坂口 秀雄
徳島大学大学院ソシオテクノサイエンス研究部
関連論文
- 極座標変換に伴う微分方程式の特異性の回避公式について (数値解析と新しい情報技術)
- 10031 高次要素を用いたユニット連結型浮遊式海洋構造物の流体連成自由振動解析
- 10014 ユニット連結型浮遊式海洋構造物のモード解析 : その1 流体速成固有値解析
- 第一種積分方程式の高精度数値計算について(科学技術計算と数値解析(多倍長科学技術計算の基礎と応用), 平成17年研究部会連合発表会)
- 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化
- 熱対流問題の解に対する計算機援用証明 (数学解析の計算機上での理論的展開とその遂行可能性)
- Rayleigh-Benard対流の定常解に対する精度保証付き数値計算II (微分方程式の離散化手法と数値計算アルゴリズム)
- 楕円型逆固有値問題におけるポテンシャル関数の包み込みについて (偏微分方程式の数値解法とその周辺II)
- 無限次元固有値問題に対する固有値の非存在証明 (数値解析と数値計算アルゴリズムの最近の展開)
- Asymptotic Behavior of Solutions to One-phase Stefan Problems for Sublinear Heat Equations (Nonlinear Diffusive Systems : Dynamics and Asymptotics)
- Wavelet変換による海岸線データの間引き
- 実用的な曲線データ点の間引き法
- 有界化による熱伝導逆問題の大域的数値計算
- Domain Decomposition Method and Infinite-Precision Numerical Simulation (Nonlinear problems in industry, domain decomposition methods and numerical simulations)
- On Super Numerical Simulation (Discretization Methods and Numerical Algorithms for Differential Equations)
- 自由境界問題の数値解法 : 数理ファイナンスへの応用
- On numerical methods for analysis of chaotic phenomena in free boundary problems (Free Boundary Problems)
- On numerical methods for solving linear systems appearing in Infinite Precision Numerical Simulation (Numerical Solution of Partial Differential Equations and Related Topis II)
- アメリカン・オプションの数値解析 (〔第1回〕金融工学合同研究集会報告)
- Infinite Precision Numerical Simulation for PDE systems and Its Applications (Self-validating numerical methods and related topics)
- 準周期的Duffing方程式の解の存在と一意性および近似解の精度保証について (精度保証付き数値計算法とその周辺)
- Numerical computation of attractors in two-phase Stefan problems (Numerical Solution of Partial Differential Equations and Related Topics)
- NUMERICAL SIMULATION OF ONE-PHASE STEFAN PROBLEMS IN ARBITRARY PRECISION (Computation mechanics and domain decomposition methods)
- 1次元1相ステファン問題の無限精度数値シミュレーション
- 偏微分方程式の任意精度数値シミュレーションについて(数値計算アルゴリズムの研究)
- 陽的解法による自由境界問題の4倍精度計算
- リスク選好の偏微分方程式に対する数値解析(実用,数理ファイナンス,平成20年研究部会連合発表)
- 無限精度計算が切り開く応用解析・数値解析の未来(解析学における問題の計算機による解法)
- Himeno BMTによるハイパフオーマンスコンピュータの性能評価(HPC-9 : 性能評価)(2003年並列/分散/協調処理に関する『松江』サマー・ワークショップ(SWoPP松江2003))
- 基本数値演算 : 内積の評価とその応用
- スペクトル選点法を用いた遅延微分方程式の数値計算
- 10032 ユニット連結型浮遊式海洋構造物の流体連成自由振動解析 : 損傷を受けた場合のモード特性について
- 不適切な問題に対する適用可能な数値解法の検討(工学に現れる偏微分方程式の数値解析とその周辺)
- 体積変化と接触点の運動を考慮したステファン問題の数値解析(Phase transitionと最適制御)
- バクテリアのコロニーパターン形成の数理モデルについて
- 凝固現象における数値解析 : 接触角の変化と表面張力
- 空間1次元熱伝導方程式の解の接続の数値計算(科学技術計算と数値解析,平成19年研究部会連合発表会)
- 熱伝導逆問題の初期値問題に関連する数値計算(解析学における問題の計算機による解法)
- 643 境界条件が充足していない熱伝導方程式のスペクトル選点法による数値計算(RBFと選点法の新展開(1),OS18 RBFと選点法の新展開)
- 並行Poiseuille流れの不安定性に対する計算機援用証明 (計算科学の基盤技術としての高速アルゴリズムとその周辺)
- Orr-Sommerfeld問題の解に対する計算機援用証明について (数学解析の理論的展開の計算機による支援・遂行可能性)
- 楕円形固有値問題における重複固有値の精度保証付き数値計算について
- 20150 フィルタ理論を援用したトラスシステムの損傷同定解析
- 20145 フィルタ理論を援用した5層フレーム構造模型の損傷同定(逆問題(2),構造I)
- 精度保証付きシミュレーション[4] : 偏微分方程式の精度保証
- スペクトル選点法における最適パラメータ前処理
- いくつかの自由境界問題に対するスペクトル選点法の応用(科学技術における数値計算の理論と応用)
- 自由表面を有する熱対流の数値シミュレーションと線形安定性解析
- 自由表面の運動を陽に取り入れた熱対流モデルとその数値解法について(Phase transitionと最適制御)
- 精度保証付き数値計算(1) : 不動点定式化
- バクテリアのコロニーパターン形成のモデルについて
- Some results on behavior of solutions to one-phase Stefan problems for a semilinear parabolic equation(Nonlinear Evolution Equations and Applications)
- On a global solution and a blow-up solution to one-phase Stefan problem(Variational Problems and Related Topics)
- 精度保証付き数値計算(2) : 線形逆作用素のノルム評価
- 解けたらうれしい線形方程式
- Some computer assisted proofs on the bifurcation structure of solutions for the Rayleigh-Benard problem (流体と気体の数学解析--RIMS研究集会報告集)
- Rayleigh-Benard 問題の大域分岐構造に対する精度保証付き数値計算(計算科学の基盤技術とその発展)
- 多倍長計算を適用した精度保証数値計算 (21世紀における数値解析の新展開)
- SCAN 2004
- Navier-Stokes方程式の解に対する数値的検証の現状と動向 (数値解析と新しい情報技術)
- 高性能大規模計算と精度保証付き計算に関するワークショップ(学術会合報告)
- SCAN 2000/Interval 2000(学術会合報告)
- 簡約化磁気ベナール系のアトラクターの解析 : スペクトル選点法を用いた計算
- スペクトル選点法を用いた簡約化磁気ベナール系のアトラクターの数値解析
- 磁気ベナール問題のカオス
- 有界化法による微分方程式の数値計算 (21世紀における数値解析の新展開)
- 応用解析における多倍長計算
- フィルタリングアルゴリズムを用いたトラス構造物の損傷同定解析
- 磁気ベナール対流の簡約化モデルとそのシミュレーション(核融合)
- 振動的な界面運動を伴う移動境界問題のBEM解析
- 20200 構造モデルの損傷同定解析について : その2 T-Uフィルタを用いた解析
- 10040 ユニット連結型浮遊式海洋建築物の構造損傷同定解析 : その2 構造損傷同定解析
- 20208 拡張Kalmanフィルタを用いた構造損傷同定解析 : その3 微小損傷の同定解析
- フィルタ理論を用いた逆解析による建築構造物の損傷同定解析 : その2. T-Uフィルタを用いた逆解析
- フィルタ理論を用いた逆解析による建築構造物の損傷同定解析 : その1. 拡張 Kalman フィルタを用いた逆解析
- 20208 フィルタ理論と加振実験によるフレーム構造物の損傷同定解析 : その2. T-Uフィルタを用いた解析
- 摂動項を伴う非線形振動の準周期解の存在と一意性について
- 摂動項を伴う非線形常微分方程式の準周期解の存在と一意性について(科学技術における数値計算の理論と応用II)
- 摂動項を伴う非線形常微分方程式系の準周期解の存在と一意性の定理
- バクテリアのコロニーパターン形成の数理モデルとその解析
- 微分方程式の精度保証付き数値計算 : 逐次反復に基づく計算機援用証明 (Progress in Mathematics of Integrable Systems)
- 精度保証付き数値計算(4) : 区間演算と有限次元問題の精度保証(チュートリアル)
- 精度保証付き数値計算(3) : 中尾理論入門
- 10039 ユニット連結型浮遊式海洋建築物の構造損傷同定解析 : その1 カルマンフィルタを用いた構造損傷同定解析の定式化
- 大型浮体モデルの構造損傷同定
- 高次要素を用いた大型浮遊式海洋構造物の流体連成振動解析
- リスク選好の偏微分方程式に対する数値解析
- 偏微分方程式の解の精度保証(数値シミュレーションの品質保証)
- 書評 W. Woess: Random Walks on Infinite Graphs and Groups (Cambridge Tracts in Math., 138)
- A computer-assisted proof of the Kolmogorov problem of incompressible viscous fluid (Mathematical Analysis of Viscous Incompressible Fluid)