Design of Semi-active Magnetorheological Valve with Non-magnetic Bypass

The paper presents a methodology of designof a semi-active magnetorheological (MR) valve. Themethodology was composed of the non-Newtonian fluid flowanalysis and FEM analysis of a magnetic circuit. Based onthe present methodology a MR valve was designed. The MRvalve achieves damping force 1600 N at a velocity of 0.15m/s. The time response was determined to 6 ms

Soliton molecules in trapped vector Nonlinear Schrodinger systems

We study a new class of vector solitons in trapped Nonlinear Schrodinger systems modelling the dynamics of coupled light beams in GRIN Kerr media and atomic mixtures in Bose-Einstein condensates. These solitons exist for different spatial dimensions, their existence is studied by means of a systematic mathematical technique and the analysis is made for inhomogeneous media

Four-Wave mixing in degenerate Fermi gases: Beyond the undepleted pump approximation

We analyze the full nonlinear dynamics of the four-wave mixing between an incident beam of fermions and a fermionic density grating. We find that when the number of atoms in the beam is comparable to the number of atoms forming the grating, the dephasing of that grating, which normally leads to a decay of its amplitude, is suppressed. Instead, the density grating and the beam density exhibit large nonlinear coupled amplitude oscillations. In this case four-wave mixing can persist for much longer times compared to the case of negligible back-action. We also evaluate the efficiency of the four-wave mixing and show that it can be enhanced by producing an initial density grating with an amplitude that is less than the maximum value. These results indicate that efficient four-wave mixing in fermionic alkali gases should be experimentally observable.Comment: 9 pages, 8 figure

Dynamics of Fermionic Four-Wave Mixing

We study the dynamics of a beam of fermions diffracted off a density grating formed by fermionic atoms in the limit of a large grating. An exact description of the system in terms of particle-hole operators is developed. We use a combination of analytical and numerical methods to quantitatively explore the Raman-Nath and the Bragg regimes of diffraction. We discuss the limits in diffraction efficiency resulting from the dephasing of the grating due the distribution of energy states occupied by the fermions. We propose several methods to overcome these limits, including the novel technique of ``atom echoes''.Comment: 8 pages, 7 figure

Presence and Persistence of Ebola or Marburg Virus in Patients and Survivors: A Rapid Systematic Review

Background: The 2013-15 Ebola outbreak was unprecedented due to sustainedtransmission within urban environments and thousands of survivors. In 2014 the World Health Organization stated that there was insufficient evidence to give definitive guidance about which body fluids are infectious and when they pose a risk to humans. We report a rapid systematic review of published evidence on the presence of filoviruses in body fluids of infected people and survivors. Methods: Scientific articles were screened for information about filovirus in human body fluids. The aim was to find primary data that suggested high likelihood of actively infectious filovirus in human body fluids (viral RNA). Eligible infections were from Marburg virus (MARV or RAVV) and Zaire, Sudan, Taï Forest and Bundibugyo species of Ebola. [1] Cause of infection had to be laboratory confirmed (in practice either tissue culture or RT-PCR tests), or evidenced by compatible clinical history with subsequent positivity for filovirus antibodies or inflammatory factors. Data were extracted and summarized narratively. Results: 6831 unique articles were found, and after screening, 33 studies were eligible. For most body fluid types there were insufficient patients to draw strong conclusions, and prevalence of positivity was highly variable. Body fluids taken >16 days after onset were usually negative. In the six studies that used both assay methods RT-PCR tests for filovirus RNA gave positive results about 4 times more often than tissue culture. Conclusions: Filovirus was reported in most types of body fluid, but not in every sample from every otherwise confirmed patient. Apart from semen, most non-blood, RT-PCR positive samples are likely to be culture negative and so possibly of low infectious risk. Nevertheless, it is not apparent how relatively infectious many body fluids are during or after illness, even when culture-positive, not least because most test results come from more severe cases. Contact with blood and blood-stained body fluids remains the major risk for disease transmission because of the known high viral loads in blood

Crossovers in Unitary Fermi Systems

Universality and crossover is described for attractive and repulsive interactions where, respectively, the BCS-BEC crossover takes place and a ferromagnetic phase transition is claimed. Crossovers are also described for optical lattices and multicomponent systems. The crossovers, universal parameters and phase transitions are described within the Leggett and NSR models and calculated in detail within the Jastrow-Slater approximation. The physics of ultracold Fermi atoms is applied to neutron, nuclear and quark matter, nuclei and electrons in solids whenever possible. Specifically, the differences between optical lattices and cuprates is discussed w.r.t. antiferromagnetic, d-wave superfluid phases and phase separation.Comment: 50 pages, 15 figures. Contribution to Lecture Notes in Physics "BCS-BEC crossover and the Unitary Fermi Gas" edited by W. Zwerge

A formally verified compiler back-end

This article describes the development and formal verification (proof of semantic preservation) of a compiler back-end from Cminor (a simple imperative intermediate language) to PowerPC assembly code, using the Coq proof assistant both for programming the compiler and for proving its correctness. Such a verified compiler is useful in the context of formal methods applied to the certification of critical software: the verification of the compiler guarantees that the safety properties proved on the source code hold for the executable compiled code as well

Nonlinear Waves in Bose-Einstein Condensates: Physical Relevance and Mathematical Techniques

The aim of the present review is to introduce the reader to some of the physical notions and of the mathematical methods that are relevant to the study of nonlinear waves in Bose-Einstein Condensates (BECs). Upon introducing the general framework, we discuss the prototypical models that are relevant to this setting for different dimensions and different potentials confining the atoms. We analyze some of the model properties and explore their typical wave solutions (plane wave solutions, bright, dark, gap solitons, as well as vortices). We then offer a collection of mathematical methods that can be used to understand the existence, stability and dynamics of nonlinear waves in such BECs, either directly or starting from different types of limits (e.g., the linear or the nonlinear limit, or the discrete limit of the corresponding equation). Finally, we consider some special topics involving more recent developments, and experimental setups in which there is still considerable need for developing mathematical as well as computational tools.Comment: 69 pages, 10 figures, to appear in Nonlinearity, 2008. V2: new references added, fixed typo