242 research outputs found
Measurement of spark probability of GEM detector for CBM muon chamber (MUCH)
The stability of triple GEM detector setups in an environment of high
energetic showers is studied. To this end the spark probability in a shower
environment is compared to the spark probability in a pion beam.Comment: 5 pages, 10 figure
Study of the characteristics of GEM detectors for the future FAIR experiment CBM
Characteristics of triple GEM detector have been studied systematically. The
variation of the effective gain and energy resolution of GEM with variation of
the applied voltage has been measured with Fe55 X-ray source for different gas
mixtures and with different gas flow rates. Long-term test of the GEM has also
been performed.Comment: 2 Pages, 6 figure
Verification of loop parallelisations
Writing correct parallel programs becomes more and more difficult as the complexity and heterogeneity of processors increase. This issue is addressed by parallelising compilers. Various compiler directives can be used to tell these compilers where to parallelise. This paper addresses the correctness of such compiler directives for loop parallelisation. Specifically, we propose a technique based on separation logic to verify whether a loop can be parallelised. Our approach requires each loop iteration to be specified with the locations that are read and written in this iteration. If the specifications are correct, they can be used to draw conclusions about loop (in)dependences. Moreover, they also reveal where synchronisation is needed in the parallelised program. The loop iteration specifications can be verified using permission-based separation logic and seamlessly integrate with functional behaviour specifications. We formally prove the correctness of our approach and we discuss automated tool support for our technique. Additionally, we also discuss how the loop iteration contracts can be compiled into specifications for the code coming out of the parallelising compiler
Efficiency determination of resistive plate chambers for fast quasi-monoenergetic neutrons
Composite detectors made of stainless steel converters and multigap resistive
plate chambers have been irradiated with quasi-monoenergetic neutrons with a
peak energy of 175MeV. The neutron detection efficiency has been determined
using two different methods. The data are in agreement with the output of Monte
Carlo simulations. The simulations are then extended to study the response of a
hypothetical array made of these detectors to energetic neutrons from a
radioactive ion beam experiment.Comment: Submitted to Eur.Phys.J. A; upgraded version correcting some typos
and updating ref.
- …