Results 171 to 180 of about 15,562 (227)

Fusing multiple source data for foundation excavation risk assessment based on cloud model and Dempster Shafer evidence theory. [PDF]

Sci Rep
An Y, Li L, Gao H, Luo Z, He Y.
europepmc   +1 more source

Analysis of the Motion Characteristics of Coarse Aggregate Simulated by Smart Aggregate During the Compaction Process. [PDF]

Materials (Basel)
Wang X, Wang F, Li X, Guo S, Zhou Y.
europepmc   +1 more source

The Cementation Mechanisms and Mechanical Properties of Different Soil-Rock Mixtures-Slurry Cements. [PDF]

Materials (Basel)
Li J, Zhong Z, Zou H.
europepmc   +1 more source

High-Speed Rail Projects in the United States: Identifying the Elements of Success Part 2 [PDF]

, 2007
deCerreno, Allison, Mathur, Shishir
core   +1 more source

Research on active advance support technology of mining roadway under hard roof condition. [PDF]

Sci Rep
Li Y, Hu D, Zhao J, Kong P, Yang Z, Cai H.   +5 more
europepmc   +1 more source

Mechanistic investigation into the performance of stone columns constructed with riverbed aggregates in varied soil conditions. [PDF]

Sci Rep
Almutairi A.
europepmc   +1 more source

Analysis of mechanical properties and energy evolution mechanism of frozen calcareous clay under multi-factor interaction. [PDF]

Sci Rep
Feng J, Shi H, Rong C, Song L, Long W, Liu J, Wei D, An G.   +7 more
europepmc   +1 more source

Toward Zero Waste Mining: Circular Economy of Copper Slags. [PDF]

Glob Chall
Mitrašinović A, Kamberović Ž, Yu D.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

Modelling Railway Interlocking Systems

IFAC Proceedings Volumes, 2000
Abstract In this paper we present a formal model of railway interlocking systems following a protocol based on train routes. The model is divided into one part describing the physical system and another part describing the control mechanisms monitoring observables of the physical system.
Morten P. Lindegaard, Peter Viuf, Anne E. Haxthausen   +2 more
openaire   +1 more source

Instantiating generic charts for railway interlocking systems

Proceedings of the 10th international workshop on Formal methods for industrial critical systems, 2005
The development of computer controlled Railway Interlocking Systems has seen an increasing interest in the use of Formal Methods, due to their ability to precisely specify the logical rules that guarantee the safe establishment of routes for trains through a railway yard.
M. BANCI, FANTECHI, ALESSANDRO
openaire   +4 more sources