arpra

حقوق الطبع والنشر 2016-2022 جيمس بول تيرنر.

هذا الملف جزء من مكتبة ARPRA.

مكتبة ARPRA هي برنامج مجاني: يمكنك إعادة توزيعه و/أو تعديله بموجب شروط رخصة GNU Lesser General Public كما تم نشرها بواسطة مؤسسة البرمجيات المجانية ، إما الإصدار 3 من الترخيص ، أو (في خيارك) أي إصدار لاحق.

يتم توزيع مكتبة ARPRA على أمل أن تكون مفيدة ، ولكن بدون أي ضمان ؛ بدون حتى الضمان الضمني للتسويق أو اللياقة لغرض معين. راجع رخصة GNU أقل عامة لمزيد من التفاصيل.

يجب أن تكون قد تلقيت نسخة من رخصة GNU Lesser العامة إلى جانب مكتبة ARPRA. إذا لم يكن الأمر كذلك ، راجع http://www.gnu.org/licenses/.

بالنسبة لأي نطاق سنة حقوق الطبع والنشر المحددة باسم Yyyy-Azzzz في هذه الحزمة ، لاحظ أن النطاق يحدد كل عام في هذا الفاصل المغلقة.

مقدمة

ARPRA هي مكتبة C لحساب (AR) BitRary- (P) Reciece (R) Ange (A) Nalysis of IEEE-754 Floating-Point ، استنادًا إلى GNU MPFR. تتمثل حالة الاستخدام الرئيسية لـ ARPRA في الحفاظ على الحدود العلوية والسفلية المحسوبة للخطأ العددي لجميع المتغيرات ، في جميع الأوقات ، خلال الحساب. يستخدم ARPRA الحساب المختلط الفاصل الزمني/التقويم مع تقليل مصطلح الانحراف لإنجاز هذا.

الحساب Affine هو متغير من الحساب الفاصل الذي يفسر الارتباطات المتغيرة. على هذا النحو ، فإنه لا يعاني من ما يسمى "مشكلة التبعية" ، حيث تنمو الفواصل الزمنية بشكل كبير بسبب عدم النظر في الارتباطات المتغيرة. تم وصف المشكلة بشكل أكبر في https://en.wikipedia.org/wiki/Interval_arithmetic#dependency_problem. من خلال الجمع بين نتائج الحساب الفاصلة والحساب القاسي ، يتجنب المرء مشكلة التبعية المتمثلة في الحساب الفاصل ، والمشكلة غير الخطية المتجاوز/الحد الأدنى لحساب Affine.

ARPRA تنفذ AFFINE الحساب باستخدام الخلفية GNU MPFR. MPFR هي مكتبة عائمة التعسفية ، مما يعني أن متغيرات MPFR العائمة يمكن أن تكون ذات دقة تعسفية. لمزيد من المعلومات ، راجع موقع MPFR Project على الموقع http://www.mpfr.org/. من خلال تنفيذ الحساب Affine مع الواجهة الخلفية الدقة التعسفية ، يمكن للمرء ، على سبيل المثال ، اختبار كيفية تأثير التغيير في مخطط الدقة العددية أو التكامل على الخطأ المحلي والعالمي أثناء محاكاة عددية طويلة ، دون مشكلة الانفجار الفاصل ".

لمزيد من المعلومات حول تنفيذ وميزات ARPRA ، مثل تقليص المدى وتقليل مصطلحات الانحراف ، راجع المقالة المنشورة الأصلية:

Turner ، JP ، & Nowotny ، T. (2021). ARPRA: مكتبة تحليل نطاق الدقة التعسفية. الحدود في المعلوماتية العصبية ، 30.

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

Quickstart

يتبع ARPRA نموذج بناء برامج GNU/Linux المألوف. يتكون إجراء التثبيت النموذجي من ما يلي.

إذا تم التثبيت من مستودع مصدر GIT (أي ليس Tarball dist) ، يجب إنشاء البرنامج النصي للتكوين والملفات auxillary الأخرى عن طريق تشغيل الأمر التالي في جذر المستودع:

 autoreconf -i -Wall

هذا ينشئ ملفات التكوين من config.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