Search NASA⌕ Search

SEARCH · Search NASA

Results for “checking”

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 649 records · Page 36

Data quality analysis at the National Transonic Facility

The data quality analysis program that was developed at Langley Research Center's National Transonic Facility is described. The program provides a computer driven systematic analysis of data taken during calibrations of the high speed digital data acquisition system. Five distinct checks that are performed on the calibration data are outlined. The five checks are for non-linearity, noise, short term drift, long term drift, and the proper functioning of the calibrator. The program has established a standard set of evaluation guidelines.

Stewart, Pamela N.↗

Electrochemical control of iodine disinfectant for space transportation system and space station potable water

An electrochemical microbial check valve method (EC-MCV) for controlling the iodine disinfectant in potable water (PW) for NASA's space operations was proposed. The factors affecting the design and performance of the unit were analyzed. This showed that it would be feasible to construct a recyclable unit in a small volume that will operate in either an iodine removal or addition mode. The EC-MCV should remove active iodine species rapidly from PW, but the rapid delivery rates at end-use may make complete removal of excess I(-) difficult under some conditions. Its performace change with AgI buildup needs to be investigated, as this controls the time for recycling the unit. The EC-MCV has advantages over the passive microbial check valve (MCV) method currently in use, as it would allow precise control of the I2 level and would not introduce excess I(-) to the water. The presence of oxygen in the EC-MCV needs to be investigated as it could affect the efficiency of I2 addition and excess I(-) removal.

Geer, Richard D.↗

Manufacture and evaluation of Li/BCX DD cells

This project is divided into four main tasks: cell manufacture, acceptance, and lot certification of cells, performance testing of cells, and abuse testing of cells. Lithium/bromine chloride in thionyl chloride (Li/BCX) 149 DD cells (PN 3B2085-XA) were built according to the provisions of Electrochem Industries Quality Plan 17096. Acceptance and lot certification testing was performed according to NASA JSC Document EP5-83-025, Revision B. Acceptance testing included open circuit and load voltage check, visual examination, size and weight measurements, and high temperature exposure. Lot certification tests were performed for capacity performance and for performance under conditions of thermal and electrical abuse. These tests included 149 C exposure, capacity discharge, fuse check, high temperature exposure, high rate discharge, short circuit, vibration, and overdischarge testing. A quantity of 200 cells was delivered to Johnson Space Center for life test evaluation. A parametric evaluation of the capacity discharge of Li/BCX DD cells was performed over a variety of temperatures and discharge rates. This testing served to map the performance capability of the cell. Tests were also performed over a variety of electrical and thermal abuse conditions. Abuse tests included short circuit, charging, overdischarge, high temperature exposure, shock, and vibration.

Meyer, S.↗

Capturing, using, and managing quality assurance knowledge for shuttle post-MECO flight design

Ascent initialization values used by the Shuttle's onboard computer for nominal and abort mission scenarios are verified by a six degrees of freedom computer simulation. The procedure that the Ascent Post Main Engine Cutoff (Post-MECO) group uses to perform quality assurance (QA) of the simulation is time consuming. Also, the QA data, checklists and associated rationale, though known by the group members, is not sufficiently documented, hindering transfer of knowledge and problem resolution. A new QA procedure which retains the current high level of integrity while reducing the time required to perform QA is needed to support the increasing Shuttle flight rate. Documenting the knowledge is also needed to increase its availability for training and problem resolution. To meet these needs, a knowledge capture process, embedded into the group activities, was initiated to verify the existing QA checks, define new ones, and document all rationale. The resulting checks were automated in a conventional software program to achieve the desired standardization, integrity, and time reduction. A prototype electronic knowledge base was developed with Macintosh's HyperCard to serve as a knowledge capture tool and data storage.

Peters, H. L.↗

Mechanical verification of a schematic Byzantine clock synchronization algorithm

Schneider generalizes a number of protocols for Byzantine fault tolerant clock synchronization and presents a uniform proof for their correctness. The authors present a machine checked proof of this schematic protocol that revises some of the details in Schneider's original analysis. The verification was carried out with the EHDM system developed at the SRI Computer Science Laboratory. The mechanically checked proofs include the verification that the egocentric mean function used in Lamport and Melliar-Smith's Interactive Convergence Algorithm satisfies the requirements of Schneider's protocol.

Shankar, Natarajan↗

Quantification of uncertainties in coupled material degradation processes - High temperature, fatigue and creep

This paper describes the development of methodology that provides for quantification of uncertainties in lifetime strength of aerospace materials subjected to a number of diverse effects. A probabilistic material degradation model, in the form of a randomized multifactor interaction equation, has been postulated for lifetime strength degradation of structural components of aerospace propulsion systems. The model includes effects that typically reduce lifetime strength and may include temperature, mechanical fatigue, creep and others. The paper also includes the analysis of experimental data from the open literature for Inconel 718. These data are used to provide an initial check for model validity, as well as for calibration of the model's empirical material constants. The model validity check and calibration is carried out for three effects, namely, high temperature, mechanical fatigue and creep.

