Metadata language
Książka = Book ; KS/2/2005/R12P07
Creator:Banaszak, Zbigniew (1948– ) ; Bzdyra, Krzysztof ; Wójcik, Robert
Publisher:Instytut Badań Systemowych. Polska Akademia Nauk ; Systems Research Institute. Polish Academy of Sciences
Place of publishing: Date issued/created: Description:[3], 335-340 pages ; 21 cm ; Bibliography p. 340
Type of object: 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: Resource type: Detailed Resource Type: Source: Language: Language of abstract: Rights:Creative Commons Attribution BY 4.0 license
Terms of use:Copyright-protected material. [CC BY 4.0] May be used within the scope specified in Creative Commons Attribution BY 4.0 license, full text available at: ; -
Digitizing institution:Systems Research Institute of the Polish Academy of Sciences
Original in:Library of Systems Research Institute PAS
Projects co-financed by: Access: