SEARCH · Search NASA

Results for “Compiler Validation”

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 37 records · Page 2

All sources NASA NTRS DOE OSTI

NASA NTRS2018

Improved Hydrology over Peatlands in a Global Land Modeling System

Peatlands of the Northern Hemisphere represent an important carbon pool that mainly accumulated since the last ice age under permanently wet conditions in specific geological and climatic settings. The carbon balance of peatlands is closely coupled to water table dynamics. Consequently, the future carbon balance over peatlands is strongly dependent on how hydrology in peatlands will react to changing boundary conditions, e.g. due to climate change or regional water level drawdown of connected aquifers or streams. Global land surface modeling over organic-rich regions can provide valuable global-scale insights on where and how peatlands are in transition due to changing boundary conditions. However, the current global land surface models are not able to reproduce typical hydrological dynamics in peatlands well. We implemented specific structural and parametric changes to account for key hydrological characteristics of peatlands into NASA's GEOS-5 Catchment Land Surface Model (CLSM, Koster et al. 2000). The main modifications pertain to the modeling of partial inundation, and the definition of peatland-specific runoff and evapotranspiration schemes. We ran a set of simulations on a high performance cluster using different CLSM configurations and validated the results with a newly compiled global in-situ dataset of water table depths in peatlands. The results demonstrate that an update of soil hydraulic properties for peat soils alone does not improve the performance of CLSM over peatlands. However, structural model changes for peatlands are able to improve the skill metrics for water table depth. The validation results for the water table depth indicate a reduction of the bias from 2.5 to 0.2 m, and an improvement of the temporal correlation coefficient from 0.5 to 0.65, and from 0.4 to 0.55 for the anomalies. Our validation data set includes both bogs (rain-fed) and fens (ground and/or surface water influence) and reveals that the metrics improved less for fens. In addition, a comparison of evapotranspiration and soil moisture estimates over peatlands will be presented, albeit only with limited ground-based validation data. We will discuss strengths and weaknesses of the new model by focusing on time series of specific validation sites.

Bechtold, M.↗

NASA NTRS1981

The mineralogy of global magnetic anomalies

Progress is reported in developing predictive abilities to evaluate the potential stabilities of magnetic minerals in the Earth crust and mantle by: (1) computing oxidation state profiling as a function of temperature and pressure; (2) compiling data on basalts to establish validity of the oxidation state profiles; (3) determining Fe-Ni alloys in association with magnetitie as a function of temperature and oxidation state; and (4) acquiring large chemical data banks on the mineral ilmenite which decomposes to mineral spinel in the presence of high sulfur or carbonate environments in the lower crust upper mantle. In addition to acquiring these data which are related to constraining Curie isotherm depths, an excellent correlation was found between MAGSAT anomaly data and the geology of West Africa.

Haggerty, S. E.↗

NASA NTRS1992

A database of aerothermal measurements in hypersonic flow for CFD validation

This paper presents an experimental database selected and compiled from aerothermal measurements obtained on basic model configurations on which fundamental flow phenomena could be most easily examined. The experimental studies were conducted in hypersonic flows in 48-inch, 96-inch, and 6-foot shock tunnels. A special computer program was constructed to provide easy access to the measurements in the database as well as the means to plot the measurements and compare them with imported data. The database contains tabulations of model configurations, freestream conditions, and measurements of heat transfer, pressure, and skin friction for each of the studies selected for inclusion. The first segment contains measurements in laminar flow emphasizing shock-wave boundary-layer interaction. In the second segment, measurements in transitional flows over flat plates and cones are given. The third segment comprises measurements in regions of shock-wave/turbulent-boundary-layer interactions. Studies of the effects of surface roughness of nosetips and conical afterbodies are presented in the fourth segment of the database. Detailed measurements in regions of shock/shock boundary layer interaction are contained in the fifth segment. Measurements in regions of wall jet and transpiration cooling are presented in the final two segments.

Holden, M. S.↗

NASA NTRS1970

Evaluation of nonmetallic thermal protection materials for the manned space shuttle. Volume 1, task 1: Assessment of technical risks associated with utilization of nonmetallic thermal protection system

Technical problems of design and flight qualification of the proposed classes of surface insulation materials and leading edge materials were reviewed. A screening test plan, a preliminary design data test plan and a design data test plan were outlined. This program defined the apparent critical differences between the surface insulators and the leading edge materials, structuring specialized screening test plans for each of these two classes of materials. Unique testing techniques were shown to be important in evaluating the structural interaction aspects of the surface insulators and a separate task was defined to validate the test plan. In addition, a compilation was made of available information on proposed material (including metallic TPS), previous shuttle programs, pertinent test procedures, and other national programs of merit. This material was collected and summarized in an informally structured workbook.