Boyce, L.↗

The effect of on/off indicator design on state confusion, preference, and response time performance, executive summary

Investigated are five designs of software-based ON/OFF indicators in a hypothetical Space Station Power System monitoring task. The hardware equivalent of the indicators used in the present study is the traditional indicator light that illuminates an ON label or an OFF label. Coding methods used to represent the active state were reverse video, color, frame, check, or reverse video with check. Display background color was also varied. Subjects made judgments concerning the state of indicators that resulted in very low error rates and high percentages of agreement across indicator designs. Response time measures for each of the five indicator designs did not differ significantly, although subjects reported that color was the best communicator. The impact of these results on indicator design is discussed.

Donner, Kimberly A.↗

Development of a CFD Code for Analysis of Fluid Dynamic Forces in Seals

The aim is to develop a 3-D computational fluid dynamics (CFD) code for the analysis of fluid flow in cylindrical seals and evaluation of the dynamic forces on the seals. This code is expected to serve as a scientific tool for detailed flow analysis as well as a check for the accuracy of the 2D industrial codes. The features necessary in the CFD code are outlined. The initial focus was to develop or modify and implement new techniques and physical models. These include collocated grid formulation, rotating coordinate frames and moving grid formulation. Other advanced numerical techniques include higher order spatial and temporal differencing and an efficient linear equation solver. These techniques were implemented in a 2D flow solver for initial testing. Several benchmark test cases were computed using the 2D code, and the results of these were compared to analytical solutions or experimental data to check the accuracy. Tests presented here include planar wedge flow, flow due to an enclosed rotor, and flow in a 2D seal with a whirling rotor. Comparisons between numerical and experimental results for an annular seal and a 7-cavity labyrinth seal are also included.

Athavale, Mahesh M.↗

Long-term corrosion evaluation of stainless steels in Space Shuttle iodinated resin and water

The effects of stainless steel exposure to iodinated water is a concern in developing the Integrated Water System (IWS) for Space Station Freedom. The IWS has a life requirement of 30 years, but the effects of general and localized corrosion over such a long period have not been determined for the candidate materials. In 1978, Umpqua Research Center immersed stainless steel 316L, 321, and 347 specimens in a solution of deionized water and the Space Shuttle microbial check valve resin. In April 1990, the solution was chemically analyzed to determine the level of corrosion formed, and the surface of each specimen was examined with scanning electron microscopy and metallography to determine the extent of general and pitting corrosion. This examination showed that the attack on the stainless steels was negligible and never penetrated past the first grain boundary layer. Of the three alloys, 316L performed the best; however, all three materials proved to be compatible with an aqueous iodine environment. In addition to the specimens exposed to aqueous iodine, a stainless steel specimen (unspecified alloy) was exposed to moist microbial check valve resin and air for a comparable period. This environment allowed contact of the metal to the resin as well as to the iodine vapor. Since the particular stainless steel alloy was not known, energy dispersive spectroscopy was used to determine that this alloy was stainless steel 301. The intergranular corrosion found on the specimen was limited to the first grain boundary layer.

Krohn, Douglas D.↗

Formal verification of a set of memory management units

This document describes the verification of a set of memory management units (MMU). The verification effort demonstrates the use of hierarchical decomposition and abstract theories. The MMUs can be organized into a complexity hierarchy. Each new level in the hierarchy adds a few significant features or modifications to the lower level MMU. The units described include: (1) a page check translation look-aside module (TLM); (2) a page check TLM with supervisor line; (3) a base bounds MMU; (4) a virtual address translation MMU; and (5) a virtual address translation MMU with memory resident segment table.

Schubert, E. Thomas↗

A probabilistic model for the evaluation of fault-tolerant multiprocessor systems using concurrent error detection

A probabilistic model to evaluate fault-tolerant multiprocessor systems has been developed. The matrix-based model and the analysis algorihtms based on it are described. Various probabilities associated with an algorithm-based fault tolerance system are discussed and the fault coverage of a given check is derived analytically and illustrated with examples. The probability matrices that are formed by introducing the spatial probabilities into the matrix model are considered. Based on these matrices, a technique is developed to determine the combined coverage of multiple numbers of checks. Examples of the analysis of systems using the model are given.

Nair, V. S. S.↗

The remote sensing of ocean primary productivity - Use of a new data compilation to test satellite algorithms

Global pigment and primary productivity algorithms based on a new data compilation of over 12,000 stations occupied mostly in the Northern Hemisphere, from the late 1950s to 1988, were tested. The results showed high variability of the fraction of total pigment contributed by chlorophyll, which is required for subsequent predictions of primary productivity. Two models, which predict pigment concentration normalized to an attenuation length of euphotic depth, were checked against 2,800 vertical profiles of pigments. Phaeopigments consistently showed maxima at about one optical depth below the chlorophyll maxima. CZCS data coincident with the sea truth data were also checked. A regression of satellite-derived pigment vs ship-derived pigment had a coefficient of determination. The satellite underestimated the true pigment concentration in mesotrophic and oligotrophic waters and overestimated the pigment concentration in eutrophic waters. The error in the satellite estimate showed no trends with time between 1978 and 1986.

