Filtry
wszystkich: 685
-
Katalog
- Publikacje 547 wyników po odfiltrowaniu
- Osoby 28 wyników po odfiltrowaniu
- Wynalazki 2 wyników po odfiltrowaniu
- Projekty 5 wyników po odfiltrowaniu
- Laboratoria 3 wyników po odfiltrowaniu
- Zespoły Badawcze 1 wyników po odfiltrowaniu
- Kursy Online 46 wyników po odfiltrowaniu
- Wydarzenia 4 wyników po odfiltrowaniu
- Dane Badawcze 49 wyników po odfiltrowaniu
Wyniki wyszukiwania dla: AUTOMATYCZNE WYZNACZANIE PRZEBIEGU
-
2023/2024 Kontrola stereochemiczna w syntezie organicznej CHEMIA
Kursy OnlinePogłębienie wiedzy o przebiegu reakcji chemicznych stosowanych w syntezie organicznej, ze szczególnym uwzględnieniem zależności struktura substratów i reagentów a stabilność produktu przejściowego
-
Krzywa przejściowa z wygładzoną krzywizną dla dróg kolejowych
PublikacjaW pracy przedstawiono koncepcję nowej postaci krzywej przejściowej, o liniowym przebiegu krzywizny na długości i wygładzonymi rejonami skrajnymi. Może ona stanowić alternatywę dla tzw. gładkich krzywych przejściowych, o nieliniowym przebiegu krzywizny na całej długości. Została tutaj wykorzystana uniwersalna metoda identyfikacji krzywych przejściowych za pomocą równań różniczkowych. Wyznaczono ogólne równania krzywizny oraz odpowiednie...
-
Viscoelastic lubrication on spherical slide bearing in impulsive unsteady motion.
PublikacjaNiniejsza praca przedstawia numeryczne i semi-analityczne wyznaczanie składowych wektora prędkości lepkosprężystego oleju, oraz wartości ciśnienia hydrodynamicznego i sił nośnych w sferycznym łożysku ślizgowym o zmieniającej się w czasie niesymetrycznej szczelinie smarnej podczas nieustalonego impulsywnego smarowania. Łożyska ślizgowe o czopach kulistych występują w maszynach transportowych w celu lepszego manewrowania ustawieniem...
-
Adaptacyjna kompensacja wpływu czasu martwego w falowniku napięcia z modulacją szerokości impulsów.
PublikacjaPrzedstawiono nową metodę kompensacji wpływu czasu martwego na napięcia wyjściowe trójfazowego falownika mostkowego. Proponowana metoda umożliwia automatyczne dopasowanie parametrów kompensacji do aktualnych parametrów falownika i obciążenia, np. po zmianie przewodu łączącego falownik z obciążeniem. Adaptacja do nowych warunków polega na dostrajaniu wartości parametrów zależności opisującej napięcie błędu w funkcji prądu fazowego....
-
Calculation Program Supporting Switched Capacitor DC-DC Charge Pump Design (CP Design Calculator) - Part III: Illustrative Examples
PublikacjaW pracy przedstawiono szereg przykładów użycia programu do obliczeń wspomagających projektowanie pompy ładunkowej, w tym syntezę układu kanonicznego i wyznaczanie wszystkich teoretycznie realizowalnych współczynników przetwarzania (wzmocnień napięciowych), rezystancję wyjściową zastępczą w różnych trybach pracy, sprawność energetyczną, wrażliwość na pojemności pasożytnicze, warunki początkowe w okresowym stanie ustalonym - do współpracy...
-
Wpływ komutacyjnych załamań napięcia na dokładność pomiaru impedancji uziemienia metodą podharmonicznej.
PublikacjaWyznaczanie impedancji uziemienia metodą podharmonicznej umożliwia uzyskanie dobrej dokładności pomiaru nawet w obecności silnych zakłóceń występujących w gruncie. Metoda ta charakteryzuje się znaczną odpornością na sygnały zakłócające o częstotliwości sieciowej jak również stałoprądowe. W artykule zaprezentowano wyniki badań nad wpływem zakłóceń wynikających z komutacyjnych załamań napięcia sieci na dokładność wyznaczania impedancji...
-
Komputerowa symulacja pomiaru rezystancji uziemienia
PublikacjaPrzedstawiono program komputerowy do symulacji pomiaru rezystancji uziemienia. Program umożliwia wyznaczanie rozkładu napięcia uziomowego wokół uziomu badanego i pomocniczej sondy prądowej oraz lokalizację strefy potencjału zerowego w układach z różnorodnymi uziomami prostymi. Aplikacja jest szczególnie przydatna przy pomiarach rezystancji uziemienia w trudnych warunkach terenowych, jak np. ograniczony obszar do rozmieszczenia...
-
Analiza przebiegu zniszczenia w złączu klejonym jednociętym cienkich blach
ProjektyProjekt realizowany w Katedra Mechaniki Budowli
-
Podejście procesowe do zarządzania jakością. Część II - opis, nadzorowanie i doskonalenie procesów
PublikacjaPrzedstawiono kolejne 3 etapy tworzące metodykę wdrażania podejścia procesowego do zarządzania jakością - opis przebiegu, bieżące nadzorowanie oraz doskonalenie procesów w firmie.
-
Ryszard Zajczyk prof. dr hab. inż.
Osoby -
Wielokryterialne wspomaganie projektowania układów geometrycznych modernizowanych linii kolejowych
PublikacjaW pracy przedstawiono charakterystykę zagadnień z dziedziny projektowania modernizacji dróg kolejowych, w których to zagadnieniach możliwe jest efektywne wspomaganie decyzji projektanta odnośnie przyjmowanych parametrów. Skupiono się na planowaniu przebiegu trasy w planie sytuacyjnym względem istniejących uwarunkowań terenowych i geometrycznych eksploatowanych linii. Przedstawiono wybrane czynniki, które decydują o jakości nowoprojektowanego...
-
Przebudowa kompleksu dworcowego Gdynia Główna
PublikacjaOpis przebiegu prac projektowych w zakresie przebudowy dworca Gdynia Główna w celu podniesienia jakości usług dla podróżnych oraz odrestaurowania elemetów zabytkowych obiektu.
-
Zastosowanie krzyżowania uśredniającego do ewolucyjnej metody wyznaczania ścieżki przejścia na morzu
PublikacjaArtykuł przedstawia modyfikację operatora krzyżowanie w algorytmie ewolucyjnym dedykowanym do rozwiązywania problemu wyznaczania ścieżki przejścia na morzu. Zastosowany operator krzyżowania uśredniającego zmniejsza wrażliwość algorytmu na postać populacji początkowej oraz pozwala na rozszerzenie zbioru rozwiązań możliwych do uzyskania w porównaniu z wariantem krzyżowania wymieniającego. W artykule wykazano, że zastosowane rozwiązanie...
-
Błędy dynamiczne wyznaczania impedancji uziemienia metodą podharmonicznej
PublikacjaWyznaczanie rezystancji lub impedancji uziemienia metodą podharmonicznej umożliwia uzyskanie dobrej dokładności pomiaru nawet w obecności silnych zakłóceń pochodzących od prądów błądzących występujących w gruncie. Metoda podharmonicznej wykazuje znaczną odporność na zakłócenia o częstotliwości sieciowej jak i stałoprądowe. W artykule przedstawiono wyniki badań nad wpływem zmian dynamicznych zakłóceń o częstotliwości sieciowej jak...
-
Advanced local energy planning using the ALEP-PL computer software
PublikacjaPrzedstawiono autorski system komputerowy ALEP-PL do gromadzenia i agregacji danych o lokalnych obiektach energetycznych. System pozwala na analizy senariuszowe poprzez bilanse zapotrzebowania na paliwa i energie oraz poprzez wskaźnikowe wyznaczanie wilekości emisji CO2. Dodatkowo, dzięki wybudowanemu w system ALEP-PL zestawowi technologii modernizacyjnych, aplikacja umożliwia opracowywanie strategii redukcji emisji CO2, poprawy...
-
Investigation of motion of the lifeboat lowered from ship's deck
PublikacjaW pracy przedstawiono model obliczeniowy oraz różniczkowe równania ruchu łodzi ratowniczej, opuszczanej z pokładu statku kołyszącego się na fali. Równania całkowano numerycznie. Opracowany na ich podstawie program komputerowy umożliwia wyznaczanie trajektorii oraz innych parametrów ruchu opusz¬czanej łodzi w funkcji czasu, dla różnych zadanych kołysań statku, a także obliczenie sił działających na łódź oraz znajdujących się...
-
Pitting corrosion characterization by electrochemical noise measurements on asymmetric electrodes
PublikacjaKorozja wżerowa stali nierdzewnych może być wykryta za pomocą obserwacji charakterystycznych sygnałów prądowych, jakie płyną między dwiema elektrodami metalowymi. W artykule proponuje się wyznaczanie funkcji bispektrum dla układu dwóch elektrod o istotnie różnej powierzchni narażonej na występowanie korozji. Proponowana metoda została zastosowana do analizy korozji wżerowej stali 0H18N9 powstającej pod wpływem 1M roztworu FeCl3...
-
Wykorzystanie programu LabVIEW do wyznaczania współczynników asymetrii prądu i napięcia w sieciach elektroenergetycznych.
PublikacjaPrzedstawiono sposób obliczania współczynników asymetrii prądu i napiecia w sieciach elektroenergetycznych przy wykorzystaniu programu wirtualnego LabVIEW. W tym celu stworzone programy w postaci diagramów i paneli tworzące przyrząd wirtualny realizujący obliczanie składowych symetrycznych prądów i napięć obwodu trójfazowego oraz współczynnikow asymetrii. Przyrzad wirtual-ny umożliwia wyznaczanie współczynników asymetrii...
-
Poll Reader - the working prototype of optical mark recognition software
PublikacjaAutomatyczne rozpoznawanie zaznaczeń wydaje się stosunkowo prostym zadaniem z dziedziny przetwarzania dokumentów, a komercyjne systemy OMR są dostępne na rynku już od dłuższego czasu. Zdecydowaliśmy się jednak na stworzenie prostego darmowego oprogramowania, które mogłoby być wykorzystywane przez uczelnie zobowiązane do przeprowadzania ankiet wśród studentów. W rozdziale opisano konstrukcję programu oraz najważniejsze algorytmy...
-
Self-Tuning Dead-Time Compensation Method for Voltage-Source Inverters
PublikacjaPrzedstawiono nową, kompleksową metodę kompensacji zniekształceń napięcia wyjściowego falownika z modulacją szerokości impulsów. Proponowana metoda umożliwia automatyczne dopasowanie parametrów charakterystyki kompensacyjnej do aktualnej konfiguracji falownika i obciążenia, np. po zmianie przewodu łączącego falownik z obciążeniem. Adaptacja do nowych warunków polega na dostrajaniu wartości parametrów zależności opisującej napięcie...
-
17. Europejska Konferencja Młodych Geotechników
PublikacjaW artykule przedstawiono sprawozdanie z przebiegu 17. Europejskiej Konferencji Młodych Geotechników, która odbyła się w dniach 20-22 lipca 2006 r. w Zagrzebiu.
-
Virtual hearing aid - multimedia tool for demonstrating hearing aid benefits
PublikacjaWiększość osób niedosłyszących nie jest świadoma wszystkich możliwości korekcji ubytku słuchu. Wykorzystując techniki multimedialne można stworzyć oprogramowanie, które znacznie ułatwi i przybliży proces dopasowania aparatów słuchowych. Celem przeprowadzonych eksperymentów było opracowanie multimedialnego systemu, który pozwala zrealizować następujące funkcje: - pomiar charakterystyki dynamiki słuchu, - wyznaczanie charakterystyki...
-
Izabela Mironowicz dr hab. inż. arch.
Osoby -
Sythesis and Characterization of Optical Sol-Gel Adhesive for Military Protective Polycabonate Resin.Wytwarz
PublikacjaPrzedstawiono proces syntezy spoiw optycznych do laminatów poliwęglanowych. Scharakteryzowano właściwości optyczne i mechniczne. W procesie syntezy zastosowano monitoring ramanowski do diagnostyki przebiegu bazowych reakcji chemicznych.
-
Uderzenie hydrauliczne. Ostre hamowanie.
Publikacjaartykuł prezentuje różnice w przebiegu zjawiska uderzenia hydraulicznego w przewodzie w zależności od materiału, z którego jest on wykonany i w zależności od grubości ścianek przewodu
-
Projekt zespołowy, P, Mechatronika sem. 06, letni 21/22 (M:31437W0)
Kursy OnlinePrzedstawienie przebiegu procesu projektowania i rozwiązywania problemów inżynierskich.Definiowanie problemu. Rozwiązywanie zadań inżynierskich z wykorzystaniem aktualnej wiedzy ogólnej ispecjalistycznej. Stosowanie współczesnych narzędzi działania inżynierskiego.
-
Rozdział mocy w układzie napędowym robota podwodnego - porównanie algorytmów alokacji naporów
PublikacjaPraca dotyczy syntezy systemu automatycznego sterowania robotem podwodnym w zakresie problemu rozdziału mocy w wielopędnikowym układzie napędowym. Do alokacji naporów zastosowano metody optymalizacji z ograniczeniami, pozwalające na wyznaczanie wektora naporów na podstawie wektora sił uogólnionych. Rozważono i porównano dwie metody rozdziału mocy dla robota realizującego ruch poziomy płaski o trzech stopniach swobody, rozpatrując...
-
Dariusz Mikielewicz prof. dr hab. inż.
OsobyDariusz Mikielewicz – urodził się 6 lutego 1967 roku w Gdańsku, w 1985r. zdał pomyślnie egzaminy wstępne na Wydział Budowy Maszyn Politechniki Gdańskiej, który ukończył z wynikiem bardzo dobrym w 1990 roku na specjalności Maszyny i Urządzenia Energetyczne. Zainteresowania pracą naukową skłoniły go do podjęcia badań na University of Manchester na wydziale mechanicznym i energetyki jądrowej (Mechanical and Nuclear Engineering Department)...
-
Europejski projekt ADDPRIV Automatyczna interpretacja danych pozyskiwanych z obrazu dla potrzeb systemów monitoringu wizyjnego funkcjonujących z poszanowaniem prywatności osób
PublikacjaSystemy monitorowania bezpieczeństwa publicznego generują i przechowują ogromne ilości danych implikując wzrost prawdopodobieństwa użycia tych danych w sposób nieodpowiedni z punktu widzenia ochrony danych osobowych. W niniejszym referacie zaprezentowany jest europejski projekt ADDPRIV, który bezpośrednio odnosi się do kwestii poszanowania prywatności poprzez automatyczne rozpoznawanie istotności danych pochodzących z rozproszonego systemu...
-
Semantic memory knowledge acquisition through active dialogues
PublikacjaSzereg zagadnień językowych nie może zostać rozwiązany bez pamięci semantycznej zawierającej opisy cech obiektów, Automatyczne tworzenie tego rodzaju pamięci jest wielkim wyzwaniem nawet dla prostych obszarów dziedzinowych. Implementacja pamięci semantycznej opartej na reprezentacji wiedzy poprzez powiązania obiektu z jego cechami pokazuje ciekawe zastosowania które nie zostały dotychczas zademonstrowane poprzez bardziej wyszukane...
-
Scenariusze hierarchicznej klasteryzacji wykonywane w środowisku BeesyCluster
PublikacjaPrzedstawiono szczególnego rodzaju porządkowanie zbioru danychz użyciem tzw. hierarchicznej klasteryzacji. Metoda ta, przy użyciu określonej miary podobieństwa, łączy podobne do siebie dane w grupy tworząc tzw. klastry, które wcześniej nie były dane explicite. Opisano klasteryzację typu skupiającego, typu dzielącego oraz zaproponowano typ mieszany. Przedstawiono koncepcje realizacji algorytmów klasteryzacji poprzez scenariusze...
-
Influence of Exception Handling on Distributed Applications.
PublikacjaW artykule przedstawiono metodologię oceny systemów rozproszonych w sytuacji występowania wyjątków i błędów. Analiza jest przeprowadzana przez zidentyfikowanie zmian stanów danych i wyprowadzenie ogólnych charakterystyk systemu. Rozproszone zależności są modelowane przez podstawowe zależności między metodami i złożone zależności występujące w sytemie. Analiza umożliwia odpowiedź na pytanie, jak zależności rozproszone wpływają na...
-
Modyfikacje modeli układów regulacji napięcia prądnic synchronicznych dla potrzeb badań synchronizatorów automatycznych
PublikacjaW artykule przedstawiono sposób modyfikacji powszechnie stosowanych w elektroenergetyce krajowej modeli matematycznych układów regulacji napięcia prądnic synchronicznych, na potrzeby badań realizacji warunku napięciowego przez synchronizatory automatyczne. Modele te, po ich zaimplementowaniu w procesorach nowoczesnych urządzeń testujących (pracujących w czasie rzeczywistym) pozwalają narzucić badanemu synchronizatorowi zbliżone...
-
Opinia techniczna
PublikacjaDokonano analizy przebiegu awarii autotransformatora piecowego oraz wpływu przeprowadzenia przeglądu PPZ oraz remontu uzwojeń na ewentualną przyczynę awarii. Uwzględniono przy tym zakres i sposób pomiarów poremontowych
-
Study of particle - bubble interaction using atomic force microscopy - current possibilities and challenges
PublikacjaBadania oddziaływań pomiędzy cząstkami mineralnymi i pęcherzykami powietrza są kluczowe do zrozumienia przebiegu flotacji. Wykorzystanie mikroskopii sił atomowych (AFM) i techniki próbnika koloidalnego umożliwia pomiar takich oddziaływań.
-
Witold Lewandowski prof. dr hab. inż.
Osoby -
Automatyzacja sprawdzania poprawności wnioskowania podczas rozwiązywania zadań obliczeniowych.
PublikacjaW artykule omówiono założenia projektowe i architekturę edukacyjnego systemu informatycznego nadzorującego proces wnioskowania użytkownika podczas rozwiązywania zadań obliczeniowych. Opisywany jest system z bazą wiedzy, w których wiedza o zadaniach z elementarnej matematyki, fizyki lub chemii jest reprezentowana w postaci modeli obliczeniowych, stanowiących szczególny przypadek sieci semantycznych. Scharakteryzowano prototypowy...
-
TreeCmp: Comparison of Trees in Polynomial Time
PublikacjaMetryki filogenetyczne umożliwiają ocenę jakości wyników analizy filogenetycznej oraz wiarygodności algorytmów przeprowadzających taką analizę. Aplikacja TreeCmp oferuje efektywne, wielomianowe implementacje ośmiu takich metryk (dla drzew nieukorzenionych i zawierających korzeń) zdefiniowanych dla dowolnych filogenez (nie koniecznie binarnych). Program ten jako pierwszy umożliwia wyznaczanie nowych metryk, definiowanych w oparciu...
-
ANALIZA PORÓWNAWCZA METOD WYZNACZANIA SZEROKOŚCI PASA RUCHU STATKU ŚRÓDLĄDOWEGO
PublikacjaŻegluga śródlądowa w Polsce stanowi niewykorzystany potencjał. Możliwości przewozowe jakie posiadają rzeki są olbrzymie. Kluczowy problem stanowią parametry eksploatacyjne poszczególnych odcinków, które w znacznym stopniu ograniczają żeglowność szlaku. W związku z powyższym istotnego znaczenia nabiera wyznaczanie parametrów eksploatacyjnych śródlądowych dróg wodnych. W artykule dokonano charakterystyki śródlądowych dróg w Polsce....
-
Acoustic signal processing in passive sonar system with towed array
PublikacjaW referacie opisano przetwarzanie sygnałów akustycznych w pasywnym systemie hydrolokacyjnym. W pojęciu ''przetwarzanie sygnałów akustycznych'' mieszczą się wszelkie operacje wykonywane na sygnałach analogowych tj. wzmacnianie, filtracja i próbkowanie, jak również operacje na sygnałach cyfrowych uzyskanych w procesie próbkowania. Do operacji cyfrowych wykonywanych w systemie zalicza się synchronizację, konwersję, sortowanie, wytwarzanie...
-
Badanie znaczenia atrybutów bazy wiedzy.
PublikacjaW pracy przedstawiono dwie metody umożliwiające wyznaczanie miary znaczenia wybranych atrybutów bazy wiedzy. W pierwszej metodzie wykorzystano teorię zbiorów przybliżonych i podano definicje miary znaczenia atrybutów oparte na liczbie reguł sprzecznych. Druga metoda wykorzystująca teorię zbiorów rozmytych pozawala na zdefiniowanie dwóch sposobów oceny miary znaczenia. Pierwsza miara opiera się na liczbie reguł sprzecznych,...
-
Simplified algorithm for location service for the UMTS
PublikacjaPrzedstawiono uproszczony algorytm lokalizowania terminala ruchomego w systemie UMTS. Algorytm ten umożliwia wyznaczanie pozycji geograficznej terminala ruchomego bez znajomości różnic czasowych w synchronizacji stacji bazowych RTD (Relative Time Differences). Opisany został model symulacyjny oraz przedstawiono wyniki efektywności lokalizowania terminala ruchomego w środowisku tzw. złym miejskim. otrzymane rezultaty dowodzą, że...
-
Using a computational model to compare objective negotiations in real and virtual environments
PublikacjaZaprezentowano obliczeniowy model negocjacji uwzględniający warunki początkowe, przebieg negocjacji i wyniki negocjacji. Przedstawiono komputerowy system wspomagający rejestrację przebiegu negocjacji i ich wyników oraz analizę negocjacji zgodną z proponowanym modelem.
-
Algorytm generacji sygnału GMSK do wykorzystania w układach programowalnych
PublikacjaW artykule przedstawiono szczegółowy opis sygnałów zmodulowanego GMSK. Zaprezentowano algorytm generacji tego przebiegu możliwy do implementacji w układach programowalnych. Przedyskutowano wpływ parametrów opisujących ten algorytm na jakość sygnału zmodulowanego.
-
Digital measurements of the feedback signals for observing behaviour of a drive.
PublikacjaW pracy omówiono sposoby badań przebiegu ruchu realizowanego przez napęd, w tym poprzez pomiar sygnałów sprzężeń zwrotnych. Przedstawiono różne typy błędów pomiaru sygnałów sprzężeń zwrotnych i ich oddziaływanie na wyniki.
-
Wyszukiwarka nagrań muzycznych - Serwis muzyczny Synat
PublikacjaW pracy przedstawiono opracowany w ramach projektu Synat serwis klasyfikacji nagrań muzycznych, a także pro-blemy i rozwiązania systemowe zrealizowane w celu zapew-nienia większej skuteczności wyszukiwania treści muzycz-nych. W ramach eksperymentów przeprowadzono testy skuteczności klasyfikacji gatunków muzycznych na pod-stawie obliczonych wektorów parametrów z wykorzysta-niem algorytmów decyzyjnych. W pracy zawarto szczegó-łowe...
-
Hearing aid fitting method based on fuzzy logic processing
PublikacjaWażnym etapem dopasowania współczesnych aparatów słuchowych jest wyznaczanie charakterystyki dynamiki słuchu. Charakterystyka ta wyznaczana jest na podstawie wyników testu skalowania głośności. Niestety wyniki te wyrażone są w skali kategorii głośności, natomiast aparaty słuchowe wymagają para-metrów numerycznych. Problem ten można rozwiązać za pomocą logiki rozmytej. W niniejszym referacie przedstawiono metodę przetwarzania rozmytego...
-
Hearing aid fitting method based on fuzzy logic processing
PublikacjaWażnym etapem dopasowania współczesnych aparatów słuchowych jest wyznaczanie charakterystyki dynamiki słuchu. Charakterystyka ta wyznaczana jest na podstawie wyników testu skalowania głośności. Niestety wyniki te wyrażone są w skali kategorii głośności, natomiast aparaty słuchowe wymagają para-metrów numerycznych. Problem ten można rozwiązać za pomocą logiki rozmytej. W niniejszym referacie przedstawiono metodę przetwarzania rozmytego...
-
ADVISOR - symulacja trybów pracy pojazdu autonomicznego. Zastosowanie Komputerów w Nauce i Technice.XII cykl seminariów zorganizowanych przez PTETiS, Oddział Gdańsk.
PublikacjaW artykule przedstawiono program ADVISOR, pozwalający na analizę symulacyjną samochodów z napędem klasycznym, hybrydowym i elektrycznym, w oparciu o parametry techniczne samochodów istniejących, domyślnych i o parametrach narzuconych przez użytkownika programu. Program ADVISOR pozwala przy założonej konfiguracji obwodu głównego, przy określonym cyklu jazdy i istniejących oporach ruchu na wyznaczanie charakterystyk napędowych,...
-
Computer aided funcional safety assessment
PublikacjaReferat porusza wybrane zagadnienia związane z oceną bezpieczeństwa funkcjonalnego w nawiązaniu do normy międzynarodowej IEC 61508. Podkreśla się znaczenie modelowania probabilistycznego systemów elektrycznych, elektronicznych i programowalnych elektronicznych (E/E/PE). Opisuje się wyznaczanie poziomu nienaruszalności bezpieczeństwa (SIL). W następnym kroku analizy weryfikuje się poziom SIL w procesie modelowania probabilistycznego...