精度保証付き数値計算法は,与えられた問題の解の存在・一意存在の範囲を丸め誤差の厳密評価を含めて特定する算法である.本課題では非線形最小化問題に関連する精度保証付き数値計算法について研究を行い,次の成果が得られた. (1)等式制約付き凸二次計画問題に関連する線形連立方程式に対する数値解の誤差評価法を開発した.(2)等式・不等式制約付き凸計画問題の一意解に対する誤差評価法を開発した.(3)離散化誤差の評価に関連して,放物型方程式の数値解に対する誤差評価式を導出した. 研究成果の一部は,査読付き学術雑誌論文1篇,査読付き国際会議論文2編として既に発表済みである.
|