Space Shuttle Lightning Protection

The technology for lightning protection of even the most advanced spacecraft is available and can be applied through cost-effective hardware designs and design-verification techniques. In this paper, the evolution of the Space Shuttle Lightning Protection Program is discussed, including the general types of protection, testing, and anlayses being performed to assess the lightning-transient-damage susceptibility of solid-state electronics

ASTP simulated lightning test report

A simulated lightning test was conducted on the backup spacecraft for the Apollo Soyuz Test Project mission (CSM-119) to determine the susceptibility of the Apollo spacecraft to damage from the indirect effects of lightning. It is demonstrated that induced lightning effects from low-level injected currents can be scaled linearly to those which are obtained in a full threat lightning stroke. Test results indicate that: (1) many of the power and signal critical circuits would fail if subjected to full-threat lightning, (2) pyrotechnic circuits are safe for full-threat lightning, and (3) common-mode voltages exceeded the failure criteria level for all but three of the circuits tested

Heap Reference Analysis Using Access Graphs

Despite significant progress in the theory and practice of program analysis, analysing properties of heap data has not reached the same level of maturity as the analysis of static and stack data. The spatial and temporal structure of stack and static data is well understood while that of heap data seems arbitrary and is unbounded. We devise bounded representations which summarize properties of the heap data. This summarization is based on the structure of the program which manipulates the heap. The resulting summary representations are certain kinds of graphs called access graphs. The boundedness of these representations and the monotonicity of the operations to manipulate them make it possible to compute them through data flow analysis. An important application which benefits from heap reference analysis is garbage collection, where currently liveness is conservatively approximated by reachability from program variables. As a consequence, current garbage collectors leave a lot of garbage uncollected, a fact which has been confirmed by several empirical studies. We propose the first ever end-to-end static analysis to distinguish live objects from reachable objects. We use this information to make dead objects unreachable by modifying the program. This application is interesting because it requires discovering data flow information representing complex semantics. In particular, we discover four properties of heap data: liveness, aliasing, availability, and anticipability. Together, they cover all combinations of directions of analysis (i.e. forward and backward) and confluence of information (i.e. union and intersection). Our analysis can also be used for plugging memory leaks in C/C++ languages.Comment: Accepted for printing by ACM TOPLAS. This version incorporates referees' comment

Role of Mutagenicity in Asbestos Fiber-Induced Carcinogenicity and Other Diseases

The cellular and molecular mechanisms of how asbestos fibers induce cancers and other diseases are not well understood. Both serpentine and amphibole asbestos fibers have been shown to induce oxidative stress, inflammatory responses, cellular toxicity and tissue injuries, genetic changes, and epigenetic alterations in target cells in vitro and tissues in vivo. Most of these mechanisms are believe to be shared by both fiber-induced cancers and noncancerous diseases. This article summarizes the findings from existing literature with a focus on genetic changes, specifically, mutagenicity of asbestos fibers. Thus far, experimental evidence suggesting the involvement of mutagenesis in asbestos carcinogenicity is more convincing than asbestos-induced fibrotic diseases. The potential contributions of mutagenicity to asbestos-induced diseases, with an emphasis on carcinogenicity, are reviewed from five aspects: (1) whether there is a mutagenic mode of action (MOA) in fiber-induced carcinogenesis; (2) mutagenicity/carcinogenicity at low dose; (3) biological activities that contribute to mutagenicity and impact of target tissue/cell type; (4) health endpoints with or without mutagenicity as a key event; and finally, (5) determinant factors of toxicity in mutagenicity. At the end of this review, a consensus statement of what is known, what is believed to be factual but requires confirmation, and existing data gaps, as well as future research needs and directions, is provided

An examination of the self-referent executive processing model of test anxiety: control, emotional regulation, self-handicapping, and examination performance

According to the self-referent executive processing (S-REF) model, test anxiety develops from interactions between three systems: executive self-regulation processes, self-beliefs, and maladaptive situational interactions. Studies have tended to examine one system at a time, often in conjunction with how test anxiety relates to achievement outcomes. The aim of this study was to enable a more thorough test of the S-REF model by examining one key construct from each of these systems simultaneously. These were control (a self-belief construct), emotional regulation through suppression and reappraisal (an executive process), and self-handicapping (a maladaptive situational interaction). Relations were examined from control, emotional regulation, and self-handicapping to cognitive test anxiety (worry), and subsequent examination performance on a high-stakes test. Data were collected from 273 participants in their final year of secondary education. A structural equation model showed that higher control was indirectly related to better examination performance through lower worry, higher reappraisal was indirectly related to worse examination performance through higher worry, and higher self-handicapping was related to worse examination performance through lower control and higher worry. These findings suggest that increasing control and reducing self-handicapping would be key foci for test anxiety interventions to incorporate. © 2018 The Author(s