RELIABILITY ELECTRICAL POWER SYSTEM OF HOSPITAL AS COLD STANDBY SYSTEM

Podobne dokumenty
STOCHASTYCZNY MODEL BEZPIECZEŃSTWA OBIEKTU W PROCESIE EKSPLOATACJI

ZASTOSOWANIE SPLOTU FUNKCJI DO OPISU WŁASNOŚCI NIEZAWODNOŚCIOWYCH UKŁADÓW Z REZERWOWANIEM

ZASTOSOWANIE SPLOTU FUNKCJI DO OPISU WŁASNOŚCI NIEZAWODNOŚCIOWYCH UKŁADÓW Z REZERWOWANIEM

Akademia Morska w Szczecinie. Wydział Mechaniczny

Proposal of thesis topic for mgr in. (MSE) programme in Telecommunications and Computer Science

Helena Boguta, klasa 8W, rok szkolny 2018/2019

Weronika Mysliwiec, klasa 8W, rok szkolny 2018/2019

PRZYKŁAD ZASTOSOWANIA DOKŁADNEGO NIEPARAMETRYCZNEGO PRZEDZIAŁU UFNOŚCI DLA VaR. Wojciech Zieliński

Rozpoznawanie twarzy metodą PCA Michał Bereta 1. Testowanie statystycznej istotności różnic między jakością klasyfikatorów

Tychy, plan miasta: Skala 1: (Polish Edition)

DUAL SIMILARITY OF VOLTAGE TO CURRENT AND CURRENT TO VOLTAGE TRANSFER FUNCTION OF HYBRID ACTIVE TWO- PORTS WITH CONVERSION

Zakopane, plan miasta: Skala ok. 1: = City map (Polish Edition)

Hard-Margin Support Vector Machines

Stargard Szczecinski i okolice (Polish Edition)

Probabilistic Methods and Statistics. Computer Science 1 st degree (1st degree / 2nd degree) General (general / practical)

Few-fermion thermometry

EXAMPLES OF CABRI GEOMETRE II APPLICATION IN GEOMETRIC SCIENTIFIC RESEARCH

Karpacz, plan miasta 1:10 000: Panorama Karkonoszy, mapa szlakow turystycznych (Polish Edition)

WSPÓŁCZYNNIK GOTOWOŚCI SYSTEMU LOKOMOTYW SPALINOWYCH SERII SM48

Aircraft flight safety with the risk of failure during performance of an aviation task

BLACKLIGHT SPOT 400W F

MaPlan Sp. z O.O. Click here if your download doesn"t start automatically

INSPECTION METHODS FOR QUALITY CONTROL OF FIBRE METAL LAMINATES IN AEROSPACE COMPONENTS

OPTYMALIZACJA PROCESU EKSPLOATACJI PORTOWEGO SYTEMU TRANSPORTU PALIWA

Machine Learning for Data Science (CS4786) Lecture11. Random Projections & Canonical Correlation Analysis

Przedmioty do wyboru oferowane na stacjonarnych studiach II stopnia (magisterskich) dla II roku w roku akademickim 2015/2016

The time of the first transition of the semi-markov process in the evaluation of diesel engine operation

TTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 9: Inference in Structured Prediction

Statystyczna analiza awarii pojazdów samochodowych. Failure analysis of cars

R E P R E S E N T A T I O N S

POLITECHNIKA WARSZAWSKA. Wydział Zarządzania ROZPRAWA DOKTORSKA. mgr Marcin Chrząścik

Zarządzanie sieciami telekomunikacyjnymi

Metodyki projektowania i modelowania systemów Cyganek & Kasperek & Rajda 2013 Katedra Elektroniki AGH


Linear Classification and Logistic Regression. Pascal Fua IC-CVLab

Patients price acceptance SELECTED FINDINGS

KONSPEKT DO LEKCJI MATEMATYKI W KLASIE 3 POLO/ A LAYER FOR CLASS 3 POLO MATHEMATICS

XXXIII Konferencja Statystyka Matematyczna

Przeciwpożarowe sterowniki dla bram zwijanych, sekcyjnych i przesuwnych. Fire-proof controls for roller shutters, sectional doors and sliding gates

Katowice, plan miasta: Skala 1: = City map = Stadtplan (Polish Edition)

Analiza uszkodzeń systemów chłodniczych jednostek rybackich

Polska Szkoła Weekendowa, Arklow, Co. Wicklow KWESTIONRIUSZ OSOBOWY DZIECKA CHILD RECORD FORM

ARNOLD. EDUKACJA KULTURYSTY (POLSKA WERSJA JEZYKOWA) BY DOUGLAS KENT HALL


Gradient Coding using the Stochastic Block Model

METHOD 2 -DIAGNOSTIC OUTSIDE

Title: On the curl of singular completely continous vector fields in Banach spaces


Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)

Towards Stability Analysis of Data Transport Mechanisms: a Fluid Model and an Application

Proces rezerwy w czasie dyskretnym z losową stopą procentową i losową składką

ERASMUS + : Trail of extinct and active volcanoes, earthquakes through Europe. SURVEY TO STUDENTS.

RESONANCE OF TORSIONAL VIBRATION OF SHAFTS COUPLED BY MECHANISMS

OpenPoland.net API Documentation

SSW1.1, HFW Fry #20, Zeno #25 Benchmark: Qtr.1. Fry #65, Zeno #67. like

Zestawienie czasów angielskich

Krytyczne czynniki sukcesu w zarządzaniu projektami

PREVENTIVE MAINTENANCE AND RELIABILITY OF WATER SUPPLY SYSTEM ELEMENTS

deep learning for NLP (5 lectures)

Convolution semigroups with linear Jacobi parameters

Testy jednostkowe - zastosowanie oprogramowania JUNIT 4.0 Zofia Kruczkiewicz

Poland) Wydawnictwo "Gea" (Warsaw. Click here if your download doesn"t start automatically

Wybrzeze Baltyku, mapa turystyczna 1: (Polish Edition)

Sargent Opens Sonairte Farmers' Market

Revenue Maximization. Sept. 25, 2018

Knovel Math: Jakość produktu

POISSONOWSKA APROKSYMACJA W SYSTEMACH NIEZAWODNOŚCIOWYCH

Wpływ dyrektywy PSD II na korzystanie z instrumentów płatniczych. Warszawa, 15 stycznia 2015 r. Zbigniew Długosz

Przewody do linii napowietrznych Przewody z drutów okrągłych skręconych współosiowo

Rachunek lambda, zima

Andrzej KORNACKI Ewa SOKOŁOWSKA. 1. Introduction. 1. Wprowadzenie

Realizacja systemów wbudowanych (embeded systems) w strukturach PSoC (Programmable System on Chip)

DM-ML, DM-FL. Auxiliary Equipment and Accessories. Damper Drives. Dimensions. Descritpion

ZASTOSOWANIE TEORII PROCESÓW SEMI-MARKOWA DO OPRACOWANIA MODELU NIEZAWODNOŚCIOWEGO SAMOCHODU

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)

Zmiany techniczne wprowadzone w wersji Comarch ERP Altum

LED WASHER 30x3W WHITE IP65 F

ANALIZA WŁAŚCIWOŚCI FILTRU PARAMETRYCZNEGO I RZĘDU

DOI: / /32/37

Wykaz linii kolejowych, które są wyposażone w urządzenia systemu ETCS

MACIERZE FIBONACCIEGO GENEROWANE PRZEZ OPERACJE RÓŻ NICOWE

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)

EGARA Adam Małyszko FORS. POLAND - KRAKÓW r

Podstawy automatyki. Energetics 1 st degree (1st degree / 2nd degree) General (general / practical) Full-time (full-time / part-time)

PTNSS Introduction. 1. Wstęp

Automatyczne generowanie testów z modeli. Bogdan Bereza Automatyczne generowanie testów z modeli

Wykaz linii kolejowych, które są wyposażone w urzadzenia systemu ETCS

Pielgrzymka do Ojczyzny: Przemowienia i homilie Ojca Swietego Jana Pawla II (Jan Pawel II-- pierwszy Polak na Stolicy Piotrowej) (Polish Edition)

Wojewodztwo Koszalinskie: Obiekty i walory krajoznawcze (Inwentaryzacja krajoznawcza Polski) (Polish Edition)

