Adaptive Modellierung und Simulation Kapitel 4: Hierarchische Modellierung Rüdiger Brause.

Slides:



Advertisements
Ähnliche Präsentationen
Vortrag von Stephanie Weirauch Jens Pleger Peter Jancke Frank Wejmelka
Advertisements

Algorithmen für das Erfüllbarkeitsproblem SAT
Schnelle Matrizenoperationen von Christian Büttner
Zerlegung von Graphen.
Graphen Ein Graph ist eine Kollektion von Knoten und Kanten. Knoten sind einfache Objekte. Sie haben Namen und können Träger von Werten, Eigenschaften.
Berg-Schlosser : VL : Vergleichende Politikwissenschaft Vergleichende Methoden Ausgangsbasis : Fälle: begrenzte Auswahl auf der Makro-Ebene, abhängig.
R. Der - Vorlesung Algorithmen und Datenstrukturen (Magister)
Marco Barz Seminar über Algorithmen SoSe2007
Rotation Planning for the Continental Service of a European Airline
HEINZ NIXDORF INSTITUT Universität Paderborn Fachbereich Mathematik/Informatik Algorithmische Probleme in Funknetzwerken X Christian Schindelhauer
Vorlesung Informatik 3 Einführung in die Theoretische Informatik (06 – Reduktion endlicher Automaten) Prof. Dr. Th. Ottmann.
Vorlesung Informatik 2 Algorithmen und Datenstrukturen (27 – Kürzeste Wege) Prof. Th. Ottmann.
Algorithmentheorie 12 – Spannende Bäume minimalen Gewichts
Computerkurs: Quantitative Auswertung biochemischer Experimente Tag 8 Einführung in die numerische Integration Aufgabe 18: Simulation einer Assoziationskinetik.
Seminar parallele Programmierung SS 2003
EINI-I Einführung in die Informatik für Naturwissenschaftler und Ingenieure I Vorlesung 2 SWS WS 99/00 Gisbert Dittrich FBI Unido
Proseminar „Algorithmen auf Graphen“
1 Kap. 2 Graphen Kap. 2.1 Netze Beispiele: MVV, Autobahnen, WIN, E/R, LH-Flüge, Stützgraphen, Petri-Netze, SIPs, ISA-Hierarchien, Operator-Graphen, Wartegraphen.
Planarisierung von Cluster Graphen
Schiller-Gymnasium Hof Manuel Friedrich OStR,
Strukturgleichungsmodelle
Minimum Spanning Tree: MST
Relationentheorie AIFB SS Algorithmen zur Bildung von 3NF-Relationsschemata Algorithmen zur Bildung von 3NF-Relationsschemata (2|8) (2)Synthese.
§9 Der affine Raum – Teil 2: Geraden
§ 29 Determinanten: Eigenschaften und Berechnung
Effiziente Algorithmen
Effiziente Algorithmen
Übersicht Motivation Konzeption Umsetzung/ Implementierung
Effiziente Algorithmen
Abschlussvortrag zur Studienarbeit
Effiziente Algorithmen
Geoinformation II Vorlesung 4 SS 2001 Voronoi-Diagramme.
Effiziente Algorithmen
Effiziente Algorithmen Hartmut Klauck Universität Frankfurt SS
Quantum Computing Hartmut Klauck Universität Frankfurt WS 05/
Black Box Algorithmen Hartmut Klauck Universität Frankfurt SS
Black Box Algorithmen Hartmut Klauck Universität Frankfurt SS
Effiziente Algorithmen Hartmut Klauck Universität Frankfurt SS
Black Box Algorithmen Hartmut Klauck Universität Frankfurt SS
Effiziente Algorithmen Hartmut Klauck Universität Frankfurt SS
Effiziente Algorithmen Hartmut Klauck Universität Frankfurt SS
Effiziente Algorithmen
Effiziente Algorithmen Hartmut Klauck Universität Frankfurt SS
Hartmut Klauck Universität Frankfurt SS
Beweissysteme Hartmut Klauck Universität Frankfurt WS 06/
Quantum Computing Hartmut Klauck Universität Frankfurt WS 04/
Institut für Theoretische Informatik
Institut für Theoretische Informatik
Technische Informatik Reihungen – Felder - Arrays.
Kapitel 16 Ökonometrische Modelle
Black Box Algorithmen Hartmut Klauck Universität Frankfurt SS
Kapitel 8: Graphalgorithmen 8. 1 Grundlagen 8
Informatik Datenstruktur Graph 3.3 Durchlaufen von Graphen
Petrinetze 1. Einführung Informatik : wesentlich Modellierung von
Algorithmen für das Erfüllbarkeitsproblem SAT
Institut für Kartographie und Geoinformation Prof. Dr. Lutz Plümer Geoinformation II 6. Sem. Vorlesung Mai 2000 Konstruktion des Voronoi-Diagramms.
Dr.-Ing. R. Marklein - GET I - WS 06/07 - V Grundlagen der Elektrotechnik I (GET I) Vorlesung am Fr. 08:30-10:00 Uhr; R (Hörsaal)
Testtheorie (Vorlesung 4: ) Wiederholung/Zusammenfassung
Adaptive Modellierung und Simulation Kapitel 1: Einleitung
Routenplanung querfeldein - Geometric Route Planning
Institut für Kartographie und Geoinformation Prof. Dr. Lutz Plümer Diskrete Mathematik II Vorlesung Voronoi-Diagramme.
Optimierungs- Algorithmen
Version vom Max-Flow in Orientierten Matroiden Winfried Hochstättler & Robert Nickel Fernuniversität in Hagen Lehrstuhl für Diskrete Mathematik.
Gliederung der Vorlesung
Institut für Informationssysteme Technische Universität Braunschweig Institut für Informationssysteme Technische Universität Braunschweig Verdrängung von.
Institut für Kartographie und Geoinformation Prof. Dr. Lutz Plümer Geoinformation II 6. Sem. Vorlesung 4 4. Mai 2000 Voronoi-Diagramm.
Einführung in die Informationsverarbeitung Teil Thaller Stunde V: Wege und warum man sie geht Graphen. Köln 14. Januar 2016.
 Gegenstandsbereich der Testtheorie: Analyse der Charakteristika von Tests:  Güte von Tests.  Struktur von Tests.  Schwierigkeit von Tests.  Gruppenunterschiede.
