Filters
total: 1402
-
Catalog
- Publications 748 available results
- People 75 available results
- Inventions 3 available results
- Projects 1 available results
- Laboratories 8 available results
- Research Teams 8 available results
- Research Equipment 10 available results
- e-Learning Courses 538 available results
- Events 10 available results
- Offers 1 available results
displaying 1000 best results Help
Search results for: PROGRAMOWANIE%20GENETYCZNE
-
STEROWNIKI PROGRAMOWALNE [Niestacjonarne][2023/24]
e-Learning Courses -
Mikroelektroniczne systemy programowalne 2023/2024
e-Learning CoursesZapoznanie z budową i możliwościami mikroelektronicznych systemów programowalnych, zbudowanych w oparciu o układy programowalne FPGA. Nauczenie studentów, w jaki sposób wewnątrz jednego układu FPGA utworzyć pełen mikroprocesorowy system wraz z procesorem, magistralami, układami peryferyjnymi i pamięcią. Zapoznanie z metodami uruchamiania takich systemów.
-
Programowalne układy cyfrowe 2024/25
e-Learning Courses -
2023/2024 - Licencjonowanie oprogramowania - MSU
e-Learning Coursesstudia niestacjonarne magisterskie, kierunek Informatyka
-
STEROWNIKI PROGRAMOWALNE [Niestacjonarne][2020/21]
e-Learning Courses -
Mikroelektroniczne systemy programowalne 2024/2025
e-Learning CoursesZapoznanie z budową i możliwościami mikroelektronicznych systemów programowalnych, zbudowanych w oparciu o układy programowalne FPGA. Nauczenie studentów, w jaki sposób wewnątrz jednego układu FPGA utworzyć pełen mikroprocesorowy system wraz z procesorem, magistralami, układami peryferyjnymi i pamięcią. Zapoznanie z metodami uruchamiania takich systemów.
-
STEROWNIKI PROGRAMOWALNE [ARiSS][2020/21]
e-Learning Courses -
Praktyczne efekty analizy konstrukcji żelbetowych i sprężonych z uwzględnieniem zarysowania betonu
PublicationW artykule zawarto wybrane przykłady problemów strukturalnych związanych z modelowaniem zarysowania betonu zbrojonego. Zaprezentowano przykłady i studia przypadku. Model zarysowanego betonu pozwala przewidzieć naprężenia charakterystyczne w zbrojeniu i betonie. Pozwala również ocenić wielkość zarysowania oraz wpływ na redystrybucję sił wewnętrznych w zarysowanej konstrukcji. Taki rodzaj analizy jest dostępny w wysokiej jakości...
-
Systemy informacji przestrzennej w rozwoju e-uczelni
PublicationArtykuł opisuje istotę systemów informacji przestrzennej, ich definicję, krótką genezę oraz przybliża zagadnienia funkcjonowania współczesnych systemów tego typu. Szczególną uwagę zwrócono na moźliwości ich wykorzystania w szeroko rozumianej informatyzacji. Przez przykłady zastosowań zwrócono uwagę na rolę, jaką mogą pełnić takie systemy we współczesnym społeczeństwie. Zostały określone podstawowe wymagania dotyczące oprogramowania,...
-
Zastosowanie koncepcji SDN w warstwie transportowej sieci IMS/NGN
PublicationKoncepcja sieci Next Generation Network, wykorzystująca w warstwie usług architekturę IP Multimedia Subsystem, zakłada centralizację funkcji sterowania zasobami sieciowymi w warstwie transportowej. Analogiczne założenie jest podstawą koncepcji Software Defined Networks. Na podstawie tej analogii, zaproponowano integrację obu koncepcji, przedstawiono architekturę zintegrowanej sieci, scenariusze sterowania zasobami oraz przygotowano...
-
Mechatronic system for automatic inspection of circular saw teeth
PublicationArtykuł prezentuje system mechatroniczny do automatycznej oceny geometrii ostrzy pił tarczowych. Opisywany system wizyjny został zastosowany w automatycznym kontrolerze ostrzy pił tarczowych WKOPTar. Wrzeciono urządzenia posiada swój napęd sterowany bezstopniowo obrazem ostrzy i zapewnia powtarzalne pozycjonowanie ostrzy w celu przechwycenia ich obrazów, które są następnie analizowane z wykorzystaniem specjalnego oprogramowania....
-
Cyfrowy akcelerator wybranych modułów standardu kompresji wideo H.264
PublicationW artykule przedstawiono konfigurowalny cyfrowy akcelerator estymacji ruchu przeznaczony dla enkodera wideo standardu H.264. Akcelerator został zaimplementowany w technologii FPGA oraz w układzie ASIC w technologii UMC 90 nm. Obie implementacje zostały zweryfikowane, a szczegółowe wyniki pomiarów akceleratora ASIC zostały porównane z innymi dostępnymi w literaturze propozycjami. System został zoptymalizowany do współpracy z oprogramowaniem...
-
Modelowanie magnetycznego pola rozproszonego z wykorzystaniem MES
PublicationW artykule zaprezentowano zalety oraz możliwości, ale i też ograniczenia jakie posiada MES. Z całą pewnością jest to bardzo użyteczna i obiecująca metoda numeryczna, pozwalająca na modelowanie zjawisk elektromagnetycznych, w szczególności zaś magnetycznego pola rozproszonego. Biorąc pod uwagę szybko postępujący rozwój możliwości obliczeniowych współczesnych komputerów oraz towarzyszący mu rozwój oprogramowania MES można stwierdzić,...
-
TreeCmp: Comparison of Trees in Polynomial Time
PublicationMetryki 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...
-
Human and organizational factors in risk analysis and safety management of azardous
PublicationArtykuł porusza aktualne kwestie dyskutowane podczas warsztatów na temat czynników ludzkich i organizacyjnych w analizie ryzyka i zarządzaniu bezpieczeństwem instalacji przemysłowych wysokiego ryzyka. Zauważa się rosnącą świadomość, że eksploatacja złożonego systemu wyposażonego w środki bezpieczeństwa oraz redundancyjne układy zabezpieczeń i sterowania, zawierające jednostki programowalne, może spowodować większe uzależnienie...
-
Control systems with programmable controllers - teaching aspects.
PublicationSterowniki programowalne są obecnie podstawowymi urządzeniami wykorzystywanymi w systemach sterowania i dlatego od absolwentów uczelni technicznych, a szczególnie absolwentów wydziałów elektrycznych, oczekuje się posiadania przynajmniej podstawowej wiedzy o sterownikach programowalnych i ich zastosowaniach. W pracy przedstawiono wybrane aspekty wprowadzenia do dydaktyki przedmiotu ''Systemy sterowania ze sterownikami programowalnymi''...
-
Celowe zanieczyszczanie pilotów w łączu w górę w interfejsie 5G NR
PublicationReferat poświęcono zagadnieniu zakłócania sygnałów pilotowych w interfejsie radiowym 5G NR. Przedstawiono charakterystykę sygnału referencyjnego DMRS oraz uwarunkowania możliwości jego selektywnego zakłócenia. Opisano schemat transmisji w kanale fizycznym PUSCH, zaimplementowany w oprogramowaniu Sionna. Zaprezen-towano model symulacyjny oraz założenia badań wpływu zanieczyszczenia pilotów na jakość transmisji. Przedsta-wiono wyniki...
-
Testing and tuning PLC application programs
PublicationWe wstępie zawarto kilka uwag autora dotyczących pilnej potrzeby wdrażania na Wydziale Mechanicznym idei mechatronicznego kształcenia. Przedstawiono przegląd sposobów monitorowania i testowania programów aplikacyjnych PLC podczas budowania lub modernizacji systemów sterowania. Przedyskutowano zakres zastosowań oraz ograniczenia poszczególnych sposobów. Opisano przykład zastosowania zbudowanego stanowiska do eksperymentalnych testów...
-
Realizacja elementów składowych łącza radiowego z użyciem urządzeń USRP dla potrzeb szybkiej transmisji danych do zastosowań specjalnych
PublicationW artykule przedstawiono realizację cyfrowego łącza radiowego dla potrzeb szybkiej transmisji danych do zastosowań specjalnych. Opisano jego koncepcję oraz realizację praktyczną z użyciem urządzeń USRP firmy National Instruments. Przedstawiono elementy funkcjonalne opracowanego oprogramowania w zakresie generowania i odbierania sygnałów cyfrowych pasma podstawowego, wraz z opisem zastosowanych modulacji cyfrowych i metody synchronizacji...
-
Oprogramowanie komunikacyjne dla Internetu rzeczy 2021/22
e-Learning CoursesOprogramowanie komunikacyjne dla Internetu rzeczy. Informatyka, specjalność sieci komputerowe, studia stacjonarne II stopnia, II semestr. Prowadzący: Jacek Rak, Wojciech Gumiński
-
PROGRAMOWANIE MIKROKONTROLERÓW Z RDZENIEM ARM [Niestacjonarne][2021/22]
e-Learning Courses -
PROGRAMOWANIE ROBOTÓW I PLANOWANIE ZADAŃ [ARiSS][2024/25]
e-Learning Courses -
WOPT-uniwersalny system do analizy i symulacji widm optycznych cienkich struktur dielektrycznych
PublicationPrzedstawiono system WOPT umożliwiający symulację złożonych, dielektrycznych powłok cienkowarstwowych. Oprogramowanie służy zarówno do projektowania specjalistycznych wielowarstwowych powłok optycznych jak i do kontroli parametrów gotowych produktów cienkowarstwowych. Za pomocą programu można wykonać analizę grubości oraz optycznych parametrów materiałowych powłok dielektrycznych na postawie wykonanych pomiarów spektralnych. Wykonano...
-
Projektowanie oraz implementacja cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowego
PublicationW artykule został przedstawiony proces projektowania i realizacji cyfrowego multiefektu gitarowego z wykorzystaniem procesora sygnałowegoTMS320C5535 firmy Texas Instruments, dla którego oprogramowanie napisano w języku C. Omówiono zasady działania oraz algorytmy wybranych efektów dźwiękowych, które zostały zaimplementowane w procesorze sygnałowym. Zaprojektowano również uniwersalny moduł wejściowy zawierający wzmacniacz z regulowanym...
-
Lokalizacja i rozpoznawanie tablic rejestracyjnych na zdjęciach z fotoradarów
PublicationArtykuł opisuje stworzoną na Wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej aplikację do lokalizacji i rozpoznawania numerów rejestracyjnych pojazdów samochodowych na potrzeby realizowanego na tym wydziale Radiowego systemu monitorowania i akwizycji danych z urządzeń radarowych RSMAD. Na tle dzisiaj funkcjonujących w kraju rozwiązań system RSMAD wyróżnia się automatyzacją procesu przekazywania danych...
-
Reguły efektywnego projektowania semantycznych usług WWW
PublicationW pracy omówiono kluczowe zasady projektowania usług semantycznych w Internecie. Nawiązano do reguł formalizacji wiedzy za pomocą systemów ontologicznych, dla których implementacji opracowano języki programowania OWL i KIF. Odniesiono się także do sieci semantycznych jako metody sztucznej inteligencji w kontekście założeń projektu Web 3.0. Omówiono zasady stosowania języków XML, XML Schema, RDF, RDF Schema, OWL, SPARQL, a także...
-
Układ informatyczny systemu diagnostycznego ciągników kołowych
PublicationPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTRO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmuje system operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
HARDWARE AND SOFTWARE OF DIAGNOSTIC SYSTEM OF WHEELED TRACTORS = Hardwer i softwer systemu diagnostycznego ciągników kołowych
PublicationPodstawowym elementem systemu diagnostycznego jest komputer pokładowy Fujitsu FUTURO S100 z chłodzeniem pasywnym w wykonaniu odpornym na drgania i wstrząsy, z pamięcią Compact Flesh 16Gb. Do komputera dołączony jest monitor dotykowy NVOX LCD 10" VGA/FVAT. Oprogramowanie komputera obejmujesystem operacyjny Windows XP-2000, driver konwertera USB/DeviceNet oraz opracowany program diagnostyczny. Komputer połączony jest łączem USB z...
-
OF-FEMEA: an approach to safety analysis of object oriented software intensive systems.
PublicationArtykuł przedstawia rozszerzenie metody FMEA znanej z jej zastosowań w stosunku do systemów związanych z bezpieczeństwem, w sposób umożliwiający jej stosowanie do systemów zawierających oprogramowanie i budowanych zgodnie z podejściem obiektowym. Punktem wyjścia dla metody są modele współpracy wyrażone w notacji UML. Komponenty systemu są modelowane z zastosowaniem notacji formalnej CSP. Metoda wspomaga systematyczną identyfikacje...
-
Selected problems concerning strength of a floating dock with roof
PublicationW pracy przedstawiono modele i wyniki analizy wytrzymałości konstrukcji zadaszonego doku pływającego. Obliczono, że ścianki wiązarów zadaszenia, aby mogły przenieść obciążenia środowiskowe, muszą mieć grubość 24 mm. Ciężkie przesuwne segmenty zadaszenia generują w dennikach pontonu doku naprężenia sięgające 25% wartości dopuszczalnych. Wytężenie konstrukcji pontonu doku i podbudowy, obciążonych ciężarem zadaszenia i dokowanego...
-
Dawid Zieliński dr inż.
PeopleDawid Zieliński uzyskał tytuł magistra inżyniera w 2017 roku na Wydziale Mechanicznych Politechniki Gdańskiej, kończąc kierunek: Mechanika i Budowa Maszyn, specjalność: Technologia Maszyn i Komputerowe Wspomaganie Produkcji. W okresie 2016-17 studiował na Uniwersytecie Technicznym w Berlinie (Technische Universität Berlin – TU Berlin) oraz pracował w instytucie naukowym – Institut für Werkzeugmaschinen und Fabrikbetrieb (IWF) Technische...
-
Nowe metody diagnostyki technicznej taboru kolejowego
PublicationSystemy sterowania pojazdów trakcyjnych można podzielić na następujące dwie główne generacje:- systemy stykowo-przekaźnikowe, w których realizacja programu sterowania wynika z uzależnień elektromechanicznych i sposobu połączenia elementów między sobą,- systemy mikrokomputerowe, w których wzajemne uzależnienia urządzeń wykonawczych i realizacja funkcji sterujących są przejmowane przez program mikrokomputera.Pojazdy obu generacji...
-
Verification of the fit to user profiles for UML tools
PublicationDopasowanie do profilu użytkownika ma wpływ na efektywność pracy użytkownika. W referacie postawiono pytanie, czy narzędzia UML rzeczywiście wspomagają pracę konkretnych ról w procesie wytwarzania oprogramowania. W ramach prac wykonano następujace zadania: opisano profile użytkowników narzędzi UML; wyodrębniono cechy narzędzi UML, które mają wpływ na dopasowanie do profili użytkowników; zaprojektowano model pokazujący związek pomiędzy...
-
Model formalny dla problemu lokalizacji błędów w kodzie programu
PublicationIstnieje szereg sposobów badania poprawności programów komputerowych. W niniejszym referacie podejmujemy problem automatycznego testowania oprogramowania przy założeniu, iż dany jest zbiór testów (asercji) dla poszczególnych fragmentów kodu. Dla uproszczenia analizy zakładamy, że badany fragment kodu zawiera dokładnie jeden błąd, co nie zmniejsza ogólności rozważań. W artykule analizujemy praktyczne aspekty powyższego problemu...
-
Poll Reader - the working prototype of optical mark recognition software
PublicationAutomatyczne 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...
-
Szkoła systemu Linux
PublicationKsiążka ''Szkoła systemu Linux'' wprowadza czytelnika w świat oprogramowania typu open source. Przedstawione zostały liczne programy, które umożliwiają między innymi zarządzanie danymi, pisanie i drukowanie dokumentów czy korzystanie z sieci. Za pomocą ksiązki można się nauczyć używania środowiska graficznego oraz wiersza poleceń. Opisano również działanie systemów operacyjnych, w tym Linux. Na płycie dołączonej do książki znajduje...
-
TECHNOLOGIA RADIA PROGRAMOWALNEGO W ZASTOSOWANIACH WOJSKOWYCH
PublicationTechnologia radia programowalnego (Software Defined Radio) jest nowoczesnym rozwiązaniem umożliwiającym realizację urządzeń pracujących w różnego rodzaju systemach łączności radiowej, zarówno cywilnych, jak i wojskowych. W artykule zaprezentowano zagadnienia dotyczące koncepcji realizacji radia programowalnego. Opisano w sposób funkcjonalny platformę sprzętową i programową takiego rozwiązania. Zaprezentowano budowę przykładowej...
-
Implementacja uogólnionego algorytmu szczególnego próbkowania dla wyznaczania harmonicznej podstawowej w środowisku LabVIEW.
PublicationPraca dotyczy opisu oraz implementacji uogólnionego algorytmu szczególnego próbkowania dla wyznaczania amplitudy harmonicznej podstawowej w środowisku LabVIEW. Algorytm szczególnego próbkowania umożliwia wyodrębnienie informacji o wartości amplitudy harmonicznej podstawowej ze spróbkowanego, odkształconego sygnału przy zastosowaniu stosunkowo prostych środków technicznych. Aplikacja może mieć zastosowanie w urządzeniach pomiarowych...
-
System sterowania sesją RTP
PublicationW artykule przedstawiono koncepcję systemu sterowania sesją protokołu RTP oraz praktyczną realizację tego systemu w oparciu o dostępne aplikacje należące do kategorii wolnego oprogramowania. Zaproponowana architektura umożliwia Operatorowi realizowanie następujących funkcji systemu: nagrywanie, podsłuch oraz generowanie zapowiedzi. System przeszedł pozytywnie testy laboratoryjne i możliwe jest jego praktyczne wykorzystanie. W artykule...
-
Problemy jakości w metodach Agile
PublicationZwinne metody wytwarzania osiągnęły w zawrotnym tempie niebywały sukces. Według różnych doniesień od 50 do 70% firm IT stosuje metody zwinne na stałe lub okazjonalnie . Jednak znaczna część firm stosuje wybiórczo praktyki zalecane przez Agile . Jakie to praktyki? Jakie problemy występują przy ich stosowaniu i jak firmy radzą sobie z tymi problemami? Jak wpływają na jakość wytwarzanego oprogramowania? Jakie są warunki krytyczne...
-
Quality model for UML tools in application to UML tool selection and market analysis
PublicationJęzyki modelowania i wspierające je narzędzia odgrywają istotną rolę w procesie wytwarzania i utrzymania oprogramowania. Wraz ze wzrostem liczby narzędzi UML na rynku pojawia się potrzeba ich porównania i oceny. Artykuł prezentuje wielowymiarowy model oceny narzędzi UML, opisuje ankietę przydatną do oceny narzędzi UML oraz przedstawia system oceny narzędzi UML wraz ze studium przypadku jego zastosowania do poszukiwania narzędzi...
-
Monitoring objects over networks
PublicationW pracy rozważa się uniwersalny pomysł na monitorowanie obiektów przemysłowych, firmowych i prywatnych, z inteligentnymi budynkami włšcznie. Rozmaite zadania diagnostyczne, sterownicze i zarzšdcze łatwo mogš być zintegrowane w taki projekt. Współczesne narzędzia technologii informacyjnych (IT) mogš być spożytkowane w celu stworzenia kompletnych i efektywnych systemów realizujšcych takie zadania. Oparłszy się na wysokich technologiach...
-
Zdalne monitorowanie obiektów wyposażonych w instalację KNX
PublicationW artykule przedstawiono ideę i możliwości techniczne zdalnego monitorowania elementów instalacji elektrycznych wykonanych w standardzie KNX. Pokazano przykłady istniejących rozwiązań komercyjnych oraz ich ograniczenia. Zaprezentowano prototyp aplikacji opracowanej dla systemu Windows w języku C#, wykorzystującej bibliotekę Falcon do komunikacji z magistralą KNX. Umożliwia ona nadzór za pośrednictwem przeglądarki internetowej nad...
-
Technologie agentowe w elastycznej produkcji.
PublicationNiniejszy artykuł pokazuje możliwości stosowania technologii agentowych w elastycznej produkcji. Na wstępie sformułowano właściwości oprogramowania agentowego wskazując na powiązania dynamicznych metod sztucznej inteligencji z elastycznym wytwarzaniem. Z kolei pokazano przykłady zastosowań systemów rozproszonego rozwiązywania zadań w różnych dziedzinach. Obszerniejszej ocenie poddano przykład praktycznego wdrożenia przemysłowego...
-
The influence of the filler on the magnetic field distribution in ferromagnetic objects.
PublicationDuże obiekty ferromagnetyczne umieszczone w zewnętrznym polu magnetycznym (np. ziemskim polu magnetycznym) ulegają namagnesowaniu. W pewnych przypadkach konieczna jest demagnetyzacja obiektu ferromagnetycznego. Demagnetyzacja polega na umieszczeniu obiektu w wytworzonym w układzie zewnętrznym polu magnetycznym o określonych właściwościach. Jeżeli obiekt ferromagnetyczny posiada duże rozmiary, wówczas jego demagnetyzacja jest problemem...
-
Demagnetyzacja własnego pola obiektu ferromagmetycznego.
PublicationObiekt ferromagnetyczny umieszczony w polu magnetycznym Ziemi ulega namagnesowaniu. W wielu sytuacjach technicznych konieczne jest zlikwidowanie tego namagnesowania nazywane demagnetyzacją. Demagnetyzacja polega na umieszczeniu obiektu w wytworzonym w układzie zewnętrznym polu magnetycznym o określonych właściwościach. Jeżeli obiekt ferromagnetyczny posiada duże rozmiary, wówczas jego demagnetyzacja jest problemem trudnym technicznie....
-
A field programmable analog array for CMOS continuous-time OTA-C filter applications
PublicationW artykule opisano programowalny wzmacniacz transkonduktancyjny oraz konfigurowalny blok analogowy CAB składający się ze wzmacniacza transkonduktancyjnego, kluczy oraz programowalnego kondensatora. Z bloków CAB można zbudować uniwersalne, programowalne filtry. Wzmacniacz transkondukancyjny został przesymulowany oraz wykonany w technologii CMOS. Wyniki pomiarów pokazują, że transkonduktancja wzmacniacza może być przestrajana ponad...
-
Isolator using a ferrite-coupled-lines gyrator
PublicationPrzedstawiono koncepcję nowego typu gyratora wykonywanego poprzez zwarcie lub rozwarcie ferrytowych linii sprzężonych (FCL). Redukując w taki sposób macierz rozproszenia (S) sekcji FCL określono macierz S gyratora oraz procedurę jego projektowania. Poprzez odpowiednie wprowadzenie warstwy rezystywnej do układu gyratora zaprojektowano nowy układ isolatora typu FCL oraz podano metodykę jego projektowania. Koncepcje proponowanych...
-
Transmisja danych pomiarowych przez sieć Internet z wykorzystaniem środowiska LabVIEW
PublicationPrzedstawiono sposób transmisji danych pomiarowych za pomocą sieci Internet, przy wykorzystaniu oprogramowania LabView firmy National Instruments. Biblioteki do programu LabView stanowiły podstawę przygotowania przyrządów wirtualnych realizujących transmisję danych przez Internet. Transmisja dotyczy przesyłania danych między przygotowanym systemem kontrolno-pomiarowym na bazie mikrokontrolera dołączonego do komputera IBM PC za...
-
Computer aided funcional safety assessment
PublicationReferat 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...