软件学报

作者：赵世忠，陈冬火，刘静

单位：赵世忠，华东师范大学 软件工程学院, 上海 200062;上海市高可信计算重点实验室(华东师范大学), 上海 20006211,陈冬火，苏州大学 计算机科学与技术学院, 江苏 苏州 21500602,刘静，华东师范大学 软件工程学院, 上海 200062;上海市高可信计算重点实验室(华东师范大学), 上海 20006203

关键词：循环迭代;误差可控计算;可信计算;可靠计算;错数

基金：国家重点研发项目（2017YFB1001800）；国家自然科学基金（61772203，61972150，61876034）

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

来源：2020年第12期

《软件学报》期刊编辑部

查看软件学报杂志2020年第12期