Search NASA⌕ Search

SEARCH · Search NASA

Results for “model benchmark”

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 595 records · Page 33

Biological Research and Space Health Enabled by Machine Learning to Support Deep Space Missions

A key science goal of the NASA “Moon to Mars” campaign is to understand how biology responds to the Lunar, Martian, and deep space environments in order to advance fundamental knowledge and support human space missions. Through artificial intelligence (AI) and machine learning (ML), a paradigm shift has begun in space biosciences and engineered astronaut health systems, to enable Earth-independence and mission operations autonomy. We describe current AI/ML methods to support 1) fundamental biology, 2) in situ analytics, 3) high performance computing, 4) automated science, 5) self-driving labs, 6) remote data management, 7) integrated mission biomonitoring, and 8) a Precision Space Health system. AI/ML approaches that can be integrated to support these domains include active learning, explainable AI, adaptive learning, causal inference, knowledge graphs, federated learning, transfer learning, and large language models. Finally, we present results from several current ML projects that are underway in the space biology field to address key challenges of small sample n, high feature count, heterogeneity, and sparse data. These include 1) connecting omics to phenotypic data using an ensemble model to infer causality of rodent liver health disruption, 2) usage of explainable ML to interrogate muscular underpinnings of muscle atrophy, 3) ML models analyzing and determining directed acyclic graphs of human health risk leveraging rodent bone datasets, 4) usage of large pre-trained models connecting biomedical knowledgebases with small spaceflight datasets to understand gene-to-gene interactions, and 5) a suite of benchmarked open science datasets enabling programmers to identify best algorithms to answer space biology questions.

space biology↗

NASA Engineering and Safety Center Technical Bulletin No. 24-04: 6DOF Check Cases

In 2015, the NESC released benchmark Earth-based check-cases for well specified, rigid-body, six-degree-of-freedom (6DOF) aero/spacecraft models to promote consistent and accurate flight simulations across multiple Agency tools and facilities. Recently, the NESC expanded upon that effort to add Lunar-based check-cases to support new lunar exploration initiatives. This study produced a smaller, focused set of cases that exercise new and unique features of missions in the lunar environment in comparison with 8 high-fidelity NASA simulation tools and provides a measure of validation for simulations supporting Human Landing Systems.

Flight Mechanics↗

MPI, HPF or OpenMP: A Study with the NAS Benchmarks

Porting applications to new high performance parallel and distributed platforms is a challenging task. Writing parallel code by hand is time consuming and costly, but this task can be simplified by high level languages and would even better be automated by parallelizing tools and compilers. The definition of HPF (High Performance Fortran, based on data parallel model) and OpenMP (based on shared memory parallel model) standards has offered great opportunity in this respect. Both provide simple and clear interfaces to language like FORTRAN and simplify many tedious tasks encountered in writing message passing programs. In our study, we implemented the parallel versions of the NAS Benchmarks with HPF and OpenMP directives. Comparison of their performance with the MPI implementation and pros and cons of different approaches will be discussed along with experience of using computer-aided tools to help parallelize these benchmarks. Based on the study, potentials of applying some of the techniques to realistic aerospace applications will be presented.

Jin, H.↗

MPI, HPF or OpenMP: A Study with the NAS Benchmarks

Porting applications to new high performance parallel and distributed platforms is a challenging task. Writing parallel code by hand is time consuming and costly, but the task can be simplified by high level languages and would even better be automated by parallelizing tools and compilers. The definition of HPF (High Performance Fortran, based on data parallel model) and OpenMP (based on shared memory parallel model) standards has offered great opportunity in this respect. Both provide simple and clear interfaces to language like FORTRAN and simplify many tedious tasks encountered in writing message passing programs. In our study we implemented the parallel versions of the NAS Benchmarks with HPF and OpenMP directives. Comparison of their performance with the MPI implementation and pros and cons of different approaches will be discussed along with experience of using computer-aided tools to help parallelize these benchmarks. Based on the study,potentials of applying some of the techniques to realistic aerospace applications will be presented

Jin, Hao-Qiang↗

The SeaHorn Verification Framework

