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