Results 41 to 50 of about 99,408 (239)

Experimental Evaluation of SAFEPOWER Architecture for Safe and Power-Efficient Mixed-Criticality Systems

Journal of Low Power Electronics and Applications, 2019
With the ever-increasing industrial demand for bigger, faster and more efficient systems, a growing number of cores is integrated on a single chip. Additionally, their performance is further maximized by simultaneously executing as many processes as ...
Maher Fakih, Kim Grüttner, Sören Schreiner, Razi Seyyedi, Mikel Azkarate-Askasua, Peio Onaindia, Tomaso Poggi, Nera González Romero, Elena Quesada Gonzalez, Timmy Sundström, Salvador Peiró Frasquet, Patricia Balbastre, Tage Mohammadat, Johnny Öberg, Yosab Bebawy, Roman Obermaisser, Adele Maleki, Alina Lenz, Duncan Graham   +18 more
doaj   +1 more source

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

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

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

Description of route dependencies for computer-based railway signalling systems

Archives of Transport
Efficient and safe movement of trains on railway lines is assured by railway signalling systems. These systems assure safety of railway transport by preservation of dependencies.
Michał Grzybowski, Jakub Młyńczak, Lucyna Sokołowska   +2 more
doaj   +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

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

Automated Verification of Signalling Principles in Railway Interlocking Systems [PDF]

Electronic Notes in Theoretical Computer Science, 2009
AbstractIn this paper we present a verification strategy for signalling principles for the control of a railway interlocking system written in ladder logic. All translation steps have been implemented and tested on a real-world example of a railway interlocking system. The steps in this translation are as follows: 1.
Kanso, Karim, Moller, Faron, Setzer, Anton   +2 more
openaire   +3 more sources

A Biophysical Approach to the Design of Networks of Communication Systems

Mathematical Methods in the Applied Sciences, EarlyView.
ABSTRACT Inspired by the growth dynamics of the protist Physarum polycephalum, we employ a formalism that describes adaptive, incompressible Hagen‐Poiseuille flows on channel networks to identify graphs connecting different nodes within Euclidean space. These graphs are either suboptimal or optimal relative to their length.
Rodrigo Almeida, Ana Filipa Valente, Rui Dilão   +2 more
wiley   +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