SEARCH · Search NASA

Results for “Proving”

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.

SourceResearch connectionFrom yearThrough year

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

At least 163 records · Page 9

All sources NASA NTRS DOE OSTI

NASA NTRS1989

On some numerical schemes for transonic flow problems

New second-order-accurate finite-difference approximations for a class of nonlinear PDEs of mixed type, which includes the two-dimensional low-frequency transonic small-disturbance equation (TSD) and full-potential equation (FP), are presented. For the TSD equation, the scheme is implemented via a time-splitting algorithm; the inclusion of flux limiters keeps the total variation nonincreasing and eliminates spurious oscillations near shocks. Global-linear-stability, TVD, and entropy-stability results are proved. Numerical results for the flow over a thin airfoil are presented. Current techniques used to solve the TSD equation may easily be extended to second-order accuracy by this method. For the FP equation, the new scheme requires no subsonic/supersonic switching and no numerical flux biasing. Global linear stability for all values of the Mach number is proved.

Mostrel, Marco Mosche↗

NASA NTRS1989

The measurement of boundary layers on a compressor blade in cascade. Volume 1: Experimental technique, analysis and results

Measurements were made of the boundary layers and wakes about a highly loaded, double-circular-arc compressor blade in cascade. These laser Doppler velocimetry measurements have yielded a very detailed and precise data base with which to test the application of viscous computational codes to turbomachinery. In order to test the computational codes at off-design conditions, the data were acquired at a chord Reynolds number of 500,000 and at three incidence angles. Moreover, these measurements have supplied some physical insight into these very complex flows. Although some natural transition is evident, laminar boundary layers usually detach and subsequently reattach as either fully or intermittently turbulent boundary layers. These transitional separation bubbles play an important role in the development of most of the boundary layers and wakes measured in this cascade and the modeling or computing of these bubbles should prove to be the key aspect in computing the entire cascade flow field. In addition, the nonequilibrium turbulent boundary layers on these highly loaded blades always have some region of separation near the trailing edge of the suction surface. These separated flows, as well as the subsequent near wakes, show no similarity and should prove to be a challenging test for the viscous computational codes.

Zierke, William C.↗

NASA NTRS1989

The evaluation of a metered mixer for RTV silicone for RSRM nozzle backfill operations

Metered mixing specifically for the RSRM backfill operation was investigated. Projected advantages were the elimination of waste RTV silicone produced in the operation and the elimination of entrapped air during the mix. Although metered mixing proved to be a viable method for mixing the Dow Corning DC 90-0006 rubber with its catalyst, applying the technology to the RSRM backfill operation has several disadvantages that are decisive. Use of a metered mixer would increase the amount of material that was being scraped for each backfill and increase the amount of time required to clean up the equipment after each operation. Therefore, use of metered static mixers is not recommended for use in the RSRM nozzle backfill operations. Because metered mixers proved to have significant disadvantages other methods of mixing and dispensing the RTV during the backfill operation are being investigated, and will be reported in a separate document.

Wardell, T. C.↗

NASA NTRS1989

The SKY SHARK: an RPV Designed to Investigate the Pressure Distribution on a Lifting Surface

The objective was to design a remotely piloted vehicle which is capable of gathering in-flight pressure distribution data on a lifting test specimen, and then test the design by constructing a subscale demonstrator, to prove the flight worthiness of the concept. The technology demonstrator was scheduled for takeoff at approximately, 7:20 AM on Thursday April 27th. There was a light wind from the southeast. The plane was hand-launched and made an initial dip, most likely due to the poor trim conditions at launch. It then began to climb and bank into a left turn. The aircraft climbed to an altitude of approximately 150 ft and circled. The plane flew for several minutes and at times appeared to bump around, which was due to thermal activity disrupting the flight of the aircraft. The aircraft was brought slowly down in a power-off condition and glided in for a belly landing and landed without incident. Results of the flight test proved the general capability of the design to maintain flight stability throughout the take off, cruise, turning, and landing flight regimes. We were not able to demonstrate stability with the test specimen in place as the control surfaces designed to counteract the instabilities induced in the static system, winglets and ailerons, were not included.

Ziemba, Rob↗

NASA NTRS1991

Low Reynolds number two-equation modeling of turbulent flows

A k-epsilon model that accounts for viscous and wall effects is presented. The proposed formulation does not contain the local wall distance thereby making very simple the application to complex geometries. The formulation is based on an existing k-epsilon model that proved to fit very well with the results of direct numerical simulation. The new form is compared with nine different two-equation models and with direct numerical simulation for a fully developed channel flow at Re = 3300. The simple flow configuration allows a comparison free from numerical inaccuracies. The computed results prove that few of the considered forms exhibit a satisfactory agreement with the channel flow data. The model shows an improvement with respect to the existing formulations.

