Document

Werbung
Ausgleichung ohne Linearisierung
• Problematik
• Lösen linearer, nicht überbestimmter
Gleichungssysteme
• Lösen nicht linearer, nicht überbestimmter
Gleichungssysteme
• Lösen nicht linearer, überbestimmter
Gleichungssysteme
Ausgleichungsrechnung I
Gerhard Navratil
Beispiel: Tachymeter Zeiss Elta 2
Modell für Fehlerkorrektur:
Sinusschwingung
Vergleich mit
Laser-Interferometer
Messstelle d [m] Differenz c [mm]
2,035
4,042
5,998
2,8
-1,6
-7,5
7,973
-7,1
-0,7
10,002
 2

d [m]  a3 
c[mm ]  a0  a1  d [m]  a 2  sin
U

Ausgleichungsrechnung I
Gerhard Navratil
Beispiel: Fortsetzung
Näherungswerte:
mm
a  3mm, a  0
, a20  5,6mm
m
0
0
0
1
Gesucht: Wahrscheinlichste Werte der
Parameter a0 bis a3 und ausgeglichene
Beobachtungen di bzw. ci
Ausgleichungsrechnung I
Gerhard Navratil
Beispiel: Lösung (1)
Fehlender Näherungswert:
c  a0  a1d
U
a3  d 
 arcsin
2
a2
Erstes Wertepaar: Fehlermeldung, da
Ausdruck bei arcsin >1  2. Wertpaar
verwendet: a3=3,6
Ausgleichungsrechnung I
Gerhard Navratil
Beispiel: Lösung (2)
Ableitungen der Bedingungsgleichungen:

 2
d  a3  2
 a1  a2 cos
d
U
U

 1
c

1
a0

d
a1

 2
d  a3 
 sin 
a2
U


 2
d  a3  2
 a2 cos
a3
U
U
Ausgleichungsrechnung I
Gerhard Navratil
Beispiel: Lösung (3)
B-Matrix: Ableitungen nach c und d
A-Matrix: Ableitungen nach a0 bis a3
Widerspruchsvektor w
Gewichtsmatrix Einheitsmatrix
Gleichungssystem
 BB
 T
 A

T
A  k    w 
   



0  x   0 
Ausgleichungsrechnung I
Gerhard Navratil
Beispiel: Lösung (4)
Auflösung liefert Unbekanntenzuschläge x
und Verbesserungen v
Hauptprobe: 1 x, l   2,9
 2 x, l   4,3
3 x, l   0,1
 4 x, l   4,4
5 x, l   2,7 Geht nicht auf!
Iteration notwendig
Ausgleichungsrechnung I
Gerhard Navratil
Einfach lösbar weil …
Einfache, geschlossen Berechnung der
Näherungswerte
Wie geht man vor, wenn keiner der vier
Näherungswerte gegeben ist?
Konvergierende Iteration
Ausgleichungsrechnung I
Gerhard Navratil
Lösen nicht überbestimmter
Gleichungssysteme
2x  3y 1  0
x y 0
Gesucht: Lösung des Systems (gemeinsame Nullstellen der Polynome)
Lösung: 2 3  x   1
1 1  y    0 

   
Diagonalfom: 1 0  x   1  Lösung direkt
0 1  y    1 ablesbar!

   
Gegeben:
Ausgleichungsrechnung I
Gerhard Navratil
Lösen nicht überbestimmter, nicht
linearer Gleichungssysteme
Gegeben: 2 Festpunkte,
2 Strecken zu Neupunkt
Gesucht: Koordinaten
des Neupunktes
P1
P2
y
5
15
x
5
5
von nach s
P1
N
8
P2
N
6
Ausgleichungsrechnung I
Gerhard Navratil
Lösung (1)
Funktionaler Zusammenhang:
s N2 1   x1  x N    y1  y N   0
2
2
s N2 2  x2  x N    y2  y N   0
2
2
Ausmultipliziert:

 s

 x  0
 x  y  2 xN x1  2 y N y1  s  x  x  0
2
N
2
N
2
N1
 x  y  2 xN x2  2 y N y2
