W4 Eksperyment niezawodnościowy

Podobne dokumenty
W3 - Niezawodność elementu nienaprawialnego

Wprowadzenie do estymacji rozkładów w SAS.

STATYSTYKA

Instytut Politechniczny Państwowa Wyższa Szkoła Zawodowa. Diagnostyka i niezawodność robotów

Niezawodność i diagnostyka projekt

Statystyka i opracowanie danych Podstawy wnioskowania statystycznego. Prawo wielkich liczb. Centralne twierdzenie graniczne. Estymacja i estymatory

Niezawodność i diagnostyka projekt. Jacek Jarnicki

Spis treści 3 SPIS TREŚCI

Na A (n) rozważamy rozkład P (n) , który na zbiorach postaci A 1... A n określa się jako P (n) (X n, A (n), P (n)

Niezawodność diagnostyka systemów laboratorium. Ćwiczenie 2

Weryfikacja hipotez statystycznych za pomocą testów statystycznych

Idea. θ = θ 0, Hipoteza statystyczna Obszary krytyczne Błąd pierwszego i drugiego rodzaju p-wartość

rok 2006/07 Jacek Jarnicki,, Kazimierz Kapłon, Henryk Maciejewski

STATYSTYKA MATEMATYCZNA WYKŁAD 4. WERYFIKACJA HIPOTEZ PARAMETRYCZNYCH X - cecha populacji, θ parametr rozkładu cechy X.

Statystyka matematyczna. Wykład IV. Weryfikacja hipotez statystycznych

VI WYKŁAD STATYSTYKA. 9/04/2014 B8 sala 0.10B Godz. 15:15

Wnioskowanie statystyczne. Statystyka w 5

Statystyka matematyczna i ekonometria

W2 Podstawy rachunku prawdopodobieństwa (przypomnienie)

Wykład 7 Testowanie zgodności z rozkładem normalnym

Testowanie hipotez statystycznych.

6.4 Podstawowe metody statystyczne

Weryfikacja hipotez statystycznych, parametryczne testy istotności w populacji

Testowanie hipotez statystycznych.

Weryfikacja hipotez statystycznych za pomocą testów statystycznych

Elementy statystyki opisowej, podstawowe pojęcia statystyki matematycznej

Statystyka matematyczna dla leśników

Prawdopodobieństwo i statystyka r.

ZMIENNE LOSOWE. Zmienna losowa (ZL) X( ) jest funkcją przekształcającą przestrzeń zdarzeń elementarnych w zbiór liczb rzeczywistych R 1 tzn. X: R 1.

LABORATORIUM 8 WERYFIKACJA HIPOTEZ STATYSTYCZNYCH PARAMETRYCZNE TESTY ISTOTNOŚCI

PARAMETRY, WŁAŚCIWOŚCI I FUNKCJE NIEZAWODNOŚCIOWE NAPOWIETRZNYCH LINII DYSTRYBUCYJNYCH 110 KV

Weryfikacja hipotez statystycznych

WYKŁADY ZE STATYSTYKI MATEMATYCZNEJ wykład 4 - zagadnienie estymacji, metody wyznaczania estymatorów

WYKŁADY ZE STATYSTYKI MATEMATYCZNEJ wykład 11 i 12 - Weryfikacja hipotez statystycznych

Rachunek prawdopodobieństwa i statystyka - W 9 Testy statystyczne testy zgodności. Dr Anna ADRIAN Paw B5, pok407

Rozkłady statystyk z próby

METODY ESTYMACJI PUNKTOWEJ. nieznanym parametrem (lub wektorem parametrów). Przez X będziemy też oznaczać zmienną losową o rozkładzie

W6 Systemy naprawialne

Metody probabilistyczne

Zmienne losowe, statystyki próbkowe. Wrocław, 2 marca 2015

Analiza danych. TEMATYKA PRZEDMIOTU

MATEMATYKA Z ELEMENTAMI STATYSTYKI LABORATORIUM KOMPUTEROWE DLA II ROKU KIERUNKU ZARZĄDZANIE I INŻYNIERIA PRODUKCJI ZESTAWY ZADAŃ

7. Estymacja parametrów w modelu normalnym( ) Pojęcie losowej próby prostej

Testy zgodności. Dr Joanna Banaś Zakład Badań Systemowych Instytut Sztucznej Inteligencji i Metod Matematycznych. Wykład 11

Wnioskowanie statystyczne Weryfikacja hipotez. Statystyka

Wykład 1 Zmienne losowe, statystyki próbkowe - powtórzenie materiału

Testowanie hipotez. Hipoteza prosta zawiera jeden element, np. H 0 : θ = 2, hipoteza złożona zawiera więcej niż jeden element, np. H 0 : θ > 4.

Kolokwium ze statystyki matematycznej

Inżynieria Środowiska. II stopień ogólnoakademicki. przedmiot podstawowy obowiązkowy polski drugi. semestr zimowy

przedmiot podstawowy obowiązkowy polski drugi

Rozkłady statystyk z próby. Statystyka

dr Jerzy Pusz, st. wykładowca, Wydział Matematyki i Nauk Informacyjnych Politechniki Warszawskiej B. Ogólna charakterystyka przedmiotu

b) Niech: - wśród trzech wylosowanych opakowań jest co najwyżej jedno o dawce 15 mg. Wówczas:

