Cleanroom software development

The 'cleanroom' software development process is a technical and organizational approach to developing software with certifiable reliability. Key ideas behind the process are well structured software specifications, randomized testing methods and the introduction of statistical controls; but the main point is to deny entry for defects during the development of software. This latter point suggests the use of the term 'cleanroom' in analogy to the defect prevention controls used in the manufacturing of high technology hardware. In the 'cleanroom', the entire software development process is embedded within a formal statistical design, in contrast to executing selected tests and appealing to the randomness of operational settings for drawing statistical inferences. Instead, random testing is introduced as a part of the statistical design itself so that when development and testing are completed, statistical inferences are made about the operation of the system

Macrospin Models of Spin Transfer Dynamics

The current-induced magnetization dynamics of a spin valve are studied using a macrospin (single domain) approximation and numerical solutions of a generalized Landau-Lifshitz-Gilbert equation. For the purpose of quantitative comparison with experiment [Kiselev {\it et al.} Nature {\bf 425}, 380 (2003)], we calculate the resistance and microwave power as a function of current and external field including the effects of anisotropies, damping, spin-transfer torque, thermal fluctuations, spin-pumping, and incomplete absorption of transverse spin current. While many features of experiment appear in the simulations, there are two significant discrepancies: the current dependence of the precession frequency and the presence/absence of a microwave quiet magnetic phase with a distinct magnetoresistance signature. Comparison is made with micromagnetic simulations designed to model the same experiment.Comment: 14 pages, 14 figures. Email [email protected] for a pdf with higher quality figure

Ancient Cosmic Dust from Triassic Halite

We describe the discovery of fossil micrometeorites in ancient Triassic rock salt; the first to be found in salt and the oldest complete micrometeorites found to date. We present an estimated flux rate of micrometeorites to Earth at this time

Ferromagnetic relaxation by magnon-induced currents

A theory for calculating spin wave relaxation times based on the magnon-electron interaction is developed. The theory incorporates a thin film geometry and is valid for a large range of magnon frequencies and wave vectors. For high conductivity metals such as permalloy, the wave vector dependent damping constant approaches values as high as 0.2, showing the large magnitude of the effect, and can dominate experimentally observed relaxation.Comment: 5 pages, 4 figure

Applications of acoustics in the measurement of coal slab thickness

The determination of the possibility of employing acoustic waves at ultrasonic frequencies for measurements of thicknesses of slabs of coal backed by shale is investigated. Fundamental information concerning the acoustical properties of coal, and the relationship between these properties and the structural and compositional parameters used to characterize coal samples was also sought. The testing device, which utilizes two matched transducers, is described

Decay rate and other properties of the positronium negative ion

A new method for detecting the positronium minus ion is described, and the possibility of a long positronium mean free path in a solid is discussed

Radio Observations of the Supernova Remnant Candidate G312.5-3.0

The radio images from the Parkes-MIT-NRAO (PMN) Southern Sky Survey at 4850 MHz have revealed a number of previously unknown radio sources. One such source, G312.5-3.0 (PMN J1421-6415), has been observed using the multi-frequency capabilities of the Australia Telescope Compact Array (ATCA) at frequencies of 1380 MHz and 2378 MHz. Further observations of the source were made using the Molonglo Observatory Synthesis Telescope (MOST) at a frequency of 843 MHz. The source has an angular size of 18 arcmin and has a distinct shell structure. We present the reduced multi-frequency observations of this source and provide a brief argument for its possible identification as a supernova remnant.Comment: 5 pages, 5 figures, Accepted for publication in MNRA

The healing mechanism for excited molecules near metallic surfaces

Radiation damage prevents the ability to obtain images from individual molecules. We suggest that this problem can be avoided for organic molecules by placing them in close proximity with a metallic surface. The molecules will then quickly dissipate any electronic excitation via their coupling to the metal surface. They may therefore be observed for a number of elastic scattering events that is sufficient to determine their structure.Comment: 4 pages, 4 figures. Added reference

Carbon nanotube: a low-loss spin-current waveguide

We demonstrate with a quantum-mechanical approach that carbon nanotubes are excellent spin-current waveguides and are able to carry information stored in a precessing magnetic moment for long distances with very little dispersion and with tunable degrees of attenuation. Pulsed magnetic excitations are predicted to travel with the nanotube Fermi velocity and are able to induce similar excitations in remote locations. Such an efficient way of transporting magnetic information suggests that nanotubes are promising candidates for memory devices with fast magnetization switchings

Epitaxial Ferromagnetic Nanoislands of Cubic GdN in Hexagonal GaN

Periodic structures of GdN particles encapsulated in a single crystalline GaN matrix were prepared by plasma assisted molecular beam epitaxy. High resolution X-ray diffractometery shows that GdN islands, with rock salt structure are epitaxially oriented to the wurtzite GaN matrix. Scanning transmission electron microscopy combined with in-situ reflection high energy electron diffraction allows for the study of island formation dynamics, which occurs after 1.2 monolayers of GdN coverage. Magnetometry reveals two ferromagnetic phases, one due to GdN particles with Curie temperature of 70K and a second, anomalous room temperature phase.Comment: 4 pages, 3 figure