Search NASA⌕ Search

SEARCH · Search NASA

Results for “Value Model”

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 181 records · Page 10
All sourcesNASA NTRSDOE OSTI
NASA NTRS2010

Model Checking with Edge-Valued Decision Diagrams

We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library. We provide efficient algorithms for manipulating EVMDDs and review the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi- Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools. Compared to the CUDD package, our tool is several orders of magnitude faster

Roux, Pierre↗
NASA NTRS2010

Model-Checking with Edge-Valued Decision Diagrams

We describe an algebra of Edge-Valued Decision Diagrams (EVMDDs) to encode arithmetic functions and its implementation in a model checking library along with state-of-the-art algorithms for building the transition relation and the state space of discrete state systems. We provide efficient algorithms for manipulating EVMDDs and give upper bounds of the theoretical time complexity of these algorithms for all basic arithmetic and relational operators. We also demonstrate that the time complexity of the generic recursive algorithm for applying a binary operator on EVMDDs is no worse than that of Multi-Terminal Decision Diagrams. We have implemented a new symbolic model checker with the intention to represent in one formalism the best techniques available at the moment across a spectrum of existing tools: EVMDDs for encoding arithmetic expressions, identity-reduced MDDs for representing the transition relation, and the saturation algorithm for reachability analysis. We compare our new symbolic model checking EVMDD library with the widely used CUDD package and show that, in many cases, our tool is several orders of magnitude faster than CUDD.

Roux, Pierre↗
NASA NTRS2020

Static Loads Testing of a High Aspect Ratio Tow-Steered Wingbox

Static loads testing was performed on a 39-foot, high-aspect-ratio wingbox comprising carbon fiber tow-steered wing skins that were tailored for aircraft fuel efficiency under aeroelastic loads. The test article was designated the Passive Aeroelastic Tailored (PAT) wing. To date, the PAT wing, which has an aspect ratio of 13.5, is the largest wingbox designed and built to employ variably oriented carbon fibers along the span of the wing. During testing, distributed point loads were applied to the wingbox to simulate both -1g and 2.5g maneuver loads. To determine the wingbox’s flexural axis location, individual point loads were applied. The global response of the wing (displacement and rotation measurements) showed similar trends compared to the finite element model predictions, though discrepancies of up to 17% were observed when comparing actual values between model and test. It was concluded that the boundary conditions and nonstructural features of the wingbox were the likely cause of the inconsistencies. The local response of the wingbox (strain measurements), which was much less affected by factors unrelated to tow-steering, exhibited good agreement with the model predictions, validating the modelling techniques employed for tow-steered composites.

Tow-steered composites↗
DOE OSTI2024

Convergence in simulating global soil organic carbon by structurally different models after data assimilation

Abstract Current biogeochemical models produce carbon–climate feedback projections with large uncertainties, often attributed to their structural differences when simulating soil organic carbon (SOC) dynamics worldwide. However, choices of model parameter values that quantify the strength and represent properties of different soil carbon cycle processes could also contribute to model simulation uncertainties. Here, we demonstrate the critical role of using common observational data in reducing model uncertainty in estimates of global SOC storage. Two structurally different models featuring distinctive carbon pools, decomposition kinetics, and carbon transfer pathways simulate opposite global SOC distributions with their customary parameter values yet converge to similar results after being informed by the same global SOC database using a data assimilation approach. The converged spatial SOC simulations result from similar simulations in key model components such as carbon transfer efficiency, baseline decomposition rate, and environmental effects on carbon fluxes by these two models after data assimilation. Moreover, data assimilation results suggest equally effective simulations of SOC using models following either first‐order or Michaelis–Menten kinetics at the global scale. Nevertheless, a wider range of data with high‐quality control and assurance are needed to further constrain SOC dynamics simulations and reduce unconstrained parameters. New sets of data, such as microbial genomics‐function relationships, may also suggest novel structures to account for in future model development. Overall, our results highlight the importance of observational data in informing model development and constraining model predictions.

54 ENVIRONMENTAL SCIENCES↗
NASA NTRS2006

Modeling and Correcting the Time-Dependent ACS PSF

