arpra

版权所有2016-2022詹姆斯·保罗·特纳（James Paul Turner）。

该文件是ARPRA库的一部分。

ARPRA库是免费软件：您可以根据自由软件基金会发布的GNU较少的通用公共许可证的条款进行重新分配和/或修改它，该版本是该许可证的第3版，或（根据您的选项）任何以后的版本。

ARPRA图书馆的分布是希望它有用的，但没有任何保修；即使没有对特定目的的适销性或适合性的隐含保证。有关更多详细信息，请参见GNU较少的通用公共许可证。

您应该已经收到了GNU较少的通用公共许可证的副本，以及ARPRA库。如果没有，请参见http://www.gnu.org/licenses/。

对于此软件包中指定为Yyyy-Zzz的任何版权年范围，请注意，该范围在该封闭间隔中每年指定。

介绍

ARPRA是基于GNU MPFR的IEEE-754浮点计算的（a）IEEE-754浮点计算的（a）nalysis（a）nalysis的C库。 ARPRA的主要用例是在整个计算过程中始终为所有变量的数值误差的上限和下限保持。 ARPRA使用混合的修剪间隔/仿射算术和偏差术语减少来实现这一目标。

仿射算术是一个间隔算术的变体，该变体说明了可变的相关性。因此，它不会遭受所谓的“依赖性问题”的困扰，在这种情况下，由于缺乏对可变相关性的考虑，间隔的生长过大。该问题在https://en.wikipedia.org/wiki/interval_arithmetic#dependency_problem中进一步描述。通过结合间隔算术和仿射算术的结果，人们既避免间隔算术的依赖性问题，又避免了非线性函数过时/仿射算术的问题。

ARPRA使用GNU MPFR后端实现仿射算术。 MPFR是一个任意推荐的浮点库，这意味着浮点MPFR变量可以任意精确。有关更多信息，请参阅MPFR项目网站http://www.mpfr.org/。通过使用任意过度的后端实施仿射算术，例如，可以测试数值精度或集成方案的变化如何在长时间的数值模拟过程中影响本地和全局误差，而没有间隔“爆炸”问题常规间隔算术算法。

有关ARPRA的实施和功能的更多信息，例如修剪和偏差术语，请参阅原始已发表的文章：

Turner，JP和Nowotny，T。（2021）。 ARPRA：任意精确范围分析库。神经信息学的前沿，30。

https://doi.org/10.3389/fninf.2021.632729

Quickstart

ARPRA遵循熟悉的GNU/Linux软件构建范式。典型的安装过程包括以下内容。

如果从GIT源存储库中安装（即不是Dist Tarball），则需要通过在存储库的根中运行以下命令来生成配置脚本和其他辅助文件：

 autoreconf -i -Wall

这将生成来自configure.ac和makefile.am文件的配置文件（请注意，必须安装gnu autotools才能运行autoreConf）。接下来运行配置，构建和安装命令：

 ./configure
make
sudo make install

所有已安装的ARPRA文件都可以通过运行以下命令从系统中清晰卸载：

 sudo make uninstall

可以使用以下命令执行一组测试程序：

 make check

贡献

通过问题跟踪器https://github.com/arpra-project/arpra/issues或拉请请求，请感谢所有贡献（例如错误报告，功能报告，专家知识，源代码和文档贡献）。

ARPRA的源代码存储库托管在GitHub。使用：

 git clone https://github.com/arpra-project/arpra