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

A framework for the probabilistic analysis of meteotsunamis

This paper is not subject to U.S. copyright. The definitive version was published in Natural Hazards 74 (2014): 123-142, doi:10.1007/s11069-014-1294-1.A probabilistic technique is developed to assess the hazard from meteotsunamis. Meteotsunamis are unusual sea-level events, generated when the speed of an atmospheric pressure or wind disturbance is comparable to the phase speed of long waves in the ocean. A general aggregation equation is proposed for the probabilistic analysis, based on previous frameworks established for both tsunamis and storm surges, incorporating different sources and source parameters of meteotsunamis. Parameterization of atmospheric disturbances and numerical modeling is performed for the computation of maximum meteotsunami wave amplitudes near the coast. A historical record of pressure disturbances is used to establish a continuous analytic distribution of each parameter as well as the overall Poisson rate of occurrence. A demonstration study is presented for the northeast U.S. in which only isolated atmospheric pressure disturbances from squall lines and derechos are considered. For this study, Automated Surface Observing System stations are used to determine the historical parameters of squall lines from 2000 to 2013. The probabilistic equations are implemented using a Monte Carlo scheme, where a synthetic catalog of squall lines is compiled by sampling the parameter distributions. For each entry in the catalog, ocean wave amplitudes are computed using a numerical hydrodynamic model. Aggregation of the results from the Monte Carlo scheme results in a meteotsunami hazard curve that plots the annualized rate of exceedance with respect to maximum event amplitude for a particular location along the coast. Results from using multiple synthetic catalogs, resampled from the parent parameter distributions, yield mean and quantile hazard curves. Further refinements and improvements for probabilistic analysis of meteotsunamis are discussed

The Ursinus Weekly, May 13, 1976

Ursinus names new Alumni Director • Ursinus Chemistry Dept. receives Du Pont grant • New biomedical program combines M.S. degree with advanced placement in medical school • Dr. Parsons authors text • \u2776 Pa. Dutch Summer study • Grad honors, offices named; Asimov to speak • C.C.C. notes • Editorial: It\u27s time for a change • Letters to the editor • Profile: Chuck Reese • St. Andrews scholar named • Movie review • They do it in the Bearpit • Taren presents paper • Spring fest • Golfers hole-out • Baseball Bears put everything together • The Juan Pearl and Lean Tart show • Dr. Creager retiring • Tribute to Dr. Wessel • Pre-Law Society • New phone numbershttps://digitalcommons.ursinus.edu/weekly/1056/thumbnail.jp

Sympathetic cooling of an atomic Bose-Fermi gas mixture

Sympathetic cooling of an atomic Fermi gas by a Bose gas is studied by solution of the coupled quantum Boltzmann equations for the confined gas mixture. Results for equilibrium temperatures and relaxation dynamics are presented, and some simple models developed. Our study illustrate that a combination of sympathetic and forced evaporative cooling enables the Fermi gas to be cooled to the degenerate regime where quantum statistics, and mean field effects are important. The influence of mean field effects on the equilibrium spatial distributions is discussed qualitatively.Comment: 8 pages, 9 figures, accepted for publication in Phys.Rev.Let

Investigations of migratory bull trout (Salvelinus confluentus) in relation to fish passage at Albeni Falls Dam

Final report prepared for the United States Department of the Army Corps of Engineers, Seattle District. Contract No. DACW68-02-D-00

Evaporative cooling of trapped fermionic atoms

We propose an efficient mechanism for the evaporative cooling of trapped fermions directly into quantum degeneracy. Our idea is based on an electric field induced elastic interaction between trapped atoms in spin symmetric states. We discuss some novel general features of fermionic evaporative cooling and present numerical studies demonstrating the feasibility for the cooling of alkali metal fermionic species $^6$Li, $^{40}$K, and $^{82,84,86}$Rb. We also discuss the sympathetic cooling of fermionic hyperfine spin mixtures, including the effects of anisotropic interactions.Comment: to be publishe

Microcoil Spring Interconnects for Ceramic Grid Array Integrated Circuits

As integrated circuit miniaturization trends continue, they drive the need for smaller higher input/output (I/O) packages. Hermetically sealed ceramic area array parts are the package of choice by the space community for high reliability space flight electronic hardware. Unfortunately, the coefficient of thermal expansion mismatch between the ceramic area array package and the epoxy glass printed wiring board limits the life of the interconnecting solder joint. This work presents the results of an investigation by Marshall Space Flight Center into a method to increase the life of this second level interconnection by the use of compliant microcoil springs. The design of the spring and its attachment process are presented along with thermal cycling results of microcoil springs (MCS) compared with state-of-the-art ball and column interconnections. Vibration testing has been conducted on MCS and high lead column parts. Radio frequency simulation and measurements have been made and the MCS has been modeled and a stress analysis performed. Thermal cycling and vibration testing have shown MCS interconnects to be significantly more reliable than solder columns. Also, MCS interconnects are less prone to handling damage than solder columns. Future work that includes shock testing, incorporation into a digital signal processor board, and process evaluation of expansion from a 400 I/O device to a device with over 1,100 I/O is identified