Wilkinson, W. H.↗

NASA NTRS2021

Computational Fluid Dynamics Simulations of the Transonic Dynamics Tunnel Airstream Oscillator System

This paper presents computational fluid dynamics simulations of the flow in the NASA Langley Research Center Transonic Dynamics Tunnel (TDT) with the airstream oscillator system (AOS) in operation. Test section flow angle can be modulated using sinusoidally oscillating vanes which are located in pairs within the contraction section of the tunnel circuit. A compilation of previously published experimental data for validation has been reviewed that contains hot-wire anemometer and fast-response probe data acquired in an empty test section with the vanes oscillating in-phase and out-of-phase. These experimental data have not previously been compared with computational results. The present results provide an opportunity for validation of the simulations of the sinusoidal AOS flow field in the TDT test section. Computed tunnel centerline, lateral and cross-section contour data of flow angle and vorticity show that resolving the vane tip vortex is critical to accurately predicting the test section center flow angle. The computed results show, as do the experimental data, what appears to be a resonance at higher frequencies. It is currently not known what is the cause of that resonance. Further refinement of the mesh is expected to improve the comparisons with experimental data

Robert E Bartels↗

NASA NTRS1982

Photogrammetry of the Viking Lander imagery

The problem of photogrammetric mapping which uses Viking Lander photography as its basis is solved in two ways: (1) by converting the azimuth and elevation scanning imagery to the equivalent of a frame picture, using computerized rectification; and (2) by interfacing a high-speed, general-purpose computer to the analytical plotter employed, so that all correction computations can be performed in real time during the model-orientation and map-compilation process. Both the efficiency of the Viking Lander cameras and the validity of the rectification method have been established by a series of pre-mission tests which compared the accuracy of terrestrial maps compiled by this method with maps made from aerial photographs. In addition, 1:10-scale topographic maps of Viking Lander sites 1 and 2 having a contour interval of 1.0 cm have been made to test the rectification method.

Wu, S. S. C.↗

NASA NTRS2022

A Compilation of Global Bio-Optical in Situ Data for Ocean Colour Satellite Applications – Version Three

A global in situ data set for validation of ocean colour products from the ESA Ocean Colour Climate Change Initiative (OC-CCI) is presented. This version of the compilation, starting in 1997, now extends to 2021, which is important for the validation of the most recent satellite optical sensors such as Sentinel 3B OLCI and NOAA-20 VIIRS. The data set comprises in situ observations of the following variables: spectral remote-sensing reflectance, concentration of chlorophyll-a, spectral inherent optical properties, spectral diffuse attenuation coefficient, and total suspended matter. Data were obtained from multi-project archives acquired via open internet services or from individual projects acquired directly from data providers. Methodologies were implemented for homogenization, quality control, and merging of all data. Minimal changes were made on the original data, other than conversion to a standard format, elimination of some points, after quality control and averaging of observations that were close in time and space. The result is a merged table available in text format. Overall, the size of the data set grew with 148 432 rows, with each row representing a unique station in space and time (cf. 136 250 rows in previous version; Valente et al., 2019). Observations of remote-sensing reflectance increased to 68 641 (cf. 59 781 in previous version; Valente et al., 2019). There was also a near tenfold increase in chlorophyll data since 2016. Metadata of each in situ measurement (original source, cruise or experiment, principal investigator) are included in the final table. By making the metadata available, provenance is better documented and it is also possible to analyse each set of data separately.

ocean color↗

NASA NTRS2020

Simulating the Benesov Bolide Flowfield and Spectrum at Altitudes of 47 and 57 km

This paper develops a computational fluid dynamics capability for simulating the radiative emission from a meteor shock-layer and wake to an external observer. The developed capability includes the impact of radiation and ablation on the meteor flowfield, where coupled radiation accounts for the impact of radiation on the flowfield energy equations and coupled ablation accounts for the injection of ablation species from the meteoroid surface into the ow. This capability includes updated flowfield chemistry and nonequilibrium radiation models, which are compiled from the literature. To provide a level of validation for this capability, the Benesov spectral measurements are considered. Although the meteoroid was likely fragmented at the 47 and 57 km altitudes considered, and the measurement uncertainty is roughly ±50%, these measurements represent the best available spectral measurements for a relatively large (meter-class) bolide. To determine the equivalent meteoroid diameter to simulate, the continuum component of the spectrum in the 570 to 610 nm range is considered. This range is dominated by air emission from the high pressure and temperature shock-layer in front of the meteoroid, which is simulated with a relatively small uncertainty (because of the abundance of relevant shock tube measurements) and sensitive to the equivalent meteoroid diameter. This allows an equivalent diameter between 0.62 to 0.9 m to be determined, based on comparisons between measurements and simulations in the 570 to 610 nm range. The range of equivalent diameters is due to the various meteoroid geometries considered, where increasing the bluntness decreases the required diameter. Applying these diameters to simulations at 47 and 57 km results in simulated spectra that compare within 30% of the measured values, considering the wavelength integrated values between 400 and 650 nm. This agreement is well within the estimated measurement uncertainty of ±50%. All major spectral features are captured by the simulations. This agreement provides a level of validation for the developed model that has not been previously available.

