next up previous contents index
Nächste Seite: 5.1 Einführung Aufwärts: Diplom Vorherige Seite: 4.6 Fazit   Inhalt   Index

5. Grundlegende Constraint-Lösungstechniken für ein hybrides System

Der Mangel an mathematischer Bildung
gibt sich durch nichts so auffallend zu erkennen,
wie durch maßlose Schärfe im Zahlenrechnen.
CARL FRIEDRICH GAUSS



Im ersten Teil dieses Kapitels werden Konsistenz- und Suchverfahren zum Propagieren und Lösen von klassischen Constraint-Problemen mit finiten Domänen behandelt. Dies beinhaltet Heuristiken zur Optimierung der Lösungssuche. Neben den Lösungsverfahren für binäre Constraint-Probleme werden außerdem Verfahren für n-stellige Probleme vorgestellt. Im zweiten Teil des Kapitels wird ein Überblick über Lösungsverfahren für intervallwertige Constraint-Probleme gegeben. Neben intervallarithmetischen Grundlagen beinhaltet dies Splitting-Techniken und Konsistenzalgorithmen, angewendet auf Intervalldomänen.



Unterabschnitte
next up previous contents index
Nächste Seite: 5.1 Einführung Aufwärts: Diplom Vorherige Seite: 4.6 Fazit   Inhalt   Index