Asynchrones Constraintlösen

dc.contributor.advisorJähnichen, Stefanen
dc.contributor.authorRingwelski, Georgen
dc.contributor.grantorTechnische Universität Berlin, Fakultät IV - Elektrotechnik und Informatiken
dc.contributor.refereeJähnichen, Stefanen
dc.contributor.refereeFrühwirth, Thomasen
dc.date.accepted2003-02-12
dc.date.accessioned2015-11-20T15:20:12Z
dc.date.available2003-02-20T12:00:00Z
dc.date.issued2003-02-20
dc.date.submitted2003-02-20
dc.description.abstractConstraint Satisfaction Probleme (CSP) bestehen aus einer Menge von Randbedingungen (Constraints), die einen gesuchten Lösungszustand beschreiben. Das Lösen von CSP, also das finden von Konfigurationen, in denen alle Randbedingungen erfüllt sind, ist ein aktuelles Forschungsgebiet mit vielen Anwendungsfeldern in Wirtschaft, Technik und dem alltäglichen Leben. CSP sind NP-vollständig, so daß in der Künstlichen Intelligenz nach Verfahren gesucht wird, die trotz des erforderlichen Nichtdeterminismus schnell genug für ihr jeweiliges Anwendungsgebiet eine oder mehrere Lösungen finden. In der Dissertation wird ein Ausführungsmodell definiert und verifiziert, das den Einsatz solcher effizienten Verfahren zum Lösen realer Problem erlaubt. Dieses Ausführungsmodell, das Asnychrone Constrainlösen (ACS), beschreibt, wie man Constraintlöser und Constraints für konkete Anwendungsgebiete erstellt und welche Ergebnisse dort berechnet werden können. ACS erlaubt, im Gegensatz zum Stand der Technik, auch das dynamische Hinzufügen und Zurücknehmen von Constraints während des Lösungsprozesses. Diese adaptive Constraintverarbeitung unterstützt die Verwendung Constraint-basierte Techniken in interaktiven und kontinuierlichen Softwaresystemen, die zuvor wegen der technischen Einschränkungen der erhältlichen Systeme kaum bearbeitbar waren, obwohl sie vom deklarativen Standpunkt aus oft sehr gut als CSP formuliert werden können. Desweiteren ist das Ausführungsmodell so konzipiert, daß es zur Verarbeitung von Constraints in verteilten und nebenläufigen Systemen geeignet ist. Auch für diesen immens an Bedeutung gewinnenden Anwendungsbereich waren zuvor nur sehr restriktive Ausführungsmodelle bekannt. In der Arbeit wird das ACS Modell und eine prototypische Implementierung vorgestellt, so daß sich neben den theoretischen Eigenschaften auch die Eignung für praktische Probleme zeigen lies.de
dc.identifier.uriurn:nbn:de:kobv:83-opus-5431
dc.identifier.urihttps://depositonce.tu-berlin.de/handle/11303/938
dc.identifier.urihttp://dx.doi.org/10.14279/depositonce-641
dc.languageGermanen
dc.language.isodeen
dc.rights.urihttp://rightsstatements.org/vocab/InC/1.0/en
dc.subject.ddc004 Datenverarbeitung; Informatiken
dc.subject.otherConstraintverarbeitungde
dc.subject.otherDynamische Constraintproblemede
dc.subject.otherVerteilte Constraintproblemede
dc.subject.otherConstraint processingen
dc.subject.otherDistributed constraint satisfactionen
dc.subject.otherDynamic constraint satisfactionen
dc.titleAsynchrones Constraintlösende
dc.title.subtitleEin generisches Ausführungsmodell zur adaptiven, inkrementellen Constraintverarbeitungde
dc.title.translatedAsynchronous Constraint Solvingen
dc.typeDoctoral Thesisen
dc.type.versionpublishedVersionen
tub.accessrights.dnbfree*
tub.affiliationFak. 4 Elektrotechnik und Informatikde
tub.affiliation.facultyFak. 4 Elektrotechnik und Informatikde
tub.identifier.opus3543
tub.identifier.opus4548
tub.publisher.universityorinstitutionTechnische Universität Berlinen

Files

Original bundle
Now showing 1 - 1 of 1
Loading…
Thumbnail Image
Name:
Dokument_48.pdf
Size:
2.27 MB
Format:
Adobe Portable Document Format

Collections