An improved method for magnetic identification and localization of cracks in conductors

A SQUID magnetometer can be used to measure the magnetic field produced by flaws in a two-dimensional, conducting plate carrying a current. Identification of the flaw-induced magnetic field is difficult because of the large magnetic field associated with the edges of the plate and the current in the leads that connect the plate to the power supply. We have developed a technique by which the wire and edge fields can be cancelled prior to mapping the magnetic field. In this technique, a similar unflawed conducting sheet is placed adjacent to the flawed plate, with a connection between the sheet and the plate at one edge, and with the opposite edges of the sheet and of the plate connected to the two conductors of a coaxial cable. Thus, an applied current will flow along one conductor of the cable, across the cancelling sheet, cross into the flawed plate, return along the plate, and then return to the power supply along the other conductor of the coaxial cable. As a result of this geometry, there is no magnetic field from the lead-in wires because they are coaxial, and the magnetic field due to the edges of the plate is cancelled by the opposing magnetic field of the edges in the adjacent sheet. The extent of cancellation is determined primarily by the separation between the plate and the cancelling sheet, by the thickness of the plate, and by macroscopic inhomogeneities in their electrical conductivities.     

Differentiation of apple juice samples on the basis of heat treatment and variety using chemometric analysis of MIR and NIR data

The potential of mid-infrared (MIR) and near-infrared (NIR) spectroscopy for their ability to differentiate between apple juice samples on the basis of apple variety and applied heat-treatment was evaluated. The heat-treatment involved exposure of juice samples (15 ml) for 30 s in a 900 W microwave oven and the apple varieties used to produce the juice samples were Bramley, Elstar, Golden Delicious and Jonagold. The chemometric procedures applied to the MIR and NIR data were partial least squares regression (PLS1 for differentiation on the basis of heat-treatment, PLS2 for varietal differentiation) and linear discriminant analysis (LDA) applied to principal component (PC) scores. PLS1 and PLS2 gave the highest level of correct classification of the apple juice samples according to heat-treatment (77.2% for both MIR and NIR data) and variety (78.3–100% for MIR data; 82.4–100% for NIR data), respectively.     

Evaluating Ozone as a Remedial Treatment for Removing RDX from Unsaturated Soils

Years of wastewater discharge at the Department of Energy’s Pantex Plant have contaminated the vadose zone and underlying perched aquifer with hexahydro-1,3,5-trinitro-1,3,5-triazine (RDX). Because the vadose zone is acting as a continual source of groundwater contamination, removing RDX from the unsaturated zone is paramount to prevent further contamination. We determined the efficacy of ozone to degrade and mineralize RDX. Solution experiments showed that ozone (27?mg?L?1; 150?mL?min?1) was effective in mineralizing 80% of the RDX (30?mg?RDX?L?1) provided that some Pantex soil was present to buffer the solution pH. Soil columns treated with ozone produced 50% RDX mineralization within 1 day and >80% within 7 day. Experiments designed to evaluate aerobic biodegradation following partial ozonation of a RDX solution showed that ozone-generated RDX products were much more biodegradable than untreated controls in aerobic microcosms (35 versus <0.3% cumulative mineralization). These results support the use of ozone as a remedial treatment for the contaminated vadose zone at the Pantex facility.     

Remote sensing of species mixtures in conifer plantations using LiDAR height and intensity data

In even-aged, single species conifer plantations LiDAR height data can be modelled to provide accurate estimates of tree height and volume. However, it is apparent that growth models developed for single species stands are not directly transferable to a more general situation of mixed species plantations. This paper evaluates the ability of small footprint, dual-return, pulsed airborne LiDAR data to estimate the proportion of the productive species when mixed with a nurse crop in closed canopy plantations. A study area located in Galloway Forest District in Scotland is used as an example of Lodgepole pine and Sitka spruce mixed plantation; this area contains good examples of a wide range of pure and mixed species plantation types. Three species groups are studied: areas of pure Sitka spruce, areas of pure Lodgepole pine and areas where the two species have been planted together. Two approaches are assessed for detection of plantation mixtures: the first uses LiDAR intensity data to separate spruce and pine species and the second uses LiDAR-derived canopy density measures, coefficient of variation, skewness, percent of ground returns (which provides a measure of canopy openness) and the mean canopy height, which enables areas with height variations to be identified. From analysis of LiDAR data extracted from 54 study plots using logistic regression, the coefficient of variation and LiDAR intensity data provide the most useful predictors of the proportion of spruce in a pine/spruce mixture with coefficients of determination (R²) of 0.914 and 0.930 respectively. The method could be developed as a mapping tool, which in combination with existing inventory data should help to improve timber volume forecasting for mixed species even-aged plantations.     

Energy indicators for tracking sustainability in developing countries

Due to the fact that human activities and most sustainability issues are closely related to energy use, the energy system is a sound framework for providing lead indicators for sustainable development. Common energy-economic models enable the estimation of future states of the energy system. An energy system-based lead indicator set can be used to develop consistent and coherent future indicator estimates and to track sustainability, a clear advantage over existing sets.     

Putting it all together – Formal verification of the VAMP

In the verified architecture microprocessor (VAMP) project we have designed, functionally verified, and synthesized a processor with full DLX instruction set, delayed branch, Tomasulo scheduler, maskable nested precise interrupts, pipelined fully IEEE compatible dual precision floating point unit with variable latency, and separate instruction and data caches. The verification has been carried out in the theorem proving system PVS. The processor has been implemented on a Xilinx FPGA. A shorter version of this article with the title “Instantiating uninterpreted functional units and memory system: functional verification of the VAMP” appeared in [8]. The work reported here was done while all the authors were with Saarland University.     

Fast location of high-order modes for boxed microstrip with finite strip thickness

Many analyses of boxed microstrip discontinuities require the location of large numbers of high-order modes. Using Sturm-Liouville theory, this letter derives a relationship between microstrip modes and slab-loaded guide modes, leading to an efficient mode location algorithm for microstrip, including microstrip with finite strip thickness.<>