Search NASA⌕ Search

SEARCH · Search NASA

Results for “enumerators”

Search indexed NASA NTRS and DOE OSTI research on propulsion, heat transfer, battery materials and energy systems. Follow report and document links to the original sources.

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 343 records · Page 19

A Technique for Showing Causal Arguments in Accident Reports

In the prototypical accident report, specific findings, particularly those related to causes and contributing factors, are usually written out explicitly and clearly. Also, the evidence upon which these findings are based is typically explained in detail. Often lacking, however, is any explicit discussion, description, or depiction of the arguments that connect the findings and the evidence. That is, the reports do not make clear why the investigators believe that the specific evidence they found necessarily leads to the particular findings they enumerated. This paper shows how graphical techniques can be used to depict relevant arguments supporting alternate positions on the causes of a complex road-traffic accident.

Holloway, C. M.↗

NASA Johnson Space Center Mini AERCam texting with the GSS6560

GPS based programs at NASA-JSC are enumerated on page 1: Several Detailed Test Objectives (DTOs) flown on STS missions featuring GPS are the primary focus of the DTO: GANE on STS-77, RGPS RME on STS-80, ARPK on STS-84 & STS-86, SIGI DTOs on STS-88, STS-101 (SOAR and STS-108 (CRV); Shuttle program switching to GPS receivers for navigation sensor; International Space Station baselined with GPS based navigation and attitude determination. Operational since 2002; Crew return vehicle features GPS based navigation; Mini Autonomous Extravehicular Robotic Camera (AERCam) relies on precise real-time relative GPS for relative navigation. Shuttle GPS testing is narrated in page 2.

Cryan, Scott P.↗

Potential Interventions by Government and Industry to Minimize Violations of Temporary Flight Restrictions

This document enumerates interventions to reduce the frequency of restricted airspace violations, particularly those associated with temporary flight restrictions (TFRs) and air defense identification zones (ADIZs), by more effectively providing pilots with the information necessary to avoid such violations. Interventions are divided into both near term and far term groupings. Short term interventions, some variants of which are already in progress focus on improving the form and content of the textual Notices to Airmen (NOTAMs) as well as the graphical depiction of TFRs. A long-term technical intervention is proposed which would provide pilots the following functionality: ground and airborne presentation of information on any restricted airspace, including display on an electronic moving map, fully mechanized execution from the cockpit of the procedures required for entry into restricted airspaces that allow for entry, and alerting of the potential for TFR violations both during flight planning and while the aircraft is moving.

Zuschlag, Michael↗

Faults Discovery By Using Mined Data

Fault discovery in the complex systems consist of model based reasoning, fault tree analysis, rule based inference methods, and other approaches. Model based reasoning builds models for the systems either by mathematic formulations or by experiment model. Fault Tree Analysis shows the possible causes of a system malfunction by enumerating the suspect components and their respective failure modes that may have induced the problem. The rule based inference build the model based on the expert knowledge. Those models and methods have one thing in common; they have presumed some prior-conditions. Complex systems often use fault trees to analyze the faults. Fault diagnosis, when error occurs, is performed by engineers and analysts performing extensive examination of all data gathered during the mission. International Space Station (ISS) control center operates on the data feedback from the system and decisions are made based on threshold values by using fault trees. Since those decision-making tasks are safety critical and must be done promptly, the engineers who manually analyze the data are facing time challenge. To automate this process, this paper present an approach that uses decision trees to discover fault from data in real-time and capture the contents of fault trees as the initial state of the trees.

Lee, Charles↗

Seamless Data-Rate Change Using Punctured Convolutional Codes for Time-Varying Signal-to-Noise Ratio

In a time-varying signal-to-noise (SNR) environment, symbol rate is often changed to maximize ata return. However, the symbol-rate change has some undesirable effects such as changing the ransmission bandwidth and perhaps causing the receiver symbol loop to lose lock temporarily, thus osing some data. In this article, we are proposing an alternate way of varying the data rate without hanging the symbol rate and therefore the transmission bandwidth. The data rate change is achieved n a seamless fashion by puncturing the convolutionally encoded symbol stream to adapt to the hanging SNR environment. We have also derived an exact expression to enumerate the number of nique puncturing patterns. To demonstrate this seamless rate-change capability, we searched for good uncturing patterns for the Galileo (14, 1/4) convolutional code and changed the data rates by using the unctured codes to match the Galileo SNR profile of November 9, 1997.

Seamless Data-Rate↗

Protograph based LDPC codes with minimum distance linearly growing with block size

We propose several LDPC code constructions that simultaneously achieve good threshold and error floor performance. Minimum distance is shown to grow linearly with block size (similar to regular codes of variable degree at least 3) by considering ensemble average weight enumerators. Our constructions are based on projected graph, or protograph, structures that support high-speed decoder implementations. As with irregular ensembles, our constructions are sensitive to the proportion of degree-2 variable nodes. A code with too few such nodes tends to have an iterative decoding threshold that is far from the capacity threshold. A code with too many such nodes tends to not exhibit a minimum distance that grows linearly in block length. In this paper we also show that precoding can be used to lower the threshold of regular LDPC codes. The decoding thresholds of the proposed codes, which have linearly increasing minimum distance in block size, outperform that of regular LDPC codes. Furthermore, a family of low to high rate codes, with thresholds that adhere closely to their respective channel capacity thresholds, is presented. Simulation results for a few example codes show that the proposed codes have low error floors as well as good threshold SNFt performance.

minimum decoding↗

Developing Fault Models for Space Mission Software

A viewgraph presentation on the development of fault models for space mission software is shown. The topics include: 1) Goal: Improve Understanding of Technology Fault Generation Process; 2) Required Measurement; 3) Measuring Structural Evolution; 4) Module Attributes; 5) Principal Components of Raw Metrics; 6) The Measurement Process; 7) View of Structural Evolution at the System and Module Level; 8) Identifying and Counting Faults; 9) Fault Enumeration; 10) Modeling Fault Content; 11) Modeling Results; 12) Current and Future Work; and 13) Discussion and Conclusions.