The ability to accurately measure the shapes of faint objects in images taken with the Advanced Camera for Surveys (ACS) on the Hubble Space Telescope (HST) depends upon detailed knowledge of the Point Spread Function (PSF). We show that thermal fluctuations cause the PSF of the ACS Wide Field Camera (WFC) to vary over time. We describe a modified version of the TinyTim PSF modeling software to create artificial grids of stars across the ACS field of view at a range of telescope focus values. These models closely resemble the stars in real ACS images. Using 10 bright stars in a real image, we have been able to measure HST s apparent focus at the time of the exposure. TinyTim can then be used to model the PSF at any position on the ACS field of view. This obviates the need for images of dense stellar fields at different focus values, or interpolation between the few observed stars. We show that residual differences between our TinyTim models and real data are likely due to the effects of Charge Transfer Efficiency (CTE) degradation. Furthermore, we discuss stochastic noise that is added to the shape of point sources when distortion is removed, and we present MultiDrizzle parameters that are optimal for weak lensing science. Specifically, we find that reducing the MultiDrizzle output pixel scale and choosing a Gaussian kernel significantly stabilizes the resulting PSF after image combination, while still eliminating cosmic rays/bad pixels, and correcting the large geometric distortion in the ACS. We discuss future plans, which include more detailed study of the effects of CTE degradation on object shapes and releasing our TinyTim models to the astronomical community.

Rhodes, Jason↗
NASA NTRS1992

Estimating new production in the equatorial Pacific Ocean at 150 deg W

A major goal of the WEC88 cruise of the R/V Wecoma to the equatorial Pacific (made in February-March 1988) was to establish rates of new production along a meridional section at 150 deg W and to compare these measured rates with the relatively high values for the equatorial Pacific that had been reported previously using indirect methods and models. Production values were obtained from the traditional approach using N-15 labeled nitrate uptake, and by using C-14 fixation values multiplied by f (proportion of new production) from various sources: from N-15 data, from a C-14 fixation-versus-f relationship, or from a nitrate-versus-f relationship. The ratios of directly measured nitrate and carbon uptake and the ratios of nitrate to nitrate plus ammonium uptake, i.e., values of f, agree well; values of f calculated from carbon uptake or from nitrate concentration are overestimates for the equatorial upwelling region. Carbon-to-nitrogen uptake ratios measured with C-14 and N-15, respectively, approximate the Redfield molar ratio, 6.6 C:N. The overall mean value of f (0.17) helps confirm the view that the low primary production in the enriched eastern equatorial Pacific is due to failure of the nitrate-uptake system.

Dugdale, Richard C.↗
NASA NTRS2000

BOREAS TE-4 Gas Exchange Data from Boreal Tree Species

The BOREAS TE-4 team collected steady-state gas exchange and reflectance data from several species in the BOREAS SSA during 1994 and in the NSA during 1996. Measurements of light, CO2, temperature, and humidity response curves were made by the BOREAS TE-4 team during the summers of 1994 and 1996 using intact attached leaves of boreal forest species located in the BOREAS SSA and NSA. These measurements were conducted to calibrate models used to predict photosynthesis, stomatal conductance, and leaf respiration. The 1994 and 1996 data can be used to construct plots of response functions or for parameterizing models. Parameter values are suitable for application in SiB2 (Sellers et al., 1996) or the leaf model of Collatz et al. (1991), and programs can be obtained from the investigators. The data are stored in tabular ASCII files. The data files are available on a CD-ROM (see document number 20010000884), or from the Oak Ridge National Laboratory (ORNL) Distributed Active Archive Center (DAAC).

Hall, Forrest G.↗
NASA NTRS2020

Thoracic Pressure Does Not Impact CSF Pressure via Compartment Compliance

