Excitations in confined helium

We design models for helium in matrices like aerogel, Vycor or Geltech from a manifestly microscopic point of view. For that purpose, we calculate the dynamic structure function of 4He on Si substrates and between two Si walls as a function of energy, momentum transfer, and the scattering angle. The angle--averaged results are in good agreement with the neutron scattering data; the remaining differences can be attributed to the simplified model used here for the complex pore structure of the materials. A focus of the present work is the detailed identification of coexisting layer modes and bulk--like excitations, and, in the case of thick films, ripplon excitations. Involving essentially two--dimensional motion of atoms, the layer modes are sensitive to the scattering angle.Comment: Phys. Rev. B (2003, in press

Observation of Single Transits in Supercooled Monatomic Liquids

A transit is the motion of a system from one many-particle potential energy valley to another. We report the observation of transits in molecular dynamics (MD) calculations of supercooled liquid argon and sodium. Each transit is a correlated simultaneous shift in the equilibrium positions of a small local group of particles, as revealed in the fluctuating graphs of the particle coordinates versus time. This is the first reported direct observation of transit motion in a monatomic liquid in thermal equilibrium. We found transits involving 2 to 11 particles, having mean shift in equilibrium position on the order of 0.4 R_1 in argon and 0.25 R_1 in sodium, where R_1 is the nearest neighbor distance. The time it takes for a transit to occur is approximately one mean vibrational period, confirming that transits are fast.Comment: 19 pages, 8 figure

Probabilistic Model Checking for Energy Analysis in Software Product Lines

In a software product line (SPL), a collection of software products is defined by their commonalities in terms of features rather than explicitly specifying all products one-by-one. Several verification techniques were adapted to establish temporal properties of SPLs. Symbolic and family-based model checking have been proven to be successful for tackling the combinatorial blow-up arising when reasoning about several feature combinations. However, most formal verification approaches for SPLs presented in the literature focus on the static SPLs, where the features of a product are fixed and cannot be changed during runtime. This is in contrast to dynamic SPLs, allowing to adapt feature combinations of a product dynamically after deployment. The main contribution of the paper is a compositional modeling framework for dynamic SPLs, which supports probabilistic and nondeterministic choices and allows for quantitative analysis. We specify the feature changes during runtime within an automata-based coordination component, enabling to reason over strategies how to trigger dynamic feature changes for optimizing various quantitative objectives, e.g., energy or monetary costs and reliability. For our framework there is a natural and conceptually simple translation into the input language of the prominent probabilistic model checker PRISM. This facilitates the application of PRISM's powerful symbolic engine to the operational behavior of dynamic SPLs and their family-based analysis against various quantitative queries. We demonstrate feasibility of our approach by a case study issuing an energy-aware bonding network device.Comment: 14 pages, 11 figure

Quantum sticking, scattering and transmission of 4He atoms from superfluid 4He surfaces

We develop a microscopic theory of the scattering, transmission, and sticking of 4He atoms impinging on a superfluid 4He slab at near normal incidence, and inelastic neutron scattering from the slab. The theory includes coupling between different modes and allows for inelastic processes. We find a number of essential aspects that must be observed in a physically meaningful and reliable theory of atom transmission and scattering; all are connected with multiparticle scattering, particularly the possibility of energy loss. These processes are (a) the coupling to low-lying (surface) excitations (ripplons/third sound) which is manifested in a finite imaginary part of the self energy, and (b) the reduction of the strength of the excitation in the maxon/roton region

Numerical and Analytical Model of an Electrodynamic Dust Shield for Solar Panels on Mars

Masuda and collaborators at the University of Tokyo developed a method to confine and transport particles called the electric curtain in which a series of parallel electrodes connected to an AC source generates a traveling wave that acts as a contactless conveyor. The curtain electrodes can be excited by a single-phase or a multi-phase AC voltage. A multi-phase curtain produces a non-uniform traveling wave that provides controlled transport of those particles [1-6]. Multi-phase electric curtains from two to six phases have been developed and studied by several research groups [7-9]. We have developed an Electrodynamic Dust Shield prototype using threephase AC voltage electrodes to remove dust from surfaces. The purpose of the modeling work presented here is to research and to better understand the physics governing the electrodynamic shield, as well as to advance and to support the experimental dust shield research

AAPM medical physics practice guideline 10.a.: Scope of practice for clinical medical physics.

The American Association of Physicists in Medicine (AAPM) is a nonprofit professional society whose primary purposes are to advance the science, education, and professional practice of medical physics. The AAPM has more than 8000 members and is the principal organization of medical physicists in the United States. The AAPM will periodically define new practice guidelines for medical physics practice to help advance the science of medical physics and to improve the quality of service to patients throughout the United States. Existing medical physics practice guidelines will be reviewed for the purpose of revision or renewal, as appropriate, on their fifth anniversary or sooner. Each medical physics practice guideline (MPPG) represents a policy statement by the AAPM, has undergone a thorough consensus process in which it has been subjected to extensive review, and requires the approval of the Professional Council. The medical physics practice guidelines recognize that the safe and effective use of diagnostic and therapeutic radiation requires specific training, skills, and techniques as described in each document. As the review of the previous version of AAPM Professional Policy (PP)-17 (Scope of Practice) progressed, the writing group focused on one of the main goals: to have this document accepted by regulatory and accrediting bodies. After much discussion, it was decided that this goal would be better served through a MPPG. To further advance this goal, the text was updated to reflect the rationale and processes by which the activities in the scope of practice were identified and categorized. Lastly, the AAPM Professional Council believes that this document has benefitted from public comment which is part of the MPPG process but not the AAPM Professional Policy approval process. The following terms are used in the AAPM's MPPGs: Must and Must Not: Used to indicate that adherence to the recommendation is considered necessary to conform to this practice guideline. Should and Should Not: Used to indicate a prudent practice to which exceptions may occasionally be made in appropriate circumstances

Redshift clustering in the Hubble Deep Field

We present initial results from a redshift survey carried out with the Low Resolution Imaging Spectrograph on the 10~m W. M. Keck Telescope in the Hubble Deep Field. In the redshift distribution of the 140 extragalactic objects in this sample we find 6 strong peaks, with velocity dispersions of ${\sim}400${\kms}. The areal density of objects within a particular peak, while it may be non-uniform, does not show evidence for strong central concentration. These peaks have characteristics (velocity dispersions, density enhancements, spacing, and spatial extent) similar to those seen in a comparable redshift survey in a different high galactic latitude field (Cohen et al 1996), confirming that the structures are generic. They are probably the high redshift counterparts of huge galaxy structures (``walls'') observed locally.Comment: 14 pages, including 2 figures, to appear in ApJ Letter

Optical and Near-Infrared Imaging of the IRAS 1-Jy Sample of Ultraluminous Infrared Galaxies: II. The Analysis

The present paper discusses the results from an analysis of the images presented in Paper I (astro-ph/0207373) supplemented with new spectroscopic data obtained at Keck. All but one object in the 1-Jy sample show signs of a strong tidal interaction/merger. Multiple mergers involving more than two galaxies are seen in no more than 5 of the 118 (< 5%) systems. None of the 1-Jy sources is in the first-approach stage of the interaction, and most (56%) of them harbor a single disturbed nucleus and are therefore in the later stages of a merger. Seyfert galaxies (especially those of type 1), warm ULIGs (f_{25}/f_{60} > 0.2) and the more luminous systems (> 10^{12.5} L_sun) all show a strong tendency to be advanced mergers with a single nucleus. An analysis of the surface brightness profiles of the host galaxies in single-nucleus sources reveals that about 73% of the R and K' surface brightness profiles are fit adequately by an elliptical-like R^{1/4}-law. These elliptical-like 1-Jy systems have luminosities, half-light radii, and R-band axial ratio distribution that are similar to those of normal (inactive) intermediate-luminosity ellipticals and follow with some scatter the same mu_e - r_e relation. These elliptical-like hosts are most common among merger remnants with Seyfert 1 nuclei (83%), Seyfert 2 optical characteristics (69%) or mid-infrared (ISO) AGN signatures (80%). In general, the results from the present study are consistent with the merger-driven evolutionary sequence ``cool ULIGs --> warm ULIGs --> quasars,'' although there are many exceptions. (abridged)Comment: Correction to D.-C. Kim's affiliations. 42 pages + 3 tables + 3 multi-page jpeg figures; see http://www.astro.umd.edu/~veilleux/pubs/paper2.tar.gz for original figure

Dust Removal Technolgy for a Mars In Situ Resource Utilization System

Several In Situ Resource Utilization (lSRU) systems being considered to enable future manned exploration of Mars require capture of Martian atmospheric gas to extract oxygen and other commodities. However, the Martian atmosphere contains relatively large amounts of dust which must be removed in tbe collection systems of the ISRU chambers. The amount of atmospheric dust varies largely with the presence of daily dust devils and the less frequent but much more powerful global dust storms. A common and mature dust removal technology for terrestrial systems is the electrostatic precipitator. With this technology, dust particles being captured are imparted an electrostatic charge by means of a corona discharge. Charged dust particles are then driven to a region of high electric field which forces the particles onto a collector for capture. Several difficulties appear when this technology is adapted to the Martian atmospheric environment At the low atmospheric pressure of Mars, electrical breakdown occurs at much lower voltages than on Earth and corona discharge is difficult to sustain. In this paper, we report on our efforts to obtain a steady corona/glow discharge in a simulated Martian atmosphere of carbon dioxide at 9 millibars of pressure. We also present results on the design of a dust capture system under these atmospheric conditions