Transformation und ontologische Formulierung multikriterieller Problemstellungen für die Lösung mit Verfahren der nichtlinearen Parameter-Optimierung / von Herrn Christian John M.Sc. Wuppertal, 15.10.2015
Inhalt
- Einleitung
- Grundlagen
- Problemstellungen
- Nichtlineare Parameter-Optimierung
- Kriterien einer Aufgabenstellung
- Standard-Modellierungssprachen
- Informationstechnologische Ontologien
- Stand der Forschung
- Generalisiertes Modell der Parameteroptimierung
- Grundelemente der Optimierung
- Parameter
- Bedingungen
- Gütewert und Zielfunktion
- Variator
- Abbruchkriterium
- Gesamtaufbau
- Testszenarien und Aufgabenstellungen
- Phasenbasiertes Transformationsmodell
- Aufgabenstellung
- Ziele und Anforderungen
- Risiken der Transformation
- Fehlformulierungen
- Fehlinterpretationen
- Unschärfe
- Unter- und Überbestimmtheit
- Uneinheitliche Wertebasis
- Ex falso quodlibet
- Informationsmodellierung der Transformation
- Berechnung und Lösung
- Szenario, Transformation und Konzentrat
- Rück-Transformation der numerischen Ergebnisse
- Anforderungen an eine Strukturierung der Semantik
- Transformationsvalidierung
- Validierung der Transformation
- Transformation als formale Abbildung
- Semantische Rücktransformation
- Isomorphismus als Idealtransformation
- Defekterkennung durch Validierung
- Ergebnisdaten
- Ontologische Formulierung der Ergebnisinterpretation
- Ontologie des Lösers
- Erweiterung der Ontologie des Lösers um semantische Elemente
- Ziele einer automatisierten Ergebnisinterpretation
- Vorher-Nachher-Vergleich
- Ergebnissatz-Vergleich
- Ergebnis-Markierung
- Ergebnis-Reporting
- Metadaten-Reporting
- Ergebnis-Folgeverarbeitung
- Begriffsanalyse
- Ontologie der Interpretation
- Interpretatorische Modellierungssprache
- Anforderungen an eine Modellierungssprache für Optimierung
- Verwendung existierender Modellierungssprachen
- Eigene XML-Sprachimplementierung
- Automatisierte Vor- und Nachbereitung
- Verallgemeinerung der Vor- und Nachbearbeitung
- Framework und Implementierung
- Klassenmodell der Optimierung
- Klassenmodell der Transformation
- Klassenmodell des Pre-Post-Processing
- Steuerkomponente des Pre- und Post-Processing
- Anwendungsbeispiele
- Rosenbrock-Testfunktion
- Kreis-Aufgabe
- Leiter-Aufgabe
- Schaf-Aufgabe
- Time Tabling
- Pattern-Matching
- Lemniskatenkran
- Zusammenfassung und Ausblick
- Anhang
- Literaturverzeichnis