Detecting Data-Flow Errors in BPMN 2.0

Data-flow errors in BPMN 2.0 process models, such as missing or unused data, lead to undesired process executions. In particular, since BPMN 2.0 with a standardized execution semantics allows specifying alternatives for data as well as optional data, identifying missing or unused data systematically is difficult. In this paper, we propose an approach for detecting data-flow errors in BPMN 2.0 process models. We formalize BPMN process models by mapping them to Petri Nets and unfolding the execution semantics regarding data. We define a set of anti-patterns representing data-flow errors of BPMN 2.0 process models. By employing the anti-patterns, our tool performs model checking for the unfolded Petri Nets. The evaluation shows that it detects all data-flow errors identified by hand, and so improves process quality

A new look at the cosmic ray positron fraction

The positron fraction in cosmic rays was found to be a steadily increasing in function of energy, above $\sim$ 10 GeV. This behaviour contradicts standard astrophysical mechanisms, in which positrons are secondary particles, produced in the interactions of primary cosmic rays during the propagation in the interstellar medium. The observed anomaly in the positron fraction triggered a lot of excitement, as it could be interpreted as an indirect signature of the presence of dark matter species in the Galaxy. Alternatively, it could be produced by nearby astrophysical sources, such as pulsars. Both hypotheses are probed in this work in light of the latest AMS-02 positron fraction measurements. The transport of the primary and secondary positrons in the Galaxy is described using a semi-analytic two-zone model. MicrOMEGAs is used to model the positron flux generated by dark matter species. The description of the positron fraction from astrophysical sources is based on the pulsar observations included in the ATNF catalogue. We find that the mass of the favoured dark matter candidates is always larger than 500 GeV. The only dark matter species that fulfils the numerous gamma ray and cosmic microwave background bounds is a particle annihilating into four leptons through a light scalar or vector mediator, with a mixture of tau (75%) and electron (25%) channels, and a mass between 0.5 and 1 TeV. The positron anomaly can also be explained by a single astrophysical source and a list of five pulsars from the ATNF catalogue is given. Those results are obtained with the cosmic ray transport parameters that best fit the B/C ratio. Uncertainties in the propagation parameters turn out to be very significant. In the WIMP annihilation cross section to mass plane for instance, they overshadow the error contours derived from the positron data.Comment: 20 pages, 16 figures, accepted for publication in A&A, corresponds to published versio

Proton and Helium Spectra from the CREAM-III Flight

Primary cosmic-ray elemental spectra have been measured with the balloon-borne Cosmic Ray Energetics And Mass (CREAM) experiment since 2004. The third CREAM payload (CREAM-III) flew for 29 days during the 2007-2008 Antarctic season. Energies of incident particles above 1 TeV are measured with a calorimeter. Individual elements are clearly separated with a charge resolution of ~0.12 e (in charge units) and ~0.14 e for protons and helium nuclei, respectively, using two layers of silicon charge detectors. The measured proton and helium energy spectra at the top of the atmosphere are harder than other existing measurements at a few tens of GeV. The relative abundance of protons to helium nuclei is 9.53+-0.03 for the range of 1 TeV/n to 63 TeV/n. The ratio is considerably smaller than other measurements at a few tens of GeV/n. The spectra become softer above ~20 TeV. However, our statistical uncertainties are large at these energies and more data are needed

Status of cosmic-ray antideuteron searches

The precise measurement of cosmic-ray antiparticles serves as important means for identifying the nature of dark matter. Recent years showed that identifying the nature of dark matter with cosmic-ray positrons and higher energy antiprotons is difficult, and has lead to a significantly increased interest in cosmic-ray antideuteron searches. Antideuterons may also be generated in dark matter annihilations or decays, offering a potential breakthrough in unexplored phase space for dark matter. Low-energy antideuterons are an important approach because the flux from dark matter interactions exceeds the background flux by more than two orders of magnitude in the low-energy range for a wide variety of models. This review is based on the "dbar14 - dedicated cosmic-ray antideuteron workshop", which brought together theorists and experimentalists in the field to discuss the current status, perspectives, and challenges for cosmic-ray antideuteron searches and discusses the motivation for antideuteron searches, the theoretical and experimental uncertainties of antideuteron production and propagation in our Galaxy, as well as give an experimental cosmic-ray antideuteron search status update. This report is a condensed summary of the article "Review of the theoretical and experimental status of dark matter identification with cosmic-ray antideuteron" (arXiv:1505.07785).Comment: 9 pages, 4 figures, ICRC 2015 proceeding

Cosmic-ray antiproton constraints on light dark matter candidates

