Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CHECK”

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 937 records · Page 52

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↗

Stability of elastically supported columns

A criterion is developed for the stiffness required of elastic lateral supports at the ends of a compression member to provide stability. A method based on this criterion is then developed for checking the stability of a continuous beam-column. A related method is also developed for checking the stability of a member of a pin-jointed truss against rotation in the plane of the truss.

COMPRESSION MEMBERS-STABILITY↗

An Apparatus for Measuring Rates of Discharge of a Fuel-Injection System

A portable apparatus for rapidly determining rates of discharge of a fuel-injection system is described. Satisfactory operation of this apparatus with injection-pump speeds up to 2400 r.p.m was obtained. Rate-of-discharge tests were made with several cam-plunger-valve injection systems with long injection tubes. A check valve designed to reduce secondary discharges was tested. This check valve was operated with injection-pump speeds up to 2400 r.p.m without the occurrence of large secondary discharges.

Dutee, Francis J↗

Wind-tunnel Tests of Four Curtiss Propellers Embodying Different Blade Sections

Tests of four 10-foot propellers were made in the propeller-research tunnel for the Army Air Corps to check flight and static thrust test results made on several propellers embodying Clark Y and modified NACA 16-series sections. These propellers were identical as to diameter and activity factor and very closely identical in thickness ratio and pitch distribution. The blades embodied sections with both single- and double-cambered Clark Y, modified NACA 16-series, and a combination of Clark Y and modified NACA-16 airfoils. Tests covered a range of blade angles from 20 deg. to 70 deg., and were all made at tip speeds below 280 feet per second. Although these tests were not conclusive in themselves, owing to the conditions under which they were made, the results seem to check the flight and static tests as closely as would be expected.

AIRFOILS - CLARK Y - CHARACTERISTICS PROPELLER↗

Reliable VLSI sequential controllers

A VLSI architecture for synchronous sequential controllers is presented that has attractive qualities for producing reliable circuits. In these circuits, one hardware implementation can realize any flow table with a maximum of 2(exp n) internal states and m inputs. Also all design equations are identical. A real time fault detection means is presented along with a strategy for verifying the correctness of the checking hardware. This self check feature can be employed with no increase in hardware. The architecture can be modified to achieve fail safe designs. With no increase in hardware, an adaptable circuit can be realized that allows replacement of faulty transitions with fault free transitions.

Whitaker, S.↗