Subtitle:

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

Publisher:

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

Place of publishing:

Warszawa

Description:

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

Type of object:

Książka/Rozdział

Abstract:

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.

Relation:

Książka = Book

Detailed Resource Type:

Książka

Resource Identifier:

oai:rcin.org.pl:205844

Source:

KS-2005-02-R12P07

Language:

pol

Language of abstract:

pol

Rights:

Licencja Creative Commons Uznanie autorstwa 4.0

Terms of use:

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: ; -

Digitizing institution:

Instytut Badań Systemowych Polskiej Akademii Nauk

Original in:

Biblioteka Instytutu Badań Systemowych PAN

Projects co-financed by:

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

Access:

Otwarty