Results 31 to 40 of about 15,562 (227)

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

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., Basri, H., Er, Y. C., Lee, T. C., Muhamad, M. S., Selimin, M. A.   +5 more
core   +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, Fan Gao, Liuhang Hao, Na Xu, Xin Li, Shujun Yan, Penglong Li, Hong Xu   +7 more
wiley   +1 more source

An interlocking system determining the configuration of rail traffic control elements to ensure safety

AIMS Mathematics
Railway 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, Gabriel Aguilera-Venegas , José Luis Galán-García, Sheida Nazary   +3 more
doaj   +1 more source

Establish a generic railway electronic interlocking solution using software engineering methods [PDF]

, 2015
A research investigation has been undertaken to establish a generic software interlocking solution for electronic railway systems. The system is intended to be independent of the physical station layout and easily adaptable in any country of application.
Nathoo, Kirti
core  

Controlling stress state of a hoisting shaft frame in the context of specific freezing process [PDF]

, 2018
Purpose is to obtain regularities of a stress state of such multilayer system as neighbourhood rock mass – frozen soil – hoisting shaft frame in the process of numerical analysis to control a frame state with the selection of efficient parameters ...
Alkhdour, A, Miroshnyk, V, Petrenko, V, Petrosian, N, Tiutkin, O   +4 more
core   +1 more source

Revisiting a long‐overlooked skull: Implications for the distribution of Dinodontosaurus brevirostris (Kannemeyeriiformes) in the Brazilian Triassic

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, João Lucas Da Silva, Voltaire D. P. Neto, Arielli Fabrício Machado, Juan A. Escobar, Felipe L. Pinheiro   +5 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

RailML application for description of railway interlocking systems

AUTOBUSY – Technika, Eksploatacja, Systemy Transportowe, 2018
The original RailML specification comes from 2002 and was defined using XML. Files in the RailML standard can be used for storing and exchanging data between numerous interfaces of railway ICT systems. Current version 2.4 includes rolling stock and railway traffic management, timetables, passenger information as well as booking and selling tickets.
Waldemar Nowakowski, Mieczysław Kornaszewski, Tomasz Ciszewski   +2 more
openaire   +2 more sources

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, Chunxu Xue, Yutong Chen, Yujie Qiang, Seeram Ramakrishna   +4 more
wiley   +1 more source