Wyniki wyszukiwania dla: drzewa niezdatności - MOST Wiedzy

Wyszukiwarka

Wyniki wyszukiwania dla: drzewa niezdatności

Wyniki wyszukiwania dla: drzewa niezdatności

  • Model bezpieczeństwa statku morskiego.

    Publikacja

    - Rok 2002

    Bezpieczeństwo statku zależy istotnie od jego procesu eksploatacji. Proces ten zamodelowano jako semi-Markowowski. Fazostany procesu eksploatacji wywołują zapotrzebowanie na użytkowanie określonych systemów statku. Podczas realizacji procesów użytkowania tych systemów mogą powstawać zdarzenia niezdatności elementów technicznych i antropijnych, co może powodować wypadki morskie, czyli niespodziewane zdarzenia, których...

  • Redukcja czasu analizy MZP przez ograniczenie rozmiaru rozwiązania

    Analiza drzew niezdatności jest uznaną metodą analizy bezpieczeństwa systemów. Notacja ECSDM pozwala definiować zależności czasowe między zdarzeniami drzewa oraz przeanalizować je w celu określenia zależności pomiędzy zdarzeniami z Minimalnych Zbiorów Przyczyn (MZP). Dzięki wprowadzeniu klasyfikacji zdarzeń z MZP można wyodrębnić zależności czasowe istotne dla zapobiegania wywoływania hazardu przez konkretny MZP. Pozostałe zależności...

    Pełny tekst do pobrania w portalu

  • An environmental risk measure of ships

    Publikacja

    - Rok 2005

    W referacie wyszczególniono najistotniejsze rodzaje zanieczyszczeń emitowanych przez statki do środowiska naturalnego. Przeprowadzono krótką dyskusję norweskiej propozycji indeksacji środowiskowej statków. Zaproponowano probabilistyczny model do oceny ryzyka stwarzanego przez statki względem środowiska morskiego. Jest to model strategii liniowej. Wiąże w jedną wartość liczbową prawdopodobieństwa uwolnienia zanieczyszczeń ze statku...

  • Environmental reliability model of a bilge water purifying installation

    Publikacja

    - Rok 2005

    W referacie przedstawiono probabilistyczny model, służący do wyznaczania niezawodności środowiskowej instalacji oczyszczania wód zęzowych z zanieczyszczeń olejowych. Jest to model przyczynowo - skutkowy. Struktura modelu ma formę drzewa zdarzeń i odpowiednich drzew niezdatności. Niezawodność środowiskowa instalacji zdefiniowana została jako prawdopodobieństwo, że w wyniku jej eksploatacji nie nastąpi zagrożenie dla środowiska morskiego....

  • Komputerowe wspomaganie procesu zarządzania bezpieczeństwem funkcjonalnym

    W niniejszym rozdziale przedstawiono oprogramowanie ProSIL wspomagające zarządzanie bezpieczeństwem funkcjonalnym. Program ProSIL składa się z dwóch modułów wspomagających: określenie wymaganego poziomu SIL (moduł ProSILen) oraz weryfikację SIL (moduł ProSILer). W aplikacji ProSIL zaimplementowano opracowaną w trakcie badań metodykę analizy bezpieczeństwa funkcjonalnego w projektowaniu i użytkowaniu systemów SIS zgodnie z wymaganiami...

  • Tool support for ECSDM fault tree methodology

    Publikacja

    - Rok 2005

    Extended Common Safety Description Model (ECSDM) jest językiem do formalnej specyfikacji systemów związanych z bezpieczeństwem oraz ich komponentów. Język ten zawiera konstrukcje umożliwiające specyfikację zależności czasowych. Może on zostać użyty w analizie drzew błędów, aby uzyskać jednoznaczną specyfikację hazardów w sytuacji, gdy są one uzależnione od związków czasowych pomiędzy przyczynami. Artykuł opisuje narzędzie wytworzone...

  • Grzegorz Gołaszewski dr inż.

    Grzegorz Gołaszewski, wykładowca na wydziale Elektroniki, Telekomunikacji i Informatyki Politechniki Gdańskiej, informatyk, specjalizujący się w Inżynierii Oprogramowania.Ukończył Wydział ETI PG w roku 2004 ze specjalnością Inżynieria Systemów i Bazy Danych. Pozostał związany z wydziałem po ukończeniu studiów. Uczestniczył w projektach badawczych PIPS oraz ANGEL. W 2017 roku uzyskał stopień doktora w dziedzinie nauk technicznych....