Numerical Verification Method for Solutions of Nonlinear Programming Problems
Project/Area Number |
26870646
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Multi-year Fund |
Research Field |
Computational science
Foundations of mathematics/Applied mathematics
|
Research Institution | Saga University (2015-2016) Waseda University (2014) |
Principal Investigator |
Kimura Takuma 佐賀大学, 工学(系)研究科(研究院), 准教授 (60581618)
|
Project Period (FY) |
2014-04-01 – 2017-03-31
|
Project Status |
Completed (Fiscal Year 2016)
|
Budget Amount *help |
¥2,600,000 (Direct Cost: ¥2,000,000、Indirect Cost: ¥600,000)
Fiscal Year 2016: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2015: ¥780,000 (Direct Cost: ¥600,000、Indirect Cost: ¥180,000)
Fiscal Year 2014: ¥1,040,000 (Direct Cost: ¥800,000、Indirect Cost: ¥240,000)
|
Keywords | 数値解析 / 精度保証付き数値計算法 / 数理計画 / 最適化法 |
Outline of Final Research Achievements |
In this research, the numerical verification methods for nonlinear programming problems were studied. The following numerical verification methods were proposed. (1) Numerical method for evaluating the accuracy of numerical solutions for symmetric saddle point linear systems whose diagonal blocks of the coefficient matrix are semidefinite matrices. (2) A numerical method for including an optimal solution to a convex programming problems with linear equality and inequality constraints. (3) Optimal order error estimates for a numerical solution of parabolic initial boundary value problems.
|
Report
(4 results)
Research Products
(14 results)