W3 - Niezawodność elementu nienaprawialnego

Umowa Licencyjna Użytkownika Końcowego End-user licence agreement

Czesław Domański* MOC TESTÓW LOSOWOŚCI OPARTYCH NA LICZBIE SERII WIELOKROTNYCH

WYDZIAŁ NAUK EKONOMICZNYCH. Studia II stopnia niestacjonarne Kierunek Międzynarodowe Stosunki Gospodarcze Specjalność INERNATIONAL LOGISTICS

ZGŁOSZENIE WSPÓLNEGO POLSKO -. PROJEKTU NA LATA: APPLICATION FOR A JOINT POLISH -... PROJECT FOR THE YEARS:.

Call 2013 national eligibility criteria and funding rates

Analysis of Movie Profitability STAT 469 IN CLASS ANALYSIS #2

photo graphic Jan Witkowski Project for exhibition compositions typography colors : : janwi@janwi.com

TTIC 31210: Advanced Natural Language Processing. Kevin Gimpel Spring Lecture 8: Structured PredicCon 2

y = The Chain Rule Show all work. No calculator unless otherwise stated. If asked to Explain your answer, write in complete sentences.

Karpacz, plan miasta 1:10 000: Panorama Karkonoszy, mapa szlakow turystycznych (Polish Edition)

Transkrypt:

Journal of KONBiN 1(37)2016 ISSN 1895-8281 DOI 10.1515/jok-2016-0007 ESSN 2083-4608 RELIABILITY ELECTRICAL POWER SYSTEM OF HOSPITAL AS COLD STANDBY SYSTEM NIEZAWODNOŚĆ SYTEMU ELEKTROENERGETYCZNEGO SZPITALA JAKO NIEZAWODNOŚĆ SYSTEMU Z REZERWĄ ZIMNĄ Franciszek Grabski Akademia Marynarki Wojennej F.Grabski@amw.gdynia.pl Abstract. The probabilistic model of a hospital electrical power system consisting of mains, an emergency power system and the automatic transfer switch with the generator starter are discussed in this paper. The reliability model is semi-markov process describing two different units renewable cold standby system and switch. The embedded Semi-Markov processes concept is applied for description of the system evolution. Time to failure of the system is represented by a random variable denoting the first passage time of the process from the given state to the subset of states. The appropriate theorems of the Semi-Markov processes theory allow us to evaluate the reliability function and some reliability characteristics. Keywords: semi-markov model, renewable cold standby system, electrical power system Streszczenie: W pracy został przedstawiony model niezawodnościowy sytemu elektroenergetycznego szpitala złożony z podsystemu zasilania sieciowego, podsystemu zasilania awaryjnego oraz automatycznego przełącznika. Niezawodnościowym modelem funkcjonowania systemu jest proces semimarkowski. Model ten jest modyfikacją modelu niezawodności opisującego funkcjonowanie sytemu z rezerwą zimną złożonego z dwóch różnych podsystemów i przełącznika. Do konstrukcji modelu został wykorzystany tak zwany włożony proces semi-markowski. Czas zdatności systemu jest reprezentowany przez czas pierwszego przejścia procesu do określonego podzbioru stanów. Słowa kluczowe: model semi-markowski, system z rezerwą zimną, system elektroenergetyczny szpitala 153

