An analysis of the crossover between local and massive separation on airfoils

Massive separation on airfoils operating at high Reynolds number is an important problem to the aerodynamicist, since its onset generally determines the limiting performance of an airfoil, and it can lead to serious problems related to aircraft control as well as turbomachinery operation. The phenomenon of crossover between local separation and massive separation on realistic airfoil geometries induced by airfoil thickness is investigated for low speed (incompressible) flow. The problem is studied both for the asymptotic limit of infinite Reynolds number using triple-deck theory, and for finite Reynolds number using interacting boundary-layer theory. Numerical results are presented which follow the evolution of the flow as it develops from a mildly separated state to one dominated by the massively separated flow structure as the thickness of the airfoil geometry is systematically increased. The effect of turbulence upon the evolution of the flow is considered, and the impact is significant, with the principal effect being the suppression of the onset of separation. Finally, the effect of surface suction and injection for boundary-layer control is considered. The approach which was developed provides a valuable tool for the analysis of boundary-layer separation up to and beyond stall. Another important conclusion is that interacting boundary-layer theory provides an efficient tool for the analysis of the effect of turbulence and boundary-layer control upon separated vicsous flow

Retrodiction with two-level atoms: atomic previvals

In the Jaynes-Cummings model a two-level atom interacts with a single-mode electromagnetic field. Quantum mechanics predicts collapses and revivals in the probability that a measurement will show the atom to be excited at various times after the initial preparation of the atom and field. In retrodictive quantum mechanics we seek the probability that the atom was prepared in a particular state given the initial state of the field and the outcome of a later measurement on the atom. Although this is not simply the time reverse of the usual predictive problem, we demonstrate in this paper that retrodictive collapses and revivals also exist. We highlight the differences between predictive and retrodictive evolutions and describe an interesting situation where the prepared state is essentially unretrodictable.Comment: 15 pages, 3 (5) figure

Dissipation control in cavity QED with oscillating mode structures

We demonstrate how a time-dependent dissipative environment may be used as a tool for controlling the quantum state of a two-level atom. In our model system the frequency and coupling strength associated with microscopic reservoir modes are modulated, while the principal features of the reservoir structure remain fixed in time. Physically, this may be achieved by containing a static atom-cavity system inside an oscillating external bath. We show that it is possible to dynamically decouple the atom from its environment, despite the fact that the two remain resonant at all times. This can lead to Markovian dynamics, even for a strong atom-bath coupling, as the atomic decay becomes inhibited into all but a few channels; the reservoir occupation spectrum consequently acquires a sideband structure, with peaks separated by the frequency of the environmental modulation. The reduction in the rate of spontaneous emission using this approach can be significantly greater than could be achieved with an oscillatory atom-bath detuning using the same parameters

Frictional quantum decoherence

The dynamics associated with a measurement-based master equation for quantum Brownian motion are investigated. A scheme for obtaining time evolution from general initial conditions is derived. This is applied to analyze dissipation and decoherence in the evolution of both a Gaussian and a Schr\"{o}dinger cat initial state. Dependence on the diffusive terms present in the master equation is discussed with reference to both the coordinate and momentum representations.Comment: 18 pages, 7 figure

Retrodiction as a tool for micromaser field measurements

We use retrodictive quantum theory to describe cavity field measurements by successive atomic detections in the micromaser. We calculate the state of the micromaser cavity field prior to detection of sequences of atoms in either the excited or ground state, for atoms that are initially prepared in the excited state. This provides the POM elements, which describe such sequences of measurements.Comment: 20 pages, 4(8) figure

Temperature dependence of the average electron-hole pair creation energy in Al0.8Ga0.2As

The temperature dependence of the average energy consumed in the creation of an electron-hole pair in the wide bandgap compound semiconductor Al 0.8Ga0.2As is reported following X-ray measurements made using an Al0.8Ga0.2As photodiode diode coupled to a low-noise charge-sensitive preamplifier operating in spectroscopic photon counting mode. The temperature dependence is reported over the range of 261 K-342 K and is found to be best represented by the equation ε AlGaAs 7.327-0.0077 T, where εAlGaAs is the average electron-hole pair creation energy in eV and T is the temperature in K. © 2013 © 2013 Author(s)

Flexible Invariants Through Semantic Collaboration

Modular reasoning about class invariants is challenging in the presence of dependencies among collaborating objects that need to maintain global consistency. This paper presents semantic collaboration: a novel methodology to specify and reason about class invariants of sequential object-oriented programs, which models dependencies between collaborating objects by semantic means. Combined with a simple ownership mechanism and useful default schemes, semantic collaboration achieves the flexibility necessary to reason about complicated inter-object dependencies but requires limited annotation burden when applied to standard specification patterns. The methodology is implemented in AutoProof, our program verifier for the Eiffel programming language (but it is applicable to any language supporting some form of representation invariants). An evaluation on several challenge problems proposed in the literature demonstrates that it can handle a variety of idiomatic collaboration patterns, and is more widely applicable than the existing invariant methodologies.Comment: 22 page

Development of a Coding Instrument to Assess the Quality and Content of Anti-Tobacco Video Games

Previous research has shown the use of electronic video games as an effective method for increasing content knowledge about the risks of drugs and alcohol use for adolescents. Although best practice suggests that theory, health communication strategies, and game appeal are important characteristics for developing games, no instruments are currently available to examine the quality and content of tobacco prevention and cessation electronic games. This study presents the systematic development of a coding instrument to measure the quality, use of theory, and health communication strategies of tobacco cessation and prevention electronic games. Using previous research and expert review, a content analysis coding instrument measuring 67 characteristics was developed with three overarching categories: type and quality of games, theory and approach, and type and format of messages. Two trained coders applied the instrument to 88 games on four platforms (personal computer, Nintendo DS, iPhone, and Android phone) to field test the instrument. Cohen's kappa for each item ranged from 0.66 to 1.00, with an average kappa value of 0.97. Future research can adapt this coding instrument to games addressing other health issues. In addition, the instrument questions can serve as a useful guide for evidence-based game development.Food and Drug Administration (FDA) Center for Tobacco ProductsNational Cancer Institute (NCI) Office of Communication and EducationCommunication Studie

A Normal-Mode Approach to Jovian Atmospheric Dynamics

We propose a nonlinear, quasi-geostrophic, baroclinic model of Jovian atmospheric dynamics, in which vertical variations of velocity are represented by a truncated sum over a complete set of orthogonal functions obtained by a separation of variables of the linearized quasi-geostrophic potential vorticity equation. A set of equations for the time variation of the mode amplitudes in the nonlinear case is then derived. We show that for a planet with a neutrally stable, fluid interior instead of a solid lower boundary, the baroclinic mode represents motions in the interior, and is not affected by the baroclinic modes. One consequence of this is that a normal-mode model with one baroclinic mode is dynamically equivalent to a one layer model with solid lower topography. We also show that for motions in Jupiter's cloudy lower troposphere, the stratosphere behaves nearly as a rigid lid, so that the normal-mode model is applicable to Jupiter. We test the accuracy of the normal-mode model for Jupiter using two simple problem forced, vertically propagating Rossby waves, using two and three baroclinic modes and baroclinic instability, using two baroclinic modes. We find that the normal-road model provide qualitatively correct results, even with only a very limited number of vertical degrees of freedom

Retrodictive states and two-photon quantum imaging

We use retrodictive quantum theory to analyse two-photon quantum imaging systems. The formalism is particularly suitable for calculating conditional probability distributions.Comment: 5 pages, 3 figure