- Tytuł:
-
Modeling of railway system maintenance and availability by means of Colored Petri nets
Modelowanie utrzymania ruchu i gotowości systemu kolejowego za pomocą kolorowych sieci Petriego - Autorzy:
-
Song, H.
Schnieder, E. - Powiązania:
- https://bibliotekanauki.pl/articles/300762.pdf
- Data publikacji:
- 2018
- Wydawca:
- Polska Akademia Nauk. Polskie Naukowo-Techniczne Towarzystwo Eksploatacyjne PAN
- Tematy:
-
prognostics and health management
colored Petri nets
railway system
maintenance
availability
prognostyka i zarządzanie zdrowiem
kolorowe sieci Petriego
system kolejowy
utrzymanie ruchu
gotowość - Opis:
-
Prognostics and health management (PHM) technologies permit actionable information to enable proper decision-making for improving systems’ performance. With the increasing requirements placed on the rail systems’ availability, better maintenance decisions should be evaluated before practical application. The aim of this work is to build maintenance models and estimate the performance of considered maintenance decisions regarding the rail system’s reliability and availability by means of Colored Petri nets. As a high-level formalization method, Colored Petri nets provide different color sets, which are suitable to represent different maintenance attributions. The maintenance models are evaluated at both the structure and parameterization levels. At the structure level, the structure correctness of the maintenance models is evaluated by using the state space analysis. At the parameterization level, specific maintenance decisions are illustrated. With various maintenance parameters, comparisons of system reliability and availability are made with the results obtained with the Colored Petri nets model.
Technologie prognostyki i zarządzania zdrowiem (PHM) dostarczają praktycznych danych, które umożliwiają podejmowanie właściwych decyzji w zakresie poprawy wydajności systemów. Wraz z rosnącymi wymaganiami dotyczącymi gotowości systemów kolejowych, rośnie potrzeba oceny decyzji dotyczących utrzymania ruchu przed ich wprowadzeniem w życie. Celem przedstawionej pracy było zbudowanie modeli utrzymania ruchu oraz oszacowanie za pomocą kolorowych sieci Petriego możliwości realizacji rozważanych decyzji konserwacyjnych dotyczących niezawodności i gotowości systemu kolejowego. Kolorowe sieci Petriego to metoda o wysokim poziomie formalizacji, którą w przedstawionej pracy wykorzystano do reprezentacji za pomocą różnych zestawów kolorów, różnych atrybutów utrzymania ruchu. Modele utrzymania ruchu oceniano zarówno na poziomie struktury jak i parametryzacji. Na poziomie struktury, poprawność struktury modeli utrzymania ruchu oceniano za pomocą analizy przestrzeni stanów. Na poziomie parametryzacji, zilustrowano konkretne decyzje dotyczące konserwacji. Niezawodność i gotowość systemu przy różnych parametrach utrzymania ruchu porównano z wynikami uzyskanymi za pomocą modelu kolorowych sieci Petriego. - Źródło:
-
Eksploatacja i Niezawodność; 2018, 20, 2; 236-243
1507-2711 - Pojawia się w:
- Eksploatacja i Niezawodność
- Dostawca treści:
- Biblioteka Nauki
Artykuł