Runtime Analysis with R2U2: A Tool Exhibition Report

We present R2U2 (Realizable, Responsive, Unobtrusive Unit), a hardware-supported tool and framework for the continuous monitoring of safety-critical and embedded cyber-physical systems. With the widespread advent of autonomous systems such as Unmanned Aerial Systems (UAS), satellites, rovers, and cars, real-time, on-board decision making requires unobtrusive monitoring of properties for safety, performance, security, and system health. R2U2 models combine past-time and future-time Metric Temporal Logic, “mission time” Linear Temporal Logic, probabilistic reasoning with Bayesian Networks, and model-based prognostics. The R2U2 monitoring engine can be instantiated as a hardware solution, running on an FPGA, or as a software component. The FPGA realization enables R2U2 to monitor complex cyber-physical systems without any overhead or instrumentation of the flight software. In this tool exhibition report, we present R2U2 and demonstrate applications on system runtime monitoring, diagnostics, software health management, and security monitoring for a UAS. Our tool demonstration uses a hardware-based processor-in-the-loop “iron-bird” configuration

Spacecube V2.0 Micro Single Board Computer

A single board computer system radiation hardened for space flight includes a printed circuit board having a top side and bottom side; a reconfigurable field programmable gate array (FPGA) processor device disposed on the top side; a connector disposed on the top side; a plurality of peripheral components mounted on the bottom side; and wherein a size of the single board computer system is not greater than approximately 7 cm.times.7 cm

A TRLFS study on the complexation of Cm(III) and Eu(III) with 4-t-butyl-6,6´-bis-(5,6-diethyl-1,2,4-tiazin-3-yl)-2,2´-bipyridine in a water / 2-propanol mixture

The complexation of Cm(III) and Eu(III) with 4-t-butyl-6,6´-bis-(5,6-diethyl-1,2,4-tiazin-3-yl)-2,2´-bipyridine(t-Bu-C2-BTBP) in water / 2-propanol solution is studies.JRC.E-Institute for Transuranium Elements (Karlsruhe

Limits to Sympathetic Evaporative Cooling of a Two-Component Fermi Gas

We find a limit cycle in a quasi-equilibrium model of evaporative cooling of a two-component fermion gas. The existence of such a limit cycle represents an obstruction to reaching the quantum ground state evaporatively. We show that evaporatively the \beta\mu ~ 1. We speculate that one may be able to cool an atomic fermi gas further by photoassociating dimers near the bottom of the fermi sea.Comment: Submitted to Phys. Rev

Development of a Conceptual Chum Salmon Emergence Model for Ives Island

The objective of the study described herein was to develop a conceptual model of chum salmon emergence that was based on empirical water temperature of the riverbed and river in specific locations where chum salmon spawn in the Ives Island area. The conceptual model was developed using water temperature data that have been collected in the past and are currently being collected in the Ives Island area. The model will be useful to system operators who need to estimate the complete distribution of chum salmon emergence (first emergence through final emergence) in order to balance chum salmon redd protection and power system operation

Hard probes in heavy ion collisions at the LHC: PDFs, shadowing and pApA collisions

This manuscript is the outcome of the subgroup ``PDFs, shadowing and $pA$ collisions'' from the CERN workshop ``Hard Probes in Heavy Ion Collisions at the LHC''. In addition to the experimental parameters for $pA$ collisions at the LHC, the issues discussed are factorization in nuclear collisions, nuclear parton distributions (nPDFs), hard probes as the benchmark tests of factorization in $pA$ collisions at the LHC, and semi-hard probes as observables with potentially large nuclear effects. Also, novel QCD phenomena in $pA$ collisions at the LHC are considered. The importance of the $pA$ program at the LHC is emphasized.Comment: The writeup of the working group "PDFs, shadowing and $pA$ collisions" for the CERN Yellow Report on Hard Probes in Heavy Ion Collisions at the LHC, 121 pages. Subgroup convenors: K.J. Eskola, J.w. Qiu (theory) and W. Geist (experiment). Editor: K.J. Eskol

Learning from the Success of MPI

The Message Passing Interface (MPI) has been extremely successful as a portable way to program high-performance parallel computers. This success has occurred in spite of the view of many that message passing is difficult and that other approaches, including automatic parallelization and directive-based parallelism, are easier to use. This paper argues that MPI has succeeded because it addresses all of the important issues in providing a parallel programming model.Comment: 12 pages, 1 figur

Incorporating Wildlife Connectivity into Forest Plan Revision Under the United States Forest Service\u27s 2012 Planning Rule

The United States Forest Service promulgated new planning regulations under the National Forest Management Act in 2012 (i.e., the Planning Rule). These new regulations include the first requirements in U.S. public land management history for National Forests to evaluate, protect, and/or restore ecological connectivity as they revise their land management plans. Data and resource limitations make single-species, functional connectivity analyses for the myriad species that occur within the 78 million ha the Forest Service manages implausible. We describe an approach that relies on freely available data and generic species, virtual species whose profile consists of ecological requirements designed to reflect the needs of a group of real species, to address the new Planning Rule requirements. We present high-resolution connectivity estimates for 10 different generic species across a 379,000 ha study area centered on the Custer Gallatin National Forest (CGNF) in Montana and South Dakota under two different movement models. We identify locations important for connectivity for multiple species and characterize the role of the CGNF for regional connectivity. Our results informed the Plan Revision process on the CGNF and could be readily exported to other National Forests currently or planning to revise their land management plans under the new Planning Rule

Negative effects of parasite exposure and variable thermal stress on brown trout (Salmo trutta) under future climatic and hydropower production scenarios

Future water temperature changes may have a profound impact on fish-parasite interactions. However, while the effect of temperature on fish, and particularly salmonids, is well-understood, its combined effects with parasitic exposure are not. Here, we use a multi-stage experimental approach to explore the impact of increased water temperatures consistent with persistent climate change-induced warming and extreme thermal fluctuations from hydropower (thermopeaking) on brown trout alevins and fry before and during exposure to Saprolegnia parasitica. Parasite exposure had the strongest and most significant effect on survival of both host life stages. The combination of parasite exposure, thermal pre-conditioning and the ongoing thermal regime had a weak but significant influence on alevin mortality. Both parasite-exposed alevin and fry experienced increased mortality when a constant increase in temperature was combined with intermittent thermal increases. The outcomes of this experimental approach provide the basis for future studies scaling up the potential impacts of temperatures and parasite exposure that key fish species may face in the wild. They also highlight the effects of anthropogenic changes on brown trout populations, as pressures on aquatic organisms are likely to intensify in future climate scenarios with increased hydropower development and thermopeaking, particularly in the presence of pathogens