Search
Filters
total: 45
filtered: 21
-
Catalog
Chosen catalog filters
Search results for: analiza bezpieczenstwa
-
Rola its w poprawie bezpieczenstwa transportu
PublicationInteligentne systemy transportowe znajdują zastosowanie we wszystkich środkach transportu jednak największy udział mają w poprawie bezpieczeństwa transportu drogowego. Około 95% śmiertelnych ofiar w transporcie powodują wypadki na drodze. Na podstawie danych o wpywie urządzeń ITS na spadek ryzyka w ruchu drogowym możemy stwierdzić że zastosowanie ITS może w dużym stopniu poprawić bezpieczeństwo całego systemu transportu.
-
The GAMBIT programme - experience and outlooks.
PublicationReferat jest podsumowaniem dziesięciu lat prac wdrożeniowych Krajowego Programu Bezpieczeństwa Ruchu Drogowego GAMBIT. Zawiera opis przedsięwzięć z zakresu poprawy bezpieczenstwa na drogach, począwszy od zmian legislacyjnych, po działania inżynierskie.
-
Safety enhancement using 3D multibeam sonar imaging in shallow waters areas
PublicationSonary wielowiazkowe wykorzystanee byc moga do poprawy bezpieczenstwa zeglugi na obszarach wod plytkich. Dzieki istotnej poprawie rozdzielczosci horyzontalnej i wertykalnej pomiarow zastosowane byc moga do obrazowania wod plytkich szczegolnie niebezpiecznych pod wzgledem nawigacyjnym.
-
Integracja Niskopoziomowego Podsystemu Bezpieczeństwa dla Systemu IIP
PublicationArtykuł omawia prace nad prototypowaniem i integracja podsystemu bezpieczenstwa Systemu IIP na poziomie wirtualizacji zasobów sieciowych. Przedstawiono jego zakres funkcjonalny, sposób funkcjonowania w sieci badawczej PL-LAB oraz realizacje scenariusza ochrony danych przesyłanych w Równoległym Internecie CAN.
-
A multi-level risk-based method for safety assessment of ships in critical conditions.
PublicationW pracy przedstawiono podstawowe informacje na temat badań dla bezpieczeństwa statków w warunkach krytycznych. Opisano nowoczesne podejście do oceny bezpieczeństwa statków. Przedstawiono podstawowe elementy metody oceny bezpieczenstwa statków w warunkach krytycznych oraz elementy modelu obliczeniowego. Przedstawiono także elementy metody bezpośredniej oceny stateczności i stateczności awaryjnej statków. Podano kilka przykładów...
-
A model for performance assessment of damaged ships when using the risk-based method
PublicationW pracy omówiono metody oceny bezpieczeństwa statków w stanie uszkodzonym w warunkach operacyjnych. Przedstawiono metodę oceny bezpieczeństwa statków w stanie uszkodzonym opartą na analizie ryzyka. Przedstawiono model oceny zachowania się statku w stanie uszkodzonym, który jest oparty na tak zwanym quasi-dynamicznym modelu zatapiania statku. Omówiono elementy związane z analizą ryzyka i ocena bezpieczenstwa statków.
-
System instytucjonalno-prawny
PublicationWraz ze wzrostem zapotrzebowania społeczeństwa na mobilność oraz oczekiwan wobec standardów przewozu osób i towarów przepisy prawne dotyczące transportu stają się coraz bardziej obszerną dziedziną prawa administracyjnego. Szacuje się że regulacje związane z samym tylko transportem drogowym stanowią nawet co piąty dokument wszystkich przepisów wspolnotowych. W rozdziale przedstawiono zakres kompetencji organów władzy państwowej...
-
Safety assurance strategies for autonomous vehicles
PublicationAssuring safety of autonomous vehicles requires that the vehicle control system can perceive the situation in the environment and react to actions of other entities. One approach to vehicle safety assurance is based on the assumption that hazardous sequences of events should be identified during hazard analysis and then some means of hazard avoidance and mitigation, like barriers, should be designed and implemented. Another approach...
-
Dynamic risk assessment in autonomous vehicles motion planning
PublicationArguing that an autonomous mobile system is sufficiently safe to operate in presence of other vehicles and objects is an important element in development of such systems. Traditional approach to assure safety is to distinguish between safe and unsafe area and prevent the autonomous vehicle from entering the unsafe area. The paper presents a model of autonomous vehicle control system which uses risk assessment...
-
Przykłady zastosowań
PublicationW rozdziale przedstawiono przykładowy sposób analizy funkcji systemów sterowania i zabezpieczeń w odniesieniu do turbozespołu o strukturze typu: kocioł-turbina-generator. Ryzyko związane z eksploatacją turbozespołu zależy od różnych czynników i rozwiązań technicznych, organizacyjnych oraz od zastosowanych podsystemów sterowania, zabezpieczeń oraz systemów E/E/PE związanych z bezpieczeństwem. Jednym z elementów takiego podsystemu...
-
Automatyzacja określania wymagań bezpieczeństwa na podstawie wyników analizy czasowej drzew błędów
PublicationW odpowiedzi na potrzebę wprowadzania formalnych narzędzi opisu do analizy bezpieczeństwa systemów zawierających komponenty programowalne powstała notacja ECSDM. Jej zaletą jest to iż umożliwia nie tylko definiowanie zależności czasowych obowiązujących w opisywanym systemie, ale również, przy zastosowaniu jej do drzew błędów, pozwala na prowadzenie wnioskowania odnośnie zależności czasowych pomiędzy zdarzeniami z minimalnych zbiorów...
-
Hazard prevention by forced time constraints
PublicationMinimalne Zbiory Przyczyn powstałe podczas analizy Drzew Błędów wskazują zdarzenia, które jeśli nastąpią razem, mogą doprowadzić do Hazardu. W niektórych zastosowaniach opis zdarzeń może zostać poszerzony o informację czasową, wtedy zdarzenia z MZP mogą doprowadzić do Hazardu tylko jeśli wystąpi pomiędzy nimi określona zależność czasowa. W tym artykule przedstawione zostało jak informacja czasowa może zostać wprowadzona do Drzew...
-
Alternatywna metoda oceny bezpieczeństwa statków w stanie uszkodzonym. Metody niepewności w analizie ryzyka
PublicationPrzedstawiono wybrane problemy związane z opracowaniem alternatywnej metody oceny bezpieczeństwa statków w stanie uszkodzonym. Opisano krótko problematykę związaną z bezpieczeństwem statków w stanie uszkodzonym. Omówiono aktualną metodę oceny bezpieczeństwa statków w stanie uszkodzonym. Opisano proponowaną metodę alternatywną. Opisano zagadnienia związane z analizą zagrożeń i oceną ryzyka wypadku. Podano wnioski.
-
A method for assessing hazards, risks and safety of damaged ships at sea
PublicationPrzedstawiono wybrane problemy związane z metodą oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka, w warunkach eksploatacyjnych. Omówiono zakres oceny bezpieczeństwa i analizy ryzyka w odniesieniu do zagadnienia zachowania się statku uszkodzonego na morzu. Analiza ryzyka oparta jest na zastosowaniu elementów Formalnej Oceny Bezpieczeństwa FSA. Opisano główne kroki analizy ryzyka. Podano podstawowe...
-
A performance-oriented risk-based method for assessment of safety of ships. Modelling uncertainties in hazard and risk analysis
PublicationW artykule podano informacje na temat alternatywnej metody oceny bezpieczeństwa statków, opartej na ocenie zachowania się statku i ocenie ryzyka. Zaproponowano użycie metody do projektowania statków w oparciu o ocenę ryzyka. W takim podejściu do projektowania bezpieczeństwo powinno być celem projektowym. Ocena bezpieczeństwa w proponowanej metodzie powinna być dokonywana na podstawie oceny ryzyka. Do oceny ryzyka zastosowano elementy...
-
Dobór algorytmu do przetwarzania zależności czasowych w drzewach błędów
PublicationAnalizę drzew błędów można wzbogacić o rozważenia dotyczące zależności czasowych. Na podstawie informacji o zależnościach przyczynowo-skutkowych oraz o zależnościach czasowych zawartych w drzewie błędów można określić wymagania czasowe wobec komponentów analizowanego systemu, które podniosą jego bezpieczeństwo. Analiza zależności czasowych została precyzyjnie zdefiniowana w zakresie warunków wejściowych i wyjściowych przyjętego...
-
Analiza bezpieczeństwa dla instalacji elektrycznej zasilającej Gdyńskie Centrum Innowacji
PublicationW ekspertyzie przedstawiono analizę stanu technicznego instalacji elektrycznych budynków Gdyńskiego Centrum Innowacji.
-
Methodology for incorporating the human and organizational factors inqualitative and quantative risk assessments
PublicationZaproponowano metodykę systematycznego uwzględniania czynników ludzkich i organizacyjnych w jakościowych i ilościowych modelach ryzyka stosując hierarchiczne diagramy wpływu (HID). Współczynniki wagowe i skalowe czynników wpływu w HID określone są odpowiednio na podstawie wiedzy ogólnej i audytu danego systemu. Metodykę zaimplementowano w programie komputerowym zaprojektowanym do obliczeń złożonych HID
-
Tool support for ECSDM fault tree methodology
PublicationExtended 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...
-
Wykorzystanie programu AutoFocus do analizy protokołów kryptograficznych
PublicationAutoFocus jest narzędziem wspomagającym wytwarzanie systemów wbudowanych charakteryzujących się wysoką niezawodnością. Artykuł prezentuje studium przypadku zastosowania narzędzia i związanej z nim metody formalnej Focus do analizy bezpieczeństwa (ang. security) protokołu tworzenia podpisu cyfrowego w środowisku rozproszonym. Zastosowana metoda formalna wykorzystana została jako ostatni etap zintegrowanej metody oceny protokołów...
-
Czasowe wymagania bezpieczeństwa wobec systemu monitoringu ruchu drogowego
PublicationAnaliza drzew błędów jest dedukcyjną metodą analizy pozwalającą ustalić przyczyny wybranego zdarzenia niepożądanego. Posługuje się w tym celu koncepcją przyczyn bezpośrednich i logiki boolowskiej, a pozwala ustalić przyczyny podstawowe analizowanego zdarzenia. Technika ta wykorzystuje jednak w swoich modelach notację nieformalną, co może powodować niejednoznaczności i ograniczyć wartość analizy, szczególnie, jeśli pracuje nad nią...