Reliability electrical power system of hospital as cold standby system Niezawodność sytemu elektroenergetycznego szpitala jako niezawodność systemu... RELIABILITY ELECTRICAL POWER SYSTEM OF HOSPITAL AS COLD STANDBY SYSTEM 1. Introduction An electrical power system of a hospital consisting of the mains and the emergency power systems is discussed in the paper. Mains power of a hospital can be lost due to interruption of electrical lines during earthworks or in case of the overhead line of its destruction as a result of strong wind, heavy acing, malfunctions at a substation, planned blackouts or in extreme cases as a grid-wide failure. Loss of mains voltage may last from a few seconds to several hours or in extreme cases several days. The effects of such a situation may differ for different classes of devices. It leads to the automatic shutdown of equipment and there is a high risk of the equipment damage. It refers to life-saving equipment, anaesthesia apparatus, dialyzers in dialysis, or ultrasound devices. In the case of medical devices usually any loss of power causes distortion of its work as the device after restoring the power supply begins the process of self-testing and self-calibration is not performing at the time their basic functions. For other devices like elevators, refrigerators, ventilators a restoration of power is not a major problem. In hospitals most emergency power systems have been and are still based on generators. Electric generator supplies electricity selected electrical circuits and electric appliances in the hospital in an emergency (no power from the power grid). Through the hospital s power generator we understand set of devices consisting of an internal combustion or Diesel engine, generator and automatic detection system if there is no voltage in the power grid and the self actuating generator. A separate issue is the switching time. Usually, it ranges from a few to several seconds. The generator starts automatically. With regular generators, an automatic transfer switch is used to connect emergency power. 2. Assumptions of model To evaluate the reliability characteristics of the hospital electrical power system a semi-markov model is constructed. The model is modification of two different units cold standby system with switch [ 3], [5], [6]. In this case an operating unit denotes mains power system (subsystem), the stand-by unit means emergency power system (subsystem) and a switch is the automatic transfer switch with the generator starter. We should mention that two units renewable cold standby system was discussed in [1] and [7]. The time to failure of the mains power subsystems is an exponential distributed random variable. When the mains fails, the emergency power subsystem is immediately put in motion by the switch, (switching time is omitted). The failed system is repaired. A repair time of the basic power system is a random variable having distribution given by the PDF. At once after repairing the mains power subsystem is put in motion by the switch. 154

DOI 10.1515/jok-2016-0007 Franciszek Grabski A time to failure of the emergency power system is a random variable with an exponential PDF. If the emergency power subsystem fails during repair period of the mains power subsystem, then it follows damage to of the whole electricity power system. The failure of the system takes place when the mains power subsystem fails and the emergency subsystem fails before repairing the basic subsystem or when the subsystem fails and the switch fails. Let be a random variable having a binary distribution where if a switch is "down" at the moment of the subsystem failure or renewal and otherwise. A restoring time of the whole power system is the random variable Moreover we assume that all random variables mentioned above are independent. A main goal of this paper is an evaluation a reliability function and a mean time to failure of the hospital electrical power system. To solve the problem, 4 state semi-markov reliability model is constructed. The parameters of the model were estimated on the basis of few data and the opinion of the technical staff at one of the hospital in Poland. Therefore values of these parameters should be treated as approximate ones. Moreover we assume that all random variables mentioned above are independent. 3. Model construction To describe the reliability evolution of the system, we have to define the states and the renewal kernel. We introduce the following states: failure of the whole system due to a failure of a switch, failure of the whole system due to the failure of the subsystem during repair period of the subsystem A, failure of the mains power subsystem, the emergency power subsystem is working, both the mains power subsystem and emergency subsystem are "up" and system A is working. We assume that is the initial state. We construct a random process in a following way. Let denote the moments of the state changes, and be a random process with the state space, with the right-hand continuous trajectories keeping constant values on half-intervals. This process is not semi-markov, because a momoryless property is not satisfied for all instants of the state changes of it. Let us construct a new process in the following way. Let and denote instants of the power subsystems failures or instants of the subsystem or whole system repair. Let be a stochastic process, defined by the rule (1) 155

Reliability electrical power system of hospital as cold standby system Niezawodność sytemu elektroenergetycznego szpitala jako niezawodność systemu... This process is the semi-markov process and it is called an embedded semi- Markov process in the stochastic process To determine a semi-markov process as a model we have to define its initial distribution and all elements of its kernel [5], [6], [7]. Recall that the semi-markov kernel is the matrix of transition probabilities of the Markov renewal process [6] (2) (3) The sequence probabilities. The function is homogeneous Markov chain with transition (4) is the CDF of the random variable denoting time spent in state when the successor state is unknown. The function (5) (6) is CDF of a random variable that is called a holding time of state, if the next state will be. From (6) we have (7) The kernel of the SM process takes the form ( 8) From (3) and from the assumptions we can calculate all elements of the semi- Markov kernel. The elements and are CDF of the system renewal time. (9) 156

DOI 10.1515/jok-2016-0007 Franciszek Grabski From the system description and assumptions we get the following equalities: (10) (11) (12) The similar way we obtain All elements of have been defined, hence the semi-markov model describing the hospital power system evolution in reliability sense is constructed. It is necessary to calculate the transition probabilities of the embedded Markov chain. The transition probabilities matrix of the embedded Markov chain is (13) (14) (15) where (16) For supposing distributions for we get (17) 157

Reliability electrical power system of hospital as cold standby system Niezawodność sytemu elektroenergetycznego szpitala jako niezawodność systemu... The Laplace-Stielties transform of these functions are: (18) The CDF of the waiting times are (19) The expected values of waiting times are (20) 4. Reliability characteristic The function (21) is the CDF of a random variable denoting the first passage time from the state to the subset or the exit time of from the subset with an initial state. From the Theorem 1 of Chapter 4 [3] it follows that L-S transforms of the unknown CDF of the random variables satisfy the system of linear equations (4.18) [3] which is equivalent to the matrix equation (22) where is the unit matrix, is the square sub-matrix of the matrix while are one column matrices of the corresponding L-S transforms. 158

DOI 10.1515/jok-2016-0007 Franciszek Grabski From the Theorem 2 of Chapter 3 [6] it follows that there exist expectations and they are unique solutions of the linear systems of equations, that have following matrix form where (23) and is the unit matrix. A main goal of this section is an evaluation a reliability function and a mean time to failure of the hospital power system. To get the reliability function we have to solve the matrix equation (22). In this case a set of "down" states is and the set of "up" states is. The equation takes the form of (24) The solution of the equivalent linear equations system is (25) Consequently, we obtain the Laplace transform of the reliability function The parameters of the model were estimated on the basis of few data and the opinion of the technical staff at one of the hospital in Poland. Therefore values of these parameters should be treated as approximate ones. The values of the model parameters are For these parameters we obtain the L-S transform. Using the formula (26) we get the Laplace transform of the reliability function. We get the reliability function of the system using the procedure in the MATHEMATICA program. (26) (27) 159

Reliability electrical power system of hospital as cold standby system Niezawodność sytemu elektroenergetycznego szpitala jako niezawodność systemu... Finally we obtain (28) From the well known equalities we get the mean time to failure and standard deviation of the system 5. References [1] Barlow, R.E. & Proschan, F.: Statistical Theory of Reliability and Life Testing. Probability Models. Holt Rinehart and Winston, Inc., New York. 1975. [2] Brodi SM, Pogosian JA: Embedded stochastic processes in theory of queue. Naukova Dumka, Kiev, 1973 (in Russian). [3] Ferguson, T. S: A Bayesian analysis of some nonparametric problems. The Annals of Statistics, 1973.Vol.1, No. 2, 209-230. [4] Grabski. F.. Some Method of Bayesian Nonparametric Estimation in Reliability. Proceeding of the European Conference on Safety and Reliability - ESREL 98. Safety and Reliability. A.Balakema, Roterdam, Brookfield1998, p. 641-646. [5] Grabski, F.: Semi-markowskie modele niezawodności i eksploatacji. Badania Systemowe, tom30 ; IBS PAN, Warszawa, 2002. [6] Grabski, F. : Semi-Markov Processes: Application in System Reliability and Maintenance. Elsevier, Amsterdam, Boston, Heidelberg, London, New York Oxford, Paris,San Diego, San Francisco, Sydney,Tokyo, 2014. [7] Korolyuk VS, Turbin AF. Semi-Markov processes and their applications. Naukova Dumka, Kiev 1976, (in Russian). prof. dr hab. Franciszek Grabski Full Professor and Head of Department of Mathematics and Physics of Polish Naval Academy in Gdynia. Professor Grabski s main mathematical research interest focuses on probability theory, in particular its applications in system reliability theory and practice. He has constructed and tested several new reliability stochastic models and developed the Bayesian methods application in reliability. He is author or co-author more than 100 scientific papers, course-books and monographs in the probability and reliability field.(udział 100%) 160

