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

来源 :2014湖北省计算机学会学术年会 | 被引量 : 0次 | 上传用户：w3cnet

【摘要】

：

研究了GNU标准下初等函数的赋值原理及算法实现.基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析.利用Bo

【作者】

：

刘剑唐敏曾霞曾振柄

【机构】

：

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

【出处】

：

2014湖北省计算机学会学术年会

【发表日期】

：

2014年10期

【关键词】

：

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

下载到本地 , 更方便阅读

下载此文赞助VIP

声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架

论文部分内容阅读

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

其他文献

课内实践教学在“货币金融学”课程中的应用探讨

基于应用型人才培养的教学目标,2015年辽宁工业大学经济学院在学校的要求下提出了新的培养计划,其中就包括要在金融学的主干课程里增加课内实践教学内容,“货币金融学”课程

期刊

货币金融学课内实践应用过程考核方式

班主任的苦与乐

作为小学班主任,除了教学工作外,小到学生的生活点滴,大到学校各项活动的落实,都需要班主任去完成。班主任的工作既琐碎,又重要,其中的辛苦更是不言而喻。也正因为班主任工作

期刊

班主任工作责任感情心态

用电视胸腔镜辅助下小切口肺癌手术与常规开胸手术治疗肺癌的效果对比分析

目的分别使用常规开胸手术和小切口肺癌手术(通过电视胸腔镜)对肺癌患者进行治疗,对比临床效果。方法对2014年1月~2017年1月期间我院收治的肺癌患者临床资料进行回顾性分析,

期刊

肺癌小切口肺癌手术常规开胸手术

现代台湾的历程(三)“革新保台”

<正> 6O年代中期以后,战后一直企图称霸世界的美国力量衰退;苏联的经济军事力量膨胀起来;中华人民共和国已经冲破帝国主义势力的孤立和封锁,发展成为国际社会的一股不可忽视

期刊

住民自决民意代表国民党民进党台湾当局

催化剂活性影响因素的探讨

研究了铜的含量和催化剂焙烧温度对铜系催化剂活性的影响。实验结果表明，当Cu含量为60wt％时催化剂的催化活性较高。随着催化剂焙烧温度的增高，催化剂的催化性能逐渐升高，在焙烧温

期刊

铜系催化剂铜含量焙烧温度

多模式MRI辅助静脉溶栓治疗急性前循环缺血性脑卒中疗效及对hs-CRP的影响

目的观察多模式MRI辅助静脉溶栓治疗急性前循环缺血性脑卒中的临床效果及对超敏C反应蛋白（hs-CRP）的影响。方法回顾性分析2013年11月—2015年10月在我院治疗的90例急性前循环缺

期刊

急性前循环缺血性脑卒中静脉溶栓磁共振成像超敏C反应蛋白

关于任意三矩阵秩的一点注记

设A、B、C为任意给定的m×n、n×m、m×n矩阵,本文构造了一种特殊形式的矩阵.通过对此矩阵的初等变换,得到这三个矩阵秩之间的某些关系,并讨论了它的几个较有意

期刊

自反广义逆秩初等变换块矩阵

佛教文化价值观在现代中国的意义

期刊

知识分子佛教复兴文化价值观

医药企业视阈下高职学生就业素质的调查与分析

在对某地区的医药行业企业进行调查后得知,企业要求高职学生就业素质更加多元化,高职学生的就业素质和企业的需求之间还存在较大的差距。为了进一步提升高职学生的就业素质,

会议

医药企业高职学生就业素质调查和分析

略谈电视“深度报道”节目

电视深度报道首先可以简单地描述为针对电视“消息”而言更“深入”、更“细致”的报道。“消息”一般都是介绍一种客观的现象,而电视深度报道则要透过这一“现象”,通过深

期刊

电视深度报道社会大广角《焦点访谈》

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

其他学术论文