Zastosowanie środowisk deklaratywnych do wspomagania decyzji harmonogramowania produkcji

• Autorzy: Sitek P. , Wikarek J.

Warianty tytułu

EN

Implementation of declarative framework for decision support in scheduling problems

• Konferencja: Konferencja Naukowo-Techniczna Automatyzacja - Nowości i Perspektywy (12 ; 2-4.04.2008 ; Warszawa, Polska)
• Języki publikacji: PL

Abstrakty

PL

Problemy harmonogramowania pojawiają się na wielu poziomach problemów decyzyjnych dotyczących produkcji. Na ogół charakteryzują się dużą liczbą ograniczeń (kolejności wykonania zadań, dostępnych zasobów itp.). Ze względu na zło- żoność obliczeniową wynikającą z dużej liczby zmiennych decyzyjnych całkowitoliczbowych oraz charakteru problemów są klasyfikowane jako zadania NP-trudne. Z tego powodu tradycyjne podejścia do rozwiązania tych problemów opierające się na programowaniu matematycznym są często nieefektywne. W odróżnieniu od podejścia tradycyjnego gdzie modelowanie ograniczeń problemu zwykle jest sztuczne (użycie dodatkowych zmiennych 0-1) w środowisku programowania w logice z ograniczeniami (CLP – Constrain Logic Programming) modelowanie ograniczeń jest naturalne i wynika z paradygmatu na którym środowisko CLP zostało oparte. Środowisko CLP jest środowiskiem deklaratywnym. W pracy zaproponowano wykorzystanie środowisk deklaratywnych (CLP, SQL, HTML) do budowy systemu wspomagania decyzji harmonogramowania produkcji.

EN

Scheduling problems appear frequently at different levels of decisions. They are usually characterized by many types of constraints, which make them unstructured and difficult to solve (NP-complete). Traditional mathematical programming approaches are deficient because their representation of constraints is artificial (using 0-1 variables). Unlike traditional approaches, constraint logic programming (CLP) provides for a natural representation of heterogeneous constraints. In CLP we state the problem requirements by constraints; we do not need to specify how to meet these requirements. In this paper we propose a declarative framework for decision support system (DSS) for scheduling problems implemented by CLP and relational SQL database. We illustrate this concept by the implementation of a DSS for scheduling problems with external resources in different production organization environments.

Słowa kluczowe

PL

harmonogramowanie produkcji; środowiska deklaratywne; CLP; SQL; HTML

EN

scheduling problem; decision support systems; CLP; SQL; DSS

• Wydawca: Sieć Badawcza Łukasiewicz - Przemysłowy Instytut Automatyki i Pomiarów PIAP
• Czasopismo: Pomiary Automatyka Robotyka
• Rocznik: 2008
• Tom: R. 12, nr 2
• Strony: 274--283
• Opis fizyczny: CD, Bibliogr. 4 poz., rys.

Twórcy

autor

Sitek P.

• Politechnika Świętokrzyska

autor

Wikarek J.

• Politechnika Świętokrzyska

Bibliografia

• 1. Janiak A.: Wybrane problemy i algorytmy szeregowania zadań i rozdziału zasobów. Akademicka Oficyna Wydawnicza PLJ, Warszawa 1999,
• 2. Liao S. Y., Wang H. Q., Liao L. J.: An extended formalism to constraint logic programming for decision analysis, Knowledge-based Systems 15, 2002 , pp. 189-202.
• 3. Lee H. G., Lee G. Yu., “Constraint logic programming for qualitative and quantitative constraint satisfaction problems”, Decision Support Systems 16 (1), 1996, pp. 67-83.
• 4. M. Mouhoub, F. Charpilet, J. P. Haton : Experimental Analysis of Numeric and Symbolic Constraint Satisfaction Techniques for temporal Reasoning, Constraints, International Journal, 2, pp. 151-164, 1998.