DOI 10.1515/jok-2016-0007 Franciszek Grabski NIEZAWODNOŚĆ SYTEMU ELEKTROENERGETYCZNEGO SZPITALA JAKO NIEZAWODNOŚĆ SYSTEMU Z REZERWĄ ZIMNĄ 1. Wprowadzenie W pracy został przedstawiony stochastyczny model niezawodności systemu elektroenergetycznego, który składa się z systemu zasilania sieciowego, systemu zasilania awaryjnego i systemu przełączającego. Zasilanie sieciowe szpitala może zostać utracone w wyniku przerwania linii elektrycznych podczas prac ziemnych lub w przypadku linii napowietrznej w wyniku silnego wiatru, silnego zalodzenia, umyślnej dewastacji (kradzież) lub ataku terrorystycznego. Zanik napięcia sieciowego może trwać od kilku sekund do kilku godzin lub w skrajnych przypadkach kilku dni. Skutki takiej sytuacji mogą być różne dla różnych grup urządzeń. Awaria sieci powodująca natychmiastowe wyłączania urządzeń generuje duże ryzyko uszkodzenia sprzętu. Dotyczy to sprzętu ratowniczego, aparatury anestezjologicznej, dializatorów, ultrasonografów, tomografów itp. W przypadku wielu urządzeń medycznych jakakolwiek utrata zasilania powoduje zakłócenie ich pracy a po przywróceniu zasilania rozpoczynają się procesy autotestowania i samo-kalibracji, a urządzenia nie wykonują w tym czasie swoich podstawowych funkcji. W przypadku innych urządzeń, takich jak windy, lodówki, wentylatory przywrócenie zasilania nie powoduje tego typu perturbacji. W szpitalach większość systemów zasilania awaryjnego jest oparta na agregatach prądotwórczych napędzanych najczęściej silnikami benzynowymi, silnikami Disla lub silnikami gazowymi. Generator połączony jest zazwyczaj z automatycznym system wykrywania braku zasilania sieciowego i uruchomiania zasilania awaryjnego, który umownie nazywamy przełącznikiem. Osobną kwestią jest czas przełączania. Zwykle waha się od kilku do kilkudziesięciu sekund. Zazwyczaj generator uruchamia się automatycznie. 2. Założenia modelu Żeby wyznaczyć charakterystyki niezawodnościowe systemu elektroenergetycznego szpitala skonstruujemy stochastyczny model funkcjonowania tego systemu w aspekcie niezawodności. Tym modelem będzie tak zwany włożony proces semimarkowski w proces opisujący działanie systemu [2]. Przedstawiony tu model jest modyfikacją opisu systemu z rezerwą zimną złożonego z dwóch różnych elementów i oraz przełącznika [5], [6]. Dodajmy, że systemy z rezerwą zimną złożone z dwóch identycznych elementów były rozpatrywane w pracach [1] oraz [7]. Element oznacza system zasilania sieciowego, element oznacza system zasilania awaryjnego natomiast oznacza system przełączający. Czas zdatności systemu zasilania sieciowego jest zmienną losową. 161