Jetzt starten! Arbeiten wir nicht für Geld, sondern lassen wir das Geld für uns arbeiten!
3. Die Datenstruktur Graph 3.2 Repräsentation von Graphen
 Präsentation transkript:

Adaptive Modellierung und Simulation Kapitel 4: Hierarchische Modellierung Rüdiger Brause

R.Brause, Kap. 4: Hierarch. Modellierung Hierarchische Modellierung Einführung Aggregation Multi-Level-Modelling Kausale Strukturanalyse R.Brause, Kap. 4: Hierarch. Modellierung

Konstruierte Hierarchie: Mini-Weltmodell – * B C D 1 < >0 U U* + % E K Bevölkerung Konsum Umweltbelastung F G evölkerung mwelt onsum 0,3 0,1C 0,1 1,1 Verknüpfungen Umweltschäden erhöhen Sterberate Umweltschäden erzwingen Geburtenkontrolle Bevölkerungsgröße und Konsum bewirken Umweltbelastung provoziert med. Konsum Konsum erhöht Lebenserwartung Mehr Umweltverschmutzung möglich R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Hierarchische Modellierung Einführung Aggregation Multi-Level-Modelling Kausale Strukturanalyse R.Brause, Kap. 4: Hierarch. Modellierung

Hierarchie durch Aggregation Beispiel INFORM-Weltmodell Historisch gewachsen Unterschiedliche Detaillierungsgrade Globales Modell Region 1 : Amerika 3 Ozeanien 4 Afrika 5 mittl.Osten 6 Ostasien Region 2: Europa Sachsen Bayern ... Sektor 4 : BRD Hessen R.Brause, Kap. 4: Hierarch. Modellierung

Untergliederung in Subsystemen Beispiel INFORGE-Modell R.Brause, Kap. 4: Hierarch. Modellierung

Untergliederung in Subsysteme Beispiel INFORGE-Modell: Gütergruppen Wirtschaftsgüter BRD Gütergruppe 1 ... Gütergruppe 59 Landwirtschaft und Jagd Häusliche Dienste Variable 1 ... Variable 250 Var1 ... Var250 R.Brause, Kap. 4: Hierarch. Modellierung

Subsystem-Vernetzung Beispiel Input-Output-Tabelle Diese Tabelle zeigt die 12x12 Verflechtungsmatrix, welche Produkte in welchem Wirtschaftszweig verwendet werden. R.Brause, Kap. 4: Hierarch. Modellierung