Luminous efficiency↗

NASA NTRS1983

The great solar anomaly ca. 1780-1800 - An error in compiling the record

The view that the sunspot index time sequence is of lessened validity prior to about 1850 is shown to be consistent with an error in the 1780-1800 time period when phase, offset of the Hale carrier sinusoid from zero mean, and the amplitude modulation envelope all show a lack of conformity with respect to the remainder of the record subsequent to the Maunder minimum. This lack of conformity is consistent with an error that delays one or more of the 11-year cycle minima but recovers phase subsequently. This type of error creates a strongly coherent set of companion changes in offset of the carrier from zero mean and in the amplitude modulation envelope.

Sonett, C. P.↗

NASA NTRS1997

A Comparison of PETSC Library and HPF Implementations of an Archetypal PDE Computation

Two paradigms for distributed-memory parallel computation that free the application programmer from the details of message passing are compared for an archetypal structured scientific computation a nonlinear, structured-grid partial differential equation boundary value problem using the same algorithm on the same hardware. Both paradigms, parallel libraries represented by Argonne's PETSC, and parallel languages represented by the Portland Group's HPF, are found to be easy to use for this problem class, and both are reasonably effective in exploiting concurrency after a short learning curve. The level of involvement required by the application programmer under either paradigm includes specification of the data partitioning (corresponding to a geometrically simple decomposition of the domain of the PDE). Programming in SPAM style for the PETSC library requires writing the routines that discretize the PDE and its Jacobian, managing subdomain-to-processor mappings (affine global- to-local index mappings), and interfacing to library solver routines. Programming for HPF requires a complete sequential implementation of the same algorithm, introducing concurrency through subdomain blocking (an effort similar to the index mapping), and modest experimentation with rewriting loops to elucidate to the compiler the latent concurrency. Correctness and scalability are cross-validated on up to 32 nodes of an IBM SP2.

Hayder, M. Ehtesham↗

NASA NTRS2005

Initial Kernel Timing Using a Simple PIM Performance Model

This presentation will describe some initial results of paper-and-pencil studies of 4 or 5 application kernels applied to a processor-in-memory (PIM) system roughly similar to the Cascade Lightweight Processor (LWP). The application kernels are: * Linked list traversal * Sun of leaf nodes on a tree * Bitonic sort * Vector sum * Gaussian elimination The intent of this work is to guide and validate work on the Cascade project in the areas of compilers, simulators, and languages. We will first discuss the generic PIM structure. Then, we will explain the concepts needed to program a parallel PIM system (locality, threads, parcels). Next, we will present a simple PIM performance model that will be used in the remainder of the presentation. For each kernel, we will then present a set of codes, including codes for a single PIM node, and codes for multiple PIM nodes that move data to threads and move threads to data. These codes are written at a fairly low level, between assembly and C, but much closer to C than to assembly. For each code, we will present some hand-drafted timing forecasts, based on the simple PIM performance model. Finally, we will conclude by discussing what we have learned from this work, including what programming styles seem to work best, from the point-of-view of both expressiveness and performance.

BRIEFING CHARTS↗

NASA NTRS2017

Automated Analysis of Stateflow Models

Stateflow is a widely used modeling framework for embedded and cyber physical systems where control software interacts with physical processes. In this work, we present a framework a fully automated safety verification technique for Stateflow models. Our approach is two-folded: (i) we faithfully compile Stateflow models into hierarchical state machines, and (ii) we use automated logic-based verification engine to decide the validity of safety properties. The starting point of our approach is a denotational semantics of State flow. We propose a compilation process using continuation-passing style (CPS) denotational semantics. Our compilation technique preserves the structural and modal behavior of the system. The overall approach is implemented as an open source toolbox that can be integrated into the existing Mathworks Simulink Stateflow modeling framework. We present preliminary experimental evaluations that illustrate the effectiveness of our approach in code generation and safety verification of industrial scale Stateflow models.

Stateflow↗

NASA NTRS1995

Computer program BL2D for solving two-dimensional and axisymmetric boundary layers