Testowanie hipotez statystycznych.

Testowanie hipotez statystycznych. Wnioskowanie statystyczne

TESTY NIEPARAMETRYCZNE. 1. Testy równości średnich bez założenia normalności rozkładu zmiennych: Manna-Whitney a i Kruskala-Wallisa.

Analiza przeżycia. Wprowadzenie

Statystyka od podstaw Janina Jóźwiak, Jarosław Podgórski

Niech X i Y będą niezależnymi zmiennymi losowymi o rozkładach wykładniczych, przy czym Y EX = 4 i EY = 6. Rozważamy zmienną losową Z =.

Estymacja parametrów w modelu normalnym

Błędy przy testowaniu hipotez statystycznych. Decyzja H 0 jest prawdziwa H 0 jest faszywa

Funkcje charakteryzujące proces. Dr inż. Robert Jakubowski

Wykład 13. Zmienne losowe typu ciągłego

Opis przedmiotu. Karta przedmiotu - Probabilistyka I Katalog ECTS Politechniki Warszawskiej

Wykład 10 Estymacja przedziałowa - przedziały ufności dla średn

UPORZĄDKOWANIE STOCHASTYCZNE ESTYMATORÓW ŚREDNIEGO CZASU ŻYCIA. Piotr Nowak Uniwersytet Wrocławski

Recenzenci: prof. dr hab. Henryk Domański dr hab. Jarosław Górniak

Liczba godzin Punkty ECTS Sposób zaliczenia. ćwiczenia 16 zaliczenie z oceną

WYKŁAD 8 TESTOWANIE HIPOTEZ STATYSTYCZNYCH

STATYSTYKA MATEMATYCZNA

WSTĘP. Tematy: Regresja liniowa: model regresji liniowej, estymacja nieznanych parametrów. Wykład:30godz., ćwiczenia:15godz., laboratorium:30godz.

Wykład 10 Testy jednorodności rozkładów

LABORATORIUM 8 WERYFIKACJA HIPOTEZ STATYSTYCZNYCH PARAMETRYCZNE TESTY ISTOTNOŚCI

Wykład Centralne twierdzenie graniczne. Statystyka matematyczna: Estymacja parametrów rozkładu

Stanisław Cichocki Natalia Nehrebecka. Wykład 7

Detekcja rozkładów o ciężkich ogonach

WYDZIAŁ BUDOWNICTWA LĄDOWEGO I WODNEGO

Wykład 2 Hipoteza statystyczna, test statystyczny, poziom istotn. istotności, p-wartość i moc testu

Testowanie hipotez statystycznych

... i statystyka testowa przyjmuje wartość..., zatem ODRZUCAMY /NIE MA POD- STAW DO ODRZUCENIA HIPOTEZY H 0 (właściwe podkreślić).

PODSTAWOWE ROZKŁADY PRAWDOPODOBIEŃSTWA. Piotr Wiącek

Estymacja przedziałowa - przedziały ufności dla średnich. Wrocław, 5 grudnia 2014

Statystyka matematyczna. Wykład VI. Zesty zgodności

Sposoby prezentacji problemów w statystyce

weryfikacja hipotez dotyczących parametrów populacji (średnia, wariancja) założenie: znany rozkład populacji (wykorzystuje się dystrybuantę)

WYKŁADY ZE STATYSTYKI MATEMATYCZNEJ wykład 9 i 10 - Weryfikacja hipotez statystycznych

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

Opis przedmiotu: Probabilistyka I

Temat: BADANIE ZGODNOŚCI ROZKŁADU CECHY (EMPIRYCZNEGO) Z ROZKŁADEM TEORETYCZNYM TEST CHI-KWADRAT. Anna Rajfura 1

Temat: BADANIE ZGODNOŚCI ROZKŁADU CECHY (EMPIRYCZNEGO) Z ROZKŁADEM TEORETYCZNYM TEST CHI-KWADRAT. Anna Rajfura 1

