Serwis Infona wykorzystuje pliki cookies (ciasteczka). Są to wartości tekstowe, zapamiętywane przez przeglądarkę na urządzeniu użytkownika. Nasz serwis ma dostęp do tych wartości oraz wykorzystuje je do zapamiętania danych dotyczących użytkownika, takich jak np. ustawienia (typu widok ekranu, wybór języka interfejsu), zapamiętanie zalogowania. Korzystanie z serwisu Infona oznacza zgodę na zapis informacji i ich wykorzystanie dla celów korzytania z serwisu. Więcej informacji można znaleźć w Polityce prywatności oraz Regulaminie serwisu. Zamknięcie tego okienka potwierdza zapoznanie się z informacją o plikach cookies, akceptację polityki prywatności i regulaminu oraz sposobu wykorzystywania plików cookies w serwisie. Możesz zmienić ustawienia obsługi cookies w swojej przeglądarce.
This paper focuses on optimizing the robustness of a timetable with multiple train lines of different frequencies, where overtakings are also taken into account. An optimization model is considered of a cyclic railway timetable problem where dwell times and running times are variable and overtaking is allowed for relevant stations and each line. Based on the Periodic Event Scheduling Problem, train...
Beijing Metro plans to open an Automated Urban Guided Transport (AUGT) Line at the end of 2017. The line will follow GOA4 requirements according to IEC62290-2014 and IEC62267-2009. The main difference between the AUGT line and existing line is no driver or attended people on the train. The system will realize the following functions: Ensure safety movement, Driving Supervising guideway, supervising...
Formal methods are mathematics-based techniques, often supported by reasoning tools, that can offer a rigorous and effective way to model, design and analyse computer systems. Up to now formal methods in railway systems have mostly been used for interlocking applications. We are interested in studying and describing some possible formal methods applications in CBTC (Communications-Based Train Control)...
The next few years will see distributed real-time computer systems playing an important role in control systems of high-dependability applications, such as rail transportation. In these applications a failure in the temporal domain can be as critical as a failure in the value domain. In rail transportation, train control system has become more complex and the methods to ensure its correctness of have...
The safety of control systems are becoming increasingly important as computers pervade them on which human life depends. In rail transportation fields, this has become more complex and the methods to ensure the correctness of train control system have been slow in development. The failure to meet time deadline can have serious or even fatal consequences. This paper presents a new method for performing...
The Chinese rail transportation system has been going through a period of rapid improvement and innovation. Despite this rapid development, the railroad lines are far from meeting the country's expanding travel and freight transportation needs. According to some recent estimates, the current systems meet only 35 percent of the freight orders on a typical day. The shortfall has significant negative...
Podaj zakres dat dla filtrowania wyświetlonych wyników. Możesz podać datę początkową, końcową lub obie daty. Daty możesz wpisać ręcznie lub wybrać za pomocą kalendarza.