Run-Time Verification of Black-Box Components Using Behavioral Specifications: An Experience Report on Tool Development

htmlabstractWe introduce a generic component-based design of a run-time checker, identify its components and their requirements, and evaluate existing state of the art tools instantiating each component

Compile-Time Analysis and Specialization of Clocks in Concurrent Programs

Clocks are a mechanism for providing synchronization barriers in concurrent programming languages. They are usually implemented using primitive communication mechanisms and thus spare the programmer from reasoning about low-level implementation details such as remote procedure calls and error conditions. Clocks provide flexibility, but programs often use them in specific ways that do not require their full implementation. In this paper, we describe a tool that mitigates the overhead of general-purpose clocks by statically analyzing how programs use them and choosing optimized implementations when available. We tackle the clock implementation in the standard library of the X10 programming language—a parallel, distributed object-oriented language. We report our findings for a small set of analyses and benchmarks. Our tool only adds a few seconds to analysis time, making it practical to use as part of a compilation chain

Anisotropy at the end of the cosmic ray spectrum?

The starburst galaxies M82 and NGC253 have been proposed as the primary sources of cosmic rays with energies above $10^{18.7}$ eV. For energies \agt 10^{20.3} eV the model predicts strong anisotropies. We calculate the probabilities that the latter can be due to chance occurrence. For the highest energy cosmic ray events in this energy region, we find that the observed directionality has less than 1% probability of occurring due to random fluctuations. Moreover, during the first 5 years of operation at Auger, the observation of even half the predicted anisotropy has a probability of less than $10^{-5}$ to occur by chance fluctuation. Thus, this model can be subject to test at very small cost to the Auger priors budget and, whatever the outcome of that test, valuable information on the Galactic magnetic field will be obtained.Comment: Final version to be published in Physical Review

Nearby quasar remnants and ultra-high energy cosmic rays

As recently suggested, nearby quasar remnants are plausible sites of black-hole based compact dynamos that could be capable of accelerating ultra-high energy cosmic rays (UHECRs). In such a model, UHECRs would originate at the nuclei of nearby dead quasars, those in which the putative underlying supermassive black holes are suitably spun-up. Based on galactic optical luminosity, morphological type, and redshift, we have compiled a small sample of nearby objects selected to be highly luminous, bulge-dominated galaxies, likely quasar remnants. The sky coordinates of these galaxies were then correlated with the arrival directions of cosmic rays detected at energies $> 40$ EeV. An apparently significant correlation appears in our data. This correlation appears at closer angular scales than those expected when taking into account the deflection caused by typically assumed IGM or galactic magnetic fields over a charged particle trajectory. Possible scenarios producing this effect are discussed, as is the astrophysics of the quasar remnant candidates. We suggest that quasar remnants be also taken into account in the forthcoming detailed search for correlations using data from the Auger Observatory.Comment: 2 figures, 4 tables, 11 pages. Final version to appear in Physical Review

Detector for imaging and dosimetry of laser-driven epithermal neutrons by alpha conversion

An epithermal neutron imager based on detecting alpha particles created by boron neutron capture mechanism is discussed. The diagnostic mainly consists of a mm thick Boron Nitride (BN) sheet (as an alpha converter) in contact with a non-borated cellulose nitride film (LR115 type-II) detector. While the BN absorbs the neutrons below 0.1 eV, the fast neutrons register insignificantly in the detector due to their low neutron capture and recoil cross-sections. The use of solid-state nuclear track detectors (SSNTD), unlike image plates, micro-channel plates and scintillators, provide safeguard from the x-rays, gamma-rays and electrons. The diagnostic was tested on a proof-of-principle basis, in front of a laser driven source of moderated neutrons, which suggests the potential of using this diagnostic (BN+SSNTD) for dosimetry and imaging applications

A lower bound on the local extragalactic magnetic field

Assuming that the hard gamma-ray emission of Cen A is a result of synchrotron radiation of ultra-relativistic electrons, we derive a lower bound on the local extragalactic magnetic field, $B> 10^{-8}$ G. This result is consistent with (and close to) upper bounds on magnetic fields derived from consideration of cosmic microwave background distortions and Faraday rotation measurements.Comment: Includes extensive discussion of particle acceleration above 10^20 eV in the hot spot-like region of Cen

Modeling magnetospheric fields in the Jupiter system

The various processes which generate magnetic fields within the Jupiter system are exemplary for a large class of similar processes occurring at other planets in the solar system, but also around extrasolar planets. Jupiter's large internal dynamo magnetic field generates a gigantic magnetosphere, which is strongly rotational driven and possesses large plasma sources located deeply within the magnetosphere. The combination of the latter two effects is the primary reason for Jupiter's main auroral ovals. Jupiter's moon Ganymede is the only known moon with an intrinsic dynamo magnetic field, which generates a mini-magnetosphere located within Jupiter's larger magnetosphere including two auroral ovals. Ganymede's magnetosphere is qualitatively different compared to the one from Jupiter. It possesses no bow shock but develops Alfv\'en wings similar to most of the extrasolar planets which orbit their host stars within 0.1 AU. New numerical models of Jupiter's and Ganymede's magnetospheres presented here provide quantitative insight into the processes that maintain these magnetospheres. Jupiter's magnetospheric field is approximately time-periodic at the locations of Jupiter's moons and induces secondary magnetic fields in electrically conductive layers such as subsurface oceans. In the case of Ganymede, these secondary magnetic fields influence the oscillation of the location of its auroral ovals. Based on dedicated Hubble Space Telescope observations, an analysis of the amplitudes of the auroral oscillations provides evidence that Ganymede harbors a subsurface ocean. Callisto in contrast does not possess a mini-magnetosphere, but still shows a perturbed magnetic field environment. Callisto's ionosphere and atmospheric UV emission is different compared to the other Galilean satellites as it is primarily been generated by solar photons compared to magnetospheric electrons.Comment: Chapter for Book: Planetary Magnetis

Weather, disease, and wheat breeding effects on Kansas wheat varietal yields, 1985 to 2011.

Wheat (Triticum aestivum L.) yields in Kansas have increased due to wheat breeding and improved agronomic practices, but are subject to climate and disease challenges. The objective of this research is to quantify the impact of weather, disease, and genetic improvement on wheat yields of varieties grown in 11 locations in Kansas from 1985 to 2011. Wheat variety yield data from Kansas performance tests were matched with comprehensive location-specific disease and weather data, including seasonal precipitation, monthly air temperature, air temperature and solar radiation around anthesis, and vapor pressure deficit (VPD). The results show that wheat breeding programs increased yield by 34 kg ha⁻¹ yr⁻¹. From 1985 through 2011, wheat breeding increased average wheat yields by 917 kg ha⁻¹, or 27% of total yield. Weather was found to have a large impact on wheat yields. Simulations demonstrated that a 1°C increase in projected mean temperature was associated with a decrease in wheat yields of 715 kg ha⁻¹, or 21%. Weather, diseases, and genetics all had significant impacts on wheat yields in 11 locations in Kansas during 1985 to 2011