Wyniki wyszukiwania - BazTech

Ograniczanie wyników

1 Pomiary Automatyka Robotyka

1 2007

Znaleziono wyników: 1

Liczba wyników na stronie

Wyniki wyszukiwania

Wyszukiwano:
w słowach kluczowych: Constraint Logic Programming

Sortuj według:

Ogranicz wyniki do:

Harmonogramowanie zadań i rozdziału zasobów jako problem spełnienia ograniczeń

Sitek P., Wikarek J., Bocewicz G.

Pomiary Automatyka Robotyka

2007

R. 11, nr 2

W referacie przedstawiono możliwość formalizacji zagadnienia harmonogramowania zadań i rozdziału obciążeń w postaci problemu spełnienia ograniczeń - Constraint Satisfation Problem (CSP). Omówiono podstawowy algorytm CSP oraz techniki propagacji ograniczeń i backtrackingu. Z wykorzystaniem środowiska programowania w logice z ograniczeniami - Constraint Logic Programming (CLP), którego podstawowym zagadnieniem jest CSP, dokonano implementacji systemu wspomagania decyzji harmonogramowania produkcji. System opracowano przy wykorzystaniu pakietu ECLiPSe. W artykule zamieszczono również przykład ilustracyjny wspomagania decyzji harmonogramowania produkcji typu gniazdowego (job-shop).

Scheduling problems can be seen as a special type of Constraint Satisfaction Problem (CSP). This paper presents a formulating of scheduling problems as CSPs. To solve a CSP, different approaches have been developed. These approaches generally use constraint propagation to simplify the original problem and backtracking to directly search for possible solutions. To demonstrate flexibility of CSP approach, the implementation of decision support system for job-shop production based on Constraint Logic Programming (CLP) has been presented.