实验点集代数插值的可信验证算法

发布时间：2025-05-01 11:44

　　科技的迅猛发展提高了对计算结果的准确性要求,原始数据误差、实数的有限精度表示、误差积累等问题使得计算不准确性无处不在.在飞机设计、卫星定轨、火箭发射等高风险的应用领域必须知道数值计算结果可信的误差上界.对于关键的问题,微小计算误差的积累可能会导致计算结果发生质变,进而可能引发重大事故.如何保证计算过程误差可控、结果真实可信是科学计算亟待解决的问题.在工程计算中,点集大多是从实验中获得,点的坐标不可避免存在误差,这种点的坐标在一定范围内的点集,称之为实验点集.实验点集的近似代数插值由于其能体现工程实践的需要,一直备受国内外学者们的关心.本文正是利用Rump区间算法和Kantorovich定理设计近似代数插值的可信验证算法.主要研究内容如下:(1)设计实验点集上的多元多项式插值的误差可控算法.给定实验点集,设计算法输出一个低次多项式,给定实验点集的容许点集及其可信误差界.算法的数值部分计算一个阶理想及一个容许点集,该阶理想所对应的多项式在容许点集上近似取值为零.算法的验证部分将一个多变元的多项式方程组解的验证转化为多个单变量方程解的验证.利用Kantorovich定理和Rump区间定理,计算...

【文章页数】：91 页

【学位级别】：硕士

【文章目录】：
摘要
Abstract
第1章 绪论
    1.1 选题背景及研究的目的和意义
    1.2 国内外研究现状及对比分析
    1.3 论文的主要内容
第2章 计算机代数的基本知识
    2.1 符号计算方面
    2.2 数值计算方面
第3章 可信验证
    3.1 可信验证方法的研究现状
    3.2 区间运算
    3.3 区间牛顿迭代法
    3.4 点估计
第4章 多项式插值的误差可控算法
    4.1 引言
    4.2 主要结论
    4.3 主要算法
    4.4 应用实例
第5章 重心坐标有理插值的误差可控算法
    5.1 引言
    5.2 预备知识
    5.3 主要结果
    5.4 主要算法
    5.5 应用实例
第6章 结论与展望
    6.1 工作总结
    6.2 未来展望
参考文献
附录A 第4章相关程序代码
附录B 第5章相关程序代码
攻读硕士学位期间取得的成果
致谢



本文编号：4042224