Space acquired neuro-ocular syndrome (SANS) remains a difficult risk to characterize due to the complex multi-factorial etiology related to physiological responses to the spaceflight environment. Fluid shift and the resultant change on the Cardiovascular (CV) and cerebral spinal fluid systems (CSF) in the absence of gravity continue to be considered a contributing factor to the progression of SANS. In this study, we utilize a computational model of the CSF and CV interface to establish the sensitivity that intracranial pressure, and subsequently the optic nerve sheath pressure, exhibits due to variations in thoracic pressure, assuming the cranial perfusion pressure, i.e. mean arterial pressure (MAP) to central venous pressure (CVP), is known. Methods: The GRC Cross cutting computational modeling project created as model of the CSF and CV interaction within the cranial vault by extending the work of Stevens et al. [1] by modifying the representative anatomy to include a separate venous sinus, jugular veins, secondary veins and extra jugular pathways [2-3] to more adequately represent the vascular drainage pathways from the cranial vault (Figure 1). Assuming the MAP, CVP and thoracic pressure are known, we initiated this enhanced computational model assuming a supine positon and utilized a linear ramp to vary the thoracic pressure from the assumed supine state to the target pressure corresponding to set MAP and CVP values. The model generates the time based CSF pressure values (Figure2). Results and Conclusions: Following this analysis, CSF pressure shows significant independence from thoracic pressure changes (16 mmHg in thoracic pressure produces < 1mmHg change in CSF pressure), being mostly dependent on perfusion pressure. Similarly fluid redistribution is not predicted to be impacted over a level of 1mL. We note that this simulation represents an acute changes (order of 10's of minutes) and does not represent the long term effects.

Munster, Drayton W.↗
NASA NTRS1990

Noninteractive macroscopic reliability model for whisker-reinforced ceramic composites

Considerable research is underway in the field of material science focusing on incorporating silicon carbide whiskers into silicon nitride and alumina matrices. These composites show the requisite thermal stability and thermal shock resistance necessary for use as components in advanced gas turbines and heat exchangers. This paper presents a macroscopic noninteractive reliability model for whisker-reinforced ceramic composites. The theory is multiaxial and is applicable to composites that can be characterized as transversely isotropic. Enough processing data exists to suggest this idealization encompasses a significantly large class of fabricated components. A qualitative assessment of the model is made by presenting reliability surfaces in several different stress spaces and for different values of model parameters.

Duffy, Stephen F.↗
NASA NTRS2001

A Probabilistic Approach to Model Update

Finite element models are often developed for load validation, structural certification, response predictions, and to study alternate design concepts. In rare occasions, models developed with a nominal set of parameters agree with experimental data without the need to update parameter values. Today, model updating is generally heuristic and often performed by a skilled analyst with in-depth understanding of the model assumptions. Parameter uncertainties play a key role in understanding the model update problem and therefore probabilistic analysis tools, developed for reliability and risk analysis, may be used to incorporate uncertainty in the analysis. In this work, probability analysis (PA) tools are used to aid the parameter update task using experimental data and some basic knowledge of potential error sources. Discussed here is the first application of PA tools to update parameters of a finite element model for a composite wing structure. Static deflection data at six locations are used to update five parameters. It is shown that while prediction of individual response values may not be matched identically, the system response is significantly improved with moderate changes in parameter values.

Horta, Lucas G.↗
DOE OSTI2025

Model ages of three uranium metal CRMs and implications for radiochronometry data interpretation

In this study, we report 230 Th/ 234 U and 231 Pa/ 235 U model ages in three uranium metal certified reference materials with distinct production histories and isotopic compositions ranging from depleted to highly enriched (CRMs 112-A, 115, and 116-A). Here, our results provide the first model age values for these materials using multiple radiochronometers, which can be used as reference values for quality control of radiochronometry measurements performed during nuclear forensic investigations. Furthermore, we evaluate the model ages in the context of available production records for the materials, which provides insight into the processes that may impact radiochronometry systems during uranium metal production.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗
NASA NTRS1986

Modified superposition: A simple time series approach to closed-loop manual controller identification

Single-channel pilot manual control output in closed-tracking tasks is modeled in terms of linear discrete transfer functions which are parsimonious and guaranteed stable. The transfer functions are found by applying a modified super-position time series generation technique. A Levinson-Durbin algorithm is used to determine the filter which prewhitens the input and a projective (least squares) fit of pulse response estimates is used to guarantee identified model stability. Results from two case studies are compared to previous findings, where the source of data are relatively short data records, approximately 25 seconds long. Time delay effects and pilot seasonalities are discussed and analyzed. It is concluded that single-channel time series controller modeling is feasible on short records, and that it is important for the analyst to determine a criterion for best time domain fit which allows association of model parameter values, such as pure time delay, with actual physical and physiological constraints. The purpose of the modeling is thus paramount.

Biezad, D. J.↗
NASA NTRS1993

Modeling ice streams: Derived quantities

The model addressed is a finite-element, map-plane, time-dependent, column-averaged continuity equation solver. The key to the fitting process involves the balance between ice motion dominated by flow in internal layers, and ice motion dominated by sliding at the bed. The fitting process involves an iterative process carried out in the time domain. Beginning with the portion of the ice sheet being modeled identical to the present ice sheet with uniform flow, sliding, and fraction specified at nominal values, the model monitors each nodal point surface elevation. As the calculated surface elevation deviates from the present surface, a correction proportional to the difference is applied to selected parameter sets. This correction is in a sense that would tend to improve the fit at the particular nodal point. A calculated surface elevation that was higher than the present surface would result in an increased fraction, which would tend to lower the calculated surface (if the flow or sliding constant were being used as the fitting parameter, they would be lowered to improve the fit). This process is allowed to proceed as long as is necessary for the situation to stabilize. Typically, this takes tens of thousands of model years, but the rate is dependent on other external forcings such as the accumulation rate. The primary result is that while a typical sample of ice streams from around Antarctica can be fitted quite reasonably using only the fraction of the velocity due to sliding, a different mechanism seems to be in play along the Siple Coast, where reduced sliding constants are required to attain a reasonable fit. Flow is more strongly channelized in this region, and velocities are, in general, higher than are observed in other regions. It is unlikely that the mechanism that controls the ice movement along the Siple Coast is exactly similar to the mechanisms in the other ice streams. The concept of deformable sediments and their contribution to the fast flow along the Siple Coast may have limited applicability to other Antarctic ice streams.

Fastook, James↗
NASA NTRSDate not supplied

Off-Nominal Event Analysis in Autonomous Flights Based on Explainable Artificial Intelligence

A key objective in the Urban Air Mobility program at NASA is to intelligently perform an autonomous flight in a complex urban environment under all weather conditions with guaranteed levels of safety. To accomplish this, the mission manager (central decision-making module) of the vehicle needs to make informed decisions between various Courses of Action (CoA) based on its' interpretation of the inputs it receives. If an off-nominal event is detected either based on the amalgamation of sensor data or the use of machine learning models, the mission manager may greatly benefit from identification of the input features that most likely contributed to that specific event. Such an understanding is usually not possible to obtain from the classical machine learning models (deep learning) due to the inherent black box like structure. However, this understanding is achieved using eXplainable Artificial Intelligence (XAI) models that provide a human interpretable rationale for the predictions made. This work presents a game theory inspired XAI model for the off-nominal assessment of autonomous flights. The proposed approach based on Shapley values is model agnostic, provides local as well as global explanation and satisfies the four axioms (efficiency, symmetry, dummy, additivity) to achieve fair contribution. The versatility of the approach is first demonstrated on a simulated dataset in which the significance of each input to flight phase prediction is clearly identified. Subsequently, data from simulated flight trajectories are fed into the model which reveal the input features that most likely contributed to a rotor failure event thereby empowering the mission manager to take the appropriate CoA.

autonomy↗
NASA NTRSDate not supplied

Off-Nominal Event Analysis in Autonomous Flights Based on Explainable Artificial Intelligence

A key objective in the Urban Air Mobility program at NASA is to intelligently perform an autonomous flight in a complex urban environment under all weather conditions with guaranteed levels of safety. To accomplish this, the mission manager (central decision-making module) of the vehicle needs to make informed decisions between various Courses of Action (CoA) based on its' interpretation of the inputs it receives. If an off-nominal event is detected either based on the amalgamation of sensor data or the use of machine learning models, the mission manager may greatly benefit from identification of the input features that most likely contributed to that specific event. Such an understanding is usually not possible to obtain from the classical machine learning models (deep learning) due to the inherent black box like structure. However, this understanding is achieved using eXplainable Artificial Intelligence (XAI) models that provide a human interpretable rationale for the predictions made. This work presents a game theory inspired XAI model for the off-nominal assessment of autonomous flights. The proposed approach based on Shapley values is model agnostic, provides local as well as global explanation and satisfies the four axioms (efficiency, symmetry, dummy, additivity) to achieve fair contribution. The versatility of the approach is first demonstrated on a simulated dataset in which the significance of each input to flight phase prediction is clearly identified. Subsequently, data from simulated flight trajectories are fed into the model which reveal the input features that most likely contributed to a rotor failure event thereby empowering the mission manager to take the appropriate CoA.

autonomy↗
NASA NTRS2006

Model Intercomparison of Indirect Aerosol Effects

Modeled differences in predicted effects are increasingly used to help quantify the uncertainty of these effects. Here, we examine modeled differences in the aerosol indirect effect in a series of experiments that help to quantify how and why model-predicted aerosol indirect forcing varies between models. The experiments start with an experiment in which aerosol concentrations, the parameterization of droplet concentrations and the autoconversion scheme are all specified and end with an experiment that examines the predicted aerosol indirect forcing when only aerosol sources are specified. Although there are large differences in the predicted liquid water path among the models, the predicted aerosol first indirect effect for the first experiment is rather similar, about -0.6 W/sq m to -0.7 W/sq m. Changes to the autoconversion scheme can lead to large changes in the liquid water path of the models and to the response of the liquid water path to changes in aerosols. Adding an autoconversion scheme that depends on the droplet concentration caused a larger (negative) change in net outgoing shortwave radiation compared to the 1st indirect effect, and the increase varied from only 22% to more than a factor of three. The change in net shortwave forcing in the models due to varying the autoconversion scheme depends on the liquid water content of the clouds as well as their predicted droplet concentrations, and both increases and decreases in the net shortwave forcing can occur when autoconversion schemes are changed. The parameterization of cloud fraction within models is not sensitive to the aerosol concentration, and, therefore, the response of the modeled cloud fraction within the present models appears to be smaller than that which would be associated with model "noise". The prediction of aerosol concentrations, given a fixed set of sources, leads to some of the largest differences in the predicted aerosol indirect radiative forcing among the models, with values of cloud forcing ranging from -0.3 W/sq m to -1.4W/sq m. Thus, this aspect of modeling requires significant improvement in order to improve the prediction of aerosol indirect effects.

Penner, J. E.↗
NASA NTRS1988

Four-Dimensional Global Reference-Atmosphere Model

Four-Dimensional Global Reference Atmosphere Model (GRAM) computer program developed from empirical atmospheric model generating values for pressure, density, temperature, and winds, from ground to orbital altitudes. Is amalgamation of two empirical atmospheric models for low and high atmosphere with newly-developed latitude-and longitude-dependent model for middle atmosphere. UNIVAC version written in UNIVAC FORTRAN. DEC VAX version of GRAM written in FORTRAN 77. Applications include simulation of reentry trajectories of external tanks, studies of global circulation and diffusion and generation of plots or data for comparison.

Johnson, Dale↗
NASA NTRS1988

A comparison of experimental and theoretical results for labyrinth gas seals with honeycomb stators

Experimental results for the rotordynamic stiffness and damping coefficients of a labyrinth -rotor honeycomb-stator seal are presented. The coefficients are compared to the coefficients of a labyrinth-rotor smooth-stator seal having the same geometry. The coefficients are compared to analytical results from a two-control-volume compressible flow model. The experimental results show that the honeycomb stator configuration is more stable than the smooth stator configuration at low rotor speeds. At high rotor speeds and low clearance, the smooth stator seal is more stable. The theoretical model predicts the cross-coupled stiffness of the honeycomb stator seal correctly within 25 percent of measured values. The model provides accurate predictions of direct damping for large clearance seals. Overall, the model does not perform as well for low clearance seals as for high clearance seals.

Hawkins, Lawrence Allen↗