High-Precision Thermodynamics and Hagedorn Density of States

We compute the entropy density of the confined phase of QCD without quarks on the lattice to very high accuracy. The results are compared to the entropy density of free glueballs, where we include all the known glueball states below the two-particle threshold. We find that an excellent, parameter-free description of the entropy density between 0.7Tc and Tc is obtained by extending the spectrum with the exponential spectrum of the closed bosonic string.Comment: 4 pages, 3 figure

Theory of PbTiO3, BaTiO3, and SrTiO3 Surfaces

First-principles total-energy calculations are carried out for (001) surfaces of the cubic perovskite ATiO3 compounds PbTiO3, BaTiO3, and SrTiO3. Both AO-terminated and TiO2-terminated surfaces are considered, and fully-relaxed atomic configurations are determined. In general, BaTiO3 and SrTiO3 are found to have a rather similar behavior, while PbTiO3 is different in many respects because of the partially covalent character of the Pb-O bonds. PbTiO3 and BaTiO3 are ferroelectrics, and the influence of the surface upon the ferroelectric distortions is studied for the case of a tetragonal ferroelectric distortion parallel to the surface. The surface relaxation energies are found to be substantial, i.e., many times larger than the bulk ferroelectric well depth. Nevertheless, the influence of the surface upon the ferroelectric order parameter is modest, and is qualitatively as well as quantitatively different for the two materials. Surface energies and electronic properties are also computed. It is found that for BaTiO3 and SrTiO3 surfaces, both AO-terminated and TiO2-terminated surfaces can be thermodynamically stable, whereas for PbTiO3 only the PbO surface termination is stable.Comment: 13 pages with 3 postscript figures embedded. Uses REVTEX and epsf macros. Also available at http://www.physics.rutgers.edu/~dhv/preprints/index.html#bm_pbsur

Unifying Requirements and Code: an Example

Requirements and code, in conventional software engineering wisdom, belong to entirely different worlds. Is it possible to unify these two worlds? A unified framework could help make software easier to change and reuse. To explore the feasibility of such an approach, the case study reported here takes a classic example from the requirements engineering literature and describes it using a programming language framework to express both domain and machine properties. The paper describes the solution, discusses its benefits and limitations, and assesses its scalability.Comment: 13 pages; 7 figures; to appear in Ershov Informatics Conference, PSI, Kazan, Russia (LNCS), 201

AVIRIS data characteristics and their effects on spectral discrimination of rocks exposed in the Drum Mountains, Utah: Results of a preliminary study

Airborne Visible and Infrared Imaging Spectrometer (AVIRIS) data collected over a geologically diverse field site and over a nearby calibration site were analyzed and interpreted in efforts to document radiometric and geometric characteristics of AVIRIS, quantify and correct for detrimental sensor phenomena, and evaluate the utility of AVIRIS data for discriminating rock types and identifying their constituent mineralogy. AVIRIS data acquired for these studies exhibit a variety of detrimental artifacts and have lower signal-to-noise ratios than expected in the longer wavelength bands. Artifacts are both inherent in the image data and introduced during ground processing, but most may be corrected by appropriate processing techniques. Poor signal-to-noise characteristics of this AVIRIS data set limited the usefulness of the data for lithologic discrimination and mineral identification. Various data calibration techniques, based on field-acquired spectral measurements, were applied to the AVIRIS data. Major absorption features of hydroxyl-bearing minerals were resolved in the spectra of the calibrated AVIRIS data, and the presence of hydroxyl-bearing minerals at the corresponding ground locations was confirmed by field data

Public Release of 2dF data from the Fornax Cluster Spectroscopic Survey

Thanks to the 2dF spectrograph on the Anglo-Australian Telescope, we have recently completed the first stage of a complete spectroscopic survey more than one order of magnitude larger than any previous study, measuring 7000 spectra in a 6 sq.deg. area as part of our study of the Fornax Cluster. In this article we describe the public release of 3600 spectra from our first field. We hope that this public release will encourage colleagues making surveys for rare objects to choose these fields, as much of the follow-up spectroscopy that might be required is available from our data.Comment: To appear in the AAO Newsletter. Data online at http://astro.ph.unimelb.edu.au/data

Specifying Reusable Components

Reusable software components need expressive specifications. This paper outlines a rigorous foundation to model-based contracts, a method to equip classes with strong contracts that support accurate design, implementation, and formal verification of reusable components. Model-based contracts conservatively extend the classic Design by Contract with a notion of model, which underpins the precise definitions of such concepts as abstract equivalence and specification completeness. Experiments applying model-based contracts to libraries of data structures suggest that the method enables accurate specification of practical software

On the growth of normal faults and the existence of flats and ramps along the El Asnam active fold and thrust system

The combination of detailed topographic leveling on the southwest segment of the El Asnam thrust fault with existing seismic and geologic data implies that the geometry of this fault involves shallow dipping flats and steep ramps. The fault appears to be growing along strike toward the southwest end, where the main shock initiated in 1980. From a depth of about 10 km, the main thrust appears to ramp to the basement-Cenozoic cover interface on a plane striking N40°E and dipping 50°–55° to the northwest. Along the southwest segment where folding has not yet developed, the thrust continues steeply through the Cenozoic cover to the near surface where it flattens, causing normal faulting. Along the central and northeast segments, which display a more evolved fold structure, the deep thrust probably flattens at a depth of 5–6 km, into a decollement along the Cenozoic-Jurassic interface before ramping to the surface. The Sara El Marouf and Kef El Mes anticlines have thus formed as fault propagation folds. Normal faults at Beni Rached probably branch with the thrust to maintain kinematic compatibility between the deep ramp and decollement. The greater separation (∼7 km) between the normal faults at Beni Rached and the thrust where it crosses Oued Cheliff than along the southwest segment (∼1 km) reflects the greater depth of the ramp to flat bend. We infer that the September 9, 1954, earthquake activated only the central deep segment of the main thrust together with the Beni Rached normal faults, while that of October 10, 1980, activated the whole system of flat decollements, ramp thrusts and compatibility normal faults. Further complexities of the faulting in map view are related to changes of strike of the thrust (in particular north of Oued Cheliff)

Crosstalk Correction in Atomic Force Microscopy

Commercial atomic force microscopes usually use a four-segmented photodiode to detect the motion of the cantilever via laser beam deflection. This read-out technique enables to measure bending and torsion of the cantilever separately. A slight angle between the orientation of the photodiode and the plane of the readout beam, however, causes false signals in both readout channels, so-called crosstalk, that may lead to misinterpretation of the acquired data. We demonstrate this fault with images recorded in contact mode on ferroelectric crystals and present an electronic circuit to compensate for it, thereby enabling crosstalk-free imaging