software measurements↗

A Comprehensive Assessment of Biologicals Contained Within Commercial Airliner Cabin Air

Both culture-based and culture-independent, biomarker-targeted microbial enumeration and identification technologies were employed to estimate total microbial and viral burden and diversity within the cabin air of commercial airliners. Samples from each of twenty flights spanning three commercial carriers were collected via air-impingement. When the total viable microbial population was estimated by assaying relative concentrations of the universal energy carrier ATP, values ranged from below detection limits (BDL) to 4.1 x 106 cells/cubic m of air. The total viable microbial population was extremely low in both of Airline A (approximately 10% samples) and C (approximately 18% samples) compared to the samples collected aboard flights on Airline A and B (approximately 70% samples). When samples were collected as a function of time over the course of flights, a gradual accumulation of microbes was observed from the time of passenger boarding through mid-flight, followed by a sharp decline in microbial abundance and viability from the initiation of descent through landing. It is concluded in this study that only 10% of the viable microbes of the cabin air were cultivable and suggested a need to employ state-of-the art molecular assay that measures both cultivable and viable-but-non-cultivable microbes. Among the cultivable bacteria, colonies of Acinetobacter sp. were by far the most profuse in Phase I, and Gram-positive bacteria of the genera Staphylococcus and Bacillus were the most abundant during Phase II. The isolation of the human pathogens Acinetobacter johnsonii, A. calcoaceticus, Janibacter melonis, Microbacterium trichotecenolyticum, Massilia timonae, Staphylococcus saprophyticus, Corynebacterium lipophiloflavum is concerning, as these bacteria can cause meningitis, septicemia, and a handful of sometimes fatal diseases and infections. Molecular microbial community analyses exhibited presence of the alpha-, beta-, gamma-, and delta- proteobacteria, as well as Gram-positive bacteria, Fusobacteria, Cyanobacteria, Deinococci, Bacterioidetes, Spirochetes, and Planctomyces in varying abundance. Neisseria meningitidis rDNA sequences were retrieved in great abundance from Airline A followed by Streptococcus oralis/mitis sequences. Pseudomonas synxantha sequences dominated Airline B clone libraries, followed by those of N. meningitidis and S. oralis/mitis. In Phase II, Airline C, sequences representative of more than 113 species, enveloping 12 classes of bacteria, were retrieved. Proteobacterial sequences were retrieved in greatest frequency (58% of all clone sequences), followed in short order by those stemming from Gram-positives bacteria (31% of all clone sequences). As for overall phylogenetic breadth, Gram-positive and alpha-proteobacteria seem to have a higher affinity for international flights, whereas beta-and gamma-proteobacteria are far more common about domestic cabin air parcels in Airline C samples. Ultimately, the majority of microbial species circulating throughout the cabin airs of commercial airliners are commensal, infrequently pathogenic normal flora of the human nasopharynx and respiratory system. Many of these microbes likely originate from the oral and nasal cavities, and lungs of passengers and flight crew and are disseminated unknowingly via routine conversation, coughing, sneezing, and stochastic passing of fomites. The data documented in this study will be useful to generate a baseline microbial population database and can be utilized to develop biosensor instrumentation for monitoring microbial quality of cabin or urban air.

