10,554 research outputs found
The decay and collisions of dark solitons in superfluid Fermi gases
We study soliton collisions and the decay of solitons into sound in
superfluid Fermi gases across the Bose-Einstein condensate to
Bardeen-Cooper-Schrieffer (BEC-BCS) crossover by performing numerical
simulations of the time-dependent Bogoliubov-de Gennes equations. This decay
process occurs when the solitons are accelerated to the bulk pair-breaking
speed by an external potential. A similar decay process may occur when solitons
are accelerated by an inelastic collision with another soliton. We find that
soliton collisions become increasingly inelastic as we move from the BEC to BCS
regimes, and the excess energy is converted into sound. We interpret this
effect as being due to evolution of Andreev bound states localized within the
soliton.Comment: 9 pages, 5 figure
Renormalization Group Method and Reductive Perturbation Method
It is shown that the renormalization group method does not necessarily
eliminate all secular terms in perturbation series to partial differential
equations and a functional subspace of renormalizable secular solutions
corresponds to a choice of scales of independent variables in the reductive
perturbation method.Comment: 5 pages, late
Evaluation of Northern Illinois Residential Retrofit Delivery Practices
Using a detailed BEopt analysis, PARR has developed packages of measures following a 'loading order' appropriate for cold climates at increasing levels of savings. Packages of measures to provide 'good, better, best' energy savings were determined based on predicted source energy savings, safety issues, program costs and simple payback for customers
Timed Multiparty Session Types
We propose a typing theory, based on multiparty session types, for modular verification of real-time choreographic interactions. To model real-time implementations, we introduce a simple calculus with delays and a decidable static proof system. The proof system ensures type safety and time-error freedom, namely processes respect the prescribed timing and causalities between interactions. A decidable condition on timed global types guarantees time-progress for validated processes with delays, and gives a sound and complete characterisation of a new class of CTAs with general topologies that enjoys progress and liveness
Water masers in the massive protostar IRAS 20126+4104: ejection and deceleration
We report on the first multi-epoch, phase referenced VLBI observations of the
water maser emission in a high-mass protostar associated with a disk-jet
system. The source under study, IRAS 20126+4104, has been extensively
investigated in a large variety of tracers, including water maser VLBA data
acquired by us three years before the present observations. The new findings
fully confirm the interpretation proposed in our previous study, namely that
the maser spots are expanding from a common origin coincident with the
protostar. We also demonstrate that the observed 3-D velocities of the maser
spots can be fitted with a model assuming that the spots are moving along the
surface of a conical jet, with speed increasing for increasing distance from
the cone vertex. We also present the results of single-dish monitoring of the
water maser spectra in IRAS 20126+4104. These reveal that the peak velocity of
some maser lines decreases linearly with time. We speculate that such a
deceleration could be due to braking of the shocks from which the maser
emission originates, due to mass loading at the shock front or dissipation of
the shock energy.Comment: 11 pages, 8 figures. Accepted for publication in A&
Infrared images of reflection nebulae and Orion's bar: Fluorescent molecular hydrogen and the 3.3 micron feature
Images were obtained of the (fluorescent) molecular hydrogen 1-0 S(1) line, and of the 3.3 micron emission feature, in Orion's Bar and three reflection nebulae. The emission from these species appears to come from the same spatial locations in all sources observed. This suggests that the 3.3 micron feature is excited by the same energetic UV-photons which cause the molecular hydrogen to fluoresce
Water maser variability over 20 years in a large sample of star-forming regions: the complete database
Context. Water vapor emission at 22 GHz from masers associated with
star-forming regions is highly variable. Aims. We present a database of up to
20 years of monitoring of a sample of 43 masers within star-forming regions.
The sample covers a large range of luminosities of the associated IRAS source
and is representative of the entire population of H2O masers of this type. The
database forms a good starting point for any further study of H2O maser
variability. Methods. The observations were obtained with the Medicina 32-m
radiotelescope, at a rate of 4-5 observations per year. Results. To provide a
database that can be easily accessed through the web, we give for each source:
plots of the calibrated spectra, the velocity-time-flux density plot, the light
curve of the integrated flux, the lower and upper envelopes of the maser
emission, the mean spectrum, and the rate of the maser occurrence as a function
of velocity. Figures for just one source are given in the text for
representative purposes. Figures for all the sources are given in electronic
form in the on-line appendix. A discussion of the main properties of the H2O
variability in our sample will be presented in a forthcoming paper.Comment: 11 pages, 9 figures, to be published in Astronomy and Astrophysics;
all plots in appendix (not included) can be downloaded from
http://www.arcetri.astro.it/~starform/water_maser_v2.html or
http://www.ira.inaf.it/papers/masers/water_maser_v2.htm
Real-Time Synthesis is Hard!
We study the reactive synthesis problem (RS) for specifications given in
Metric Interval Temporal Logic (MITL). RS is known to be undecidable in a very
general setting, but on infinite words only; and only the very restrictive BRRS
subcase is known to be decidable (see D'Souza et al. and Bouyer et al.). In
this paper, we precise the decidability border of MITL synthesis. We show RS is
undecidable on finite words too, and present a landscape of restrictions (both
on the logic and on the possible controllers) that are still undecidable. On
the positive side, we revisit BRRS and introduce an efficient on-the-fly
algorithm to solve it
- âŠ