Results 151 to 160 of about 99,408 (239)

Advances in Experimentation and Numerical Modeling of Aluminum and Copper Ultrasonic Welding. [PDF]

Micromachines (Basel)
Li Z, Wu S, Li H.
europepmc   +1 more source

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

, 2010
Haxthausen, Anne Elisabeth
core  

Mechanical properties and micromechanisms of natural fiber-modified saline soil. [PDF]

Sci Rep
Liu Z, Naibi W, Qu J.
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  

Insight into the mechanical properties and the sustainable application of recycled permeable concrete: Green low-carbon concrete technology. [PDF]

PLoS One
Xia S, Peng L, Zhang W, Zhu H, Li J.
europepmc   +1 more source

Micromechanical Finite Element Model Investigation of Cracking Behavior and Construction-Related Deficiencies in Asphalt Mixtures. [PDF]

Materials (Basel)
Yang L, Hou S, Yu H.
europepmc   +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

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  

Mission report for the Ulcos project - SP7, june 19-26, 2005 : pre-feasibility survey for the united Republic of Tanzania [PDF]

, 2005
Lescuyer, Guillaume
core