Search
Filters
total: 1574
-
Catalog
displaying 1000 best results Help
Search results for: oscylacyjna metoda testowania
-
Metoda oceny skuteczności cyfrowego korektora mowy
PublicationCyfrowy korektor mowy, który został opracowany w Katedrze Inżynierii Dźwięku i Obrazu PG, jest urządzeniem pozwalającym na poprawę płynności mowy osób jąkających się z wykorzystaniem nowego typu metodykę modyfikacji audytoryjnej pętli sprzężenia zwrotnego. W niniejszej pracy zawarto podstawowe informacje na temat wady wymowy, jaką jest jąkanie się oraz na temat opracowanego korektora.
-
Regulacje prawne odnoszące się do testowania samochodów autonomicznych na drogach publicznych w Polsce i Kalifornii
Publication -
Wykorzystanie technik testowania magistralowego układów cyfrowych i analogowych w laboratorium Systemów Testujących Produkcji Komputerowo Zintegrowanej
PublicationW referacie zaprezentowano metodykę nauczania oraz aspekty techniczne ćwiczeń w laboratorium Systemów Testujących Produkcji Komputerowo Zintegrowanej, prowadzonym dla studentów piątego roku specjalności Skomputeryzowane Systemy Elektroniczne na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej. Metodyka ćwiczeń oparta jest na wykorzystaniu metod symulacji komputerowej oraz praktycznych badaniach na stanowiskach...
-
System Kanban jako współczesna metoda sterowania produkcją w małych i średnich firmach
PublicationCelem artykułu było przedstawienie praktycznego działania systemu Kanban jako współczesnej metody sterowania produkcją w małych i średnich firmach. Dla przedsiębiorstw kanban to praktyczna metoda likwidacji magazynów przedprodukcyjnych (cały zapas znajduje się na stanowisku roboczym), międzyoperacyjnych i wyrobów gotowych. Materiały i półfabrykaty dostarczane są od dostawców z godzinową dokładnością, dzięki rezerwom zdolności produkcyjnych...
-
Metoda głównych składowych w analizie wyników otrzymanych za pomocą dynamiki molekularnej
PublicationMetoda głównych składowych (ang. principal component analysis, PCA) jest jednym z najpopularniejszych statystycznych narzędzi do wielowymiarowej analizy dużego zestawu danych. Pozwala ona na przekształcenie danego zbioru wzajemnie skorelowanych cech (zmiennych) w nowy układ cech wzajemnie nieskorelowanych (tzw. głównych składowych), który jest porównywalny z układem pierwotnym - zastosowanie PCA upraszcza więc w znaczny sposób...
-
Metoda wyznaczania obszaru dobrej widoczności na przejściach dla pieszych w Polsce
PublicationJednym z istotnych czynników wpływających na wypadki z pieszymi przekraczającymi jezdnię są ograniczenia obszarów dobrej widoczności pieszych i pojazdów na przejściach dla pieszych. W Polsce ten problem jest niedoceniany. W niniejszym artykule przedstawiono propozycję metody wyznaczania obszaru dobrej widoczności na przejściach dla pieszych w Polsce. Metodę tą opracowano, korzystając z doświadczeń zagranicznych i badań własnych....
-
Metoda diagnostyki cieplno-przepływowej turbin parowych wykorzystująca elementy algorytmów genetycznych
PublicationRozprawa doktorska poświęcona jest opisowi budowania metody diagnostyki cieplno-przepływowej z wykorzystaniem elementów algorytmów genetycznych. Do tworzenia założeń i algorytmów metody posłużono się przykładem funkcjonowania bloku elektrowni kondensacyjnej ze szczególnym uwzględnieniem układu łopatkowego turbiny parowej. Celem pracy jest zbudowanie metody diagnostyki cieplno-przepływowej. Zadaniem metody jest przeprowadzenie procesu...
-
Analog fault signature based on sigma-delta modulation and oscillation-test methodology.
PublicationW artykule dokonano przeglądu prac z zakresu testowania układów elektronicznych metodą oscylacyjną. Wskazując na niedostatki aktualnie stosowanej techniki testowania oscylacyjnego zaproponowano nową sygnaturę uszkodzeń dla układów analogowych. Proponowany parametr diagnostyczny jest wydobywany z odpowiedzi czasowej oscylatora testującego, w układzie złożonym z detektora szczytowego, modulatora sigma-delta oraz licznika rewersyjnego....
-
METODA ELEMENTÓW SKOŃCZONYCH - ZASTOSOWANIA, r.a. 2022/2023, sem. letni
e-Learning CoursesPrzedmiot ma na celu zapoznanie studentów z wybranymi aspektami praktycznego zastosowania MES w inżynierii.
-
Metoda Elementów Skończonych_Wykład (PG_00057399), MwBMiP, sem 1, zima22/23,
e-Learning Courses -
On-Board Detection, Classification and Evaluation of Nonlinearities
PublicationArtykuł prezentuje tester wbudowany BIT przeznaczony do wydobywania informacji diagnostycznej z sygnału generowanego przy zastosowaniu oscylacyjnej metody testowania. Układ bazujący na technice modulacji Sigma-Delta i sztucznych sieciach neuronowych może wykrywać nieliniowość w sygnale testującym, określać rodzaj nieliniowości i szacować zawartość harmonicznych.
-
Metoda adaptacyjnej kompresji statycznych obrazów rastrowych i jej zastosowanie w systemach ITS
PublicationW referacie przedstawiono koncepcję i przykład zastosowania adaptacyjnej metody kompresji obrazów rastrowych, która może znaleźć zastosowanie m.in. w systemach ITS. Opracowana metoda pozwala na poprawę efektywności działania systemów zaliczanych do klasy ITS, w których istnieje konieczność transmisji bardzo dużych wolumenów danych obrazowych, za pośrednictwem sieci telekomunikacyjnych. Koncepcja opisanej w pracy adaptacyjnej metody...
-
Integracja pomiarów inercyjnych i magnetycznych jako metoda zwiększenia dokładności estymaty położenia poruszającej się osoby
PublicationW artykule przedstawiono implementację oraz analizę metody integracji pomiarowych danych inercyjnych i magnetycznych do zwiększenia dokładności estymaty położenia poruszającej się osoby. Zaprezentowana metoda bazuje na integracji dwóch, niezależnych systemów kursowych w oparciu o adaptacyjny filtr Kalmana. W celu weryfikacji opisanej koncepcji, przeprowadzono testy funkcjonalne w warunkach rzeczywistych.
-
Magnetyczne badania adaptacyjne - nieniszcząca metoda badania zmian w mikrostrukturze stali wykorzystywanych w energetyce
PublicationDługotrwała eksploatacja w warunkach podwyższonego ciśnienia i temperatury jest przyczyną degradacji mikrostruktury materiałów wykorzystywanych w instalacjach energetycznych. Elementy takie to np. elementy przegrzewaczy czy rurociągi pary świeżej. Aby umożliwić ich bezawaryjną eksploatację pożądana byłaby nieniszcząca metoda diagnozowania zmian w mikrostrukturze. Dla stali ferromagnetycznych takich jak np. nowo wprowadzana do eksploatacji...
-
Nowa metoda diagnostyki łożysk silnika indukcyjnego oparta na pomiarze i analizie widmowej prądu zasilającego
PublicationNowa metoda diagnostyki łożysk, podana w pracy,została oparta na pomiarach wielu składowych widma prądu silnika o częstotliwościach na bieżąco obliczanych przez opracowany program, co umożliwiło precyzyjną identyfikację składowych widma prądu, odpowiedzialnych za uszkodzenia łożysk. Przedstawiono także opis układu pomiarowego, zbudowanego dla dalszych badań eksperymentalnych, i wyniki badań tego układu.
-
Piece-wise constant approximation method of identification of RTS noise
PublicationPrzedstawiono nową metodę wydzielania szumów RTS z całkowitych szumów przyrządów półprzewodnikowych. Metoda ta oparta jest na aproksymacji liniowo odcinkowej przebiegu szumowego.Przedstawiono wyniki zastosowania tej metody do wydzielenia dwupoziomowego szumu RTS z szumu przyrządu półprzewodnikowego.
-
Regulacje prawne odnoszące się do testowania samochodów autonomicznych na drogach publicznych w Polsce i w Kalifornii
PublicationThe current level of technological advancement allows for predicting that in the near future autonomous technology may be successfully used for the production of self-driving cars. Many companies (not necessarily related to the automotive sector) have spotted the chance of future profits and thus started working on testing and development of autonomous vehicles. The initiation of work has indicated the lack of possibility to test...
-
Fast impedance measurement method using Laplace transformation
PublicationArtykuł przedstawia metodę pomiaru impedancji wykorzystującą rzeczywisty uskok jednostkowy step jako sygnał pobudzenia i transformację Laplace jako narzędzie analizy sygnału odpowiedzi testowanego obiektu. Metoda jest dedykowana do badania różnych obiektów technicznych (np. powłok antykorozyjnych, czujników gazu, ceramik, tkanek biologicznych itp.) gdy czas pomiaru nie może być długi. Przedstawiona metoda jest znana ale niezbyt...
-
Metoda określania stopnia zapowietrzenia cieczy w pompie wyporowej o zmiennej wydajności
PublicationAutor stwierdza, że istnieje możliwość określania konkretnej wartości współczynnika zapowietrzenia cieczy roboczej w trakcie pracy pompy poprzez znalezienie takiej wartości, przy której przyrost momentu strat mechanicznych w zespole konstrukcyjnym „komory robocze - wał” pompy jest proporcjonalny do momentu indykowanego w komorach roboczych pompy, określonego przy ustalonej wielkości przyrostu ciśnienia w komorach. Ustalona...
-
Metoda DEA pomiaru efektywności działalności szkół wyższych
PublicationCelem artykułu jest przedstawienie oceny problematyki efektywności funkcjonowania instytucji edukacyjnych. Jednym ze skutecznych rozwiązań w tym zakresie jest Data Envelopment Analysis (DEA). Przedstawiono przykłady jej wykorzystania do pomiaru efektywności procesów tworzenia i udostępniania wiedzy.
-
Metoda wyznaczania kontekstu dla aplikacji sterowania zdarzeniami
PublicationPrzedstawiono metodę rozszerzenia aplikacji poprzez wprowadzenie elementów kontekstu środowiska działania. Definicja kontekstu jest oparta na ogólnej ontologii kontekstu. dane poczodzace ze środowiska są przetwarzane przez okreslone warunki. Jako algorytm przetwarzania została wykorzystana śieć Petriego, dzieki czemu aplikacja może we właściwy sposób reagować na zdarzenia zachodzące w otoczeniu. W taki sposób są zbudowane aplikacje...
-
Graficzna metoda prezentacji scenariuszy dla aplikacji interaktywnych
PublicationJednym z kluczowych obszarów projektowania aplikacji interaktywnychjest tworzenie scenariuszy. Muszą one być opisane w sposóbformalny dla zapewnienia możliwości ich wykonania przez system komputerowy. Zapewniają to uznane języki opisu procesów biznesowych, takie jak BPEL, BPML. Z drugiej jednak strony te same scenariusze powinny być przedstawione w sposób czytelny i zrozumiały dla przeciętnego użytkownika, tak aby mógł on zweryfkowa...
-
DEA JAKO METODA OCENY NIEMEDYCZNYCH DETERMINANT ZDROWIA
PublicationSystemy opieki zdrowotnej ze względu na uwarunkowania społeczno-ekonomiczne, takie jak wydłużanie się długości życia, starzenie się społeczeństwa, rozwój technologii medycznych i wysokie koszty funkcjonowania, muszą dbać o efektywność. Celem artykułu jest przedstawienie modelu pomiaru i oceny wpływu czynników ryzyka na zdrowie, z wykorzystaniem metody Data Envelopment Analysis. Analizę przeprowadzono dla 34 krajów OECD dla lat...
-
Metoda projektowania rejonu zmiany kierunku trasy kolejowej
PublicationZastosowanie ciągłych pomiarów satelitarnych toru kolejowego, z antenami zainstalowanymi na poruszającym się pojeździe szynowym, powoduje potrzebę opracowania nowej metody projektowania układów geometrycznych toru. Ponieważ kształtowanie kierunków prostych trasy na podstawie takich pomiarów nie sprawia żadnych trudności, w pracy skupiono się na kwestii projektowania odcinków położonych w łuku. Założono, że projektowanie układu...
-
Bezkontaktowa metoda lokalizacji przewodu jezdnego sieci trakcyjnej
PublicationProblematyka diagnostyki sieci trakcyjnej jest ciągle przedmiotem badań i zainteresowania poszczególnych zarządców sieci kolejowej w Europie i na Świecie. Temat ten jest szczególnie ważny w przypadku linii dużych prędkości, gdzie prawidłowe utrzymanie sieci trakcyjnej jest niezwykle istotne dla zapewnienia właściwej współpracy odbieraka prądu z siecią trakcyjną, co bezpośrednio przekłada się na niezawodność i bezpieczeństwo ruchu...
-
Charakterystyka chropowatości powierzchni przedmiotów wykonywanych metoda Stereolitografii
PublicationModele wykonywane metodami szybkiego prototypowania mają charakterystyczna strukturę powierzchni określaną mianem schodkowatości. W artykule przedstawiono modele obliczeniowe profilu nierówności jak i porównanie ich z wynikami pomiarów
-
Freeze-casting jako metoda wytwarzania porowatych ceramik
PublicationPraca przedstawia opis metody Freeze-casting stosowanej do wytarzania porowatych materiałów ceramicznych. Zaprezentowano ogólny opis techniki, metodologie oraz sposoby kontrolowania struktury otrzymanej ceramiki.
-
Metoda wyznaczania momentu bezwładności prostego układu mechanicznego
Publication...
-
Nowa metoda diagnostyki stanu technicznego nakładek stykowych
PublicationThe current collection system, which consists of the overhead contact line and a current collector, is particularly important in electric rail vehicles, where their reliability is concerned. Faultless current collection is conditioned not only by suitable construction of these elements but also by their proper maintenance. Retaining permanent electrical contact is essential in DC systems, where current demand is relatively high. In...
-
Nowa metoda projektowania układów geometrycznych toru kolejowego
PublicationW pracy przedstawiono metodę ewolucyjną modelowania krzywizny w układach geometrycznych toru kolejowego. Kształtowanie krzywizny układu torowego traktowane jest jako zadanie optymalizacyjne mające na celu znalezienie rozwiązania spełniającego warunki konieczne nakładane na każdy układ geometryczny oraz specyficzne wymagania projektanta. Jako jedno z podstawowych kryteriów optymalizacyjnych przyjęto minimalizację oddziaływań dynamicznych...
-
Metoda szczególnego próbkowania a FFT w pomiarach elektroenergetycznych
PublicationW referacie przedstawiono podstawowe różnice pomiędzy metodami wykorzystującymi próbkowanie równomierne, a więc DFT i FFT a metodą szczególnego próbkowania, opracowaną specjalnie do pomiarów elektroenergetycznych, które wymagają dużej dokładności amplitudowej i fazowej ale ograniczonej liczby wyznaczanych harmonicznych.
-
Metoda porównawczej oceny dźwignic w sieci dystrybucji.
PublicationPrzedstawiono podział logistyki na sfery kompetencyjne SL, HL. Sklasyfikowano podstawowe grupy utb w dystrybucji. Omówiono wpływ rozwiązań technicznych na efektywność organizacji logistycznej. Przedstawiono konstrukcję mierników jakości dźwignic.
-
Obiektywna metoda wyznaczania skuteczności systemów implantów ślimakowych
PublicationPrzedmiotem pracy było opracowanie nowej metody wyznaczania skuteczności systemów implantów ślimakowych opartej o komputerowe symulacje słyszenia elektrycznego.
-
Nieniszcząca magnetyczna metoda oceny mikrostruktury stali 10H2M.
PublicationPrzedstawiono badania właściwości magnetycznych i magnetosprężystych w zakresie pomiarów parametrów pętli histerezy i pomiarów natężenia emisji magnetoakustycznej, do nieniszczącej oceny zmian mikrostruktury stali 10H2M obrobionej cieplnie
-
Metoda hydrofitowa w ochronie środowiska w Polsce
PublicationW pracy podane są przykłady wraz wynikami prowadzonych badan nad zastosowaniem metody hydrofitowej do ochrony wód powierzchniowych, oczyszczania ścieków oraz odwadniania i stabilizacji osadów ściekowych.
-
Metoda OptD do redukcji danych w opracowaniu wyników pomiarów linii elektroenergetycznych
PublicationSkaning laserowy to technologia dostarczająca we względnie krótkim czasie dużą ilość danych pomiarowych. Jest to zarazem pozytywna jak i negatywna cecha tej technologii. Z jednej strony w wyniku skaningu otrzymuje się dane, które szczegółowo odzwierciedlają pomierzony obiekt. Z drugiej strony trudność sprawia przetwarzanie takiej ilości danych i nie zawsze wszystkie dane ze skaningu są niezbędne do realizacji wybranego zadania....
-
Metoda analizy związanych z czasem wymagań dotyczących bezpieczeństwa systemów komputerowych
PublicationBezpieczeństwo jest pożądaną cecha systemów przemysłowych, transportowych i innych typów. A ponieważ do sterowania tymi systemami powszechnie stosuje się systemy komputerowe, jest ono również ważną cechą oprogramowania. Analiza bezpieczeństwa oprogramowania jest jednak, ze względu na jego niematerialność, trudniejsza od typowej analizy. Ponadto, ze względu na skomplikowane reguły sterujące oraz naturę kontrolowanych systemów, bezpieczeństwo...
-
Integracyjna metoda konstrukcji aplikacji obiektowych w środowisku graficznym z uwzględnieniem wymagań jakościowych
PublicationIntegracyjna metoda wytwarzania aplikacji IMAC łączy obiektowe metody analizy i projektowania oprogramowania oparte o UML i RUP z implementacją w wybranym języku programowania obiektowego. Dla opisu projektu informatycznego we wszystkich fazach jego powstawania zaproponowano język modelowania i implementacji IML łączący w spójny sposób zmodyfikowane diagramy UML z elastyczną składnią tekstową opartą o popularne języki obiektowe....
-
METODA POŚREDNIEGO WYZNACZANIA MOCY EFEKTYWNEJ WOLNOOBROTOWEGO SILNIKA OKRĘTOWEGO NA PODSTAWIE EKSPLOATACYJNYCH POMIARÓW CIŚNIENIA POWIETRZA DOŁADOWUJĄCEGO
PublicationW artykule przedstawionometodę, która pozwala w przybliżony sposób wyznaczyć względną moc okrętowego silnika głównego w warunkach eksploatacji na podstawie standardowego pomiaru ciśnienia powietrza doładowującego wkanaledolotowym. Metoda oparta jest na określaniuwspółczynnikówaproksymującej funkcji liniowej, przy znanym ciśnieniu doładowania oraz rodzaju i mocy nominalnejsilnika.Jest ona uzupełnieniem innych metodpośredniego...
-
Metoda Elementów Skończonych - Projekt (PG_00057399), MwBMiP, sem1, zima 22/23
e-Learning Courses -
Metoda Elementów Skończonych_Wykład (PG_00057399) MwBM iP sem1, zima 23/24
e-Learning CoursesWykład: Podstawy MES, sposoby dyskretyzacji, pojęcie elementu skończonego. Funkcja kształtu, sposoby tworzenia funkcji kształtu. Aproksymacja pól odkształceń i napręźeń w MES. Wyprowadzenie macierzy charakterystycznych elementu skończonego. Przykłady budowy macierzy charakterystycznych dla elementów jedno, dwu i trójwymiarowych. Wyprowadzenie równań ruchu ciała dyskretyzowanego MES. Tworzenie macierzy globalnych w MES. Modelowanie...
-
Metoda Elementów Skończonych, W/P/, sem.2., zimowy, 2023/24
e-Learning CoursesCelem kursu jest poznanie elementarnych danych i metod, z których zbudowane są algorytmy metody elementów skończonych. Odbędzie się to poprzez studiowanie danych do obliczeń, ich przebiegu i wyników w wersji surowej, w programie ANSYS, bez "upiększeń" i "uwygodnień" domyślnie stosowanych w programie. Studialne zadania obliczeniowe będą oprogramowane przez studentów w trakcie zajęć projektowych w laboratorium komputerowym, w języku...
-
Formalna metoda oceny bezpieczeństwa statków w stanie uszkodzonym na podstawie analizy przyczyn i skutków wypadków
PublicationW pracy przedstawiono elementy formalnej analizy bezpieczeństwa statków w oparciu o analizę przyczyn i skutków wypadków. Do analizy bezpieczeństwa zastosowano metodykę Formalnej Oceny Bezpieczeństwa FSA. Zgodnie z metodyką FSA analize bezpieczeństwa przeprowadzono w następującym zakresie: identyfikacja zagrożeń, ocena zagrożeń, identyfikacja scenariuszy wypadków, ocenaę ryzyka i kontrola ryzyka. Metoda umożliwia podejmowanie decyzji...
-
Systemy trzcinowe jako metoda odwadniania i stabilizacji osadów ściekowych dla małych i średnich oczyszczalni
PublicationJedną z metod unieszkodliwiania osadów ściekowych jest tzw. metoda trzcinowa. O przydatności tej metody dla małych i średnich oczyszczalni ścieków decydują stosunkowo niskie koszty eksploatacji. Celem publikacji jest przedstawienie systemów trzcinowych do odwadniania i stabilizacji osadów ściekowych oraz prezentacja wyników badań osadów zdeponowanych w tego typu systemach. Na podstawie przeprowadzonych badań stwierdzono, że w...
-
Metoda analizy poziomu promieniowania cieplnego w wyniku spalania gazu na wysięgniku wieżowym platformy morskiej
PublicationW artykule scharakteryzowano spotykane rozwiązania wysięgników palnika gazu instalowanych na platformach morskich oraz przedstawiono - na przykładzie wysięgnika wieżowego - procedurę obliczeniową związaną z określaniem strumienia promieniowania cieplnego, pochodzącego od płomienia spalanego gazu. Przedstawiona metoda została oparta na analizie wektorowej wzajemnej geometrii wysięgnika wieżowego palnika oraz płomienia spalanego...
-
Metoda SPH+MES na przykładzie symulacji wzmocnienia podłoża gruntowego metodą wymiany dynamicznej
PublicationPraca zawiera opis hybrydowej metody połączenia metody bezsiatkowej Smooth Particle Hydrodynamics (SPH) z Metodą Elementów. Metoda SPH ma zastosowania w zagadnieniach w których występują skomplikowane i zmienne w czasie algorytmy kontaktowe co pozwoliło na jej wykorzystanie w symulacji formowania kolumny przez wbijanie i rozpychanie materiału zasypowego. Przedstawiono wskazówki do przygotowania symulacji numerycznej z wykorzystaniem...
-
Metoda diagnostyki łożysk na podstawie analizy przebiegów prądu i napięcia zasilającego silnik indukcyjny.
PublicationW niniejszej monografii przedstawiono oryginalne podejście i realizację diagnostyki łożysk silników indukcyjnych przy użyciu metody opartej na pomiarach i analizie iloczynu wartości chwilowych prądu i napięcia zasilającego maszyny. Uzyskane wyniki badań eksperymentalnych na obiektach rzeczywistych okazały się zbieżne z wynikami badań symulacyjnych i potwierdziły, że powstanie uszkodzeń łożysk w silniku skutkuje pojawieniem się...
-
Built-in Test Scheme for detection, classification and evaluation of nonlinearities
PublicationW artykule przedstawiono koncepcję testera wbudowanego (BIST) przeznaczonego do detekcji nieliniowości, klasyfikacji rodzaju nieliniowości i oceny zniekształceń nieliniowych sygnału testowanego, bez użycia drogiego systemu automatycznego testowania. Tester bazuje na modulatorze sigma-delta umieszczonym na pakiecie testowanym i sztucznej sieci neuronowej zaimplementowanej w komputerze osobistym. Koncepcję testera zweryfikowano poprzerz...
-
Metoda oceny wiarygodności pomiarów wpływających na jakość diagnostyki cieplno-przepływowej w energetyce
PublicationW rozprawie doktorskiej podjęto problem uwiarygodnienia pomiarów wpływających na jakość diagnostyki cieplno-przepływowej w energetyce. W pracy wykazano potrzebę rzetelnej informacji pozyskanej po przez pomiar parametrów, która jest niezbędna dla przeprowadzenia diagnozy badanego systemu. Jednocześnie zwrócono uwagę na zmienny charakter pracy systemów energetycznych, która wpływa na niestabilność pozyskanych danych, co prowadzi...
-
Metoda wykrywania anomalii w wybranych modelach systemów informatycznych
PublicationW pracy zaproponowano nową metodę inspekcji ukierunkowaną na wykrywanie defektów w diagramach UML powstających we wczesnych etapach procesu wytwarzania oprogramowania. Mechanizm detekcji defektów został oparty na pomyśle wykorzystania podejścia HAZOP (ang. Hazard and Operability Study) znanego z dziedziny systemów związanych z bezpieczeństwem. Podstawowymi elementami tego mechanizmu są systematyka procesu kontroli i wykrywania...