关于 IEEE 1788-2015 区间算术标准的“精确模式”
数值分析
2023-08-22 v1 数值分析
摘要
IEEE 1788-2015 区间算术标准针对所谓的基于集合的流派定义了三种精度模式：最紧(tightest)、精确(accurate)和有效(valid)。这项正在进行的工作聚焦于精确模式。首先给出区间算术及 IEEE 1788-2015 标准的介绍，随后定义精确模式。当一个实现区间算术的库声称提供该模式时，如何测试这一精确模式？所采用的方法是单元测试，并阐述了该方法中测试对的构造。本文以一段讨论作结：测试者自身如何被测试？若追根溯源，精确模式是否真正有意义，抑或应在标准下一版本中予以废除？
引用
@article{arxiv.2308.10693,
title = {About the ''accurate mode'' of the IEEE 1788-2015 standard for interval arithmetic},
author = {Nathalie Revol},
journal= {arXiv preprint arXiv:2308.10693},
year = {2023}
}