Results for “simulation framework” — Page 34

NASA NTRSDate not supplied

The Ten Lockheed Martin Cyber-Physical Challenges: Formalized, Analyzed, and Explained

Capturing and analyzing requirements of Cyber-Physical Systems (CPS) can be challenging, since CPS models typically involve time-varying and real-valued variables, physical system dynamics, or even adaptive behavior. MATLAB/Simulinkis a development and simulation framework that is widely used in industry to capture such systems. In this paper, we report on the application of NASA Ames tools to perform end-to-end analysis of the Ten Lockheed Martin Challenge Problems (LMCPS). LMCPS is a set of industrial Simulink model benchmarks and natural language requirements developed by domain experts. Our framework, which integrates the tools FRET and COCOSIM, is used to: 1) elicit, explain, and formalize the semantics of the given natural language requirements; 2) generate verification code and monitors that can be automatically attached to the Simulink models; 3) perform verification by using SMT-based model checkers. FRET and COCOSIM are open source, and can be used by other researchers and practitioners to replicate our case study. We provide a categorization of recurring patterns in the formalization of the requirements and discuss the strengths and weaknesses of our automated verification approach.

Anastasia Mavridou↗

NASA NTRSDate not supplied

Precision Landing Navigation Performance of Human-Scale Lunar and Mars Landers

To meet the unique challenges of crewed Lunar and Mars precision landings, NASA’s Safe and Precise Landing Integrated Capabilities Evolution project has worked to advance autonomous spacecraft navigation by increasing the technology readiness level of key deorbit, entry, descent, and landing systems, including navigation sensors. Different sensors and their effects on overall system performance are evaluated using six-degree-of-freedom simulations with physics-based engineering models that capture the relevant vehicle systems and environmental effects. Building on an existing simulation framework, this work demonstrates how improved modeling fidelity enables rapid and detailed assessment of various navigation sensors on human-scale Lunar and Mars landing vehicles using NASA reference architectures.

navigation↗

NASA NTRS2020

Assistive Relative Pose Estimation for On-orbit Assembly using Convolutional Neural Networks

Accurate real-time pose estimation of spacecraft or object in space is a key capability necessary for on orbit spacecraft servicing and assembly tasks. Pose estimation of objects in space is more challenging than for objects on Earth due to space images containing widely varying illumination conditions, high contrast, and poor resolution in addition to power and mass constraints. In this paper, a convolutional neural network is leveraged to uniquely determine the translation and rotation of an object of interest relative to the camera. The main idea of using CNN model is to assist object tracker used in on space assembly tasks where only feature based method is always not sufficient. The simulation framework designed for assembly task is used to generate dataset for training the modified CNN models and, then results of different models are compared with measure of how accurately models are predicting the pose. Unlike many current approaches for spacecraft or object in space pose estimation, the model does not rely on hand-crafted object-specific features which makes this model more robust and easier to apply to other types of spacecraft. It is shown that the model performs comparable to the current feature-selection methods and can therefore be used in conjunction with them to provide more reliable estimates.

Sonawani, Shubham↗

NASA NTRSDate not supplied

On Computationally Efficient Radiative Transfer Calculations for Three-dimensional Entry Problems

The current work presents an efficient simulation framework for rigorously modeling radiative fields emanating from non-equilibrium planetary entry flows in complex three-dimensional domains. Key to this endeavor is adoption of finite-volume discretization in lieu of brute-force ray tracing. This change in conjunction with mesh sweeping and Lebedev-type quadrature for angular integration allows spatial-angular resolution of radiative transfer to be performed in a computationally tractable manner. Additionally, a new methodology has been established to build standalone reduced-order spectral databases for non-equilibrium radiative properties that can be applied to a broad range of hypersonic planetary entry problems with minimal loss in accuracy. The efficacy of the new framework has been demonstrated on the atomic nitrogen radiative system. The resulting reduced-order model requires three orders-of-magnitude fewer spectral evaluations and results in a 95% decrease in memory footprint. A comparative study for representative forebody and afterbody lines-of-sight from Stardust, FIRE II, and meteor entries into the Earth atmosphere indicates that both total intensity variation and detailed spectra can be retrieved with as few as 625 reduced-order groups (contrasting with the 100,000 frequencies in the original full set model). Similarly, three-dimensional predictions of radiative heating experienced by the Orion forebody are in excellent agreement with legacy radiation solvers while requiring only a sliver (roughly 0.5%) of computing wall time.

