Results 31 to 40 of about 285,209 (280)
The time it takes: Temporalities of planning [PDF]
, 2014 State planning has been a defining means for modern subjects to regulate the passage of time. In practice, it is the focus of multiple conflicts and doubts, which planners attempt to mediate.
Abram, S
core +1 more source
Applied Sciences, 2022 The identification of the position of rail vehicles plays a crucial role in the control of rail traffic. Available, up-to-date information on the position of vehicles allows us to efficiently deal with selected traffic situations where the position of ...
Jan Fikejz, Antonín Kavička
doaj +1 more source
Development of Antifreezing High‐Efficiency Dust Suppressant for Railway Coal Transportation
Asia-Pacific Journal of Chemical Engineering, EarlyView.ABSTRACT In the process of railway coal transportation, a large amount of coal dust is dispersed, causing serious economic loss and environmental pollution. In order to improve the low‐temperature dust suppression performance, the present study has developed an antifreeze‐type, high‐efficiency railway coal transportation dust suppressant (hereinafter ...
Yuxing Huo +7 more
wiley +1 more source
Dynamic railway junction rescheduling using population based ant colony optimisation [PDF]
, 2014 The file attached to this record is the author's final peer reviewed version. The Publisher's final version can be found by following the DOI link.Efficient rescheduling after a perturbation is an important concern of the railway industry. Extreme delays
Eaton, Jayne, Yang, Shengxiang
core +1 more source
The Anatomical Record, EarlyView.Abstract Dicynodonts (Anomodontia: Dicynodontia) were one of the main groups of terrestrial tetrapods in Permian and Triassic faunas. In Brazil, the genus Dinodontosaurus is one of the most common tetrapod taxon in the Triassic Santa Maria Supersequence. This genus has a complex taxonomic history and is represented in the Triassic of both Argentina and
Julia Lara Rodrigues de Souza +5 more
wiley +1 more source
Automatic generation and verification of railway interlocking control tables using FSM and NuSMV [PDF]
Transport Problems, 2009 Due to their important role in providing safe conditions for train movements, railway interlocking systems are considered as safety critical systems.
Mohammad B. YAZDI, Ahmad MIRABADI
doaj
Model Checking Railway Interlocking Systems [PDF]
, 2001 For supporting the analysis of railway interlocking systems in the early stage of their design we propose the use of model checking. We investigate the use of the formal modelling language CSP and the corresponding model checker FDR.
Winter, Kirsten
core +1 more source
Advances in Triboelectric Nanogenerators With Rotating Structure
Carbon Energy, EarlyView.The rotating TENG has been widely studied for its superiorities of simple structure, high efficiency, and stable output. This review introduced the four different principles of rotating TENG and offered a thorough summary for performance and application research through three‐level classification. Importantly, the current existing problems, challenges,
Chuguo Zhang +4 more
wiley +1 more source
AIMS MathematicsRailway interlocking systems are essential safety components in rail transportation, designed to prevent train collisions. They regulate the transitions between sections of a railway station using rail traffic control elements. An interlocking system can
Antonio Hernando +3 more
doaj +1 more source
Techniques for modelling and verifying railway interlockings [PDF]
International Journal on Software Tools for Technology Transfer, 2014 We describe a novel framework for modelling railway interlockings which has been developed in conjunction with railway engineers. The modelling language used is CSP $$||$$ | | B. Beyond the modelling we present a variety of abstraction techniques which make the analysis of medium- to large-scale networks feasible.
James, P +5 more
openaire +3 more sources