权益分类	功能权益	普通用户	{{item.name}}会员
{{category.name}}	{{benefitItem.name}}

Rule-based specification, analysis and implementation of propagation algorithms for global constaints

全局约束传播算法的基于规则的规范、分析和实现

基本信息

批准号：
18899577
负责人：
Professor Dr. Thom Frühwirth
金额：
--
依托单位：
Institut für Softwaretechnik und Programmiersprachen
依托单位国家：
德国
项目类别：
Research Grants
财政年份：
2006
资助国家：
德国
起止时间：
2005-12-31 至 2010-12-31
项目状态：
已结题

来源：
https://gepris.dfg.de/gepris/projekt/18899577?language=en
关键词：
Rule based specification analysis implementation

项目摘要

Der Inhalt dieses Projekts ist die formal korrekte und effizient ausführbare Spezifikation der Propagierung von komplexen, sogenannten globalen Constraints mit Hilfe von regelbasierten Programmen. Ein Constraint-Problem besteht aus einer Menge von Einschränkungen (Constraints), die von jeder Lösung erfüllt werden müssen. Solche Probleme, darunter NP-voIlständige, können durch Methoden zur Vereinfachung - der Constraint- Propagierung - in Kombination mit Suchverfahren gelöst werden. Constraintspezifische Propagierungsverfahren können den Suchraum massiv und mit geringem Aufwand reduzieren. Allerdings erfordert die Beschreibung und korrekte Implementierung dieser Verfahren besondere Expertise. Die Propagierung einfacher, elementarer Constraints kann durch Regeln beschrieben werden, die in Sprachen wie Constraint Handling Rules direkt ausgeführt werden können. Verschiedene Methoden zur automatischen Generierung solcher Regeln aus der Definition einfacher Constraints existieren. In diesem Projekt soll untersucht werden, wie Propagierungsverfahren für komplexe (globale) Constraints durch Regeln spezifiziert werden können, und unter welchen Bedingungen eine automatische Generierung der Regeln möglich ist. Dieser Projektvorschlag verfolgt damit das klassische Ideal vom Erzeugen effizient lauffähiger Programme aus formalen Spezifikationen im Bereich der Constraint-Propagierung. Es sind zu diesem Ziel weltweit bereits erste, allerdings begrenzte Vorarbeiten vorhanden. Es bietet sich aufgrund unserer Vorarbeiten und Forschungskontakte eine konkrete Chance, einen wesentlichen, international relevanten Beitrag leisten zu können.

Der Inhalt dieses Projekts ist die formal correkte and effizient ausführbare Spezifikation der Propagierung von komplexen，sogenannten globalen约束mit Hilfe von regelbasierten Programmen。Ein Constraint-Problem besteht aus einer Menge von Einschränkungen（Constraints），die von jeder Lösung erfüllt韦尔登müssen.解决NP-问题的方法是通过约束条件的约束组合方法与其他韦尔登方法的组合。限制空间的大小，使其能在空间中运行，并使其能在空间中运行。所有的设计和实施都需要专业知识。基本约束可以通过规则韦尔登，在Sprachen中以约束处理规则直接韦尔登。验证自动生成规则的方法。In diesem Projekt soll untersucht韦尔登，wie ierungsverfahren für komplexe（globale）Constraints durch Regeln spezifiziert韦尔登können，und unter welchen Bedingungen eine automatische Generierung der Regeln möglich ist.该项目通过在约束条件下的形式化空间划分，将经典的理想从有效的提高效率的方案中去除。第一次世界大战结束后，所有的一切都开始了。这是一个很好的机会，一个国际性的机会。