Air conditioning system and component therefore distributing air flow from opposite directions

The air conditioning system comprises a plurality of separate air conditioning units coupled to a common supply duct such that air may be introduced into the supply duct in two opposite flow directions. A plurality of outlets such as registers or auxiliary or branch ducts communicate with the supply duct and valve means are disposed in the supply duct at at least some of the outlets for automatically channelling a controllable amount of air from the supply duct to the associated outlet regardless of the direction of air flow within the supply duct. The valve means comprises an automatic air volume control apparatus for distribution within the air supply duct into which air may be introduced from two opposite directions. The apparatus incorporates a freely swinging movable vane in the supply duct to automatically channel into the associated outlet only the deflected air flow which has the higher relative pressure

Runtime Verification of Temporal Properties over Out-of-order Data Streams

We present a monitoring approach for verifying systems at runtime. Our approach targets systems whose components communicate with the monitors over unreliable channels, where messages can be delayed or lost. In contrast to prior works, whose property specification languages are limited to propositional temporal logics, our approach handles an extension of the real-time logic MTL with freeze quantifiers for reasoning about data values. We present its underlying theory based on a new three-valued semantics that is well suited to soundly and completely reason online about event streams in the presence of message delay or loss. We also evaluate our approach experimentally. Our prototype implementation processes hundreds of events per second in settings where messages are received out of order.Comment: long version of the CAV 2017 pape

Nonsequential Double Recombination in Intense Laser Fields

A second plateau in the harmonic spectra of laser-driven two-electron atoms is observed both in the numerical solution of a low-dimensional model helium atom and using an extended strong field approximation. It is shown that the harmonics well beyond the usual cut-off are due to the simultaneous recombination of the two electrons, which were emitted during different, previous half-cycles. The new cut-off is explained in terms of classical trajectories. Classical predictions and the time-frequency analysis of the ab initio quantum results are in excellent agreement. The mechanism corresponds to the inverse single photon double ionization process in the presence of a (low frequency) laser field.Comment: 4 pages, RevTeX, v2 with an extended strong field approximation treatment of the process; instead, v1 describes an attosecond control scheme to enhance the proces

Wind Tunnel Generation of Sinusoidal Lateral and Longitudinal Gusts by Circulation of Twin Parallel Airfoils

A gust generator capable of producing sinusoidal lateral and longitudinal gusts was developed for the purpose of studying the gust response of a model rotor-propeller in a wind tunnel. The gust generator utilized harmonic circulation control of twin parallel airfoils to achieve the harmonic lift variation required for gust generation. The gust generator design, construction, and testing is described. Typical test results are presented in the form of lateral and longitudinal gust perturbation velocities as a function of generator reduced frequency

Radiative Penguin Decays of B Mesons: Measurements of B -> K* gamma, B -> K2*(1430) gamma, and Search for B0 -> phi gamma

Electromagnetic radiative penguin decays of the B meson were studied with the BaBar detector at SLAC's PEP-II asymmetric-energy B Factory. Branching fractions and isospin asymmetry of the decay B -> K* gamma, branching fractions of B -> K2*(1430) gamma, and a search for B0 -> phi gamma are presented. The decay rates may be enhanced by contributions from non-standard model processes.Comment: 5 pages, 3 figures, presented at the 2004 Meeting of the Division of Particles and Fields of the American Physical Society, Riverside, CA, USA, August 26-31, 2004, submitted to International Journal of Modern Physics

A Tale of Two Theories: Quantum Griffiths Effects in Metallic Systems

We show that two apparently contradictory theories on the existence of Griffiths-McCoy singularities in magnetic metallic systems [1,2] are in fact mathematically equivalent. We discuss the generic phase diagram of the problem and show that there is a non-universal crossover temperature range T* < T < W where power law behavior (Griffiths-McCoy behavior) is expect. For T<T* power law behavior ceases to exist due to the destruction of quantum effects generated by the dissipation in the metallic environment. We show that T* is an analogue of the Kondo temperature and is controlled by non-universal couplings.Comment: 4 pages, 2 figure

Potential and limitations of nucleon transfer experiments with radioactive beams at REX-ISOLDE

As a tool for studying the structure of nuclei far off stability the technique of gamma-ray spectroscopy after low-energy single-nucleon transfer reactions with radioactive nuclear beams in inverse kinematics was investigated. Modules of the MINIBALL germanium array and a thin position-sensitive parallel plate avalanche counter (PPAC) to be employed in future experiments at REX-ISOLDE were used in a test experiment performed with a stable 36S beam on deuteron and 9Be targets. It is demonstrated that the Doppler broadening of gamma lines detected by the MINIBALL modules is considerably reduced by exploiting their segmentation, and that for beam intensities up to 10^6 particles/s the PPAC positioned around zero degrees with respect to the beam axis allows not only to significantly reduce the gamma background by requiring coincidences with the transfer products but also to control the beam and its intensity by single particle counting. The predicted large neutron pickup cross sections of neutron-rich light nuclei on 2H and 9Be targets at REX-ISOLDE energies of 2.2 MeV A are confirmed.Comment: 11 pages, 8 figure