STATYSTYCZNE STEROWANIE PROCESEM PRODUKCYJNYM On ju wie jak

  • Slides: 52
Download presentation
STATYSTYCZNE STEROWANIE PROCESEM PRODUKCYJNYM On już wie jak to działa

STATYSTYCZNE STEROWANIE PROCESEM PRODUKCYJNYM On już wie jak to działa

Statystyczne Sterowanie Procesem Produkcyjnym = Statystyczna Kontrola Procesu = Statistical Process Control SPC

Statystyczne Sterowanie Procesem Produkcyjnym = Statystyczna Kontrola Procesu = Statistical Process Control SPC

PO CO STATYSTYKA W PRODUKCJI? Działalność przedsiębiorstwa (DP) można zapisać wzorem: DP = PROCES

PO CO STATYSTYKA W PRODUKCJI? Działalność przedsiębiorstwa (DP) można zapisać wzorem: DP = PROCES 1 + PROCES 2 +. . . + PROCES n DP jest więc zbiorem różnych procesów. Jedne z nich są ważne (proces projektowania wyrobu, produkcja), inne mało istotne (np. wywóz śmieci z terenu zakładu).

PO CO STATYSTYKA W PRODUKCJI? Cel przedsiębiorstwa: sukces poprzez doskonalenie jakości i obniżanie kosztów

PO CO STATYSTYKA W PRODUKCJI? Cel przedsiębiorstwa: sukces poprzez doskonalenie jakości i obniżanie kosztów Jak osiągnąć ten cel? : Poprzez panowanie nad procesami – realizowanie ich w sposób jak najbardziej dla siebie korzystny Jak panować nad procesami? : SPC

IDEA SPC Każdy proces produkcyjny ma w swojej naturze zmienność. Ta zmienność wynika z

IDEA SPC Każdy proces produkcyjny ma w swojej naturze zmienność. Ta zmienność wynika z wielu czynników na które często mamy ograniczony wpływ. SPC pozwala na: 1. monitorowanie czy proces jest statystycznie sterowalny (przewidywalny w swoim zachowaniu) 2. odróżnienie zaburzeń jakie się w nim pojawiają (przyczyn specjalnych) od naturalnej zmienności procesu (przyczyn normalnych)

NAJCZĘŚCIEJ STOSOWANE TECHNIKI SPC Ø Histogram Ø Karty kontrolne Ø Wskaźniki zdolności procesu Ø

NAJCZĘŚCIEJ STOSOWANE TECHNIKI SPC Ø Histogram Ø Karty kontrolne Ø Wskaźniki zdolności procesu Ø Wskaźniki zdolności maszyn

HISTORIA SPC Podstawy SPC (karty kontrolne) zostały opracowane przez Waltera A. Shewharta w latach

HISTORIA SPC Podstawy SPC (karty kontrolne) zostały opracowane przez Waltera A. Shewharta w latach 20 tych XX wieku. SPC było stosowane w USA podczas II wojny światowej do poprawy procesów produkcyjnych (dla wojska). Po wojnie przemysł amerykański nie musiał się przejmować jakością produkowanych wyrobów, gdyż zniszczona działaniami wojennymi Europa kupowała wszystko co było w USA produkowane. To spowodowało znaczący spadek zainteresowania technikami statystycznymi na wiele lat.

HISTORIA SPC zostało "ponownie odkryte" w USA końcem XX wieku i w ostatnich latach

HISTORIA SPC zostało "ponownie odkryte" w USA końcem XX wieku i w ostatnich latach jest popularyzowane jako jedno z narzędzi Six Sigma. Jednocześnie rozwój oprogramowania do analizy statystycznej, arkuszy kalkulacyjnych i systemów zbierania danych znacznie ułatwia stosowanie SPC

PODSTAWY Ø DANE I ICH PREZENTACJA Ø ROZKŁADY ZMIENNYCH

PODSTAWY Ø DANE I ICH PREZENTACJA Ø ROZKŁADY ZMIENNYCH

PODSTAWY – DANE I ICH PREZENTACJA ETAPY ANALIZY STATYSTYCZNEJ WYNIKI POPULACJA PRÓBKA OBLICZENIA POMIARY

PODSTAWY – DANE I ICH PREZENTACJA ETAPY ANALIZY STATYSTYCZNEJ WYNIKI POPULACJA PRÓBKA OBLICZENIA POMIARY ANALIZA

PODSTAWY – DANE I ICH PREZENTACJA ETAPY ANALIZY STATYSTYCZNEJ WYNIKI POPULACJA PRÓBKA OBLICZENIA POMIARY

