Search NASA⌕ Search

SEARCH · Search NASA

Results for “Programming models”

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 451 records · Page 25
All sourcesNASA NTRSDOE OSTI
NASA NTRS2007

Model Checking Abstract PLEXIL Programs with SMART

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.

Siminiceanu, Radu I.↗
NASA NTRS1984

Postprocessing for the UCLA climate model

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.

Abeles, J.↗
NASA NTRS2000

A Solution Methodology and Computer Program to Efficiently Model Thermodynamic and Transport Coefficients of Mixtures

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.

Ferlemann, Paul G.↗
NASA NTRS1980

Exploratory studies of the cruise performance of upper surface blown configurations. Experimental program: Test facilities, model design instrumentation, and lowspeed, high-lift tests

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.

Braden, J. A.↗
NASA NTRS1980

Extended frequency turbofan model

The fan model was developed using two dimensional modeling techniques to add dynamic radial coupling between the core stream and the bypass stream of the fan. When incorporated into a complete TF-30 engine simulation, the fan model greatly improved compression system frequency response to planar inlet pressure disturbances up to 100 Hz. The improved simulation also matched engine stability limits at 15 Hz, whereas the one dimensional fan model required twice the inlet pressure amplitude to stall the simulation. With verification of the two dimensional fan model, this program formulated a high frequency F-100(3) engine simulation using row by row compression system characteristics. In addition to the F-100(3) remote splitter fan, the program modified the model fan characteristics to simulate a proximate splitter version of the F-100(3) engine.

Mason, J. R.↗
NASA NTRS1984

Manual of phosphoric acid fuel cell power plant cost model and computer program

Cost analysis of phosphoric acid fuel cell power plant includes two parts: a method for estimation of system capital costs, and an economic analysis which determines the levelized annual cost of operating the system used in the capital cost estimation. A FORTRAN computer has been developed for this cost analysis.

Lu, C. Y.↗
NASA NTRS1990

Computing Scattering Matrices For Circular Waveguides

Scattering Matrix Program for Circular Waveguide Junctions computes scattering matrix for series of circular waveguide sections. Sections must have same axis, but radius and length of each section completely arbitrary. Devices analyzed include simple waveguide step discontinuity like that used in a dual-mode horn, stepped matching section, or corrugated waveguide section with constant or varying slot depth. Certain types of corrugated horns also analyzed with program. Mathematical model used in program accurately predicts reflection and transmission characteristics of such devices, taking into account excitation of modes of higher order as well as multiple reflections and energy stored at each discontinuity. Written in FORTRAN 77.

Hoppe, Daniel J.↗
NASA NTRS2004

EOS Aqua AMSR-E Arctic Sea Ice Validation Program: Intercomparison Between Modeled and Measured Sea Ice Brightness Temperatures

During March 2003, an extensive field campaign was conducted near Barrow, Alaska to validate AQUA Advanced Microwave Scanning Radiometer (AMSR) sea ice products. Field, airborne and satellite data were collected over three different types of sea ice: 1) first year ice with little deformation, 2) first year ice with various amounts of deformation and 3) mixed first year ice and multi-year ice with various degrees of deformation. The validation plan relies primarily on comparisons between satellite, aircraft flights and ground-based measurements. Although these efforts are important, key aspects such as the effects of atmospheric conditions, snow properties, surface roughness, melt processes, etc on the sea ice algorithms are not sufficiently well understood or documented. To improve our understanding of these effects, we combined the detailed, in-situ data collection from the 2003 field campaign with radiance modeling using a radiative transfer model to simulate the top of the atmosphere AMSR brightness temperatures. This study reports on the results of the simulations for a variety of snow and ice types and compares the results with the National Oceanographic and Atmospheric Administration Environmental Technology Laboratory Polarimetric Scanning Radiometer (NOAA) (ETL) (PSR) microwave radiometer that was flown on the NASA P-3.

Stroeve, J.↗
NASA NTRS1984

A computer program for predicting nonlinear uniaxial material responses using viscoplastic models

A computer program was developed for predicting nonlinear uniaxial material responses using viscoplastic constitutive models. Four specific models, i.e., those due to Miller, Walker, Krieg-Swearengen-Rhode, and Robinson, are included. Any other unified model is easily implemented into the program in the form of subroutines. Analysis features include stress-strain cycling, creep response, stress relaxation, thermomechanical fatigue loop, or any combination of these responses. An outline is given on the theoretical background of uniaxial constitutive models, analysis procedure, and numerical integration methods for solving the nonlinear constitutive equations. In addition, a discussion on the computer program implementation is also given. Finally, seven numerical examples are included to demonstrate the versatility of the computer program developed.

Chang, T. Y.↗
NASA NTRS1978

A computer program to automatically generate state equations and macro-models

A computer program, PROSE, that produces nonlinear state equations from a simple topological description of an electrical or mechanical network is described. Unnecessary states are also automatically eliminated, so that a simplified terminal circuit model is obtained. The program also prints out the eigenvalues of a linearized system and the sensitivities of the eigenvalue of largest magnitude.

Garrett, S. J.↗
NASA NTRS2014

The NASA Commercial Crew Program (CCP) Shared Assurance Model for Safety

NASA established the Commercial Crew Program in order to provide human access to the International Space Station and low earth orbit via the commercial (nongovernmental) sector. A particular challenge to NASA is how to determine the commercial provider's transportation system complies with Programmatic safety requirements while at the same time allowing the provider the flexibility to demonstrate compliance. This will be accomplished through the use of Shared Assurance and Risk Based Assessment by NASA thus shifting more responsibility to the Provider. This model will be the focus of this presentation.

Programmatic safety requirements↗