Metody Statystyczne. Metody Statystyczne.

Statystyka i opracowanie danych- W 8 Wnioskowanie statystyczne. Testy statystyczne. Weryfikacja hipotez statystycznych.

zbieranie porządkowanie i prezentacja (tabele, wykresy) analiza interpretacja (wnioskowanie statystyczne)

Sylabus do programu kształcenia obowiązującego od roku akademickiego 2014/15

Wstęp do probabilistyki i statystyki. Wykład 4. Statystyki i estymacja parametrów

Własności statystyczne regresji liniowej. Wykład 4

STATYSTYKA INDUKCYJNA. O sondażach i nie tylko

VII WYKŁAD STATYSTYKA. 30/04/2014 B8 sala 0.10B Godz. 15:15

Testowanie hipotez statystycznych. Wprowadzenie

1 Estymacja przedziałowa

Transkrypt:

W4 Eksperyment niezawodnościowy Henryk Maciejewski Jacek Jarnicki Jarosław Sugier www.zsk.iiar.pwr.edu.pl Badania niezawodnościowe i analiza statystyczna wyników 1. Co to są badania niezawodnościowe i jak się je prowadzi 2. Sposoby prezentacji danych z eksperymentu 3. Sposoby wyznaczanie rozkładu zmiennej losowej na podstawie danych z eksperymentu 1

Co to są badania niezawodnościowe i jak się je przeprowadza Celem badań jest określenie rozkładu zmiennej losowej opisującej czas życia elementu. Czas życia określamy zwykle na podstawie eksperymentu. czas życia e zmienna losowa T określająca model niezawodnościowy elementu uszkodzenie czas Pojęcia podstawowe i stosowana terminologia Populacja zbiór wszystkich elementów danego rodzaju Próba losowa wybrane w pewien sposób niektóre elementy populacji, opisane przez wektor: T = T 1,T 2,,T n T i - zmienna losowa, czas życia i-tego elementu (1 i n) Badanie sposób uzyskania wiedzy o elementach z próby losowej, wynikiem badania jest t 1,t 2,,t n t i realizacja zmiennej losowej T i Statystyka funkcja wektora losowego S(T) = S(T 1,T 2,,T n ) 2

Przeprowadzanie badań niezawodnościowych Pobranie próby losowej Notowanie chwil uszkodzeń kolejnych elementów, z jednoczesnym sprawdzaniem czy nie jest spełnione kryterium zakończenia badania Kryteria zakończenia badania: Uszkodzenie wszystkich n elementów próby losowej (badanie pełne) Przekroczenie dopuszczalnego czasu badania T test (próba obcięta, Type I censoring, time-censored test) Uszkodzenie zadanej liczby (k<n) elementów (próba obcięta, Type II censoring, failure-censored test) Uszkodzenie zadanej liczby elementów k lub przekroczenie dopuszczalnego czasu badania T test Wynik badania niezawodnościowego Dla próby pełnej zbiór realizacji czasów życia: t 1 < t 2 < < t n Dla próby obciętej: t 1 < t 2 < < t k czasy życia zmierzone dla k elementów, które uległy uszkodzeniu T 1,,T n-k czasy pracy n-k elementów, które do końca testu nie uległy uszkodzeniu Przyspieszone badania niezawodności: jeśli w warunkach nominalnych nie jest możliwe w realnym czasie przeprowadzenie eksperymentu, wówczas wymusza się szybsze wystąpienie uszkodzeń przez zwiększenie poziomu stresu, a następnie odwzorowuje się wyniki badań na warunki nominalne. 3

Sposoby prezentacji danych z eksperymentu Histogram Budowa histogramu: Wyznaczamy zakres rysowania Podział zakresu rysowania na równe przedziały Wyznaczenie dla każdego przedziału liczby należących do niego danych (lub częstości) Narysowanie wykresu słupkowego 4 3 2 1 5 1 15 Przykład Z rozkładu normalnego o parametrach = 1 i = 2, wylosowano n = 1 liczb. Wpływ liczby m przedziałów na wygląd histogramu. 4 15 3 2 1 5 1 15 m=5 1 5 5 1 15 m=2 5 4 3 2 1 5 1 15 m=1 4

Dystrybuanta empiryczna Funkcja określona następująco: F n t = t t 1 k n t k < t t k+1 1 t > t n 1.8 N =1.6.4.2 6 8 1 12 14 16 Przykład Z rozkładu normalnego o parametrach = 1 i = 2, wylosowano N liczb. Jak wygląda dystrybuanta empiryczna dla różnych N? 1.8 N =1 1.8 N =1.6.6.4.4.2.2 6 8 1 12 14 16 4 6 8 1 12 14 16 18 1.8 N =1.6.4.2 4 6 8 1 12 14 16 18 2 5

