next up previous contents index
Nächste Seite: 8.4 Validierung im Praxiseinsatz Aufwärts: 8.3 Validierung anhand synthetischer Vorherige Seite: 8.3.5.6 Hull-Konsistenz (2)   Inhalt   Index

8.3.6 Zusammenfassung

Durch das Programm YacsTester konnte gezeigt werden, dass sich mit dem YACS-Framework unterschiedliche Problemstellungen unabhängig voneinander mit unterschiedlichen Constraint-Lösungsstrategien verarbeiten lassen. Dabei können verschiedene Domänen bearbeitet werden: sowohl numerische und symbolische finite Domänen als auch intervallwertige infinite Domänen.

Das YACS-Framework bietet unterschiedliche Konsistenz- und Suchalgorithmen zur Auflösung von Constraint-Problemen. Constraints lassen sich inkrementell dem Lösungsprozess zuführen. Ebenso können Wertebereichseinschränkungen jederzeit vorgenommen werden. Der Constraint-Auswertevorgang kann nach solchen Aktionen wiederholt durchgeführt werden.

Anhand des Programms YacsTester wurde die Nutzung der ,,äußeren Schnittstelle`` (vgl. Abschnitt 7.9.2) des YACS-Frameworks demonstriert. Die für die Initialisierung, Auswertung und Rückgabe der Ergebnisse der Constraint-Probleme benötigten Methoden werden für den Benutzer übersichtlich im Constraint-Manager von YACS zur Verfügung gestellt. Das Programm YacsTester ist vollständig in Anhang F ff. dokumentiert.

Nach diesen Validierungen mit unterschiedlichen synthetischen Problemstellungen soll anhand der Konfigurierung mit ENGCON die Praxistauglichkeit des YACS-Frameworks demonstriert werden.


next up previous contents index
Nächste Seite: 8.4 Validierung im Praxiseinsatz Aufwärts: 8.3 Validierung anhand synthetischer Vorherige Seite: 8.3.5.6 Hull-Konsistenz (2)   Inhalt   Index