Results 151 to 160 of about 15,562 (227)

Specifying railway interlocking systems [PDF]

, 2009
openaire  

Study on the Morphological Distribution and Modeling Methods of River Particles in Upstream and Downstream Sections. [PDF]

Materials (Basel)
Hu Z, Zhang J, Tan X, Yang H.
europepmc   +1 more source

An extension of the Dewey decimal system of classification applied to the engineering industries [PDF]

, 1912
Breckenridge, Lester Paige, Goodenough, George Alfred   +1 more
core  

Experimental Study on the Preparation of Paste Filling Materials from Coal-Based Solid Wastes. [PDF]

Materials (Basel)
Hu C, Yang X, Zhang F, Pan B, Huang R, Hu B, Li Y, Zhang L, Wang B, Gao J, Wang H, Yu Y.   +11 more
europepmc   +1 more source

Investigating the compaction and the mechanical behaviors of coal gangue as subgrade filler and constructing highway subgrade in practice. [PDF]

Sci Rep
Zhang ZT, Zhou GM.
europepmc   +1 more source

An Introduction to Formal Methods for the Development of Safety-critical Applications [PDF]

, 2010
Haxthausen, Anne Elisabeth
core  

Stabilization of clay soils exposed to freeze-thaw conditions with waste Kevlar. [PDF]

PLoS One
Akbulut RK.
europepmc   +1 more source

Mechanical Properties and Crack Evolution of Rock-like Materials with Varying Particle Sizes Prepared by Impact and Static Compaction Methods. [PDF]

Materials (Basel)
Hu Q, Li Q, Liu X, Ding K, Li Z, Bai Y.
europepmc   +1 more source

Formalizing Moving Block Railway Interlocking System for Directed Network

Formalizing Moving Block Railway Interlocking System for Directed Network
The safety and complexity of Railway Interlocking System (RIS) requires the use of advanced methodologies. Formal methods increase quality and provide highest confidence in this area. In this paper, safety analysis of moving block RIS is presented. The system is decomposed into four components, i.e., network topology, network state, controls and trains.
openaire