Visual display and alarm system for wind tunnel static and dynamic loads

A wind tunnel balance monitor and alarm system developed at NASA Ames Research Center will produce several beneficial results. The costs of wind tunnel delays because of inadvertent balance damage and the costs of balance repair or replacement can be greatly reduced or eliminated with better real-time information on the balance static and dynamic loading. The wind tunnel itself will have enhanced utility with the elimination of overly cautious limits on test conditions. The microprocessor-based system features automatic scaling and 16 multicolored LED bargraphs to indicate both static and dynamic components of the signals from eight individual channels. Five individually programmable alarm levels are available with relay closures for internal or external visual and audible warning devices and other functions such as automatic activation of external recording devices, model positioning mechanisms, or tunnel shutdown

Effects of cosmic rays on single event upsets

Assistance was provided to the Brookhaven Single Event Upset (SEU) Test Facility. Computer codes were developed for fragmentation and secondary radiation affecting Very Large Scale Integration (VLSI) in space. A computer controlled CV (HP4192) test was developed for Terman analysis. Also developed were high speed parametric tests which are independent of operator judgment and a charge pumping technique for measurement of D(sub it) (E). The X-ray secondary effects, and parametric degradation as a function of dose rate were simulated. The SPICE simulation of static RAMs with various resistor filters was tested

Reproductive Isolation and Hybridization Dynamics in Threatened Caribbean Acroporid Corals

The Caribbean corals, Acropora palmata and A. cervicornis, are abundant in fossil records but have recently undergone drastic declines primarily as a result of disease. Acropora prolifera, a hybrid of these species, has no fossil record and was previously considered rare and to occupy nonparental habitats. Now, hybrids have equivalent or greater abundance than the parental species and have expanded into the parental habitat at some sites. Previous molecular studies have demonstrated regional variability in unidirectional introgression of A. palmata genes into A. cervicornis. The goals of this dissertation are (1) to determine the strength of prezygotic mechanisms and to establish the likelihood of density dependent reproductive isolation, (2) to determine the strength of intrinsic and extrinsic postzygotic barriers, and (3) to ascertain if hybrid populations are composed of rare hybridization events that have asexually fragmented, or if colonies are genotypically distinct suggesting separate hybrid events. Overall barriers to hybridization in this genus are weak, and the efficacy of these semipermeable isolating mechanisms may depend on density. In addition, hybrids are as viable as the parental species at a variety of life history stages and are less or equally susceptible to the typical afflictions that have lead to their decline. Most hybrid populations do not seem to be composed of a single hybridization event that has asexually propagated, but rather the genotypic diversity varies across sites with up to 17 different distinct genets in one population. Taken together, it appears that hybridization in a threatened Caribbean genus is evolutionarily significant with a range of possible outcomes from the benefit of novel alleles to the swamping of A. cervicornis’ genome. These outcomes may hinge on the ability of the Caribbean acroporids to withstand the onslaught of threats that currently faces this genus (i.e. Allee Effect, disease, predation, increased sea temperature, ocean acidification, and increased disturbances)

Using atmospheric model output to simulate the meteorological tsunami response to Tropical Storm Helene (2000)

[1] In the fall of both 1999 and 2000, unexpected “rapid tides” occurred along the coast of the Avalon Peninsula of Newfoundland. These rapid tides have been linked to the passing of Tropical Storm Jose (1999) and Tropical Storm Helene (2000) over the Grand Banks. Here we examine the dynamic ocean response to Tropical Storm Helene (2000) using a barotropic shallow water ocean model forced by atmospheric pressure and surface winds derived from a simulation of Helene using a dynamical model of the atmosphere. The ocean model is able to capture the main features of the observed response at the coast of Newfoundland as seen in the available tide gauge data. Results show that the simulated sea level response at the coast is driven by a combination of wind stress and atmospheric pressure forcing, the former generally dominating. An exception is Conception Bay, Newfoundland, where the response is captured mainly by atmospheric pressure forcing. Offshore near the edge of the Grand Banks, atmospheric pressure and wind stress forcing are equally important. The wind-forced response depends on the divergence of the surface wind stress and hence on the structure of the storm in the atmospheric model simulation. Sensitivity studies show the importance of having a small time interval (on the order of minutes) at which the atmospheric forcing is supplied to the ocean model and show the importance of the location of the storm track