In this paper, we present SeaHorn, a software verification framework. The key distinguishing feature of SeaHorn is its modular design that separates the concerns of the syntax of the programming language, its operational semantics, and the verification semantics. SeaHorn encompasses several novelties: it (a) encodes verification conditions using an efficient yet precise inter-procedural technique, (b) provides flexibility in the verification semantics to allow different levels of precision, (c) leverages the state-of-the-art in software model checking and abstract interpretation for verification, and (d) uses Horn-clauses as an intermediate language to represent verification conditions which simplifies interfacing with multiple verification tools based on Horn-clauses. SeaHorn provides users with a powerful verification tool and researchers with an extensible and customizable framework for experimenting with new software verification techniques. The effectiveness and scalability of SeaHorn are demonstrated by an extensive experimental evaluation using benchmarks from SV-COMP 2015 and real avionics code.

Model Checking↗

Comparison of Corcos-based and experimentally-derived coherence factors for BFFs estimation

In this paper, high-spatial-resolution unsteady Pressure Sensitive Paint (uPSP) data are utilized to compare two methods for panel Buffet Forcing Functions (BFF) estimation for the Space Launch System (SLS). Such methods are based on discrete pressure measurements within a panel but employ coherence factors to account for partially-correlated fluctuating pressures across the whole panel. In one method, coherence factors are derived based on the Corcos model, whereas the second method utilizes experimentally-derived coherence factors. To simulate discrete measurements using uPSP data, suitable subsets of the data are extracted. When full uPSP resolution is retained, uPSP data provide a benchmark to assess discrete-measurements-based methods. The analysis focuses on the peak SLS buffet environment located downstream of the Forward Attachment Hardware (FAH) between the core stage and solid rocket boosters. Trends of Corcos-based and experimentally-derived coherence factors are in reasonable agreement with the benchmark. However, at certain frequencies, experimentally-derived coherence factors are sensitive to the separation distance between pressure measurements utilized to compute coherence lengths. Such sensitivity originates from deviation of the experimental-based coherence function from an exponential decay assumption. On the other hand, the present implementation of the Corcos model fails to capture certain non-turbulent boundary layer related environments, such as a subharmonic of FAH vortex-shedding. For all methods presented in this paper, at near transonic conditions, increased pressure coherence and spatial nonuniformity lead to BFF overestimation and sensitivity to the pressure measurement location within the panel.

transonic buffet↗

Comparison of Corcos-Based and Experimentally-Derived Coherence Factors for Buffet Forcing Functions Estimation

In this paper, high-spatial-resolution unsteady Pressure Sensitive Paint (uPSP) data are utilized to compare two methods for panel Buffet Forcing Functions (BFF) estimation for the Space Launch System (SLS). Such methods are based on discrete pressure measurements within a panel but employ coherence factors to account for partially-correlated fluctuating pressures across the whole panel. In one method, coherence factors are derived based on the Corcos model, whereas the second method utilizes experimentally-derived coherence factors. To simulate discrete measurements using uPSP data, suitable subsets of the data are extracted. When full uPSP resolution is retained, uPSP data provide a benchmark to assess discrete-measurements-based methods. The analysis focuses on the peak SLS buffet environment located downstream of the Forward Attachment Hardware (FAH) between the core stage and solid rocket boosters. Trends of Corcos-based and experimentally-derived coherence factors are in reasonable agreement with the benchmark. However, at certain frequencies, experimentally-derived coherence factors are sensitive to the separation distance between pressure measurements utilized to compute coherence lengths. Such sensitivity originates from deviation of the experimental-based coherence function from an exponential decay assumption. On the other hand, the present implementation of the Corcos model fails to capture certain nonturbulent boundary layer related environments, such as a subharmonic of FAH vortex-shedding. For all methods presented in this paper, at near transonic conditions, increased pressure coherence and spatial nonuniformity lead to BFF overestimation and sensitivity to the pressure measurement location within the panel.

buffet↗

Comparison of Corcos-Based and Experimentally-Derived Coherence Factors for Buffet Forcing Function Estimation

