• 研究課題をさがす
  • 研究者をさがす
  • KAKENの使い方
  1. 前のページに戻る

流れ問題のための高品質数値解法の開発と解析とシミュレーション

研究課題

研究課題/領域番号 16104001
研究種目

基盤研究(S)

配分区分補助金
研究分野 数学一般(含確率論・統計数学)
研究機関九州大学

研究代表者

田端 正久  九州大学, 大学院・数理学研究院, 教授 (30093272)

研究分担者 中尾 充宏  九州大学, 大学院・数理学研究院, 教授 (10136418)
中木 達幸  広島大学, 大学院・理学研究科, 教授 (50172284)
渡部 善隆  九州大学, 情報基盤研究開発センター, 准教授 (90243972)
木村 正人  九州大学, 大学院・数理学研究院, 准教授 (70263358)
長藤 かおり (長籐 かおり)  九州大学, 大学院・数理学研究院, 准教授 (40326426)
鈴木 厚  九州大学, 大学院・数理学研究院, 助教 (60284155)
研究期間 (年度) 2004 – 2008
研究課題ステータス 完了 (2008年度)
配分額 *注記
79,040千円 (直接経費: 60,800千円、間接経費: 18,240千円)
2008年度: 11,570千円 (直接経費: 8,900千円、間接経費: 2,670千円)
2007年度: 11,310千円 (直接経費: 8,700千円、間接経費: 2,610千円)
2006年度: 12,220千円 (直接経費: 9,400千円、間接経費: 2,820千円)
2005年度: 20,540千円 (直接経費: 15,800千円、間接経費: 4,740千円)
2004年度: 23,400千円 (直接経費: 18,000千円、間接経費: 5,400千円)
キーワード非圧縮粘性流体 / 移動境界問題 / 有限要素法 / 計算機援用証明 / 精度保証計算 / 特性曲線有限要素法 / 二流体問題 / 創生解 / 精度保証付き数値計算 / 多孔質媒体流 / 混相流 / エネルギー安定性 / 渦群緩和振動 / 本質的スペクトル / ナヴィエ・ストークス問題 / 特性曲線法 / 事前事後誤差評価 / 熱対流問題 / 温度依存粘性 / 安定性 / 特性有限要素法
研究概要

流れ問題は非線形偏微分方程式で記述され, 解析的に解を求めることは一般に不可能である. 本研究では計算機を用いて高品質の数値解を得るための数値的手法の開発と解析と数値シミュレーションを行った. 熱対流問題に対する有限要素法の誤差評価の確立とその応用, 流れ問題に対する精度保証付き数値計算法の確立とその応用, 混相流問題に対するエネルギー安定有限要素法の開発, ナヴィエ・ストークス方程式のための特性曲線有限要素法の開発の成果を得た.

報告書

(6件)
  • 2008 実績報告書   研究成果報告書 ( PDF )
  • 2007 実績報告書
  • 2006 実績報告書
  • 2005 実績報告書
  • 2004 実績報告書
  • 研究成果

    (179件)

すべて 2009 2008 2007 2006 2005 2004 2003 その他