Untergliederung in Subsysteme Beispiel Modell LÄNDER (IAB) Modell eines Bundeslandes Rosa: Gesamte Bruttoinlandsprodukt Blau: Aufteilung der Wertschöpfung in Wirtschaftszweige R.Brause, Kap. 4: Hierarch. Modellierung

Vernetzung der Subsysteme Vernetzung von 16 LÄNDER mit INFORGE 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 Länderdaten der Wirtschaftsbereiche 2 3 4 Daten der Wirtschaftsbereiche r i 5 6 7 8 - 9 10 11 INFORGE s j Abstimmung durch biproportionale Skalierung RAS R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung RAS-Prozedur Gegeben: Zu erzielende Zeilensummen ri*, Spaltensummen sj*, initiale Matrix A = (Aij) Schritt 1: Bilde ri(0), Skaliere Zeilen i Aij(1) = Aij(0) ri*/ri(0) Schritt 2: Bilde sj(0), Skaliere Spalten j Aij(2) = Aij(1) sj*/sj(1) Wiederhole Schritt1+2 bis zur Konvergenz von A Formulierbar als Matrixmultiplikation mit Diagonalmatrizen A(k+1) = R(k) A(k) S(k+1) R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Hierarchische Modellierung Einführung Aggregation Multi-Level-Modelling Kausale Strukturanalyse R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Multilevel-Modelle Gruppenzusammengehörigkeit und Abhängigkeit Ebene 1: yij = aj + bjxij + eij Ebene 2: aj = bj = a0 + a1wj + uj b0 + b1wj + vj R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Multilevel-Modelle Beispiel Einfluss der Tabakindustrie in USA 1997-2000 R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Multilevel-Modelle Beispiel Einfluss der Tabakindustrie in USA 1997-2000 R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Multilevel-Modelle Beispiel Einfluss der Tabakindustrie in USA 1997-2000 R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Multilevel-Modelle Beispiel Einfluss der Tabakindustrie in USA 1997-2000 Vergleich der Modelle Angepasste Parameter R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Multilevel-Modelle Ergebnis Einfluss der Tabakindustrie in USA Prozentsatz an Zustimmung der Demokraten für Tabak-freundliche Gesetze North Carolina 220Ta Georgia 33 Ta Illinois 0 Ta Spenden in 1000 $ R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Hierarchische Modellierung Einführung Aggregation Multi-Level-Modelling Kausale Strukturanalyse R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Strukturanalyse Kausale Strukturanalyse - Wozu ? Ein klares Bild der kausalen Struktur kann bei der Konstruktion helfen, Modellierungsfehler zu vermeiden. Mit Hilfe der klaren Strukturen kann der Anwender leichter das Modell verstehen, d.h. seine Ziele und Annahmen zu erfassen und seine Hauptarchitektur zu verfolgen. Mit der Kenntnis der wichtigsten Ziele und Annahmen kann man auch leichter die theoretischen Eigenschaften und damit das Anwendungsgebiet des Modells abschätzen. Auch die Ergebnisse lassen sich so leichter interpretieren. Durch die Zerlegung des Modells in Mengen von zusammenhängenden Variablen lassen sich leichter die Punkte im Modell lokalisieren, die für eine bestimmte Analyse ausschlaggebend sind, unabhängig vom wesentlich größeren Modell, in das sie eingebettet sind. R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Strukturanalyse Beispiel RDX2 Kanad. Finanzmodell 271 int. Variablen 326 externe Variablen 1500 zeitversch. Var. zu 19 Zeitpunkten 3 Quartale 2 Quartale 1 Quartal Abhängigkeitsblock 252 Variable R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Strukturanalyse Beispiel RDX2 3 Quartale 2 Quartale 1 Quartal Abhängigkeitsblock 252 Variable Input XTR$13: Reisekosten in anderen Ländern (Eingabe) NPOPT, NPOP,NIMS: demoskop. Var. TOP,TCCF: Steuern (tax) XNMV12: Güterexport nach USA Output KMEY, KNRCGF,KNRCSM,URES,UGPPAMP,YKGP: gewünschter Kapitalertrag, und Aktienertrag URES: Kanad. Währungsreserven FIS: Fluss des Kurzzeit-Anlage Kapitals ULS: Kurzzeitkredite XBAL$: Netto-Resultat der Rechnung (Endknoten) R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Strukturanalyse Extrem komplexes Subsystem Abhängigkeitsblock 252 Variable 975 Kausalbeziehungen (ohne verzög.Var.) Millionen elementarer Kreise Submodel SM1 Vereinfachung der Abhängigkeiten: 97 Ersetzungen, ModellgrößenReduktion um 36% Kondensierter Graph SM1 durch Zusammenlegung gegenseitig verlinkter Knoten. HSTS, SHS, HSTM, SHM: Haus-bezogene Var. ATL: Aktivposten von Hypotheken und Darlehensinstituten IRC, SM1: Investitionen in Bauaktivitäten HAPLI, HAPTL: Kredite RMC: Zinshöhe R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Strukturanalyse Submodell SM1 Minimaler Graph Submodell 1a Submodell 1b Mutuell verbundene Variable sind wieder zusammengelegt. FIPVB12,FIGB13, FODI12, FOPL12: Finanzinput/output von aussen, besonders USA YDW: Ausgebbares Einkommen R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Strukturanalyse Submodell SM1a Gewinn des bereit gestellten Kapitals vs. Preismechanismen R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Strukturanalyse Submodell SM1b Kapitalquellen und Kapitalsenken (Investitionen) Violett: Finanzierung und Maschineninvestition FIDI13: Invest. In Kanada LDIPRV13: Anlagewert der Investitionen FIBL13: Verkauf kanad. Anteile (ohne USA) Rot: Das gleiche in USA KME: Kapitalvorrat PKB: Preis des Kapitals Grün: rigides Modell der Lohnbedingungen ('60/'70-Jahre) WQMMOB: Nominallöhne, unabh. Vom Arbeitsmarkt, da durch Tarifverhandl. Erreicht NU: Arbeitslosigkeit NL: Arbeit PCS: Preisveränd. YDP: Kaufkraft (ausgebbares persönliches Einkommen) Kritik: Dies ist die Lohn-Preis-Spirale. Dabei ist aber die Verwendung von YDP nicht sinnvoll! Besser: YDW aus SM1 verwenden, Interaktion YDP und YDW einbauen. R.Brause, Kap. 4: Hierarch. Modellierung

