Geometrisch-topologische Konsistenz in Geo-Informationssystemen

Präsentation zum Thema: "Geometrisch-topologische Konsistenz in Geo-Informationssystemen"—  Präsentation transkript:

1 Geometrisch-topologische Konsistenz in Geo-Informationssystemen
Dipl.-Inform. Gerhard Gröger Institut für Umweltwissenschaften Hochschule Vechta 14. Mai 1999

2 Rigorosum :08 Problemstellung GIS-Anwendung: Geo-Daten dürfen keine Fehler enthalten (Konsistenz) Geo-Daten: größter Kostenfaktor entstehender Markt Zuverlässige Verfahren erforderlich Fokus: geometrisch-topologische Konsistenz: Überlagerungsfreiheit von Flächen (Anwendungen: Amtliche Statistik, Kataster, ) Problemstellung: Wie wird die Überlagerungsfreiheit von Flächen zuverlässig und möglichst effizient sichergestellt? Konzeptioneller Ausgangspunkt: Landkarte Zu voll Mosaikzerlegung einmal erwähnen verdichten Zuverlässigkeit (105 %) Automatisch raus

3 Landkarten II I D Außen C A B
Schnittfreier Graph mit Knoten, Kanten und Maschen Maschen werden von einem einfachen Zyklus begrenzt Maschen überlagern sich nicht und überdecken die Ebene vollständig Explizite Repräsentation topologischer Beziehungen: Topologie(Kantenname, Anfangsknoten, Endknoten, Linke_Masche, Rechte_Masche) D Außen II C A I B

4 Überlagerungsfreiheit: existierende Verfahren
Rigorosum :08 Überlagerungsfreiheit: existierende Verfahren Kommerzielle GIS (z.B. Arc/Info): nicht nachvollziehbar und nicht verifizierbar Axiome: nachvollziehbar, aber nachweisbar nicht vollständig (erkennen nicht jeden Fehler): U.S. Bureau of the Census (1979) Gruppe um Martien Molenaar (ITC, Enschede, 1998) Europäische Vornorm ENV „Raumbezugs-schema“ (1998); Anwendung: ALKIS/ATKIS Überlagerungsfreiheit von Flächen kann bisher nicht zuverlässig sichergestellt werden Mathematische Definition: ungeeignet (WEG)

5 Axiome des „U.S. Bureau of the Census“
1. Schnittfreiheit der Kanten 2. Jede Kante hat zwei Maschen auf verschiedenen Seiten 3. Jede Masche wird von einem einfachen Zyklus begrenzt 4. Jeder Knoten hat einen Zyklus von Kanten und Maschen

6 Bisherige Axiome: Nicht aufgedeckter Fehler
Konsistente Landkarte Topologie-Relation unverändert Inkonsistenz zwischen Geometrie und Topologie

7 Neue, beweisbar vollständige Axiome
1. Schnittfreiheit der Kanten 2. Jede Kante hat zwei Maschen auf verschiedenen Seiten 3. Jede Masche wird von einem einfachen Zyklus begrenzt 4. Kein Mittelpunkt einer Kante liegt in einer Masche

8 Teure Axiome Axiom 1 (Schnittfreiheit): Unbedingt erforderlich, Aufwand von O(n log n) ist optimal Axiom 4 (Überlagerungsfreiheit): Punkt-in-Polygon-Verfahren für jede Kante und jede Masche:  Aufwand quadratisch in der Anzahl der Kanten: O(n²)  Vollständigkeit wird durch hohe Kosten erkauft Anzahl der Schnittpunkte gerade: außerhalb ungerade: innerhalb

9 Neue, beweisbar vollständige und effiziente Axiome
1. Schnittfreiheit der Kanten 2. Jede Kante hat zwei Maschen auf verschiedenen Seiten 3. Jede Masche wird von einem einfachen Zyklus begrenzt 4. Es gibt genau eine unbeschränkte Masche