Some direct detection experiments have recently collected excess events that could be interpreted as a dark matter (DM) signal, pointing to particles in the $\sim$10 GeV mass range. We show that scenarios in which DM can self-annihilate with significant couplings to quarks are likely excluded by the cosmic-ray (CR) antiproton data, provided the annihilation is S-wave dominated when DM decouples in the early universe. These limits apply to most of supersymmetric candidates, eg in the minimal supersymmetric standard model (MSSM) and in the next-to-MSSM (NMSSM), and more generally to any thermal DM particle with hadronizing annihilation final states.Comment: Contribution to the proceedings of TAUP-2011 (Munich, 5-9 IX 2011). 4 page

Design and construction of a Cherenkov imager for charge measurement of nuclear cosmic rays

A proximity focusing Cherenkov imager called CHERCAM, has been built for the charge measurement of nuclear cosmic rays with the CREAM instrument. It consists of a silica aerogel radiator plane across from a detector plane equipped with 1,600 1" diameter photomultipliers. The two planes are separated by a ring expansion gap. The Cherenkov light yield is proportional to the charge squared of the incident particle. The expected relative light collection accuracy is in the few percents range. It leads to an expected single element separation over the range of nuclear charge Z of main interest 1 < Z < 26. CHERCAM is designed to fly with the CREAM balloon experiment. The design of the instrument and the implemented technical solutions allowing its safe operation in high altitude conditions (radiations, low pressure, cold) are presented.Comment: 24 pages, 19 figure

Hybrid fNIRS-EEG based classification of auditory and visual perception processes

For multimodal Human-Computer Interaction (HCI), it is very useful to identify the modalities on which the user is currently processing information. This would enable a system to select complementary output modalities to reduce the user\u27s workload. In this paper, we develop a hybrid Brain-Computer Interface (BCI) which uses Electroencephalography (EEG) and functional Near Infrared Spectroscopy (fNIRS) to discriminate and detect visual and auditory stimulus processing. We describe the experimental setup we used for collection of our data corpus with 12 subjects. On this data, we performed cross-validation evaluation, of which we report accuracy for different classification conditions. The results show that the subject-dependent systems achieved a classification accuracy of 97.8% for discriminating visual and auditory perception processes from each other and a classification accuracy of up to 94.8% for detecting modality-specific processes independently of other cognitive activity. The same classification conditions could also be discriminated in a subject-independent fashion with accuracy of up to 94.6 and 86.7%, respectively. We also look at the contributions of the two signal types and show that the fusion of classifiers using different features significantly increases accuracy

A study on the sharp knee and fine structures of cosmic ray spectra

The paper investigates the overall and detailed features of cosmic ray (CR) spectra in the knee region using the scenario of nuclei-photon interactions around the acceleration sources. Young supernova remnants can be the physical realities of such kind of CR acceleration sites. The results show that the model can well explain the following problems simultaneously with one set of source parameters: the knee of CR spectra and the sharpness of the knee, the detailed irregular structures of CR spectra, the so-called "component B" of Galactic CRs, and the electron/positron excesses reported by recent observations. The coherent explanation serves as evidence that at least a portion of CRs might be accelerated at the sources similar to young supernova remnants, and one set of source parameters indicates that this portion mainly comes from standard sources or from a single source.Comment: 13 pages, 4 figures, accepted for publication in SCIENCE CHINA Physics, Mechanics & Astronomy

The AMS-RICH velocity and charge reconstruction

The AMS detector, to be installed on the International Space Station, includes a Ring Imaging Cerenkov detector with two different radiators, silica aerogel (n=1.05) and sodium fluoride (n=1.334). This detector is designed to provide very precise measurements of velocity and electric charge in a wide range of cosmic nuclei energies and atomic numbers. The detector geometry, in particular the presence of a reflector for acceptance purposes, leads to complex Cerenkov patterns detected in a pixelized photomultiplier matrix. The results of different reconstruction methods applied to test beam data as well as to simulated samples are presented. To ensure nominal performances throughout the flight, several detector parameters have to be carefully monitored. The algorithms developed to fulfill these requirements are presented. The velocity and charge measurements provided by the RICH detector endow the AMS spectrometer with precise particle identification capabilities in a wide energy range. The expected performances on light isotope separation are discussed.Comment: Contribution to the ICRC07, Merida, Mexico (2007); Presenter: F. Bara

The RICH detector of the AMS-02 experiment: status and physics prospects

The Alpha Magnetic Spectrometer (AMS), whose final version AMS-02 is to be installed on the International Space Station (ISS) for at least 3 years, is a detector designed to measure charged cosmic ray spectra with energies up to the TeV region and with high energy photon detection capability up to a few hundred GeV. It is equipped with several subsystems, one of which is a proximity focusing RICH detector with a dual radiator (aerogel+NaF) that provides reliable measurements for particle velocity and charge. The assembly and testing of the AMS RICH is currently being finished and the full AMS detector is expected to be ready by the end of 2008. The RICH detector of AMS-02 is presented. Physics prospects are briefly discussed.Comment: 5 pages. Contribution to the 10th ICATPP Conference on Astroparticle, Particle, Space Physics, Detectors and Medical Physics Applications (Como 2007). Presenter: Rui Pereir