Wyszukiwarka
Filtry
wszystkich: 1875
wybranych: 1417
-
Katalog
- Publikacje 1417 wyników po odfiltrowaniu
- Czasopisma 24 wyników po odfiltrowaniu
- Wydawnictwa 3 wyników po odfiltrowaniu
- Osoby 104 wyników po odfiltrowaniu
- Wynalazki 12 wyników po odfiltrowaniu
- Projekty 29 wyników po odfiltrowaniu
- Laboratoria 4 wyników po odfiltrowaniu
- Zespoły Badawcze 11 wyników po odfiltrowaniu
- Aparatura Badawcza 1 wyników po odfiltrowaniu
- Kursy Online 254 wyników po odfiltrowaniu
- Wydarzenia 15 wyników po odfiltrowaniu
- Oferty 1 wyników po odfiltrowaniu
Filtry wybranego katalogu
wyświetlamy 1000 najlepszych wyników Pomoc
Wyniki wyszukiwania dla: bezpieczenstwo elektrowni
-
Truss models of RC corbels verified by experimental tests
PublikacjaW pracy przedstawiono wybrane modele kartownicowe krótkich wsporników żelbetowych oraz obliczone na podstawie tych modeli nośności graniczne wsporników na tle wyników uzyskanych w badaniach eksperymentalnych. Przedstawiono także weryfikację metody ścinania-tarcia wg wytycznych normy amerykańskiej. Dokonano obliczeń częściowych współczynników bezpieczeństwa, uwzględniających niepewność rozważanych modeli. Stwierdzono, ze modele...
-
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...
-
A Virtualization-Level Future Internet Defense-in-Depth Architecture
PublikacjaProjekt Inżynieria Internetu Przyszłości obecnie realizowany w Polsce definiuje trzy równoległw Internety w ramach Systemu IIP. System ma architekturę 4-poziomową,, której częścią składową jest architektura bezpieczeństwa na poziomie 2. Pokazano, w jaki sposób kombinacja mechanizmów ''twardego'' i ''miękkiego'' bezpieczeństwa pozwala wytworzyć metryki zaufania poszczególnych węzłów, co prowadzi do eliminacji węzłów zachowujących...
-
Safety assessment of ships in damaged conditions by the risk-based method. Assessment of damaged ship performance using the CFD modeling
PublikacjaW pracy przedstawiono aktualny stan badań w zakresie oceny bezpieczeństwa statków w stanie uszkodzonym. Przedstawiono wybrane elementy metody oceny bezpieczeństwa statków w stanie uszkodzonym opartej na analizie ryzyka. Przedstawiono istotę oceny zachowania się statku w stanie uszkodzonym i oceny ryzyka w proponowanej metodzie. Przedstawiono elementy modelowania zachowania się statku w stanie uszkodzonym przy użyciu metody numerycznej...
-
Zasady organizacji działań na rzecz ochrony pieszych
PublikacjaZakres działań na rzecz ochrony pieszych. Instrumenty organizacji działań. Proces wdrażania środków bezpieczeństwa pieszych. Kompleksowe podejście do stosowania drogowych środków ochrony pieszych.
-
Dmuchając na bardzo zimny gaz
PublikacjaZ punktu widzenia energetycznego bezpieczeństwa kraju, podstawową rolę odgrywają źródła surowca. Jednak, niezależnie od położenia terminalu eksportującego, wszystkie trasy wiodą przez Cieśniny Duńskie.
-
Zagrożenia w ruchu drogowym na sieci dróg powiatów ziemskich.
PublikacjaZróżnicowanie stanu bezpieczeństwa na drogach w powiatach.Charakterystyka zagrożeń na drogach powiatów ziemskich.Identyfikacja problemów i grup ryzyka.Klasyfikacja powiatów ziemskich ze względu na stan brd.
-
The effect of Fe and Ru substitution on the superconductivity in MgCNi_3
PublikacjaDyskutowany jest efekt częściowego podstawienia żelazem (3d) i rutenem (4d) w miejsce niklu w intermetalicznym nadprzewodniku MgCNi3. Temperatura krytyczna w obu przypadkach obniża się monotonicznie wraz ze wzrostem koncentracji domieszki. Jednakże bardziej gwałtowny zanik T_c w przypadku MgCNi_(3-x)Fe_x sugeruje, że elektrony 3d żelaza rozrywają nadprzewodzące pary Coopera.
-
ZEUS - project of integrated transport safety system in Poland
PublikacjaPolska, podobnie jak inne kraje UE, doświadcza znaczących dysproporcji pomiędzy liczbą wypadków w transporcie drogowym i pozostałych jego rodzajach. Każda z gałęzi posiada różny system zarządzania bezpieczeństwem , bazy danych, zarządców infrastruktury itp. Chociaż systemy poszczególnych rodzajów transportu tak się różnią, poprawę ich bezpieczeństwa można osiągnąć poprzez integrację i wzajemne korzystanie z dobrych - krajowych...
-
METODA ANALIZY NIEZAWODNOŚCI CZŁOWIEKA SPAR-H W APLIKACJI ProSIL-EAL
PublikacjaW referacie przedstawiono zagadnienie wyznaczania prawdopodobieństwa błędu człowieka HEP za pomocą metody SPAR-H w oprogramowaniu ProSIL-EAL. Oprogramowanie wspomaga proces zarządzania bezpieczeństwem funkcjonalnym w cyklu życia systemów technicznych. Prawdopodobieństwo błędu człowieka jest zagadnieniem związanym z etapem weryfikacji określonych poziomów nienaruszalności bezpieczeństwa SIL dla funkcji bezpieczeństwa. ProSIL-EAL...
-
Stateczność samopodnoszących pełnomorskich platform wiertniczych w fazie eksploatacji
PublikacjaWspółczynnik bezpieczeństwa platformy Petrobaltic na moment obrotowy (stateczność ogólna) oszacowany przy założeniu, że konstrukcja jest traktowana jako układ słupów połączonych sztywnym pokładem, z korekcją efektów drugiego rzędu. Przemieszczenie poziome pokładu platformy wyznaczone, stosując odpowiedni model MES. Siła krytyczna nogi obliczona przy założeniu jej utwierdzenia w dnie morza. Wpływ odchyłki od idealnej geometrii rur...
-
Designing control and protection systems with regard to functional safety aspects.
PublikacjaZaproponowano zintegrowane podejście w ocenie bezpieczeństwa funkcjonalnego systemów E/E/PE. Niepewność probabilistycznych miar ryzyka dla elektrycznych, elektronicznych i programowalnych elektronicznych systemów jest reprezentowana za pomocą przedziałów, które są porównywane z przedziałowymi kryteriami probabilistycznymi zdefiniowanymi dla tych systemów przez normę IEC 61508, w postaci czterech poziomów nienaruszalności bezpieczeństwa...
-
Some milestones on the way to a reconfigurable automotive instrument cluster
PublikacjaRekonfigurowalne instrumenty (RIC) tworzące centrum informacyjne w samocho-dzie, realizowane są w technice barwnych ciekłokrystalicznych matryc aktyw-nych (AM LCD). Lokalne sterowanie dedykowanym układem mikroprocesorowym za-pewnia bardzo efektywną i elastyczną, z wagi na możliwości adaptacyjne, al-ternatywę dla klasycznych elektromechanicznych zespołów przyrządów wskaźni-ków samochodowych. RIC umożliwiają zwiększenie pasywnego...
-
Ekspertyza połączeń lutowanych rur miedzianych
PublikacjaCelem pracy było ustalenie rodzaju lutu zastosowanego do spajania rur miedzianych o średnicy 20 mm, ustalenie technologii lutowania oraz wydanie opinii czy połączenia lutowane gwarantują bezpieczeństwo podczas użytkowania rurociągu w wewnętrznej instalacji gazowej w budownictwie mieszkaniowym
-
Wpływ farm wiatrowych na pracę systemu elektroenergetycznego.
PublikacjaW referacie omówiono wpływ farm wiatrowych na pracę systemu przesyłowego. Analizowano wpływ zmienności generacji mocy czynnej przez farmy wiatrowe na zmiany częstotliwości, poziomów napięć i rozpływu mocy biernej, warunki zwarciowe oraz bezpieczeństwo i stabilność systemu elektroenergetycznego.
-
High-electric-field quantum yield roll-off in efficient europium chelates-based light-emitting diodes
PublikacjaSkonstruowano dwuwarstwowe organiczne diody EL, w których warstwa transportująca dziury była domieszkowana organicznymi kompleksami europu. Maksymalna kwantowa wydajność świecenia takich diod osiągała w polu elektrycznym 1MV/cm wartość 5% foton/elektron. Wysokopolowy spadek kwantowej wydajności świecenia zinterpretowano na gruncie modelu Onsagera dysocjacji stanów emitujących.
-
ZARZĄDZANIE BEZPIECZEŃSTWEM ŻEGLUGI
PublikacjaMonografia przedstawia koncepcję wytycznych zarządzania ryzykiem morskim może być traktowana jako zalecenia do wspomagania decyzji z uwzględnieniem ryzyka w wybranych dziedzinach bezpieczeństwa transportu śródlądowego
-
O uszkodzeniach elementów żelbetowych realizowanego budynku mieszkalnego
PublikacjaW artykule opisano przyczyny uszkodzeń ław i stóp fundamentowych oraz ścian i słupów zlokalizowanych w poziomie kondygnacji podziemnej w realizowanym wielorodzinnym budynku mieszkalnym. oceniono wpływ tych uszkodzeń na bezpieczeństwo konstrukcji oraz użytkowania obiektu, zaproponoano sposób ich naprawy.
-
Elastic protection coasting for ship tanks to increase environment protection level
PublikacjaW opracowaniu przedstawiono ideę nowego rozwiązania dla podniesienia bezpieczeństwa zbiorników paliwowych statków, polegającą na wprowadzeniu do zbiornika drugiej - elastycznej bariery ochronnej opartej na warstwie wypełniacza.
-
Entagled-state cryptographic protocol that remains secure even if nonlocal hidden variables exist and can be measured with arbitrary precision
PublikacjaStandardowe protokoły kryptografii kwantowej nie są bezpieczne jeśli zakłada się, że nielokalne ukryte zmienne istnieją i mogą być zmierzone z dowolną dokładnością. Bezpieczeństwo można odzyskać jeśli jedna z komunikujących się części przypadkowo przełącza się między dwoma standardowymi protokołami.
-
Śródlądowe budowle wodne -aspekty geotechniczne
PublikacjaW niniejszej pracy przedstawiono ogólne zasady programowanie badań geotechnicznych przyjęcia parametrów obliczeniowych, wymagań odnośnie mozliwych stanów granicznych oraz obciążenia działające na budowlę wodną wraz z analizą współczynników bezpieczeństwa stosowanych w budownictwie wodnym. W kolejnych rozdziałach omówiono metody badania bezpieczeństwa oraz weryfikacji stateczności ziemnych budowli wodnych, w tym stany graniczne...
-
Automatyczna weryfikacja klienta bankowego w oparciu o multimodalne technologie biometryczne
PublikacjaW 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...
-
Functional safety and security management in critical systems
PublikacjaGłównym celem referatu jest przedstawienie wybranych kwestii zarządzania bezpieczeństwem i ochroną w systemach podwyższonego ryzyka i systemach krytycznych. Zarysowuje się kilka praktycznych problemów analizy bezpieczeństwa funkcjonalnego w celu podejmowania decyzji zgodnie z normami międzynarodowymi IEC 61508 i IEC 61511. Podkreśla się, że aspekty związane z ochroną powinny być starannie rozpatrzone zarówno w fazie projektowania,...
-
Magetic field effects on organic electrophosphorescence.
PublikacjaPo raz pierwszy zarejestrowano kilkuprocentowy wzrost kwantowej wydajności elektroluminescencji (EL) w diodach z emiterami fosforescencyjnymi Ir(ppy)3 i PtOEP umieszczonymi w zewnętrznym polu magnetycznym. Zaobserwowane zmiany wyjaśniono na podstawie magnetycznej modulacji oddziaływań nadsubtelnych powodujących wzajemną konwersję singletowych i trypletowych skorelowanych par elektron-dziura (e-h).
-
Swobodny przepływ pracowników w UE
PublikacjaW rozdziale zaanalizowano zagadnienia związane z prawem swobodnego przepływu osób w UE i związanego z nim swobodnego wyboru miejsca pracy. Poruszono także problem bezpieczeństwa obywateli UE.
-
Dyrektywy WE - nowe elementy w praktyce inżynierskiej
PublikacjaPrzedstawiono Nowe Podejście oraz Globalne podejście Unii Europejskiej do bezpieczeństwa budowy i eksploatacji maszyn. Sposób edycji Deklaracji zgodności z dyrektywami oraz zagadnienie odpowiedzialności przedstawiono na przykładach.
-
METODY OGRZEWANIA ROZJAZDÓW KOLEJOWYCH
PublikacjaRozjazdy kolejowe są elementem dróg kolejowych o krytycznym znaczeniu dla zachowania bezpieczeństwa ruchu pojazdów szynowych w warunkach zimowych. W pracy przedstawiono współczesne metody ogrzewania rozjadów kolejowych.
-
Opinia naukowo-techniczna Analiza posadowienia obiektu MA‐09 w związku ze zmianą fundamentowania z pali wielkośrednicowych na pale prefabrykowane
PublikacjaPrzeanalizowano projekt zamienny posadowienia na palach prefabrykowanych obiektu mostowego MA-09 przez Wisłę wzdłuż drogi S7 w Kiezmarku. Na podstawie przeprowadzonych analiz stwierdzono, że zaproponowane zamienne rozwiązanie posadowienia podpór mostu jest możliwe do zastosowania i zapewni bezpieczeństwo posadowienia obiektu.
-
Achieving High Dependability of an Endoscopy Recommender System (ERS).
PublikacjaZaprezentowano strategię zwiększenia wiarygodności komputerowego systemu zorientowanego na wspomaganie badań endoskopowych. zasygnalizowano podstawowe funkcje systemu (ERS) oraz podano mechanizmy rekonfiguracji sprzętowej (nadmiarowość komputerów) oraz bazodanowej (nadmierność dokumentów badań). Zbadano wpływ tych mechanizmów na wydajność, wiarygodność oraz bezpieczeństwo tego systemu.
-
A modified static equivalency method for roll-on/roll-off vessels
PublikacjaPrzedstawiono zmodyfikowaną metodę statycznej równoważności dla statków ro-ro, opartą na wypiętrzaniu się wody na pokładzie samochodowym w wypadku wystąpienia otworu w burcie, do oceny bezpieczeństwa statku.
-
Radiowy system monitorowania i akwizycji danych z urządzeń fotoradarowych - architektura i założenia funkcjonalne systemu
PublikacjaW pracy przedstawiono architekturę oraz podstawowe założenia funkcjonalne Radiowego Systemu Monitorowania i Akwizycji Danych z Urządzeń Fotoradarowych (w skrócie: RSMAD). Omówiono także najważniejsze aspekty bezpieczeństwa systemu RSMAD.
-
System opieki społecznej
PublikacjaKsiążka jest obszerną monografią o bezpieczeństwie transportu powstałą w ramach projektu badawczego pt. ''Zintegrowany system bezpieczeństwa transportu'', zamówionego przez Ministra Nauki i Szkolnictwa Wyższego w 2007 roku.
-
Magnetic hyperfine modulation of charge photogeneration in solid films of Alq3.
PublikacjaZewnętrzne pole magnetyczne (B=100mT) zwiększa fotoprzewodnictwo w hydro-sychinolinowym kompleksie aluminium (Alq3) o 6%. W silniejszych polach magnetycznych (B>100mT) wielkość efektu osiąga stałą wartość. Zaobserwowane wyniki doświadczalne wyjaśniono biorąc pod uwagę magnetyczno-polową modulację oddziaływań nadsubtelnych singletowych i trypletowych par elektron-dziurawy tworzonych w procesie fotogeneracji ładunku.
-
Wpływ eksploatacji opon na środowisko
PublikacjaPrzedstawiono wpływ eksploatacji opon na środowisko uwzględniając takie aspekty jak: hałas opon, opór toczenia oraz przyczepność. Zaprezentowano zasady oznaczania opon za pomocą specjalnych etykiet, na podstawie których można ocenić wybrane parametry opon w kontekście wpływu na środowisko i bezpieczeństwo eksploatacji pojazdu.
-
Nowoczesne mechanizmy ochrony integralności systemów plików
PublikacjaJednym z najważniejszych zagadnień współczesnej informatyki jest zapewnianie bezpieczeństwa systemów komputerowych. Realne straty finansowe, które wynikają z ataków na systemy komputerowe z roku na rok są coraz większe. W artykule przedstawiono, opracowany przez autorów, innowacyjny system ochrony integralności plików o nazwie ICAR. System pozwala na wykrywanie zmian w plikach, a także, w odróżnieniu od dotychczas dostępnych systemów,...
-
Analiza niezawodności człowieka z uwzględnieniem aspektów zarządzania alarmami
PublikacjaW artykule przedstawiono zagadnienie analizy warstwowego systemu zabezpieczeń z uwzględnieniem błędu człowieka-operatora. W analizie bezpieczeństwa funkcjonalnego systemów sterowania i zabezpieczeń istotną kwestią jest dokonanie redukcji ryzyka poprzez warstwy zabezpieczeniowo ochronne. W referacie przeanalizowano system składający się z trzech warstw: podstawowego systemu sterowania BPCS, systemu alarmowego AS oraz systemu automatyki...
-
Ocena ryzyka na sieci dróg krajowych w Polsce - program EURORAP
PublikacjaEuropejski Atlas BRD jest narzędziem ułatwiającym: klasyfikację dróg z uwzględnieniem ryzyka, porównanie stopnia ryzyka na sieci dróg poszczególnych krajów, województw, wybór działań poprawiających stan bezpieczeństwa ruchu na drogach, szerokie komunikowanie o ryzyku na drogach za pomocą map, stron internetowych itp.Zaprezentowane wyniki oceny ryzyka na drogach krajowych są przydatne: kierowcom planującym bezpieczna podróż po kraju,...
-
Symulacje numeryczne jako wsparcie badania właściwości barier ochronnych
PublikacjaArtykuł przedstawia możliwości wykorzystania symulacji numerycznych do badań efektywności urządzeń bezpieczeństwa ruchu drogowego w aspekcie sposobów ich konfgurowania. Obecnie w celu dopuszczenia do stosowania bariery ochronne muszą przejść specjalistyczne testy zderzeniowe. Ze względu na wysoki koszt tych badań coraz częściej producenci barier oraz inne podmioty odpowiadające za urządzenia bezpieczeństwa ruchu drogowego (brd)...
-
System zarządzania bezpieczeństwem dróg kolejowych
PublikacjaW referacie przedstawiono model systemu zarządzania bezpieczeństwem infrastruktury transportowej na przykładzie dróg kolejowych. Przedstawiono podstawowe dokumenty, a problem bezpieczeństwa omówiony został na etapie projektowania, budowy i utrzymania dróg kolejowych.
-
PRZESTĘPCZOŚĆ PRZEMYTNICZA OBYWATELI PAŃSTW PARTNERSTWA WSCHODNIEGO W POLSCE UJAWNIONA PRZEZ STRAŻ GRANICZNĄ W LATACH 2009-2014
PublikacjaArtykuł ukazuje zmiany zachodzące w działalnosci przemytniczej obywateli państw Partnerstwa Wschodniego i ich kluczowe determinanty jako zagrożenia dla bezpieczeństwa Polski. Badania zostały zawężone do efektów działań Straży Granicznej.
-
Zagrożenia terrorystyczne związane z systemami zaopatrzenia w wodę
PublikacjaProblemy bezpieczeństwa obiektów w warunkach zagrożeń terrorystycznych. Dotychczasowe doświadczenia. Identyfikacja słabych stron. Problem ochrony przed zagrożeniem bezpośrednim. Nadwrażliwość na awarie zasilenia energetycznego. Potrzeby regulacji prawnych narzucających określone działania.
-
A decade of Poland`s integrated Road Safety Programme - economic develop-ment vs. road unsafety. W: [CD-ROM]. Conference proceedings. SORIC´02. 2nd Safety on Road Internationaload International Conference. Kingdom of Bah- rain, 21-23 October 2002. Bahrain: CTRS Univ. Bahrain**2002 [8 s. 5 rys. bibliogr. 5 poz. 10 lat Krajowego Programu Bezpieczeństwa Ruchu Drogowego w Polsce - rozwój ekonomiczny a niebezpieczeństwo ruchu.
PublikacjaReferat zawiera analizę doświadczeń z dziesięciu lat pracy oraz wdrożeń Kra-jowego Programu Bezpieczeństwa Ruchu Drogowego GAMBIT. Przedstawia również analizę przyczyn gwałtownego spadku liczby- śmiertelnych ofiar wypadków dro-gowych w Polsce w roku 2001.
-
PUBLICZNE ŚRODKI TRANSPORTOWE A SAMOCHÓD ELEKTRYCZNY W OBSŁUDZE PODRÓŻY MIEJSKICH W METROPOLII TRÓJMIEJSKIEJ
PublikacjaMetropolia trójmiejska ma wyjątkowo negatywne uwarunkowania terenowe dla funkcjonowania i rozwoju sieci komunikacji publicWyznej. Dzielnice położone w tzw. dolnym tarasie są dobrze skomunikowane za pomocą linii SKM i tramwajowych. Jedynie te środki komunikacji szynowej, przy częstotliwości połączeń nie większej niż co 10 minut, są konkurencyjne dla indywidualnych dojazdów samochodami osobowymi. Natomiast autobusy i trolejbusy utykające...
-
On UMTS security.
PublikacjaW artykule zaprezentowano przegląd hipotetycznych ataków na sieci i systemy telekomunikacji ruchomej, w tym systemy UMTS. Uwzględniono: podsłuch, nieautoryzowany dostęp, celowe zakłócanie oraz ataki typu DoS. Zaprezentowano mechanizmy podnoszące bezpieczeństwo pracy UMTS, w szczególności wprowadzające identyfikację i ''rozwinięte'' uwierzytelnianie a także kompleksową autoryzację dostępu.
-
Wymagania dotyczące ochrony przeciwporażeniowej w instalacjach ładowania pojazdów elektrycznych
PublikacjaRozdział przedstawia problematykę bezpieczeństwa elektrycznego w instalacjach ładowania pojazdów elektrycznych. Podano wymagania najważniejszych krajowych aktów prawnych oraz najnowszych norm międzynarodowych. Omówiono środki ochrony przeciwporażeniowej oraz zasady sprawdzania takich instalacji.
-
Zasady wykonania konstrukcji stalowych
PublikacjaOmówione zostały wymagania odnośnie wykonania stalowych konstrukcji budowlanych w aspekcjie ich bezpieczeństwa, jakości oraz kontroli. Wskazano na wymagania nowych norm odnośnie procesu zarządzania zakładową kontrolą produkcji i jej certyfikacji.
-
Highway engineering risk assessment
PublikacjaNa drogach krajowych w Polsce rocznie ginie ponad 2000 osób w wypadkach drogowych, co stanowi ponad 37% ogółu ofiar śmiertelnych w wypadkach. Do poprawy stanu bezpieczeństwa na tych drogach muszą byc podjęte działania zmierzające do systematycznego dostosowania poszcz. odcinków dróg do standardów bezpieczeństwa. Jednym z narzędzi pomocnych do wyboru odcinków dróg o największym potencjale mozliwych do uratowania od śmierci uczestników...
-
Koncepcja metody zagrożeń w ruchu drogowym
PublikacjaSieć drogowa w Polsce, pomimo przekształceń, ciągle jeszcze w wielu przypadkach nie odpowiada standardom bezpieczeństwa, jednocześnie brak tych standardów rzadko jest podawany, jako przyczyna wypadków drogowych. Brak standardów bezpieczeństwa wiąże się z występowaniem mankamentów na sieci dróg, które bezpośrednio zagrażają uczestnikom ruchu drogowego lub sprzyjają popełnianym przez tych uczestników błędom. Konieczne jest zatem...
-
A model-based approach to analysis of security protocols - a case study
PublikacjaArtykuł przedstawia zintegrowane środowisko analizy protokołów bezpieczeństwa. Środowisko zostało oparte o znaną metodę formalną CSP oraz wspierające ją narzędzia: Casper oraz FDR. Integralną częścią opisywanego środowiska jest pół-formalne zorientowane obiektowo podejście do modelowania protokołów kryptograficznych, ich kontekstu aplikacyjnego oraz wymagań bezpieczeństwa. Modelowanie obiektowe zostało oparte o język UML oraz...
-
Analiza zagrożeń na jednorodnych odcinkach dróg
PublikacjaPrzedstawiono założenia do oceny zagrożeń w ruchu drogowym z wykorzystaniem inspekcji bezpieczeństwa ruchu drogowego. Opisano modele wpływu wybranych czynników na gęstość ofiar śmiertelnych i liczbę ofiar śmiertelnych na drogach krajowych