PL EN


Preferencje help
Widoczny [Schowaj] Abstrakt
Liczba wyników
Tytuł artykułu

Grafy niezdatności z zależnościami czasowymi

Treść / Zawartość
Identyfikatory
Warianty tytułu
EN
Fault graphs with time dependencies
Języki publikacji
PL
Abstrakty
PL
W pracy wprowadzono grafy niezdatności z zależnościami czasowymi. Pokazano, w których kierunkach są one rozwinięciem drzew niezdatności z zależnościami czasowymi. Grafy te użyto do zamodelowania systemu tramwajowego Miejskiego Przedsiębiorstwa Komunikacyjnego (MPK) we Wrocławiu. W tym systemie są tramwaje rezerwy zimnej. Tramwaj uszkodzony jest zastępowany rezerwowym lub jeśli zostanie naprawiony przed zakończeniem wymiany, to naprawiony podejmuje pracę, a rezerwowy jest zwalniany. Rezerwa czasowa określa długość przedziału czasu, w którym powinna być zakończona naprawa uszkodzonego tramwaju lub wymiana uszkodzonego na rezerwowy.
EN
Fault Graphs with Time Dependencies (FGTDs), having roots in Probabilistic Fault Trees with Time Dependencies (PFTTDs), are defined in the paper. New constructs of FGTDs in comparison with PFTTDs are parametric events, parametric gates, and transitions. The transitions are based on Petri nets. The graphs were employed to model the dependability of a transportation system in which a cold spare tram acts on behalf of a damaged one after replacement time. Once the damaged tram has been repaired, the spare one returns to the pool. A time resource delimits a time interval, in which replacement with a spare tram or delivery of the damaged tram after repair should take place.
Rocznik
Tom
Strony
117--128
Opis fizyczny
Bibliogr. 13 poz., rys.
Twórcy
autor
autor
  • Politechnika Wrocławska, Wrocław
Bibliografia
  • 1 Ajmone Marsa M., Balbo G., Conte G.: A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems, ACM Transactions on Computer Systems, Vol. 2, May 1984, 93-122.
  • 2. Babczyński T., Łukowicz M., Magott J.: Time coordination of distance protections using probabilistic fault trees with time dependencies, IEEE Transactions on Power Delivery, Vol. 25, No. 3, July 2010, 1402-1409.
  • 3. Bobbio A., Codetta D.: Parametric fault trees with dynamic gates and repair boxes, in: Proc. Annual Symposium on Reliability and Maintainability, 2004, 459-465.
  • 4. Dugan J.B., Bavuso S.J., Boyd M.A.: Dynamic fault-tree models for fault-tolerant computer systems, IEEE Transactions on Reliability, Vol. 41, 1992, No 3, 363-367.
  • 5. Fault Tree Analysis (FTA), International Technical Commission, EEC Standard, Publication 1025, 1990. Analiza drzew niezdatności (FTA), PN-IEC 1025, 1994.
  • 6. Górski J.: Extending Safety Analysis Techniques With Formal Semantics, Technology and Assessment of Safety-Critical Systems, (eds.) Redmill F.J. & Anderson T., Springer-Verlag, 1994, 147-163.
  • 7. ISO/BBC 15909-1, High-level Petri nets: Concepts, definitions and graphical notation, 2004.
  • 8. Kowalski M., Magott J., Nowakowski T., Werbińska-Wojciechowska S.: Analysis of transportation system with the use of Petri nets, Analiza systemu transportowego z użyciem sieci Petriego, Eksploatacja i Niezawodność, Maintenance and Reliability, w druku, 2011.
  • 9. Magott J.: Moc opisowa drzew niezdatności z zależnościami czasowymi, Problemy eksploatacji, Maintenance Problems, 4/2009, 33-40.
  • 10. Magott J., Skrobanek P.: Method of time Petri net analysis for analysis of fault trees with time dependencies, IEE Proceedings - Computers and Digital Techniques, vol. 149, No. 6, 2002, pp. 257-271.
  • 11. Montani S., Portinale L., Bobbio A., Codetta-Raiteri D.: RADYBAN: a tool for reliability analysis of dynamic fault trees through conversion into dynamic Bayesian networks, Reliability Engineering and System Safety, Vol. 93, Issue 7, July 2008, 922-932.
  • 12. Werbińska-Wojciechowska S.: Model logistycznego wsparcia systemu eksploatacji środków transportu, praca doktorska, Politechnika Wrocławska, Instytut Konstrukcji i Eksploatacji Maszyn, Wrocław, raport: PRE 3/2008.
  • 13. http://www.relex.com/resources/art Artykuły na temat drzew niezdatności firmy Relex.
Typ dokumentu
Bibliografia
Identyfikator YADDA
bwmeta1.element.baztech-article-BAR0-0057-0030
JavaScript jest wyłączony w Twojej przeglądarce internetowej. Włącz go, a następnie odśwież stronę, aby móc w pełni z niej korzystać.