Cosmic-ray energy spectrum and composition up to the ankle - the case for a second Galactic component

We have carried out a detailed study to understand the observed energy spectrum and composition of cosmic rays with energies up to ~10^18 eV. Our study shows that a single Galactic component with subsequent energy cut-offs in the individual spectra of different elements, optimised to explain the observed spectra below ~10^14 eV and the knee in the all-particle spectrum, cannot explain the observed all-particle spectrum above ~2x10^16 eV. We discuss two approaches for a second component of Galactic cosmic rays -- re-acceleration at a Galactic wind termination shock, and supernova explosions of Wolf-Rayet stars, and show that the latter scenario can explain almost all observed features in the all-particle spectrum and the composition up to ~10^18 eV, when combined with a canonical extra-galactic spectrum expected from strong radio galaxies or a source population with similar cosmological evolution. In this two-component Galactic model, the knee at ~ 3x10^15 eV and the second knee at ~10^17 eV in the all-particle spectrum are due to the cut-offs in the first and second components, respectively. We also discuss several variations of the extra-galactic component, from a minimal contribution to scenarios with a significant component below the ankle (at ~4x10^18 eV), and find that extra-galactic contributions in excess of regular source evolution are neither indicated nor in conflict with the existing data. Our main result is that the second Galactic component predicts a composition of Galactic cosmic rays at and above the second knee that largely consists of helium or a mixture of helium and CNO nuclei, with a weak or essentially vanishing iron fraction, in contrast to most common assumptions. This prediction is in agreement with new measurements from LOFAR and the Pierre Auger Observatory which indicate a strong light component and a rather low iron fraction between ~10^17 and 10^18 eV.Comment: Added Table 4; Published in A&A, 595 (2016) A33 (Highlight paper

Atomic Structure of the Vicinal Interface between Silicon Carbide and Silicon Dioxide

The interface between silicon carbide (SiC) and silicon dioxide (SiO­2) is generally considered to be the cause for the reduced electron mobility of SiC power devices. Previous studies showed an inverse relationship between the mobility and the transition layer width at SiC/SiO2 interface. In this research the transition region at the interface was investigated with atomic resolution transmission electron microscopy (TEM) and electron energy-loss spectroscopy (EELS). From a tilting series of high resolution TEM imaging and a through focal series of Z-contrast imaging, the 3D atomic structure of the SiC/SiO2 vicinal interface was constructed. The vicinal interface was revealed to consist of atomic steps and facets deviating from the ideal off-axis cut plane, which caused the atomic scale roughness of the interface. This is in strict contrast to previous studies that concluded on a chemical composition change. During the Z-contrast imaging, simultaneous EELS spectra were collected at the interface. A new model based method was developed to quantify these EELS spectra more precisely. Composition profiles of Si, C and O across the interface were extracted from the spectra. Composition profiles showed that the transition region was due to the vicinal interface and its atomic scale roughness but minimal stoichiometric change. Compositions calculated with a chemometrics approach conformed that the interface was stoichiometric. The transition layer width had an intrinsic value of ~2 nm viewed from the step edge-on direction. In addition, the interface of oxide layers grown on an on-axis cut substrate was examined with the same method mentioned above. The results showed the on-axis cut interface had the same composition fluctuation region as the off-axis cut interface viewing from the step edge-on direction. The roughness is directly correlated with processing conditions and the material system may have an intrinsic local roughness. This atomic scale roughness of the interface is limiting the electron mobility and reliability of SiC based devices

An Object-Based Approach to Modelling and Analysis of Failure Properties

In protection systems, when traditional technology is replaced by software, the functionality and complexity of the system is likely to increase. The quantitative evidence normally provided for safety certification of traditional systems cannot be relied upon in software-based systems. Instead there is a need to provide qualitative evidence. As a basis for the required qualitative evidence, we propose an object-based approach that allows modelling of both the application and software domains. From the object class model of a system and a formal specification of the failure properties of its components, we generate a graph of failure propagation over object classes, which is then used to generate a graph in terms of object instances in order to conduct fault tree analysis. The model is validated by comparing the resulting minimal cut sets with those obtained from the fault tree analysis of the original system. The approach is illustrated on a case study based on a protection system from..

Non-normal modalities in variants of Linear Logic

This article presents modal versions of resource-conscious logics. We concentrate on extensions of variants of Linear Logic with one minimal non-normal modality. In earlier work, where we investigated agency in multi-agent systems, we have shown that the results scale up to logics with multiple non-minimal modalities. Here, we start with the language of propositional intuitionistic Linear Logic without the additive disjunction, to which we add a modality. We provide an interpretation of this language on a class of Kripke resource models extended with a neighbourhood function: modal Kripke resource models. We propose a Hilbert-style axiomatization and a Gentzen-style sequent calculus. We show that the proof theories are sound and complete with respect to the class of modal Kripke resource models. We show that the sequent calculus admits cut elimination and that proof-search is in PSPACE. We then show how to extend the results when non-commutative connectives are added to the language. Finally, we put the logical framework to use by instantiating it as logics of agency. In particular, we propose a logic to reason about the resource-sensitive use of artefacts and illustrate it with a variety of examples

Connector algebras for C/E and P/T nets interactions

A quite fourishing research thread in the recent literature on component based system is concerned with the algebraic properties of different classes of connectors. In a recent paper, an algebra of stateless connectors was presented that consists of five kinds of basic connectors, namely symmetry, synchronization, mutual exclusion, hiding and inaction, plus their duals and it was shown how they can be freely composed in series and in parallel to model sophisticated "glues". In this paper we explore the expressiveness of stateful connectors obtained by adding one-place buffers or unbounded buffers to the stateless connectors. The main results are: i) we show how different classes of connectors exactly correspond to suitable classes of Petri nets equipped with compositional interfaces, called nets with boundaries; ii) we show that the difference between strong and weak semantics in stateful connectors is reflected in the semantics of nets with boundaries by moving from the classic step semantics (strong case) to a novel banking semantics (weak case), where a step can be executed by taking some "debit" tokens to be given back during the same step; iii) we show that the corresponding bisimilarities are congruences (w.r.t. composition of connectors in series and in parallel); iv) we show that suitable monoidality laws, like those arising when representing stateful connectors in the tile model, can nicely capture concurrency aspects; and v) as a side result, we provide a basic algebra, with a finite set of symbols, out of which we can compose all P/T nets, fulfilling a long standing quest

Cosmogenic Neutrinos Challenge the Cosmic Ray Proton Dip Model

The origin and composition of ultra-high-energy cosmic rays (UHECRs) remain a mystery. The proton dip model describes their spectral shape in the energy range above $10^9$ GeV by pair production and photohadronic interactions with the cosmic microwave background. The photohadronic interactions also produce cosmogenic neutrinos peaking around $10^9$ GeV. We test whether this model is still viable in light of recent UHECR spectrum measurements from the Telescope Array experiment, and upper limits on the cosmogenic neutrino flux from IceCube. While two-parameter fits have been already presented, we perform a full scan of the three main physical model parameters: source redshift evolution, injected proton maximal energy, and spectral index. We find qualitatively different conclusions compared to earlier two-parameter fits in the literature: a mild preference for a maximal energy cutoff at the sources instead of the Greisen--Zatsepin--Kuzmin (GZK) cutoff, hard injection spectra, and strong source evolution. The predicted cosmogenic neutrino flux exceeds the IceCube limit for any parameter combination. As a result, the proton dip model is challenged at more than 95\% C.L. This is strong evidence against this model independent of mass composition measurements.Comment: published in Apj; 15 pages, 12 figure

3D Raman mapping of the collagen fibril orientation in human osteonal lamellae

AbstractChemical composition and fibrillar organization are the major determinants of osteonal bone mechanics. However, prominent methodologies commonly applied to investigate mechanical properties of bone on the micro scale are usually not able to concurrently describe both factors. In this study, we used polarized Raman spectroscopy (PRS) to simultaneously analyze structural and chemical information of collagen fibrils in human osteonal bone in a single experiment. Specifically, the three-dimensional arrangement of collagen fibrils in osteonal lamellae was assessed. By analyzing the anisotropic intensity of the amide I Raman band of collagen as a function of the orientation of the incident laser polarization, different parameters related to the orientation of the collagen fibrils and the degree of alignment of the fibrils were derived. Based on the analysis of several osteons, two major fibrillar organization patterns were identified, one with a monotonic and another with a periodically changing twist direction. These results confirm earlier reported twisted and oscillating plywood arrangements, respectively. Furthermore, indicators of the degree of alignment suggested the presence of disordered collagen within the lamellar organization of the osteon. The results show the versatility of the analytical PRS approach and demonstrate its capability in providing not only compositional, but also 3D structural information in a complex hierarchically structured biological material. The concurrent assessment of chemical and structural features may contribute to a comprehensive characterization of the microstructure of bone and other collagen-based tissues