Low temperature acoustic properties of amorphous silica and the Tunneling Model

Internal friction and speed of sound of a-SiO(2) was measured above 6 mK using a torsional oscillator at 90 kHz, controlling for thermal decoupling, non-linear effects, and clamping losses. Strain amplitudes e(A) = 10^{-8} mark the transition between the linear and non-linear regime. In the linear regime, excellent agreement with the Tunneling Model was observed for both the internal friction and speed of sound, with a cut-off energy of E(min) = 6.6 mK. In the non-linear regime, two different behaviors were observed. Above 10 mK the behavior was typical for non-linear harmonic oscillators, while below 10 mK a different behavior was found. Its origin is not understood.Comment: 1 tex file, 6 figure

I hvilket Forhold bør Eier og Forpagter deeltage i Omkostningerne ved Underdrainingen?

I hvilket Forhold bør Eier og Forpagter deeltage i Omkostningerne ved Underdrainingen

Feature Nets: behavioural modelling of software product lines

Software product lines (SPL) are diverse systems that are developed using a dual engineering process: (a)family engineering defines the commonality and variability among all members of the SPL, and (b) application engineering derives specific products based on the common foundation combined with a variable selection of features. The number of derivable products in an SPL can thus be exponential in the number of features. This inherent complexity poses two main challenges when it comes to modelling: Firstly, the formalism used for modelling SPLs needs to be modular and scalable. Secondly, it should ensure that all products behave correctly by providing the ability to analyse and verify complex models efficiently. In this paper we propose to integrate an established modelling formalism (Petri nets) with the domain of software product line engineering. To this end we extend Petri nets to Feature Nets. While Petri nets provide a framework for formally modelling and verifying single software systems, Feature Nets offer the same sort of benefits for software product lines. We show how SPLs can be modelled in an incremental, modular fashion using Feature Nets, provide a Feature Nets variant that supports modelling dynamic SPLs, and propose an analysis method for SPL modelled as Feature Nets. By facilitating the construction of a single model that includes the various behaviours exhibited by the products in an SPL, we make a significant step towards efficient and practical quality assurance methods for software product lines

Implementation and performance of SIBYLS: a dual endstation small-angle X-ray scattering and macromolecular crystallography beamline at the Advanced Light Source.

The SIBYLS beamline (12.3.1) of the Advanced Light Source at Lawrence Berkeley National Laboratory, supported by the US Department of Energy and the National Institutes of Health, is optimized for both small-angle X-ray scattering (SAXS) and macromolecular crystallography (MX), making it unique among the world's mostly SAXS or MX dedicated beamlines. Since SIBYLS was commissioned, assessments of the limitations and advantages of a combined SAXS and MX beamline have suggested new strategies for integration and optimal data collection methods and have led to additional hardware and software enhancements. Features described include a dual mode monochromator [containing both Si(111) crystals and Mo/B(4)C multilayer elements], rapid beamline optics conversion between SAXS and MX modes, active beam stabilization, sample-loading robotics, and mail-in and remote data collection. These features allow users to gain valuable insights from both dynamic solution scattering and high-resolution atomic diffraction experiments performed at a single synchrotron beamline. Key practical issues considered for data collection and analysis include radiation damage, structural ensembles, alternative conformers and flexibility. SIBYLS develops and applies efficient combined MX and SAXS methods that deliver high-impact results by providing robust cost-effective routes to connect structures to biology and by performing experiments that aid beamline designs for next generation light sources

Strain dependence of the acoustic properties of amorphous metals below 1K: Evidence for the interaction between tunneling states

We have conducted a thorough study of the acoustic properties between 10^-4 and 1 Kelvin for the amorphous metal Zr_x Cu_1-x (x=0.3 and x=0.4), by measuring the relative change of sound velocity dv/v and internal friction Q^-1 as a function of temperature and also of the applied strain, in both superconducting and normal state. We have found that when plotted versus the ratio of strain energy to thermal energy, all measurements display the same behavior: a crossover from a linear regime of ``independent'' tunneling systems at very low strains and/or high enough temperatures to a nonlinear regime where dv/v and Q^-1 depend on applied strain and the tunneling systems cannot be considered as independent.Comment: 4 pages, 4 figures (submitted to PRL

Variability Abstraction and Refinement for Game-Based Lifted Model Checking of Full CTL

One of the most promising approaches to fighting the configuration space explosion problem in lifted model checking are variability abstractions. In this work, we define a novel game-based approach for variability-specific abstraction and refinement for lifted model checking of the full CTL, interpreted over 3-valued semantics. We propose a direct algorithm for solving a 3-valued (abstract) lifted model checking game. In case the result of model checking an abstract variability model is indefinite, we suggest a new notion of refinement, which eliminates indefinite results. This provides an iterative incremental variability-specific abstraction and refinement framework, where refinement is applied only where indefinite results exist and definite results from previous iterations are reused. The practicality of this approach is demonstrated on several variability models

Solar flares with and without SOHO/LASCO coronal mass ejections and type II shocks

We analyse of a set of radio rich (accompanied by type IV or II bursts) solar flares and their association with SOHO/LASCO Coronal Mass Ejections in the period 1998 2000. The intensity, impulsiveness and energetics of these events are investigated. We find that, on the average, flares associated both with type IIs and CMEs are more impulsive and more energetic than flares associated with type IIs only (without CME reported), as well as flares accompanied by type IV continua but not type II shocks. From the last two classes, flares with type II bursts (without CMEs reported) are the shortest in duration and the most impulsive.Comment: Advances in Space Research, Volume 38, Issue 5, p. 1007-101

Cavitation of Electrons Bubbles in Liquid Helium Below saturation Pressure

We have used a Hartree-type electron-helium potential together with a density functional description of liquid $^4$He and $^3$He to study the explosion of electron bubbles submitted to a negative pressure. The critical pressure at which bubbles explode has been determined as a function of temperature. It has been found that this critical pressure is very close to the pressure at which liquid helium becomes globally unstable in the presence of electrons. It is shown that at high temperatures the capillary model overestimates the critical pressures. We have checked that a commonly used and rather simple electron-helium interaction yields results very similar to those obtained using the more accurate Hartree-type interaction. We have estimated that the crossover temperature for thermal to quantum nucleation of electron bubbles is very low, of the order of 6 mK for $^4$He.Comment: 22 pages, 9 figure