Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems
No abstract available
real time operating system↗
SEARCH · Search NASA
Results for “Application 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.
Low global warming potential (GWP) refrigerant supermarket refrigeration system modeling and its application
As an environmentally friendly low global warming potential (GWP) refrigerant, Carbon dioxide (CO 2 ) has continuously gained popularity and research attention as alternative refrigerant for supermarket refrigeration system. In this paper, to fulfill the increasing need of accurate Low-GWP supermarket refrigeration models for development of supervisory level control and optimization strategies, a high fidelity model is developed for CO 2 transcritical supermarket refrigeration system which includes compressor rack of low temperature (LT) compressors and medium temperature (MT) compressors, air-cooled gas cooler, evaporator, expansion valves and other auxiliary equipment. A resistance-capacity model structure is proposed to simulate the display cases. Semi-thermodynamic models are proposed to estimate reciprocating compressors volumetric efficiency and power consumption. Furthermore the zone modeling approach is used for evaporator simulation, and air-cooled gas cooler is modeled with distributed modeling method. The expansion valve simulation is based on orifice flow model. To calibrate these models, both manufacture performance data and experimental data are used. The experiments are conducted with a full instrumental CO 2 supermarket refrigeration system installed in Oak Ridge National Lab Flexible Research Platform (FRP). The simulation model can predict the system performance, including power consumption, cooling capacity, mass flow rate, temperature, and pressure, with high accuracy (within ±4%) compared to experimental data. In addition, this developed model has been used to create the system optimum high side pressure for high side expansion valve control, and to generate wide operating range simulation data for developing the batter-equivalent commercial refrigeration system model which can be used in grid interactive control development.
32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
Development of a turbulence near-wall model and its application to separated and reattached flows
A numerical study is reported of flow and heat transfer in the separated and reattached flows created by an abrupt pipe expansion. In the study attention has been given primarily to the development of turbulence near-wall models based on the wall function. An efficient numerical method is also employed for the computation of high-velocity flows. The computed results are compared with experimental data obtained earlier. Generally, better results are obtained by employing the present near-wall models, and among them the three-layer model is superior to the two-layer one.
Amano, R. S.↗
Can We Trust Computational Modeling for Medical Applications?
Operations in extreme environments such as spaceflight pose human health risks that are currently not well understood and potentially unanticipated. In addition, there are limited clinical and research data to inform development and implementation of therapeutics for these unique health risks. In this light, NASA's Human Research Program (HRP) is leveraging biomedical computational models and simulations (M&S) to help inform, predict, assess and mitigate spaceflight health and performance risks, and enhance countermeasure development. To ensure that these M&S can be applied with confidence to the space environment, it is imperative to incorporate a rigorous verification, validation and credibility assessment (VV&C) processes to ensure that the computational tools are sufficiently reliable to answer questions within their intended use domain. In this presentation, we will discuss how NASA's Integrated Medical Model (IMM) and Digital Astronaut Project (DAP) have successfully adapted NASA's Standard for Models and Simulations, NASA-STD-7009 (7009) to achieve this goal. These VV&C methods are also being leveraged by organization such as the Food and Drug Administration (FDA), National Institute of Health (NIH) and the American Society of Mechanical Engineers (ASME) to establish new M&S VV&C standards and guidelines for healthcare applications. Similarly, we hope to provide some insight to the greater aerospace medicine community on how to develop and implement M&S with sufficient confidence to augment medical research and operations.
Mulugeta, Lealem↗
A distribution model for the aerial application of granular agricultural particles
A model is developed to predict the shape of the distribution of granular agricultural particles applied by aircraft. The particle is assumed to have a random size and shape and the model includes the effect of air resistance, distributor geometry and aircraft wake. General requirements for the maintenance of similarity of the distribution for scale model tests are derived and are addressed to the problem of a nongeneral drag law. It is shown that if the mean and variance of the particle diameter and density are scaled according to the scaling laws governing the system, the shape of the distribution will be preserved. Distributions are calculated numerically and show the effect of a random initial lateral position, particle size and drag coefficient. A listing of the computer code is included.
Fernandes, S. T.↗
Accounting for multi-dimensional dependencies among decision-makers within a generalized model framework: An application to understanding shared mobility service usage levels
Activity-travel choices of individuals are influenced by spatial dependency effects. As individuals interact and exchange information with, or observe the behaviors of, those in close proximity of themselves, they are likely to shape their behavioral choices accordingly. For this reason, econometric choice models that account for spatial dependency effects have been developed and applied in a number of fields, including transportation. However, spatial dependence models to date have largely defined the strength of association across behavioral units based on spatial or geographic proximity. In the current context of social media platforms and ubiquitous internet and mobile connectivity, the strength of associations among individuals is no longer solely dependent on spatial proximity. Rather, the strength of associations among individuals may be based on shared attitudes and preferences as well. In other words, behavioral choice models may benefit from defining dependency effects based on attitudinal constructs in addition to geographical constructs. In this paper, frequency of usage of car-sharing and ride-hailing services is modeled using a generalized heterogeneous data model (GHDM) framework that incorporates multi-dimensional dependencies among decision-makers. The model system is estimated on the 2014-2015 Puget Sound Regional Travel Study survey sample, with proximity in latent attitudinal constructs defined by a number of personality trait variables. Model estimation results show that social dependency effects arising from similarities in attitudes and preferences are significant in explaining shared mobility service usage. Ignoring such effects may lead to erroneous estimates of the adoption and usage of future transportation technologies and mobility services.
33 ADVANCED PROPULSION SYSTEMS↗
Thorium concentrations in the lunar surface. II - Deconvolution modeling and its application to the regions of Aristarchus and Mare Smythii
The broad angular response which characterized the Apollo gamma ray spectrometer resulted in a loss of spatial resolution and some of the contrast in determining surface concentrations within lunar regions small compared to the field of view. A deconvolution technique has been developed which removes much of this instrumental effect, thereby improving both spatial resolution and accuracy at the cost of a loss in precision. Geometric models of regional thorium distribution are convoluted through the response function of the instrument to yield a predicted distribution which is compared with the observed data field for quality of fit. Application to areas which include Aristarchus and Mare Smythii confirm some geological relationships and fail to support others.
Haines, E. L.↗
APPLICATION OF MATURITY MODELS FOR EVALUATING CYBERSECURITY PROGRAMS AT NUCLEAR AND RADIOLOGICAL FACILITIES
Maturity models can be used to provide government agencies, industry associations, and organizations operating nuclear facilities with the ability to quickly evaluate the maturity of their cybersecurity programs and identify areas to prioritize for improvement. The Cybersecurity Capability Maturity Model (C2M2) was developed by the U.S. Department of Energy to allow organizations in the energy sector to evaluate the programmatic capabilities of their cybersecurity programs in a consistent manner, communicate programmatic maturity information, prioritize cybersecurity investments in targeted areas of concern, and track how the maturity of their cybersecurity program evolves over time. The C2M2 is designed for use by any critical infrastructure organization regardless of ownership, structure, or size. The C2M2 can be easily fine-tuned to access the maturity of nuclear cybersecurity programs and their application at individual facilities. Built on a foundation of existing cybersecurity standards, frameworks, programs, and initiatives, the model features 10 security domains. Performance in each security domain is characterized using a structured set of cybersecurity practices that represent activities an organization can perform to improve cybersecurity in their domain. Each practice can be quickly evaluated as being either fully, largely, partially, or not implemented. Once practices are evaluated for each security domain, the model defines four maturity indicator levels that apply independently to each domain in the model. To earn a maturity level in a given domain, an organization must adequately perform all the practices for that maturity level and its predecessor level(s). A small assessment team can conduct a C2M2 assessment in a single day. A screening version of the C2M2 allows an initial look at the maturity of nuclear cybersecurity programs that could be completed in under an hour.
Cyber security, Nuclear security, maturity model↗
NASA's Earth Observations Commercialization Applications Program: A model for government promotion of commercial space opportunities
The role of government in promoting space commerce is a topic of discussion in every spacefaring nation. This article describes a new approach to government intervention which, based on its five-year track record, appears to have met with success. The approach, developed in NASA's Earth Observations Commercialization Application Program (EOCAP), offer several lessons for effective government sponsorship of commercial space development in general and of commercial remote sensing in particular.
Macauley, Molly K.↗
Implementation of an extensible property modeling framework in ESPEI with applications to molar volume and elastic stiffness models
Property models are becoming more widely adopted by commercial Calphad databases, but they are not nearly as common in non-commercial or traditional academic Calphad databases. A primary driver is that user-friendly Calphad modeling tools that support property models are not widely available. Here we present new property modeling capabilities that have been implemented in ESPEI (the Extensible, Self-optimizing Phase Equilibrium Infrastructure). These capabilities include both generating property model parameters from data and improvements to the algorithmic selection of the most appropriate model from a series of candidates. Additionally, two illustrative examples are given that use ESPEI to fit different property models. First, we generate molar volume model parameters for Group IV, V, and VI refractory BCC alloys based on the model by Lu et al. (2005). Second, we demonstrate the extensibility of ESPEI’s property modeling capabilities by implementing a custom PyCalphad model for BCC elastic stiffness parameters to generate and compare parameters to the ones assessed by Marker et al. (2018) using the same data. Property models generated by ESPEI can be used in PyCalphad or further optimized with uncertainty quantification using ESPEI.
36 MATERIALS SCIENCE↗
Coupled Ocean Wave-Atmosphere Models for Offshore Wind Energy Applications
Coupling ocean wave models to mesoscale atmospheric models is necessary to represent the effect of waves on wind turbine hub-height winds. In this report we provide a review of the most widely used ocean waves models and the phased-averaged spectral wave modeling paradigm that they are based on. Methodologies used to couple these wave models to mesoscale atmospheric models are described along with details of existing coupled modeling systems. We summarize impacts on offshore wind resource assessments that have been investigated with such coupled modeling systems to-date. Specifically, coupling in the North and Baltic Seas was shown to have a small negative effect on the offshore wind energy resource at weak-to-moderate wind speeds, with little impact at higher wind speeds. Finally, limitations of these existing coupled modeling systems and impact assessments are discussed, including examples of and the potential for improved parameterizations of the air-sea fluxes, and the use of fine-scaled simulations using phased-resolved wave models.
17 WIND ENERGY↗
A study of hydrogen diffusion flames using PDF turbulence model
The application of probability density function (pdf) turbulence models is addressed in this work. For the purpose of accurate prediction of turbulent combustion, an algorithm that combines a conventional CFD flow solver with the Monte Carlo simulation of the pdf evolution equation has been developed. The algorithm has been validated using experimental data for a heated turbulent plane jet. The study of H2-F2 diffusion flames has been carried out using this algorithm. Numerical results compared favorably with experimental data. The computuations show that the flame center shifts as the equivalence ratio changes, and that for the same equivalence ratio, similarity solutions for flames exist.
Hsu, Andrew T.↗
A study of hydrogen diffusion flames using PDF turbulence model
The application of probability density function (pdf) turbulence models is addressed. For the purpose of accurate prediction of turbulent combustion, an algorithm that combines a conventional computational fluid dynamic (CFD) flow solver with the Monte Carlo simulation of the pdf evolution equation was developed. The algorithm was validated using experimental data for a heated turbulent plane jet. The study of H2-F2 diffusion flames was carried out using this algorithm. Numerical results compared favorably with experimental data. The computations show that the flame center shifts as the equivalence ratio changes, and that for the same equivalence ratio, similarity solutions for flames exist.
Hsu, Andrew T.↗
Applications of flow models to the generation of correlated lattice QCD ensembles
Machine-learned normalizing flows can be used in the context of lattice quantum field theory to generate statistically correlated ensembles of lattice gauge fields at different action parameters. This work demonstrates how these correlations can be exploited for variance reduction in the computation of observables. Three different proof-of-concept applications are demonstrated using a novel residual flow architecture: continuum limits of gauge theories, the mass dependence of QCD observables, and hadronic matrix elements based on the Feynman–Hellmann approach. In all three cases, it is shown that statistical uncertainties are significantly reduced when machine-learned flows are incorporated as compared with the same calculations performed with uncorrelated ensembles or direct reweighting. Published by the American Physical Society 2024
72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
Comparison and Application of Battery Modeling Methods for Conceptual Electric Aircraft
Growing interest in design and optimization of electrified aircraft propulsion concepts prompts the need for accurate, flexible, and efficient methods to model battery systems. Presented in this paper are three battery modeling methods that have been used at NASA’s Glenn Research Center, each representing different mathematical or electrical approaches. Thévenin equivalent circuit, normalization, and curve-fitting methods are compared against battery cell test data for the X-57 Maxwell electric aircraft technology demonstrator. The methods are then applied in a simple multidisciplinary optimization context using NASA’s Six-Passenger Electric Quadrotor concept to determine their applicability and performance. The normalization method achieves the highest accuracy for steady and unsteady discharge rates with a voltage mean error percentage of 0.423% and 1.186%, respectively. Optimal quadrotor mission range between the models varies up to 0.5 nmi, identifying current battery modeling methods as a potentially significant contributor to mission analysis error. A set of relevant tools and techniques for conceptual battery modeling are identified in this paper, with conclusions made on the utility of each modeling approach for various design challenges.
power↗
Addressing CFM Modeling Gaps for Application into NASA’S Future Cutting Edge Missions
NASA, the US industry, and international partners are crafting frameworks to enable sustaining lunar missions. The ongoing programs, led by the agency, and prominent industry players, encompass plans for the sustained use of cryogenic propellants in lunar landers and in-space propellant refueling depots. NASA’s proactive funding initiatives have fueled the advancement of predictive computational models tailored to enhance the storage and transfer of cryogenic propellant. This paper aims to spotlight the latest advancements in this arena and delve into the collaborative efforts surrounding predictive model development within internal NASA programs as well as current and previous collaborations with industry and international partners. The paper presents an overview of recent advancements in cryogenic fluid management model development, along with their correlation with recent microgravity and large-scale cryogenic ground tests. The tests include key experiments such as the ISS Zero-Boil-Off Tank (ZBOT) series of experiments and the (Robotic Refueling Mission 3) RRM3 test during which liquid methane was stored on-orbit for an extended period of five months. The paper also highlights the anchoring of propellant tank pressurized drain tests involving sloshing that were conducted with liquid methane propellant during the Apollo/Saturn Era. Additionally, the paper discusses model anchoring against more recent sloshing tests carried out with liquid hydrogen propellant. Notable large-scale tests, such as a liquid oxygen propellant transfer test conducted by SpaceX were also used to help correlate a two-phase propellant transfer model using the valuable data measured during the test. The paper further showcases model correlations against a substantial oxygen liquefaction test undertaken by NASA to validate In-Situ-Resource-Utilization (ISRU) technologies that will prove pivotal for a sustained lunar presence.
Low-gravity fluid modeling↗
A new large-scale suspended sediment model and its application over the United States
Abstract. Suspended sediment plays a vital role in the regional and global cycling of carbon and nutrients by carrying carbon and nutrients from headwaters into lowland rivers and the oceans. Sediment transport through river systems is often fundamentally modified by human activities such as reservoir management. However, a physically based representation of sediment transport is still missing in most existing Earth system models (ESMs), which are essential tools for modeling and predicting Earth system changes. Here, we introduce a multi-process river sediment module for ESMs, which includes (1) hillslope soil erosion and sediment discharge into streams, (2) sediment transport processes through river networks, (3) reservoir operation based on the inflows from upstream areas and water demand from downstream areas, and (4) sediment trapping by reservoirs. All model parameters are estimated a priori without calibration. We apply this new sediment modeling framework to the contiguous United States and validate it against historical observations of monthly streamflow and sediment discharges at 35 river gauges. The model reasonably well captures the long-term balance and seasonal variations of suspended sediment in large river systems. Furthermore, our model results show that suspended sediment discharge in managed rivers is affected more by reservoirs' direct trapping of sediment particles than by their flow regulation. This new sediment module enables future modeling of the transportation and transformation of carbon and nutrients carried by the fine sediment along the river–ocean continuum to close the global carbon and nutrient cycles.
54 ENVIRONMENTAL SCIENCES↗
A Monte Carlo/response surface strategy for sensitivity analysis: application to a dynamic model of vegetative plant growth
We describe the application of a strategy for conducting a sensitivity analysis for a complex dynamic model. The procedure involves preliminary screening of parameter sensitivities by numerical estimation of linear sensitivity coefficients, followed by generation of a response surface based on Monte Carlo simulation. Application is to a physiological model of the vegetative growth of soybean plants. The analysis provides insights as to the relative importance of certain physiological processes in controlling plant growth. Advantages and disadvantages of the strategy are discussed.
Non-NASA Center↗