This report presents the formulation, validation, and user's manual for the computer program BL2D. The program is a fourth-order-accurate solution scheme for solving two-dimensional or axisymmetric boundary layers in speed regimes that range from low subsonic to hypersonic Mach numbers. A basic implementation of the transition zone and turbulence modeling is also included. The code is a result of many improvements made to the program VGBLP, which is described in NASA TM-83207 (February 1982), and can effectively supersede it. The code BL2D is designed to be modular, user-friendly, and portable to any machine with a standard fortran77 compiler. The report contains the new formulation adopted and the details of its implementation. Five validation cases are presented. A detailed user's manual with the input format description and instructions for running the code is included. Adequate information is presented in the report to enable the user to modify or customize the code for specific applications.

Iyer, Venkit↗

NASA NTRS2011

International Space Station Passive Thermal Control System Analysis, Top Ten Lessons-Learned

The International Space Station (ISS) has been on-orbit for over 10 years, and there have been numerous technical challenges along the way from design to assembly to on-orbit anomalies and repairs. The Passive Thermal Control System (PTCS) management team has been a key player in successfully dealing with these challenges. The PTCS team performs thermal analysis in support of design and verification, launch and assembly constraints, integration, sustaining engineering, failure response, and model validation. This analysis is a significant body of work and provides a unique opportunity to compile a wealth of real world engineering and analysis knowledge and the corresponding lessons-learned. The analysis lessons encompass the full life cycle of flight hardware from design to on-orbit performance and sustaining engineering. These lessons can provide significant insight for new projects and programs. Key areas to be presented include thermal model fidelity, verification methods, analysis uncertainty, and operations support.

Iovine, John↗

NASA NTRS2018

International Space Station Passive Thermal Control System Top Ten Lessons-Learned

Final document not an Abstract attached. The International Space Station (ISS) has been on-orbit for nearly 20 years, and there have been numerous technical challenges along the way from design to assembly to on-orbit anomalies and repairs. The Passive Thermal Control System (PTCS) management team has been a key player in successfully dealing with these challenges. The PTCS team performs thermal analysis in support of design and verification, launch and assembly constraints, integration, sustaining engineering, failure response, and model validation. This analysis is a significant body of work and provides a unique opportunity to compile a wealth of real world engineering and analysis knowledge and the corresponding lessons-learned. The PTCS lessons encompass the full life cycle of flight hardware from design to on-orbit performance and sustaining engineering. These lessons can provide significant insight for new projects and programs. Key areas to be presented include thermal model fidelity, verification methods, analysis uncertainty, and operations support.

Iovine, John V.↗

NASA NTRS2018

International Space Station Passive Thermal Control System Top Ten Lessons-Learned

Iovine, John V.↗

NASA NTRS1981

Forecast of future aviation fuels: The model

A conceptual models of the commercial air transportation industry is developed which can be used to predict trends in economics, demand, and consumption. The methodology is based on digraph theory, which considers the interaction of variables and propagation of changes. Air transportation economics are treated by examination of major variables, their relationships, historic trends, and calculation of regression coefficients. A description of the modeling technique and a compilation of historic airline industry statistics used to determine interaction coefficients are included. Results of model validations show negligible difference between actual and projected values over the twenty-eight year period of 1959 to 1976. A limited application of the method presents forecasts of air tranportation industry demand, growth, revenue, costs, and fuel consumption to 2020 for two scenarios of future economic growth and energy consumption.

Ayati, M. B.↗

NASA NTRS2015

Evidence Report: Risk of Acute and Late Central Nervous System Effects from Radiation Exposure

Possible acute and late risks to the central nervous system (CNS) from galactic cosmic rays (GCR) and solar particle events (SPE) are a documented concern for human exploration of space. Acute CNS risks include: altered cognitive function, reduced motor function, and behavioral changes, all of which may affect performance and human health. Late CNS risks include neurological disorders such as Alzheimer's disease (AD), dementia and premature aging. Although detrimental CNS changes are observed in humans treated with high-dose radiation (e.g., gamma rays and protons) for cancer and are supported by experimental evidence showing neurocognitive and behavioral effects in animal models, the significance of these results on the morbidity to astronauts has not been elucidated. There is a lack of human epidemiology data on which to base CNS risk estimates; therefore, risk projection based on scaling to human data, as done for cancer risk, is not possible for CNS risks. Research specific to the spaceflight environment using animal and cell models must be compiled to quantify the magnitude of CNS changes in order to estimate this risk and to establish validity of the current permissible exposure limits (PELs). In addition, the impact of radiation exposure in combination with individual sensitivity or other space flight factors, as well as assessment of the need for biological/pharmaceutical countermeasures, will be considered after further definition of CNS risk occurs.

Nelson, Gregory A.↗