Sparse Signal Representation of Ultrasonic Signals for Structural Health Monitoring Applications

Assessment of the integrity of structural components is of great importance for aerospace systems, land and marine transportation, civil infrastructures and other biological and mechanical applications. Guided waves (GWs) based inspections are an attractive mean for structural health monitoring. In this thesis, the study and development of techniques for GW ultrasound signal analysis and compression in the context of non-destructive testing of structures will be presented. In guided wave inspections, it is necessary to address the problem of the dispersion compensation. A signal processing approach based on frequency warping was adopted. Such operator maps the frequencies axis through a function derived by the group velocity of the test material and it is used to remove the dependence on the travelled distance from the acquired signals. Such processing strategy was fruitfully applied for impact location and damage localization tasks in composite and aluminum panels. It has been shown that, basing on this processing tool, low power embedded system for GW structural monitoring can be implemented. Finally, a new procedure based on Compressive Sensing has been developed and applied for data reduction. Such procedure has also a beneficial effect in enhancing the accuracy of structural defects localization. This algorithm uses the convolutive model of the propagation of ultrasonic guided waves which takes advantage of a sparse signal representation in the warped frequency domain. The recovery from the compressed samples is based on an alternating minimization procedure which achieves both an accurate reconstruction of the ultrasonic signal and a precise estimation of waves time of flight. Such information is used to feed hyperbolic or elliptic localization procedures, for accurate impact or damage localization.

Numerical invariants for measurable cocycles

The theory of numerical invariants for representations can be generalized to measurable cocycles. This provides a natural notion of maximality for cocycles associated to complex hyperbolic lattices with values in groups of Hermitian type. Among maximal cocycles, the class of Zariski dense ones turns out to have a rigid behavior. An alternative implementation of numerical invariants can be given by using equivariant maps at the level of boundaries and by exploiting the Burger-Monod approach to bounded cohomology. Due to their crucial role in this theory, we prove existence results in two different contexts. Precisely, we construct boundary maps for non-elementary cocycles into the isometry group of CAT(0)-spaces of finite telescopic dimension and for Zariski dense cocycles into simple Lie groups. Then we approach numerical invariants. Our first goal is to study cocycles from complex hyperbolic lattices into the Hermitian group SU(p,q). Following the theory recently developed by Moraschini and Savini, we define the Toledo invariant by using the pullback along cocycles, also by involving boundary maps. For cocycles Γ × X → SU(p,q) with 1