Results 21 to 30 of about 285,209 (280)
Algorithms, 2022 The author recently designed, developed and implemented in Maple a package based on the use of digraphs that analyses the connectivity of an overtaking station on a double-track line.
Eugenio Roanes-Lozano
doaj +1 more source
A Survey on Formal Specification and Verification of Smart Mass Transit Railway Interlocking System
International Journal of Safety and Security Engineering, 2021 Nowadays interest in Smart Mass Transit Rail has grown-up to a large extent in a metropolitan area as the need for urban mobility has increased steadily.
Lokanna Kadakolmath, Umesh D. Ramu
semanticscholar +1 more source
Validation process for railway interlocking systems
Science of Computer Programming, 2016 Abstract An interlocking system monitors the status of the objects in a railway yard, allowing or denying the movement of trains, in accordance with safety rules. The high number of complex interlocking rules that guarantee the safe movements of independent trains in a large station makes the verification of such systems a complex task, which needs ...
BONACCHI, ANDREA +3 more
openaire +1 more source
An Object Oriented Model of a Railway Safety-Related Control System
Communications, 2002 There is a variety of methods and formalisms usable for writing specifications of railway interlocking and signalling systems or their subsystems. To write a consistent technical specification means to make a model with a required level of precision ...
Karol Rastocny +2 more
doaj +1 more source
Dynamic Automated Search of Shunting Routes within Mesoscopic Rail-Traffic Simulators
Journal of Advanced Transportation, 2021 Software tools using computer simulations are frequently used in the research and optimization of railway transport systems. Such simulations serve to examine different railway traffic scenarios (which typically reflect different timetables and railway ...
Antonin Kavička, Pavel Krýže
doaj +1 more source
GTN - Information System Supporting the Dispatcher and Remote Tracks Control
Communications, 2010 When constructing new corridor tracks, but also when reconstructing the existing ones of all categories, new significant improvements and innovations occur in the contruction area. Consequently, the same phenomenon occurs in the newly installed securing,
Emil Krsak +2 more
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
Adsorption efficiency of banana blossom peels (musa acuminata colla) adsorbent for chromium (VI) removal [PDF]
, 2022 The discharge of waste from industries into water has caused heavy metal pollution posing health risk to biota such as lead and chromium (VI). Once the water has been polluted, it will limit the accessibility to clean freshwater.
A. Latif, A. F. +5 more
core +1 more source
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
Verification of Railway Interlocking - Compositional Approach with OCRA [PDF]
, 2016 In the railway domain, an electronic interlocking is a computerised system that controls the railway signalling components (e.g. switches or signals) in order to allow a safe operation of the train traffic. Interlockings are controlled by a software logic that relies on a generic software and a set of application data particular to the station under ...
Limbree, Christophe +3 more
openaire +2 more sources