| 研究課題/領域番号 |
20224001
|
|---|
| 研究種目 |
基盤研究(S)
|
| 配分区分 | 補助金 |
|---|
| 研究分野 |
数学一般(含確率論・統計数学)
|
|---|
| 研究機関 | 佐世保工業高等専門学校 (2010-2011)
九州大学 (2008-2009) |
|---|
研究代表者 |
中尾 充宏 佐世保工業高等専門学校, 校長 (10136418)
|
|---|
| 研究分担者 |
栄 伸一郎 九州大学, マス・フォア・インダストリ研究所, 教授 (30201362)
田端 正久 早稲田大学, 理工学術院, 教授 (30093272)
長藤 かおり 九州大学, マス・フォア・インダストリ研究所, 准教授 (40326426)
村重 淳 公立はこだて未来大学, システム情報科学部, 教授 (40302749)
山本 野人 電気通信大学, 電気通信学部, 教授 (30210545)
渡部 善隆 九州大学, 情報基盤研究開発センター, 准教授 (90243972)
|
|---|
| 連携研究者 |
大石 進一 早稲田大学, 理工学術院, 教授 (20139512)
|
|---|
| 研究期間 (年度) |
2008 – 2011
|
| キーワード | 数値解析 / 精度保証付き数値計算法 / 解の数値的検証 / 解の事後誤差評価 / 計算機援用証明 / 非線形現象 / 有限要素法 |
|---|
| 研究概要 |
非線形偏微分方程式に対する解の数値的検証法の開発とその適用を中心として研究を進め、特に、これまでほとんど研究例を見ない非線形発展方程式に対し、十分有効な数値的検証原理を見出すことに成功した。また、従来から蓄積してきた楕円型方程式の解に対する解の検証方式に新たな知見を加え、その拡張・改良を行うとともに、流体方程式をはじめ理論解析が困難な実際問題に適用して数値的証明を行い、その有効性を実証した。
|
