Defect Detection and Imaging in Composite Structures Using Magnetostrictive Patch Transducers

The use of thin magnetostrictive patches to generate and detect guided waves within the composite samples is investigated for defect detection. This approach has been implemented using SH0 shear horizontal guided waves in both CFRP and GFRP plates. A magnetostrictive patch transducer was able to generate SH0 waves with known directional characteristics. The synthetic aperture focusing technique (SAFT) was then used to reconstruct images of defects using multiple transmission and detection locations. The results for imaging defects in both types of material are presented.“NDTonAIR” Marie Skłodowska Curie Training Network in Non-Destructive Testing and Structural Health Monitoring of Aircraft structures (MSCA-ITN) under the action H2020-MSCA-ITN-2016- under Grant number 722134

Mode selectivity of SH guided waves by dual excitation and reception applied to mode conversion analysis

SH guided waves, generated by periodic permanent magnet arrays have been used previously in non-destructive evaluation of metal plates and pipes. When an SH guided wave interacts with a defect or change in sample thickness, the incident SH wave may undergo mode conversion. Analysis of mode conversion is complicated, due to the interference of several propagating modes in the received signal, that can often temporally overlap. This paper proposes a mode selection technique to help understand the interaction of SH guided waves with changes in sample thickness. Using an understanding of the propagation characteristics of the guided waves, SH guided waves are sequentially generated and detected on both surfaces of the plate, capturing four distinct waveforms. By superposition of the detected signals, symmetric modes can be clearly separated from antisymmetric modes in the processed, received signals. For this method to work well, the transducers used should have very similar responses and be precisely positioned on exactly opposite positions either side of the plate. Finite element simulations are also performed, mirroring the experimental measurements, and the results correlate well with the experimental observations made on an 8 mm thick plate with a region of simulated wall thinning machined into the sample

Automatic Repair of Infinite Loops

Research on automatic software repair is concerned with the development of systems that automatically detect and repair bugs. One well-known class of bugs is the infinite loop. Every computer programmer or user has, at least once, experienced this type of bug. We state the problem of repairing infinite loops in the context of test-suite based software repair: given a test suite with at least one failing test, generate a patch that makes all test cases pass. Consequently, repairing infinites loop means having at least one test case that hangs by triggering the infinite loop. Our system to automatically repair infinite loops is called $Infinitel$. We develop a technique to manipulate loops so that one can dynamically analyze the number of iterations of loops; decide to interrupt the loop execution; and dynamically examine the state of the loop on a per-iteration basis. Then, in order to synthesize a new loop condition, we encode this set of program states as a code synthesis problem using a technique based on Satisfiability Modulo Theory (SMT). We evaluate our technique on seven seeded-bugs and on seven real-bugs. $Infinitel$ is able to repair all of them, within seconds up to one hour on a standard laptop configuration