すべて 雑誌論文 (106件) (うち査読あり 73件) 学会発表 (67件) 図書 (3件) 備考 (3件)

  • [雑誌論文] Numerical verification method for infinite dimensional eigenvalue problems2009

    • 著者名/発表者名
      Nagatou, K.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics (to appear)

      ページ: 226-226

    • NAID

      10028169340

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] An iterative substructuring solver for the Stokes equations2009

    • 著者名/発表者名
      Suzuki, A.
    • 雑誌名

      Proceedings of the First International Conference on Parallel, Distributed and Grid Computing for Engineering(eds. Topping, B. H. V., Ivanyi, P.) (Civil-Comp Press)(to appear)

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A single-step characteristic-curve finite element scheme second order in time for the incompressible Navier-Stokes equations2009

    • 著者名/発表者名
      Notsu, H. and Tabata, M.
    • 雑誌名

      Journal of Scientific Computing 38

      ページ: 1-14

    • NAID

      120001000460

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2009

    • 著者名/発表者名
      Kim, M. -N., Nakao, M. T., Watanabe, Y. and Nishida, T.
    • 雑誌名

      Numerische Mathematik 111

      ページ: 389-406

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] On very accurate verification of solutions for boundary value problems by using spectral methods2009

    • 著者名/発表者名
      Nakao, M. T. and Kinoshita, T.
    • 雑誌名

      JSIAM Letters 1

      ページ: 21-24

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] ある拡散現象における解のサポートの反復した分離・融合について2009

    • 著者名/発表者名
      友枝謙二, 中木達幸
    • 雑誌名

      日本応用数理学会論文誌 19

      ページ: 25-37

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • 著者名/発表者名
      Watanabe, Y., Plum, M. and Nakao, M. T.
    • 雑誌名

      ZAMM - Journal of Applied Mathematics and Mechanics / Zeitschrift fur Angewandte Mathematik und Mechanik 89

      ページ: 5-18

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • 著者名/発表者名
      Watanabe, Y.
    • 雑誌名

      ournal of Computational and Applied Mathematics 223

      ページ: 953-966

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] An iterative substructuring method for the discretized Stokes equations by a stabilized finite element method2009

    • 著者名/発表者名
      Suzuki, A.
    • 雑誌名

      Proceedings of ALGORITMY 2009(eds. Handlovicova, A., Frolkovic, P., Mikula, K., Sevcovic, D.) (House of STU)

      ページ: 41-50

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A mass-conservative characteristic finite element scheme for convection-diffusion problems2009

    • 著者名/発表者名
      H. Rui, M. Tabata
    • 雑誌名

      Journal of Scientific Computing to appear

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A single-step characteristic-curve finite element scheme of second order in time for the incompressible Navier-Stokes equations2009

    • 著者名/発表者名
      H. Notsu, M. Tabata
    • 雑誌名

      Journal of Scientific Computing 38

      ページ: 1-14

    • NAID

      120001000460

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] On the L^2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator2009

    • 著者名/発表者名
      T. Kinoshita, et al.
    • 雑誌名

      Numerical Functional Analysis and Optimization to appear

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] ある拡散現象における解のサポートの反復した分離・融合について2009

    • 著者名/発表者名
      友枝謙二, 中木達幸
    • 雑誌名

      日本応用数理学会論文誌 19(掲載決定)

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A computer-assisted instability proof for the Orr-Sommerfeld problem with Poiseuille flow2009

    • 著者名/発表者名
      Y. Watanabe, et al.
    • 雑誌名

      ZAMM-Journal of Applied Mathematics and Mechanics/Zeitschrift fur Angewandte Mathematik und Mechanik 89

      ページ: 5-18

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A computer-assisted proof for the Kolmogorov flows of incompressible viscous fluid2009

    • 著者名/発表者名
      Y. Watanabe
    • 雑誌名

      Journal of Computational and Applied Mathematics 223

      ページ: 953-966

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2009

    • 著者名/発表者名
      M. -N. Kim, et al.
    • 雑誌名

      Applied Mathematics Letters 111

      ページ: 389-406

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Phase field model for mode III crack growth in two dimensional elasticity2009

    • 著者名/発表者名
      T. Takaishi, M. Kimura
    • 雑誌名

      Kybemetika to appear

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Finite element matrices in congruent subdomains and some techniques for practical problems2009

    • 著者名/発表者名
      A. Suzuki
    • 雑誌名

      Domain Decomposition Methods : Algorithms and Practice to appear

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] An iterative substructuring method for the discretized Stokes equations by a stabilized finite element method2009

    • 著者名/発表者名
      A. Suzuki
    • 雑誌名

      Proceedings of ALGORITMY 2009 to appear

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] An iterative substructuring solver for the Stokes equations2009

    • 著者名/発表者名
      A. Suzuki
    • 雑誌名

      Proceedings of the First International Conference on Parallel, Distributed and Grid Computing for Engineering to appear

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of Bi-Harmonic problems2008

    • 著者名/発表者名
      Nakao, M. T., Hashimoto, K. and Nagatou, K.
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications 28

      ページ: 139-148

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • 著者名/発表者名
      Nakao, M. T. and Hashimoto, K.
    • 雑誌名

      Journal of Computational and Applied Mathematics 218

      ページ: 106-115

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      Nakao, M. T. and Kinoshita, T.
    • 雑誌名

      Applied Mathematics Letters 21

      ページ: 1310-1314

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Application of a curvature adjusted method in image segmentation2008

    • 著者名/発表者名
      Benes, M., Kimura, M., Paus, P., Sevcovic, D., Tsujikawa, T. and Yazaki, S.
    • 雑誌名

      Bulletin of the Institute of Mathematics, Academia Sinica, NewSeries 3

      ページ: 509-523

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Validated computations for fundamental solutions of linear ordinary differential equations2008

    • 著者名/発表者名
      Nagatou, K.
    • 雑誌名

      International Series of Numerical Mathematics 157

      ページ: 43-50

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A computational approach to constructive a priori and a posteriori errorestimates for finite element approximations of bi-harmonic problems2008

    • 著者名/発表者名
      M. T. Nakao, et al.
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications 28

      ページ: 139-148

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Guaranteed error bounds for finite element approximations of noncoercive elliptic problems and their applications2008

    • 著者名/発表者名
      M. T. Nakao, K. Hashimoto
    • 雑誌名

      Journal of Computational and Applied Mathematics 218

      ページ: 106-115

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Some remarks on the behavior of the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      M. T. Nakao, et al.
    • 雑誌名

      Applied Mathematics Letters 21

      ページ: 1310-1314

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Application of a curvature adjusted method in image segmentation2008

    • 著者名/発表者名
      M. Benes, et al.
    • 雑誌名

      Bulletin of the Institute of Mathematics, Academia Sinica, New Series 3

      ページ: 509-523

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Validated computations for fundamental solutions of linear ordinary differential equations2008

    • 著者名/発表者名
      K. Nagatou
    • 雑誌名

      International Series of Numerical Mathematics 157

      ページ: 43-50

    • 関連する報告書
      2008 実績報告書
    • 査読あり
  • [雑誌論文] Numerical verification method for spectral problems2008

    • 著者名/発表者名
      K. Nagatou
    • 雑誌名

      RIMS Kokyuroku 1607

      ページ: 13-31

    • 関連する報告書
      2008 実績報告書
  • [雑誌論文] Some remarks on the behaviour of the finite element solution in nonsmooth domains2008

    • 著者名/発表者名
      M.T.Nakao and T.Kinoshita
    • 雑誌名

      Applied Mathematics Letters to appear(印刷中)

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] A numerical verification method of bifurcating solutions for 3-dimensional Rayleigh-Benard problems2008

    • 著者名/発表者名
      M.-N.Kim, et. al.
    • 雑誌名

      Numerische Mathematik to appear(印刷中)

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] ディリクレ境界条件を考慮した変形エルミート型3次要素の作成2007

    • 著者名/発表者名
      上田裕喜, 田端正久
    • 雑誌名

      日本応用数理学会論文誌 17

      ページ: 469-479

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Finite element schemes based on energy-stable approximation for two-fluid flow problems with surface tension2007

    • 著者名/発表者名
      Tabata, M.
    • 雑誌名

      Hokkaido Mathematical Journal 36

      ページ: 875-890

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical simulation of Rayleigh-Taylor problems by an energy-stable finite element scheme2007

    • 著者名/発表者名
      Tabata, M.
    • 雑誌名

      energy-stable finite element scheme, Proceedings of The Fourth International Workshop on Scientific Computing and Applications (eds. Guo, B.-Y., Shi, Z.-C.) (Science Press,)

      ページ: 63-73

    • NAID

      120006655075

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Discrepancy between theory and real computation on the stability of some finite element schemes2007

    • 著者名/発表者名
      Tabata, M.
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 424-431

    • NAID

      120000981486

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

    • 著者名/発表者名
      Minamoto, T. and Nakao, M. T.
    • 雑誌名

      Journal of Computational and Applied Mathematics 202

      ページ: 177-185

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Verified numerical computation of solutions for the stationary Navier-Stokes equation in nonconvex polygonal domains2007

    • 著者名/発表者名
      Hashimoto, K., Kobayashi, K. and Nakao, M. T.
    • 雑誌名

      Hokkaido Mathematical Journal 36

      ページ: 777-799

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] ある非線形拡散方程式におけるサポート分離現象に関する数値的、数学的考察2007

    • 著者名/発表者名
      友枝謙二, 中木達幸
    • 雑誌名

      日本応用数理学会論文誌 17

      ページ: 291-300

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Stable marker-particle method for the Voronoi diagram in a flow field2007

    • 著者名/発表者名
      Nishida, T., Sugihara, K. and Kimura, M.
    • 雑誌名

      Journal of Computational and Applied Mathematics 202

      ページ: 377-391

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problems2007

    • 著者名/発表者名
      Nagatou, K., Hashimoto, K. and Nakao, M. T.
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 445-451

    • NAID

      120000981497

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Finite element schemes based on energy-stable approximation for two-fluid flow problems with surface tension2007

    • 著者名/発表者名
      M.Tabata
    • 雑誌名

      Hokkaido Mathematical Journal 36

      ページ: 875-890

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Numerical simulation of Rayleigh-Taylor problems by an energy-stable finite element scheme2007

    • 著者名/発表者名
      M.Tabata
    • 雑誌名

      Proceedings of The Fourth International Workshop on Scientific Computing and Applications

      ページ: 63-73

    • NAID

      120006655075

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Numerical method for verifying the existence and local uniqueness of a double turning point for a radially symmetric solution of the perturbed Gelfand equation2007

    • 著者名/発表者名
      T.Minamoto and M.T.Nakao
    • 雑誌名

      Journal of Computational and Applied Mathematics 1

      ページ: 177-185

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] Verified numerical computation of solutions for the stationary Navier-Stokesequation in nonconvex polygonal domains2007

    • 著者名/発表者名
      M.T.Nakao, et. al.
    • 雑誌名

      Hokkaido Mathematical Journal 36

      ページ: 777-799

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] On guaranteed error bounds of finite element approximations for non-coerciveelliptic problems and its applications2007

    • 著者名/発表者名
      M.T.Nakao and K.Hashimoto
    • 雑誌名

      Journal of Computational and Applied Mathematics to appear(印刷中)

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] ある非線形拡散方程式におけるサポート分離現象に関する数値的、数学的考察2007

    • 著者名/発表者名
      友枝 謙二, 中木 達幸
    • 雑誌名

      日本応用数理学会論文誌 17

      ページ: 291-300

    • 関連する報告書
      2007 実績報告書
    • 査読あり
  • [雑誌論文] ストークス方程式に対する平衡化前処理付き領域分割法2007

    • 著者名/発表者名
      鈴木 厚
    • 雑誌名

      計算工学講演論文集 12

      ページ: 833-834

    • 関連する報告書
      2007 実績報告書
  • [雑誌論文] Discrepancy between theory and real computation on the stability of some finite element schemes2007

    • 著者名/発表者名
      M.Tabata
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 424-431

    • NAID

      120000981486

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problems2007

    • 著者名/発表者名
      K.Nagatou, et al.
    • 雑誌名

      Journal of Computational and Applied Mathematics 199

      ページ: 445-451

    • NAID

      120000981497

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A computational approach to constructive a priori and a posteriori error estimates for finite element approximations of bi-harmonic problems2007

    • 著者名/発表者名
      M.T.Nakao, et al.
    • 雑誌名

      GAKUTO International Series, Mathematical Sciences and Applications to appear(印刷中)

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Stable marker-particle method for the Voronoi diagram in a flow field2007

    • 著者名/発表者名
      T.Nishida, et al.
    • 雑誌名

      Journal of Computational and Applied Mathematics 202

      ページ: 377-391

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Robustness of a characteristic finite element scheme of second order in time increment2006

    • 著者名/発表者名
      Tabata, M. and Fujima, S.
    • 雑誌名

      Computational Fluid Dynamics 2004(eds. Groth, C., Zingg, D. W.) (Springer-Verlag)

      ページ: 177-182

    • NAID

      120006654337

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Finite element approximation to infinite Prandtl number Boussinesq equations with temperature-dependent coefficients-Thermal convection problems in a spherical shell2006

    • 著者名/発表者名
      Tabata, M.
    • 雑誌名

      Future Generation Computer Systems 22

      ページ: 521-531

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical computations of a melting glass convection in the furnace2006

    • 著者名/発表者名
      Tagami, D. and Tabata, M.
    • 雑誌名

      Proceedings of The Seventh China-Japan Seminar on Numerical Mathematics (eds. Shi, Z.-C., Okamoto, H.) (Science Press,)

      ページ: 149-160

    • NAID

      120006655073

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Finite element schemes for two-fluids flow problems2006

    • 著者名/発表者名
      Tabata, M. and Kaizu, S.
    • 雑誌名

      Proceedings of The Seventh China-Japan Seminar on Numerical Mathematics (eds. Shi, Z.-C., Okamoto, H.) (Science Press,)

      ページ: 134-148

    • NAID

      120006655074

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A numerical verification for the Kolmogorov flows of incompressible viscous fluid2006

    • 著者名/発表者名
      Watanabe, Y.
    • 雑誌名

      Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006 (eds. Simos, T., Psihoyios, G., Tsitouras, C.) (Wiley)

      ページ: 535-539

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Performance comparison of vector-calculations between Itanium2 and other processors2006

    • 著者名/発表者名
      Nanri, T. Watanabe, Y. and Sato, H.
    • 雑誌名

      Proceedings of International Workshop on Innovative Architecture

      ページ: 141-146

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] 亀裂進展に伴うエネルギー解放率の数学解析に関する再考察2006

    • 著者名/発表者名
      木村正人, 若野功
    • 雑誌名

      日本応用数理学会論文誌 16

      ページ: 345-358

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A computational approach to constructive a priori error estimate for finite element approximations of bi-harmonic problems in nonconvex polygonal domains2006

    • 著者名/発表者名
      Hashimoto, K., Nagatou, K. and Nakao, M. T.
    • 雑誌名

      Information 9

      ページ: 573-580

    • NAID

      120000981499

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Robustness of a characteristic finite element of second order in time increment2006

    • 著者名/発表者名
      M.Tabata, et al.
    • 雑誌名

      Computational Fluid Dynamics 2004, Proceedings of the Third International Conference on Computational Fluid Dynamics

      ページ: 177-182

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Finite element approximation to infinite Prandtl number Boussinesq equations with temperature dependent coefficients - Thermal convection problems in a spherical shell2006

    • 著者名/発表者名
      M.Tabata
    • 雑誌名

      Future Generation Computer Systems 22

      ページ: 521-531

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A numerical verification for the Kolmogorov flows of incompressible viscous fluid2006

    • 著者名/発表者名
      Y.Watanabe
    • 雑誌名

      Proceedings of International Conference of Numerical Analysis and Applied Mathematics 2006

      ページ: 535-539

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] A computational approach to constructive a priori error estimate for finite element approximations of bi-harmonic problems in nonconvex polygonal domains2006

    • 著者名/発表者名
      K.Hashimoto, et al.
    • 雑誌名

      Information 9

      ページ: 573-580

    • 関連する報告書
      2006 実績報告書
  • [雑誌論文] Discrepancy between theory and real computation on the stability of some finite element schemes2006

    • 著者名/発表者名
      Tabata, M.
    • 雑誌名

      Journal of Computational and Applied Mathematics (in press)

    • NAID

      120000981486

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Finite element approximation to infinite Prandtl number Bossinessq equations with temperature dependent coefficients - Thermal convection problems in a spherical shell2006

    • 著者名/発表者名
      Tabata, M.
    • 雑誌名

      Future Generation Computer Systems 22・4

      ページ: 521-531

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Error estimates of finite element methods for nonstationary thermal convection problems with temperature-dependent coefficients2005

    • 著者名/発表者名
      Tabata, M. and Tagami, D.
    • 雑誌名

      Numerische Mathematik 100

      ページ: 351-372

    • NAID

      120000981467

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

    • 著者名/発表者名
      Nakao, M. T., Hashimoto, K. and Watanabe, Y.
    • 雑誌名

      Computing 75

      ページ: 1-14

    • NAID

      120000981466

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A Numerical verification method for solutions of singularly perturbed problems with nonlinearity2005

    • 著者名/発表者名
      Hashimoto, K., Abe, R., Nakao, M. T. and Watanabe, Y.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 22

      ページ: 111-131

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical verification methods for solutions for the free boundary problems2005

    • 著者名/発表者名
      Hashimoto, K., Kobayashi, K. and Nakao, M. T.
    • 雑誌名

      Numerical Functional Analysis and Optimization 26

      ページ: 523-542

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • 著者名/発表者名
      渡部善隆, 山本野人, 中尾充宏
    • 雑誌名

      日本応用数理学会論文誌 15

      ページ: 509-520

    • NAID

      110002976854

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Stability analysis for Allen-Cahn type equation associated with the total variation energy2005

    • 著者名/発表者名
      Shirakawa, K. and Kimura, M.
    • 雑誌名

      Nonlinear Analysis 60

      ページ: 257-282

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] 速い移流を持つStrum-Liouville問題の第1固有値の精密な漸近挙動2005

    • 著者名/発表者名
      木村正人, 永田真一
    • 雑誌名

      日本応用数理学会論文誌 15

      ページ: 209-220

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Finite element matrices in congruent subdomains and their effective use for large-scale computations2005

    • 著者名/発表者名
      Suzuki, A. and Tabata, M.
    • 雑誌名

      International Journal for Numerical Methods in Engineering 62

      ページ: 1807-1831

    • NAID

      120000981469

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Error estimates of finite element methods for nonstationary thermal convection problems with temperature-dependent coefficients2005

    • 著者名/発表者名
      Tabata, M., Tagami, D.
    • 雑誌名

      Numerische Mathematik 100・2

      ページ: 351-372

    • NAID

      120000981467

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Finite element matrices in congruent subdomains and their effective use for large scale computatuions2005

    • 著者名/発表者名
      Suzuki, A., Tabata, M.
    • 雑誌名

      International Journal for Numerical Methods in Engineering 62・13

      ページ: 1807-1831

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A numerical method to verify the invertibility of linear elliptic operators with applications to nonlinear problems2005

    • 著者名/発表者名
      Nakao, M.T., Hashimoto, K., Watanabe, Y.
    • 雑誌名

      Computing 75・1

      ページ: 1-14

    • NAID

      120000981466

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] A numerical verification method for solutions of singularly perturbed problems with nonlinearity2005

    • 著者名/発表者名
      Hashimoto, K., Abe, R., Nakao, M.T., Watanabe, Y.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 22・1

      ページ: 111-131

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Numerical verification methods for solutions of the free boundary problems2005

    • 著者名/発表者名
      Hashimoto, K., Kobayashi, K., Nakao, M.T.
    • 雑誌名

      Numerical Functional Analysis and Optimization 26・4-5

      ページ: 523-542

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 楕円型方程式の解に対する局所一意性付き数値的検証法の効率化2005

    • 著者名/発表者名
      渡部 善隆, 山本 野人, 中尾 充宏
    • 雑誌名

      日本応用数理学会論文誌 15・4

      ページ: 509-520

    • NAID

      110002976854

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Stability analysis for Allen-Cahn type equation associated with the total variation energy2005

    • 著者名/発表者名
      Shirakawa, K., Kimura, M.
    • 雑誌名

      Nonlinear Analysis 60・2

      ページ: 257-282

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] 速い移流を持つStrum-Liouville問題の第1固有有値の精密な漸近挙動2005

    • 著者名/発表者名
      木村正人, 永田真一
    • 雑誌名

      日本応用数理学会論文誌 15・3

      ページ: 209-220

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Finite element matrices in congruent subdomains and their effective use for large scale computations2005

    • 著者名/発表者名
      Suzuki, A., Tabata, M.
    • 雑誌名

      International Journal for Numerical Methods in Engineering 62(in press)

    • NAID

      120000981469

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

    • 著者名/発表者名
      Nakao, M. T. and Watanabe, Y.
    • 雑誌名

      Numerical Algorithms(Special issue for Proceedings of Scientific Computing, Computer Arithmetic, and Validated Numerics 2002) 37

      ページ: 311-323

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Computations on relaxation oscillation of five point vortices2004

    • 著者名/発表者名
      Nakaki, T.
    • 雑誌名

      Advances in Scientific Computing and Applications (eds. Y. Lu, W. Sun, T. Tang) (Science Press)

      ページ: 314-320

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A singular limit method for the Stefan problem, Numerical Mathematics and Advanced Applications2004

    • 著者名/発表者名
      Murakawa, H. and Nakaki, T.
    • 雑誌名

      Proceedings of the 5th European Conference on Numerical Mathematics and Applications (Springer)

      ページ: 651-657

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Relaxation oscillations of point vortices in a plane2004

    • 著者名/発表者名
      Nakaki, T.
    • 雑誌名

      Theoretical and Applied Mechanics Japan 53

      ページ: 95-102

    • NAID

      130004939047

    • 関連する報告書
      2008 研究成果報告書 2004 実績報告書
    • 査読あり
  • [雑誌論文] A Numerical verification of nontrivial solutions for the heat convection problem2004

    • 著者名/発表者名
      Watanabe, Y., Yamamoto, N., Nakao, M. T. and Nishida, T.
    • 雑誌名

      Journal of Mathematical Fluid Mechanics 6

      ページ: 1-20

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] An efficient approach to the numerical verification for solutions of elliptic differential equations2004

    • 著者名/発表者名
      Nakao, M.T., Watanabe, Y.
    • 雑誌名

      Numerical Algorithms 37

      ページ: 311-323

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A numerical verification of nontrivial solutions for the heat convection problem2004

    • 著者名/発表者名
      Watanabe, Y. et al.
    • 雑誌名

      Journal of Mathematical Fluid Mechanics 6・1

      ページ: 1-20

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A computer-assisted proof on the stability of the Kolmogorov flows of incompressible viscous fluid2004

    • 著者名/発表者名
      Nagatou, K.
    • 雑誌名

      Journal of Computational and Applied Mathematics 169・1

      ページ: 33-44

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A numerical method to Stefan problems and its application to the flow through porous media2004

    • 著者名/発表者名
      Nakaki, T., Murakawa, H.
    • 雑誌名

      Proceedings of 4th European Congress on Computational Methods in Applied Sciences and Engineering 2

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Navier-Stokes方程式のための圧力安定化・特性曲線法結合有限要素スキーム2003

    • 著者名/発表者名
      野津裕史, 田端正久
    • 雑誌名

      日本応用数理学会論文誌 18

      ページ: 427-445

    • 関連する報告書
      2008 実績報告書 2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A mass-conservative characteristic finite element scheme for convection-diffusion problems

    • 著者名/発表者名
      Rui, H. and Tabata, M.
    • 雑誌名

      Journal of Scientific Computing (in press)

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] On the L2 a priori error estimates to the finite element solution of elliptic problems with singular adjoint operator

    • 著者名/発表者名
      Kinoshita, T., Hashimoto, K. and Nakao, M. T.
    • 雑誌名

      Numerical Functional Analysis and Optimization (to appear)

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] A numerical verification method for two-coupled elliptic partial differential equations

    • 著者名/発表者名
      Watanabe, Y.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics (to appear)

    • NAID

      10028168961

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical verification method of solutions for elliptic equations and its application to the Rayleigh-Benard problem

    • 著者名/発表者名
      Watanabe, Y. and Nakao, M. T.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics (to appear)

    • NAID

      10028169295

    • 関連する報告書
      2008 研究成果報告書
  • [雑誌論文] Shape derivative of minimum potential energy : abstract theory and applications

    • 著者名/発表者名
      Kimura, M.
    • 雑誌名

      Jindrich Necas Center for Mathematical Modeling Lecture notes Volume IV, Topics in Mathematical Modeling (to appear)

      ページ: 1-38

    • 関連する報告書
      2008 研究成果報告書
    • 査読あり
  • [雑誌論文] Numerical verification of stationary solutions for Navier-Stokes problems

    • 著者名/発表者名
      Nagatou, K., Hashimoto, K., Nakao, M.T.
    • 雑誌名

      Journal of Computational and Applied Mathematics (to appear)

    • NAID

      120000981497

    • 関連する報告書
      2005 実績報告書
  • [雑誌論文] Finite element approximation to infinite Prandtl number Boussines equations with temperature dependent coefficients--thermal convection problems in a spherical shell

    • 著者名/発表者名
      Tabata, M.
    • 雑誌名

      Future Generation Computer Systems 発表予定

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Error estimates of finite element methods for nonstationary thermal convection problems with temperature-dependent coefficients

    • 著者名/発表者名
      Tabata, M., Tagami, D.
    • 雑誌名

      Numerische Mathematik 発表予定

    • NAID

      120000981467

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Robustness of a characteristic finite element scheme of second order in time increment

    • 著者名/発表者名
      Tabata, M., Fujima, S.
    • 雑誌名

      Computational Fluid Dynamics Journal 発表予定

    • NAID

      120006654337

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A numerical method to verify the invertibility of liner elliptic operators with applications to nonlinear problems

    • 著者名/発表者名
      Nakao, M.T.et al.
    • 雑誌名

      Computing 発表予定

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] A numerical verification method for solutions of singularly perturbed problems with nonlinearity

    • 著者名/発表者名
      Hashimoto, K. et al.
    • 雑誌名

      Japan Journal of Industrial and Applied Mathematics 発表予定

    • 関連する報告書
      2004 実績報告書
  • [雑誌論文] Stability analysis for Allen-Cahn type equation associated with the total variation energy

    • 著者名/発表者名
      Shirakawa, K., Kimura, M.
    • 雑誌名

      Nonlinear Analysis 発表予定

    • 関連する報告書
      2004 実績報告書
  • [学会発表] On the numerical verification method of solutions for evolutional equations2009

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      International Workshop on Verified Computations and Related Topics
    • 発表場所
      University of Karlsruhe, Karlsruhe, Germany
    • 年月日
      2009-03-09
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Manufactured solutions and numerical convergence study for two fluid flow problems2009

    • 著者名/発表者名
      M. Tabata
    • 学会等名
      45th Applied Mathematics Conference
    • 発表場所
      Rydges Oasis Resort, Caloundra, Australia
    • 年月日
      2009-02-05
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Computer assisted proofs for differential equations2009

    • 著者名/発表者名
      K. Nagatou
    • 学会等名
      The 26th Kyushu Symposium on Partial Differential Equations
    • 発表場所
      Kyushu University International Hall, Fukuoka
    • 年月日
      2009-01-27
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 二流体問題のためのベンチマーク問題とスキームの収束精度2008

    • 著者名/発表者名
      田端 正久
    • 学会等名
      第22回数値流体力学シンポジウム
    • 発表場所
      国立オリンピック記念青少年総合センター, 東京
    • 年月日
      2008-12-17
    • 関連する報告書
      2008 実績報告書
  • [学会発表] A numerical convergence study for two-fluid flow problems2008

    • 著者名/発表者名
      M. Tabata
    • 学会等名
      International Conference on Partial Differential Equations and Applications
    • 発表場所
      City University of Hong Kong, Hong Kong
    • 年月日
      2008-12-07
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Validated computations for elliptic systems of FitzHugh-Nagumo type2008

    • 著者名/発表者名
      K. Nagatou
    • 学会等名
      13th GAMM-IMACS International Symposiumon Scientific Computing, Computer Arithmetic, and Validated Numerics
    • 発表場所
      The University of Texas at El Paso, USA
    • 年月日
      2008-09-30
    • 関連する報告書
      2008 実績報告書
  • [学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する数値的検証法2008

    • 著者名/発表者名
      渡部 善隆
    • 学会等名
      日本数学会2008年度秋季総合分科会
    • 発表場所
      東京工業大学大岡山キャンパス, 東京
    • 年月日
      2008-09-27
    • 関連する報告書
      2008 実績報告書
  • [学会発表] FitzHugh-Nagumo型反応拡散方程式系に対する精度保証付き数値計算2008

    • 著者名/発表者名
      渡部 善隆
    • 学会等名
      日本応用数理学会2008年度年会
    • 発表場所
      東京大学柏キャンパス, 柏
    • 年月日
      2008-09-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] 固有値問題に対する数値的検証法とその応用2008

    • 著者名/発表者名
      長藤 かおり
    • 学会等名
      日本応用数理学会2008年度年会・オーガナイズドセッション特別講演
    • 発表場所
      東京大学柏キャンパス, 柏
    • 年月日
      2008-09-17
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Finite difference methods for Allen-Cahn/Cahn-Hilliard equations2008

    • 著者名/発表者名
      M. Kimura
    • 学会等名
      Czech-Japanese Seminar in Applied Mathematics 2008
    • 発表場所
      Takachiho, Miyazaki
    • 年月日
      2008-09-07
    • 関連する報告書
      2008 実績報告書
  • [学会発表] An iterative substructuring algorithm with congruent subdomains2008

    • 著者名/発表者名
      A. Suzuki
    • 学会等名
      Czech-Japanese Seminar in Applied Mathematics 2008
    • 発表場所
      Takachiho, Miyazaki
    • 年月日
      2008-09-03
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Collision of some five point vortices in a plane2008

    • 著者名/発表者名
      中木 達幸
    • 学会等名
      オイラー方程式の数理 : 渦運動150年
    • 発表場所
      京都大学数理解析研究所, 京都
    • 年月日
      2008-07-18
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • 発表場所
      Cardiff, United Kingdom
    • 年月日
      2008-07-16
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Eigenvalue exeluding on 1-D Schroedinger operators2008

    • 著者名/発表者名
      K. Nagatou
    • 学会等名
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • 発表場所
      Cardiff, United Kingdom
    • 年月日
      2008-07-16
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Numerical simulations of multi-phase flow problems by an energy-stable finite element scheme2008

    • 著者名/発表者名
      M. Tabata
    • 学会等名
      Fifth International Conference on Computational Fluid Dynamics
    • 発表場所
      Seoul National University, Seoul, Korea
    • 年月日
      2008-07-08
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Finte element characteristic methods for flow problems2008

    • 著者名/発表者名
      M. Tabata
    • 学会等名
      6th International Conference on Scientific Computing and Applications
    • 発表場所
      Pusan National University, Busan, Korea
    • 年月日
      2008-06-03
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      M. T. Nakao
    • 学会等名
      6th International Conference on Scientific Computing and Applications
    • 発表場所
      Pusan National University, Busan, Korea
    • 年月日
      2008-06-03
    • 関連する報告書
      2008 実績報告書
  • [学会発表] ストークス方程式に対する部分構造反復法の高速実装2008

    • 著者名/発表者名
      鈴木 厚
    • 学会等名
      第13回計算工学講演会
    • 発表場所
      仙台市民会館, 仙台
    • 年月日
      2008-05-21
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Numerical verification for a spectral problem on 1-D Schrodinger operators2008

    • 著者名/発表者名
      K.Nagatou
    • 学会等名
      Spectral and Scattering Theory and Related Topics
    • 発表場所
      RIMS, Kyoto University
    • 年月日
      2008-01-15
    • 関連する報告書
      2007 実績報告書
  • [学会発表] A numerical convergence study for two-fluid flow problems2008

    • 著者名/発表者名
      Tabata, M.
    • 学会等名
      International Conference on Partial Differential Equations and Applications
    • 発表場所
      Hong Kong
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] On the constructive error estimates in the finite element methods with applications to the numerical verification of solutions for nonlinear PDEs2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      The NIMS 2008 Conference & The 4th East Asia SIAM Conference
    • 発表場所
      Daejeon, Korea
    • 関連する報告書
      2008 実績報告書 2008 研究成果報告書
  • [学会発表] 固有値問題に対する数値的検証法とその応用2008

    • 著者名/発表者名
      長藤かおり
    • 学会等名
      日本応用数理学会008年度年会・オーガナイズドセッション特別講演
    • 発表場所
      東京大学柏キャンパス
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Eigenvalue excluding on 1-D Schroedinger operators2008

    • 著者名/発表者名
      Nagatou, K.
    • 学会等名
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • 発表場所
      Cardiff, UK
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Numerical verification of solutions for elliptic problems with very high accuracy by using a spectral method2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      The 6th Gregynog Workshop on Computation and Analytic Problems in Spectral Theory
    • 発表場所
      Cardiff, UK
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Finite element characteristic methods for flow problems2008

    • 著者名/発表者名
      Tabata, M.
    • 学会等名
      6th International Conference on Scientific Computing and Applications
    • 発表場所
      Busan, Korea
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Some remarks on the Aubin-Nitsche trick of FEM solutions for elliptic problems with singular adjoint operator2008

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      6th International Conference on Scientific Computing and Applications
    • 発表場所
      Busan, Korea
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] 1次元シュレディンガー作用素のスペクトルに対する数値的検証法2008

    • 著者名/発表者名
      長藤かおり
    • 学会等名
      日本数学会2008年度年会, 特別講演
    • 発表場所
      近畿大学
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Finite difference methods for Allen-Cahn/Cahn-Hilliard equations2008

    • 著者名/発表者名
      M. Kimura
    • 学会等名
      The Second China-Japan-Korea Conference on Numerical Mathematics
    • 発表場所
      Weihai, China
    • 関連する報告書
      2008 実績報告書
  • [学会発表] Computer Assisted Proofs for Partial Differential Equations2008

    • 著者名/発表者名
      K. Nagatou
    • 学会等名
      Numbers, Functions, Equations'08
    • 発表場所
      Noszvaj, Hungary
    • 関連する報告書
      2008 実績報告書
  • [学会発表] エネルギー安定有限要素スキームによる多流体問題のシミュレーション2007

    • 著者名/発表者名
      田端 正久
    • 学会等名
      第21回数値流体力学シンポジウム
    • 発表場所
      秋葉原コンベンションホール,東京
    • 年月日
      2007-12-19
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Numerical verification method of solutions for nonlinear PDEs and its applications2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      Taiwan-Japan Joint Workshop on Numerical Analysis and Scientific Computation
    • 発表場所
      Institute of Mathematics, Academia Sinica, Taipei, Taiwan
    • 年月日
      2007-12-02
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 並行Poiseuille流れの不安定性に対する計算機援用証明2007

    • 著者名/発表者名
      渡部 善隆
    • 学会等名
      計算科学の基盤技術としての高速アルゴリズムとその周辺
    • 発表場所
      京都大学数理解析研究所, 京都
    • 年月日
      2007-11-14
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 多流体問題の数値シミュレーション2007

    • 著者名/発表者名
      田端 正久
    • 学会等名
      計算科学の基盤技術としての高速アルゴリズムとその周辺
    • 発表場所
      京都大学数理解析研究所, 京都
    • 年月日
      2007-11-06
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Numerical simulations of multi-fluid flow problems by an energy-stablefinite element scheme2007

    • 著者名/発表者名
      M.Tabata
    • 学会等名
      The 3rd East Asia SIAM Conference
    • 発表場所
      International Conference Center of Xiamen University, Xiamen, China
    • 年月日
      2007-11-03
    • 関連する報告書
      2007 実績報告書
  • [学会発表] シュレデインガー作用素のスペクトル・ギャップにおける固有値非存在検証2007

    • 著者名/発表者名
      長藤 かおり
    • 学会等名
      日本数学会2007年度秋季総合分科会
    • 発表場所
      東北大学川内北キャンパス, 仙台
    • 年月日
      2007-09-24
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 混相流の数値解析-流体の併合2007

    • 著者名/発表者名
      田端 正久
    • 学会等名
      日本数学会200年度秋季総合分科会
    • 発表場所
      東北大学川内北キャンパス,仙台
    • 年月日
      2007-09-23
    • 関連する報告書
      2007 実績報告書
  • [学会発表] ある反応拡散方程式系に対する精度保証付き数値計算2007

    • 著者名/発表者名
      渡部 善隆
    • 学会等名
      日本数学会2007年度秋季総合分科会
    • 発表場所
      東北大学川内北キャンパス, 仙台
    • 年月日
      2007-09-23
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Validated computations for fundamental solutons of linear ordinary differential operators2007

    • 著者名/発表者名
      K.Nagatou
    • 学会等名
      International Symposium on Nonlinear Theory and its Applications
    • 発表場所
      Simon Fraser University at Harbour Centre, Vancouver, Canada
    • 年月日
      2007-09-18
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 併合を伴う混相流の数値シミュレーション2007

    • 著者名/発表者名
      田端 正久
    • 学会等名
      日本応用数理学会2007年度年会
    • 発表場所
      北海道大学工学部, 札幌
    • 年月日
      2007-09-17
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 対称疎行列の精度保証付き正定値判定計算におけるオーダリングの効用2007

    • 著者名/発表者名
      渡部 善隆
    • 学会等名
      日本応用数理学会2007年度年会
    • 発表場所
      北海道大学工学部, 札幌
    • 年月日
      2007-09-16
    • 関連する報告書
      2007 実績報告書
  • [学会発表] ストークス方程式の平衡化前処理付き領域分割法ソルバー2007

    • 著者名/発表者名
      鈴木 厚
    • 学会等名
      日本応用数理学会2007年度年会
    • 発表場所
      北海道大学工学部, 札幌
    • 年月日
      2007-09-15
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Eigenvalue problems on 1-D Schrodinger operators2007

    • 著者名/発表者名
      K.Nagatou
    • 学会等名
      Conference on Inequalities and Applications '07
    • 発表場所
      De La Motte Castle, Noszvaj, Hungary
    • 年月日
      2007-09-13
    • 関連する報告書
      2007 実績報告書
  • [学会発表] The guaranteed a priori error estimates in the finite element method and the spectral method with applications to nonlinear PDEs2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      Conference on Inequalities and Applications '07
    • 発表場所
      De La Motte Castle, Noszvaj, Hungary
    • 年月日
      2007-09-13
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Numerical verificationmethod for a Schroedingerequationwithessential spectrum2007

    • 著者名/発表者名
      K.Nagatou
    • 学会等名
      DIFFERENCIALEGYENLETEK SZEMINARIUM
    • 発表場所
      University of Szeged, Hungary
    • 年月日
      2007-09-06
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Some numerical simulations of multi-phase problems by an energy-stable finite element scheme2007

    • 著者名/発表者名
      M.Tabata
    • 学会等名
      Computational Linear Algebra with Applications
    • 発表場所
      Hotel Sklar, Harrachov, Czech Republic
    • 年月日
      2007-08-22
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Relaxation oscillation of point vortices with a center vortex2007

    • 著者名/発表者名
      T.Nakaki
    • 学会等名
      Equadiff2007
    • 発表場所
      Vienna University of Technology, Austria
    • 年月日
      2007-08-09
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Finite element shemes based on energy-stable approximation for applications to a glass product process2007

    • 著者名/発表者名
      M.Tabata
    • 学会等名
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • 発表場所
      Kyushu University Nishijin Plaza, Fukuoka
    • 年月日
      2007-07-29
    • 関連する報告書
      2007 実績報告書
  • [学会発表] A computer-assisted proof of solutions for three dimensional nonlinear heat convection problems2007

    • 著者名/発表者名
      Y.Watanabe
    • 学会等名
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • 発表場所
      Kyushu University Nishijin Plaza, Fukuoka
    • 年月日
      2007-07-29
    • 関連する報告書
      2007 実績報告書
  • [学会発表] 3-D implementation of characteristic Galerkin method with P1-interpolation2007

    • 著者名/発表者名
      A.Suzuki
    • 学会等名
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • 発表場所
      Kyushu University Nishijin Plaza, Fukuoka
    • 年月日
      2007-07-29
    • 関連する報告書
      2007 実績報告書
  • [学会発表] On guaranteed error bounds of the finite element method with applications to stationary Navier-Stokes equations2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      International Conference on Rencent Developments of Numerical Schemes for Flow Problems
    • 発表場所
      Kyushu University Nishijin Plaza, Fukuoka
    • 年月日
      2007-07-28
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Numerical computations to moving boundaries in some flow problems2007

    • 著者名/発表者名
      T.Nakaki
    • 学会等名
      International Conference on Recent Developments of Numerical Schemes for Flow Problems
    • 発表場所
      Kyushu University Nishijin Plaza, Fukuoka
    • 年月日
      2007-07-27
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Numerical verification methods for solutions of partial differential equations2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      6th International Congress on Industrial and Applied Mathematics
    • 発表場所
      Zurich, Switzerland
    • 年月日
      2007-06-17
    • 関連する報告書
      2007 実績報告書
  • [学会発表] On constructive a priori and a posteriori error estimates for the finite element approximations of noncoercive elliptic problems2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      6th International Congress on Industrial and Applied Mathematics
    • 発表場所
      Zurich, Switzerland
    • 年月日
      2007-06-16
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Verified computations of the error in the finite element methods with applications to nonlinear PDEs2007

    • 著者名/発表者名
      M.T.Nakao
    • 学会等名
      International Conference on SCIentific Compution And Differential Equations
    • 発表場所
      Le Palms du Grand Large Saint-Malo, France
    • 年月日
      2007-06-10
    • 関連する報告書
      2007 実績報告書
  • [学会発表] エネルギー安定有限要素スキームによる砂時計のシミュレーション2007

    • 著者名/発表者名
      田端 正久
    • 学会等名
      第12回日本計算工学講演会
    • 発表場所
      国立青少年オリンピック記念センター,東京
    • 年月日
      2007-05-23
    • 関連する報告書
      2007 実績報告書
  • [学会発表] Numerical simulations of multi-fluid flow problems by an energy-stable finite element scheme2007

    • 著者名/発表者名
      Tabata, M.
    • 学会等名
      The 3rd East Asia SIAM Conference
    • 発表場所
      Xiamen, China
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Some numerical simulations of multi-phase problems by an energy-stable finite element scheme2007

    • 著者名/発表者名
      Tabata, M.
    • 学会等名
      Computational Linear Algebra with Applications
    • 発表場所
      Harrachov, Czech Republic
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Verified computations of the error in the finite element methods with applications to nonlinear PDEs2007

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      SciCADE 2007, International Conference on SCIentific Computation and Differential Equations
    • 発表場所
      Saint Malo, France
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Energy-stable finite element schemes for multiphase flow problems2006

    • 著者名/発表者名
      Tabata, M.
    • 学会等名
      The First China-Japan-Korea Joint Conference on Numerical Mathematics
    • 発表場所
      Sapporo
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Validated computation for infinite dimensional eigenvalue problems2006

    • 著者名/発表者名
      Nagatou, K.
    • 学会等名
      12th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic, and Validated Numerics
    • 発表場所
      Duisburg, Germany
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Numerical verification methods of bifurcating solutions for two-and three-dimensional Rayleigh-Benard problems2006

    • 著者名/発表者名
      Nakao, M. T.
    • 学会等名
      The First China-Japan-Korea Joint Conference on Numerical Mathematics
    • 発表場所
      Sapporo
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Some computer assisted proofs on the bifurcation structure of solutions for heat convection problems2005

    • 著者名/発表者名
      Nakao, M. T., Watanabe, Y., Yamamoto, N., Nishida, T. and Kim, M.-N.
    • 学会等名
      International Symposium on Nonlinear Theory and its Applications 2005
    • 発表場所
      Bruges, Belgium
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] ストークス方程式の有限要素法による大規模並列計算手法とその数理2005

    • 著者名/発表者名
      鈴木厚
    • 学会等名
      日本数学会秋季総合分科会 特別講演
    • 発表場所
      岡山大学
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Finite element approximation to infinite Prandtl number Boussinesq equations and numerical simulation of melting glass convection2005

    • 著者名/発表者名
      Tabata, M.
    • 学会等名
      The Third IMACS Conference on Mathematical Modelling and Computational Methods in Applied Sciences and Engineering
    • 発表場所
      Pilsen, Czech Republic
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] The Fifth Gregynog Workshop on Computation and Analytic Problems in Spectral Theory2005

    • 著者名/発表者名
      Nagatou, K.
    • 学会等名
      Newtown
    • 発表場所
      United Kingdom
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] Mass-conservative and energy-conservative finite element schemes for flow problems2005

    • 著者名/発表者名
      Tabata, M.
    • 学会等名
      The Fourth International Workshop on Scientific Computing and Its Applications
    • 発表場所
      Shanghai, China
    • 関連する報告書
      2008 研究成果報告書
  • [学会発表] 平面上の渦点群の挙動2005

    • 著者名/発表者名
      中木達幸
    • 学会等名
      日本数学会特別講演
    • 発表場所
      日本大学
    • 関連する報告書
      2008 研究成果報告書
  • [図書] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • 著者名/発表者名
      田端正久, 中尾充宏
    • 総ページ数
      120
    • 出版者
      講談社
    • 関連する報告書
      2008 研究成果報告書
  • [図書] 偏微分方程式から数値シミュレーションへ/計算の信頼性評価2008

    • 著者名/発表者名
      田端 正久, 中尾 充宏
    • 出版者
      講談社
    • 関連する報告書
      2008 実績報告書
  • [図書] Domain Decomposition Methods : Algorithms and Practice(eds. Magoules, F.)(Civil-Comp Press)

    • 著者名/発表者名
      Suzuki, A. and Tabata, M.(分担執筆)(to appear)
    • 総ページ数
      37
    • 出版者
      Finite element matrices in congruent subdomains and some techniques for practical problems
    • 関連する報告書
      2008 研究成果報告書
  • [備考]

    • URL

      http://www2.math.kyushu-u.ac.jp/~tabata/

    • 関連する報告書
      2008 研究成果報告書
  • [備考]

    • URL

      http://www2.math.kyushu-u.ac.jp/~tabata/

    • 関連する報告書
      2008 実績報告書
  • [備考]

    • URL

      http://www2.math.kyushu-u.ac.jp/~tabata/

    • 関連する報告書
      2007 実績報告書

URL: 

公開日: 2004-04-01   更新日: 2016-04-21  

サービス概要 検索マニュアル よくある質問 お知らせ 利用規程 科研費による研究の帰属

Powered by NII kakenhi