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

作者：赵世忠^*; 陈冬火; 刘静

来源：软件学报, 2020, 31(12): 3685-3699.

DOI：10.13328/j.cnki.jos.005883

• 循环迭代
• 误差可控计算
• 可信计算
• 可靠计算
• 错数

循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于"中间计算精度自动动态调整"的计算技术,给出了循环迭代程序的一种可信计算算法.利用该算法,可获得循环迭代程序任意次迭代的任意位的正确有效数字.目前,通过C++语言该算法已被编程实现于ISReal中.

• 单位
  华东师范大学; 苏州大学