基于区间分析的浮点计算可靠性分析

• 作者: 张辛 王涛 郭绍忠
• 来源期刊: 信息工程大学学报
• 学科: 工学
• 关键词: 浮点 误差 精度 可靠性
• 年，卷（期）: 2015,（6）
• 所属期刊栏目: 计算机技术及应用
• 页码范围: 765-768
• 页数: 4页
• 分类号: TP311
• 字数: 2689字
• 语种: 中文
• DOI: 10.3969/j.issn.1671-0673.2015.06.023

摘要

浮点数是计算机系统中用于表示实数或小数的一种方式.由于计算机字长有限,导致浮点计算结果与理论计算之间存在误差,通常每一步的误差很小,不会影响计算结果.但随着计算规模不断增加,计算过程不断复杂,微小的误差经过累积可能导致计算结果错误,给实际应用带来严重后果.在IEEE754理论基础上,针对C/C++浮点代码,结合系统架构、程序编译总结了浮点程序中出现的数据误差和舍入误差,并通过ULP(unit in last place)对误差进行量化.最后结合区间分析技术对浮点计算可靠性进行判断,实验结果表明区间分析可以为用户判定浮点计算可靠性提供重要依据.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	郭绍忠		27	151	7.0	11.0
3	王涛		40	216	8.0	13.0
7	张辛		4	6	2.0	2.0