In this paper, high-spatial-resolution unsteady Pressure Sensitive Paint (uPSP) data are utilized to compare two methods for panel Buffet Forcing Function (BFF) estimation for the Space Launch System (SLS). Such methods are based on discrete pressure measurements within a panel but employ coherence factors to account for partially-correlated fluctuating pressures across the whole panel. In one method, coherence factors are derived based on the Corcos model, whereas the second method utilizes experimentally-derived coherence factors. To simulate discrete measurements using uPSP data, suitable subsets of the data are extracted. When full uPSP resolution is retained, uPSP data provide a benchmark to assess discrete-measurement-based methods. The analysis focuses on the peak SLS buffet environment located downstream of the Forward Attachment Hardware (FAH) between the core stage and solid rocket boosters. Trends of Corcos-based and experimentally-derived coherence factors are in reasonable agreement with the benchmark. However, at certain frequencies, experimentally-derived coherence factors are sensitive to the separation distance between pressure measurements utilized to compute coherence lengths. Such sensitivity originates from deviation of the experimentally-based coherence function from an exponential decay assumption. On the other hand, the present implementation of the Corcos model fails to capture certain nonturbulent boundary layer related environments, such as a subharmonic of FAH vortex-shedding. For all methods presented in this paper, at near transonic conditions, increased pressure coherence and spatial nonuniformity lead to BFF overestimation and sensitivity to the pressure measurement location within the panel.

transonic buffet↗

Forging the Forge

As part of the NASA Johnson Space Center’s (JSC) effort to revitalize and recommit to our “Dare Unite Explore” vision for the future, the Center is exploring a new strategy to spread the innovation mindset and increase collaboration across the workforce. In order to maintain JSC’s leadership in human spaceflight, there is a need for working at the speed of commercial industry, breaking down silos between organizations, improving innovation and increasing workforce flexibility. Through brainstorming concepts and benchmarking other facilities, the leadership team evaluated several ideas, assessed constraints and derived that an “Innovation Team” was relatively easy to adopt. Modeled after productive teams like the Jet Propulsion Laboratory’s Innovation Foundry and Glenn Research Center's Compass team, JSC is laying the foundation of a new innovation team called the Forge. This team is as much about getting employees tempered in the ways of innovative thinking as it is about refining design studies and hammering out proposals. By the dictionary definition of the verb, forge can mean either to move ahead slowly and steadily or to move with a sudden increase of speed and power. Driving cultural change in a large government organization like NASA often involves slow perseverance with small injections of momentum to forge ahead. Leveraging lessons learned from the Innovation Foundry and Compass, this paper describes how the collaborative, concurrent engineering framework was tailored to JSC’s needs, as well as the aspects that were considered given JSC’s operation-focused, Program-driven landscape. Our process to drive cultural change, the steps taken, and challenges encountered are discussed. The first two pilots of the teaming framework are described with initial results presented in terms of employee engagement and fostering innovation. We also describe the planned future work and next steps to continue to push the initiative forward. Long has the Center been resting on its operations heritage, now we are forging a new path to Dare to expand frontiers, Unite with our partners and Explore space to benefit humanity.

Culture Change↗

Navier-Stokes calculations of transonic flows past cavities

A computational investigation of subsonic and transonic flows past three dimensional deep and transitional cavities is presented. Computational simulations of these self induced oscillatory flows were generated through time accurate solutions of the Reynolds averaged full Navier-Stokes equations, using the explicit MacCormack scheme. The Reynolds stresses were included through the Baldwin-Lomax algebraic turbulence model with certain modifications. Two cases were computed to demonstrate the capability of the numerical scheme in modeling the complex three dimensional flow features inside a cavity. The results from an experimental investigation were used not only to benchmark the computations, but also to widen the database used for the discussions and conclusions. The computational results include instantaneous and time averaged flow properties everywhere in the computational zone. Time series analyses were performed for the instantaneous pressure values on the cavity floor. The features of deep and transitional cavity flows, and the effects of the sidewall on the cavity flow flowfield are illustrated through computational graphics.

Baysal, Oktay↗

Optimization of the computational load of a hypercube supercomputer onboard a mobile robot

