Weld defect detection using PPM EMAT generated shear horizontal ultrasound

AbstractAustenitic welds are inspected using PPM EMAT generated shear horizontal (SH) waves. Results are compared to measurements taken using a 1D piezoelectric phased array using the total focusing method (TFM). For the first time there is clear experimental evidence of the SH wave method demonstrating higher sensitivity to defect detection. SH waves suffer less beam steering in a weld than either compression or SV waves, which can miss defects due to weld microstructure anisotropy and attenuation. All defects were identified from every side of the weld/plate using the SH waves, but this was not possible using the piezoelectric transducer

Ultrasonic metal sheet thickness measurement without prior wave speed calibration

Conventional ultrasonic mensuration of sample thickness from one side only requires the bulk wave reverberation time and a calibration speed. This speed changes with temperature, stress, and microstructure, limiting thickness measurement accuracy. Often, only one side of a sample is accessible, making in situ calibration impossible. Non-contact ultrasound can generate multiple shear horizontal guided wave modes on one side of a metal plate. Measuring propagation times of each mode at different transducer separations, allows sheet thickness to be calculated to better than 1% accuracy for sheets of at least 1.5 mm thickness, without any calibration

Shear horizontal (SH) ultrasound wave propagation around smooth corners

Shear horizontal (SH) ultrasound guided waves are being used in an increasing number of non-destructive testing (NDT) applications. One advantage SH waves have over some wave types, is their ability to propagate around curved surfaces with little energy loss; to understand the geometries around which they could propagate, the wave reflection must be quantified. A 0.83 mm thick aluminium sheet was placed in a bending machine, and a shallow bend was introduced. Periodically-poled magnet (PPM) electromagnetic acoustic transducers (EMATs), for emission and reception of SH waves, were placed on the same side of the bend, so that reflected waves were received. Additional bending of the sheet demonstrated a clear relationship between bend angles and the reflected signal. Models suggest that the reflection is a linear superposition of the reflections from each bend segment, such that sharp turns lead to a larger peak-to-peak amplitude, in part due to increased phase coherence

Shear horizontal (SH) ultrasound wave propagation around smooth corners

AbstractShear horizontal (SH) ultrasound guided waves are being used in an increasing number of non-destructive testing (NDT) applications. One advantage SH waves have over some wave types, is their ability to propagate around curved surfaces with little energy loss; to understand the geometries around which they could propagate, the wave reflection must be quantified. A 0.83mm thick aluminium sheet was placed in a bending machine, and a shallow bend was introduced. Periodically-poled magnet (PPM) electromagnetic acoustic transducers (EMATs), for emission and reception of SH waves, were placed on the same side of the bend, so that reflected waves were received. Additional bending of the sheet demonstrated a clear relationship between bend angles and the reflected signal. Models suggest that the reflection is a linear superposition of the reflections from each bend segment, such that sharp turns lead to a larger peak-to-peak amplitude, in part due to increased phase coherence

The (11112) model on a 1+1 dimensional lattice

We study the chiral gauge model (11112) of four left-movers and one right-mover with strong interactions in the 1+1 dimensional lattice. Exact computations of relevant $S$-matrix elements demonstrate a loophole that so constructed model and its dynamics can possibly evade the ``no-go'' theorem of Nielsen and Ninomiya.Comment: 15 pages, 1 fig. to appear in Phys. Rev.

Lattice fermions with Majorana couplings

We analyse stability of almost massless Dirac mode in gauge models with boundary (domain wall) fermions, and consider the possibility of decoupling one of its chiral component by giving it a Majorana mass of the order of the inverse lattice spacing. We argue that the chiral spectrum in such models is always uncharged, so they can be implemented for defining the Weyl fermions only in the real representation of the gauge group, for instance, in SUSY models.Comment: 3 pages, Latex, 2 Postscript figures, uses espcrc2 and epsf; talk given by S. V. Zenkin at Lattice '9

A further study of the possible scaling region of lattice chiral fermions

In the possible scaling region for an SU(2) lattice chiral fermion advocated in {\it Nucl. Phys.} B486 (1997) 282, no hard spontaneous symmetry breaking occurs and doublers are gauge-invariantly decoupled via mixing with composite three-fermion-states that are formed by local multifermion interactions. However the strong coupling expansion breaks down due to no ``static limit'' for the low-energy limit ($pa\sim 0$). In both neutral and charged channels, we further analyze relevant truncated Green functions of three-fermion-operators by the strong coupling expansion and analytical continuation of these Green functions in the momentum space. It is shown that in the low-energy limit, these relevant truncated Green functions of three-fermion-states with the ``wrong'' chiralities positively vanish due to the generalized form factors (the wave-function renormalizations) of these composite three-fermion-states vanishing as O((pa)^4) for $pa\sim 0$. This strongly implies that the composite three-fermion-states with ``wrong'' chirality are ``decoupled'' in this limit and the low-energy spectrum is chiral, as a consequence, chiral gauge symmetries can be exactly preserved.Comment: A few typing-errors, in particular in Eq.50, have been correcte

Investigation of the Domain Wall Fermion Approach to Chiral Gauge Theories on the Lattice

We investigate a recent proposal to construct chiral gauge theories on the lattice using domain wall fermions. We restrict ourselves to the finite volume case, in which two domain walls are present, with modes of opposite chirality on each of them. We couple the chiral fermions on only one of the domain walls to a gauge field. In order to preserve gauge invariance, we have to add a scalar field, which gives rise to additional light mirror fermion and scalar modes. We argue that in an anomaly free model these extra modes would decouple if our model possesses a so-called strong coupling symmetric phase. However, our numerical results indicate that such a phase most probably does not exist. ---- Note: 9 Postscript figures are appended as uuencoded compressed tar file.Comment: 27p. Latex; UCSD/PTH 93-28, Wash. U. HEP/93-6

Certified compilation for cryptography: Extended x86 instructions and constant-time verification

We present a new tool for the generation and verification of high-assurance high-speed machine-level cryptography implementations: a certified C compiler supporting instruction extensions to the x86. We demonstrate the practical applicability of our tool by incorporating it into supercop: a toolkit for measuring the performance of cryptographic software, which includes over 2000 different implementations. We show i. that the coverage of x86 implementations in supercop increases significantly due to the added support of instruction extensions via intrinsics and ii. that the obtained verifiably correct implementations are much closer in performance to unverified ones. We extend our compiler with a specialized type system that acts at pre-assembly level; this is the first constant-time verifier that can deal with extended instruction sets. We confirm that, by using instruction extensions, the performance penalty for verifiably constant-time code can be greatly reduced.This work is financed by National Funds through the FCT - Fundação para a Ciência e a Tecnologia (Portuguese Foundation for Science and Technology) within the project PTDC/CCI-INF/31698/2017, and by the Norte Portugal Regional Operational Programme (NORTE 2020) under the Portugal 2020 Partnership Agreement, through the European Regional Development Fund (ERDF) and also by national funds through the FCT, within project NORTE-01-0145-FEDER-028550 (REASSURE)