A tutorial on the CARE III approach to reliability modeling

The CARE 3 reliability model for aircraft avionics and control systems is described by utilizing a number of examples which frequently use state-of-the-art mathematical modeling techniques as a basis for their exposition. Behavioral decomposition followed by aggregration were used in an attempt to deal with reliability models with a large number of states. A comprehensive set of models of the fault-handling processes in a typical fault-tolerant system was used. These models were semi-Markov in nature, thus removing the usual restrictions of exponential holding times within the coverage model. The aggregate model is a non-homogeneous Markov chain, thus allowing the times to failure to posses Weibull-like distributions. Because of the departures from traditional models, the solution method employed is that of Kolmogorov integral equations, which are evaluated numerically

Physicochemical Characteristics of the Hyporheic Zone Affect Redd Site Selection of Chum and Fall Chinook Salmon, Columbia River.

Chum salmon (Oncorhynchus keta) may historically have been the most abundant species of Columbia River salmon, contributing as much as 50% of the total biomass of all salmon in the Pacific Ocean prior to the 1940's (Neave 1961). By the 1950's, however, run sizes to the Columbia River dropped dramatically and in 1999 the National Marine Fisheries Service (NMFS) listed Columbia River chum salmon as threatened under the Endangered Species Act (ESA; NMFS 1999). Habitat degradation, water diversions, harvest, and artificial propagation are the major human-induced factors that have contributed to the species decline (NMFS 1998). Columbia River chum salmon spawn exclusively in the lower river below Bonneville Dam, including an area near Ives Island. The Ives Island chum salmon are part of the Columbia River evolutionary significant unit (ESU) for this species, and are included in the ESA listing. In addition to chum salmon, fall chinook salmon (O. tshawytscha) also spawn at Ives Island. Spawning surveys conducted at Ives Island over the last several years show that chum and fall chinook salmon spawned in clusters in different locations (US Fish and Wildlife Service and Washington Department of Fish and Wildlife, unpublished data). The presence of redd clusters suggested that fish were selecting specific habitat features within the study area (Geist and Dauble 1998). Understanding the specific features of these spawning areas is needed to quantify the amount of habitat available to each species so that minimum flows can be set to protect fish and maintain high quality habitat

The Ursinus Weekly, October 28, 1976

Ursinus News in Brief: Fourteen chosen for Who\u27s who; P.M. Rabin dismayed ; Garnet squad spoils Homecoming • McCarthy rep visits Ursinus • State candidates view higher education • An evening of one acts • Comment: Exercise your right • GOP and Dems: Aimless search?? • Letter to the editor: Election explainedhttps://digitalcommons.ursinus.edu/weekly/1060/thumbnail.jp

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

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

It\u27s a Small World: Enhancing Human Cognition through Virtual Dioramas

2008 S.C. Water Resources Conference - Addressing Water Challenges Facing the State and Regio