Michelassi, V.↗

NASA NTRS1991

Macular Bioaccelerometers on Earth and in Space

Space flight offers the opportunity to study linear bioaccelerometers (vestibular maculas) in the virtual absence of a primary stimulus, gravitational acceleration. Macular research in space is particularly important to NASA because the bioaccelerometers are proving to be weighted neural networks in which information is distributed for parallel processing. Neural networks are plastic and highly adaptive to new environments. Combined morphological-physiological studies of maculas fixed in space and following flight should reveal macular adaptive responses to microgravity, and their time-course. Ground-based research, already begun, using computer-assisted, 3-dimensional reconstruction of macular terminal fields will lead to development of computer models of functioning maculas. This research should continue in conjunction with physiological studies, including work with multichannel electrodes. The results of such a combined effort could usher in a new era in understanding vestibular function on Earth and in space. They can also provide a rational basis for counter-measures to space motion sickness, which may prove troublesome as space voyager encounter new gravitational fields on planets, or must re-adapt to 1 g upon return to earth.

Ross, M. D.↗

NASA NTRS1991

Time-reversibility and particle sedimentation

This paper studies an ODE model, called the Stokeslet model, and describes sedimentation of small clusters of particles in a highly viscous fluid. This model has a trivial solution in which the n particles arrange themselves at the vertices of a regular n-sided polygon. When n = 3, Hocking and Caflisch et al. (1988) proved the existence of periodic motion (in the frame moving with the center of gravity in the cluster) in which the particles form an isosceles triangle. Here, the study of periodic and quasi-periodic solutions of the Stokeslet model is continued, with emphasis on the spatial and time-reversal symmetry of the model. For three particles, the existence of a second family of periodic solutions and a family of quasi-periodic solutions is proved. It is also indicated how the methods generalize to the case of n particles.

Golubitsky, Martin↗

NASA NTRS1992

Two-photon annihilation of thermal pairs in strong magnetic fields

The annihilation spectrum of pairs with 1-D thermal distributions in the presence of a strong magnetic field is calculated. Numerical analysis of the spectrum are performed for mildly relativistic temperatures and for different angles of emission with respect to field lines. Teragauss magnetic fields are assumed so that conditions are typical of gamma ray burst and pulsar environments. The spectra at each viewing angle reveal asymmetric line profiles that are signatures of the magnetic broadening and red shifting of the line: these asymmetries are more prominent for small viewing angles. Thermal Doppler broadening tends to dominate in the right wing of the line and obscures the magnetic broadening more at high temperatures and smaller viewing angles. This angular dependence of the line asymmetry may prove a valuable diagnostic tool. For low temperatures and magnetic field strengths, useful analytic expressions are presented for the line width, and also for the annihilation spectrum at zero viewing angle. The results presented find application in gamma ray burst and pulsar models, and may prove very helpful in deducing field strengths and temperatures of the emission regions of these objects from line observations made by Compton GRO and future missions.

Baring, Matthew G.↗

NASA NTRS1992

Mechanically verified hardware implementing an 8-bit parallel IO Byzantine agreement processor

Consider a network of four processors that use the Oral Messages (Byzantine Generals) Algorithm of Pease, Shostak, and Lamport to achieve agreement in the presence of faults. Bevier and Young have published a functional description of a single processor that, when interconnected appropriately with three identical others, implements this network under the assumption that the four processors step in synchrony. By formalizing the original Pease, et al work, Bevier and Young mechanically proved that such a network achieves fault tolerance. We develop, formalize, and discuss a hardware design that has been mechanically proven to implement their processor. In particular, we formally define mapping functions from the abstract state space of the Bevier-Young processor to a concrete state space of a hardware module and state a theorem that expresses the claim that the hardware correctly implements the processor. We briefly discuss the Brock-Hunt Formal Hardware Description Language which permits designs both to be proved correct with the Boyer-Moore theorem prover and to be expressed in a commercially supported hardware description language for additional electrical analysis and layout. We briefly describe our implementation.

Moore, J. Strother↗

NASA NTRS1992

Fault-tolerant wait-free shared objects

