Επιστημονικός Υπολογισμός (set3) Δρ. Γιώργος Τσιρογιάννης
Μοντέλο Αριθμητικής και Σφάλματα υπολογισμού Απώλεια πληροφορίας λόγω: Μαθηματικής μοντελοποίησης και αποστεύσεων Διακριτοποίηση Σφάλματα στρογγύλευσης λόγω χρήση ακυ Στόχος είναι να πάρουμε τα μέτρα μας
Τι πρέπει να εξετάσουμε Επίδραση σφαλμάτων στις απαντήσεις Αν μπορούμε να μειώσουμε τα σφάλματα ώστε οι απαντήσεις να είναι χρήσιμες Πάντα για υπολογισμούς ακυ
Απόλυτο σφάλμα
Σχετικό σφάλμα Τι γίνεται όταν το σφάλμα είναι πολύ μεγάλο ή πολύ μικρό;
Πως γενικεύονται για διανύσματα και μητρώα Πρέπει η απόλυτη τιμή να αντικατασταθεί με κάποιο άλλο «μέτρο»
Όχι πάντα αποτελεσματικό Ισχύει Δεν απεικονίζεται το γεγονός ότι στο x1 τα στοιχεία 2:1000 έχουν σφάλμα 0!
Σχετικό σφάλμα ανά στοιχείο Στροφή της βιβλιογραφίας καθώς προσφέρει πλουσιότερη πληροφόρηση
Αριθμητική Κινητής Υποδιαστολής ακυ I would be afraid to fly in an airplane that was designed with floating point arithmetic. Αποδίδεται στο Aston Householder 1960 Σκοπός να μπορούν να αναπαρασταθούν όσο γίνεται περισσότεροι αριθμοί σε περιορισμένο αριθμό bytes
Σύστημα ακυ ακέραιος β: βάση (συνήθως 2) e: εκθέτης t: πλήθος ψηφίων για την αναπαράσταση του m στην βάση β ουρά δεκαδικός
Δυνατότητες αναπαράστασης του συστήματος ακυ Πεπερασμένο σύνολο ρητών αριθμών Οι ακραίες τιμές είναι συγκεκριμένες για κάθε τέτοιο σύστημα Μη-ισαπέχοντες αριθμοί Παραμένουν όμως πρακτικά χρήσιμα πολλοί στο πλήθος με σημαντικό εύρος για τις πρακτικές εφαρμογές μας! (32 και 64 bits στους σύγχρονους Η/Υ)
Τάξη μεγέθους και διακριτικότητα Εύρος Ακραίων τιμών Διακριτικότητα ακρίβεια
Η απεικόνιση fl() Απεικονίζει το πραγματικό x στο πλησιέστερο στοιχείο του F Απεικονίζει ένα απειροσύνολο σε ένα πεπερασμένο σύνολο
Το σύνολο G μ, Μ οι ελάχιστοι, μέγιστοι μη μηδενικοί αριθμοί του συστήματος ακυ
Συμπεριφορά της απεικόνισης fl() Τέλεια απεικόνιση
Συμπεριφορά της απεικόνισης fl() (συνέχεια) Στρογγύλευση Προκαλείται Σφάλμα
Υπερχείλιση, Υποχείλιση Υπερχείλιση Υποχείλιση
Στρογγύλευση προς το πληρέστερο
Τι γίνεται όταν βρίσκεται στο κέντρο δύο γειτονικών σημείων Επιλέγουμε εκείνο από τα άκρα που το τελευταίο ψηφίο του είναι ζυγό
Παράδειγμα Έστω F(10,4,-9,9) και x1=0.10005, x2=0.10015 Λύση: fl(x1) = 0.1000 και fl(x2) = 0.1002
Κανονικοποίηση Μη μοναδικός τρόπος αναπαράστασης Πρόβλημα Λύση Υποχρεώνουμε το πρώτο στοιχείο του m να είναι μη μηδενικό.
Αφού είναι το d1=1 πάντα, γιατί να το καταχωρήσω; Το λαμβάνω υπόψη μου στους υπολογισμούς αλλά δεν το καταχωρώ! Κρυμμένο bit
Τα συστήματα ακυ σήμερα
Τα συστήματα ακυ σήμερα
Τα συστήματα ακυ σήμερα VLSI - FPGA
Τα συστήματα ακυ σήμερα FPGA
Ιδιότητες του συστήματος ακυ Εύρος αναπαράστασης
Ιδιότητες του συστήματος ακυ
Ιδιότητες του συστήματος ακυ
Ιδιότητες του συστήματος ακυ
Ιδιότητες του συστήματος ακυ Μη ισοκατανομή
Το έψιλον της Μηχανής Η απόσταση που χωρίζει το 1 από τον αμέσως μεγαλύτερο ακυ
Παλαιότερος ορισμός εψιλον μηχανής Ελάχιστος θετικός ακυ για τον οποίο ισχύει fl(1+ε)>1
Το έψιλον της Μηχανής (φυσική σημασία) Δηλώνει την μέγιστη διακριτικότητα του συστήματος Αν γνωρίζουμε ότι μετά την υποδιαστολή χρησιμοποιούνται t-1 δυαδικά ψηφία τότε ο αμέσως επόμενος αριθμός μετά το 1 είναι ο 1+2 1-t.Οπότε ε m = 2 1-t
Φορητός Matlab κώδικας για τον υπολογισμό του εψιλον
Περιορισμοί συστήματος ακυ Μη κλειστότητα των πράξεων:
Πρέπει να ορίσουμε πράξεις ακυ που αντιστοιχούν σε πράξεις του R Θεμελιώδης προδιαγραφή: Exact rounding
Τι αλλάζει μεταξύ R, F (ακυ); Αξιώματα πρόσθεσης Αξιώματα πολλαπλασιασμού
Αξιώματα πρόσθεσης R
Αξίωμα Α0 Ισχύει αν επεκτείνουμε το F με κατάλληλα σύμβολα
Αξίωμα Α1 Ισχύει
Αξίωμα Α2 Δεν Ισχύει
Αξίωμα Α3, Α4 Ισχύουν
Αξιώματα πολλαπλασιασμού με προσθήκη συμβόλων x x
Αξίωμα Π4 Matlab κώδικας
Μετάδοση σφάλματος Υποθέτουμε: Κανονικοποίηση Στρογγύλευση προς το ζυγό
Μετάδοση σφάλματος Βάσει Θεμελιώδη προδιαγραφή: Επεκτείνουμε:
Μοντέλο διάδοσης σφάλματος
Γενικεύσεις
Παράδειγμα 1
Παράδειγμα 1(συνέχεια) Υπολογίζουμε τα επιμέρους τμήματα:
Παράδειγμα 1(συνέχεια) Κάνοντας αντικαταστάσεις:
Παράδειγμα 2ο
Παράδειγμα 2ο (συνέχεια) Κάνοντας αντικαταστάσεις:
Παράδειγμα 2ο (συνέχεια)
Παράδειγμα 2ο (συνέχεια)