循环迭代程序的一种可信计算算法
作者:
作者单位:

作者简介:

赵世忠(1968-),男,博士,讲师,CCF专业会员,主要研究领域为可信计算,符号计算.
陈冬火(1974-),男,博士,讲师,CCF专业会员,主要研究领域为程序验证,模型检验,机器学习.
刘静(1964-),女,博士,教授,博士生导师,CCF专业会员,主要研究领域为软件模型,形式化方法,可信软件.

通讯作者:

赵世忠,E-mail:szzhao@sei.ecnu.edu.cn

中图分类号:

基金项目:

国家重点研发项目(2017YFB1001800);国家自然科学基金(61772203,61972150,61876034)


Reliable Algorithm for Computing Cyclic Iterative Program
Author:
Affiliation:

Fund Project:

National Key Research and Development Program of China (2017YFB1001800); National Natural Science Foundation of China (61772203, 61972150, 61876034)

  • 摘要
  • |
  • 图/表
  • |
  • 访问统计
  • |
  • 参考文献
  • |
  • 相似文献
  • |
  • 引证文献
  • |
  • 资源附件
  • |
  • 文章评论
    摘要:

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

    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.

    参考文献
    相似文献
    引证文献
引用本文

赵世忠,陈冬火,刘静.循环迭代程序的一种可信计算算法.软件学报,2020,31(12):3685-3699

复制
分享
文章指标
  • 点击次数:
  • 下载次数:
  • HTML阅读次数:
  • 引用次数:
历史
  • 收稿日期:2019-04-17
  • 最后修改日期:2019-07-21
  • 录用日期:
  • 在线发布日期: 2020-12-03
  • 出版日期: 2020-12-06
文章二维码
您是第位访问者
版权所有:中国科学院软件研究所 京ICP备05046678号-3
地址:北京市海淀区中关村南四街4号,邮政编码:100190
电话:010-62562563 传真:010-62562533 Email:jos@iscas.ac.cn
技术支持:北京勤云科技发展有限公司

京公网安备 11040202500063号