A concurrent system consists of processes communicating via shared objects, such as shared variables, queues, etc. The concept of wait-freedom was introduced to cope with process failures: each process that accesses a wait-free object is guaranteed to get a response even if all the other processes crash. However, if a wait-free object 'crashes,' all the processes that access that object are prevented from making progress. In this paper, we introduce the concept of fault-tolerant wait-free objects, and study the problem of implementing them. We give a universal method to construct fault-tolerant wait-free objects, for all types of 'responsive' failures (including one in which faulty objects may 'lie'). In sharp contrast, we prove that many common and interesting types (such as queues, sets, and test&set) have no fault-tolerant wait-free implementations even under the most benign of the 'non-responsive' types of failure. We also introduce several concepts and techniques that are central to the design of fault-tolerant concurrent systems: the concepts of self-implementation and graceful degradation, and techniques to automatically increase the fault-tolerance of implementations. We prove matching lower bounds on the resource complexity of most of our algorithms.

Jayanti, Prasad↗

NASA NTRS1992

Silicon abundances in population I giants

Silicon to carbon abundance ratios for population I giants were determined from emission lines originating in the transition layers between stellar chromospheres and coronae. For effective temperatures larger than 6200 K we find a group of stars with increased silicon to carbon but normal nitrogen to carbon abundance ratios. These stars are presumably descendents from Ap stars with increased surface silicon to carbon abundance ratios. For G stars this anomaly disappears as is to be expected due to the increased depth of the convection zone and therefore deeper mixing which dilutes the surface overabundances. The disappearance of the abundance anomalies proves that the anomalous abundances observed for the F giants are indeed only a surface phenomenon. It also proves that the same holds for their progenitors, the Ap and Am stars, as has been generally believed. Unexplained is the increased silicon to carbon abundance ratio observed for several stars cooler than 5100 L. RS CVn and related stars do not show this increased abundance ratio. There are also some giants which appear to be enriched in carbon, perhaps due to a helium flash with some mixing if the star is a clump star.

Boehm-Vitense, Erika↗

NASA NTRS1992

Lunar stepping stones to a manned Mars exploration scenario

The initial trips to Mars by humans will be the first real severing of our dependence on Earth's environment. Common sense dictates that a human departure from Earth measured in years, to explore a distant planet, requires systems, techniques, and operations that have solid credibility proven with space experience. The space test and verification experience must occur with Mars-like conditions but under proving-ground conditions with good instrumentation, close monitoring, and fast emergency recovery capabilities. The lunar environment is the only arena that satisfies the requirements of a space recovery capabilities. The lunar environment is the only arena that satisfies the requirements of a space planetary proving-ground. The objective of this scenario is to demonstrate a program planning approach that has human presence at Mars as the goal but, prudently, capitalizes on manned lunar project facilities, operations, and experience to enable a safe journey for the first Mars crews. The emphasis in lunar application objectives is to perform productive science and resources exploitation missions. Most of the Mars mission aspects can be proven in the lunar environment providing 'stepping stones' to conducting the first human mission to travel to Mars and return safely to Earth.

Davidson, W. L.↗

NASA NTRS1992

Conceptual design of a fleet of autonomous regolith throwing devices for radiation shielding of lunar habitats

The National Aeronautics and Space Administration (NASA) in conjunction with Universities Space Research Association (USRA) has requested that the feasibility of a fleet of regolith tossing devices designed to cover a lunar habitat for radiation protection be demonstrated. The regolith, or lunar soil, protects the lunar habitat and its inhabitants from radiation. Ideally, the device will operate autonomously in the lunar environment. To prove the feasibility of throwing regolith on the Moon, throwing solutions were compared to traditional, Earth-based methods for moving soil. Various throwing configurations were investigated. A linear throwing motion combined with a spring and motor energizing system proved a superior solution. Three different overall configurations for the lunar device are presented. A single configuration is chosen and critical parameters such as operating procedure, system volume, mass, and power are developed. The report is divided into seven main sections. First, the Introduction section gives background information, defines the project requirements and the design criteria, and presents the methodology used for the completion of this design. Next, the Preliminary Analysis section presents background information on characteristics of lunar habitats and the lunar environment. Then, the Alternate Designs section presents alternate solutions to each of the critical functions of the device. Fourth, a detailed analysis of throwing the regolith is done to demonstrate its feasibility. Then, the three overall design configurations are presented. Next, a configuration is selected and the conceptual design is expanded to include system performance characteristics, size, and mass. Finally, the Conclusions and Recommendations for Future Work section evaluates the design, outlines the next step to be taken in the design process, and suggests possible goals for future design work.

Armstrong, Karem↗

NASA NTRS1992

Propellant production and useful materials: Hardware data from components and the systems

