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

Extreme Pyroconvective Updrafts During a Megafire

Airborne cloud radar reveals extreme wildfire updrafts (~60 m s−1) and downdrafts (~30 m s−1) rivaling those in supercell thunderstorms. These extreme vertical velocities occur through a 3-km-deep layer and below the base of a developing pyrocumulonimbus (pyroCb) cloud, which extends to the tropopause at 12 km. In situ aircraft sampling shows updrafts are linked to large temperature and moisture excesses but remain subsaturated at flight level (i.e., below cloud base). Parcel estimates using the in situ data help explain how these “hot-moist” updrafts trigger the overlying pyroCb. The extreme vertical motions observed also pose a previously undocumented aviation hazard

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

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

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

Advancing Social Determinants of Health Through Investments in Postsecondary Attainment and Sustaining Employment

In 2018, the Humana Foundation shifted the focus of its work to the social determinants of health, with the key aim of promoting health equity. With this new focus came a recognition that larger, long-term investments would be needed to support strategies addressing upstream determinants of health. The foundation also recognized the need to co-create processes with communities to understand how to provide essential holistic supports. This article explores one area of the foundation’s new efforts, the Strategic Community Investment Program, which focuses in part on postsecondary attainment and sustaining employment. The foundation partnered with the University of Louisville’s Center for Health Organization Transformation to systematically review models in the literature of successful postsecondary attainment strategies to evaluate the results in communities. This article shares key learnings from the literature and coordinated practice in communities that were used to revise the foundation’s strategy, and concludes with suggestions for other foundations interested in addressing postsecondary attainment and other social determinants of health to better meet the challenges and opportunities of the communities they serve

MAVERIC: Exploring Space Visualization Technology Through Academic Flight Programs

Magnetic Vector and Remote Imaging Communication satellite (MAVERIC) is a science and technology CubeSate designed and built by students at the University of Southern California (USC) and Space Engineering Research Center (SERC). MAVERIC is a student-led and built CubeSat under the Department of Astronautical Project Class for Microsatellites, with a mission to test out science and technology

Star formation in z>1 3CR host galaxies as seen by Herschel

We present Herschel (PACS and SPIRE) far-infrared (FIR) photometry of a complete sample of z>1 3CR sources, from the Herschel GT project The Herschel Legacy of distant radio-loud AGN (PI: Barthel). Combining these with existing Spitzer photometric data, we perform an infrared (IR) spectral energy distribution (SED) analysis of these landmark objects in extragalactic research to study the star formation in the hosts of some of the brightest active galactic nuclei (AGN) known at any epoch. Accounting for the contribution from an AGN-powered warm dust component to the IR SED, about 40% of our objects undergo episodes of prodigious, ULIRG-strength star formation, with rates of hundreds of solar masses per year, coeval with the growth of the central supermassive black hole. Median SEDs imply that the quasar and radio galaxy hosts have similar FIR properties, in agreement with the orientation-based unification for radio-loud AGN. The star-forming properties of the AGN hosts are similar to those of the general population of equally massive non-AGN galaxies at comparable redshifts, thus there is no strong evidence of universal quenching of star formation (negative feedback) within this sample. Massive galaxies at high redshift may be forming stars prodigiously, regardless of whether their supermassive black holes are accreting or not.Comment: 30 pages, 13 figures, 4 tables. Accepted for publication in A&