SEARCH · Search NASA

Results for “Code Generation”

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 415 records · Page 23

All sources NASA NTRS DOE OSTI

NASA NTRS2004

Source Term Model for Vortex Generator Vanes in a Navier-Stokes Computer Code

A source term model for an array of vortex generators was implemented into a non-proprietary Navier-Stokes computer code, OVERFLOW. The source term models the side force created by a vortex generator vane. The model is obtained by introducing a side force to the momentum and energy equations that can adjust its strength automatically based on the local flow. The model was tested and calibrated by comparing data from numerical simulations and experiments of a single low profile vortex generator vane on a flat plate. In addition, the model was compared to experimental data of an S-duct with 22 co-rotating, low profile vortex generators. The source term model allowed a grid reduction of about seventy percent when compared with the numerical simulations performed on a fully gridded vortex generator on a flat plate without adversely affecting the development and capture of the vortex created. The source term model was able to predict the shape and size of the stream-wise vorticity and velocity contours very well when compared with both numerical simulations and experimental data. The peak vorticity and its location were also predicted very well when compared to numerical simulations and experimental data. The circulation predicted by the source term model matches the prediction of the numerical simulation. The source term model predicted the engine fan face distortion and total pressure recovery of the S-duct with 22 co-rotating vortex generators very well. The source term model allows a researcher to quickly investigate different locations of individual or a row of vortex generators. The researcher is able to conduct a preliminary investigation with minimal grid generation and computational time.

Waithe, Kenrick A.↗

NASA NTRS2004

The Energy Spectra of Heavy Nuclei Measured by the ATIC Experiment

ATIC (Advanced Thin Ionization Calorimeter) is a balloon-borne experiment to measure the spectra and composition of primary cosmic rays in the region of total energy from 100 GeV to near 100 TeV for Z from 1 to 26. ATIC consists of a pixelated silicon matrix detector to measure charge plus a fully active BGO calorimeter, to measure energy, located below a carbon target interleaved with three layers of scintillator hodoscope. The ATIC instrument had a second (scientific) flight from McMurdo, Antarctica from 12/29/02 to 1/18/03, yielding 20 days of good data. The GEANT 3.21 Monte Carlo code with the QGSM event generator and the FLUKA code with the DPMJET-II event generator were used to convert energy deposition measurements to primary energy. We present the preliminary energy spectra for the abundant elements C, O, Ne, Mg, Si and Fe and compare them with the results of the first (test) flight of ATIC in 2000-01 and with results from the HEAO-3 and CRN experiments.

Panov, A. D.↗

NASA NTRS2011

Towards Simulating a Realistic Planetary Seismic Wavefield: The Contribution of the Megaregolith and Low-Velocity Waveguides

Lunar seismograms are distinctly different from their terrestrial counterparts. The Apollo lunar seismometers recorded moonquakes without distinct P- or S-wave arrivals; instead waves arrive as a diffuse coda that decays over several hours making the identification of body waves difficult. The unusual character of the lunar seismic wavefield is generally tied to properties of the megaregolith: it consists of highly fractured and broken crustal rock, the result of extensive bombardment of the Moon. The megaregolith extends several kilometers into the lunar crust, possibly into the mantle in some regions, and is covered by a thin coating of fine-scale dust. These materials possess very low seismic velocities that strongly scatter the seismic wavefield at high frequencies. Directly modeling the effects of the megaregolith to simulate an accurate lunar seismic wavefield is a challenging computational problem, owing to the inherent 3-D nature of the problem and the high frequencies (greater than 1 Hz) required. Here we focus on modeling the long duration code, studying the effects of the low velocities found in the megaregolith. We produce synthetic seismograms using 1-D slowness integration methodologies, GEMINI and reflectivity, and a 3-D Cartesian finite difference code, Wave Propagation Program, to study the effect of thin layers of low velocity on the surface of a planet. These codes allow us generate seismograms with dominant frequencies of approximately 1 Hz. For background lunar seismic structure we explore several models, including the recent model of Weber et al., Science, 2011. We also investigate variations in megaregolithic thickness, velocity, attenuation, and seismogram frequency content. Our results are compared to the Apollo seismic dataset, using both a cross correlation technique and integrated envelope approach to investigate coda decay. We find our new high frequency results strongly support the hypothesis that the long duration of the lunar seismic codes is generated by the presence of the low velocity megaregolith, and that the diffuse arrivals are a combination of scattered energy and multiple reverberations within this layer. The 3-D modeling indicates the extreme surface topography of the Moon adds only a small contribution to scattering effects, though local geology may play a larger role. We also study the effects of the megaregolith on core reflected and converted phases and other body waves. Our analysis indicates detection of core interacting arrivals with a polarization filter technique is robust and lends the possibility of detecting other body waves from the Moon.