2
N
2
N
2
N2
2
1
x
2
2
mit den Unbekannten xN und yN
Ausgleichungsrechnung I
Gerhard Navratil
2
1
2
2
Lösung (2)
Einsetzen der bekannten Werte
xN2  y N2  10 xN  10 y N  14  0
x  y  10 xN  30 y N  214  0
2
N
2
N
Keine ‚nette‘ Form der Darstellung
(Lösung nicht direkt ablesbar)
Lösung direkt ablesbar aus (ohne Beweis):
x N2  y N2  10 x N  10 y N  14  0
57
yN 
0
5
Ausgleichungsrechnung I
Gerhard Navratil
Lösung (3)
Gesuchte Lösung des Systems ist:
57
yN 
5
49
x  10 x N 
 0  x N ,1  0,2 x N , 2  9,8
5
2
N
Lösung der Aufgabe:
y
Lsg 1 11,4
Lsg 2 11,4
x
0,2
9,8
Frage: Wie sind wir
auf das ‚nette‘
Gleichungssystem
gekommen?
Gröbner-Basis
Ausgleichungsrechnung I
Gerhard Navratil
Gröbner-Basis
Entwickelt von Buchberger in den 60erJahren des 20. Jahrhunderts
Gegeben: System F von Polynomen
Gesucht: Nullstellen von F
F in System G transformiert, das ‚nettere‘
Eigenschaften hat
F und G sind äquivalent  Lösung von G ist
auch Lösung on F
Ausgleichungsrechnung I
Gerhard Navratil
Begriffe
• Multivariate Polynome: Polynom in
mehreren Variablen – Kombinationen von
Variablen sind erlaubt (z.B. xy)
• Bivariate Polynome: 2 Variable
Ausgleichungsrechnung I
Gerhard Navratil
Beispiel
Gegeben sind:
bivariate Polynome
g  x 2 y 3  3 xy2  5 x
f1  xy  2 y
2
2
f2  2 y  x
System von Polynomen F   f1 , f 2 
Ausgleichungsrechnung I
Gerhard Navratil
Monomen
Summanden: Monome
Wichtigste Arten der Sortierung:
– Nach dem Lexikon (lexikographisch)
– Erst nach der Potenz, dann lexikographisch
Im Beispiel: lexikographisch (erst nach y,
dann nach x, dann absteigende Potenz)
Erstes Monom: Führendes Monom
Ausgleichungsrechnung I
Gerhard Navratil
Division/Reduktion (1)
Einzelne Monome von g werden mit Hilfe
von f1 und f2 eliminiert
2
2 3
Mögliche Division: h  g  3 y  f1  5x  6 y  x y
Reduziert g modulo f1
Das führende Monom von (3y)f1 muss eines
der Monome von g eliminieren
Mathematisch: g  f h
(„g reduziert sich zu h modulo f1“)
1
Ausgleichungsrechnung I
Gerhard Navratil
Division/Reduktion (2)
Im Allgemeinen viele verschiedene
Reduktionen möglich
In unserem Beispiel:
 
h2  g  xy2 f1  5 x  3xy2  2 xy3
x4 y
1 2 
h3  g   x y  f 2  5 x 
 3xy2
2
2

Somit: g  f h2 und g  f h3.
1
2
Ausgleichungsrechnung I
Gerhard Navratil
Division/Reduktion (3)
g F h bedeutet, dass sich g über die
Funktionen aus F zu h reduzieren lässt
Reduktion über eine endliche Anzahl von
Schritten: g *F h
Wenn nicht mehr weiter reduzierbar: h F
Ausgleichungsrechnung I
Gerhard Navratil
Eigenschaften der Reduktion
Terminierung – es gibt keine unendliche
Kette von Reduktionsschritten
Reduktion ist algorithmisch – für alle g
und F gibt es einen Algorithmus, der eine
reduzierte Form erzeugt
Nicht-Eindeutigkeit – aus g und F können
unterschiedliche Ergebnisse h und k
erzeugt werden:
h * g * k
F
F
Ausgleichungsrechnung I
Gerhard Navratil
F
F
Gröbner-Basis
Set von Polynomen mit eindeutiger
Reduktion
Definition:
F ist eine Göbner-Basis 
F ist eindeutig, also
g , h, k
h
F