10 „Effizientes“ Axiom 4 Es gibt genau eine unbeschränkte Masche
Summe der Innenwinkel: 5 * 180 – 360 = 540 Summe der Außenwinkel: 5 * = 1260 lokal überprüfbar, Aufwand linear in der Anzahl der Knoten: O(n) wesentlich effizienter als das „naive“ Axiom 4 (O(n²))

11 Kosten n² n log n n Aufwand „naives“ Axiom 4: O(n²)
Schnittaxiom: O(n log n) „effizientes“ Axiom 4: O(n) n² 2,5109 2109 1,5109 109 n log n 5108 n 10.000 20.000 30.000 40.000 50.000 Anzahl n der Kanten

12 Äquivalenz: „Naives“ und „effizientes“ Axiom 4
Rigorosum :08 Äquivalenz: „Naives“ und „effizientes“ Axiom 4 Satz: Wenn es nur ein „Außen“ gibt, dann überlagern sich Maschen nicht Beweis durch Widerspruch: Wenn sich zwei Maschen überlagern, dann gibt es zwei „Außen“  Widerspruch zu „effizientem“ Axiom 4 (genau ein „Außen“)

13 Überlagerungsfreiheit: Widerspruchsbeweis
Behauptung: Wenn sich zwei Maschen („Rot“ und „Blau“) überlagern, dann gibt es zwei „Außen“ Beweisidee: Gleich, wo man sich hinbewegt, man ist immer in zwei verschiedenen Maschen Rot = Blau kann nicht vorkommen dann hätte man eine Masche betreten, in der man bereits ist Widerspruch zu Axiom 3 („Jede Masche hat einfachen Zyklus“) Es gibt zwei „Außen“ M M‘  M M M‘  M M‘ M M‘ = Außen

14 Rigorosum :08 Zwischenresümee Bisherige Axiome: Überlagerungsfreiheit von Flächen nicht sichergestellt Axiom „Kein Mittelpunkt einer Kante liegt in einer Masche“ Überlagerungsfreiheit beweisbar sichergestellt nicht effizient Axiom „Es gibt genau eine unbeschränkte Masche“ effizient: asymptotisch optimaler Aufwand (geringer als optimaler Aufwand für Schnittfreiheit) Zwischenresümee

15 Rigorosum :08 Verallgemeinerung Inseln (z.B. Berlin in Brandenburg) „Blau“ hat mehrere Zyklen Mehrere disjunkte Kontinente „Blau“ hat mehrere Zyklen Mehrere Kontinente, die sich in genau einem Punkt berühren „Blau“ hat nichteinfachen Zyklus Isthmen: linienhafte Verbindung zwischen disjunkten Kontinenten z.B. Hindenburgdamm/Sylt „Blau“ hat nicht-einfachen Zyklus Vorher angepasste Gliederung für jedes Thema 1 Folie hier nur Stichpunkte

16 Rigorosum :08 Erweiterung Hierarchisch strukturierte Objekte Geschachtelte Landkarten Integration mit Digitalen Geländemodellen (2,5D) Bedingte Delaunay-Triangulation Digitale Stadtmodelle (2,75D) 2D Topologie, 3D Koordinaten Integration von Unschärfe Adaption statistischer Verfahren Diskretisierung der Geometrie Vorher angepasste Gliederung für jedes Thema 1 Folie hier nur Stichpunkte

17 Resümee Problem: Zuverlässige Verfahren zur Überprüfung der Überlagerungsfreiheit von Flächen Problem der geometrisch-topologischen Konsistenz Bisherige Ansätze decken nicht jeden Fehler auf Neu: Verfahren (Axiome) für Landkarten: jeder Fehler wird beweisbar aufgedeckt effizient (asymptotisch optimal) Verallgemeinerungen und Erweiterungen Prototyp Beitrag zur Zertifizierung von Geo-Daten