PODSTAWY – DANE I ICH PREZENTACJA ETAPY ANALIZY STATYSTYCZNEJ WYNIKI POPULACJA PRÓBKA OBLICZENIA POMIARY ANALIZA

PODSTAWY – DANE I ICH PREZENTACJA PRÓBKA WYBÓR PRÓBKI: ØPróbka wybrana do badania musi

PODSTAWY – DANE I ICH PREZENTACJA PRÓBKA WYBÓR PRÓBKI: ØPróbka wybrana do badania musi być odpowiednia ØWybór próbki jest kluczowy etapem z punktu widzenia wiarygodności końcowych wyników CECHY DOBRZE DOBRANEJ PRÓBKI: Ølosowa Øreprezentatywna

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Próbka losowa: pobrana całkowicie przypadkowo z

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Próbka losowa: pobrana całkowicie przypadkowo z pewnej większej liczby wyrobów (populacji) Procedury pomagające zapewnić losowość próbki: Ø wykorzystanie tablicy liczb losowych Ø losowanie „na ślepo” Ø pobieranie systematyczne Ø pobieranie wielostopniowe Ø pobieranie warstwowe

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Procedury pomagające zapewnić losowość próbki: Ø

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Procedury pomagające zapewnić losowość próbki: Ø wykorzystanie tablicy liczb losowych Tablica liczb losowych to zestaw liczb wygenerowanych całkowicie losowo i którymi posłużyć się można przy wybieraniu elementów do badania. Podstawowy warunek: ponumerowanie wszystkich kontrolowanych jednostek produktu.

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Procedury pomagające zapewnić losowość próbki: Ø

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Procedury pomagające zapewnić losowość próbki: Ø losowanie „na ślepo” Polega na – z założenia przypadkowym – pobieraniu wyrobów do próbki przez kontrolera. Podstawowe warunki: wszystkie elementy z badanej partii wyrobów muszą być w takim samym stopniu dostępne dla kontrolera; musi on pobierać wyroby z różnych miejsc itd.

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Procedury pomagające zapewnić losowość próbki: Øpobieranie

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Procedury pomagające zapewnić losowość próbki: Øpobieranie systematyczne Stosuje się, gdy wyroby są dostarczane w sposób ciągły. Do kontroli pobiera się wyroby wyprodukowane w określonych odstępach czasu lub co określoną liczbę wyprodukowanych jednostek.

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Procedury pomagające zapewnić losowość próbki: Ø

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Procedury pomagające zapewnić losowość próbki: Ø pobieranie wielostopniowe Ø pobieranie warstwowe Stosowane w przypadku dostarczania wyrobów do kontroli w postaci partii (również tych złożonych z podpartii)

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Szczegółowe zasady losowego pobierania przedmiotów do

PODSTAWY – DANE I ICH PREZENTACJA LOSOWOŚĆ PRÓBKI Szczegółowe zasady losowego pobierania przedmiotów do próbek opisane są w normie: PN 83/N-03010 Statystyczna kontrola jakości. Losowy wybór jednostek produktu do próbki.

PODSTAWY – DANE I ICH PREZENTACJA REPREZENTATYWNOŚĆ PRÓBKI Próbka reprezentatywna: w dobry sposób odzwierciedla

PODSTAWY – DANE I ICH PREZENTACJA REPREZENTATYWNOŚĆ PRÓBKI Próbka reprezentatywna: w dobry sposób odzwierciedla populację, z której została pobrana Dla zapewnienia reprezentatywności konieczna jest odpowiednia liczebność próbki. Im większa próbka, tym bardziej wiarygodne wyniki. Uwaga! Liczności nie można zwiększać w nieskończoność (koszty kontroli). Należy szukać optimum pomiędzy kosztami a wiarygodnością wyników.

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Dana: każda informacja opisująca proces, wyrób,

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Dana: każda informacja opisująca proces, wyrób, usługę, maszynę itd. Typy danych: Ø dane kategorialne (uzyskiwane przy ocenie metodą alternatywną) Ø dane liczbowe (pochodzące z pomiarów)

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane kategorialne Uzyskuje się

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane kategorialne Uzyskuje się je w przypadkach: Ø dzielenia (klasyfikowania) przedmiotów na kategorie Ø zliczania liczby przedmiotów w danych kategoriach Ø zliczania proporcji przedmiotów Ø zliczania liczby braków lub niezgodności

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane kategorialne Są one

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane kategorialne Są one często wykorzystywane w praktyce, bo do ich zebrania zazwyczaj nie potrzeba skomplikowanych i dokładnych urządzeń pomiarowych. Przykład: zliczanie liczny rys na lakierze samochodu; liczba żarówek z danej partii która nie świeci

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane kategorialne Zwykle wyroby

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane kategorialne Zwykle wyroby dzieli się na 2 kategorie: dobre i złe. Można je jednak dzielić na więcej kategorii, które odzwierciedlać będą jakość. Przykład: klasy I, III, IV. Klasa I- najwyższej jakości, klasa IV- najgorszej.

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane kategorialne Zalety: Ø

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane kategorialne Zalety: Ø prostota prowadzonej kontroli Ø czytelność otrzymanych wyników Wady: Ø nieprecyzyjność

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane liczbowe Uzyskuje się

