Development of Accurate Numerical Method of Linear Systems Based on De Facto Standard Library
Project/Area Number |
15K15939
|
Research Category |
Grant-in-Aid for Young Scientists (B)
|
Allocation Type | Multi-year Fund |
Research Field |
Theory of informatics
|
Research Institution | Waseda University |
Principal Investigator |
|
Research Collaborator |
OISHI Shin'ichi
Rump Siegfried M.
OGITA Takeshi
OZAKI Katsuhisa
HUKAYA Takeshi
MUKUNOKI Daichi
YAMANAKA Naoya
|
Project Period (FY) |
2015-04-01 – 2017-03-31
|
Project Status |
Completed (Fiscal Year 2016)
|
Budget Amount *help |
¥2,340,000 (Direct Cost: ¥1,800,000、Indirect Cost: ¥540,000)
Fiscal Year 2016: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
Fiscal Year 2015: ¥1,170,000 (Direct Cost: ¥900,000、Indirect Cost: ¥270,000)
|
Keywords | 精度保証 / 高精度計算 / 連立一次方程式 / ハイパフォーマンス・コンピューティング / 情報学基礎 / 数値解析 / ハイパフォーマンスコンピューティング / 精度保証付き数値計算 |
Outline of Final Research Achievements |
In this research, we implemented and evaluated numerical verification methods for large-scale systems of linear equations using de-facto standard numerical software libraries on super computer. In addition, we concerned with numerical verification algorithms for large-scale systems of linear equations. We clarified that accuracy can be guaranteed for large-scale problems by combining accurate computations for matrix multiplication and error-free transformation of floating-point arithmetic on K computer. Our algorithms obtained in this research estimates rounding error using a priori error estimate of floating-point arithmetic. Implementation of our programs are done by using de-facto standard numerical software libraries. Therefore, the program can be executed by any supercomputer based on the IEEE 754 standard.
|
Report
(3 results)
Research Products
(14 results)
-
-
-
-
[Presentation] Fast enclosure for matrix multiplication on a GPU2016
Author(s)
Yusuke Morikura, Yusuke Nozawa, Kouta Sekine, Masahide Kashiwagi and Shin’ichi Oishi
Organizer
The 17th International Symposium on Scientific Computing, Computer Arithmetic and Verified Numerical Computations (SCAN2016)
Place of Presentation
Uppsala ,Sweden
Year and Date
2016-09-26
Related Report
Int'l Joint Research
-
-
-
-
-
-
-
-
-
-