区间算术的新发展及其对浮点标准化的影响
摘要：一种可与传统浮点算术以相同速度执行区间算术的处理器的前景。这使得所有算术都能以区间方法的卓越安全性进行处理，而无需速度惩罚。在这种情况下，需要将IEEE浮点标准与适用于区间算术目的的浮点算术版本进行比较。这种比较需要对区间算术根据其最新发展进行简明而完整的阐述。本文提供了这样的阐述。我们得出结论，指向无穷大的舍入和被有符号的零除的定义是标准的有价值特性。由于区间算术的操作总是被定义的，异常不会发生。因此，即使不需要NaN和异常。状态标志中，只有不准确标志可能有用。对于区间算术，似乎没有使用非规格化数的需求；在区间约束的使用中，它们是个障碍。
作者：M.H. van Emden
论文ID：cs/0210015
分类：Numerical Analysis
分类简称：cs.NA
提交时间：2007-05-23