PODSTAWY – DANE I ICH PREZENTACJA RODZAJE DANYCH Typy danych: dane liczbowe Uzyskuje się je w przypadkach: Ø pomiarów cechy produktu, usługi, procesu Ø przeliczania numerycznych wartości z dwóch lub więcej pomiarów liczbowych Wymóg: korzystanie z urządzeń pomiarowych

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Najprostszy sposób: spisywanie w rzędzie np.

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Najprostszy sposób: spisywanie w rzędzie np. : 5, 6, 9, 11, 6, 7, 7, 6, 5, 9, 7, 8, 7, 6, 7, 8, 4, 8, 7, 8, 10, 9, 7, 8, . . . Ten zapis jest nieczytelny i mało użyteczny

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Użyteczne metody prezentacji danych: Ø tabela

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Użyteczne metody prezentacji danych: Ø tabela częstości wystąpień (liczności) Ø histogram Ø wykres punktowy

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Tabela częstości wystąpień Wartość danej Wystąpienie

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Tabela częstości wystąpień Wartość danej Wystąpienie danej Liczba wystąpień 3 0 4 2 5 3 6 5 7 1

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Tabela częstości wystąpień Z tabeli takiej

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Tabela częstości wystąpień Z tabeli takiej można łatwo odczytać: Ø ile pomiarów o danej wartości zarejestrowano Ø która wartość powtarzała się najczęściej Ø w jakim zakresie pojawiają się dane (minimum i maksimum)

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram ØJest pewnym rozwinięciem tabeli liczności.

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram ØJest pewnym rozwinięciem tabeli liczności. ØSzczególnie przydatny do prezentowania dużej ilości danych liczbowych i kategorialnych.

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram 31, 820 33, 100 33,

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram 31, 820 33, 100 33, 780 34, 650 34, 870 35, 530 36, 750 32, 010 33, 120 33, 790 34, 690 34, 880 35, 620 36, 680 32, 010 33, 260 33, 790 34, 690 34, 900 35, 780 36, 780 32, 050 33, 260 33, 790 34, 720 34, 920 35, 790 36, 850 32, 230 33, 280 33, 820 34, 720 34, 960 35, 860 38, 520 32, 600 33, 300 33, 820 34, 810 35, 090 36, 120 32, 950 33, 360 33, 860 34, 810 35, 120 36, 250 33, 030 33, 540 33, 950 34, 810 35, 160 36, 560 33, 050 33, 560 34, 210 34, 860 35, 280 36, 560 33, 060 33, 750 34, 220 34, 870 35, 290 36, 590

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 1. Posortowanie

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 1. Posortowanie danych w porządku od najmniejszej do największej 2. Wyznaczenie wartości najmniejszej i największej: xmin, xmax

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 3. Obliczenie

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 3. Obliczenie szerokości zakresu, w jakim pojawiają się dane (rozstępu): R=xmax-xmin 4. Wyznaczenie liczby przedziałów: ilość przedziałów= pierwiastek(ilość pomiarów)

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 5. Ustalenie

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 5. Ustalenie szerokości przedziałów: przedziału=rozstęp/l-ba przedziałów szerokość Otrzymaną wartość zaokrąglamy w taki sposób, aby narysowany histogram był jak najbardziej czytelny

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 6. Rozpisanie

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 6. Rozpisanie przedziałów i obliczenie, ile w każdym z nich znajduje się wyników: Przedział wartości Ilość wyników w przedziale (31, 32] 1 (32, 33] 6 (33, 34] 21 (34, 35] 17 (35, 36] 10 (36, 37] 9 (37, 38] 0 (38, 39] 1

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 6. Narysowanie

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram Procedura rysowania histogramu: 6. Narysowanie wykresu: w zależności od liczby wyników w poszczególnych przedziałach, rysuje się odpowiednią wysokość słupka.

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Histogram

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Tabela Dane z pomiarów

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Tabela Dane z pomiarów uziarnienia mielonego materiału. Pomiary w próbce Obroty młyna [obr/min] 1415 1430 1445 1460 1480 1 32, 76 33, 37 36, 54 36, 20 36, 74 2 32, 72 33, 11 35, 11 36, 58 36, 40 3 32, 70 33, 15 36, 02 35, 24 36, 43 4 32, 69 33, 25 35, 59 36, 14 36, 72 5 32, 67 33, 20 36, 03 35, 52 36, 55

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Rys. Wykres punktowy zależności

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Rys. Wykres punktowy zależności pomiędzy uziarnieniem a obrotami młyna.

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Ø im większe obroty

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Ø im większe obroty tym drobniej zmielony materiał

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Ø przy obrotach 1445

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Ø przy obrotach 1445 i 1460 próbki charakteryzują się dużą zmiennością (rozrzutem)

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Ø próbka jest najbardziej