Reliability electrical power system of hospital as cold standby system Niezawodność sytemu elektroenergetycznego szpitala jako niezawodność systemu... Charakter przyczyn uszkodzeń sieci elektrycznej pozwala przyjąć założenie, że ta zmienna losowa ma rozkład wykładniczy o gęstości W chwili awarii systemu sieciowego, natychmiast przełącznik uruchamia system awaryjny, (czas przełączenia jest pomijany). Przyjmujemy, że czas naprawy systemu sieciowego jest zmienną losową o rozkładzie określonym przez gęstość W chwili przywrócenia zdatności systemu zasilania sieciowego następuje przełączenie z zasilania awaryjnego na sieciowe. System awaryjny może również ulec uszkodzeniu a jego czas zdatności jest zmienną losową o rozkładzie wykładniczym z parametrem Totalna awaria sytemu elektroenergetycznego szpitala następuje wtedy, gdy awaryjny system zasilania ulegnie uszkodzeniu w czasie naprawy systemu podstawowego albo wtedy gdy nastąpi awaria systemu sieciowego i system przełączający okaże się niezdatny. Niech oznacza zmienną losową o rozkładzie binarnym gdzie, gdy przełącznik nie będzie działał w chwili uszkodzenia systemu zasilania sieciowego oraz w przeciwnym przypadku. Przyjmujemy, że czas przywrócenia pełnej zdatności całego systemu elektroenergetycznego jest zmienną losową o gęstości Ponadto zakładamy, że wszystkie tu rozpatrywane zmienne losowe są wzajemnie niezależne. Głównym celem tej pracy jest oszacowanie funkcji niezawodności oraz wartości oczekiwanej czasu zdatności szpitalnego systemu elektroenergetycznego. Problem został rozwiązany przez zastosowanie 4-stanowego semi-markowskiego modelu niezawodności. Parametry modelu zostały oszacowane na podstawie niewielkiej liczby danych i opinii personelu technicznego w jednym ze szpitali w Polsce. Dlatego wartości tych parametrów powinny być traktowane jako przybliżone. 3. Konstruowanie modelu Budowanie stochastycznego modelu niezawodności systemu elektroenergetycznego szpitala rozpoczynamy od określenia stanów: awaria całego systemu elektroenergetycznego spowodowana awarią podsystemu przełączającego C, awaria całego systemu elektroenergetycznego spowodowana uszkodzeniem podsystemu awaryjnego w czasie naprawy podsystemu zasilania sieciowego A, awaria podsystemu zasilania sieciowego, (podsystem rezerwowy działa), zarówno podsystem zasilania sieciowego, jak i podsystem rezerwowy są zdatne. Przyjmujemy, że stanem początkowym jest 3. Proces stochastyczny stanowiący model funkcjonowania systemu budujemy w następujący sposób: Niech oznaczają chwile w których następują zmiany stanu systemu. 162

DOI 10.1515/jok-2016-0007 Franciszek Grabski Niech będzie procesem stochastycznym o zbiorze stanów, prawostronnie ciągłych realizacjach, przyjmującym stałe wartości w przedziałach. Ten proces na ogół nie jest procesem semi-markowa (SM), gdyż własność braku pamięci nie jest zachowana we wszystkich chwilach zmian stanu. Można jednak skonstruować tak zwany włożony proces stochastyczny w proces [2], który będzie już procesem SM. Niech and będą chwilami awarii podsystemów lub chwilami przywrócenia zdatności po awarii całego systemu. Proces stochastyczny zdefiniowany wzorami jest już procesem semi-markowa. Jest to proces włożony w proces stochastyczny. Żeby określić proces semi-markowa musimy zdefiniować jego rozkład początkowy i wszystkie element jądra procesu [5], [6], [7]. Przypomnijmy, że jądro procesu jest macierzą funkcyjną Ciąg jest jednorodnym łańcuchem Markowa o prawdopodobieństwach przejścia Funkcja jest dystrybuantą rozkładu zmiennej losowej bez względu na następny stan. Funkcja (1) (2) (3) (4) (5) oznaczającej czas trwania stanu jest dystrybuantą rozkładu zmiennej losowej oznaczającej czas trwania stanu gdy następnym stanem będzie. Z (6) wynika równość Jądro procesu SM ma postać (6) (7) (8) 163

Reliability electrical power system of hospital as cold standby system Niezawodność sytemu elektroenergetycznego szpitala jako niezawodność systemu... Korzystając z (3) oraz założeń obliczamy wszystkie elementy jądra w. Elementy oraz są dystrybuantami czasu odnowy. Z przytoczonych wyżej definicji i założeń otrzymujemy: (9) (10) (11) (12) Podobnie (13) Wszystkie niezerowe element macierzy zostały zdefiniowane a więc niezawodnościowy stochastyczny model opisujący funkcjonowanie systemu elektroenergetycznego szpitala został zbudowany. Znajdziemy teraz macierz prawdopodobieństw przejścia włożonego łańcucha Markowa (14) (15) Korzystając ze wzorów (4), (8) oraz (9) - (14) otrzymujemy (16) Dla przyjętych w założeniach rozkładów dla otrzymujemy: (17) 164

DOI 10.1515/jok-2016-0007 Franciszek Grabski Transformaty Laplace-Stieltiesa tych funkcji mają postać: (18) Dystrybuanty rozkładów czasów trwania stanów wzorami: wyrażają się (19) Wartości oczekiwane mają postać: 4. Charakterystyki niezawodności systemu Funkcja jest dystrybuantą rozkładu zmiennej losowej oznaczającej czas pierwszego przejścia ze stanu do podzbioru albo chwilę pierwszego opuszczenia przez proces of podzbioru gdy stanem początkowym jest. 165 (20) (21)