3D radiation↗

NASA NTRSDate not supplied

On Computationally Efficient Radiative Transfer Calculations for Three-Dimensional Entry Problems

The current work presents an efficient simulation framework for rigorously modeling radiative fields emanating from non-equilibrium planetary entry flows in complex three-dimensional domains. Key to this endeavor is adoption of finite-volume discretization in lieu of brute-force ray tracing. This change in conjunction with mesh sweeping and Lebedev-type quadrature for angular integration allows spatial-angular resolution of radiative transfer to be performed in a computationally tractable manner. Additionally, a new methodology has been established to build standalone reduced-order spectral databases for non-equilibrium radiative properties that can be applied to a broad range of hypersonic planetary entry problems with minimal loss in accuracy. The efficacy of the new framework has been demonstrated on the atomic nitrogen radiative system. The resulting reduced-order model requires three orders-of-magnitude fewer spectral evaluations and results in a 95% decrease in memory footprint. A comparative study for representative forebody and afterbody lines-of-sight from Stardust, FIRE II, and meteor entries into the Earth atmosphere indicates that both total intensity variation and detailed spectra can be retrieved with as few as 625 reduced-order groups (contrasting with the 100,000 frequencies in the original full set model). Similarly, three-dimensional predictions of radiative heating experienced by the Orion forebody are in excellent agreement with legacy radiation solvers while requiring only a sliver (roughly 0.5%) of computing wall time.

3D radiation↗

NASA NTRSDate not supplied

Advanced Turboprop Transport Aircraft Modeling for the Electrified Powertrain Flight Demonstration Project

The objective of this study is to establish models for state of the art, representative regional non-electrified turboprop configurations in the 19 to 50 passenger capability range and assess performance impacts from advanced aircraft technologies. Two of these models will serve as reference baseline configurations for comparison to electrified aircraft propulsion (EAP) demonstrator concepts for the Electrified Powertrain Flight Demonstration (EPFD) project. The other two non-electrified configurations will primarily assess the impacts of advanced technologies on fuel consumption and CO₂ emissions. This paper details an aircraft synthesis and performance analysis approach using the General Aviation Synthesis Program (GASP) which is used to establish baseline performance capabilities, calibrate airplane and engine models using published manufacturer data and conduct technology sensitivity studies. Advanced technologies are selected from the categories of propulsion, aerodynamics, and flight systems. A GASP-Monte Carlo simulation framework for uncertainty propagation is used to obtain performance distributions of the expected fuel burn, weight reduction and CO₂ emissions reductions from advanced aircraft technologies. Significant fuel burn savings from application of aerodynamics and propulsion technologies was observed.

Dahlia D.V. Pham↗

NASA NTRSDate not supplied

Performance Analysis of Aerocapture Systems for Uranus Orbiters

A Uranus orbiter and probe mission is the highest priority science mission of the current decade. Aerocapture can be employed to support these missions by enabling shorter interplanetary trajectories and requiring less fuel for orbit insertion. This paper investigates the trajectory design and performance analysis of Uranus aerocapture using an MSL-derived aeroshell design. The trajectory tradespace for Uranus aerocapture is investigated to understand the relationship between interplanetary arrival speed and aeroshell aerodynamics to controllability. A 3 degree-of-freedom simulation framework is developed to assess the performance of bank angle fully numerical predictor-corrector aerocapture guidance. A series of Monte Carlo sensitivity studies are conducted to assess the effects that arrival navigation, arrival speeds, and atmosphere knowledge have on the aerocapture robustness and performance. The results suggest that bank angle modulation is a feasible option for Uranus orbit insertion where aerocapture can reduce transit times by 40% and save 1950 kg in propellant mass.

