PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Powiadomienia systemowe
  • Sesja wygasła!
Tytuł artykułu

Integracja zadań planowania przepływu produkcji w ujęciu technik programowania z ograniczeniami

Wybrane pełne teksty z tego czasopisma
Identyfikatory
Warianty tytułu
EN
Application of constraint logic programming for integrated production flow management
Języki publikacji
PL
Abstrakty
PL
Praca przedstawia zastosowanie techniki programowania z ograniczeniami w zdaniach planowania jednoczesnej produkcji wieloasortymentowej. W odróżnieniu od aktualnie stosowanych metod, przedstawione podejście pozwala na zintegrowane ujęcie, zwykle oddzielnie rozważanych, problemów zagregowanego planowania i operatywnego sterowania przepływem produkcji. Oznacza to możliwość wyznaczenia szczegółowego planu przepływu produkcji (uwzględniając np. poziom reguł wyboru priorytetu, alokacji pojemności buforów składowania międzystanowiskowego itp.), z pominięciem iteracyjnego rozwiązywania standardowych zadań, rozmieszczania, alokacji, porcjowania, marszrutowania oraz harmonogramowania. Dopuszczalne rozwiązanie wyznaczane jest w sposób automatyczny na podstawie ograniczeń występujących we wspomnianych już zadaniach cząstkowych, w opar-ciu o mechanizm wnioskowania wykorzystywany w języku PROLOG. Programowanie w opisywanej technice sprowadza się do skryptowej specyfikacji uwzględnianych ograniczeń.
EN
Production planning consists of many decision-making tasks including such issues as batch sizing, production routing and jobs scheduling. Methods of mathematical programming are used in order to resolve the above-mentioned problems separately. However, local problems resolution does not guarantee a global solution obtained is an optimal one. In this paper an integrated approach to workflow planning, based on Oz language is proposed. A task-programming resume in constraints specification using a kind of textual specification. A method of CLP is employed as to refine a solution. Bound and branch methodology guarantees a solution obtained is feasible as well as makes possible to determine a global one. That is because an amount of growing constraints dramatically limits a search tree.
Czasopismo
Rocznik
Strony
37--51
Opis fizyczny
Bibliogr. 7 poz.
Twórcy
autor
  • Politechnika Zielonogórska, Instytut Informatyki i Zarządzania
Bibliografia
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-LODC-0004-0070
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.