RCIN and OZwRCIN projects

Object

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

Subtitle:

Raport Badawczy = Research Report ; RB/21/2004

Publisher:

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

Place of publishing:

Warszawa

Description:

27 pages ; 21 cm ; Bibliography p. 26-27

Abstract:

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.

Relation:

Raport Badawczy = Research Report

Detailed Resource Type:

Report

Resource Identifier:

oai:rcin.org.pl:139598

Source:

RB-2004-21

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

Object collections:

Last modified:

Oct 19, 2021

In our library since:

Sep 17, 2020

Number of object content downloads / hits:

29

All available object's versions:

https://www.rcin.org.pl/publication/175034

Show description in RDF format:

RDF

Show description in RDFa format:

RDFa

Show description in OAI-PMH format:

OAI-PMH

×

Citation

Citation style:

This page uses 'cookies'. More information