Nächste Seite:
Abbildungsverzeichnis
Aufwärts:
Diplom
Vorherige Seite:
Diplom
Index
Inhalt
Abbildungsverzeichnis
Tabellenverzeichnis
1. Einleitung
1.1 Motivation
1.2 Angestrebte Ergebnisse
1.3 Aufbau der Arbeit
2. Wissensbasierte Konfigurierung
2.1 Einordnung
2.2 Methoden zur Konfigurierung
2.2.1 Regelbasiertes Konfigurieren
2.2.2 Strukturbasiertes Konfigurieren
2.2.3 Constraint-basiertes Konfigurieren
2.2.4 Ressourcenbasiertes Konfigurieren
2.2.5 Fallbasiertes Konfigurieren
2.2.6 Verhaltensbasiertes Konfigurieren
2.3 Konfigurierungswerkzeuge
3. Wissensbasierte Konfigurierung am Beispiel von EngCon
3.1 Übersicht
3.2 Historie
3.3 Architektur
3.4 Konzeptuelles Wissen
3.4.1 Begriffshierarchie
3.4.2 Konzeptuelle Hierarchie
3.4.3 Kompositionelle Hierarchie
3.4.4 Dynamische Spezialisierung durch taxonomische Inferenzen
3.4.5 Eigenschaften von Komponenten
3.5 Kontrollwissen
3.5.1 Kategorien von Kontrollwissen
3.5.2 Konfigurierungsvorgang
3.5.3 Interaktives Konfigurieren
3.6 Constraint-Wissen
3.6.1 Konzeptuelle Constraints
3.6.2 Constraint-Relationen
3.6.3 Constraint-Netz
3.6.4 Visualisierung des Constraint-Netzes
3.7 Diskussion zum Constraint-System
3.7.1 Constraints und mögliche Alternativen
3.7.2 Besonderheiten des Constraint-Systems von EngCon
3.7.3 Zusammenfassung
3.8 Anforderungen an einen Constraint-Solver für EngCon
4. Constraints - Konzepte und verfügbare Systeme
4.1 Einführung
4.2 Algebraische Constraints
4.3 Eigenschaften von Constraints
4.4 Ansätze zur Constraint-Verarbeitung
4.4.1 Allgemeine Konzepte
4.4.2 Constraint-Verfahren zur Konfigurierung
4.4.3 Überbestimmte Constraint-Probleme
4.4.4 Weiterführende Konzepte
4.5 Verfügbare Constraint-Systeme
4.5.1 Integrierte Constraint-Solver
4.5.2 Bibliotheken
4.5.3 Frameworks
4.5.4 Kooperative Ansätze
4.6 Fazit
5. Grundlegende Constraint-Lösungstechniken für ein hybrides System
5.1 Einführung
5.2 Klassische Constraint Satisfaction Probleme
5.2.1 Historisches Beispiel
5.2.2 Lösen eines CSP
5.2.3 Konsistenzverfahren
5.2.4 Suchverfahren
5.2.5 Heuristiken zur Variablen- und Werteauswahl
5.2.6 Behandlung von höherwertigen Constraints
5.3 Intervall Constraint Satisfaction Probleme
5.3.1 Intervallmathematik
5.3.2 Intervall-Splitting
5.3.3 Label Inference
5.3.4 Toleranzpropagation
5.3.5 2B-, 3B- und kB-Konsistenz
5.3.6 Box-Konsistenz
5.3.7 -Baum-Methode
5.4 Zusammenfassung und Diskussion
6. Ein hybrides Framework zur heterogenen Constraint-Verarbeitung
6.1 Einführung
6.2 Der Framework-Ansatz
6.3 Constraint-Lösungsstrategien
6.4 Ein hybrides Constraint-System
6.4.1 Ausführungsmodelle
6.4.2 Hybridizität versus Heterogenität
6.4.3 Heterogenes Constraint-Lösen
6.5 Systemarchitektur von YACS
6.6 Diskussion
7. Realisierung und Anbindung an EngCon
7.1 Einleitung
7.2 Das Framework-Konzept
7.3 Übersicht über die Packages
7.4 Der Constraint-Manager
7.5 Repräsentation von Constraint-Ausdrücken
7.5.1 Constraints
7.5.2 Wertebereiche
7.5.3 Elemente
7.6 Implementierte Constraint-Lösungsverfahren
7.7 Constraint-Lösungsstrategien
7.7.1 Der XML-Parser
7.7.2 Einbettung in Constraint-Netze
7.7.3 Ausführungskontrolle
7.7.4 Beispiel für einen Constraint-Lösungsvorgang
7.8 Ausnahmebehandlung
7.9 Integration
7.9.1 Anbindung an EngCon
7.9.2 Integration in andere Systeme
8. Validierung von YACS
8.1 Einleitung
8.2 Eigenschaften des Prototypen
8.3 Validierung anhand synthetischer Probleme
8.3.1 Übersicht über die Problemstellungen
8.3.2 Initialisierung der Constraint-Netze
8.3.3 Ergebnisse des ersten Auswertevorgangs
8.3.4 Modifikation der Constraint-Netze
8.3.5 Ergebnisse des zweiten Auswertevorgangs
8.3.6 Zusammenfassung
8.4 Validierung im Praxiseinsatz
8.4.1 Modifikation der Wissensbasen
8.4.2 Konfigurierung mit EngCon
8.4.3 Zusammenfassung
8.5 Vergleich mit weiterführenden Ansätzen
8.6 Zusammenfassung
9. Zusammenfassung und Ausblick
9.1 Zusammenfassung
9.2 Ausblick
A. Konfigurierungswerkzeuge
A.1 Historische Systeme
A.2 Verfügbare Produkte
A.3 Forschungsprototypen
B. Konfigurierungszyklus von EngCon
C. Constraint-Lösungsstrategien
D. Grammatik der Constraint-Ausdrücke
E. YACS API-Dokumentation
E.1 Package yacs
E.1.1 Interface YacsConstraintManager
E.1.2 Klasse YacsConstraintManagerImpl
E.2 Package yacs.net
E.2.1 Klasse ConstraintNet
E.2.2 Klasse Solution
E.2.3 Klasse Solutions
E.2.4 Klasse Strategy
E.2.5 Klasse StrategyReader
E.3 Package yacs.parser
E.3.1 Abstrakte Klasse Expression
E.3.2 Klasse BinaryOperator
E.3.3 Klasse UnaryOperator
E.3.4 Klasse Variable
E.3.5 Klasse Constant
E.4 Package yacs.domain
E.4.1 Klasse Domain
E.4.2 Abstrakte Klasse DomainElement
E.4.3 Klasse IntervalDomain
E.4.4 Klasse IntervalDomainElement
E.4.5 Klasse NumericFDDomain
E.4.6 Klasse NumericFDElement
E.4.7 Klasse SymbolicFDDomain
E.4.8 Klasse SymbolicFDElement
E.5 Package yacs.solver
E.5.1 Interface Solver
E.5.2 Abstrakte Klasse ConsistencySolver
E.5.3 Abstrakte Klasse PreprocessingSolver
E.5.4 Abstrakte Klasse SearchSolver
E.6 Package yacs.solver.fdsolver.consistency
E.6.1 Klasse AC3Solver
E.6.2 Klasse ACSolver
E.6.3 Klasse BinaryArc
E.6.4 Klasse HyperArc
E.6.5 Klasse NCSolver
E.7 Package yacs.solver.fdsolver.search
E.7.1 Klasse BacktrackingSolver
E.7.2 Klasse DomDegRatioVariableOrdering
E.7.3 Klasse MAC3Solver
E.7.4 Klasse MACSolver
E.7.5 Klasse SingleSolutionBTSolver
E.8 Package yacs.solver.intervalsolver.consistency
E.8.1 Klasse HullConsistencySolver
E.9 Package yacs.exceptions
F. Programm YacsTester
G. Glossar
Literaturverzeichnis
Stichwortverzeichnis
Nächste Seite:
Abbildungsverzeichnis
Aufwärts:
Diplom
Vorherige Seite:
Diplom
Index