计算机科学 ›› 2015, Vol. 42 ›› Issue (4): 25-30.doi: 10.11896/j.issn.1002-137X.2015.04.003
刘 剑,唐 敏,曾 霞,曾振柄
LIU Jian, TANG Min, ZENG Xia and ZENG Zhen-bing
摘要： 研究了GNU标准下初等函数的赋值原理及算法实现。基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析。利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重写成以区间作为基本类型的程序,使用区间算术对初等函数进行可验证赋值,从而得到一个包含真实值的区间包络,并由此给出GNU下初等函数的数值误差界。
| [1] Wang Wen-hua,GUO Zhi-hua,CAO Huai-xin.An upper bound for the adiabatic approximation error[J].Science China Physics,Mechanics and Astronomy,2014,57(2):218-224 [2] Jeannerod C P,Rump S M.Improved error bounds for innerproducts in floating-point arithmetic[J].SIAM Journal on Matrix Analysis and Applications,2013,34(2):338-344 [3] 袁梦.复杂计算的误差定量分析方法及其应用[D].杭州:浙江大学,2006 [4] 周腾飞.Bernstein基多项式函数的高精度计算及其动态误差分析研究[D].长沙:国防科学技术大学,2011 [5] Rump S M.Verification methods:Rigorous results using floa-ting-point arithmetic[J].Acta Numerica,2010,19:287-449 [6] Muller J M.Elementary functions:Algorithms and Implementation(2nd ed)[M].Birkhuser,2006 [7] Granlund T.The GNU multiple precision arithmetic library.http://www.swox.se/gmp [8] Fousse L,Hanrot G,Lefevre V,et al.MPFR:A multiple-precision binary floating-point library with correct rounding[J].ACM Transactions on Mathematical Software (TOMS),2007,33(2):1-14 [9] Backeljauw F,Becuwe S,Cuyt A,et al.Validated evaluation of special mathematical functions[M]∥Intelligent Computer Mathematics.2008:206-216 [10] Brisebarre N,De Dinechin F,Jeannerod C P,et al.Handbook of floating-point arithmetic[M].Springer Science & Business Media,2009 [11] Higham N J.Accuracy and stability of numerical algorithms(2nd ed)[M].Siam,2011 [12] Moore R E,Kearfott R B,Cloud M J.Introduction to interval analysis[M].Siam,2009 [13] Stallman R M.Using GCC:The GNU Compiler Collection Reference Manual for GCC 3.3.1[M].Free Software Foundation,2003 [14] Sauer T.Numerical Analysis(2nd ed)[M].北京:机械工业出版社,2012 [15] Mathews J H,Fink K D.Numerical methods using MATLAB(第四版)[M].周璐,陈渝,钱芳,等.北京:电子工业出版社,2012 [16] Brnnimann H,Melquiond G,Pion S.The design of the Boost interval arithmetic library[J].Theoretical Computer Science,2006,351(1):111-118 [17] 刘保柱,苏彦华,张宏林.MATLAB 7.0 从入门到精通[M].北京:人民邮电出版社,2010 |
| No related articles found! |
|
||
首页