Toward the assessment of the susceptibility of a digital system to lightning upset

Accomplishments and directions for further research aimed at developing methods for assessing a candidate design of an avionic computer with respect to susceptability to lightning upset are reported. Emphasis is on fault tolerant computers. Both lightning stress and shielding are covered in a review of the electromagnetic environment. Stress characterization, system characterization, upset detection, and positive and negative design features are considered. A first cut theory of comparing candidate designs is presented including tests of comparative susceptability as well as its analysis and simulation. An approach to lightning induced transient fault effects is included

Improved silicon carbide for advanced heat engines

Work performed to develop silicon carbide materials of high strength and to form components of complex shape and high reliability is described. A beta-SiC powder and binder system was adapted to the injection molding process and procedures and process parameters developed capable of providing a sintered silicon carbide material with improved properties. The initial effort has been to characterize the baseline precursor materials (beta silicon carbide powder and boron and carbon sintering aids), develop mixing and injection molding procedures for fabricating test bars, and characterize the properties of the sintered materials. Parallel studies of various mixing, dewaxing, and sintering procedures have been carried out in order to distinguish process routes for improving material properties. A total of 276 MOR bars of the baseline material have been molded, and 122 bars have been fully processed to a sinter density of approximately 95 percent. The material has a mean MOR room temperature strength of 43.31 ksi (299 MPa), a Weibull characteristic strength of 45.8 ksi (315 MPa), and a Weibull modulus of 8.0. Mean values of the MOR strengths at 1000, 1200, and 14000 C are 41.4, 43.2, and 47.2 ksi, respectively. Strength controlling flaws in this material were found to consist of regions of high porosity and were attributed to agglomerates originating in the initial mixing procedures. The mean stress rupture lift at 1400 C of five samples tested at 172 MPa (25 ksi) stress was 62 hours and at 207 MPa (30 ksi) stress was 14 hours. New fluid mixing techniques have been developed which significantly reduce flaw size and improve the strength of the material. Initial MOR tests indicate the strength of the fluid-mixed material exceeds the baseline property by more than 33 percent

The Molecular Hydrogen Deficit in Gamma-Ray Burst Afterglows

Recent analysis of five gamma-ray burst (GRB) afterglow spectra reveal the absence of molecular hydrogen absorption lines, a surprising result in light of their large neutral hydrogen column densities and the detection of H$_2$ in similar, more local star-forming regions like 30 Doradus in the Large Magellanic Cloud (LMC). Observational evidence further indicates that the bulk of the neutral hydrogen column in these sight lines lies 100 pc beyond the progenitor and that H$_2$ was absent prior to the burst, suggesting that direct flux from the star, FUV background fields, or both suppressed its formation. We present one-dimensional radiation hydrodynamical models of GRB host galaxy environments, including self-consistent radiative transfer of both ionizing and Lyman-Werner photons, nine-species primordial chemistry with dust formation of H$_2$, and dust extinction of UV photons. We find that a single GRB progenitor is sufficient to ionize neutral hydrogen to distances of 50 - 100 pc but that a galactic Lyman-Werner background is required to dissociate the molecular hydrogen in the ambient ISM. Intensities of 0.1 - 100 times the Galactic mean are necessary to destroy H$_2$ in the cloud, depending on its density and metallicity. The minimum radii at which neutral hydrogen will be found in afterglow spectra is insensitive to the mass of the progenitor or the initial mass function (IMF) of its cluster, if present.Comment: 12 pages, 7 figures, accepted for Ap

Performance and endurance tests of a multipropellant resistojet for space station auxiliary propulsion