Rohan G. Deshmukh↗

NASA NTRSDate not supplied

Performance Analysis of Aerocapture Systems for Uranus Orbiters

A Uranus orbiter and probe mission is the highest priority science mission of the current decade. Aerocapture can be employed to support these missions by enabling shorter interplanetary trajectories and requiring less fuel for orbit insertion. This paper investigates the trajectory design and performance analysis of Uranus aerocapture using an MSL-derived aeroshell design. The trajectory tradespace for Uranus aerocapture is investigated to understand the relationship between interplanetary arrival speed and aeroshell aerodynamics to controllability. A 3 degree-of-freedom simulation framework is developed to assess the performance of bank angle fully numerical predictor-corrector aerocapture guidance. A series of Monte Carlo sensitivity studies are conducted to assess the effects that arrival navigation, arrival speeds, and atmosphere knowledge have on the aerocapture robustness and performance. The results suggest that bank angle modulation is a feasible option for Uranus orbit insertion where aerocapture can reduce transit times by 40% and save 1950 kg in propellant mass.

Rohan Deshmukh↗

NASA NTRSDate not supplied

Passenger Aggregation Network with Very Efficient Listing (PANVEL) Ridesharing Model for Urban Air Mobility

This paper introduces a ridesharing model useful for examining the role of ridesharing in advancing Urban Air Mobility (UAM) operations. Although the success of UAM will likely require a host of new technologies in aircraft design, airspace management, autonomy, and more, operational innovations like ridesharing may also be key, especially to lower operating costs and attract a broader market. The ridesharing algorithm introduced, termed the Passenger Aggregation Network with Very Efficient Listing (PANVEL) model, estimates trip numbers and passenger occupancy aboard particular aircraft within a UAM network in a metropolitan area. This algorithm is applied within a transportation computational framework to determine the impact of ridesharing on mode choice, passenger travel patterns, and transportation costs. The algorithm aggregates passengers traveling between identical origin-destination pairs, factoring in individual-specific metrics, such as value of time and alternative mode options, to generate high load factors on UAM aircraft. The computational framework simulates passenger mode-choice selections using an effective-cost approach to determine the number of ridesharing UAM-preferred trips, and results with ridesharing are representative of a rough upper bound on UAM ridership potential for a given metro area. A case study in the Cleveland metro area is presented to demonstrate the algorithm and assess ridesharing potential.

advanced air mobility↗

NASA NTRSDate not supplied

Passenger Aggregation Network with Very Efficient Listing (PANVEL) Ridesharing Model for Urban Air Mobility

This presentation introduces a ridesharing model useful for examining the role of ridesharing in advancing Urban Air Mobility (UAM) operations. Although the success of UAM will likely require a host of new technologies in aircraft design, airspace management, autonomy, and more, operational innovations like ridesharing may also be key, especially to lower operating costs and attract a broader market. The ridesharing algorithm introduced, termed the Passenger Aggregation Network with Very Efficient Listing (PANVEL) model, estimates trip numbers and passenger occupancy aboard particular aircraft within a UAM network in a metropolitan area. This algorithm is applied within a transportation computational framework to determine the impact of ridesharing on mode choice, passenger travel patterns, and transportation costs. The algorithm aggregates passengers traveling between identical origin-destination pairs, factoring in individual-specific metrics, such as value of time and alternative mode options, to generate high load factors on UAM aircraft. The computational framework simulates passenger mode-choice selections using an effective-cost approach to determine the number of ridesharing UAM-preferred trips, and results with ridesharing are representative of a rough upper bound on UAM ridership potential for a given metro area. A case study in the Cleveland metro area is presented to demonstrate the algorithm and assess ridesharing potential.

