Results 171 to 180 of about 99,408 (239)

Towards Signalling Maintenance Scheduling for European Railway Traffic Management System [PDF]

, 2017
M. Pour, Shahrzad, Rasmussen, Kourosh Marjani   +1 more
core  

High-Speed Rail Projects in the United States: Identifying the Elements of Success Part 2 [PDF]

, 2007
deCerreno, Allison, Mathur, Shishir
core   +1 more source

Analysis of network patterns and its influencing factors in Chengdu-Chongqing urban agglomeration based on multi-flow. [PDF]

Heliyon
Wang X, Ding Z.
europepmc   +1 more source

Enhanced impact resistance of novel sustainable preplaced aggregate geopolymer concrete reinforced with steel mesh and 5D fibers. [PDF]

Sci Rep
Samadi M, Murali G, Wong LS, Kurpińska M, Abdelgader HS, Abdulkadir I, Lim NHAS, Avudaiappan S, Abdellatief M.   +8 more
europepmc   +1 more source

Advances in superhydrophobic material research: from preparation to electrified railway protection. [PDF]

RSC Adv
Bo W, Xueqin Z, Bingkun L, Yijie L, Chenguang Y, Yujun G, Song X, Wenfu W, Guoqiang G, Guangning W.   +9 more
europepmc   +1 more source

Dynamic properties and microstructural characteristics of cement-coal gangue powder modified silty sand under freeze-thaw cycles. [PDF]

Sci Rep
Wang C, Wang L, Zhang Y, Hu Z, Sun S, Liu R.   +5 more
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Modelling, Simulation and Code Generation for Electronic Railway Interlocking Systems

IEEE Latin America Transactions, 2021
Electronic railway interlockings are critical embedded systems which control the safe operation of train signals. Due to the broad variety of railway network topologies and the high functional safety level required, a flexible solution is needed, capable
R. Ghignone, Cristian Federico Falco, F. S. Larosa, Hernán Pablo Mendes Gouveia, L. Chang, M. N. Menéndez, Ariel Lutenberg   +6 more
semanticscholar   +3 more sources

A tool for automatic formal modeling of railway interlocking systems

IEEE EUROCON 2015 - International Conference on Computer as a Tool (EUROCON), 2015
This paper introduces a new software tool, which can be used for automatic generation of Timed Arc Petri Net (TAPN) models from the railway station topology for interlocking systems. The introduced software tool has two components, ‘Graphical User Interface’ to draw the station topology and ‘Application Software’ to generate TAPN models from the ...
Muhammed Ali Nur Oz, Ibrahim Sener, O. Kaymakci, I. Üstoglu, G. Cansever   +4 more
semanticscholar   +3 more sources

Safety Requirements Specification and Verification for Railway Interlocking Systems

2016 IEEE 40th Annual Computer Software and Applications Conference (COMPSAC), 2016
The integration of formal methods and requirements analysis increases the dependability of safety-critical systems. However it is still very difficult to obtain all of the safety requirements in practice, and formally construct the safety requirements model as well.
Li Han, Jing Liu, Tingliang Zhou, Junfeng Sun, Xiaohong Chen   +4 more
semanticscholar   +2 more sources

Deep Learning Based Online Diagnosis for Railway Interlocking System

2024 IEEE 27th International Conference on Intelligent Transportation Systems (ITSC)
Intelligent fault diagnosis based on operational data for railway interlocking systems is now an innovative approach to system maintenance. However, the main barriers to fault diagnosis are high-dimension and long-sequence features of the railway ...
Huan Zheng, Zhiguo Liang, Hongyang Zhang, Zhihua Qi, Haifeng Wang, Wei Zheng   +5 more
semanticscholar   +2 more sources