This paper presents the results of an effort to demonstrate the technology readiness of a long-life multipropellant resistojet for space station auxiliary propulsion. Experiments were performed to evaluate the compatibility of grain-stabilized platinum tubes at temperatures up to 1400 deg C in environments of CO2, CH4, NH3, H2O, and H2. All samples tested showed extrapolated lifetimes in excess of 10,000 hr based on 10 percent mass loss as end-of-life. However, samples tested in an ammonia atmosphere at 1400 deg C showed severe pitting, which raised concerns about the compatibility of grain-stabilized platinum with ammonia-containing atmospheres. Additional tests showed that reducing the metal temperature to about 900 deg C (+ or - 100 deg C) significantly reduced this adverse effect

Diffuse continuum transfer in H II regions

We compare the accuracy of various methods for determining the transfer of the diffuse Lyman continuum in HII regions, by comparing them with a high-resolution discrete-ordinate integration. We use these results to suggest how, in multidimensional dynamical simulations, the diffuse field may be treated with acceptable accuracy without requiring detailed transport solutions. The angular distribution of the diffuse field derived from the numerical integration provides insight into the likely effects of the diffuse field for various material distributions.Comment: 12 pages, 7 figures, to be published in MNRA

Optical Properties of Radio-selected Narrow Line Seyfert 1 Galaxies

We present results from the analysis of the optical spectra of 47 radio-selected narrow-line Seyfert 1 galaxies (NLS1s). These objects are a subset of the First Bright Quasar Survey (FBQS) and were initially detected at 20 cm (flux density limit ~1 mJy) in the VLA FIRST Survey. We run Spearman rank correlation tests on several sets of parameters and conclude that, except for their radio properties, radio-selected NLS1 galaxies do not exhibit significant differences from traditional NLS1 galaxies. Our results are also in agreement with previous studies suggesting that NLS1 galaxies have small black hole masses that are accreting very close to the Eddington rate. We have found 16 new radio-loud NLS1 galaxies, which increases the number of known radio-loud NLS1 galaxies by a factor of ~5.Comment: 18 pages, 20 figures, Accepted for publication in Ap

A Flexible and Non-instrusive Approach for Computing Complex Structural Coverage Metrics

Software analysis tools and techniques often leverage structural code coverage information to reason about the dynamic behavior of software. Existing techniques instrument the code with the required structural obligations and then monitor the execution of the compiled code to report coverage. Instrumentation based approaches often incur considerable runtime overhead for complex structural coverage metrics such as Modified Condition/Decision (MC/DC). Code instrumentation, in general, has to be approached with great care to ensure it does not modify the behavior of the original code. Furthermore, instrumented code cannot be used in conjunction with other analyses that reason about the structure and semantics of the code under test. In this work, we introduce a non-intrusive preprocessing approach for computing structural coverage information. It uses a static partial evaluation of the decisions in the source code and a source-to-bytecode mapping to generate the information necessary to efficiently track structural coverage metrics during execution. Our technique is flexible; the results of the preprocessing can be used by a variety of coverage-driven software analysis tasks, including automated analyses that are not possible for instrumented code. Experimental results in the context of symbolic execution show the efficiency and flexibility of our nonintrusive approach for computing code coverage informatio

Unsatisfiability proofs for distributed clause-sharing SAT solvers

Distributed clause-sharing SAT solvers can solve problems up to one hundred times faster than sequential SAT solvers by sharing derived information among multiple sequential solvers working on the same problem. Unlike sequential solvers, however, distributed solvers have not been able to produce proofs of unsatisfiability in a scalable manner, which has limited their use in critical applications. In this paper, we present a method to produce unsatisfiability proofs for distributed SAT solvers by combining the partial proofs produced by each sequential solver into a single, linear proof. Our approach is more scalable and general than previous explorations for parallel clause-sharing solvers, allowing use on distributed solvers without shared memory. We propose a simple sequential algorithm as well as a fully distributed algorithm for proof composition. Our empirical evaluation shows that for large-scale distributed solvers (100 nodes of 16 cores each), our distributed approach allows reliable proof composition and checking with reasonable overhead. We analyze the overhead and discuss how and where future efforts may further improve performance