From LTL and Limit-Deterministic B\"uchi Automata to Deterministic Parity Automata

Controller synthesis for general linear temporal logic (LTL) objectives is a challenging task. The standard approach involves translating the LTL objective into a deterministic parity automaton (DPA) by means of the Safra-Piterman construction. One of the challenges is the size of the DPA, which often grows very fast in practice, and can reach double exponential size in the length of the LTL formula. In this paper we describe a single exponential translation from limit-deterministic B\"uchi automata (LDBA) to DPA, and show that it can be concatenated with a recent efficient translation from LTL to LDBA to yield a double exponential, \enquote{Safraless} LTL-to-DPA construction. We also report on an implementation, a comparison with the SPOT library, and performance on several sets of formulas, including instances from the 2016 SyntComp competition

Weak Prezygotic Isolating Mechanisms in Threatened Caribbean Acropora Corals

The Caribbean corals, Acropora palmata and A. cervicornis, recently have undergone drastic declines primarily as a result of disease. Previous molecular studies have demonstrated that these species form a hybrid (A. prolifera) that varies in abundance throughout the range of the parental distribution. There is variable unidirectional introgression across loci and sites of A. palmata genes flowing into A. cervicornis. Here we examine the efficacy of prezygotic reproductive isolating mechanisms within these corals including spawning times and choice and no-choice fertilization crosses. We show that these species have subtly different mean but overlapping spawning times, suggesting that temporal isolation is likely not an effective barrier to hybridization. We found species-specific differences in gametic incompatibilities. Acropora palmata eggs were relatively resistant to hybridization, especially when conspecific sperm are available to outcompete heterospecific sperm. Acropora cervicornis eggs demonstrated no evidence for gametic incompatibility and no evidence of reduced viability after aging four hours. This asymmetry in compatibility matches previous genetic data on unidirectional introgression

Holomorphic symmetric differentials and a birational characterization of Abelian Varieties

A generically generated vector bundle on a smooth projective variety yields a rational map to a Grassmannian, called Kodaira map. We answer a previous question, raised by the asymptotic behaviour of such maps, giving rise to a birational characterization of abelian varieties. In particular we prove that, under the conjectures of the Minimal Model Program, a smooth projective variety is birational to an abelian variety if and only if it has Kodaira dimension 0 and some symmetric power of its cotangent sheaf is generically generated by its global sections.Comment: UPDATED: more details added on main proo

Noninvasive Techniques for Intracranial Pressure Assessment: A Review from Aerospace Medicine Perspective

Microgravity-induced changes in fluid distribution and other physiological factors due to space flight have been implicated as the cause of increased intracranial pressure (ICP) in a number of space crewmembers. The modest levels of ICP elevation and absence of severe symptoms in this group do not warrant invasive diagnostic interventions. However, the long-term trends and residual or consequential changes secondary to the observed ICP elevation in this group are not yet known. Therefore, close attention is needed to evaluate the potential techniques of noninvasively assessing ICP, including those feasible for in-flight use. Of particular interest is continuity between ground and in-flight testing, whereby data from the same or different techniques allow reasonably dependable estimation of ICP trends and responses. Methods: A thorough review of current literature, analysis of NASA data, and interviews with subject matter experts were conducted to construct a presentation that reflects the state of the art for noninvasive ICP measurement and monitoring. Results: Multiple imaging and non-imaging modalities are available to assess ICP in terrestrial clinical and experimental environments. Imaging alternatives include magnetic resonance imaging (MRI) and high-resolution sonography. Non-imaging techniques include transcranial Doppler, certain audiological methods, and venous ophthalmodynamometry, among others. Special functional techniques have been proposed recently that allow the use of advanced MRI methods to calculate ICP in addition to the acquisition of high-resolution images. Our data include many of these applications, with several cases of correlation with lumbar puncture, the invasive "gold standard" measurement of ICP