Forward scatter target strength extraction in a marine environment (L)

A 48 m rail with a moving receiver was used to measure forward scattering from a spherical shell lying on the bottom in the Gulf of Mexico. The target was mid-way between the source and rail, on a line from the source bisecting the rail. The major obstacle to the measurement of forward scattering is the much stronger source signal which overlaps the scattered signal in space and time. Here, forward scattered target strength is obtained by processing the received signals using a wavenumber filter to remove the incident wave. The result compares favorably to that obtained from numerical predictions.     

(+)‐(2R,3S)‐3‐Bromo‐2‐chloro‐N,N‐diiso­propyl‐3‐phenyl­propan­amide and (+)‐(2R,3S)‐3‐bromo‐2‐chloro‐N‐(4‐nitro­phenyl)‐3‐phenyl­propan­amide

The stereochemistries at positions 2 and 3 of the title compounds, C₁₅H₂₁BrClNO, (I), and C₁₅H₁₂BrClN₂O₃, (II), have been confirmed by X‐ray structural analysis. The halogen atoms adopt an antiperiplanar arrangement in each case.     

Preparation of vinylphenols from 2- and 4-hydroxybenzaldehydes

A straightforward, high-yielding procedure has been developed for the manufacture of substituted vinylphenols from 2- and 4-hydroxybenzaldehydes utilising classical Knoevenagel condensation reaction conditions.     

Computer Theorem Proving in Mathematics

We give an overview of issues surrounding computer-verified theorem proving in the standard pure-mathematical context. This includes the basic reasons why it should be interesting to pure mathematicians, some history, natural desiderata for a useful system, viewpoints on what kind of logic to use, a short explanation of how things work, an overview of different options for encoding sets, and perspectives on future developments.     

Experimental determination of the impulse response of cascade arcsusing a correlation technique

Low-current cascade arcs are one of the simplest configurations for investigating the behaviour of low-temperature arcs. In cascade experiments, arc conditions may be strictly controlled, in which case the results become reproducible, allowing detailed measurements of high resolution to be made. The response of cascade arcs to a small change in the current gives insights into the physical processes taking place in an arc, such as ionization/recombination, diffusion and energy transfer between the electrons and the heavy particles. In this work, a new method of measuring time constants is described, in which correlation techniques utilising a pseudo-random binary sequence are employed to deduce the impulse response of the arc. This type of experiment provides a useful check on the validity of the collision models used for the reaction processes in the arc plasma and it is planned to investigate other gases in the future. In this paper, the experimental arrangement and the data analysis are discussed and experimental results are presented     

Comparison of simulations and data from a seismo-acoustic tank experiment

A tank experiment was carried out to investigate underwater sound propagation over an elastic bottom in flat and sloping configurations. The purpose of the experiment was to evaluate range-dependent propagation models with high-quality experimental data. The sea floor was modeled as an elastic medium by a polyvinyl chloride slab. The relatively high rigidity of the slab requires accounting for shear waves in this environment. Acoustic measurements were obtained along virtual arrays in the water column using a robotic apparatus. Elastic parabolic equation solutions are in excellent agreement with data.     

Alpha decay of 109I and its implications for the proton decay of 105Sb and the astrophysical rapid proton-capture process

An alpha-decay branch of (1.4+/-0.4) x 10(-4) has been discovered in the decay of 109I, which predominantly decays via proton emission. The measured Q(alpha) value of 3918+/-21 keV allows the indirect determination of the Q value for proton emission from 105Sb of 356+/-22 keV, which is approximately of 130 keV more bound than previously reported. This result is relevant for the astrophysical rapid proton-capture process, which would terminate in the 105Sn(p,gamma)106Sb(p,gamma)107Te(alpha decay)103Sn cycle at the densities expected in explosive hydrogen burning scenarios, unless unusually strong pairing effects result in a 103Sn(p,gamma)104Sb(p,gamma)105Te(alpha decay)101Sn) cycle.