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