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