1,533 research outputs found
A Symbolic Java Virtual Machine for Test Case Generation
Quality management is becoming a more and more important part of the software development process. As software testing is currently understood as the core function of the quality managment, developers start using software testing tools to facilitate their work. However most existing tools just manage given sets of test cases and check them against pre-defined testing criteria. The necessary test case discovery is usually up to user, who has to generate the test cases in an ad-hoc approach with only minimal support from the software. GlassTT, the tool we present in this paper, faces this problem by creating the needed test cases for a given criterion for a Java class file. It uses a symbolic Java virtual machine to generate constraints representing the conditions for the control flow under consideration. The system can employ a parameterizeable test criterion such as data-flow coverage. The constraint solvers embedded in the tool are capable of solving linear and non-linear constraints, which is sufficient for almost all constraints encountered in the execution of Java programs. They are encapsulated in an incremental constraint solver manager, which dynamically chooses an appropriate constraint solver and enables the efficient communication between constraint solvers and symbolical virtual machine
Self-consistent cluster CPA methods and the nested CPA theory
The coherent potential approximation, CPA, is a useful tool to treat systems
with disorder. Cluster theories have been proposed to go beyond the translation
invariant single-site CPA approximation and include some short range
correlations. In this framework one can also treat simultaneously diagonal
disorder (in the site-diagonal elements of the Hamiltonian) and non-diagonal
disorder (in the bond energies). It proves difficult to obtain reasonable
results, free of non-analyticities, for lattices of dimension higher than one
(D>1). We show electronic structure results obtained for a Hubbard model,
treated in mean field approximation, on a square lattice and a simple cubic
lattice, with the simultaneous inclusion of diagonal and non-diagonal disorder.
We compare the results obtained using three different methods to treat the
problem: a self-consistent 2-site cluster CPA method, the
Blackman-Esterling-Berk single-site like extension of the CPA and a nested CPA
approach.Comment: 5 pages + 2 figures, to appear in Physica B. Presented at the SCES'99
conference, Nagano, Japan (Aug.'99
Controls of dissolved organic matter quality: Evidence from a large-scale boreal lake survey
Inland waters transport large amounts of dissolved organic matter (DOM) from terrestrial environments to the oceans, but DOM also reacts en route, with substantial water column losses by mineralization and sedimentation. For DOM transformations along the aquatic continuum, lakes play an important role as they retain waters in the landscape allowing for more time to alter DOM. We know DOM losses are significant at the global scale, yet little is known about how the reactivity of DOM varies across landscapes and climates. DOM reactivity is inherently linked to its chemical composition. We used fluorescence spectroscopy to explore DOM quality from 560 lakes distributed across Sweden and encompassed a wide climatic gradient typical of the boreal ecozone. Six fluorescence components were identified using parallel factor analysis (PARAFAC). The intensity and relative abundance of these components were analyzed in relation to lake chemistry, catchment, and climate characteristics. Land cover, particularly the percentage of water in the catchment, was a primary factor explaining variability in PARAFAC components. Likewise, lake water retention time influenced DOM quality. These results suggest that processes occurring in upstream water bodies, in addition to the lake itself, have a dominant influence on DOM quality. PARAFAC components with longer emission wavelengths, or red-shifted components, were most reactive. In contrast, protein-like components were most persistent within lakes. Generalized characteristics of PARAFAC components based on emission wavelength could ease future interpretation of fluorescence spectra. An important secondary influence on DOM quality was mean annual temperature, which ranged between −6.2 and +7.5 °C. These results suggest that DOM reactivity depends more heavily on the duration of time taken to pass through the landscape, rather than temperature. Projected increases in runoff in the boreal region may force lake DOM toward a higher overall amount and proportion of humic-like substances
Time-variability in the Interstellar Boundary Conditions of the Heliosphere: Effect of the Solar Journey on the Galactic Cosmic Ray Flux at Earth
During the solar journey through galactic space, variations in the physical
properties of the surrounding interstellar medium (ISM) modify the heliosphere
and modulate the flux of galactic cosmic rays (GCR) at the surface of the
Earth, with consequences for the terrestrial record of cosmogenic
radionuclides. One phenomenon that needs studying is the effect on cosmogenic
isotope production of changing anomalous cosmic ray fluxes at Earth due to
variable interstellar ionizations. The possible range of interstellar ram
pressures and ionization levels in the low density solar environment generate
dramatically different possible heliosphere configurations, with a wide range
of particle fluxes of interstellar neutrals, their secondary products, and GCRs
arriving at Earth. Simple models of the distribution and densities of ISM in
the downwind direction give cloud transition timescales that can be directly
compared with cosmogenic radionuclide geologic records. Both the interstellar
data and cosmogenic radionuclide data are consistent with cloud transitions
during the Holocene, with large and assumption-dependent uncertainties. The
geomagnetic timeline derived from cosmic ray fluxes at Earth may require
adjustment to account for the disappearance of anomalous cosmic rays when the
Sun is immersed in ionized gas.Comment: Submitted to Space Sciences Review
Do quasi-regular structures really exist in the solar photosphere? I. Observational evidence
Two series of solar-granulation images -- the La Palma series of 5 June 1993
and the SOHO MDI series of 17--18 January 1997 -- are analysed both
qualitatively and quantitatively. New evidence is presented for the existence
of long-lived, quasi-regular structures (first reported by Getling and Brandt
(2002)), which no longer appear unusual in images averaged over 1--2-h time
intervals. Such structures appear as families of light and dark concentric
rings or families of light and dark parallel strips (``ridges'' and
``trenches'' in the brightness distributions). In some cases, rings are
combined with radial ``spokes'' and can thus form ``web'' patterns. The
characteristic width of a ridge or trench is somewhat larger than the typical
size of granules. Running-average movies constructed from the series of images
are used to seek such structures. An algorithm is developed to obtain, for
automatically selected centres, the radial distributions of the azimuthally
averaged intensity, which highlight the concentric-ring patterns. We also
present a time-averaged granulation image processed with a software package
intended for the detection of geological structures in aerospace images. A
technique of running-average-based correlations between the brightness
variations at various points of the granular field is developed and indications
are found for a dynamical link between the emergence and sinking of hot and
cool parcels of the solar plasma. In particular, such a correlation analysis
confirms our suggestion that granules -- overheated blobs -- may repeatedly
emerge on the solar surface. Based on our study, the critical remarks by Rast
(2002) on the original paper by Getling and Brandt (2002) can be dismissed.Comment: 21 page, 8 figures; accepted by "Solar Physics
Axisymmetric core collapse simulations using characteristic numerical relativity
We present results from axisymmetric stellar core collapse simulations in
general relativity. Our hydrodynamics code has proved robust and accurate
enough to allow for a detailed analysis of the global dynamics of the collapse.
Contrary to traditional approaches based on the 3+1 formulation of the
gravitational field equations, our framework uses a foliation based on a family
of outgoing light cones, emanating from a regular center, and terminating at
future null infinity. Such a coordinate system is well adapted to the study of
interesting dynamical spacetimes in relativistic astrophysics such as stellar
core collapse and neutron star formation. Perhaps most importantly this
procedure allows for the unambiguous extraction of gravitational waves at
future null infinity without any approximation, along with the commonly used
quadrupole formalism for the gravitational wave extraction. Our results
concerning the gravitational wave signals show noticeable disagreement when
those are extracted by computing the Bondi news at future null infinity on the
one hand and by using the quadrupole formula on the other hand. We have strong
indication that for our setup the quadrupole formula on the null cone does not
lead to physical gravitational wave signals. The Bondi gravitational wave
signals extracted at infinity show typical oscillation frequencies of about 0.5
kHz.Comment: 17 pages, 18 figures, submitted to Phys. Rev.
An outflow in the Seyfert ESO 362-G18 revealed by Gemini-GMOS/IFU observations
Indexación: Scopus.We present two-dimensional stellar and gaseous kinematics of the inner 0.7 × 1.2 kpc2 of the Seyfert 1.5 galaxy ESO 362-G18, derived from optical (4092-7338 Å) spectra obtained with the GMOS integral field spectrograph on the Gemini South telescope at a spatial resolution of ≈ 170 pc and spectral resolution of 36 km s-1. ESO 362-G18 is a strongly perturbed galaxy of morphological type Sa or S0/a, with a minor merger approaching along the NE direction. Previous studies have shown that the [O III] emission shows a fan-shaped extension of ≈ 10′′ to the SE. We detect the [O III] doublet, [N II] and Hα emission lines throughout our field of view. The stellar kinematics is dominated by circular motions in the galaxy plane, with a kinematic position angle of ≈ 137° and is centred approximately on the continuum peak. The gas kinematics is also dominated by rotation, with kinematic position angles ranging from 122° to 139°, projected velocity amplitudes of the order of 100 km s-1, and a mean velocity dispersion of 100 km s-1. A double-Gaussian fit to the [O III]λ5007 and Hα lines, which have the highest signal to noise ratios of the emission lines, reveal two kinematic components: (1) a component at lower radial velocities which we interpret as gas rotating in the galactic disk; and (2) a component with line of sight velocities 100-250 km s-1 higher than the systemic velocity, interpreted as originating in the outflowing gas within the AGN ionization cone. We estimate a mass outflow rate of 7.4 × 10-2 M⊙ yr-1 in the SE ionization cone (this rate doubles if we assume a biconical configuration), and a mass accretion rate on the supermassive black hole (SMBH) of 2.2 × 10-2 M⊙ yr-1. The total ionized gas mass within ∼84 pc of the nucleus is 3.3 × 105 M⊙; infall velocities of ∼34 km s-1 in this gas would be required to feed both the outflow and SMBH accretion. © ESO 2018.https://www.aanda.org/articles/aa/abs/2018/06/aa31671-17/aa31671-17.htm
Thermodynamics of non-local materials: extra fluxes and internal powers
The most usual formulation of the Laws of Thermodynamics turns out to be
suitable for local or simple materials, while for non-local systems there are
two different ways: either modify this usual formulation by introducing
suitable extra fluxes or express the Laws of Thermodynamics in terms of
internal powers directly, as we propose in this paper. The first choice is
subject to the criticism that the vector fluxes must be introduced a posteriori
in order to obtain the compatibility with the Laws of Thermodynamics. On the
contrary, the formulation in terms of internal powers is more general, because
it is a priori defined on the basis of the constitutive equations. Besides it
allows to highlight, without ambiguity, the contribution of the internal powers
in the variation of the thermodynamic potentials. Finally, in this paper, we
consider some examples of non-local materials and derive the proper expressions
of their internal powers from the power balance laws.Comment: 16 pages, in press on Continuum Mechanics and Thermodynamic
The large longitudinal spread of solar energetic particles during the January 17, 2010 solar event
We investigate multi-spacecraft observations of the January 17, 2010 solar
energetic particle event. Energetic electrons and protons have been observed
over a remarkable large longitudinal range at the two STEREO spacecraft and
SOHO suggesting a longitudinal spread of nearly 360 degrees at 1AU. The flaring
active region, which was on the backside of the Sun as seen from Earth, was
separated by more than 100 degrees in longitude from the magnetic footpoints of
each of the three spacecraft. The event is characterized by strongly delayed
energetic particle onsets with respect to the flare and only small or no
anisotropies in the intensity measurements at all three locations. The presence
of a coronal shock is evidenced by the observation of a type II radio burst
from the Earth and STEREO B. In order to describe the observations in terms of
particle transport in the interplanetary medium, including perpendicular
diffusion, a 1D model describing the propagation along a magnetic field line
(model 1) (Dr\"oge, 2003) and the 3D propagation model (model 2) by (Dr\"oge et
al., 2010) including perpendicular diffusion in the interplanetary medium have
been applied, respectively. While both models are capable of reproducing the
observations, model 1 requires injection functions at the Sun of several hours.
Model 2, which includes lateral transport in the solar wind, reveals high
values for the ratio of perpendicular to parallel diffusion. Because we do not
find evidence for unusual long injection functions at the Sun we favor a
scenario with strong perpendicular transport in the interplanetary medium as
explanation for the observations.Comment: The final publication is available at http://www.springerlink.co
- …