2,404 research outputs found

    Colossal photostructural changes in chalcogenide glasses. Athermal photoinduced polymerization in AsxS100-x bulk glasses revealed by near-bandgap Raman scattering

    Full text link
    Near-bandgap Raman scattering was used to induce and study photostructural changes in AsxS100-x bulk glasses revealing a new photoinduced polymerization effect. Raman spectra were recorded also in off-resonant conditions allowing for a detailed comparison between the equilibrium glass structure and the metastable one induced by illumination. It is shown that in S-rich glasses structural changes involve the athermal scission of S8 rings and their polymerization to Sn chains. The fraction of bonds involved in this effect is surprisingly high, being one order of magnitude higher than the corresponding fractions reported up to now in photostructural studies in chalcogenide glasses

    Remote-scope Promotion: Clarified, Rectified, and Verified

    Get PDF
    Modern accelerator programming frameworks, such as OpenCL, organise threads into work-groups. Remote-scope promotion (RSP) is a language extension recently proposed by AMD researchers that is designed to enable applications, for the first time, both to optimise for the common case of intra-work-group communication (using memory scopes to provide consistency only within a work-group) and to allow occasional inter-work-group communication (as required, for instance, to support the popular load-balancing idiom of work stealing). We present the first formal, axiomatic memory model of OpenCL extended with RSP. We have extended the Herd memory model simulator with support for OpenCL kernels that exploit RSP, and used it to discover bugs in several litmus tests and a work-stealing queue, that have been used previously in the study of RSP. We have also formalised the proposed GPU implementation of RSP. The formalisation process allowed us to identify bugs in the description of RSP that could result in well-synchronised programs experiencing memory inconsistencies. We present and prove sound a new implementation of RSP that incorporates bug fixes and requires less non-standard hardware than the original implementation. This work, a collaboration between academia and industry, clearly demonstrates how, when designing hardware support for a new concurrent language feature, the early application of formal tools and techniques can help to prevent errors, such as those we have found, from making it into silicon

    Wavelet analysis on pressure stimulated currents emitted by marble samples

    No full text
    International audienceThis paper presents a wavelet based method of analysis of experimentally recorded weak electric signals from marble specimens which have undergone successive abrupt step loadings. Experimental results verify the existence of "memory effects" in rocks, as far as the current emission is concerned, akin to the "Kaiser effect" in acoustic emissions, which accompany rock fracturing. Macroscopic signal processing shows similarities and differences between the currents emitted during successive loading and wavelet analysis can reveal significant differences between the currents of each loading cycle that contain valuable information for the micro and macro cracks in the specimen as well as information for the remaining strength of the material. Wavelets make possible the time localization of the energy of the electric signal emitted by stressed specimens and can serve as method to differentiate between compressed and uncompressed samples, or to determine the deformation level of specimens
    corecore