A combinatorial optimization methodology is developed, which enables the efficient use of hypercube multiprocessors onboard mobile intelligent robots dedicated to time-critical missions. The methodology is implemented in terms of large-scale concurrent algorithms based either on fast simulated annealing, or on nonlinear asynchronous neural networks. In particular, analytic expressions are given for the effect of single-neuron perturbations on the systems' configuration energy. Compact neuromorphic data structures are used to model effects such as precedence constraints, processor idling times, and task-schedule overlaps. Results for a typical robot-dynamics benchmark are presented.

Barhen, Jacob↗

Navier-Stokes calculations of transonic flows past cavities

A computational investigation of subsonic and transonic flows past 3-D deep transitional cavities is presented. Computational simulations of these self-induced oscillatory flows were generated through time-accurate solutions of the Reynolds averaged full Navier-Stokes equations, using the explicit MacCormack scheme. The Reynolds stresses were included through the Baldwin-Lomax algebraic turbulence model with certain modifications. Two cases were computed to demonstrate the capability of the numerical scheme in modeling the complex 3-D flow features inside a cavity. The results from an experimental investigation were used not only to benchmark the computations, but also to widen the database used for the discussions and conclusions. The computational results include instantaneous and time averaged flow properties everywhere in the computational zone. Time series analyses were performed for the instantaneous pressure values on the cavity floor. The features of deep and transitional cavity flows, and the effect of the sidewall on the cavity flow flowfield are illustrated through computational graphics.

Baysal, Oktay↗

Parallelized solvers for heat conduction formulations

Based on multilevel partitioning, this paper develops a structural parallelizable solution methodology that enables a significant reduction in computational effort and memory requirements for very large scale linear and nonlinear steady and transient thermal (heat conduction) models. Due to the generality of the formulation of the scheme, both finite element and finite difference simulations can be treated. Diverse model topologies can thus be handled, including both simply and multiply connected (branched/perforated) geometries. To verify the methodology, analytical and numerical benchmark trends are verified in both sequential and parallel computer environments.

Padovan, Joe↗

Structured Uncertainty Bound Determination From Data for Control and Performance Validation

This report attempts to document the broad scope of issues that must be satisfactorily resolved before one can expect to methodically obtain, with a reasonable confidence, a near-optimal robust closed loop performance in physical applications. These include elements of signal processing, noise identification, system identification, model validation, and uncertainty modeling. Based on a recently developed methodology involving a parameterization of all model validating uncertainty sets for a given linear fractional transformation (LFT) structure and noise allowance, a new software, Uncertainty Bound Identification (UBID) toolbox, which conveniently executes model validation tests and determine uncertainty bounds from data, has been designed and is currently available. This toolbox also serves to benchmark the current state-of-the-art in uncertainty bound determination and in turn facilitate benchmarking of robust control technology. To help clarify the methodology and use of the new software, two tutorial examples are provided. The first involves the uncertainty characterization of a flexible structure dynamics, and the second example involves a closed loop performance validation of a ducted fan based on an uncertainty bound from data. These examples, along with other simulation and experimental results, also help describe the many factors and assumptions that determine the degree of success in applying robust control theory to practical problems.

Lim, Kyong B.↗

Defect measurement and analysis of JPL ground software: a case study

Ground software systems at JPL must meet high assurance standards while remaining on schedule due to relatively immovable launch dates for spacecraft that will be controlled by such systems. Toward this end, the Software Quality Improvement (SQI) project's Measurement and Benchmarking (M&B) team is collecting and analyzing defect data of JPL ground system software projects to build software defect prediction models. The aim of these models is to improve predictability with regard to software quality activities. Predictive models will quantitatively define typical trends for JPL ground systems as well as Critical Discriminators (CDs) to provide explanations for atypical deviations from the norm at JPL. CDs are software characteristics that can be estimated or foreseen early in a software project's planning. Thus, these CDs will assist in planning for the predicted degree to which software quality activities for a project are likely to deviation from the normal JPL ground system based on pasted experience across the lab.

defects↗

Structural Analysis Methodology for Space Deployable Structures Using Multi-Body Dynamic Solver

