509 research outputs found
The Horizontal Component of Photospheric Plasma Flows During the Emergence of Active Regions on the Sun
The dynamics of horizontal plasma flows during the first hours of the
emergence of active region magnetic flux in the solar photosphere have been
analyzed using SOHO/MDI data. Four active regions emerging near the solar limb
have been considered. It has been found that extended regions of Doppler
velocities with different signs are formed in the first hours of the magnetic
flux emergence in the horizontal velocity field. The flows observed are
directly connected with the emerging magnetic flux; they form at the beginning
of the emergence of active regions and are present for a few hours. The Doppler
velocities of flows observed increase gradually and reach their peak values
4-12 hours after the start of the magnetic flux emergence. The peak values of
the mean (inside the +/-500 m/s isolines) and maximum Doppler velocities are
800-970 m/s and 1410-1700 m/s, respectively. The Doppler velocities observed
substantially exceed the separation velocities of the photospheric magnetic
flux outer boundaries. The asymmetry was detected between velocity structures
of leading and following polarities. Doppler velocity structures located in a
region of leading magnetic polarity are more powerful and exist longer than
those in regions of following polarity. The Doppler velocity asymmetry between
the velocity structures of opposite sign reaches its peak values soon after the
emergence begins and then gradually drops within 7-12 hours. The peak values of
asymmetry for the mean and maximal Doppler velocities reach 240-460 m/s and
710-940 m/s, respectively. An interpretation of the observable flow of
photospheric plasma is given.Comment: 20 pages, 10 figures, 3 tables. The results of article were presented
at the ESPM-13 (12-16 September 2011, Rhodes, Greece, Abstract Book p. 102,
P.4.12,
http://astro.academyofathens.gr/espm13/documents/ESPM13_abstract_programme_book.pdf
The Relationship Between Plasma Flow Doppler Velocities and Magnetic Field Parameters During the Emergence of Active Regions at the Solar Photospheric Level
A statistical study has been carried out of the relationship between plasma
flow Doppler velocities and magnetic field parameters during the emergence of
active regions at the solar photospheric level with data acquired by the
Michelson Doppler Imager (MDI) onboard the Solar and Heliospheric Observatory
(SOHO). We have investigated 224 emerging active regions with different spatial
scales and positions on the solar disc. The following relationships for the
first hours of the emergence of active regions have been analysed: i) of peak
negative Doppler velocities with the position of the emerging active regions on
the solar disc; ii) of peak plasma upflow and downflow Doppler velocities with
the magnetic flux growth rate and magnetic field strength for the active
regions emerging near the solar disc centre (the vertical component of plasma
flows); iii) of peak positive and negative Doppler velocities with the magnetic
flux growth rate and magnetic field strength for the active regions emerging
near the limb (the horizontal component of plasma flows); iv) of the magnetic
flux growth rate with the density of emerging magnetic flux; v) of the Doppler
velocities and magnetic field parameters for the first hours of the appearance
of active regions with the total unsigned magnetic flux at the maximum of their
development.Comment: 14 pages, 8 figures. The results of article were presented at the
ESPM-13 (12-16 September 2011, Rhodes, Greece, Abstract Book p. 102-103,
P.4.13,
http://astro.academyofathens.gr/espm13/documents/ESPM13_abstract_programme_book.pdf
Ranking Templates for Linear Loops
We present a new method for the constraint-based synthesis of termination
arguments for linear loop programs based on linear ranking templates. Linear
ranking templates are parametrized, well-founded relations such that an
assignment to the parameters gives rise to a ranking function. This approach
generalizes existing methods and enables us to use templates for many different
ranking functions with affine-linear components. We discuss templates for
multiphase, piecewise, and lexicographic ranking functions. Because these
ranking templates require both strict and non-strict inequalities, we use
Motzkin's Transposition Theorem instead of Farkas Lemma to transform the
generated -constraint into an -constraint.Comment: TACAS 201
Test of exotic scalar and tensor interactions in K_e3 decay using stopped positive kaons
The form factors of the decay K+ --> pi0 e+ nu (K_e3) have been determined
from the comparison of the experimental and Monte Carlo Dalitz distributions
containing about 10^5 K_e3 events. The following values of the parameters were
obtained: lambda_+ = 0.0278 +- 0.0017(stat) +- 0.0015(syst), f_S/f_+(0) =
0.0040 +- 0.0160(stat) +- 0.0067(syst) and f_T/f_+(0) = 0.019 +- 0.080(stat) +-
0.038(syst). Both scalar f_S and tensor f_T form factors are consistent with
the Standard Model predictions of zero values.Comment: 10 pages, 5 figures, contributed to the proceedings of NANP
Conference, Dubna, June 19-23, 200
Self-similar solution of a nonsteady problem of nonisothermal vapour condensation on a droplet growing in diffusion regime
This paper presents a mathematically exact self-similar solution to the joint
nonsteady problems of vapour diffusion towards a droplet growing in a
vapour-gas medium and of removal of heat released by a droplet into a
vapour-gas medium during vapour condensation. An equation for the temperature
of the droplet is obtained; and it is only at that temperature that the
self-similar solution exists. This equation requires the constancy of the
droplet temperature and even defines it unambiguously throughout the whole
period of the droplet growth. In the case of strong display of heat effects,
when the droplet growth rate decreases significantly, the equation for the
temperature of the droplet is solved analytically. It is shown that the
obtained temperature fully coincides with the one that settles in the droplet
simultaneously with the settlement of its diffusion regime of growth. At the
obtained temperature of the droplet the interrelated nonsteady vapour
concentration and temperature profiles of the vapour-gas medium around the
droplet are expressed in terms of initial (prior to the nucleation of the
droplet) parameters of the vapour-gas medium. The same parameters are used to
formulate the law in accordance with which the droplet is growing in diffusion
regime, and also to define the time that passes after the nucleation of the
droplet till the settlement of diffusion regime of droplet growth, when the
squared radius of the droplet becomes proportionate to time. For the sake of
completeness the case of weak display of heat effects is been studied.Comment: 12 pages, 4 figure
A Survey of Satisfiability Modulo Theory
Satisfiability modulo theory (SMT) consists in testing the satisfiability of
first-order formulas over linear integer or real arithmetic, or other theories.
In this survey, we explain the combination of propositional satisfiability and
decision procedures for conjunctions known as DPLL(T), and the alternative
"natural domain" approaches. We also cover quantifiers, Craig interpolants,
polynomial arithmetic, and how SMT solvers are used in automated software
analysis.Comment: Computer Algebra in Scientific Computing, Sep 2016, Bucharest,
Romania. 201
A glassy contribution to the heat capacity of hcp He solids
We model the low-temperature specific heat of solid He in the hexagonal
closed packed structure by invoking two-level tunneling states in addition to
the usual phonon contribution of a Debye crystal for temperatures far below the
Debye temperature, . By introducing a cutoff energy in the
two-level tunneling density of states, we can describe the excess specific heat
observed in solid hcp He, as well as the low-temperature linear term in the
specific heat. Agreement is found with recent measurements of the temperature
behavior of both specific heat and pressure. These results suggest the presence
of a very small fraction, at the parts-per-million (ppm) level, of two-level
tunneling systems in solid He, irrespective of the existence of
supersolidity.Comment: 11 pages, 4 figure
On The Mobile Behavior of Solid He at High Temperatures
We report studies of solid helium contained inside a torsional oscillator, at
temperatures between 1.07K and 1.87K. We grew single crystals inside the
oscillator using commercially pure He and He-He mixtures containing
100 ppm He. Crystals were grown at constant temperature and pressure on the
melting curve. At the end of the growth, the crystals were disordered,
following which they partially decoupled from the oscillator. The fraction of
the decoupled He mass was temperature and velocity dependent. Around 1K, the
decoupled mass fraction for crystals grown from the mixture reached a limiting
value of around 35%. In the case of crystals grown using commercially pure
He at temperatures below 1.3K, this fraction was much smaller. This
difference could possibly be associated with the roughening transition at the
solid-liquid interface.Comment: 15 pages, 6 figure
Local modes, phonons, and mass transport in solid He
We propose a model to treat the local motion of atoms in solid He as a
local mode. In this model, the solid is assumed to be described by the Self
Consistent Harmonic approximation, combined with an array of local modes. We
show that in the bcc phase the atomic local motion is highly directional and
correlated, while in the hcp phase there is no such correlation. The correlated
motion in the bcc phase leads to a strong hybridization of the local modes with
the T phonon branch, which becomes much softer than that obtained
through a Self Consistent Harmonic calculation, in agreement with experiment.
In addition we predict a high energy excitation branch which is important for
self-diffusion. Both the hybridization and the presence of a high energy branch
are a consequence of the correlation, and appear only in the bcc phase. We
suggest that the local modes can play the role in mass transport usually
attributed to point defects (vacancies). Our approach offers a more overall
consistent picture than obtained using vacancies as the predominant point
defect. In particular, we show that our approach resolves the long standing
controversy regarding the contribution of point defects to the specific heat of
solid He.Comment: 10 pages, 10 figure
NMR Study of Disordered Inclusions in the Quenched Solid Helium
Phase structure of rapidly quenched solid helium samples is studied by the
NMR technique. The pulse NMR method is used for measurements of spin-lattice
and spin-spin relaxation times and spin diffusion coefficient
for all coexisting phases. It was found that quenched samples are two-phase
systems consisting of the hcp matrix and some inclusions which are
characterized by and values close to those in liquid phase. Such
liquid-like inclusions undergo a spontaneous transition to a new state with
anomalously short times. It is found that inclusions observed in both the
states disappear on careful annealing near the melting curve. It is assumed
that the liquid-like inclusions transform into a new state - a glass or a
crystal with a large number of dislocations. These disordered inclusions may be
responsible for the anomalous phenomena observed in supersolid region.Comment: 10 pages, 3 figure
- …