Ειδικά Θέματα Συνορθώσεων & Εφαρμογές 8 ο εξάμηνο, Ακαδημαϊκό έτος 2017-2018 Συνόρθωση κατά στάδια και αναδρομικοί αλγόριθμοι βέλτιστης εκτίμησης Χριστόφορος Κωτσάκης Τμήμα Αγρονόμων και Τοπογράφων Μηχανικών Πολυτεχνική Σχολή, ΑΠΘ
Εισαγωγή Πολλές εφαρμογές στη Γεωδαισία απαιτούν την επίλυση μεγάλων προβλημάτων συνόρθωσης, τα οποία εμπεριέχουν έναν πολύ μεγάλο αριθμό άγνωστων παραμέτρων ή/και παρατηρήσεων. Για την επίλυση τέτοιων προβλημάτων απαιτείται η χρήση διαχωρισμένων τεχνικών (distributed processing) ώστε η υλοποίηση της συνόρθωσης να μπορέσει να γίνει σε επιμέρους μικρότερα και απλούστερα αλγοριθμικά βήματα.
Παράδειγμα Συνόρθωση ημερήσιων παρατηρήσεων GPS (διπλές διαφορές) σε παγκόσμιο δίκτυο 69 μόνιμων σταθμών IGS για συνολικό χρονικό διάστημα δύο ετών: o 39,936,970 παρατηρήσεις o 1,604,645 άγνωστες παράμετροι 1,422,746 ασάφειες φάσης 4,332 παράμετροι περιστροφής Γης 82,800 τροχιακές παράμετροι 94,353 τροποσφαιρικές παράμετροι 414 συντεταγμένες + ταχύτητες σταθμών
Εισαγωγή Διαχωρισμένες τεχνικές συνόρθωσης είχαν ήδη προταθεί από τον F.R. Helmert (1880) για την επίλυση του Ευρωπαϊκού γεωδαιτικού δικτύου από μετρήσεις τριγωνισμού πολλών χωρών. π.χ. Helmert-Wolf blocking method αποτελεί ένα κλασσικό παράδειγμα παράλληλης επεξεργασίας (parallel processing) σε προβλήματα συνόρθωσης. Γενικεύσεις αυτής της μεθόδου χρησιμοποιούνται σήμερα για την επεξεργασία και συνόρθωση μετρήσεων σε μεγάλα παγκόσμια δίκτυα μόνιμων σταθμών GNSS.
Τι θα δούμε εδώ; Το βασικό αλγοριθμικό πλαίσιο για την αντιμετώπιση προβλημάτων συνόρθωσης και εκτίμησης παραμέτρων με τεχνικές διαχωρισμένης επεξεργασίας, δηλαδή: Συνόρθωση μέσω συνδυασμού επιμέρους κανονικών εξισώσεων Συνόρθωση μέσω συνδυασμού επιμέρους λύσεων Συνόρθωση κατά στάδια μέσω αναδρομικών αλγορίθμων Δυναμικά προβλήματα συνόρθωσης (Kalman filtering)
Γενικό μοντέλο περιγραφής του προβλήματος Βασικές προυποθέσεις: y1 A1 v1 x y A v k k k o Διαχωρισμός παρατηρήσεων σε υπο-ομάδες που θεωρούνται ασυσχέτιστες μεταξύ τους. o Οι παρατηρήσεις σε κάθε υπο-ομάδα y i μπορεί να είναι συσχετισμένες μεταξύ τους.
Γενικό μοντέλο περιγραφής του προβλήματος y1 A1 v1 x y A v k k k Πίνακας βάρους των παρατηρήσεων: P P1 0 0 P k block-wise διαγώνιος πίνακας (οι υποπίνακες P i δεν είναι αναγκαστικά διαγώνιοι)
Γενικό μοντέλο περιγραφής του προβλήματος y1 A1 v1 x y A v k k k Ο διαχωρισμός των υπο-ομάδων μπορεί να σχετίζεται με: o τον τύπο των παρατηρήσεων o τον χρόνο συλλογής των παρατηρήσεων o την χωρική κατανομή των παρατηρήσεων o συνδυασμός των παραπάνω
Γενικό μοντέλο περιγραφής του προβλήματος ΣΗΜΕΙΩΣΗ: y1 A1 v1 x y A v k k k Ο διαχωρισμός του διανύσματος x σε υπο-ομάδες παραμέτρων απαιτείται σε κάποιες τεχνικές διαχωρισμένης συνόρθωσης που θα παρουσιαστούν στη συνέχεια (βλέπε, Helmert-Wolf blocking, Kalman filtering).
Συνόρθωση σε ένα στάδιο y1 A1 v1 x y A v k k k Γενική μορφή λύσης (batch algorithm): 1 1 1 1 k k k 1 1 1 k k k xˆ A P A A P A A P y A P y 1 k k k C A P A A P A xˆ 1 1 1 Ταυτόχρονη χρήση όλων των παρατηρήσεων!
Συνόρθωση μέσω συνδυαστικών τεχνικών
Συνόρθωση με συνδυασμό επιμέρους λύσεων y1 A1 v1 x y A v k k k συνολικό σύστημα εξισώσεων παρατηρήσεων y1 A1 x v 1 xˆ 1, Cx y A x v k k k xˆ, C ˆ1 k xˆ k λύσεις συνόρθωσης από τις διαφορετικές ομάδες παρατηρήσεων
Συνόρθωση με συνδυασμό επιμέρους λύσεων y1 A1 v1 x y A v k k k συνολικό σύστημα εξισώσεων παρατηρήσεων ˆ 1, Cx x xˆ, C ˆ1 k xˆ k (*) Γενικευμένος μέσος όρος των επιμέρους λύσεων 1 1 1 1 1 xˆ xˆ xˆ 1 xˆ xˆ C C C xˆ C xˆ 1 k 1 k k 1 1 C C C x ˆ x ˆ 1 x ˆ k 1
Συνόρθωση με συνδυασμό επιμέρους κανονικών εξισώσεων y1 A1 v1 x y A v k k k συνολικό σύστημα εξισώσεων παρατηρήσεων y A x v 1 1 1 y A x v k k k N1xˆ u1 επιμέρους κανονικές εξισώσεις από τις διαφορετικές ομάδες N xˆ u k k παρατηρήσεων
Συνόρθωση με συνδυασμό επιμέρους κανονικών εξισώσεων y1 A1 v1 x y A v k k k συνολικό σύστημα εξισώσεων παρατηρήσεων N xˆ u 1 1 N xˆ u k k (*) Άθροιση κανονικών εξισώσεων (NEQ stacking) 1 ˆ 1 1 k 1 k x Ν Ν u u Ν u N u
Συνόρθωση κατά στάδια μέσω αναδρομικών αλγορίθμων
Συνόρθωση κατά στάδια Διαδικασία βέλτιστης εκτίμησης παραμέτρων με τμηματική εισαγωγή των παρατηρήσεων μέσω αναδρομικών αλγορίθμων συνόρθωσης. Η τελική λύση είναι ισοδύναμη με τη λύση ενιαίας συνόρθωσης όλων των παρατηρήσεων σε ένα βήμα. Αποτελεί ένα εξαιρετικά χρήσιμο εργαλείο για: επεξεργασία μεγάλου όγκου δεδομένων ενημέρωση εκτιμήσεων με νέα δεδομένα εκτίμηση χρονικά-μεταβαλλόμενων παραμέτρων σε συνθήκες πραγματικού χρόνου
Συνόρθωση κατά στάδια Σχετική ξενόγλωσση ορολογία: o o o o o Sequential least-squares adjustment Recursive least-squares adjustment Phased least-squares adjustment Helmert-Wolf blocking (γεωδαιτική ορολογία) Kalman filtering
Συνόρθωση κατά στάδια Δεν είναι απαραίτητο να χρησιμοποιούμε ταυτόχρονα όλες τις διαθέσιμες παρατηρήσεις. Αυτό που απαιτείται είναι μία τρέχουσα εκτίμηση των παραμέτρων (με την ακρίβεια της) και οι νέες παρατηρήσεις που θα ληφθούν υπόψη. o απαραίτητη διαδικασία για την real-time εκτίμηση χρονικά-μεταβαλλόμενων παραμέτρων o επιθυμητή διαδικασία για την εκτίμηση παραμέτρων σε μεγάλα προβλήματα συνόρθωσης
Σταδιακή συνόρθωση: πως; y1 A1 v1 x y A v k k k Αναδρομικός αλγόριθμος λύσης (recursive algorithm): 1 (1) 1 1 1 1 1 1 xˆ A P A A P y initialization x ˆ x ˆ K y A x ˆ ( k) ( k1) k k k ( k1) updating
Σταδιακή συνόρθωση: πως; y1 A1 v1 x y A v k k k Αναδρομικός αλγόριθμος λύσης (recursive algorithm): 1 (1) 1 1 1 1 1 1 xˆ A P A A P y initialization x ˆ x ˆ K y A x ˆ ( k) ( k1) k k k ( k1) updating (*) οι σχέσεις αυτές είναι γνωστές ως μορφή Kalman
Προσοχή στο συμβολισμό ˆx (1) Εκτίμηση παραμέτρων από το 1 ο σετ παρατηρήσεων ˆx (2) xˆ ( k ) Εκτίμηση παραμέτρων από το 1 ο και 2 ο σετ παρατηρήσεων Εκτίμηση παραμέτρων από το 1 ο, 2 ο,, και k th σετ παρατηρήσεων
Αναδρομική διαδικασία Παρατηρήσεις y 1 Αποτελέσματα ˆx (1) y 2 y k ˆx (1) xˆ ( k 1) ˆx (2) xˆ ( k )
Σταδιακή συνόρθωση: πως; y1 A1 v1 x y A v k k k Αναδρομικός αλγόριθμος λύσης (recursive algorithm): 1 (1) 1 1 1 1 1 1 xˆ A P A A P y initialization x ˆ x ˆ K y A x ˆ ( k) ( k1) k k k ( k1) updating Πίνακας κέρδους (gain matrix)
Σταδιακή συνόρθωση: πως; y1 A1 v1 x y A v k k k Αναδρομικός αλγόριθμος λύσης (recursive algorithm): 1 (1) 1 1 1 1 1 1 xˆ A P A A P y initialization x ˆ x ˆ K y A x ˆ ( k) ( k1) k k k ( k1) updating Τι εκφράζει αυτή η ποσότητα;
Δύο ισοδύναμοι αναδρομικοί αλγόριθμοι εκτίμησης Initialization 1 xˆ (1) A1 P1 A1 A1 P1 y 1 Cxˆ A1 P1 A1 Updating x ˆ x ˆ K y A x ˆ ( k) ( k1) k k k ( k1) Υπολογισμός πίνακα κέρδους και ακρίβειας εκτίμησης (1) 1 xˆ 1 xˆ ( k) ( k1) k k k C C A P A k k k K C A P xˆ ( k ) 1 1 k xˆ k k k xˆ k K C A P A C A xˆ ( k1) ( k1) C I K A C ( k) ( k 1) k k xˆ 1
Σύνοψη αλγορίθμων Ταυτόχρονη συνόρθωση όλων των παρατηρήσεων 1 1 1 k k k 1 1 1 k k k xˆ A P A A P A A P y A P y Λύση συνδυασμού από επιμέρους κανονικές εξισώσεις Λύση συνδυασμού από επιμέρους λύσεις 1 Λύση αναδρομικής συνόρθωσης σε διαδοχικά στάδια 1 1 xˆ Ν1 Νk u1 uk 1 1 1 1 xˆ xˆ xˆ 1 xˆ k x ˆ C C C x ˆ C x ˆ 1 k 1 1 1 k 1 1 xˆ Ν Ν Ν xˆ Ν xˆ 1 (1) 1 1 1 1 1 1 xˆ A P A A P y x ˆ x ˆ K y A x ˆ ( k) ( k1) k k k ( k1) k k k
Σύνοψη αλγορίθμων (συνεχ.) Ταυτόχρονη συνόρθωση όλων των παρατηρήσεων 1 k k k C A P A A P A xˆ 1 1 1 Λύση συνδυασμού από επιμέρους κανονικές εξισώσεις 1 1 k C N N xˆ Λύση συνδυασμού από επιμέρους λύσεις 1 1 C C C x ˆ x ˆ 1 x ˆk 1 Λύση αναδρομικής συνόρθωσης σε διαδοχικά στάδια 1 C xˆ C ( k) ˆ A P A x( k1) k k k 1
Δυναμικά προβλήματα συνόρθωσης (Kalman filtering)
Χαρακτηριστικά δυναμικών προβλημάτων συνόρθωσης Οι υπο-ομάδες των παρατηρήσεων {y 1, y 2,, y k } αντιστοιχούν σε διαφορετικές εποχές μετρήσεων. Οι παρατηρήσεις θεωρούνται ασυσχέτιστες ανάμεσα στις διαφορετικές εποχές. Οι τιμές των αγνώστων παραμέτρων δεν είναι σταθερές σε κάθε εποχή, π.χ. o κινηματικές εφαρμογές προσδιορισμού θέσης/ταχύτητας o ανάλυση και συνόρθωση διαχρονικών/δυναμικών δικτύων
Στατική vs. δυναμική περιγραφή των αγνώστων παραμέτρων στο διαχωρισμένο μοντέλο εξισώσεων παρατηρήσεων y1 A1 v1 x y A v k k k y1 A1 0 x( t1) v1 k k ( tk ) y 0 A x vk
Συνόρθωση με χρονικάμεταβαλλόμενες παραμέτρους y1 A1 0 x( t1) v1 k k ( tk ) y 0 A x vk Το μόνο εφικτό αποτέλεσμα μέσω του παραπάνω μοντέλου είναι η μεμονωμένη εκτίμηση παραμέτρων σε κάθε εποχή: 1 t i i i i i i i xˆ( ) A P A A P y
Συνόρθωση με χρονικάμεταβαλλόμενες παραμέτρους y1 A1 0 x( t1) v1 k k ( tk ) y 0 A x vk Μπορούμε να αξιοποιήσουμε μετρήσεις προηγούμενων εποχών για την βέλτιστη εκτίμηση των παραμέτρων σε τρέχουσα εποχή ; Ναι! Για τον σκοπό αυτό όμως χρειάζεται να έχουμε διαθέσιμο κάποιο (θεωρητικό) μοντέλο διαχρονικής σύνδεσης των παραμέτρων ανάμεσα σε διαφορετικές εποχές: x(t j ) = f( x(t i ) )
Συνόρθωση με χρονικάμεταβαλλόμενες παραμέτρους Μοντέλο εποχιακών παρατηρήσεων y1 A1 0 x( t1) v1 k k ( tk ) y 0 A x vk Μοντέλο δυναμικής αλλαγής παραμέτρων (για τη μεταβολή των τιμών τους από εποχή σε εποχή) x( t) Φ( t, t) x( t) ransition matrix
Παράδειγμα δυναμικού μοντέλου Kινούμενος δέκτης GPS με σταθερή ταχύτητα x( t) 1 0 ( t t) 0 x( t) y( t) 0 1 0 ( t t) y( t) x( t) 0 0 1 0 x( t) y( t) 0 0 0 1 y( t) x( t) Φ( t, t) x() t
Παράδειγμα δυναμικού μοντέλου Κινούμενος δέκτης GPS με σταθερή επιτάχυνση 1 2 1 0 ( tt) 0 ( tt) 0 2 1 2 ( ) 0 1 0 ( t t) 0 ( t t) x t ( ) 2 x t y( t ) y( t) 0 0 1 0 ( t t) 0 x( t) x( t) y( t) y( t) 0 0 0 1 0 ( t t) x( t) x( t) yt ( ) 0 0 0 0 1 0 yt () 0 0 0 0 0 1 x( t) x() t Φ( t, t) ΤΑΤΜ ΑΠΘ
Μοντέλο δυναμικής συνόρθωσης Συνδυάζοντας το μοντέλο εποχιακών μετρήσεων μαζί με το δυναμικό μοντέλο, παίρνουμε το παρακάτω σύστημα εξισώσεων παρατήρησης που μπορεί να αξιοποιηθεί για την βέλτιστη εκτίμηση των παραμέτρων σε οποιαδήποτε εποχή (t) με χρήση όλων των διαθέσιμων μετρήσεων. y1 A1 Φ( t1, t) v1 x( t) k k ( tk, t) y A Φ vk t t k prediction t tk filtering t tk smoothing
Η λύση συνόρθωσης καταλήγει στην παρακάτω αναδρομική διαδικασία εκτίμησης y, A, P k1 k1 k1 yk, Ak, Pk xˆ ( ) t k 1 xˆ ( ) t k 1 Φ( tk, tk 1) xˆ ( ) t k xˆ ( ) t k C xˆ ( ) t k 1 C xˆ ( ) t k 1 (prediction) C xˆ ( ) t k C xˆ ( ) t k tk 1 (filtering) t k (filtering)
Διαδικασία Kalman filtering Τime updating (prediction) k k k1 ˆ k1 xˆ ( t ) Φ( t, t ) x ( t ) xˆ t ( ) k t t k1 t ˆ ( t ) k t x k1 C Φ(, ) C Φ (, ) k k1 Measurement updating (filtering) k k k k k k xˆ ( t ) xˆ ( t ) K y A xˆ ( t ) C 1 xˆ ( t ) ˆ k C x A P A ( tk) k k k 1 k k k K C A P xˆ ( tk )
Προσοχή στο συμβολισμό xˆ ( ) t k xˆ ( ) t k C C xˆ ( tk ) xˆ ( tk ) Εκτίμηση παραμέτρων και η ακρίβεια τους την εποχή t k χωρίς να ληφθούν υπόψη οι παρατηρήσεις της συγκεκριμένης εποχής προκύπτουν μέσω πρόγνωσης από την εκτίμηση προηγούμενης εποχής, με τη βοήθεια του δυναμικού μοντέλου του προβλήματος Εκτίμηση παραμέτρων και η ακρίβεια τους την εποχή t k λαμβάνοντας υπόψη τις παρατηρήσεις της συγκεκριμένης εποχής προκύπτουν μέσω φιλτραρίσματος τύπου Kalman
Συνόρθωση με χρονικάμεταβαλλόμενες παραμέτρους Μοντέλο εποχιακών παρατηρήσεων y1 A1 0 x( t1) v1 k k ( tk ) y 0 A x vk Μοντέλο δυναμικής αλλαγής παραμέτρων (για τη μεταβολή των τιμών τους από εποχή σε εποχή) x( t) Φ( t, t) x( t) w( t) ransition matrix System noise
Y (m) ΤΑΤΜ ΑΠΘ Διευρυμένο δυναμικό μοντέλο 1800 1600 1400 1200 1000 800 600 MODEL RAJECORY 400 200 500 1000 1500 2000 2500 3000 3500 4000 4500 5000 5500 X (m) x( t) Φ( t, t) x( t) w( t)
Η λύση συνόρθωσης καταλήγει στην παρακάτω αναδρομική διαδικασία εκτίμησης y, A, P k1 k1 k1 yk, Ak, Pk xˆ ( ) t k 1 xˆ ( ) t k 1 Φ( tk, tk 1) xˆ ( ) t k xˆ ( ) t k C xˆ ( ) t k 1 C xˆ ( ) t k 1 C w (prediction) C xˆ ( ) t k C xˆ ( ) t k tk 1 (filtering) t k (filtering)
Διαδικασία Kalman filtering Τime updating (prediction) k k k1 ˆ k1 xˆ ( t ) Φ( t, t ) x ( t ) xˆ t ( ) k t t k1 t ˆ ( t ) k t x k1 C Φ(, ) C Φ (, ) C w k k1 Measurement updating (filtering) k k k k k k xˆ ( t ) xˆ ( t ) K y A xˆ ( t ) C 1 xˆ ( t ) ˆ k C x A P A ( tk) k k k 1 k k k K C A P xˆ ( tk )
Y(m) ΤΑΤΜ ΑΠΘ Παράδειγμα εκτίμησης τροχιάς κινούμενου δέκτη 1800 1600 1400 1200 1000 800 600 predicted position estimated position true position 400 200 500 1000 1500 2000 2500 3000 3500 4000 4500 5000 5500 X(m)
Για περισσότερες λεπτομέρειες, βλέπε επίσης Gelb A. (1974) Applied optimal estimation. he Analytic Sciences Coorporation, Reading, MA. eunissen P.J.G. (2001) Dynamic data processing and recursive least squares. Series on Mathematical Geodesy and Positioning, VSSD, Delft, he Netherlands. Chui C.K., Chen G. (2009) Kalman filtering with real-time applications. 4 th edition, Springer, Berlin. Δερμάνης Α. (1987) Συνορθώσεις παρατηρήσεων & Θεωρία Εκτίμησης (τόμος ΙΙ). Εκδόσεις Ζήτη. βλέπε κεφάλαιο 8.5, σελ. 50-53 ΤΑΤΜ ΑΠΘ Σημειώσεις για το μάθημα Ειδικά Θέματα Συνορθώσεων και Εφαρμογές (8 ο εξάμηνο) Χ. Κωτσάκης, 2018