2008 Fiscal Year Final Research Report
On a Effective Variant of Interval Arithmetic without Formula Manipulation
| Project/Area Number |
19700014
|
|---|
| Research Category |
Grant-in-Aid for Young Scientists (B)
|
| Allocation Type | Single-year Grants |
|---|
| Research Field |
Fundamental theory of informatics
|
|---|
| Research Institution | Kanazawa Institute of Technology |
|---|
Principal Investigator |
MIYATA Takatomi Kanazawa Institute of Technology, 情報学部, 講師 (30329114)
|
|---|
| Project Period (FY) |
2007 – 2008
|
| Keywords | (A)計算理論 |
|---|
| Research Abstract |
計算機を用いた数値計算において,結果を「約○○」の形で近似的に求めるのではなく,真の解を含む結果を「□□以上□□以下」の形で求める方法を精度保証付き数値計算という.解の上界および下界は通常「区間」というデータ構造によって与えられる.区間の幅を小さくするように精度保証付き解を求めることは重要なことである.本研究では,区間の両端点の他に変数間の相関を表現できる特殊なデータ構造によって区間を表すことで,区間幅の増大を抑えつつ方程式の精度保証付き解を得るための新たな知見を与えた.
|
Research Products
(1 results)
