First measurements of periodicities and anisotropies of cosmic ray flux observed with a water-Cherenkov detector at the Marambio Antarctic base
Authors:
Santos Noelia,
Dasso Sergio,
Gulisano Adriana María,
Areso Omar,
Pereira Matías,
Asorey Hernán,
Rubinstein Lucas
Abstract:
A new water-Cherenkov radiation detector, located at the Argentine Marambio Antarctic Base (64.24S-56.62W), has been monitoring the variability of galactic cosmic ray (GCR) flux since 2019. One of the main aims is to provide experimental data necessary to study interplanetary transport of GCRs during transient events at different space/time scales. In this paper we present the detector and analyze…
▽ More
A new water-Cherenkov radiation detector, located at the Argentine Marambio Antarctic Base (64.24S-56.62W), has been monitoring the variability of galactic cosmic ray (GCR) flux since 2019. One of the main aims is to provide experimental data necessary to study interplanetary transport of GCRs during transient events at different space/time scales. In this paper we present the detector and analyze observations made during one full year. After the analysis and correction of the GCR flux variability due to the atmospheric conditions (pressure and temperature), a study of the periodicities is performed in order to analyze modulations due to heliospheric phenomena. We can observe two periods: (a) 1 day, associated with the Earth's rotation combined with the spatial anisotropy of the GCR flux; and (b) $\sim$ 30 days due to solar impact of stable solar structures combined with the rotation of the Sun. From a superposed epoch analysis, and considering the geomagnetic effects, the mean diurnal amplitude is $\sim$ 0.08% and the maximum flux is observed in $\sim$ 15 hr local time (LT) direction in the interplanetary space. In such a way, we determine the capability of Neurus to observe anisotropies and other interplanetary modulations on the GCR flux arriving at the Earth.
△ Less
Submitted 1 February, 2023;
originally announced February 2023.
Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic
Authors:
Edgar G. Daylight,
Sandeep K. Shukla,
Davide Sergio
Abstract:
Separation Logic is a non-classical logic used to verify pointer-intensive code. In this paper, however, we show that Separation Logic, along with its natural extensions, can also be used as a specification language for concurrent-system design. To do so, we express the behavior of three very different concurrent systems: a Subway, a Stopwatch, and a 2x2 Switch. The Subway is originally implemen…
▽ More
Separation Logic is a non-classical logic used to verify pointer-intensive code. In this paper, however, we show that Separation Logic, along with its natural extensions, can also be used as a specification language for concurrent-system design. To do so, we express the behavior of three very different concurrent systems: a Subway, a Stopwatch, and a 2x2 Switch. The Subway is originally implemented in LUSTRE, the Stopwatch in Esterel, and the 2x2 Switch in Bluespec.
△ Less
Submitted 10 November, 2009;
originally announced November 2009.