Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-25755
Titel: Lösen kombinatorischer Probleme mit Constraintprogrammierung in Oz
VerfasserIn: Würtz, Jörg
Sprache: Deutsch
Erscheinungsjahr: 1998
Kontrollierte Schlagwörter: Reihenfolgeproblem ; Constraint-logische Programmierung ; Oz <Programmiersprache>
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Dissertation
Abstract: In dieser Dissertation beschäftigen wir uns mit der Lösung kombinatorischer Probleme durch Constraintprogrammierung. Wir zeigen, daß verschiedene kombinatorische Probleme in der nebenläufigen Constraintsprache Oz effizient gelöst werden können. Wir führen ein formales Modell von constraintbasiertem Lösen kombinatorischer Probleme ein, das unabhängig von einer konkreten Programmiersprache ist, und wir zeigen, wie einige der derzeit besten Schedulingtechniken (Techniken für Ablaufplanung) aus dem Operations Research für Constraintpropagierung und Distribuierung in dieses Modell integriert werden können. Wir zeigen, wie dieses Modell in die nebenläufige Constraintsprache Oz eingebettet werden kann und belegen mit einer Reihe von Fallstudien für große und schwierige Probleme aus dem Gebiet des Scheduling die Leistungsfähigkeit des entwickelten Systems.
In this doctoral dissertation we deal with combinatorial problem solving by constraint programming. We show that a number of combinatorial problems can be efficiently solved in the concurrent constraint language Oz. We introduce a formal model for constraint-based combinatorial problem solving which is independent from a particular programming language. We show how some of the currently best scheduling techniques from Operations Research can be integrated in the model of constraint propagation and distribution. We embed this model in the concurrent constraint language Oz and prove the efficiency of the developed system by a series of case studies for large and hard problems from the area of scheduling.
Link zu diesem Datensatz: urn:nbn:de:bsz:291-scidok-2499
hdl:20.500.11880/25811
http://dx.doi.org/10.22028/D291-25755
Erstgutachter: Gert Smolka
Tag der mündlichen Prüfung: 14-Mai-1998
Datum des Eintrags: 19-Mai-2004
Fakultät: MI - Fakultät für Mathematik und Informatik
Fachrichtung: MI - Informatik
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
JoergWuertz_ProfDrGertSmolka.pdf1,36 MBAdobe PDFÖffnen/Anzeigen


Alle Ressourcen in diesem Repository sind urheberrechtlich geschützt.