Explores the principles and applications of gamma and neutron radiography in industrial settings, highlighting the advantages of using neutrons and discussing special techniques and industrial applications.
Delves into monitoring crack speed in dynamic fracture experiments using analog electronics, revealing unexpected accelerations and critical velocity transitions.
Explores non-destructive testing methods for assessing object health without damage, covering visual inspection, tapping, eddy current techniques, radiography, ultrasonics, and health monitoring.
Introduces formal verification and its advantages over traditional testing methods, discussing automated theorem proving and compiling correctness statements into verification conditions.