Twierdzenie (Gliwienko-Cantelli) Jeśli F(t) jest dystrybuantą, z której pobrano próbę losową i niech Wówczas D n = sup F n t F(t <t<+ P lim D n = = 1 n Dystrybuanta empiryczna zbiega się do teoretycznej z prawdopodobieństwem 1. Wyznaczanie rozkładu zmiennej losowej na podstawie danych z eksperymentu Sformułowanie zadania estymacji parametrycznej Zakładamy że wektor T = T 1,T 2,,T n opisujący próbę losową został pobrany z parametrycznej rodziny rozkładów F θ : θ Θ przy czym wartość parametru (parametrów) identyfikującego rozkład nie jest znana. Jak wyznaczyć nieznany parametr na podstawie próby losowej? 6

Estymacja metodą największej wiarogodności Metodę podał R.A. Fisher Jako wartość parametru przyjąć wartość θ, która maksymalizuje funkcję wiarogodności: L t 1, t 2,, t n, θ = n i=1 f(t i, θ) gdzie f(t, ) gęstość rozkładu populacji. Estymacja metodą największej wiarogodności W przypadku prób obciętych, parametr θ wyznaczamy poprzez maksymalizację wyrażenia: L t 1, t 2,, t k, T 1, T 2,, T n k, θ = = k f(t i, θ) n k 1 F T j, θ i=1 j=1 gdzie f(t, ) gęstość, F(t, ) - dystrybuanta rozkładu populacji. 7

Komputerowe metody analizy wyników badań niezawodnościowych Procedurę zilustrujemy przykładem (czasy życia transformatorów): zarejestrowano następujące czasy życia t censor = oznacza czas do awarii, censor = 1 oznacza czas pracy do zakończenia badania, element nie uległ awarii. Jaki jest rozkład zmiennej losowej opisującej czas życie elementu? Narzędzia: Uniwersalne oprogramowanie matematyczne (np. Matlab, R) Specjalistyczne oprogramowanie do analizy danych (np. system SAS firmy SAS Institute) Przykładowa procedura (dane obcięte) 1. Sporządzić wykres probabilistyczny dla wybranych rozkładów prawdopodobieństwa (np. Weibulla, wykładniczego, ) 2. Jeśli dane pochodzą z danego rozkładu, wówczas naniesione na wykres probabilistyczny powinny ułożyć się mniej więcej wzdłuż linii prostej. 3. Wyznaczamy parametry rozkładu (np. metodą największej wiarogodności). 8

Wykres probabilistyczny dla danego rozkładu uzyskujemy przez przeskalowanie osi t i F(t) tak żeby dystrybuanta dla tego rozkładu była linią prostą. Np. dla rozkładu wykładniczego F(t)=1-exp( t), zachodzi log(1-f(t)) = t stąd w układzie współrzędnych (t, log(1-f(t))) dystrybuanta dla tego rozkładu jest linią. W praktyce często stosujemy log przy podstawie 1. Przykład analiza czasu życia transformatorów Zakładamy rozkład wykładniczy 9

Zakładamy rozkład Weibulla Analiza wyników Stwierdzamy, że dla rozkładu Weibulla dane układają się wzdłuż linii prostej wybieramy więc ten rozkład Wyznaczamy parametry rozkładu (metoda największej wiarogodności): Scale = 3173 Shape = 2.367 Wartość średnia dla tego rozkładu: E(T) = 27539 1

Przykładowa procedura (dane pełne) Sporządzić histogram dla zarejestrowanych danych. Na podstawie kształtu histogramu założyć możliwy rozkład prawdopodobieństwa czasu życia. Dla wytypowanego rozkładu wyznaczyć parametry (np. metodą największej wiarogodności). Sprawdzić jakość dopasowania (goodness-of-fit), poprzez weryfikację hipotezy H o zgodności danych z założonym rozkładem. Procedura testowa: jeśli p-value <.5 wówczas odrzucamy hipotezę o zgodności przyjętego rozkładu z danymi. Należy wtedy poszukać innego rozkładu. Możemy również posłużyć się wykresami probabilistycznymi jak w przykładzie dla prób obciętych. Przykład analiza próby pełnej Zakładamy rozkłady: Wykładniczy Weibulla Lognormalny 11

Goodness-of-fit testing Analiza wartość p testu (p-value) wskazuje że czas życia ma rozkład Weibulla. Parametry tego rozkładu: Scale = 974 Shape = 3.96 Wartość średnia = 8823 12