Results 121 to 130 of about 285,209 (280)

Creation of a Mathematical Model of a Stationary Rail Circuit in the Form of a Finite Discrete Automaton

Nauka ta progres transportu
Purpose. Ensuring the safety of train traffic is a mandatory task in the development of technical equipment of railway transport in Ukraine. To diagnose and verify the performance of such systems, simulation models of overhead devices, in particular, the
V. V. Malovichko, N. V. Malovichko, R. V. Rybalka   +2 more
doaj   +1 more source

From Hilferding to Hilferding? Finance-capital in Italian capitalism, 1913-2010 [PDF]

, 2013
This paper analyses the Italian corporate network from 1913 to 2010 by using the interlocking directorates technique and focusing on eight benchmark years (1913, 1927, 1936, 1960, 1972, 1983, 2001, and 2010).
M. Vasta, RINALDI, Alberto
core  

Signaling System Retrofit and Reverse-connection Scheme for Shanghai Rail Transit Line 13 Beidi Road Depot

Chengshi guidao jiaotong yanjiu
Objective Beidi Road Depot of Shanghai Rail Transit Line 13 is undergoing an upgrade from a conventional interlocking system to CBTC (communication-based train control) system.
CHU Haiping, SUN Kehan
doaj   +1 more source

Model-Driven Engineering of a Railway Interlocking System

Proceedings of the 3rd International Conference on Model-Driven Engineering and Software Development, 2015
Model-Driven Engineering (MDE) promises to enhance system development by reducing development time, and increasing productivity and quality. MDE is gaining popularity in several industry sectors, and is attractive also for critical systems where they can reduce efforts and costs for verification and validation (V&V), and can ease certification ...
openaire   +1 more source

Compositional Verification of Multi-Station Interlocking Systems [PDF]

, 2016
A Ferrari, AE Haxthausen, AE Haxthausen, AE Haxthausen, C Limbrée, G Theeg, H Hvid Hansen, J Peleska, K Winter, LH Vu, P James, P James   +11 more
core   +2 more sources

Formal modelling and verification of interlocking systems featuring sequential release [PDF]

, 2017
Haxthausen, Anne Elisabeth, Peleska, Jan, Vu, Linh Hong   +2 more
core   +1 more source

Subtyping for Hierarchical, Reconfigurable Petri Nets

, 2018
Hierarchical Petri nets allow a more abstract view and reconfigurable Petri nets model dynamic structural adaptation. In this contribution we present the combination of reconfigurable Petri nets and hierarchical Petri nets yielding hierarchical structure
Padberg, Julia
core  

Research on Mechanical and Shrinkage Characteristics of a Resource-Based Cement Solid-Waste Concrete. [PDF]

Materials (Basel), 2023
Ning S, Jiang X, Li B, Shan L, Li H.
europepmc   +1 more source

Banking systems and economic growth: lessons from Britain and Germany in the pre-World War I era [PDF]

Banks and banking - History ; Banks and banking - Germany ; Banks and banking - Great Britain ; Germany ; Great ...
Caroline Fohlin
core