Results 21 to 30 of about 15,562 (227)
Study on Railway Signal Computer Interlocking System [PDF]
Advances in Intelligent Systems Research, 2015 This paper mainly discussed the railway signal computer interlocking system, including the basis of computer interlocking system, computer interlocking principle, fault of computer interlocking system maintenance. The study is focused on the working principle of the computer interlocking, including its hardware structure, working principle and the ...
openaire +1 more source
Real-Time Control System for Model Railway Based on SIMIS W Interlocking System
Applied SciencesModern railway signalling systems are critical for ensuring the safe and efficient operation of railway networks. Educational institutions play a vital role in training students to design and implement these systems, replicating practical scenarios to ...
Dávid Macko +3 more
doaj +1 more source
Formal Verification of a Railway Interlocking System using Model Checking [PDF]
Formal Aspects of Computing, 1998 Abstract. In this paper we describe an industrial application of formal methods. We have used model checking techniques to model and formally verify a rather complex software, i.e. part of the “safety logic” of a railway interlocking system.
A. Cimatti +5 more
openaire +2 more sources
A fast and general algebraic approach to Railway Interlocking System across all train stations
AIMS MathematicsRailway interlocking systems are crucial safety components in rail transportation, designed to prevent train collisions by regulating switch positions and signal indications.
Antonio Hernando +2 more
doaj +1 more source
Optimizing Railway Energy Consumption with Multiple-phase Optimal Control Method [PDF]
International Journal of Railway Research, 2023 In many countries, railways, including intercity, urban railway (metro), tram, monorail, and other lines, have played a vital role in passenger and freight transportation in the past. The problem of optimizing energy and reducing air pollution has always
Fateme Bakhshi +2 more
doaj
Simulation of Railway Lines with a Simplified Interlocking System
Sustainability, 2021 This paper deals with railway lines with low traffic intensity where trains are operated under simplified conditions. Those conditions are stated in a regulation, and there is no interlocking system on the line. The whole railway operation is organized according to a regulation in cooperation with the train crew.
Jaromír Široký +3 more
openaire +2 more sources
IEEE AccessInterlocking tests are an important part of ensuring the safe and secure operation of trains, and it is urgent for these tests to be more intelligent, automatic, and networked. The requirements for interlocking tests are particularly stringent during the
Rui Zhang
doaj +1 more source
Applied Bounded Model Checking for Interlocking System Designs [PDF]
, 2013 In this article the verification and validation of interlocking systems is investigated. Reviewing both geographical and route-related interlocking, the verification objectives can be structured from a perspective of computer science into (1 ...
Haxthausen, Anne Elisabeth +2 more
core +3 more sources
Experience using Coloured Petri Nets to Model Railway Interlocking Tables
, 2014 Interlocking tables are the functional specification defining the routes on which the passage of the train is allowed. Associated with the route, the states and actions of all related signalling equipment are also specified.
Vanit-Anunchai, Somsak
core +2 more sources
Advanced Science, EarlyView.Schematic showing a stretchable triboelectric nanogenerator based on interlocked wavy architectures that uses EGaIn microflower‐embedded PVDF‐TrFE and Nylon‐6 nanofiber membranes. The multi‐petaled, electron‐rich EGaIn microflowers enhance interfacial polarization and capacitance, while the interlocked wavy architecture enlarges the effective contact ...
Qianqian Xu +12 more
wiley +1 more source