Temat: model bezpieczeństwa - Katalog OPAC zbiorów

Skocz do pozycji: 1.

Tytuł:: Safety management of complex airborne and seaborne technical objects
Zarządzanie bezpieczeństwem złożonych obiektów technicznych powietrznych i morskich
Autorzy:: Gerigk, M.
Skorupski, J.
Powiązania:: https://bibliotekanauki.pl/articles/224158.pdf
Data publikacji:: 2012
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: bezpieczeństwo
system bezpieczeństwa
transport lotniczy
transport morski
ocena bezpieczeństwa
ocena ryzyka
model ryzyka
safety management
safety system
seaborne transportation
risk assessment
Opis:: The paper presents some information on a concept of the safety management method of the complex airborne and seaborne technical objects. First of all the differences in safety management in both the seaborne transportation and airborne transportation are introduced. Then the safety system which may be applied for the complex technical objects is described. Next the method for safety assessment of the complex technical airborne and seaborne objects based on the risk assessment is presented. Then the chosen elements of the risk model are described. In the final part of paper the proposed method of safety management of the complex technical objects devoted to the seaborne and airborne applications is introduced. Finally the conclusions are given.
W artykule przedstawiono wybrane informacje na temat koncepcji metody zarządzania bezpieczeństwem złożonych obiektów technicznych powietrznych i morskich. W pierwszej części artykułu omówiono różnice dotyczące zarządzania bezpieczeństwem w transporcie lotniczym i morskim. Następnie przedstawiono system bezpieczeństwa, który można zastosować w przypadku złożonych obiektów technicznych. Potem opisano metodę oceny bezpieczeństwa złożonych obiektów technicznych opartą na ocenie ryzyka. Z kolei opisano wybrane elementy proponowanego modelu ryzyka. W końcowej części artykułu przedstawiono proponowaną metodę zarządzania bezpieczeństwem złożonych obiektów technicznych, ukierunkowaną na zastosowania w transporcie lotniczym i morskim. Na zakończenie podano wnioski wynikające z dotychczasowych badań.
Źródło:: Archives of Transport; 2012, 24, 3; 285-296
0866-9546
2300-8830
Pojawia się w:: Archives of Transport
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Skocz do pozycji: 2.

Tytuł:: Quantitative safety analysis of train control system based on statistical model checking
Autorzy:: Lin, Junting
Min, Xiaoqin
Powiązania:: https://bibliotekanauki.pl/articles/2124711.pdf
Data publikacji:: 2022
Wydawca:: Polska Akademia Nauk. Czytelnia Czasopism PAN
Tematy:: train control systems
statistical model checking
safety analysis
hybrid automata
UPPAAL-SMC
system sterowania pociągiem
analiza bezpieczeństwa
automaty hybrydowe
Opis:: With the rapid development of communication technology, the Train-centric Communication-based Train Control (TcCBTC) system adopting the train-train communication mode to reduce the transmission link of control information, will become the direction of urban rail transit field development. At present, TcCBTC system is in the stage of key technology research and prototype development. Uncertain behavior in the process of system operation may lead to operation accidents. Therefore, before the system is put into use, it must undergo strict testing and security verification to ensure the safe and efficient operation of the system. In the paper, the formal modeling and quantitative analysis of train tracking operation under moving block are carried out. Firstly, the structure of TcCBTC system and the train tracking interval control strategy under moving block conditions are analyzed. The subsystem involved in train tracking and the uncertain factors in system operation are determined. Then, based on the Stochastic Hybrid Automata (SHA), a network of SHA model of train dynamics model, communication components and on-board controller in the process of train tracking is established, which can formally describe the uncertain environment in the process of system operation. UPPAAL-SMC is used to simulate the change curve of train position and speed during tracking, it is verified that the model meets the safety requirements in static environment. Finally, taking Statistical Model Checking (SMC) as the basis of safety analysis, the probability of train collision in uncertain environment is calculated. The results show that after accurately modeling the train tracking operation control mechanism through network of SHA, the SMC method can accurately calculate the probability of train rearend collision, which proves that the method has strong feasibility and effectiveness. Formal modeling and analysis of safety-critical system is very important, which enables designers to grasp the hidden dangers of the system in the design stage and safety evaluation stage of train control system, and further provides theoretical reference for the subsequent TcCBTC system design and development, practical application and related specification improvement.
Źródło:: Archives of Transport; 2022, 61, 1; 7--19
0866-9546
2300-8830
Pojawia się w:: Archives of Transport
Dostawca treści:: Biblioteka Nauki

Artykuł

Zmień widok

na półce

Informacja

Wyszukujesz frazę "model bezpieczeństwa" wg kryterium: Temat

Źródło danych

Dostawca treści

Kolekcja

Rok wydania

Wydawca

Temat

Autor

Typ dokumentu

Język