Search NASA⌕ Search

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.

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

At least 37 records · Page 2
All sourcesNASA NTRSDOE OSTI
NASA NTRS2014

Evolution of Software-Only-Simulation at NASA IV and V

Software-Only-Simulations have been an emerging but quickly developing field of study throughout NASA. The NASA Independent Verification Validation (IVV) Independent Test Capability (ITC) team has been rapidly building a collection of simulators for a wide range of NASA missions. ITC specializes in full end-to-end simulations that enable developers, VV personnel, and operators to test-as-you-fly. In four years, the team has delivered a wide variety of spacecraft simulations that have ranged from low complexity science missions such as the Global Precipitation Management (GPM) satellite and the Deep Space Climate Observatory (DSCOVR), to the extremely complex missions such as the James Webb Space Telescope (JWST) and Space Launch System (SLS).This paper describes the evolution of ITCs technologies and processes that have been utilized to design, implement, and deploy end-to-end simulation environments for various NASA missions. A comparison of mission simulators are discussed with focus on technology and lessons learned in complexity, hardware modeling, and continuous integration. The paper also describes the methods for executing the missions unmodified flight software binaries (not cross-compiled) for verification and validation activities.

Embedded↗
NASA NTRS1989

Prediction of full system helicopter noise for a MDHC 500E helicopter using the Rotonet program

The long-term goal of the NASA/U.S. helicopter industry program designated 'Rotonet' is the achievement of a helicopter noise signature-prediction capability on the basis of helicopter geometry and operating condition data. A prediction-validation data base is being compiled through flight testing of an MDHC 500E helicopter; the data base will encompass acoustic spectra, noise-level time histories, and effective perceived noise levels incorporating actual meteorological conditions and helicopter dynamics. An evaluation is made of the Rotonet system as currently defined, with a view to prospective developments.

Weir, D. S.↗
NASA NTRS1999

Flight Data Reduction of Wake Velocity Measurements Using an Instrumented OV-10 Airplane

A series of flight tests to measure the wake of a Lockheed C- 130 airplane and the accompanying atmospheric state have been conducted. A specially instrumented North American Rockwell OV-10 airplane was used to measure the wake and atmospheric conditions. An integrated database has been compiled for wake characterization and validation of wake vortex computational models. This paper describes the wake- measurement flight-data reduction process.

Vicroy, Dan D.↗
NASA NTRS1998

Recent NASA Wake-Vortex Flight Tests, Flow-Physics Database and Wake-Development Analysis

A series of flight tests over the ocean of a four engine turboprop airplane in the cruise configuration have provided a data set for improved understanding of wake vortex physics and atmospheric interaction. An integrated database has been compiled for wake characterization and validation of wake-vortex computational models. This paper describes the wake-vortex flight tests, the data processing, the database development and access, and results obtained from preliminary wake-characterization analysis using the data sets.

Vicroy, Dan D.↗
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.↗
DOE OSTI2026

Molten Halide Salt Surface Tension: Methods and Correlations

Here, this paper reviews various methods for studying surface tension and their applicability to fluoride and chloride molten salt systems, including a comparison of benefits and drawbacks. Such a comparison aids in experiment design based on desired factors such as scale, accuracy, and repeatability. A detailed review is presented for existing literature data regarding the surface tension of molten fluoride and chloride salts. These reference data were compiled and analyzed to determine cross-validated correlation equations for several alkali and alkaline earth fluoride and chloride salts as functions of temperature. These correlations are necessary for reliable multiphysics modeling approaches as well as accurate design and analysis of multiphase molten salt phenomena such as gas sparging and bubble formation/transport. This analysis supports the development of the thermophysical arm of the Molten Salt Thermal Properties Database (MSTDB-TP) managed by Oak Ridge National Laboratory.

Chloride↗
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↗
DOE OSTI2024

A Lake Biogeochemistry Model for Global Methane Emissions: Model Development, Site‐Level Validation, and Global Applicability

Abstract Lakes are important sentinels of climate change and may contribute over 30% of natural methane (CH 4 ) emissions; however, no earth system model (ESM) has represented lake CH 4 dynamics. To fill this gap, we refined a process‐based lake biogeochemical model to simulate global lake CH 4 emissions, including representation of lake bathymetry, oxic methane production (OMP), the effect of water level on ebullition, new non‐linear CH 4 oxidation kinetics, and the coupling of sediment carbon pools with in‐lake primary production and terrigenous carbon loadings. We compiled a lake CH 4 data set for model validation. The model shows promising performance in capturing the seasonal and inter‐annual variabilities of CH 4 emissions at 10 representative lakes for different lake types and the variations in mean annual CH 4 emissions among 106 lakes across the globe. The model reproduces the variations of the observed surface CH 4 diffusion and ebullition along the gradients of lake latitude, depth, and surface area. The results suggest that OMP could play an important role in surface CH 4 diffusion, and its relative importance is higher in less productive and/or deeper lakes. The model performance is improved for capturing CH 4 outgassing events in non‐floodplain lakes and the seasonal variability of CH 4 ebullition in floodplain lakes by representing the effect of water level on ebullition. The model can be integrated into ESMs to constrain global lake CH 4 emissions and climate‐CH 4 feedback.

54 ENVIRONMENTAL SCIENCES↗
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↗