arpra

Copyright 2016-2022 James Paul Turner.

Diese Datei ist Teil der Arpra -Bibliothek.

Die ARPRA -Bibliothek ist kostenlose Software: Sie können sie neu verteilt und/oder unter den Bestimmungen der GNU Lesser Allgemeinen öffentliche Lizenz wie von der Free Software Foundation, entweder Version 3 der Lizenz, oder (nach Ihrer Option) jede spätere Version ändern.

Die Arpra -Bibliothek ist in der Hoffnung verteilt, dass sie nützlich sein wird, jedoch ohne Garantie; Ohne die implizite Garantie für Handelsfähigkeit oder Eignung für einen bestimmten Zweck. Weitere Informationen finden Sie in der GNU Lesser General Public Lizenz.

Sie sollten zusammen mit der Arpra -Bibliothek eine Kopie der gnu weniger allgemeinen öffentlichen Lizenz erhalten haben. Wenn nicht, siehe http://www.gnu.org/licenses/.

Beachten Sie, dass der Bereich in diesem geschlossenen Intervall jedes Jahr in diesem Paket als Jyjy-Zzzz-Sortiment in diesem Paket angegeben ist.

Einführung

ARPRA ist eine C-Bibliothek für (AR) Bitrary- (P) Recision (R) Ange (A) NALYSE VON IEEE-754 Floating-Punkt-Berechnungen basierend auf GNU MPFR. Der Hauptnutzungsfall von ARPRA besteht darin, die berechneten oberen und unteren Grenzen des numerischen Fehlers für alle Variablen jederzeit während einer Berechnung aufrechtzuerhalten. ARPRA verwendet gemischte Intervall/affine Arithmetik mit Abgabemestörung, um dies zu erreichen.

Die affine Arithmetik ist eine Variante der Intervallarithmetik, die variable Korrelationen berücksichtigt. Daher leidet es nicht unter dem sogenannten „Abhängigkeitsproblem“, bei dem Intervalle aufgrund mangelnder Berücksichtigung variabler Korrelationen übermäßig groß werden. Das Problem wird unter https://en.wikipedia.org/wiki/interval_arithmetic#dependency_problem weiter beschrieben. Durch die Kombination der Ergebnisse von Intervallarithmetik und affiner Arithmetik vermeidet man sowohl das Abhängigkeitsproblem der Intervallarithmetik als auch die nichtlineare Funktion über das Überschwingen/Unterschreitungen der affine Arithmetik.

Arpra implementiert eine affine Arithmetik mit einem GNU -MPFR -Backend. MPFR ist eine beliebige Bibliothek für die Gleitspitze, was bedeutet, dass die Floating-Punkt-MPFR-Variablen von willkürlicher Genauigkeit sein können. Weitere Informationen finden Sie auf der MPFR Project -Website unter http://www.mpfr.org/. Durch die Implementierung von affine Arithmetik mit einem beliebigen Backend in der Präzision kann man beispielsweise testen, wie sich eine Änderung des numerischen Präzisions- oder Integrationsschemas auf den lokalen und globalen Fehler während einer langen numerischen Simulation auswirkt, ohne dass das Problem der regelmäßigen Intervall-Explosionsprobleme regelmäßige Intervallarithmetikbeträger betrifft.

Weitere Informationen zur Implementierung und Merkmale von ARPRA, wie z.

Turner, JP & Nowotny, T. (2021). ARPRA: Eine beliebige Bibliothek für Präzisionsbereichsanalyse. Grenzen in Neuroinformatics, 30.

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

QuickStart

Arpra folgt dem bekannten Paradigma für GNU/Linux -Software. Das typische Installationsverfahren besteht aus den folgenden.

Wenn Sie aus dem Git -Quell -Repository (dh kein Dist -Tarball) installiert werden, müssen das Konfigurationsskript und andere Auxillary -Dateien generiert werden, indem der folgende Befehl im Root des Repositorys ausgeführt wird:

 autoreconf -i -Wall

Dadurch werden die Konfigurationsdateien aus der Dateien configure.ac und makefile.am generiert (beachten Sie, dass die GNU -Autotools installiert werden müssen, um autorEConf auszuführen). Führen Sie als nächstes die Befehle konfigurieren, erstellen und installieren:

 ./configure
make
sudo make install

Alle installierten ARPRA -Dateien können durch Ausführen des folgenden Befehls sauber deinstalliert werden:

 sudo make uninstall

Eine Reihe von Testprogrammen kann mit dem folgenden Befehl ausgeführt werden:

 make check

Beitragen

Alle Beiträge (EG-Fehlerberichte, Feature-Anfragen, Fachkenntnisse, Quellcode und Dokumentationsbeiträge) werden dankbar über den Ausgabe-Tracker empfangen https://github.com/arpra-project/arpra/issues oder Pull-Anfrage.

Das Quellcode -Repository für ARPRA wird bei GitHub gehostet. Klonen Sie es mit:

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