Sammanfattning Denna artikel introducerar några tekniker för att uppskatta och förbättra den numeriska kvaliteten på beräkningar som utförs med hjälp av olika dator aritmetik. En allmän metod införs och tillämpas på de fasta och flyttalsformaten. Vi visar hur man globalt mäter kvaliteten på genomförandet av en formel med avseende på vissa kvalitetsindikatorer. När det gäller flyttalsaritmetiken mäter indikatorn avståndet mellan datorn och exakta resultat i värsta fall. När det gäller aritmetiken med fast punkt begränsar indikatorn antalet siffror som behövs för att representera alla de mellanliggande resultaten. Därefter visar vi hur de operationer som oftast minskar kvaliteten på en indikator kan identifieras. Denna information hjälper programmeraren att förbättra genomförandet genom att ligga till grund för de viktigaste källorna till nedbrytning. Slutligen introducerar vi en helt automatisk uttryck omvandlingsteknik för att skriva om en formel till en bättre, matematiskt ekvivalent en. Den nya formeln är mer exakt än den ursprungliga med avseende på den valda kvalitetsindikatorn.
Matel REF övervägde att sammanställa uttryck till aritmetisk fast punkt.
Enhancing the implementation of mathematical formulas for fixed-point and floating-point arithmetics
{'venue': None, 'journal': 'Formal Methods in System Design', 'mag_field_of_study': ['Computer Science']}