Numerisches Programmieren, Übungen

Transkript

1 Technische Universität München SS 0 Institut für Informatik Prof Dr Thomas Huckle Dipl-Inf Christoph Riesinger Dipl-Math Alexander Breuer Dr-Ing Markus Kowarschik Numerisches Programmieren, Übungen Musterlösung Übungsblatt: Zahlendarstellung, Rundungsfehler ) Umrechnung von Zahlen i) Zahldarstellung in allgemeinem System: N i0 r ibasis i mit r i {0,,, Basis } dezimal binär trinär hexadezimal Basis darzust Zahl darzust Zahl f darzust Zahl 5 00 ff ii) Schriftliches Dividieren der Brüche im binären System analog zum dezimalen: 7 : (binär) : : bzw 000 -) : 00 (binär) : : bzw ) Binärdarstellung von ganzen Zahlen Beachte: n Bytes 8n Bits!

2 Wert Bit Wert Bit kleinste Zahl x min 8n 8n 8n größte Zahl x max 8n Byte Bits x min x max ) Gleitkomma-Zahlen i) Schriftliches Dividieren (wie in Aufg ): 0 0 : 00 (binär) : 0 : bzw Damit erhält man insgesamt: Alternative: < 0 4 < < < < ii) Rundungsregel (korrektes Runden) für eine Zahl x ( ) ν e x x x t x t x t+ x t+ :

3 Nr Fallbed Rundungsvorschrift Einfacher Fall: Abrunden ) x t 0 rd(x) ( ) ν e x x x t Einfacher Fall: Aufrunden x t ) x t x t+ x t rd(x) ( ) ν e (x x x t + (t ) ) Runden zur näheren geraden Mantissen-Zahl: 3) x t x t x t rd(x) ( ) ν e x x x t 4) x t x t x t rd(x) ( ) ν e (x x x t + (t ) ) Erläuterungen zu den verschiedenen Fällen: Fall ) und ) stellen den normalen Fall dar, dass eine reelle Zahl nicht genau in der Mitte zwischen den beiden nächsten Maschinenzahlen liegt; es wird zum näheren Nachbarn gerundet Fall 3) und 4) bewirken ein Runden mit Mantissenende x t 0 für reelle Zahlen, die genau zwischen zwei Maschinenzahlen liegen In Fall ) und 4) wird mit + (t ) das letzte Bit um eins erhöht (und eventuell ein Übertrag durchgeführt) Frage: Wie kann eine Floating Point Einheit auf der CPU unendlich viele Stellen zum Runden ausrechnen (z B bei periodischen Nachkommastellen)? Das ist nicht nötig Z B muss bei der Division lediglich bekannt sein, ob ein x t+ ungleich 0 ist Diese Information ist ueber den Rest erhältlich, der ab dem Berechnen von der Stelle x t+ übrig bleibt Beispiel: Es stehen zwei Mantissenbits zur Verfügung, also:, x x t x t x t+ x t Damit sind die folgenden Zahlen exakt darstellbar:, 00 0, 0, 5 0, 0, 5 0,, 75 0 Beispiele für alle vier Fälle aus der obigen Tabelle:

4 ,5,5,375,5,65,75,85 Fall :,09 Fall :, Fall 3:,5 Fall 4:,375 Abbildung : Veranschaulichung von Rundungen auf dem Zahlenstrahl Nr Binärzahl Dezimalzahl ab-/aufrunden ),00 0, abrunden ), 00, aufrunden 3), 00 00, 5 0 abrunden 4), 0 00, aufrunden Abbildung veranschaulicht die vier Fälle auf dem Zahlenstrahl Für unsere Zahl aus Teilaufgabe i) bedeutet das: Bit-Verwendungszweck gesetztes Bit für Vorzeichen ( Bit) ( - wird zu ) Exponent (8 Bits) ( ) 0 Mantisse (3 Bits) Das letzte Bit der Mantisse ergibt sich nach der Rundungsregel (so) iii) Die Zahl x + 30 ist nicht exakt darstellbar (zuwenig Stellen) Die Zahl wird als rd(x) abgespeichert (vgl Rundungsregeln) Absoluter Fehler: Relativer Fehler: f abs : x rd(x) 30 f rel : f abs /x < 30 iv) Definition: Maschinengenauigkeit Die größte positive Zahl ε Ma, so dass ε Ma Die kleinste darstellbare Zahl größer als ist + 3 (3 Bits echt für Mantissen- Nachkommastellen frei, da Normierung nicht extra gespeichert werden muss!) Folglich liegt ε in einer Größenordnung von 4

5 4) Fehlerabschaetzung von Zeitschrittweiten Floating Point Darstellung von /60: Wir starten mit einfacher Division: : bzw ) ) Fuer die Mantisse stehen 3 Bit zur Verfuegung Die erste an der 6-ten Nachkommastelle wird allerdings nicht explizit abgespeichert D h erst ab der 30-ten Nachkommastelle koennen die Ziffern nicht mehr abgespeichert werden: 0, [ Nr der Nachkommastelle: Mit der Normalisierung und dem nicht-abspeichern der fuehrenden kann die Zahl deshalb bis auf die 9 Stelle genau abgespeichert werden Wie wird die Zahl dann als floating-point Zahl abgespeichert? Sign: 0 fuer positive Zahlen Exponent: b00 Mantisse: 0b mit nach oben gerundeter letzten Stelle! Sign Exponent Mantissa Floating point number: () Kleines Beispielprogramm fuer Zweifler: #i n c l u d e <iostream> i n t main ( ) { f l o a t l ( 0 / ) ; std : : cout << l << std : : endl ; std : : cout << ( void ) ( unsigned long )& l << std : : endl ; } / Output : x3c /

6 5) Ermittlung von π nach Archimedes i) Quadrat: s U s n H n h n s n+ Abbildung : Definition der rekursiven Größen ii) Es gilt mit den Definitionen aus Abbildung (+Satz von Pythagoras!): ( h sn ) n + H n h n ( Hn sn ) + s n+ und damit s n+ ( sn ) ( Hn + ( h n ) sn ) + ( ) ( sn ) ( sn ) + ( ) ( sn ) ( sn ) ( sn + + ( sn ) 4 s n ) Der gesamte Umfang des n -Ecks ergibt sich somit zu U n n s n und damit also π n U n / n s n

7 iii) Effekt wie in Tabelle auf Angabe: Vermeintlich höhere Genauigkeit durch mehr Rekursionen verbessert das Ergebnis nicht sondern zerstört den gesamten Wert! Problem: Auslöschung! Algebraische Umformung zur Vermeidung der Auslöschung: s n+ 4 s n s n + 4 s n + 4 s 4 s n n + 4 s n Vergleich der absoluten Fehler der beiden Formeln in Bezug auf echte Lösung π in semilogarithmischer Skala (erstellt mit matlab-programm archimedesm aus www): Approximation von π 0 0 schlechte Formel (Ausloeschung!) stabile Formel 0 5 Absoluter Fehler Iterationen