A Calculus of Bounded Capacities

Resource control has attracted increasing interest in foundational research on distributed systems. This paper focuses on space control and develops an analysis of space usage in the context of an ambient-like calculus with bounded capacities and weighed processes, where migration and activation require space. A type system complements the dynamics of the calculus by providing static guarantees that the intended capacity bounds are preserved throughout the computation

Damage areas on selected LDEF aluminum surfaces

With the U.S. about to embark on a new space age, the effects of the space environment on a spacecraft during its mission lifetime become more relevant. Included among these potential effects are degradation and erosion due to micrometeoroid and debris impacts, atomic oxygen and ultraviolet light exposure as well as material alteration from thermal cycling, and electron and proton exposure. This paper focuses on the effects caused by micrometeoroid and debris impacts on several LDEF aluminum plates from four different bay locations: C-12, C-10, C-01, and E-09. Each plate was coated with either a white, black, or gray thermal paint. Since the plates were located at different orientations on the satellite, their responses to the hypervelocity impacts varied. Crater morphologies range from a series of craters, spall zones, domes, spaces, and rings to simple craters with little or no spall zones. In addition, each of these crater morphologies is associated with varying damage areas, which appear to be related to their respective bay locations and thus exposure angles. More than 5% of the exposed surface area examined was damaged by impact cratering and its coincident effects (i.e., spallation, delamination and blow-off). Thus, results from this analysis may be significant for mission and spacecraft planners and designers

A review of High Performance Computing foundations for scientists

The increase of existing computational capabilities has made simulation emerge as a third discipline of Science, lying midway between experimental and purely theoretical branches [1, 2]. Simulation enables the evaluation of quantities which otherwise would not be accessible, helps to improve experiments and provides new insights on systems which are analysed [3-6]. Knowing the fundamentals of computation can be very useful for scientists, for it can help them to improve the performance of their theoretical models and simulations. This review includes some technical essentials that can be useful to this end, and it is devised as a complement for researchers whose education is focused on scientific issues and not on technological respects. In this document we attempt to discuss the fundamentals of High Performance Computing (HPC) [7] in a way which is easy to understand without much previous background. We sketch the way standard computers and supercomputers work, as well as discuss distributed computing and discuss essential aspects to take into account when running scientific calculations in computers.Comment: 33 page

Effective representation of RT-LOTOS terms by finite time petri nets

The paper describes a transformational approach for the specification and formal verification of concurrent and real-time systems. At upper level, one system is specified using the timed process algebra RT-LOTOS. The output of the proposed transformation is a Time Petri net (TPN). The paper particularly shows how a TPN can be automatically constructed from an RT-LOTOS specification using a compositionally defined mapping. The proof of the translation consistency is sketched in the paper and developed in [1]. The RT-LOTOS to TPN translation patterns formalized in the paper are being implemented. in a prototype tool. This enables reusing TPNs verification techniques and tools for the profit of RT-LOTOS

On the Effect of Quantum Interaction Distance on Quantum Addition Circuits

We investigate the theoretical limits of the effect of the quantum interaction distance on the speed of exact quantum addition circuits. For this study, we exploit graph embedding for quantum circuit analysis. We study a logical mapping of qubits and gates of any $\Omega(\log n)$-depth quantum adder circuit for two $n$-qubit registers onto a practical architecture, which limits interaction distance to the nearest neighbors only and supports only one- and two-qubit logical gates. Unfortunately, on the chosen $k$-dimensional practical architecture, we prove that the depth lower bound of any exact quantum addition circuits is no longer $\Omega(\log {n})$, but $\Omega(\sqrt[k]{n})$. This result, the first application of graph embedding to quantum circuits and devices, provides a new tool for compiler development, emphasizes the impact of quantum computer architecture on performance, and acts as a cautionary note when evaluating the time performance of quantum algorithms.Comment: accepted for ACM Journal on Emerging Technologies in Computing System

Variation in Grazing Sward Chicory Content After Periods of Low Rainfall

Multispecies (MS) swards can reduce chemical nitrogen (N) fertiliser requirement due to the legume components of the sward mixtures, and have the potential to increase drought tolerance, particularly where chicory (CH, Chicorium intybus L.) is included in the sward mixture. A grazed plot experiment was established to investigate the persistency of forage herb species in MS swards under typical Irish grazing conditions. The swards contained three plant functional groups: grass, legume and herb; four sward types were established which included sward mixtures of the following species: perennial ryegrass (PRG, Lolium perenne L.) white clover (WC, Trifolium repens L.), red clover (RC, Trifolium pratense L.), CH and ribwort plantain (PL, Plantago lanceolata L.). The sward content of the various species in the sown mixtures was evaluated over three years (2020, 2021 and 2022). The summer of 2022 experienced dry weather conditions in which rainfall was well below average thus providing an opportunity to assess the drought tolerance of CH in grazed swards. The proportion of sward CH content from two late season cuts was assessed over the three years and this study reports the changes in sward CH content between years and grazing rotations. Average sward CH content was 14.7, 6.1, and 1.5% across all sward types in late summer of 2020, 2021 and 2022, respectively; average sward CH content was 13.7, 9.4 and 24.6 across all sward types in autumn of 2020, 2021 and 2022, respectively