初等函数可验证赋值及误差分析

摘要：

研究了GNU标准下初等函数的赋值原理及算法实现.基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析.利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重写成以区间作为基本类型的程序,使用区间算术对初等函数进行可验证赋值,从而得到一个包含真实值的区间包络,并由此给出GNU下初等函数的数值误差界.

关键词： 初等函数 误差分析 区间算术 可验证赋值

作者: 刘剑 唐敏 曾霞 曾振柄

作者单位: 华东师范大学上海高可信计算重点实验室 上海200062 华东师范大学上海高可信计算重点实验室 上海200062;桂林电子科技大学数学与计算机学院 桂林541004

会议类型: 国内会议

会议名称: 2014湖北省计算机学会学术年会

会议地点: 宜昌

会议语种:中文

页码: 25-30

在线出版日期: 2014-10-31（万方平台首次上网日期，不代表论文的发表时间）