microbial diversity↗

Process and apparatus for analyzing specimens for the presence of microorganisms therein

Microorganisms in a specimen are detected, identified, and enumerated by introducing the specimen into a sampling cartridge and diluting the specimen with a known volume of water within the cartridge. The cartridge has a manifold and several cassettes attached to the manifold. Each cassette contains a serpentine flow channel having a series of filters therein and a detection cell located downstream from each filter. The flow channel in each cassette also contains a culture medium which is freeze dried and is highly selective in the sense that it promotes the growth of one type of microorganism, but not others. The mixture of the specimen and water flows from the manifold into the flow channel of each cassette where it rehydrates the culture medium therein and further flows through the filters. Each filter removes a known proportion of the microorganisms from the mixture of specimen, water and medium, thereby effecting a serial dilution. After the cassettes are heated to incubate the microoganisms, the detection cells are observed for growth of the microorganisms therein which is manifested in a change in the light transmitting characteristics of the mixtures within the cells.

Aldridge, Jr., Clifton↗

Orbit Determination and Navigation of the Time History of Events and Macroscale Interactions during Substorms (THEMIS)

This paper provides an overview of the launch and early orbit activities performed by the NASA Goddard Space Flight Center's (GSFC) Flight Dynamics Facility (FDF) in support of five probes comprising the Time History of Events and Macroscale Interactions during Substorms (THEMIS) spacecraft. The FDF was tasked to support THEMIS in a limited capacity providing backup orbit determination support for validation purposes for all five THEMIS probes during launch plus 30 days in coordination with University of California Berkeley Flight Dynamics Center (UCB/FDC)2. The FDF's orbit determination responsibilities were originally planned to be as a backup to the UCB/FDC for validation purposes only. However, various challenges early on in the mission and a Spacecraft Emergency declared thirty hours after launch placed the FDF team in the role of providing the orbit solutions that enabled contact with each of the probes and the eventual termination of the Spacecraft Emergency. This paper details the challenges and various techniques used by the GSFC FDF team to successfully perform orbit determination for all five THEMIS probes during the early mission. In addition, actual THEMIS orbit determination results are presented spanning the launch and early orbit mission phase. Lastly, this paper enumerates lessons learned from the THEMIS mission, as well as demonstrates the broad range of resources and capabilities within the FDF for supporting critical launch and early orbit navigation activities, especially challenging for constellation missions.

Morinelli, Patrick↗

Vapor Hydrogen Peroxide as Alternative to Dry Heat Microbial Reduction

The Jet Propulsion Laboratory, in conjunction with the NASA Planetary Protection Officer, has selected vapor phase hydrogen peroxide (VHP) sterilization process for continued development as a NASA approved sterilization technique for spacecraft subsystems and systems. The goal is to include this technique, with appropriate specification, in NPG8020.12C as a low temperature complementary technique to the dry heat sterilization process. A series of experiments were conducted in vacuum to determine VHP process parameters that provided significant reductions in spore viability while allowing survival of sufficient spores for statistically significant enumeration. With this knowledge of D values, sensible margins can be applied in a planetary protection specification. The outcome of this study provided an optimization of test sterilizer process conditions: VHP concentration, process duration, a process temperature range for which the worst case D value may be imposed, a process humidity range for which the worst case D value may be imposed, and robustness to selected spacecraft material substrates.

vapor hydrogen peroxide↗

Verification and Planning Based on Coinductive Logic Programming

