期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
循环迭代程序的一种可信计算算法
被引量：
2
1
作者
赵世忠
陈冬火
刘静
《软件学报》
EI
CSCD
北大核心
2020年第12期3685-3699,共15页
循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于“中间计算精度自动动态调整”的计算技术,给出了循环迭代程序的一种...
循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于“中间计算精度自动动态调整”的计算技术,给出了循环迭代程序的一种可信计算算法.利用该算法,可获得循环迭代程序任意次迭代的任意位的正确有效数字.目前,通过C++语言该算法已被编程实现于ISReal中.
展开更多
关键词
循环迭代
误差可控计算
可信
计算
可靠
计算
错数
在线阅读
下载PDF
职称材料
题名
循环迭代程序的一种可信计算算法
被引量：
2
1
作者
赵世忠
陈冬火
刘静
机构
华东师范大学软件工程学院
上海市高可信计算重点实验室(华东师范大学)
苏州大学计算机科学与技术学院
出处
《软件学报》
EI
CSCD
北大核心
2020年第12期3685-3699,共15页
基金
国家重点研发项目(2017YFB1001800)
国家自然科学基金(61772203,61972150,61876034)。
文摘
循环迭代程序作为软件的基本组成部分,其正确运行具有重要意义.然而,有时(比如其相关错数大于0时)计算时的舍入误差(或表示误差)会导致循环迭代的计算结果不稳定.基于“中间计算精度自动动态调整”的计算技术,给出了循环迭代程序的一种可信计算算法.利用该算法,可获得循环迭代程序任意次迭代的任意位的正确有效数字.目前,通过C++语言该算法已被编程实现于ISReal中.
关键词
循环迭代
误差可控计算
可信
计算
可靠
计算
错数
Keywords
cyclic iteration
error-controlled calculation
trusted computing
reliable computing
NID
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
循环迭代程序的一种可信计算算法
赵世忠
陈冬火
刘静
《软件学报》
EI
CSCD
北大核心
2020
2
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