*F g *F k F  h  k
Ausgleichungsrechnung I
Gerhard Navratil
S-Polynom
Gegeben 2 Polynome
Mit einem solchen Monom multipliziert,
sodass die führenden Monome gleich sind
S-Polynom ist die Differenz der beiden
Polynome
Ausgleichungsrechnung I
Gerhard Navratil
Beispiel: S-Polynom
Gegeben:
f1  xy  2 y
f2  2 y 2  x2
Gesucht: S-Polynom
Ergebnis:
1
S  f1 , f 2   y  f1  x  f 2
2
1 3
2
S  f1 , f 2   x  2 y
2
Ausgleichungsrechnung I
Gerhard Navratil
Bestimmung Gröbner-Basis
Gegeben: Beliebige Menge F von
Polynomen
Gesucht: Menge G von Polynomen, die eine
Gröbner-Basis bilden
Berechnung: Buchberger-Algorithmus
Ausgleichungsrechnung I
Gerhard Navratil
Buchberger-Algorithmus (1)
Setze G=F
Für jedes Paar von Polynomen f1 und f2  G:
– S[f1,f2] berechnen und zur reduzierten Form h
vereinfachen
– Wenn h = 0 dann nächstes Paar
– Wenn h ≠ 0 dann zu G hinzufügen und
iterieren
Ausgleichungsrechnung I
Gerhard Navratil
Buchberger-Algorithmus (2)
Lineare Polynome: Ergebnis entspricht der
Gauß‘schen Elminiation
 Verallgemeinerung der Gauß‘schen
Elimination
Nähere Beschreibung: Dissertation Bruno
Buchberger:
http://www.risc.uni-linz.ac.at/people/buchberg/
Berechnung: Software-Pakete
Ausgleichungsrechnung I
Gerhard Navratil
Was können wir jetzt?
• Lösen von linearen Gleichungssystemen:
z.B. Gauß‘sche Elimination
• Lösen von nicht linearen Gleichungssystemen: Gröbner-Basis
• Lösen von überbestimmten, linearen
Gleichungssystemen: Methode der
kleinsten Quadrate
Ausgleichungsrechnung I
Gerhard Navratil
Lösen überbestimmter, nicht
linearer Gleichungssysteme
Direkte Anwendung der Gröbner-Basis nicht
möglich
Lösung von Awange und Grafarend:
– Bestimmung der eindeutigen Lösungen über
Gröbner-Basis
– Lösungen als Beobachtungen betrachten und
Genauigkeit über Fehlerfortpflanzung
– Lösung nach Ausgleichung direkter
Beobachtungen
Ausgleichungsrechnung I
Gerhard Navratil
Vorteile dieser Lösung
• Keine Linearisierung
Somit keine Näherungswerte notwendig
• Keine Iteration nötig
• Für Detektion grober Fehler verwendbar
(A 2)
Ausgleichungsrechnung I
Gerhard Navratil
Beispiel: Überbestimmter
Bogenschnitt
Bogenschnitt von 3 Punkten 
3 eindeutige Lösungen N12, N13, N23
Zufällige Fehler bewirken Abweichungen
Vorschlag von Gauß: Eindeutige Lösung
über gewichtetes arithmetisches Mittel,
Gewichte aus Distanzen
Jacobi: Gewichte aus Determinanten der
Lösungen
Ausgleichungsrechnung I
Gerhard Navratil
Kombinationsansatz (1)
Lineares Problem:
a1 x  b1 y  y1  0
a2 x  b2 y  y2  0
a3 x  b3 y  y3  0

Aus je 2 Gleichungen eine Lösung:
Lösungen
Ausgleichungsrechnung I
Gerhard Navratil
n
 
 2
Kombinationsansatz (2)
Gewichtetes arithmetisches Mittel
 12 x12   23 x23  
x
 12   23  
 12 y12   23 y23  
y
 12   23  
Gewichte  aus
 12  a1b2  a2b1 2
2
 23  a2b3  a3b2 

Ausgleichungsrechnung I
Gerhard Navratil
Kombinationsansatz (3)
Nicht lineares Problem: Gewichte über
Fehlerfortpflanzung abzuleiten
Liefert Varianz-Kovarianzmatrix
Ausgleichung direkter Beobachtungen
Ausgleichungsrechnung I
Gerhard Navratil
Zusammenfassung
• Notwendige Linearisierung bei Ausgleichsproblemen kann zu Schwierigkeiten führen
• Gröbner-Basis ermöglicht Lösung ohne
Linearisierung (also auch ohne
Näherungswerte)
• Vorteile: Rechenaufwand abschätzbar,
Wiederholung einfach
• Nachteil: Mathematisch aufwändiger
Ausgleichungsrechnung I
Gerhard Navratil
Herunterladen