Coinduction is a powerful technique for reasoning about unfounded sets, unbounded structures, infinite automata, and interactive computations [6]. Where induction corresponds to least fixed point's semantics, coinduction corresponds to greatest fixed point semantics. Recently coinduction has been incorporated into logic programming and an elegant operational semantics developed for it [11, 12]. This operational semantics is the greatest fix point counterpart of SLD resolution (SLD resolution imparts operational semantics to least fix point based computations) and is termed co- SLD resolution. In co-SLD resolution, a predicate goal p( t) succeeds if it unifies with one of its ancestor calls. In addition, rational infinite terms are allowed as arguments of predicates. Infinite terms are represented as solutions to unification equations and the occurs check is omitted during the unification process. Coinductive Logic Programming (Co-LP) and Co-SLD resolution can be used to elegantly perform model checking and planning. A combined SLD and Co-SLD resolution based LP system forms the common basis for planning, scheduling, verification, model checking, and constraint solving [9, 4]. This is achieved by amalgamating SLD resolution, co-SLD resolution, and constraint logic programming [13] in a single logic programming system. Given that parallelism in logic programs can be implicitly exploited [8], complex, compute-intensive applications (planning, scheduling, model checking, etc.) can be executed in parallel on multi-core machines. Parallel execution can result in speed-ups as well as in larger instances of the problems being solved. In the remainder we elaborate on (i) how planning can be elegantly and efficiently performed under real-time constraints, (ii) how real-time systems can be elegantly and efficiently model- checked, as well as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution. Implementations of co-SLD resolution as well as preliminary implementations of the planning and verification applications have been developed [4]. Co-LP and Model Checking: The vast majority of properties that are to be verified can be classified into safety properties and liveness properties. It is well known within model checking that safety properties can be verified by reachability analysis, i.e, if a counter-example to the property exists, it can be finitely determined by enumerating all the reachable states of the Kripke structure.

Bansal, Ajay↗

Orbit Determination During Spacecraft Emergencies with Sparse Tracking Data - THEMIS and TDRS-3 Lessons Learned

This paper provides an overview of the lessons learned from the National Aeronautics and Space Administration (NASA) Goddard Space Flight Center s (GSFC) Flight Dynamics Facility s (FDF) support of the Time History of Events and Macroscale Interactions during Substorms (THEMIS) spacecraft emergency in February 2007, and the Tracking and Data Relay Satellite-3 (TDRS-3) spacecraft emergency in March 2006. A successful and timely recovery from both of these spacecraft emergencies depended on accurate knowledge of the orbit. Unfortunately, the combination of each spacecraft emergency with very little tracking data contributed to difficulties in estimating and predicting the orbit and delayed recovery efforts in both cases. In both the THEMIS and TDRS-3 spacecraft emergencies, numerous factors contributed to problems with obtaining nominal tracking data measurements. This paper details the various causative factors and challenges. This paper further enumerates lessons learned from FDF s recovery efforts involving the THEMIS and TDRS-3 spacecraft emergencies and scant tracking data, as well as recommendations for improvements and corrective actions. In addition, this paper describes the broad range of resources and complex navigation methods employed within the FDF for supporting critical navigation activities during all mission phases, including launch, early orbit, and on-orbit operations.

Morinelli, Patrick J.↗

Orbit Determination and Navigation of the Time History of Events and Macroscale Interactions during Substorms (THEMIS)

This paper provides an overview of the launch and early orbit activities performed by the NASA Goddard Space Flight Center's (GSFC) Flight Dynamics Facility (FDF) in support of five probes comprising the Time History of Events and Macroscale Interactions during Substorms (THEMIS) spacecraft. The FDF was tasked to support THEMIS in a limited capacity providing backup orbit determination support for validation purposes for all five THEMIS probes during launch plus 30 days in coordination with University of California Berkeley Flight Dynamics Center (UCB/FDC). The FDF's orbit determination responsibilities were originally planned to be as a backup to the UCB/FDC for validation purposes only. However, various challenges early on in the mission and a Spacecraft Emergency declared thirty hours after launch placed the FDF team in the role of providing the orbit solutions that enabled contact with each of the probes and the eventual termination of the Spacecraft Emergency. This paper details the challenges and various techniques used by the GSFC FDF team to successfully perform orbit determination for all five THEMIS probes during the early mission. In addition, actual THEMIS orbit determination results are presented spanning the launch and early orbit mission phase. Lastly, this paper enumerates lessons learned from the THEMIS mission, as well as demonstrates the broad range of resources and capabilities within the FDF for supporting critical launch and early orbit navigation activities, especially challenging for constellation missions.

