On a Effective Variant of Interval Arithmetic without Formula Manipulation

关于无需公式操作的区间算术的有效变体

• 批准号: 19700014
• 负责人: MIYATA Takatomi
• 金额: $ 0.93万
• 依托单位: Kanazawa Institute of Technology
• 依托单位国家: 日本
• 项目类别: Grant-in-Aid for Young Scientists (B)
• 财政年份: 2007
• 资助国家: 日本
• 起止时间: 2007 至 2008
• 项目状态: 已结题
• 来源: https://kaken.nii.ac.jp/grant/KAKENHI-PROJECT-19700014/
• 关键词: (A)計算理論; 区間演算; アフィン演算; 精度保証付き数値計算

計算機を用いた数値計算において,結果を「約○○」の形で近似的に求めるのではなく,真の解を含む結果を「□□以上□□以下」の形で求める方法を精度保証付き数値計算という.解の上界および下界は通常「区間」というデータ構造によって与えられる.区間の幅を小さくするように精度保証付き解を求めることは重要なことである.本研究では,区間の両端点の他に変数間の相関を表現できる特殊なデータ構造によって区間を表すことで,区間幅の増大を抑えつつ方程式の精度保証付き解を得るための新たな知見を与えた.

The computer calculates the value of the number, and the result is "about zero" and the shape is approximate. The solution contains the result of "above □□ below" and the shape is approximate. The method guarantees the accuracy of the calculation. The upper bound of the solution is usually "interval" and the lower bound is usually "interval". The amplitude of the interval is small and the accuracy is guaranteed. In this study, the correlation between the endpoints of the interval and other variables is studied. The results show that the amplitude of the interval increases and the accuracy of the equation increases.

项目成果

How to Interpret Polylines Approximating Curves on a Surface

如何解释曲面上的折线逼近曲线

• 发表时间: 2008
• 作者: Takatomi Miyata