Balch, William↗

Optimal message log reclamation for independent checkpointing

Independent (uncoordinated) check pointing for parallel and distributed systems allows maximum process autonomy but suffers from possible domino effects and the associated storage space overhead for maintaining multiple checkpoints and message logs. In most research on check pointing and recovery, it was assumed that only the checkpoints and message logs older than the global recovery line can be discarded. It is shown how recovery line transformation and decomposition can be applied to the problem of efficiently identifying all discardable message logs, thereby achieving optimal garbage collection. Communication trace-driven simulation for several parallel programs is used to show the benefits of the proposed algorithm for message log reclamation.

Wang, Yi-Min↗

Stability margins for multilinear interval systems by way of phase conditions: A unified approach

A simple way of checking the stability with respect to an arbitrary stability region of a family of polynomials containing a vector of parameters varying within prescribed intervals is discussed. It is assumed that the parameters appear affine multilinearly in the characteristic polynomial coefficients. The condition proposed is simply to check the phase difference of the vertex polynomials. This test based on the mapping theorem significantly reduces computational complexity. Mathematical proofs are omitted. The results can be used to determine various stability margins of control systems containing interconnected interval subsystems. These include the gain, phase, time-delay, H(sup infinity), and nonlinear sector bounded stability margins of multilinear interval systems.

Keel, L. H.↗

Regenerable biocide delivery unit, volume 1

The Microbial Check Valve (MCV), which is currently used aboard the Shuttle Orbiter for disinfection of the potable water supply, is an expendable flow-through canister containing iodinated ion exchange resin. Means for extension of MCV life are desirable to avoid resupply penalties. The Phase 1 Regenerable Biocide Delivery Unit program demonstrated the feasibility of regenerating an MCV in situ, using a strong aqueous elemental iodine solution resulting from diversion of the MCV influent to a packed bed containing iodine crystals. In small column tests, eight manual regenerations of an MCV resin were accomplished. The term Regenerative Microbial Check Valve (RMCV) was adopted describing this new technology. The Phase 2 program resulted in the development of a full scale and fully autonomous prototype RMCV, capable of maintaining residual I(sub 2) levels between 2.0 - 4.0 mg/L for prolonged periods. During six months of testing at the Space Station baseline flow rate of 120 cm(sup 3)/min, the prototype RMCV underwent nine regenerations. RMCV life cycle tests, using a variety of influent streams, were conducted over an eighteen month period to determine the useful lives of MCV's incorporating this new technology and to determine ultimate failure mechanisms. MCV life extensions of 130 fold were demonstrated, limited only by the Phase 2 performance period. Based upon this work, it is certain that RMCV units can be developed to provide unattended biocide addition for the thirty year life of Space Station Freedom, or for other longer duration applications such as a Lunar Base or Mars mission. RMCV technology was also demonstrated capable of delivering, on demand, a concentrated aqueous I(sub 2) solution for potential use as a disinfectant during transient episodes of microbial surface contamination, for the control of biofilm formation, or as a preventative measure in systems which are particularly susceptible to the growth of microorganisms.

Atwater, James E.↗

Experimental and modal verification of an integral equation solution for a thin-walled dichroic plate with cross-shaped holes

In order to add the capability of an X-band uplink onto the 70-m antenna, a new dichroic plate is needed to replace the Pyle-guide-shaped dichroic plate currently in use. The replacement dichroic plate must exhibit an additional passband at the new uplink frequency of 7.165 GHz, while still maintaining a passband at the existing downlink frequency of 8.425 GHz. Because of the wide frequency separation of these two passbands, conventional methods of designing air-filled dichroic plates exhibit grating lobe problems. A new method of solving this problem by using a dichroic plate with cross-shaped holes is presented and verified experimentally. Two checks of the integral equation solution are described. One is the comparison to a modal analysis for the limiting cross shape of a square hole. As a final check, a prototype dichroic plate with cross-shaped holes was built and measured.

Epp, L. W.↗

Helicopter simulation: Making it work

The opportunities for improved training and checking by using helicopter simulators are greater than they are for airplane pilot training. Simulators permit the safe creation of training environments that are conducive to the development of pilot decision-making, situational awareness, and cockpit management. This paper defines specific attributes required in a simulator to meet a typical helicopter operator's training and checking objectives.

Payne, Barry↗

Optimal message log reclamation for independent checkpointing

Independent (uncoordinated) check pointing for parallel and distributed systems allows maximum process autonomy but suffers from possible domino effects and the associated storage space overhead for maintaining multiple checkpoints and message logs. In most research on check pointing and recovery, it was assumed that only the checkpoints and message logs older than the global recovery line can be discarded. It is shown how recovery line transformation and decomposition can be applied to the problem of efficiently identifying all discardable message logs, thereby achieving optimal garbage collection. Communication trace-driven simulation for several parallel programs is used to show the benefits of the proposed algorithm for message log reclamation.

Wang, Yi-Min↗