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 541 records · Page 30

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↗

Symbolic discrete event system specification

Extending discrete event modeling formalisms to facilitate greater symbol manipulation capabilities is important to further their use in intelligent control and design of high autonomy systems. An extension to the DEVS formalism that facilitates symbolic expression of event times by extending the time base from the real numbers to the field of linear polynomials over the reals is defined. A simulation algorithm is developed to generate the branching trajectories resulting from the underlying nondeterminism. To efficiently manage symbolic constraints, a consistency checking algorithm for linear polynomial constraints based on feasibility checking algorithms borrowed from linear programming has been developed. The extended formalism offers a convenient means to conduct multiple, simultaneous explorations of model behaviors. Examples of application are given with concentration on fault model analysis.

Zeigler, Bernard P.↗

Orbital dynamics of PSR1257+12 and its two planetary companions

I present a review of the orbital dynamics of the three body problem of PSR1257+12 and its two putative planetary companions. The orbital dynamics provides two 'reality checks' on the planetary interpretation of the pulse arrival time residuals observed by Wolszczan and Frail (1992). First, by examining the dynamical stability of the system for the deduced orbital periods, one can place upper limits on the companion masses of about two times the mass of Jupiter. Since the lower limits of the companion masses deduced from the observations are well below this upper limit, the planetary interpretation passes this first 'reality check'. Second, the 3:2 near-commensurability of the orbital periods effects periodic variations of the Keplerian orbital parameters. The amplitude of these variations provides a direct measure of the masses of the companions relative to the mass of the pulsar. The signature of these variations in pulse time-of-arrival data is not straightforward, but, if the planetary interpretation is correct, it should become detectable as an additional quasi-periodic phase residual over a period of a few years.

Malhotra, Renu↗

Curves showing column strength of steel and duralumin tubing

Given here are a set of column strength curves that are intended to simplify the method of determining the size of struts in an airplane structure when the load in the member is known. The curves will also simplify the checking of the strength of a strut if the size and length are known. With these curves, no computations are necessary, as in the case of the old-fashioned method of strut design. The process is so simple that draftsmen or others who are not entirely familiar with mechanics can check the strength of a strut without much danger of error.

Ross, Orrin E↗