Inny tytuł:

Książka = Book ; KS/2/2005/R12P07

Wydawca:

Instytut Badań Systemowych. Polska Akademia Nauk ; Systems Research Institute. Polish Academy of Sciences

Miejsce wydania:

Warszawa

Opis:

[3], 335-340 stron ; 21 cm ; Bibliografia s. 340

Typ obiektu:

Książka/Rozdział

Abstrakt:

W pracy przedstawiono zastosowanie metody programowania logicznego z ograniczeniami (CLP) do wyznaczania przepływów materiało wych w systemach współbieżnych procesów produkcyjnych. Reguły rozstrzygania konfliktów zasobowych wyrażono za pomocą zbioru predykatów definiujących ograniczenia na zmienne decyzyjne problemu. Model predykatowy wyrażono w dziedzinie czasu i w dziedzinie zdarzeń, a następnie zaimplementowano w procedurach propagacji i podstawiania wartości zmiennych, które umożliwiają szybkie wyszukiwanie rozwiązań dopuszczalnych w drzewie poszukiwań problemu CP. Zdefiniowane predykaty stanowią warunki wystarczające dla wyznaczenia harmonogramów operacji wolnych od blokad i spełniających zadane ograniczenia jakościowe i ilościowe.

Czasopismo/Seria/cykl:

Książka = Book

Szczegółowy typ zasobu:

Książka

Identyfikator zasobu:

oai:rcin.org.pl:205844

Źródło:

KS-2005-02-R12P07

Język:

pol

Język streszczenia:

pol

Prawa:

Licencja Creative Commons Uznanie autorstwa 4.0

Zasady wykorzystania:

Zasób chroniony prawem autorskim. [CC BY 4.0 Międzynarodowe] Korzystanie dozwolone zgodnie z licencją Creative Commons Uznanie autorstwa 4.0, której pełne postanowienia dostępne są pod adresem: ; -

Digitalizacja:

Instytut Badań Systemowych Polskiej Akademii Nauk

Lokalizacja oryginału:

Biblioteka Instytutu Badań Systemowych PAN

Dofinansowane ze środków:

Program Operacyjny Polska Cyfrowa, lata 2014-2020, Działanie 2.3 : Cyfrowa dostępność i użyteczność sektora publicznego; środki z Europejskiego Funduszu Rozwoju Regionalnego oraz współfinansowania krajowego z budżetu państwa

Dostęp:

Otwarty