Results 71 to 80 of about 285,209 (280)
Prognostic Evaluation Model and Application for Computer Interlocking System
机车电传动, 2018 Computer interlocking system plays an important role in railway, but its breakdown maintenance cannot stratify requirements of fast developing railway. Prediction model was developed based on mathematical model of components and entire system fault tree ...
FENG Haonan +4 more
doaj
Activism for Socialist Industrial Heritage in Romania: The Carbochim Project Controversy
Area, EarlyView.Short Abstract This study aims to better understand activism in the Romanian post‐socialist society during a struggle to preserve the socialist industrial heritage of Carbochim, in Cluj‐Napoca, Romania. From an urban activist perspective, we present a failed heritagisation process because of commercial‐oriented real estate development, but that enables
Oana‐Ramona Ilovan +3 more
wiley +1 more source
Compositional Verification of Railway Interlockings: Comparison of Two Methods
, 2022 Formal verification of safety of interlocking systems and of their configuration on a specific track layout is conceptually an easy task for model checking. Systems that control large railway networks, however, are challenging due to state space explosion problems.
Fantechi A. +3 more
openaire +3 more sources
Development and Change, EarlyView.ABSTRACT This article examines China's bureaucratic approach to international development cooperation under the Belt and Road Initiative, focusing on bureaucratically structured policy coordination as a core mechanism. It highlights the central role of the National Development and Reform Commission (NDRC) — China's top economic planning agency — in ...
Hong Zhang
wiley +1 more source
Study on Railway Signal Computer Interlocking System [PDF]
Advances in Intelligent Systems Research, 2015 This paper mainly discussed the railway signal computer interlocking system, including the basis of computer interlocking system, computer interlocking principle, fault of computer interlocking system maintenance. The study is focused on the working principle of the computer interlocking, including its hardware structure, working principle and the ...
openaire +1 more source
, 2013 Computer-based control systems have grown in size, complexity, distribution and criticality. In this paper a methodology is presented to perform an abstract testing of such large control systems in an efficient way: an abstract test is specified directly
Flammini, Francesco +2 more
core
Numerical and experimental characterization of a railroad switch machine [PDF]
, 2018 This contribution deals with the numerical and experimental characterization of the structural behavior of a railroad switch machine. Railroad switch machines must meet a number of safety-related conditions such as, for instance, exhibiting the ...
Croccolo, Dario +4 more
core +3 more sources
The Geographical Journal, EarlyView.ABSTRACT Large infrastructure projects are difficult for publics to challenge, scrutinise, or engage with. A well‐researched barrier to public engagement is the technical complexity of large projects, whether it be materially present, or discursively constructed by professional experts.
Anna Plyushteva
wiley +1 more source
Journal of Management Studies, EarlyView.Abstract Hubs and participants of mature ecosystems increasingly compete with de alio entrants that are hubs of more innovative ecosystems. Prior research shows how these asymmetric de alio entrants frame to win over participants from mature ecosystems and suggests that hubs of these ecosystems should respond by encouraging innovation among ...
Georg Reischauer +2 more
wiley +1 more source
Safety-level communication in railway interlockings
Science of Computer Programming, 1997 AbstractThis paper illustrates the formal analysis of a simple protocol to convey critical data between the distributed solid state control elements in the signalling systems operated by Railtrack (British Railways). The analysis concentrates on temporal properties of the protocol, and one safety property in particular which informal analysis suggests ...
openaire +1 more source