Lamb wave defect detection and evaluation using a fully non-contact laser system

Traditional Lamb wave structural health monitoring (SHM)/nondestructive evaluation (NDE) system employs contact type transducers such as PZT, ultrasonic transducers, and optical fibers. In application, transducer attachment and maintenance can be time and labor consuming. In addition, the use of couplant and adhesives can introduce additional materials on structures, and the interface coupling is often not well understood. To overcome these limitations, we proposed a fully non-contact NDE system by employing pulsed laser (PL) for Lamb wave actuation and scanning laser Doppler vibrometer (SLDV) for Lamb wave sensing. The proposed system is implemented on aluminum plates. The PL Lamb wave excitation is calibrated, and the optimal parameters are obtained. Lamb wave modes are then characterized through 1D wavefield analysis. With the calibrated and characterized system, defect detection and evaluation are achieved on aluminum plates with simulated defects (surfaced-bonded quartz rod, and machine milled crack) through 1D and 2D inspection in both time-space and frequency-wavenumber domains

Laser Doppler technology applied to atmospheric environmental operating problems

Carbon dioxide laser Doppler ground wind data were very favorably compared with data from standard anemometers. As a result of these measurements, two breadboard systems were developed for taking research data: a continuous wave velocimeter and a pulsed Doppler system. The scanning continuous wave laser Doppler velocimeter developed for detecting, tracking and measuring aircraft wake vortices was successfully tested at an airport where it located vortices to an accuracy of 3 meters at a range of 150 meters. The airborne pulsed laser Doppler system was developed to detect and measure clear air turbulence (CAT). This system was tested aboard an aircraft, but jet stream CAT was not encountered. However, low altitude turbulence in cumulus clouds near a mountain range was detected by the system and encountered by the aircraft at the predicted time

Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models

Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approaches to verify CPS Simulink models: model testing that attempts to identify failures in models by executing them for a number of sampled test inputs, and model checking that attempts to exhaustively check the correctness of models against some given formal properties. In this paper, we present an industrial Simulink model benchmark, provide a categorization of different model types in the benchmark, describe the recurring logical patterns in the model requirements, and discuss the results of applying model checking and model testing approaches to identify requirements violations in the benchmarked models. Based on the results, we discuss the strengths and weaknesses of model testing and model checking. Our results further suggest that model checking and model testing are complementary and by combining them, we can significantly enhance the capabilities of each of these approaches individually. We conclude by providing guidelines as to how the two approaches can be best applied together.Comment: 10 pages + 2 page reference

Aviation safety research and transportation/hazard avoidance and elimination

Data collected by the Scanning Laser Doppler Velocimeter System (SLDVS) was analyzed to determine the feasibility of the SLDVS for monitoring aircraft wake vortices in an airport environment. Data were collected on atmospheric vortices and analyzed. Over 1600 landings were monitored at Kennedy International Airport and by the end of the test period 95 percent of the runs with large aircraft were producing usable results in real time. The transport was determined in real time and post analysis using algorithms which performed centroids on the highest amplitude in the thresholded spectrum. Making use of other parameters of the spectrum, vortex flow fields were studied along with the time histories of peak velocities and amplitudes. The post analysis of the data was accomplished with a CDC-6700 computer using several programs developed for LDV data analysis

Measurement of surface velocity fields

A new technique for measuring surface velocity fields is briefly described. It determines the surface velocity vector as a function of location and time by the analysis of thermal fluctuations of the surface profile in a small domain around the point of interest. The apparatus now being constructed will be used in a series of experiments involving flow fields established by temperature gradients imposed along a surface

Backside delamination detection in composites through local defect resonance induced nonlinear source behavior

A