Schmerr, Nicholas C.↗

NASA NTRS1995

Calibration and Application of Plume Radiation Code: PARRAD

The next generation of Reusable Launch Vehicle (RLV) design requires careful considerations towards Thermal Protection System (TPS) not only in the high-heating regions, also in the base region. The use of hydrocarbon based liquid propulsion engine and the construction, launch and operational cost limitations places a significant burden on the base region TPS design. The radiation from the rocket-plume is expected to dominate base heating during ascent. The objective of this paper is to evaluate the accuracy of a plume radiation modeling with the PARRAD code. The original PARRAD code has been modified to work with single and multiple /overset grids and plume-field solution generated by computational codes, such as GASP. These modifications will be detailed in the proposed paper. To establish accuracy, simulations of the Space Shuttle Main Engine nozzle were performed and the radiative heating predicted by PARRAD are compared with ground based measurements. These results and pertinent discussion of issues related to accuracy will be detailed. In addition, predictions for the X-34 RLV, yet to be performed, will be presented and the significance (or lack) of base heating due to plume radiation will be discussed.

Venkatapathy, Ethiraj↗

NASA NTRS2009

Proceedings of the First NASA Formal Methods Symposium

Topics covered include: Model Checking - My 27-Year Quest to Overcome the State Explosion Problem; Applying Formal Methods to NASA Projects: Transition from Research to Practice; TLA+: Whence, Wherefore, and Whither; Formal Methods Applications in Air Transportation; Theorem Proving in Intel Hardware Design; Building a Formal Model of a Human-Interactive System: Insights into the Integration of Formal Methods and Human Factors Engineering; Model Checking for Autonomic Systems Specified with ASSL; A Game-Theoretic Approach to Branching Time Abstract-Check-Refine Process; Software Model Checking Without Source Code; Generalized Abstract Symbolic Summaries; A Comparative Study of Randomized Constraint Solvers for Random-Symbolic Testing; Component-Oriented Behavior Extraction for Autonomic System Design; Automated Verification of Design Patterns with LePUS3; A Module Language for Typing by Contracts; From Goal-Oriented Requirements to Event-B Specifications; Introduction of Virtualization Technology to Multi-Process Model Checking; Comparing Techniques for Certified Static Analysis; Towards a Framework for Generating Tests to Satisfy Complex Code Coverage in Java Pathfinder; jFuzz: A Concolic Whitebox Fuzzer for Java; Machine-Checkable Timed CSP; Stochastic Formal Correctness of Numerical Algorithms; Deductive Verification of Cryptographic Software; Coloured Petri Net Refinement Specification and Correctness Proof with Coq; Modeling Guidelines for Code Generation in the Railway Signaling Context; Tactical Synthesis Of Efficient Global Search Algorithms; Towards Co-Engineering Communicating Autonomous Cyber-Physical Systems; and Formal Methods for Automated Diagnosis of Autosub 6000.

Denney, Ewen↗

NASA NTRS1997

Surface Modeling and Grid Generation of Orbital Sciences X34 Vehicle

The surface modeling and grid generation requirements, motivations, and methods used to develop Computational Fluid Dynamic volume grids for the X34-Phase 1 are presented. The requirements set forth by the Aerothermodynamics Branch at the NASA Langley Research Center serve as the basis for the final techniques used in the construction of all volume grids, including grids for parametric studies of the X34. The Integrated Computer Engineering and Manufacturing code for Computational Fluid Dynamics (ICEM/CFD), the Grid Generation code (GRIDGEN), the Three-Dimensional Multi-block Advanced Grid Generation System (3DMAGGS) code, and Volume Grid Manipulator (VGM) code are used to enable the necessary surface modeling, surface grid generation, volume grid generation, and grid alterations, respectively. All volume grids generated for the X34, as outlined in this paper, were used for CFD simulations within the Aerothermodynamics Branch.

Alter, Stephen J.↗

NASA NTRS2008

JPEG 2000 Encoding with Perceptual Distortion Control

An alternative approach has been devised for encoding image data in compliance with JPEG 2000, the most recent still-image data-compression standard of the Joint Photographic Experts Group. Heretofore, JPEG 2000 encoding has been implemented by several related schemes classified as rate-based distortion-minimization encoding. In each of these schemes, the end user specifies a desired bit rate and the encoding algorithm strives to attain that rate while minimizing a mean squared error (MSE). While rate-based distortion minimization is appropriate for transmitting data over a limited-bandwidth channel, it is not the best approach for applications in which the perceptual quality of reconstructed images is a major consideration. A better approach for such applications is the present alternative one, denoted perceptual distortion control, in which the encoding algorithm strives to compress data to the lowest bit rate that yields at least a specified level of perceptual image quality. Some additional background information on JPEG 2000 is prerequisite to a meaningful summary of JPEG encoding with perceptual distortion control. The JPEG 2000 encoding process includes two subprocesses known as tier-1 and tier-2 coding. In order to minimize the MSE for the desired bit rate, a rate-distortion- optimization subprocess is introduced between the tier-1 and tier-2 subprocesses. In tier-1 coding, each coding block is independently bit-plane coded from the most-significant-bit (MSB) plane to the least-significant-bit (LSB) plane, using three coding passes (except for the MSB plane, which is coded using only one "clean up" coding pass). For M bit planes, this subprocess involves a total number of (3M - 2) coding passes. An embedded bit stream is then generated for each coding block. Information on the reduction in distortion and the increase in the bit rate associated with each coding pass is collected. This information is then used in a rate-control procedure to determine the contribution of each coding block to the output compressed bit stream.

Watson, Andrew B.↗

NASA NTRS1983

Input generator for Denton 3-dimensional turbomachine-blade-row analysis code

A users manual is presented for a computer program that prepares the bulk of the input data set required for the Denton three dimensional turbomachine blade row analysis code. The Denton input is generated from a minimum of geometry and flow variable information by using cubic spline curve fitting procedures. The features of the program are discussed. The input is described and special instructions are included to assist in its preparation. Sample input and output are included.

Glassman, A. J.↗

NASA NTRS1991

A historical overview of high-temperature structural testing at the NASA Dryden Flight Research Facility

