Reliable Approximated Number System with Exact Bounds and Three-valued Logic
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Cha, Reeseo | - |
dc.contributor.author | Nam, Wonhong | - |
dc.contributor.author | Choi, Jin-Young | - |
dc.date.accessioned | 2021-09-02T04:22:05Z | - |
dc.date.available | 2021-09-02T04:22:05Z | - |
dc.date.created | 2021-06-19 | - |
dc.date.issued | 2018-11 | - |
dc.identifier.issn | 0267-6192 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/72044 | - |
dc.description.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 again separated from unwarranted numbers such as floating-point numbers. A three-valued logic is also shipped with our number system to appropriately deal with uncertainties due to approximations. A prototype implementation of our number system in Python is demonstrated. With this module, we can more reliably execute operations on numbers and make judgments on the conditions involving numbers | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | C R L PUBLISHING LTD | - |
dc.title | Reliable Approximated Number System with Exact Bounds and Three-valued Logic | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Choi, Jin-Young | - |
dc.identifier.scopusid | 2-s2.0-85060400715 | - |
dc.identifier.wosid | 000455691400004 | - |
dc.identifier.bibliographicCitation | COMPUTER SYSTEMS SCIENCE AND ENGINEERING, v.33, no.6, pp.447 - 455 | - |
dc.relation.isPartOf | COMPUTER SYSTEMS SCIENCE AND ENGINEERING | - |
dc.citation.title | COMPUTER SYSTEMS SCIENCE AND ENGINEERING | - |
dc.citation.volume | 33 | - |
dc.citation.number | 6 | - |
dc.citation.startPage | 447 | - |
dc.citation.endPage | 455 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Hardware & Architecture | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Theory & Methods | - |
dc.subject.keywordAuthor | Formal Methods | - |
dc.subject.keywordAuthor | Approximated Number System | - |
dc.subject.keywordAuthor | Exact Bounds | - |
dc.subject.keywordAuthor | Three-valued Logic | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
145 Anam-ro, Seongbuk-gu, Seoul, 02841, Korea+82-2-3290-2963
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.