Reliability electrical power system of hospital as cold standby system Niezawodność sytemu elektroenergetycznego szpitala jako niezawodność systemu... Z twierdzenia 1 rozdziału 4 w pracy [6] wynika, że transformaty Laplace- Stieltiesa nieznanych dystrybuant zmiennych losowych spełniają układ równań liniowych (4.18) [6], które w notacji macierzowej mają postać gdzie macierzą jednostkową, jest podmacierzą macierzy oraz są macierzami jednokolumnowymi odpowiednich transformat. Z twierdzenia 1 rozdziału 4 w pracy [6] wynika, że oczekiwany czas zdatności możemy otrzymać rozwiązując równanie macierzowe (22) gdzie (23) W rozpatrywanym modelu podzbiór jest zbiorem stanów niezdatności natomiast jest podzbiorem zdatności systemu. Równanie (24) Rozwiązanie równania (22) w rozpatrywanym tu przypadku prowadzi do wzorów. (25) Transformatę Laplace a funkcji niezawodności rozpatrywanego systemu obliczamy korzystając ze związku Parametry modelu zostały oszacowane metodą Fergusona [3], [4] w oparciu o opinie ekspertów (pracowników technicznych szpitala) i nieliczne dane statystyczne dotyczące jednego ze szpitali w Polsce. Oszacowane wartości parametrów są następujące: (27) Dla tych parametrów podstawiając do wzorów (25) transformaty (18), otrzymujemy transformatę Korzystając ze wzoru (26) otrzymujemy transformatę Laplace a funkcji niezawodności sytemu. Chcąc znaleźć funkcję niezawodności jako transformatę odwrotną skorzystaliśmy z 166 (26)

DOI 10.1515/jok-2016-0007 Franciszek Grabski procedury Ostatecznie otrzymujemy: w programie MATHEMATICA. (28) Korzystając z dobrze znanych wzorów, otrzymujemy wartość oczekiwaną i odchylenie standardowe czasu zdatności systemu elektroenergetycznego szpitala: 5. Literatura [1] Barlow, R.E. & Proschan, F.: Statistical Theory of Reliability and Life Testing. Probability Models. Holt Rinehart and Winston, Inc., New York. 1975. [2] Brodi SM, Pogosian JA: Embedded stochastic processes in theory of queue. Naukova Dumka, Kiev, 1973 (in Russian). [3] Ferguson, T. S: A Bayesian analysis of some nonparametric problems. The Annals of Statistics, 1973.Vol.1, No. 2, 209-230. [4] Grabski. F.. Some Method of Bayesian Nonparametric Estimation in Reliability. Proceeding of the European Conference on Safety and Reliability - ESREL 98. Safety and Reliability. A.Balakema, Roterdam, Brookfield1998, p. 641-646. [5] Grabski, F.: Semi-markowskie modele niezawodności i eksploatacji. Badania Systemowe, tom30 ; IBS PAN, Warszawa, 2002. [6] Grabski, F. : Semi-Markov Processes: Application in System Reliability and Maintenance. Elsevier, Amsterdam, Boston, Heidelberg, London, New York Oxford, Paris,San Diego, San Francisco, Sydney,Tokyo, 2015. [7] Korolyuk VS, Turbin AF. Semi-Markov processes and their applications. Naukova Dumka, Kiev 1976, (in Russian)., prof. dr hab. Franciszek Grabski Full Professor and Head of Department of Mathematics and Physics of Polish Naval Academy. Professor Grabski s main mathematical research interest focuses on probability theory, in particular its applications in system reliability theory and practice. He has constructed and tested several new reliability stochastic models and developed the Bayesian methods application in reliability. He is author or co-author more than 100 scientific papers, course-books and monographs in the probability and reliability field. (Share: 100%). 167

Reliability electrical power system of hospital as cold standby system Niezawodność sytemu elektroenergetycznego szpitala jako niezawodność systemu... 168