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 pages ; 21 cm ; Bibliography p. 340

Type of object:

Book/Chapter

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:

Book

Resource Identifier:

oai:rcin.org.pl:205844

Source:

KS-2005-02-R12P07

Language:

pol

Language of abstract:

pol

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:

Operational Program Digital Poland, 2014-2020, Measure 2.3: Digital accessibility and usefulness of public sector information; funds from the European Regional Development Fund and national co-financing from the state budget.

Access:

Open