Search results for: tworzenie i weryfikacja powiązań
-
Tworzenie wzorców zachowań dla aplikacji opartych o architekturę EDA
PublicationZaprezentowano ideę aplikacji świadomych kontekstu zgodnych z architekturą sterowaną zdarzeniami EDA. Ten rodzaj aplikacji jest dedykowany dla przestrzeni inteligentnych. Opisano proces definiowania scenariusza i wzorców zachowań jako najbardziej istotny. Zawarto opis metody analizy i dekompozycji scenariusza oraz proces walidacji poprawności z wykorzystaniem sieci Petriego.
-
Tworzenie map konceptów dla ontologii opartych na logice opisowej
PublicationW poprzednich pracach przedstawiono nową metodę reprezentacji wiedzy nazwaną metodą kartograficzną. Metoda ta pozwala na uchwycenie zależności pomiędzy pojęciami wyznaczonymi w ramach terminologii, jak również na stopniowe (w miarę zwiększania się naszej wiedzy) przyporządkowywanie indywidualnych obiektów tym pojęciom. Zależności te reprezentowane są w postaci tzw. mapy konceptów. Efektywność budowy mapy konceptów stanowi zagadnienie...
-
Weryfikacja rozmytego modelu wspomagania zarządzania wybranymi usługami internetowymi
PublicationRozwinięcie koncepcji rozmytego modelu wspomagania zarządzania wybranymi usługami w internecie poprzez dedykowany model dla rynku internetowych kredytów hipotecznych.
-
WERYFIKACJA WZMOCENIANIA ŚRODNIKÓW KROKWI DACHU ZBIORNIKA NA GAZ
PublicationPraca dotyczy wariantowej analizy wyselekcjonowanych detali konstrukcji dachu zbiornika na gaz w terminalu regazyfikacyjnym LNG w Świnoujściu. W kontekście bezpieczeństwa konstrukcji badano fakt pominięcia w trakcie budowy części przewidzianych w projekcie żeberek usztywniających środniki krokwi w strefie mocowania wieszaków. Obliczenia w środowisku MES przeprowadzono w dwóch etapach. Etap pierwszy obejmował liniową analizę całej...
-
Weryfikacja dynamicznego podpisu odręcznego za pomocą filtru dopasowanego
PublicationPrzedmiotem referatu jest dynamiczny podpis odręczny, traktowany jako sygnał telekomunikacyjny, a więc weryfikowany (wykrywany) za pomocą filtru dopasowanego. Niezawodność takiej weryfikacji wymaga uprzedniej unifikacji i normalizacji wszystkich podpisów zgromadzonych w bazie i podpisu właśnie składanego. Celem tego przetwarzania wstępnego jest pozbawienie podpisów ich parametrów biernych (wielkości, położenia i orientacji) oraz...
-
Weryfikacja agentów systemu agentowego do oceny technologii informatycznych
PublicationRozdział podejmuje próbę weryfikacji agentów systemu agentowego do oceny technologii informatycznych. W pierwszej części zaprezentowano rozwój i dojrzewanie samej koncepcji systemu po to aby w dalszej części dokonać weryfikacji zbudowanego prototypu. Artykuł poza samą weryfikacją pokazuje jednocześnie kierunki dalszego rozwoju przyjętej struktury systemu agentowego do oceny technologii IT.
-
Weryfikacja dokumentacji technicznej systemu ochrony katodowej rurociągu paliwowego
PublicationZweryfikowano dokumentację techniczną systemu ochrony katodowej rurociągu paliwowego
-
Empiryczna Weryfikacja Hipotezy Collatza za pomocą obliczeń Gridowych
Publication -
Drgania i hałaśliwość silników asynchronicznych - weryfikacja nowych hipotez
PublicationArtykuł zawiera nowe spojrzenie na postaci drgań kadłuba i tarcz silników asynchronicznych wymuszanych siłami elektromagnetycznymi. Omówiono badania postaci drgań własnych i eksploatacyjnych kadłuba i tarcz łożyskowych. Poddano analizie związki przyczynowo-skutkowe postaci drgań tarcz łożyskowych z łożyskami tocznymi i ślizgowymi. Wykazano, że wibracyjne eksploatacyjne odkształcenia tarcz silników klatkowych małej i średniej mocy,...
-
Materiały edukacyjne - tworzenie i prowadzenie e-kursów
e-Learning Courses -
Tworzenie miejskości po 1990r., Geneza niemieckiej urbanistyki współczesnych założeń mieszkaniowych
PublicationArtykuł jest przyczyną do przypomnienia genezy współczesnej formy niemieckich miejskich struktur mieszkaniowych w kontekście zmian rozumienia ich wymiaru miejskości. Niemiecka myśl urbanistyczna łączy w sobie dwie wyraziste tradycje dwudziestego wieku - Gründerzeit i KlassischeModerne. Pozostaje jednak silnie otwarta na innowację generowaną nie tylko dzięki postępowi technicznemu, ale przede wszystkim poprzez planowanie interdyscyplinarne...
-
Tworzenie poligonu kierunków głównych trasy kolejowej z wykorzystaniem pomiarów GPS
PublicationW pracy przedstawiono kolejny moduł opracowywanego w Politechnice Gdańskiej programu komputerowego SATTRACK do wizualizacji, oceny i projektowania trasy kolejowej, dostosowanego do techniki ciągłych pomiarów satelitarnych. Jest to moduł TRACK_POL, służący do tworzenia poligonu kierunków głównych trasy kolejowej. Zapisane w pliku tekstowym współrzędne prostych wykorzystuje się do wyznaczenia ich równań w państwowym układzie odniesień...
-
Zastosowania ontologii: Tworzenie scenariuszy negocjacyjnych z wykorzystaniem języka WS-CDL
PublicationIstnieje mozliwość formalnego zapisu przebiegu różnego rodzaju przedsięwzięć. Jedną z mozliwości zapisu scenariusza przedsięwzięcia jest wykorzystanie języka WS-CDL. Zaprezentowano metodę tworzenia konkretnej choreografii przedsięwzięcia w tym języku. Zwrócono uwagę na taniec negocjacyjny, w tym definicje ról, związków oraz typów kanałów komunikacyjnych. Dodatkowo zaproponoano środowisko wykonania scenariuszy zapisanych w tym języku.
-
Weryfikacja algorytmów MPPT dla modułów fotowoltaicznych w warunkach przesłonięcia
PublicationIntensywny rozwój technologii powoduje obniżenie ceny modułów fotowoltaicznych i dedykowanych przetwornic. Podstawą opłacalności jest wysoka sprawność całego układu na którą składają się sprawności modułów, przetwornic oraz algorytmu śledzenia maksymalnej mocy (MPPT - Maximum Power Point Tracking). Znane i stosowane algorytmy mają MPPT sprawności od ok. 95 do 99%, o ile ogniwa mają identyczne parametry i są jednakowo nasłonecznione....
-
Weryfikacja mes badań właściwości sprężysto-lepkoplastycznych stali p9 (9cr1mo).
PublicationW niniejszej pracy opisano zastosowanie MES do weryfikacji badań, które miały na celu określenie właściwości sprężysto-lepkoplastycznych stali ferrytycznej P9 (9Cr1Mo) w temp. 500[°C]. W referacie skupiono się na błędach w geometrii próbek powstałych przy ich przygotowaniu. Wyniki analizy numerycznej miały na celu potwierdzenie wpływu wybranych imperfekcji na zaobserwowane deformacje próbek. W obliczeniach wykorzystano komercyjny...
-
Weryfikacja Poziomów Nienaruszalności Bezpieczeństwa z uwzględnieniem Zagadnień Ochrony Informacji
PublicationNiniejszy rozdział poświęcono wybranym istotnym zagadnieniom analizy bezpieczeństwa funkcjonalnego, w szczególności weryfikacji poziomów nienaruszalności bezpieczeństwa SIL funkcji bezpieczeństwa implementowanych w rozproszonych systemach sterowania i zabezpieczeń z uwzględnieniem zagadnień ochrony informacji. Zaproponowano metodę opartą na informacji ilościowej i jakościowej do weryfikacji SIL (IEC 61508, 61511) z uwzględnieniem...
-
Weryfikacja doświadczalna analizy numerycznej stanowiska do badania silników wiatrowych
PublicationW pracy zawarto analizę porównawczą badań doświadczalnych i symulacyjnych stanowiska do badania silników wiatrowych. Stanowisko to zostało zbudowane w Pracowni podstaw Konstrukcji Maszyn znajdującej się na terenie Uniwersytetu Warmińsko-Mazurskiego w Olsztynie. W artykule zamieszczono wyniki badań doświadczalnych oraz symulacyjnych przeprowadzonych w systemach CAD/CAE. Wykorzystano analizy statyczne, dynamiczne z uwzględnieniem...
-
Weryfikacja doświadczalna analizy numerycznej stanowiska do badania silników wiatrowych
PublicationW pracy zawarto analizę porównawczą badań doświadczalnych i symulacyjnych stanowiska do badania silników wiatrowych. Stanowisko to zostało zbudowane w Pracowni podstaw Konstrukcji Maszyn znajdującej się na terenie Uniwersytetu Warmińsko-Mazurskiego w Olsztynie. W artykule zamieszczono wyniki badań doświadczalnych oraz symulacyjnych przeprowadzonych w systemach CAD/CAE. Wykorzystano analizy statyczne, dynamiczne z uwzględnieniem...
-
Weryfikacja skuteczności parametrycznych oraz nieparametrycznych modeli prognozowania upadłości przedsiębiorstw
PublicationArtykuł ten miał na celu weryfikację skuteczności modeli parametrycznych tj. logitowych, probitowych i analizy dyskryminacyjnej, oraz modeli nieparametrycznych, czyli sztucznych sieci neuronowych, w prognozowaniu upadłości przedsiębiorstw. Autor na podstawie takiej samej populacji spółek akcyjnych notowanych na warszawskiej Giełdzie Papierów Wartościowych opracował modele prognozowania upadłości spółek na rok i na dwa lata wstecz....
-
Weryfikacja działania blokad przeciwkołysaniowych na przykładzie zabezpieczeń firmy Siemens
PublicationReferat podejmuje tematykę działania zabezpieczeń impedancyjnych w czasie trwania synchronicznych i asynchronicznych kołysań mocy. W referacie analizowano działanie zabezpieczeń impedancyjnych generatora synchronicznego oraz linii blokowej. Wskazano na niebezpieczeństwo błędnego działania zabezpieczeń przy obecnie stosowanych sposobach ich nastawiania.
-
WERYFIKACJA POZIOMÓW NIENARUSZALNOŚCI BEZPIECZEŃSTWA Z UWZGLĘDNIENIEM ASPEKTÓW OCHRONY INFORMACJI
PublicationPoszczególnym poziomom SIL projektowanego systemu elektrycznego/elektronicznego/programowalnego elektr onicznego E/E/PE (BPCS lub SIS) odpowiadają ilościowe kryteria probabilistyczne. Dowód spełnienia przez system zabezpieczeń wymagań SIL nazywa się weryfikacją. Model probabilistyczny dowolnego systemu zabezpieczeń SIS można przedstawić za pomocą schematów blokowych niezawodności RBD, grafów Markowa, równań uproszczonych oraz drzew niezdatności...
-
Weryfikacja obliczeń numerycznych czteroprzęsłowego ciągłego wiaduktu kablobetonowego metodą analityczną
PublicationW artykule poddano analizie obliczeniowej czteroprzęsłowy wiadukt kablobetonowy zaprojektowany w schemacie statycznym belki ciągłej, zrealizowany przed kilku laty nad autostradą A1. Porównano wyniki obwiedni naprężeń normalnych w przekroju betonowym dźwigara, zarówno rozciągających jak i ściskających, uzyskanych przy pomocy obliczeń analitycznych oraz numerycznych. Do obliczeń komputerowych wykorzystano dwa modele: belkowy oraz...
-
Weryfikacja autentyczności kolorów na zdjęciach wykonanych w technice analogowej
PublicationW artykule opisano zagadnienie odróżniania historycznych fotografii pomiędzy oryginalnie kolorowe a koloryzowane. Rozważono problem doboru zdjęć pod względem technologii, w jakiej zostały wykonane. Następnie wykorzystując sieci neuronowe już w części wyuczone na innych zbiorach danych, sprawdzono ich efektywność w rozwiązywaniu badanego problemu. Rozważono wpływ rozmiaru obrazu podanego na wejściu, architektury zastosowanej sieci,...
-
Buliding organizational knowledge in software and systems R&D organization
PublicationOmówiono specyficzne dla firm software podejście do tworzenia wiedzy organizacyjnej. Zaproponowano narzędzia pomocne w tworzeniu takiej wiedzy.
-
Incremental and pseudo-incremental construction of pseudo-minimal automata.
PublicationAutomaty pseudominimalne mają dla każdego słowa w języku automatu co najmniej jeden element własny (stan lub przejście), który nie jest współdzielony z żadnym innym słowem. Przedstawiamy przyrostowe i półprzyrostowe algorytmy tworzenia takich automatów.
-
Weryfikacja struktur baz wiedzy systemu agentowego do oceny technologii informatycznych
PublicationRozdział dokumentuje przebieg i wyniki weryfikacji opracowywanego w Zakładzie Zarządzania Technologiami Informatycznymi modelu systemu wieloagentowego do oceny technologii informatycznych. Wykorzystanie tego modelu (zaprojektowanego w oparciu o ontologie i zasoby baz wiedzy) ma docelowo wspomagać procesy decyzyjne z zakresu doboru technologii informatycznych dla danej organizacji. Dla potrzeb jego weryfikacji wykorzystano dane...
-
Weryfikacja istniejącego oszacowania ilości ścieków sanitarnych odprowadzanych z Gminy Michałowice
PublicationOpracowanie stanowi ekspertyzę oceniającą poprawność istniejącego oszacowania ilości ścieków sanitarnych dla Gminy Michałowice. Praca jest efektem analizy wyników terenowych pomiarów ilości ścieków oraz oszacowań o charakterze analitycznym
-
Automatyczna weryfikacja klienta bankowego w oparciu o multimodalne technologie biometryczne
PublicationW referacie przedstawiono przegląd rozwiązań wykorzystywanych w bankach do weryfikacji tożsamości klientów. Ponadto zawarto opis metod biometrycznych aktualnie wykorzystywanych w placówkach bankowych wraz z odniesieniem do skuteczności i wygody korzystania z dostępnych rozwiązań. Zaproponowano rozszerzenie zakresu wykorzystania technologii biometrycznych, wskazując kierunek rozwoju systemów bezpieczeństwa dla poprawy dostępu do...
-
Weryfikacja nastawień zabezpieczeń od utraty wzbudzenia na przykładzie elektrociepłowni przemysłowej
PublicationW artykule przedstawiono rozważania dotyczące działania zabezpieczeń reaktancyjnych od utraty wzbudzenia generatorów synchronicznych, pracujących w elektrociepłowni przemysłowej. Pokazano możliwości niewłaściwego działania zabezpieczenia od utraty wzbudzenia, wskazując że dobór nastawień powinien każdorazowo wykorzystywać badania modelowe. Przyjmowanie nastawień typowych zgodnych z wiedzą inżynierską może być przyczyną niewłaściwego...
-
Weryfikacja sprawności I stopnia wybranych krajowych modeli zagrożenia upadłości przedsiębiorstw
PublicationArtykuł niniejszy poświecony jest weryfikacji sprawności I stopnia polskich modeli służących prognozowaniu zagrożenia upadłości przedsiębiorstw. Zawiera on wyniki testowania dziesięciu krajowych modeli na próbie walidacyjnej, w skład której weszło 49 firm. Uzyskane w czasie weryfikacji wyniki zostały skonfrontowane ze sprawnością modeli podawaną przez autorów poszczególnych modeli.
-
Weryfikacja efektów kształcenia jako element Wewnętrznego Systemu Zapewnienia Jakości Kształcenia
PublicationPojęcie weryfikacji efektów kształcenia jest pojęciem nowym, wprowadzonym w ostatniej nowelizacji ustawy. Pojęcie to jest ściśle związane z osiągniętymi przez studenta efektami kształcenia, które precyzyjnie definiują jego kompetencje. Efekty kształcenia określane są przez uczelnię jako specyficzne dla danego kierunku studiów i pogrupowane są w kategorie: wiedza, umiejętności i kompetencje społeczne.
-
Generowanie początkowych rozwiązań przez algorytm sił wirtualnych w problemach logistycznych: rola wartości parametrów i charakterystyk powiązań
Publication -
Przypadek przedsiębiorstwa społecznego - o jednej spółdzielni i jej prezesie. Kluczowe wymiary analityczne: cel, governance, sieci powiązań
PublicationRozdział przedstawia studium przypadku działania przedsiębiorstwa społecznego - spółdzielni zatrudniającej osoby niepełnosprawne. W dużej mierze skupia się na opisie osoby prezesa spółdzielni i jego decyzjach oraz ich wpływu na działanie przedsięwzięcia. Tekst może służyć jako punkt wyjścia do dyskusji na temat przedsiębiorczości społecznej oraz oceny spółdzielni jako formy działania, poprzez pryzmat mechanizmów rządzenia, sieci...
-
Wspomagane komputerowo tworzenie modeli probabilistycznych w ocenie niezawodności i bezpieczeństwa przykładowych systemów.
PublicationPrzedstawiaono narzędzia komputerowe wykorzystywane do oceny niezawodności i bezpieczeństwa przykładowych systemów technicznych. Możliwości narzędzi zilustrowano przykładami układów zabezpieczeń realizowanych w oparciu o elektryczne, elektroniczne i programowalne elektroniczne systemy (E/E/PE.
-
System logiki rozmytej wspomagający tworzenie animacji komputerowych w oparciu o język Python
PublicationW celu tworzenia animacji komputerowych opartych o reguły wywodzące się z animacji tradycyjnej zaimplementowano system logiki rozmytej w języku Python, wykorzystujący słownikowy typ danych (tablice asocjacyjne). Zaprojektowane reguły łączą etykiety słowne, oznaczające zmienne lingwistyczne z etykietami nazw funkcji przynależności wykorzystującymi wartości lingwistyczne. W referacie przedstawiono fazy projektowania systemu, określania...
-
Analityczna weryfikacja dokładności komercyjnych programów komputerowych wspomagających projektowanie układów geometrycznych toru
PublicationW pracy podjęto próbę wyjaśnienia kwestii uzyskiwanej dokładności w projektowaniu układów geometrycznych toru z wykorzystaniem komercyjnych programów komputerowych typu CAD. Użytkownikowi najczęściej nie są znane zasady działania tych programów, w tym również wykorzystywane algorytmy obliczeniowe. Opisano w sposób ogólny funkcjonowanie dwóch wiodących programów. Przedstawiono własną, analityczną metodę projektowania układów torowych,...
-
Analityczna weryfikacja wybranego układu geometrycznego toru z wykorzystaniem profesjonalnego programu CAD
PublicationW pracy podjęto próbę wyjaśnienia, jak przedstawia się kwestia uzyskiwanej dokładności w projektowaniu układów geometrycznych toru z wykorzystaniem profesjonalnych programów komputerowych typu CAD. Użytkownikowi najczęściej nie są znane zasady działania tych programów, w tym również wykorzystywane algorytmy obliczeniowe. Opisano w sposób ogólny funkcjonowanie wybranego programu. Przedstawiono własną, analityczną metodę projektowania...
-
Eksperymentalna weryfikacja procedury szacowania wytrzymałości młodego betonu wg normy ASTM C1074
PublicationW referacie przedstawiono metodę służącą oszacowaniu wytrzymałości betonu w trakcie procesu dojrzewania (ang. Maturity Method) bazującą na procedurze określonej zgodnie z amerykańską normą, która uwzględnia wpływ połączonych efektów temperatury i czasu na rozwój wytrzymałości betonu. Standardy ASTM C1074 zostały opracowane przez NBS (ang. National Bureau of Standards) z uwagi na powtarzające się wypadki na palcu budowy wynikające...
-
Weryfikacja wybranych korelacji dla przepływu podczas kondensacji w minikanałach i mikrokanałach
Publication -
Weryfikacja skuteczności metod statystycznych w prognozowaniu upadłości firm na próbie niezbilansowanej
PublicationW opracowaniu tym porównano 5 różnych metod statystycznych prognozowania zagrożenia firm upadłością. Jest to pierwsza próba weryfikacji skuteczności tak szerokiego wachlarza metod statystycznych prognozowania upadłości firm w Polsce na jednej, takiej samej próbie badawczej. Celem tych badań było wskazanie metody statystycznej charakteryzującej się najlepszymi właściwościami predykcyjnymi upadłości firm na rok, na dwa i na trzy...
-
Weryfikacja parametru K rozkładu Rice'a dla środowiska miejskiego w paśmie UHF
PublicationReferat przedstawia wyniki pomiarów wartości parametru K rozkładu Rice’a modelu zaników dla kanałów UHF w terenie miejskim na podstawie zarejestrowanych sygnałów łącza w dół ze stacji bazowych CDMA2000. Przedstawiono sposób rejestracji i obróbki sygnałów oraz zaproponowano model rozkładu prawdopodobieństwa parametru K dla danego terenu.
-
Weryfikacja założeń do badań sonarowych oraz pomiary testowe w basenie portowym
Publication.
-
Tworzenie modelu pojęciowego dla zarządzania ryzykiem na przykładzie procesu laminowania w stoczni jachtowej
PublicationCelem artykułu jest zaproponowanie modelu pojęciowego normalizującego kryteria oceny ryzyka w systemie zarządzania jakością w stoczni jachtowej. Zamiarem jest przeprowadzenie analizy danych, pozwalającej wytyczyć zbiory o wysokim, średnim i niskim poziomie istotności dla wszystkich błędów powstających w procesie laminowania. W artykule skoncentrowano się na najważniejszych pojęciach związanych z ryzykiem i kryteriami jego oceny....
-
Metamorfozy miasta. Trwanie-przetwarzanie, tworzenie-odtwarzanie. Współczesna architektura Gdańska w dialogu z historią.
PublicationObserwacja przemian w rozwoju urbanistycznym miasta sklasyfikowanych w czterech głównych nurtach: trwania/przetwarzania, tworzenia/odtwarzania. Rozważania na temat kodu genetycznego, umożliwiającego rekonstrukcję i rozwój tkanki miasta, jej struktury i poszczególnych elementów.
-
Zróżnicowanie regionalne jakość kapitału ludzkiego a gospodarka oparta na wiedzy i tworzenie społeczeństwa informacyjnego
PublicationW rozdziale przedstawiono analizę wskaźników opisującychgospodarkę opartą na wiedzy (GOW). Przedstawiono wskaźnik GOW wwymiarze regionalnym, dla poszczególnych województw w Polsce iporównano go z syntetycznym wskaźnikiem jakości kapitału ludzkiego(WJKL) obliczonym również dla województw.
-
OneNote – tworzenie nowoczesnych materiałów dydaktycznych
EventsTematyka szkolenia: możliwości OneNote, wspólna praca nad tworzeniem nowoczesnych materiałów dydaktycznych z wykorzystaniem aplikacji OneNote dla Windows 10.
-
Obliczeniowa weryfikacja pewności ruchowej hydrodynamicznych łożysk wzdłużnych na przykładzie elektrowni wodnej Dychów
PublicationW związku z modernizacją hydrozespołów elektrowni szczytowo-pompowej (esp) Dychów analizie poddano łożysko wzdłużne. Przeprowadzona analiza, która będzie podstawą do podjęcia decyzji o zakresie wymaganych zmian konstrukcyjnych w łożysku objęła ocenę danych o dotychczasowej eksploatacji oraz obliczenia sprawdzające prawidłowości pracy łożyska w nowych warunkach. W obliczeniach uwzględniono odkształcenia termosprężyste segmentu oraz...
-
WERYFIKACJA KONCEPCJI PRZEGUBÓW PLASTYCZNYCH PROJEKTOWANYCH NA ODZIAŁYWANIA SEJSMICZNE WIADUKTU V6 OBWODNICY ISTAMBUŁU
PublicationW pracy zawarto wyniki analiz betonowego wiaduktu V6 budowanego w ciągu obwodnicy Istambułu w Turcji realizowanego w ramach projektu Northern Marmara Highway. Przeprawę stanowią dwie niezależne nitki o skrzynkowym przekroju poprzecznym i szerokości 22,00 m. Schemat statyczny obiektu to belka dziewięcioprzęsłowa o długości całkowitej 446,86 m oparta na podporach słupowych o zmiennej sztywności (rys.1) i wysokościach zmieniających...
-
Creating the e-decisional community through the knowledge supply chan system
PublicationW pracy przedstawiono zasady tworzenia społeczeństwa cyfrowego opartego na wymianie wiedzy dostępnej w nośnikach internetowych. Omówiono zasady modelowania takiej wiedzy i budowy tzw. łańcucha zaopatrzenia w wiedzę.
-
Wspomagana komputerowo weryfikacja określonego poziomu nienaruszalności bezpieczeństwa sil z wykorzystaniem autorskiej aplikacji ProSIL
PublicationW referacie przedstawiono oprogramowanie Pro SIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z trzech modułów wspomagających: określanie wymaganego poziomu SIL (moduł ProSILen) weryfikację SIL (moduł ProSILer) oraz przeprowadzenie analizy warstw zabezpieczeń metodą LOPA. W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu...