SEARCH · Engineering Papers
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.
A users guide to the inner radiation zone electron model AE-5 is introduced. The guide covers a description of the model, the forms in which it is available, directions on how to use the model, and a discussion of its limitations. Computer programs MODEL and ORP are described. These are major programs needed to use the electron models AE-4 and AE-5 and the smoothed proton models.
Java Pathfinder (JPF) is a verification and testing environment for Java that integrates model checking, program analysis, and testing. JPF consists of a custom-made Java Virtual Machine (JVM) that interprets bytecode, combined with a search interface to allow the complete behavior of a Java program to be analyzed, including interleavings of concurrent programs. JPF is implemented in Java, and its architecture is highly modular to support rapid prototyping of new features. JPF is an explicit-state model checker, because it enumerates all visited states and, therefore, suffers from the state-explosion problem inherent in analyzing large programs. It is suited to analyzing programs less than 10kLOC, but has been successfully applied to finding errors in concurrent programs up to 100kLOC. When an error is found, a trace from the initial state to the error is produced to guide the debugging. JPF works at the bytecode level, meaning that all of Java can be model-checked. By default, the software checks for all runtime errors (uncaught exceptions), assertions violations (supports Java s assert), and deadlocks. JPF uses garbage collection and symmetry reductions of the heap during model checking to reduce state-explosion, as well as dynamic partial order reductions to lower the number of interleavings analyzed. JPF is capable of symbolic execution of Java programs, including symbolic execution of complex data such as linked lists and trees. JPF is extensible as it allows for the creation of listeners that can subscribe to events during searches. The creation of dedicated code to be executed in place of regular classes is supported and allows users to easily handle native calls and to improve the efficiency of the analysis.
A system of programs which model the chemistry and transport of carbon monoxide and methane in the Earth's atmosphere on a global scale was installed onto the NASA-Langley central scientific computer network. This system, the GLOBAL system, consists of a user-friendly set of procedural files which allow for simplified pre-processing, execution, and post-processing for all program elements. The package includes procedures for obtaining the NMC meteorological data, calculating the vertical winds to satisfy mass conservation, determining the boundary layer, and executing the transport/chemical model for carbon monoxide. In addition, plotting, saving to tape, and reading from tape routines were developed. Final modifications to the subprograms for processing the input data for the transport/chemistry model have improved these data to more accurately reflect true atmospheric conditions. The transfer of the transport/chemistry model from the NCAR CRAY system to the NASA-Langley VPS-32 system was completed. The problems encountered during this process and their resolutions are discussed.
The development model test program was written to provide guidance for essential star tracker test support to the Space Shuttle Orbiter Program. The program organization included test equipment preparation, prototype baseline/acceptance tests, prototype total performance tests, and prototype special tests. Test configurations, preparation phase, documentation, scheduling, and manpower requirements are discussed. The test program permits an early evaluation of the tracker's performance prior to completion and testing of the final flight models.
Accurate modeling of cryogenic boiling heat transfer is vital for the development of extended-duration space missions. Such missions may require the transfer of cryogenic propellants from in-space storage depots or the cooling of nuclear reactors. Purdue University in collaboration with NASA has assembled a database of cryogenic flow boiling data points from heated-tube experiments dating back to 1959, which has been used to develop new flow boiling correlations specifically for cryogens. Computational models of several of these experiments have been constructed in the Generalized Fluid System Simulation Program (GFSSP), a network flow code developed at NASA’s Marshall Space Flight Center. The new Purdue-developed correlations cover the full boiling curve: onset of nucleate boiling, nucleate boiling, critical heat flux, and film boiling. These correlations have been coded into GFSSP user subroutines. The fluids modeled are methane and nitrogen. Predictions of wall temperature and heat transfer coefficient are presented and compared to the test data.
Accurate modeling of cryogenic boiling heat transfer is vital for the development of extended-duration space missions. Such missions may require the transfer of cryogenic propellants from in-space storage depots or the cooling of nuclear reactors. Purdue University in collaboration with NASA has assembled a database of cryogenic flow boiling data points from heated-tube experiments dating back to 1959, which has been used to develop new flow boiling correlations specifically for cryogens. Computational models of several of these experiments have been constructed in the Generalized Fluid System Simulation Program (GFSSP), a network flow code developed at NASA’s Marshall Space Flight Center. The new Purdue-developed universal correlations cover the full boiling curve: onset of nucleate boiling, nucleate boiling, critical heat flux, and film boiling. These correlations have been coded into GFSSP user subroutines. The fluids modeled in this study are liquid hydrogen and liquid helium. Predictions of local wall temperature and pressure drop are presented and compared to the test data.
Reactive burn models represent a significant leap in high explosive (HE) modeling capability. The first generation of engineering models of HE detonation are called programmed burn models and they are largely based on the distance between a prescribed detonation point and each zone in a simulation. There have been many advancements to programmed burn models over the years and when the assumptions upon which they are based are met, a properly tuned programmed burn model can be highly accurate but if any of their assumptions is not met, as is the case for corner turning or weakly initiated HE burn, they will give the wrong answer. Reactive burn models represent an entirely new way of modeling HE burn. They use the local conditions of a zone – e.g. temperature, pressure or density – as calculated by a hydrocode to determine if and when the zone is going to detonate and if so, how rapidly. This difference opens up an entirely new set of capabilities for HE modeling. It makes it possible to accurately and predictively model phenomena like the effect of confinement and the formation of dead zones. Reactive burn models have seen sustained development effort at LANL for at least the last decade but several recent developments make it timely to transition reactive burn models from a research topic to a production tool. The main goal of this milestone is to facilitate and accelerate the adoption of reactive burn as a commonly available modeling option, with recommendations on the resolution that will be required and uncertainties associated with their modeling choices. To achieve this, we have performed verification, validation, and uncertainty quantification (UQ) assessments of AWSD and SURF/SURFplus in xRage and FLAG on a variety of different problems.
FORTRAN program for calculating particle spectra produced in high energy proton-proton collisions by two temperature statistical model
Two programs were developed to calculate the pitch and roll position of the conventional sting drive and the pitch of a high angle articulated sting to position a wind tunnel model at the desired angle of attack and sideslip and position the model as near as possible to the centerline of the tunnel. These programs account for the effects of sting offset angles, sting bending angles, and wind-tunnel stream flow angles. In addition, the second program incorporates inputs form on-board accelerometers that measure model pitch and roll with respect to gravity. The programs are presented and a description of the numerical operation of the programs with a definition of the variables used in the programs is given.
Thermal Radiation Model Renodalization program redefines thermal model nodal geometry subsequent to generation of radiation interchange data. Program readily used with TRASYS thermal radiation program and SINDA thermal analyzer program. Program written in FORTRAN V.
A FORTRAN computer program was developed for analyzing the performance of phosphoric acid fuel cell power plant systems. Energy mass and electrochemical analysis in the reformer, the shaft converters, the heat exchangers, and the fuel cell stack were combined to develop a mathematical model for the power plant for both atmospheric and pressurized conditions, and for several commercial fuels.
For steady multidimensional convection, the Quadratic Upstream Interpolation for Convective Kinematics (QUICK) scheme has several attractive properties. However, for highly convective simulation of step profiles, QUICK produces unphysical overshoots and a few oscillations, and this may cause serious problems in nonlinear flows. Fortunately, it is possible to modify the convective flux by writing the normalized convected control-volume face value as a function of the normalized adjacent upstream node value, developing criteria for monotonic resolution without sacrificing formal accuracy. This results in a nonlinear functional relationship between the normalized variables, whereas standard methods are all linear in this sense. The resulting Simple High Accuracy Resolution Program (SHARP) can be applied to steady multidimensional flows containing thin shear or mixing layers, shock waves, and other frontal phenomena. This represents a significant advance in modeling highly convective flows of engineering and geophysical importance. SHARP is based on an explicit, conservative, control-volume flux formation, equally applicable to one, two, or three dimensional elliptic, parabolic, hyperbolic, or mixed-flow regimes. Results are given for the bench-mark purely convective first-order results and the nonmonotonic predictions of second- and third-order upwinding.
This slide deck provides an overview of community solar program design and subscription models. It introduces and explains the different elements of community solar program and subscription design, and proves proven practices and considerations when designing a community solar program. This slide deck was originally developed as part of a working group under the National Community Solar Partnership's Municipal Utility Collaborative.
We describe a method to automatically generate discrete-state models of abstract Plan Execution Interchange Language (PLEXIL) programs that can be analyzed using model checking tools. Starting from a high-level description of a PLEXIL program or a family of programs with common characteristics, the generator lays the framework that models the principles of program execution. The concrete parts of the program are not automatically generated, but require the modeler to introduce them by hand. As a case study, we generate models to verify properties of the PLEXIL macro constructs that are introduced as shorthand notation. After an exhaustive analysis, we conclude that the macro definitions obey the intended semantics and behave as expected, but contingently on a few specific requirements on the timing semantics of micro-steps in the concrete executive implementation.
Postprocessing programs written to analyze the results of a general circulation model are described. The model history data is interpolated to pressure surfaces, converted from 64-bit Cyber words to 32 bit IBM words, and transferred to tape for further analysis. The time average program reads the interpolation output tape and produces 15-day time averages. The model outputs a very detailed record for selected grid points. This data is sent to a tape in Cyber full words. The conversion program changes the format of the tape from 64 bit Cyber words to 32 bit IBM words, processing a month of data at a time. The grid-point history sorting program inputs the converted grid point history tape and sorts it by time. The end product is a tape with a time history of each field for every point. After the PBP data has been stored, it can be plotted. The plotting package is flexible, and allows the choice of fields and grid points. The one-dimensional fields are plotted as functions of time, and a daily summary is also produced. For the two-dimensional fields, time-height cross sections and daily summaries are produced. The model plotting package produces plots for all fields on the time average and pressure tapes. These plots include world maps, polar projections, zonal means, vectors, streamlines, and latitude-height plots.
A solution methodology has been developed to efficiently model multi-specie, chemically frozen, thermally perfect gas mixtures. The method relies on the ability to generate a single (composite) set of thermodynamic and transport coefficients prior to beginning a CFD solution. While not fundamentally a new concept, many applied CFD users are not aware of this capability nor have a mechanism to easily and confidently generate new coefficients. A database of individual specie property coefficients has been created for 48 species. The seven coefficient form of the thermodynamic functions is currently used rather then the ten coefficient form due to the similarity of the calculated properties, low temperature behavior and reduced CPU requirements. Sutherland laminar viscosity and thermal conductivity coefficients were computed in a consistent manner from available reference curves. A computer program has been written to provide CFD users with a convenient method to generate composite specie coefficients for any mixture. Mach 7 forebody/inlet calculations demonstrated nearly equivalent results and significant CPU time savings compared to a multi-specie solution approach. Results from high-speed combustor analysis also illustrate the ability to model inert test gas contaminants without additional computational expense.
The model hardware, test facilities and instrumentation utilized in an experimental study of upper surface blown configurations at cruise is described. The high speed (subsonic) experimental work, studying the aerodynamic effects of wing nacelle geometric variations, was conducted around semispan model configurations composed of diversified, interchangeable components. Power simulation was provided by high pressure air ducted through closed forebody nacelles. Nozzle geometry was varied across size, exit aspect ratio, exit position and boattail angle. Three dimensional force and two dimensional pressure measurements were obtained at cruise Mach numbers from 0.5 to 0.8 and at nozzle pressure ratios up to about 3.0. The experimental investigation was supported by an analytical synthesis of the system using a vortex lattice representation with first order power effects. Results are also presented from a compatibility study in which a short haul transport is designed on the basis of the aerodynamic findings in the experimental study as well as acoustical data obtained in a concurrent program. High lift test data are used to substantiate the projected performance of the selected transport design.
The Direct Feed Low Activity Waste (DFLAW) program at Hanford allows for the early treatment of tank wastes years earlier than previously planned. Operational Research (OR) modeling is being used to provide invaluable insight into how complex and integrated processes will operate. The DFLAW OR models are used to help optimize the design and operation of the integrated system. The DFLAW OR models include the processes and real-life complexities involved in the day-to-day operation of the systems and equipment, and can predict key performance characteristics including throughput, mission timescale, equipment and labor utilization, lag storage and capacity requirements. The DFLAW OR models also have the in-built capability to simulate random events such as equipment failures. Adding random variability to models introduces a real-life element to model results. For example, OR modeling breakdown analysis of equipment failure and restoration times may inform specific improvements to a design and plant operation, including areas where the provision of spare (duty/standby) equipment would prove beneficial; the optimum number and capacity of lag storage tanks (for waste intermediate storage, reagents, etc.); operational issues, including scheduling constraints, labor resource constraints, effect of shift schedules (e.g. days only, extended shifts, 24/7),, maintenance strategies, including planned maintenance, equipment upgrades, on-hand spare part stockholding, etc. At Hanford, standalone OR models to date, have been used to help identify key operational issues and improve the design and operation of individual systems within the Tank Farms, Low Activity Waste Pretreatment System (LAWPS), Low Activity Waste (LAW) Vitrification and Effluent Management Facility (EMF) and Integrated Disposal Facility (IDF), logistics and infrastructure, 222-S laboratory [References 1 and 2] including: - Identification of critical spares including transfer pumps; - Underpin size and number of lag storage tanks to maintain continuous LAW feed to the LAW melters; - Underpin sample turnaround times at the 222-S Laboratory (e.g. feed prequalification and evaporator campaign samples) and determine how targets can be achieved without impacting waste feed delivery to LAWPS and the LAW Vitrification Facility; - Determine operational strategy required at IDF including shift schedules and sizes and the number of ILAW transporters that can support DFLAW throughput; - Identification of lag storage management strategies for glass formers, reagents, other consumables due to delivery distance and delays due to bad weather; and - Truck delivery badging needs to support 24/7 operation and management of shift in/out times required to reduce congestion. An Integrated DFLAW OR model has been developed and combines the standalone OR models such that integrated throughput and availability can be assessed from a program perspective. The Integrated OR model will provide a more detailed understanding of the interactions between Tank Farms, LAWPS, LAW VIT and IDF such that key bottleneck areas can be identified and ensure improvements are focused. Examples of future improvements that may be considered include identification of critical spare parts, required on-site maintenance capabilities, shift scheduling, and craft and labor availability. The methods, results and insights derived by DFLAW OR modeling efforts are expected to provide useful applications to other projects that involve combinations of mechanical handling, chemical processing, waste treatment/packaging or environmental remediation operations. (authors)