Morinelli, Patrick↗

Telemetry-Enhancing Scripts

Scripts Providing a Cool Kit of Telemetry Enhancing Tools (SPACKLE) is a set of software tools that fill gaps in capabilities of other software used in processing downlinked data in the Mars Exploration Rovers (MER) flight and test-bed operations. SPACKLE tools have helped to accelerate the automatic processing and interpretation of MER mission data, enabling non-experts to understand and/or use MER query and data product command simulation software tools more effectively. SPACKLE has greatly accelerated some operations and provides new capabilities. The tools of SPACKLE are written, variously, in Perl or the C or C++ language. They perform a variety of search and shortcut functions that include the following: Generating text-only, Event Report-annotated, and Web-enhanced views of command sequences; Labeling integer enumerations with their symbolic meanings in text messages and engineering channels; Systematic detecting of corruption within data products; Generating text-only displays of data-product catalogs including downlink status; Validating and labeling of commands related to data products; Performing of convenient searches of detailed engineering data spanning multiple Martian solar days; Generating tables of initial conditions pertaining to engineering, health, and accountability data; Simplified construction and simulation of command sequences; and Fast time format conversions and sorting.

Maimone, Mark W.↗

LDPC Codes with Minimum Distance Proportional to Block Size

Low-density parity-check (LDPC) codes characterized by minimum Hamming distances proportional to block sizes have been demonstrated. Like the codes mentioned in the immediately preceding article, the present codes are error-correcting codes suitable for use in a variety of wireless data-communication systems that include noisy channels. The previously mentioned codes have low decoding thresholds and reasonably low error floors. However, the minimum Hamming distances of those codes do not grow linearly with code-block sizes. Codes that have this minimum-distance property exhibit very low error floors. Examples of such codes include regular LDPC codes with variable degrees of at least 3. Unfortunately, the decoding thresholds of regular LDPC codes are high. Hence, there is a need for LDPC codes characterized by both low decoding thresholds and, in order to obtain acceptably low error floors, minimum Hamming distances that are proportional to code-block sizes. The present codes were developed to satisfy this need. The minimum Hamming distances of the present codes have been shown, through consideration of ensemble-average weight enumerators, to be proportional to code block sizes. As in the cases of irregular ensembles, the properties of these codes are sensitive to the proportion of degree-2 variable nodes. A code having too few such nodes tends to have an iterative decoding threshold that is far from the capacity threshold. A code having too many such nodes tends not to exhibit a minimum distance that is proportional to block size. Results of computational simulations have shown that the decoding thresholds of codes of the present type are lower than those of regular LDPC codes. Included in the simulations were a few examples from a family of codes characterized by rates ranging from low to high and by thresholds that adhere closely to their respective channel capacity thresholds; the simulation results from these examples showed that the codes in question have low error floors as well as low decoding thresholds. As an example, the illustration shows the protograph (which represents the blueprint for overall construction) of one proposed code family for code rates greater than or equal to 1.2. Any size LDPC code can be obtained by copying the protograph structure N times, then permuting the edges. The illustration also provides Field Programmable Gate Array (FPGA) hardware performance simulations for this code family. In addition, the illustration provides minimum signal-to-noise ratios (Eb/No) in decibels (decoding thresholds) to achieve zero error rates as the code block size goes to infinity for various code rates. In comparison with the codes mentioned in the preceding article, these codes have slightly higher decoding thresholds.

Divsalar, Dariush↗

Foil Face Seal Testing

In the seal literature you can find many attempts by various researchers to adapt film riding seals to the gas turbine engine. None have been successful, potential distortion of the sealing faces is the primary reason. There is a film riding device that does accommodate distortion and is in service in aircraft applications, namely the foil bearing. More specifically a foil thrust bearing. These are not intended to be seals, and they do not accommodate large axial movement between shaft & static structure. By combining the 2 a unique type of face seal has been created. It functions like a normal face seal. The foil thrust bearing replaces the normal primary sealing surface. The compliance of the foil bearing allows the foils to track distortion of the mating seal ring. The foil seal has several perceived advantages over existing hydrodynamic designs, enumerated in the chart. Materials and design methodology needed for this application already exist. Also the load capacity requirements for the foil bearing are low since it only needs to support itself and overcome friction forces at the antirotation keys.

Munson, John↗