[00315040]数学常数和基本初等函数的可信计算软件
交易价格:
面议
类型:
软件著作权
技术成熟度:
已有样品
专利所属地:中国
专利号:2018SR397198
交易方式:
完全转让
联系人:
桂林电子科技大学科技园
所在地:广西壮族自治区桂林市
- 服务承诺
- 产权明晰
-
资料保密
对所交付的所有资料进行保密
- 如实描述
技术详细介绍
基于区间算术理论和方法、技术、工具,对数学常数和初等函数进行可信计算,给出可信计算区间和误差上界,即使用区间算术给出数学常数(比如圆周率、欧拉常数、黄金数、自然对数的底、毕达哥拉斯常数等)在任意精度范围内的区间值,给出基本初等函数(比如三角函数、指数函数、根式函数、幂函数等)在任意精度范围内的区间值,保证计算结果包含真实值。为尽量缩小计算结果的区间宽度,设计相关算法改进计算结果。技术特点:此软件基于区间算术,具有误差可控的特点,且计算结果保证包含真实值。