advanced air mobility↗

NASA NTRSDate not supplied

Uncertainty Quantification and Sensitivity Analysis in Process-Structure-Property Simulations for Laser Powder Bed Fusion Additive Manufacturing

Process variations and process-induced defects like porosity cause significant uncertainty in the microstructure and mechanical behavior of additively manufactured metals. Establishing process-structure-property (PSP) relationships and quantifying uncertainty using experiments alone is costly, especially for structural applications where mechanical allowables must be established for qualification and certification. This work presents a PSP simulation framework for laser powder bed fusion with a focus on uncertainty quantification through probabilistic calibration and multi-fidelity uncertainty propagation. Motivated by phenomenological input parameters related to grain nucleation and growth that are difficult to characterize, a global sensitivity analysis (GSA) is completed. Through GSA, the most important input parameters are identified based on their influence on the statistical distributions of microstructural metrics that influence mechanical behavior, including grain size, morphology, and crystallographic texture. The results provide insight on what experiments are necessary to quantify and control PSP uncertainties, particularly those associated with the more challenging input parameters.

additive manufacturing↗

DOE OSTI2015

WarpVisit

WarpVisit is an insitu simulation application that integrates the Warp laser plasma accelerator simulation framework with Visit a parallel visualization application. WarpVisit is written in python and supports interactive or live mode where user can connect to Warp with the Visit GUI and batch mode for batch for non-interactive use on high-performance computing resources.

Loring, Burlen↗

DOE OSTI2015

Sandia National Laboratories Environmental Fluid Dynamics Code V. 1 0.0 (Beta)

The DOE has funded Sandia National Labs (SNL) to develop an open-source modeling tool to guide the design and layout of marine hydrokinetic (MHK) arrays to maximize power production while minimizing environmental effects. This modeling framework simulates flows through and around MHK arrays while quantifying environmental responses. As an augmented version of US EPA's Environmental Fluid Dynamics Code (EFDC), SNL-EFDC includes: (1) a new module that simulates energy conversion (momentum withdrawal) by MHK devices with commensurate changes in the turbulent kinetic energy and its dissipation rate, (2) new, advanced sediment dynamics routines, and (3) augmented water quality modules.

Source record↗

DOE OSTI2016

Delft3D turbine turbulence module

The DOE has funded Sandia National Labs (SNL) to develop an open-source modeling tool to guide the design and layout of marine hydrokinetic (MHK) arrays to maximize power production while minimizing environmental effects. This modeling framework simulates flows through and around a MHK arrays while quantifying environmental responses. As an augmented version of the Dutch company, Deltares’s, environmental hydrodynamics code, Delft3D, SNL-Delft3D includes a new module that simulates energy conversion (momentum withdrawal) by MHK devices with commensurate changes in the turbulent kinetic energy and its dissipation rate.

Chartrand, Chris↗

DOE OSTI2016

Scout: An Impact Analysis Tool for Building Energy-Efficiency Technologies

Evaluating the national impacts of candidate U.S. building energy-efficiency technologies has historically been difficult for organizations with large energy efficiency portfolios. In particular, normalizing results from technology-specific impact studies is time-consuming when those studies do not use comparable assumptions about the underlying building stock. To equitably evaluate its technology research, development, and deployment portfolio, the U.S. Department of Energy's Building Technologies Office has developed Scout, a software tool that quantitatively assesses the energy and CO2 impacts of building energy-efficiency measures on the national building stock. Scout efficiency measures improve upon the unit performance and/or lifetime operational costs of an equipment stock baseline that is determined from the U.S. Energy Information Administration Annual Energy Outlook (AEO). Scout measures are characterized by a market entry and exit year, unit performance level, cost, and lifetime. To evaluate measures on a consistent basis, Scout uses EnergyPlus simulation on prototype building models to translate measure performance specifications to whole-building energy savings; these savings impacts are then extended to a national scale using floor area weighting factors. Scout represents evolution in the building stock over time using AEO projections for new construction, retrofit, and equipment replacements, and competes technologies within market segments under multiple adoption scenarios. Scout and its efficiency measures are open-source, as is the EnergyPlus whole building simulation framework that is used to evaluate measure performance. The program is currently under active development and will be formally released once an initial set of measures has been analyzed and reviewed.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗

