• Search Research Projects
  • Search Researchers
  • How to Use
  1. Back to previous page

Development of a practical tracing system for significant digits of variables in numerical calculations

Research Project

Project/Area Number 25330070
Research Category

Grant-in-Aid for Scientific Research (C)

Allocation TypeMulti-year Fund
Section一般
Research Field Computer system
Research InstitutionHiroshima City University

Principal Investigator

Kitamura Toshiaki  広島市立大学, 情報科学研究科, 教授 (10324683)

Research Collaborator ANIYA Souseki  広島市立大学, 大学院情報科学研究科, 博士後期課程学生
Project Period (FY) 2013-04-01 – 2016-03-31
Project Status Completed (Fiscal Year 2015)
Budget Amount *help
¥4,940,000 (Direct Cost: ¥3,800,000、Indirect Cost: ¥1,140,000)
Fiscal Year 2015: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Fiscal Year 2014: ¥3,640,000 (Direct Cost: ¥2,800,000、Indirect Cost: ¥840,000)
Fiscal Year 2013: ¥650,000 (Direct Cost: ¥500,000、Indirect Cost: ¥150,000)
Keywords計算機アーキテクチャ / 演算精度低下検出 / 長精度計算 / 桁落ち / 演算精度 / 計算機システム
Outline of Final Research Achievements

There is a risk which trusts a wrong result of numerical calculations due to a precision decline at a floating-point operation. In this research, to improve the reliability of numerical calculations, we plan to trace the significant digits by detecting cancellation of significant digits of variables at each operation, and to give the significant digits of final results. Unfortunately, a strict algorithm to find the significant digits of the result of operation from those of input operands, which is same as a forward error analysis, is too pessimistic. So, we propose more realistic algorithm to find a significant digits of result; (1) neglect the rounding error; (2) introduce “the occurrence rate of cancellation of significant digits”, and if the input operand’s significant digits are already small and that rate is high, we decrease the influence of cancelation to the result. We verified the validity of this algorithm, and also we studied feasibility of practical system development.

Report

(4 results)
  • 2015 Annual Research Report   Final Research Report ( PDF )
  • 2014 Research-status Report
  • 2013 Research-status Report
  • Research Products

    (2 results)

All 2015 2014

All Journal Article (1 results) Presentation (1 results)

  • [Journal Article] 浮動小数点演算における桁落ちを対象とした有効桁数追跡アルゴリズムの検討と評価2014

    • Author(s)
      安仁屋宗石、北村俊明
    • Journal Title

      情報処理学会研究報告

      Volume: 2014-ARC-209 Pages: 1-6

    • NAID

      110009675342

    • Related Report
      2013 Research-status Report
  • [Presentation] 演算精度保証に向けてのコンピュータ・アーキテクチャからの取り組み2015

    • Author(s)
      安仁屋 宗石、北村 俊明
    • Organizer
      応用数理学会2015年 年会
    • Place of Presentation
      金沢大学角間キャンパス
    • Year and Date
      2015-09-09
    • Related Report
      2015 Annual Research Report

URL: 

Published: 2014-07-25   Modified: 2019-07-29  

Information User Guide FAQ News Terms of Use Attribution of KAKENHI

Powered by NII kakenhi