循环迭代程序的一种可信计算算法

Translated title of the contribution: Reliable Algorithm for Computing Cyclic Iterative Program

Shi Zhong Zhao, Dong Huo Chen, Jing Liu

Research output: Contribution to journalArticlepeer-review

2 Scopus citations

Abstract

As a basic component of software, the correct running of cyclic iteration program is of great significance. However, sometimes (e.g., when its NID is greater than 0) the rounding error (or representation error) in the calculation can lead to unstable results of the cyclic iteration. Based on the computing technology of "automatic dynamic adjustment of intermediate calculation accuracy", a reliable calculation algorithm for cyclic iteration is presented in this paper. By using this algorithm, the value of arbitrary precision of cyclic iteration can be obtained. At present, the algorithm has been programmed and implemented in ISReal through C++ language.

Translated title of the contributionReliable Algorithm for Computing Cyclic Iterative Program
Original languageChinese (Traditional)
Pages (from-to)3685-3699
Number of pages15
JournalRuan Jian Xue Bao/Journal of Software
Volume31
Issue number12
DOIs
StatePublished - Dec 2020

Fingerprint

Dive into the research topics of 'Reliable Algorithm for Computing Cyclic Iterative Program'. Together they form a unique fingerprint.

Cite this