Major hot structure test programs conducted at NASA Dryden Flight Research Facility from 1960s to the present are reviewed with emphasis placed on the YF-12A flight load program, which included extensive experimental and analytical tasks. Analytical models of the YF-12A aircraft were generated using NASTRAN and FLEXTAB codes. Experimental data were generated from wind tunnel model tests, laboratory tests performed on the flight vehicle (including Mach-3 thermal simulation that involved heating the entire aircraft's surface after which the aircraft was returned to flight status), and flight tests.

Deangelis, V. M.↗

NASA NTRS1998

Ducted-Fan Engine Acoustic Predictions using a Navier-Stokes Code

A Navier-Stokes computer code is used to predict one of the ducted-fan engine acoustic modes that results from rotor-wake/stator-blade interaction. A patched sliding-zone interface is employed to pass information between the moving rotor row and the stationary stator row. The code produces averaged aerodynamic results downstream of the rotor that agree well with a widely used average-passage code. The acoustic mode of interest is generated successfully by the code and is propagated well upstream of the rotor; temporal and spatial numerical resolution are fine enough such that attenuation of the signal is small. Two acoustic codes are used to find the far-field noise. Near-field propagation is computed by using Eversman's wave envelope code, which is based on a finite-element model. Propagation to the far field is accomplished by using the Kirchhoff formula for moving surfaces with the results of the wave envelope code as input data. Comparison of measured and computed far-field noise levels show fair agreement in the range of directivity angles where the peak radiation lobes from the inlet are observed. Although only a single acoustic mode is targeted in this study, the main conclusion is a proof-of-concept: Navier-Stokes codes can be used both to generate and propagate rotor/stator acoustic modes forward through an engine, where the results can be coupled to other far-field noise prediction codes.

Rumsey, C. L.↗

NASA NTRS1998

Ducted-Fan Engine Acoustic Predictions Using a Navier-Stokes Code

A Navier-Stokes computer code is used to predict one of the ducted-fan engine acoustic modes that results from rotor-wake/stator-blade interaction. A patched sliding-zone interface is employed to pass information between the moving rotor row and the stationary stator row. The code produces averaged aerodynamic results downstream of the rotor that agree well with a widely used average-passage code. The acoustic mode of interest is generated successfully by the code and is propagated well upstream of the rotor, temporal and spatial numerical resolution are fine enough such that attenuation of the signal is small. Two acoustic codes are used to find the far-field noise. Near-field propagation is computed by using Eversman's wave envelope code, which is based on a finite-element model. Propagation to the far field is accomplished by using the Kirchhoff formula for moving surfaces with the results of the wave envelope code as input data. Comparison of measured and computed far-field noise levels show fair agreement in the range of directivity angles where the peak radiation lobes from the inlet are observed. Although only a single acoustic mode is targeted in this study, the main conclusion is a proof-of-concept: Navier Stokes codes can be used both to generate and propagate rotor-stator acoustic modes forward through an engine, where the results can be coupled to other far-field noise prediction codes.

Rumsey, C. L.↗

NASA NTRSDate not supplied

Qualitative Data Coding of User Experience with an Urban Air Mobility Fleet Manager Interface

The NASA Aeronautics Research Mission Directorate created the High Density Vertiplex (HDV) project to integrate and evaluate a prototype Urban Air Mobility (UAM) ecosystem. Part of the HDV testing environment included a prototype operator user interface called the Fleet Manager Interface (FMI). In 2023, HDV conducted flight testing with the FMI during which a user experience (UX) study was performed to assess the quality of UX and elicit design recommendations. As a result, a large database of open-ended, qualitative responses was generated and then coded using a new qualitative data coding technique called Directive String Coding, which used a blended coding approach to generate actionable heuristics that stakeholders (e.g., researchers, UI designers, software developers) could use to answer specific research questions and make future design decisions. The key themes that arose from the coded responses showed that the UX was pleasant, system notifications should be more salient, and information across multiple screens should be integrated into a central display. As the Fleet Manger operational role is still being defined, it is vital to increase our understanding of the tools and capabilities needed for such a role. The results from HDV work will eventually feed into standards for vertiport operations that will enable safe and scalable UAM operations in the United States.

high density vertiplex↗

NASA NTRSDate not supplied

Qualitative Data Coding of User Experience with an Urban Air Mobility Fleet Manager Interface

high density veriplex↗

NASA NTRS1980

Off-design performance analysis of MHD generator channels

A computer code for performing parametric design point calculations, and evaluating the off-design performance of MHD generators has been developed. The program is capable of analyzing Faraday, Hall, and DCW channels, including the effect of electrical shorting in the gas boundary layers and coal slag layers. Direct integration of the electrode voltage drops is included. The program can be run in either the design or off-design mode. Details of the computer code, together with results of a study of the design and off-design performance of the proposed ETF MHD generator are presented. Design point variations of pre-heat and stoichiometry were analyzed. The off-design study included variations in mass flow rate and oxygen enrichment.

Wilson, D. R.↗

NASA NTRS1999

Water Flow Performance of a Superscale Model of the Fastrac Liquid Oxygen Pump

As part of the National Aeronautics and Space Administration's ongoing effort to lower the cost of access to space, the Marshall Space Flight Center has developed a rocket engine with 60,000 pounds of thrust for use on the Reusable Launch Vehicle technology demonstrator slated for launch in 2000. This gas generator cycle engine, known as the Fastrac engine, uses liquid oxygen and RP-1 for propellants and includes single stage liquid oxygen and RP-1 pumps and a single stage supersonic turbine on a common shaft. The turbopump design effort included the first use and application of new suction capability prediction codes and three-dimensional blade generation codes in an attempt to reduce the turbomachinery design and certification costs typically associated with rocket engine development. To verify the pump's predicted cavitation performance, a water flow test of a superscale model of the Fastrac liquid oxygen pump was conducted to experimentally evaluate the liquid oxygen pump's performance at and around the design point. The water flow test article replicated the flow path of the Fastrac liquid oxygen pump in a 1.582x scale model, including scaled seal clearances for correct leakage flow at a model operating speed of 5000 revolutions per minute. Flow entered the 3-blade axial-flow inducer, transitioned to a shrouded, 6-blade radial impeller, and discharged into a vaneless radial diffuser and collection volute. The test article included approximately 50 total and static pressure measurement locations as well as flush-mounted, high frequency pressure transducers for complete mapping of the pressure environment. The primary objectives of the water flow test were to measure the steady-state and dynamic pressure environment of the liquid oxygen pump versus flow coefficient, suction specific speed, and back face leakage flow rate. Results showed excellent correlation between the predicted and experimentally measured pump head rise at low suction specific speeds. Likewise, only small circumferential variations in steady-state impeller exit and radial diffuser pressure distributions were observed from 80% to 120% of the design flow coefficient, matching the computational predictions and confirming that the integrated design approach has minimized any exit volute-induced distortions. The test article exhibited suction performance trends typically observed in inducer designs with virtually constant head rise with decreasing inlet pressure until complete pump head breakdown. Unfortunately, the net positive suction head at 3% head fall-off occurred far below that predicted at all tested flow coefficients, resulting in a negative net positive suction head margin at the design point in water. Additional testing to map the unsteady pressure environment was conducted and interesting rotating phenomena at the inducer inlet were observed. These rotating phenomena's cell numbers, direction, and speed were correlated with pump operating parameters. The impact of the unsteady phenomena and their corresponding energy losses on the unexpectedly poor pump performance is also discussed.

Skelley, Stephen↗

NASA NTRS2001

Water Flow Performance of a Superscale Model of the Fastrac Liquid Oxygen Pump

As part of the National Aeronautics and Space Administration's ongoing effort to lower the cost of access to space, the Marshall Space Flight Center has developed a rocket engine with 60,000 pounds of thrust for use on the Reusable Launch Vehicle technology demonstrator slated for launch in 2000. This gas generator cycle engine, known as the Fastrac engine, uses liquid oxygen and RP-1 for propellants and includes single stage liquid oxygen and RP-1 pumps and a single stage supersonic turbine on a common shaft. The turbopump design effort included the first use and application of new suction capability prediction codes and three-dimensional blade generation codes in an attempt to reduce the turbomachinery design and certification costs typically associated with rocket engine development. To verify the pump's predicted cavitation performance, a water flow test of a superscale model of the Fastrac liquid oxygen pump was conducted to experimentally evaluate the liquid oxygen pump's performance at and around the design point. The water flow test article replicated the flow path of the Fastrac liquid oxygen pump in a 1.582x scale model, including scaled seal clearances for correct leakage flow at a model operating speed of 5000 revolutions per minute. Flow entered the 3-blade axial-flow inducer, transitioned to a shrouded, 6- blade radial impeller, and discharged into a vaneless radial diffuser and collection volute. The test article included approximately 50 total and static pressure measurement locations as well as flush-mounted, high frequency pressure transducers for complete mapping of the pressure environment. The primary objectives of the water flow test were to measure the steady-state and dynamic pressure environment of the liquid oxygen pump versus flow coefficient, suction specific speed, and back face leakage flow rate. Initial results showed acceptable correlation between the predicted and experimentally measured pump head rise at low suction specific speeds. Likewise, only small circumferential variations in steady-state were observed from 80% to 120% of the design flow coefficient, matching the computational predictions and confirming that the integrated design approach has minimized any exit volute-induced distortions. The test article exhibited suction performance trends typically observed in inducer designs with virtually constant head rise with decreasing inlet pressure until complete pump head breakdown. Unfortunately, the net positive suction head at 3% head fall-off occurred far below that predicted at all tested flow coefficients, resulting in a negative net positive suction head margin at the design point in water. Additional testing to map the unsteady pressure environment was conducted and cavitation-induced flow disturbances at the inducer inlet were observed. Two distinct disturbances were identified, one rotating and one stationary relative to the fixed frame of reference, while the transition from one regime to the next produced significant effects on the steady state pump performance. The impact of the unsteady phenomena and the corresponding energy losses on the unexpectedly poor pump performance is also discussed.

Skelley, Stephen↗

NASA NTRS1988

Flow Analysis of Space Shuttle Feed Line 17-inch Disconnect Valve

A steady incompressible three-dimensional viscous flow analysis has been conducted for the Space Shuttle External Tank/Orbiter propellant feed line disconnect flapper valves with upstream elbows. The full Navier-Stokes code, INS3D, is modified to handle interior obstacles. Grids are generated by SVTGD3D code. Two dimensional initial grids in the flow cross section with and without the flappers are improved by elliptic smoothing to provide better orthogonality, clustering and smoothness to the three dimensional grid. The flow solver is tested for stability and convergence in the presence of interior flappers. An under-relaxation scheme has been incorporated to improve the solution stability. Important flow characteristics such as secondary flows, recirculation, vortex and wake regions, and separated flows are observed. Computed values for forces, moments, and pressure drop are in satisfactory agreement with water flow test data covering a maximum tube Reynolds number of 3.5 x 10(exp 6). The results will serve as a guide to improved design and enhanced testing of the disconnect.

Kandula, Max↗

NASA NTRS2009

PCC Framework for Program-Generators

In this paper, we propose a proof-carrying code framework for program-generators. The enabling technique is abstract parsing, a static string analysis technique, which is used as a component for generating and validating certificates. Our framework provides an efficient solution for certifying program-generators whose safety properties are expressed in terms of the grammar representing the generated program. The fixed-point solution of the analysis is generated and attached with the program-generator on the code producer side. The consumer receives the code with a fixed-point solution and validates that the received fixed point is indeed a fixed point of the received code. This validation can be done in a single pass.

Kong, Soonho↗