PODSTAWY – DANE I ICH PREZENTACJA PREZENTOWANIE DANYCH Wykres punktowy Ø próbka jest najbardziej jednorodna przy obrotach 1415

PODSTAWY – ROZKŁADY ZMIENNYCH Dane zbierane podczas pomiarów zawsze układają się w pewien określony

PODSTAWY – ROZKŁADY ZMIENNYCH Dane zbierane podczas pomiarów zawsze układają się w pewien określony sposób. To w jaki, zależy przede wszystkim od zjawiska, które jest obserwowane i od tego jak zachowuje się proces, jakimi cechami się on charakteryzuje. Sposób, w jaki układają się dane- rozkład zmiennej losowej. Statystycy wyróżniają wiele takich rozkładów ale z punktu widzenia SPC ważne jest tylko kilka z nich.

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Ø Najczęściej spotykany w praktyce SPC Ø Jest

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Ø Najczęściej spotykany w praktyce SPC Ø Jest symetryczny względem wartości średniej Ø Jest jednomodalny (ma jedną określoną wartość występującą najczęściej)

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Funkcja gęstości prawdopodobieństwa (funkcja opisująca prawdopodobieństwo przyjęcia przez

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Funkcja gęstości prawdopodobieństwa (funkcja opisująca prawdopodobieństwo przyjęcia przez zmienną X wybranych wartości): dla -∞ < x< ∞ Dystrybuanta: m- wartość oczekiwana (średnia arytmetyczna) σ- odchylenie standardowe

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY m- wartość oczekiwana -> opisuje miejsce, w jakim

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY m- wartość oczekiwana -> opisuje miejsce, w jakim znajduje się rozkład zmiennej na przyjętej skali (miara położenia) σ- odchylenie standardowe ->opisuje rozrzut rozkładu (miara zmienności)

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Miary położenia: Ø średnia arytmetyczna Ø rzadko wykorzystywane:

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Miary położenia: Ø średnia arytmetyczna Ø rzadko wykorzystywane: średnia geometryczna, średnia harmoniczna, średnia ważona Ø mediana: wartość środkowa w ciągu danych Ø moda (dominanta): wartość występująca najczęściej w zbiorze danych

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Miary zmienności (pokazują rozproszenie wyników) Ø wariancja Ø

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Miary zmienności (pokazują rozproszenie wyników) Ø wariancja Ø odchylenie standardowe UWAGA! Powyższe wzory obowiązują, pod warunkiem, że mamy możliwość zbadania całej populacji, co jest PRAWIE NIGDY SPEŁNIONE

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Miary zmienności (pokazują rozproszenie wyników) Ponieważ opisujemy rozkład

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Miary zmienności (pokazują rozproszenie wyników) Ponieważ opisujemy rozkład opierając się jedynie na pewnej próbce wyników, pobranej z populacji, stosuje się estymator:

PODSTAWY – ROZKŁADY ZMIENNYCH Zasada 3σ ROZKŁAD NORMALNY Ponad 68% wszystkich wyników zawiera się

PODSTAWY – ROZKŁADY ZMIENNYCH Zasada 3σ ROZKŁAD NORMALNY Ponad 68% wszystkich wyników zawiera się w przedziale xśr +/- σ Ponad 99, 7% wszystkich wyników mieści się w przedziale xśr +/- 3σ (ten przedział jest stosowany SPC)

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Badanie normalności rozkładu Ponieważ wiele metod stosowanych w

PODSTAWY – ROZKŁADY ZMIENNYCH ROZKŁAD NORMALNY Badanie normalności rozkładu Ponieważ wiele metod stosowanych w SPC opiera się na założeniu, ze zebrane dane mają rozkład normalny, należy zawsze sprawdzać, czy to założenie jest spełnione. Testy statystyczne: Ø test chi-kwadrat Ø test Kołmogorowa-Smirnowa