The purpose of this paper is to provide detailed structural analysis implementation for space deployable structures using a multi-body dynamic solver. The selected commercial code is MSC/ADAMS. Four benchmark problems are used to evaluate mechanism motion, frictional contacts, and geometrically non-linear large deformation. This paper examines the software functionality, performance, accuracy and ability to solve the benchmark problems. The discussions covered are related to solver convergence, tracking internal force, velocity and acceleration of different parts in each model and comparing results to closed form solutions if available.

Montazersadgh, Farzin↗

Biological Research and Space Health Enabled by Machine Learning to Support Deep Space Missions

A key science goal of the NASA “Moon to Mars” campaign is to understand how biology responds to the Lunar, Martian, and deep space environments in order to advance fundamental knowledge, reduce risk, and support safe, productive human space missions. Through the powerful emerging computer science approaches of artificial intelligence (AI) and machine learning (ML), a paradigm shift has begun in biomedical science and engineered astronaut health systems, to enable Earth-independence and autonomy of mission operations. We present a decadal view of AI/ML architecture to support deep space mission goals, developed in concert with leaders in the field. We describe current AI/ML methods to support 1) fundamental biology, 2) in situ analytics, 3) high performance computing hardware, 4) automated science, 5) self-driving labs, 6) remote data management, 7) integrated real-time mission biomonitoring, and 8) a Precision Space Health system. Cutting-edge AI/ML approaches that can be integrated to support these domains include active learning, explainable AI, adaptive learning, causal inference, knowledge graphs, federated learning, transfer learning, and large language models. Finally, we present results from several current ML projects that are underway in the field to address key challenges of small sample n, high feature count, heterogeneity, and sparse data. These include 1) connecting omics data to phenotypic data using an ensemble model to infer causality of spaceflight rodent liver health disruption, 2) usage of explainable ML to interrogate the muscular underpinnings of spaceflight muscle atrophy, 3) ML models analyzing and determining directed acyclic graphs of human space health risk leveraging rodent bone datasets, 4) usage of large pre-trained models connecting biomedical knowledgebases with small spaceflight datasets to understand gene-to-gene interaction networks, and 5) a suite of benchmarked open science datasets (spaceflight mouse liver; radiation DNA damage) enabling programmers to identify the best ML algorithms to answer space biological science questions.

space biology↗

Biological Research and Space Health Enabled by Machine Learning to Support Deep Space Missions

A key science goal of the NASA “Moon to Mars” campaign is to understand how biology responds to the Lunar, Martian, and deep space environments in order to advance fundamental knowledge, reduce risk, and support safe, productive human space missions. Through the powerful emerging computer science approaches of artificial intelligence (AI) and machine learning (ML), a paradigm shift has begun in biomedical science and engineered astronaut health systems, to enable Earth-independence and autonomy of mission operations. We present a decadal view of AI/ML architecture to support deep space mission goals, developed in concert with leaders in the field. We describe current AI/ML methods to support 1) fundamental biology, 2) in situ analytics, 3) high performance computing hardware, 4) automated science, 5) self-driving labs, 6) remote data management, 7) integrated real-time mission biomonitoring, and 8) a Precision Space Health system. Cutting-edge AI/ML approaches that can be integrated to support these domains include active learning, explainable AI, adaptive learning, causal inference, knowledge graphs, federated learning, transfer learning, and large language models. Finally, we present results from several current ML projects that are underway in the field to address key challenges of small sample n, high feature count, heterogeneity, and sparse data. These include 1) connecting omics data to phenotypic data using an ensemble model to infer causality of spaceflight rodent liver health disruption, 2) usage of explainable ML to interrogate the muscular underpinnings of spaceflight muscle atrophy, 3) ML models analyzing and determining directed acyclic graphs of human space health risk leveraging rodent bone datasets, 4) usage of large pre-trained models connecting biomedical knowledgebases with small spaceflight datasets to understand gene-to-gene interaction networks, and 5) a suite of benchmarked open science datasets (spaceflight mouse liver; radiation DNA damage) enabling programmers to identify the best ML algorithms to answer space biological science questions.

space biology↗