Reliable Approximated Number System with Exact Bounds and Three-Valued Logic
Reeseo Cha1, Wonhong Nam2,*, Jin-Young Choi1
Computer Systems Science and Engineering, Vol.33, No.6, pp. 447-455, 2018, DOI:10.32604/csse.2018.33.447
Abstract Many programming languages provides mechanism to guarantee the error ranges of exact numbers and intervals. However, when they are integrated with
unreliable approximated numbers, we cannot rely on the error-ranges anymore. Such unreliable error-ranges may cause serious errors in programs, and
especially in safety critical systems they cost us huge amount of money and/or threaten human’s life. Hence, in this paper, we propose a novel number system
to safely perform arithmetic operations with guaranteed error ranges. In the number system, exact numbers are separated from approximated numbers, and
approximated numbers with strictly guaranteed error-ranges are More >