During the past year significant progress included: a major breakthrough in oxygen production through discs (instead of tubes) that resulted in two orders-of-magnitude increase in the yield rates, proving that oxygen production from any iron-bearing silicate (avoiding costly beneficiation) in lunar in-situ resource utilization (ISRU); construction of a half-scale robotic soil processor; production of melt-spun fibers in a solar furnace; and the culmination of first-stage research in the construction (and delivery to NASA LaRC) of a self-contained portable oxygen plant that incorporates the first generation ISRU technologies developed at UA SERC. In addition, further reductions in mass and power needs were achieved in two smaller oxygen plants, which, however, have far greater production rates. SERC continued to attract bright students both at the undergraduate and graduate levels, and several area high school students through the Professional Internship Program (PIP) administered by the local school district. Invited lectures at elementary schools continue to draw enthusiastic response. Another important first was the creation of the Freshman Colloquium, 'Space in Our Future, and Our Future in Space,' geared toward women and minority students. This course proved to be a success, with more than one-half of the enrollment composed of women. In recognition of these important contributions, the author was appointed to the NRC Committee on Space Science Technologies.

Ramohalli, Kumar↗

NASA NTRS1992

Non-scalar uncertainty: Uncertainty in dynamic systems

The following point is stated throughout the paper: dynamic systems are usually subject to uncertainty, be it the unavoidable quantic uncertainty when working with sufficiently small scales or when working in large scales uncertainty can be allowed by the researcher in order to simplify the problem, or it can be introduced by nonlinear interactions. Even though non-quantic uncertainty can generally be dealt with by using the ordinary probability formalisms, it can also be studied with the proposed non-scalar formalism. Thus, non-scalar uncertainty is a more general theoretical framework giving insight into the nature of uncertainty and providing a practical tool in those cases in which scalar uncertainty is not enough, such as when studying highly nonlinear dynamic systems. This paper's specific contribution is the general concept of non-scalar uncertainty and a first proposal for a methodology. Applications should be based upon this methodology. The advantage of this approach is to provide simpler mathematical models for prediction of the system states. Present conventional tools for dealing with uncertainty prove insufficient for an effective description of some dynamic systems. The main limitations are overcome abandoning ordinary scalar algebra in the real interval (0, 1) in favor of a tensor field with a much richer structure and generality. This approach gives insight into the interpretation of Quantum Mechanics and will have its most profound consequences in the fields of elementary particle physics and nonlinear dynamic systems. Concepts like 'interfering alternatives' and 'discrete states' have an elegant explanation in this framework in terms of properties of dynamic systems such as strange attractors and chaos. The tensor formalism proves especially useful to describe the mechanics of representing dynamic systems with models that are closer to reality and have relatively much simpler solutions. It was found to be wise to get an approximate solution to an accurate model than to get a precise solution to a model constrained by simplifying assumptions. Precision has a very heavy cost in present physical models, but this formalism allows the trade between uncertainty and simplicity. It was found that modeling reality sometimes requires that state transition probabilities should be manipulated as nonscalar quantities, finding at the end that there is always a transformation to get back to scalar probability.

Martinez, Salvador Gutierrez↗

NASA NTRS1992

A Benes-like theorem for the shuffle-exchange graph

One of the first theorems on permutation routing, proved by V. E. Beness (1965), shows that given a set of source-destination pairs in an N-node butterfly network with at most a constant number of sources or destinations in each column of the butterfly, there exists a set of paths of lengths O(log N) connecting each pair such that the total congestion is constant. An analogous theorem yielding constant-congestion paths for off-line routing in the shuffle-exchange graph is proved here. The necklaces of the shuffle-exchange graph play the same structural role as the columns of the butterfly in Beness' theorem.

Schwabe, Eric J.↗

NASA NTRS1993

Node assignment in heterogeneous computing

A number of node assignment schemes, both static and dynamic, are explored for the Algorithm to Architecture Mapping Model (ATAMM). The architecture under consideration consists of heterogeneous processors and implements dataflow models of real-time applications. Terminology is developed for heterogeneous computing. New definitions are added to the ATAMM for token and assignment classifications. It is proved that a periodic execution is possible for dataflow graphs. Assignment algorithms are developed and proved. A design procedure is described for satisfying an objective function in an heterogeneous architecture. Several examples are provided for illustration.

Som, Sukhamoy↗

NASA NTRS1993

Summation by parts, projections, and stability

We have derived stability results for high-order finite difference approximations of mixed hyperbolic-parabolic initial-boundary value problems (IBVP). The results are obtained using summation by parts and a new way of representing general linear boundary conditions as an orthogonal projection. By slightly rearranging the analytic equations, we can prove strict stability for hyperbolic-parabolic IBVP. Furthermore, we generalize our technique so as to yield strict stability on curvilinear non-smooth domains in two space dimensions. Finally, we show how to incorporate inhomogeneous boundary data while retaining strict stability. Using the same procedure one can prove strict stability in higher dimensions as well.

Olsson, Pelle↗