Tytuł:

Automatyczna synteza modeli wydajnościowych współbieżnych procesów cyklicznych

Inny tytuł:

Raport Badawczy = Research Report ; RB/21/2004

Twórca:

Banaszak, Zbigniew (1948– ) ; Majdzik, Paweł ; Wójcik, Robert

Wydawca:

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

Miejsce wydania:

Warszawa

Data wydania/powstania:

2004

Opis:

27 stron ; 21 cm ; Bibliografia s. 26-27

Temat i słowa kluczowe:

Modelowanie ; Systemy współbieżnych procesów cyklicznych ; Wzajemne wykluczanie ; Formalizm (max, +) algebry

Abstrakt:

W pracy rozważany jest problem budowy modelu analitycznego systemów dyskretnych procesów cyklicznych współdzielących zasoby zgodnie z zasadą wzajemnego wykluczania. Poprawne działanie systemów tego typu wymaga uwzględniania w procedurach sterowania warunków wystarczających, gwarantujących bezblokadową oraz bezzagłodzeniową pracę systemu. Dla pewnej klasy systemów współbieżnych procesów cyklicznych przedstawiono metody automatycznej syntezy procedur sterowania procesami ze szczególnym uwzględnieniem etapu budowy analitycznego modelu wydajnościowego w oparciu o formalizm (max, +) algebry. Formalizm ten daje możliwość analitycznego wyznaczenia wielu charakterystyk funkcjonowania systemu, takich jak harmonogram przebiegu procesów czy okres pracy systemu. Głównym osiągnięciem pracy jest określenie warunków wystarczających, gwarantujących wyznaczenie minimalnego okresu pracy systemu w oparciu o formalizm (max, +) algebry, dla przyjętych reguł rozstrzygania konfliktów zasobowych oraz przyjętego stanu początkowego.

Czasopismo/Seria/cykl:

Raport Badawczy = Research Report

Typ zasobu:

Tekst

Szczegółowy typ zasobu:

Raport

Źródło:

RB-2004-21

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