Systemgraph und Wirkungsgraph Allgemeines System z(t+1) = F(z(t),x(t),t) Lineares System z(t+1) = (I+A)z(t) + Bx(t) Nicht-lineares System Entwicklung von F(.) in Taylor-Reihe, Nutzung der linearen Terme A = (Aij) = , B = (Bij) = Zusammenfassung mit w = (z,x)T zur Adjazenzmatrix D w(t+1) = = = D w(t) R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Kausaler Systemgraph Beispiel z1 = F1(z2,z3,z4,z7) z2 = F2(z7) z3 = F3(z6,z9) z4 = F4(z7) z6 = F6(z1,z3,z4) z7 = F7(z2,z5) z8 = F8(z5,z7,z9) R.Brause, Kap. 4: Hierarch. Modellierung

Kausale Graphenanalyse Ermittle Blöcke Finde streng zusammenhängende Komponenten Formuliere Kausalketten Adjazenzmatrix  Erreichbarkeitsmatrix Reduziere Strukturen Ermittle indirekten Einfluss Ermittle minimale Struktur Lasse alle redundanten Einflüsse weg Ermittle essentielle Variablen in Blöcken Bilde bipartite Graphen Modelliere Zeitabhängigkeit Bilde multiple, zusammenhängende Kopien Reduziere Komplexität R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Definitionen Graph G = (V,E) mit Knotenmenge V, Kantenmenge E Adjazenzmatrix A = (Aij) mit Aij = 1 bei Eij  E, sonst = 0 Weg Knotenfolge V1,..,Vn mit ex.Kanten Eij, i,j aus 1,..,n Zyklus Weg mit V1=Vn Pfad Weg mit ungleichen Knoten Vi ≠ Vj, i,j aus 1,..,n Kreis Pfad mit V1=Vn Streng zusammenhängend Gs  G ist Subgraph mit Knoten Vi, Vj Gs ist „streng zusammenhängend“  WENN Pfad ex. von Vi zu Vj, DANN auch von Vj zu Vi R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung 1. Ermittle Blöcke Tue dies für alle Knoten V0 aus V: Start an einem beliebigen Knoten V0  V Berechne Menge R aller erreichbaren Knoten R(V0) = { Vi | ex. Pfad von V0 zu Vi} Berechne Menge Q aller erreichenden Knoten Q(V0) = { Vi | ex. Pfad von Vi zu V0} Berechne Schnittmenge R(V0)  Q(V0) Alle Knoten, zu denen ein Pfad hin und zurück ex. Ersetze die Schnittmenge jeweils durch einen einzigen Block (symbolischen Knoten): Knoten  Blöcke R.Brause, Kap. 4: Hierarch. Modellierung

