计算机科学
計算機科學
계산궤과학
COMPUTER SCIENCE
2015年
4期
25-30
,共6页
刘剑%唐敏%曾霞%曾振柄
劉劍%唐敏%曾霞%曾振柄
류검%당민%증하%증진병
初等函数%误差分析%区间算术%可验证赋值
初等函數%誤差分析%區間算術%可驗證賦值
초등함수%오차분석%구간산술%가험증부치
Elementary functions%Error analysis%Interval arithmetic%Validated evaluation
研究了GNU标准下初等函数的赋值原理及算法实现.基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析.利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重写成以区间作为基本类型的程序,使用区间算术对初等函数进行可验证赋值,从而得到一个包含真实值的区间包络,并由此给出GNU下初等函数的数值误差界.
研究瞭GNU標準下初等函數的賦值原理及算法實現.基于IEEE 754-2008浮點標準,利用誤差分析基本結論,對GNU下C語言標準數學函數庫中的初等函數賦值程序進行理論誤差分析.利用Boost庫中提供的區間類,將以浮點數作為基本數據類型的程序重寫成以區間作為基本類型的程序,使用區間算術對初等函數進行可驗證賦值,從而得到一箇包含真實值的區間包絡,併由此給齣GNU下初等函數的數值誤差界.
연구료GNU표준하초등함수적부치원리급산법실현.기우IEEE 754-2008부점표준,이용오차분석기본결론,대GNU하C어언표준수학함수고중적초등함수부치정서진행이론오차분석.이용Boost고중제공적구간류,장이부점수작위기본수거류형적정서중사성이구간작위기본류형적정서,사용구간산술대초등함수진행가험증부치,종이득도일개포함진실치적구간포락,병유차급출GNU하초등함수적수치오차계.
