arpra

ลิขสิทธิ์ 2016-2022 James Paul Turner

ไฟล์นี้เป็นส่วนหนึ่งของไลบรารี Arpra

ARPRA Library เป็นซอฟต์แวร์ฟรี: คุณสามารถแจกจ่ายใหม่และ/หรือแก้ไขภายใต้ข้อกำหนดของใบอนุญาตสาธารณะ GNU Lesser ทั่วไปตามที่เผยแพร่โดย Free Software Foundation ไม่ว่าจะเป็นเวอร์ชัน 3 ของใบอนุญาตหรือ (ตามตัวเลือกของคุณ) รุ่นใหม่ ๆ

ห้องสมุด Arpra มีการแจกจ่ายด้วยความหวังว่ามันจะเป็นประโยชน์ แต่ไม่มีการรับประกันใด ๆ โดยไม่มีการรับประกันโดยนัยเกี่ยวกับความสามารถในการค้าหรือความเหมาะสมสำหรับวัตถุประสงค์เฉพาะ ดูใบอนุญาตสาธารณะ GNU Lesser ทั่วไปสำหรับรายละเอียดเพิ่มเติม

คุณควรได้รับสำเนาใบอนุญาตสาธารณะ GNU Lesser General พร้อมกับ ARPRA Library ถ้าไม่ดู http://www.gnu.org/licenses/

สำหรับช่วงปีลิขสิทธิ์ใด ๆ ที่ระบุว่าเป็น yyyy-zzzz ในแพ็คเกจนี้โปรดทราบว่าช่วงระบุทุก ๆ ปีในช่วงเวลาที่ปิด

การแนะนำ

ARPRA เป็นไลบรารี C สำหรับ (AR) bitrary- (p) recision (r) ange (a) nalysis ของการคำนวณจุดลอยตัว IEEE-754 ตาม GNU MPFR กรณีการใช้งานหลักของ ARPRA คือการรักษาขอบเขตบนและล่างของข้อผิดพลาดเชิงตัวเลขสำหรับตัวแปรทั้งหมดตลอดเวลาตลอดการคำนวณ ARPRA ใช้การคณิตศาสตร์ช่วงเวลาที่ถูกตัดแต่ง/อะฟินด้วยการลดระยะการเบี่ยงเบนเพื่อให้บรรลุเป้าหมายนี้

อะฟินคณิตศาสตร์เป็นตัวแปรของเลขคณิตช่วงเวลาซึ่งอธิบายถึงความสัมพันธ์ของตัวแปร ดังนั้นจึงไม่ได้รับผลกระทบจากปัญหาการพึ่งพา 'ที่เรียกว่าช่วงเวลาที่มีขนาดใหญ่เกินไปเนื่องจากขาดการพิจารณาสำหรับความสัมพันธ์ของตัวแปร ปัญหาได้อธิบายเพิ่มเติมที่ https://en.wikipedia.org/wiki/interval_arithmetic#dependency_problem โดยการรวมผลลัพธ์ของเลขคณิตช่วงเวลาและคณิตศาสตร์พันธกิจเราหลีกเลี่ยงทั้งปัญหาการพึ่งพาของเลขคณิตช่วงเวลาและฟังก์ชันที่ไม่เชิงเส้น overshoot/ปัญหาล่างของคณิตศาสตร์พันธกิจ

ARPRA ดำเนินการเลขคณิตอะฟินโดยใช้แบ็กเอนด์ GNU MPFR MPFR เป็นไลบรารีลอยความแม่นยำโดยพลการซึ่งหมายถึงตัวแปร MPFR แบบลอยตัวจุดอาจมีความแม่นยำโดยพลการ สำหรับข้อมูลเพิ่มเติมโปรดดูที่เว็บไซต์โครงการ MPFR ที่ http://www.mpfr.org/ โดยการใช้คณิตศาสตร์แบบพันธุกรรมด้วยแบ็กเอนด์ที่มีความแม่นยำโดยพลการหนึ่งสามารถทดสอบได้ว่าการเปลี่ยนแปลงความแม่นยำเชิงตัวเลขหรือรูปแบบการรวมมีผลต่อข้อผิดพลาดในท้องถิ่นและระดับโลกในระหว่างการจำลองเชิงตัวเลขที่ยาวนาน

สำหรับข้อมูลเพิ่มเติมเกี่ยวกับการใช้งานและคุณสมบัติของ ARPRA เช่นการตัดทอนช่วงและการลดระยะการเบี่ยงเบนหมายถึงบทความที่เผยแพร่ต้นฉบับ:

เทอร์เนอร์, JP, & Nowotny, T. (2021) ARPRA: ห้องสมุดการวิเคราะห์ช่วงความแม่นยำโดยพลการ พรมแดนในระบบประสาท, 30.

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

เร็ว

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