DOE OSTI2017

Sprites and State Channels: Payment Networks that Go Faster than Lightning

Bitcoin, Ethereum and other blockchain-based cryptocurrencies, as deployed today, cannot scale for wide-spread use. A leading approach for cryptocurrency scaling is a smart contract mechanism called a payment channel which enables two mutually distrustful parties to transact efficiently (and only requires a single transaction in the blockchain to set-up). Payment channels can be linked together to form a payment network, such that payments between any two parties can (usually) be routed through the network along a path that connects them. Crucially, both parties can transact without trusting hops along the route. In this paper, we propose a novel variant of payment channels, called Sprites, that reduces the worst-case “collateral cost” that each hop along the route may incur. The benefits of Sprites are two-fold. 1) In Lightning Network, a payment across a path of ℓ channels requires locking up collateral for Θ(ℓΔ) time, where Δ is the time to commit an on-chain transaction. Sprites reduces this cost to Θ(ℓ+Δ). 2) Unlike prior work, Sprites supports partial withdrawals and deposits, during which the channel can continue to operate without interruption. In evaluating Sprites we make several additional contributions. First, our simulation-based security model is the first formalism to model timing guarantees in payment channels. Our construction is also modular, making use of a generic abstraction from folklore, called the “state channel,” which we are the first to formalize. We also provide a simulation framework for payment network protocols, which we use to confirm that the Sprites construction mitigates against throughput-reducing attacks.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2019

Passive Absorbers for Maximizing the Performance of the Mu2e-II Experiment

The Fermilab’s Mu2e experiment is designed to search for Charged Lepton Flavour Violation in direct, neutrinoless conversion of a muon into an electron in the presence of a nuclear electromagnetic field. The quantity, which is observed is the ratio between the rate of the above BSM (Beyond Standard Model) conversion reaction and the rate of muon capture on the nucleus. The measurement precision is expected to reach up to 10 -17 [1]. Mu2e-II is the name for the second phase of the experiment, which is planned to run with the lower energy, higher intensity primary proton beam provided by the PIP-II [2] accelerator, currently under construction. Ionization cooling with a wedge absorber is introduced into Mu2e-II setup to potentially increase the number of low momentum muons reaching the target. A study is made into the position and size of the wedge inside the beamline using G4Beamline simulation framework. Results show an increase up to 12% for muons with momentum P below 30 MeV/c and 7% for muons with P <40 MeV/c when the beam is measured right after the wedge. Further studies are necessary to investigate how this gain can be delivered to the stopping target.

43 PARTICLE ACCELERATORS↗

DOE OSTI2015

Developing Uintah's Runtime System for Forthcoming Architectures

The need to solve ever-more complex science and engineering problems on computer architectures that are rapidly evolving poses considerable challenges for modern simulation frameworks and packages. While the decomposition of software into a programming model that generates a task-graph for execution by a runtime system make portability and performance possible, it also imposes considerable demands on that runtime system. Here, the challenge of meeting those demands for near-term and longer term systems in the context of the Uintah framework is considered in key areas such as support for data structures, tasks on heterogeneous architectures, performance portability, power management and designing for resilience by the use of replication based upon adaptive mesh refinement processes is addressed. Examples of techniques in these areas are used to illustrate performance improvements obtained for present large-scale systems and the needs of proposed systems considered.

97 MATHEMATICS AND COMPUTING↗