-
题名初等函数可验证赋值及误差分析
被引量:1
- 1
-
-
作者
刘剑
唐敏
曾霞
曾振柄
-
机构
华东师范大学上海高可信计算重点实验室
桂林电子科技大学数学与计算机学院
-
出处
《计算机科学》
CSCD
北大核心
2015年第4期25-30,共6页
-
基金
国家自然科学基金(91118007)
上海市教育委员会创新基金(14ZZ046)资助
-
文摘
研究了GNU标准下初等函数的赋值原理及算法实现。基于IEEE 754-2008浮点标准,利用误差分析基本结论,对GNU下C语言标准数学函数库中的初等函数赋值程序进行理论误差分析。利用Boost库中提供的区间类,将以浮点数作为基本数据类型的程序重写成以区间作为基本类型的程序,使用区间算术对初等函数进行可验证赋值,从而得到一个包含真实值的区间包络,并由此给出GNU下初等函数的数值误差界。
-
关键词
初等函数
误差分析
区间算术
可验证赋值
-
Keywords
Elementary functions
Error analysis
Interval arithmetic
Validated evaluation
-
分类号
TP30
[自动化与计算机技术—计算机系统结构]
-
-
题名路由技术及应用的研究
- 2
-
-
作者
毛正标
-
机构
桂林电子科技大学数学与计算机科学学院
-
出处
《广西民族大学学报(自然科学版)》
CAS
2006年第z2期61-64,109,共5页
-
文摘
通过实例引出网络路由技术焦点问题,简要介绍了如何根据网络情况对网络路由技术应用的设计.基于这些充分的调研提出文章所要解决的主要问题:如何在网络中有效的利用路由技术解决和优化网络性能,并进行了详细的分析和设计,通过应用实例加深理解,最后加以评述并得出结论.
-
关键词
路由器
因特网
三层交换
-
Keywords
Router
internet
Three-layer exchanger
-
分类号
TN915.05
[电子电信—通信与信息系统]
-