Equational Reasoning via Partial Reflection

2000 ◽  
pp. 162-178 ◽  
Author(s):  
H. Geuvers ◽  
F. Wiedijk ◽  
J. Zwanenburg
Keyword(s):  
Partial Reflection ◽  
Equational Reasoning

Detection of delamination in composites by using electromagnetic penetrating radar

2014 ◽  
Vol 5 (2) ◽  
pp. 151-156
Author(s):  
Z. Mechbal ◽  
A. Khamlichi
Keyword(s):  
Electromagnetic Wave ◽  
Electromagnetic Waves ◽  
Electromagnetic Wave Propagation ◽  
Wave Reflection ◽  
Image Features ◽  
Partial Reflection ◽  
Straight Path ◽  
Reflected Signal ◽  
Short Time ◽  
Intervening Factors

Composites made from E-glass/epoxy or aramid/epoxy are frequently used in aircraft and aerospace industries. These materials are prone to suffer from the presence of delamination, which can reduce severely the performance of aircrafts and even threaten their safety. Since electric conductivity of these composites is rather small, they can propagate electromagnetic waves. Detection of delamination damage can then be monitored by using an electromagnetic penetrating radar scanner, which consists of emitting waves having the form of short time pulses that are centered on a given work frequency. While propagating, these waves undergo partial reflection when running into an obstacle or a material discontinuity. Habitually, the radar is moved at constant speed along a straight path and the reflected signal is processed as a radargram that gives the reflected energy as function of the two-way time and the antenna position.In this work, modeling of electromagnetic wave propagation in composites made from E-glass/epoxy was performed analytically. The electromagnetic wave reflection from a delamination defect was analyzed as function of key intervening factors which include the defect extent and depth, as well as the work frequency. Various simulations were performed and the obtained results have enabled to correlate the reflection pattern image features to the actual delamination defect characteristics which can provide quantification of delamination.

scholarly journals Reasoning with the HERMIT: tool support for equational reasoning on GHC core programs

2016 ◽  
Vol 50 (12) ◽  
pp. 23-34 ◽  
Author(s):  
Andrew Farmer ◽  
Neil Sculthorpe ◽  
Andy Gill
Keyword(s):  
Tool Support ◽  
Equational Reasoning

Measurement of shear wave attenuation coefficient using a contact pulse-echo method with consideration of partial reflection effects

2019 ◽  
Vol 30 (11) ◽  
pp. 115601 ◽  
Author(s):  
Guangdong Zhang ◽  
Xiling Liu ◽  
Xiongbing Li ◽  
Yongfeng Song ◽  
Shuzeng Zhang
Keyword(s):  
Shear Wave ◽  
Attenuation Coefficient ◽  
Wave Attenuation ◽  
Partial Reflection ◽  
Pulse Echo ◽  
Pulse Echo Method

Ionization increases associated with the small solar proton events of 5 February 1965 and 16 July 1966

1969 ◽  
Vol 47 (2) ◽  
pp. 131-134 ◽  
Author(s):  
L. W. Hewitt
Keyword(s):  
Lower Ionosphere ◽  
Solar Proton ◽  
Satellite Observations ◽  
Geographic Latitude ◽  
Electron Number ◽  
Partial Reflection ◽  
D Region ◽  
Resolute Bay ◽  
Solar Proton Events

Observations of partial reflections from the ionosphere at vertical incidence at 2.66 MHz have been made at Resolute Bay, geographic latitude 74.7 °N, since September 1963. By measuring the amplitudes of the ordinary and extraordinary backscattered waves information is obtained about electron number densities in the lower ionosphere. The results presented in this paper show that the partial reflection technique is more sensitive than most other ground-based experiments for the detection of D-region ionization increases associated with small solar proton events. Results obtained by the partial reflection experiment during the events of 5 February 1965 and 16 July 1966 are presented and compared with VLF and satellite observations.

scholarly journals MESOSPHERIC ELECTRIC FIELD MEASUREMENTS WITH A PARTIAL REFLECTION RADAR

1999 ◽  
Vol 19 (2) ◽  
pp. 81-86
Author(s):  
S.I Martynenko ◽  
V.T. Rozumenko ◽  
A.M. Tsymbal ◽  
O.F. Tyrnov ◽  
A.M. Gokov
Keyword(s):  
Electric Field ◽  
Field Measurements ◽  
Partial Reflection ◽  
Electric Field Measurements ◽  
Partial Reflection Radar
Sign in / Sign up

Export Citation Format

Share Document