2. Formuliere Kausalketten Ordne die Blöcke in Ebenen an Ebene 0: Alle Blöcke, in denen keine Kanten münden (Input) Ebene 1: Alle Blöcke, die direkt, aber nicht indirekt von Ebene 0 erreicht werden. …. Ebene i: Alle Blöcke, die direkt, aber nicht indirekt von Ebenen 0..i-1 erreicht werden. Umordnung der Blöcke in Adjazenzmatrix gemäß der Reihenfolge der Ebenen  Nur noch Einträge ≠ 0 oberhalb der Hauptdiagonale A = „Obere Dreiecksmatrix“ R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung 3. Reduziere Strukturen DEF Erreichbarkeitsmatrix Cij = 1, wenn Pfad = 1 ex. von Vi nach Vj Cij = i, wenn Pfad > 1 ex. von Vi nach Vj Cij = 0, sonst Ergänze die indirekten Einflüsse von Block i auf j Berechne Menge R aller von Vi beeinflussten Blöcke Vk R(Vi) = Vi  { Vk | Cik ≠ 0} Berechne Menge Q aller Vj beinflussenden Blöcke Vk Q(Vj) = Vj  { Vk | Ckj ≠ 0} Berechne Schnittmenge R(Vi)  Q(Vj) Alle Blöcke, die von Vi beeinflusst werden und Vj beeinflussen Untermodell für Einflüsse von Block i auf j R.Brause, Kap. 4: Hierarch. Modellierung

4. Ermittle minimale Struktur Unterscheide zwischen Basisverbindungen, direkten und indirekten Verbindungen Cij = b notwendig für Kausalität Cij = d direkte Verbindung, durch i ersetzbar Cij = i indirekt über andere Blöcke errreichbar Verbindungen d können weggelassen werden! 1 3 C12 = b C13 = d oder i C23 = b 2 R.Brause, Kap. 4: Hierarch. Modellierung

5. Ermittle essentielle Variablen Finde verantwortliche Variablen für Kreise Essentielle Rückkopplungsknotenmenge Knoten, mind. 1 mal in jedem Kreis Essentielle Rückkopplungskantenmenge Kanten, mind. 1 mal in jedem Kreis Beispiel a c1: 1  2  3  1 c c2: 2  3  2 b d Rückkoppl.knotenmenge: {2,3} Rückkoppl.kantenmenge: {c} 1 3 2 R.Brause, Kap. 4: Hierarch. Modellierung

6. Modelliere Zeitabhängigkeit Setze für jeden Zeitpunkt, der beeinflusst, einen Graph Verbinde die Graphen mit den Einflüssen Neue Erreichbarkeitsmatrix = zusammengesetzte obere Dreiecksmatrix Problem: Divergenz und Ausbreitung des Einflusses auf den Gesamtgraphen in wenigen Zeitschritten 1 2 3 t=2 1 2 3 t=0 1 2 3 t=1 R.Brause, Kap. 4: Hierarch. Modellierung

7. Reduziere Komplexität Variablenzahl verringern Variablensubstitution: 30-60% Größenreduktion i hat nur einen Einfluss k wird nur von einem beeinflusst Voraussetzung der Substitution: Keine Schleife zwischen i und k ; i ist kein Startknoten(Eingabe), k ist kein Endknoten Verschmelzung rückgekoppelter Variabler i k k i k k R.Brause, Kap. 4: Hierarch. Modellierung

R.Brause, Kap. 4: Hierarch. Modellierung Minimalgraph Zeichne nur die Basiskanten Zeichne Kanten zwischen Submodellen nur einmal Streiche alle essentiellen Rückkopplungskanten Berechne den minimalen Graphen der resultierenden Ebenenstruktur Addiere nun aus der Menge der essentiellen Rückkopplungskanten die Kanten, die Basiskanten sind, wieder zum Graphen. R.Brause, Kap. 4: Hierarch. Modellierung