浮点计算程序误差分析理论研究及其实现
| 摘要 | 第6-8页 |
| Abstract | 第8-9页 |
| 第一章 绪论 | 第12-20页 |
| 1.1 研究的背景和意义 | 第12-13页 |
| 1.2 国内外研究现状 | 第13-18页 |
| 1.2.1 浮点计算舍入误差研究现状 | 第13-14页 |
| 1.2.2 舍入误差分析方法研究现状 | 第14-16页 |
| 1.2.3 区间分析的研究现状 | 第16-18页 |
| 1.3 论文主要内容和组织结构 | 第18-20页 |
| 第二章 预备知识 | 第20-36页 |
| 2.1 计算机中浮点系统 | 第20-27页 |
| 2.1.1 浮点数的发展历程 | 第20-21页 |
| 2.1.2 浮点数定义 | 第21-22页 |
| 2.1.3 规格化和溢出 | 第22-23页 |
| 2.1.4 舍入模式 | 第23-25页 |
| 2.1.5 浮点运算模型 | 第25-26页 |
| 2.1.6 IEEE浮点数算术标准 | 第26-27页 |
| 2.2 区间分析 | 第27-30页 |
| 2.2.1 区间运算基础知识 | 第27-29页 |
| 2.2.2 区间运算及函数 | 第29页 |
| 2.2.3 区间运算的包含原理 | 第29-30页 |
| 2.3 C语言程序 | 第30-32页 |
| 2.3.1 C程序组成和特点 | 第30-31页 |
| 2.3.2 抽象语法树 | 第31-32页 |
| 2.4 Flex/Bison技术 | 第32-33页 |
| 2.5 Boost区间算术库 | 第33-36页 |
| 2.5.1 Boost区间算术库简介 | 第33页 |
| 2.5.2 与其他C++库的比较 | 第33-36页 |
| 第三章 浮点计算程序误差分析 | 第36-52页 |
| 3.1 背景介绍 | 第36-37页 |
| 3.2 代表性实例 | 第37-39页 |
| 3.3 浮点程序误差分析 | 第39-40页 |
| 3.4 程序自动重写 | 第40-49页 |
| 3.4.1 相关研究工作 | 第40页 |
| 3.4.2 程序自动重写的设计 | 第40-49页 |
| 3.5 实验结果 | 第49-52页 |
| 第四章 浮点计算程序异常检测 | 第52-64页 |
| 4.1 背景介绍 | 第52-54页 |
| 4.2 代表性实例 | 第54-55页 |
| 4.3 基于分支定界的算法Dev-Bab | 第55-59页 |
| 4.3.1 分支定界法简介 | 第55-56页 |
| 4.3.2 算法Dev-Bab | 第56-59页 |
| 4.4 实验结果 | 第59-64页 |
| 第五章 软件实现 | 第64-74页 |
| 5.1 SpaceAED介绍 | 第64页 |
| 5.2 SpaceAED体系结构 | 第64-67页 |
| 5.3 SpaceAED详细设计 | 第67-69页 |
| 5.4 SpaceAED实例演示 | 第69-74页 |
| 第六章 总结与展望 | 第74-76页 |
| 6.1 研究工作总结 | 第74-75页 |
| 6.2 研究展望 | 第75-76页 |
| 附录Ⅰ C语言实现任意阶矩阵的特征值求解程序 | 第76-80页 |
| 附录Ⅱ C语言实现高斯消去法求解线性方程组程序 | 第80-82页 |
| 参考文献 | 第82-89页 |
| 致谢 | 第89-90页 |
| 攻读硕士学位期间发表论文和参与科研情况 | 第90页 |
