Search NASA⌕ Search

SEARCH · Search NASA

Results for “model reporting”

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

Using Model Checking to Validate AI Planner Domain Models

This report describes an investigation into using model checking to assist validation of domain models for the HSTS planner. The planner models are specified using a qualitative temporal interval logic with quantitative duration constraints. We conducted several experiments to translate the domain modeling language into the SMV, Spin and Murphi model checkers. This allowed a direct comparison of how the different systems would support specific types of validation tasks. The preliminary results indicate that model checking is useful for finding faults in models that may not be easily identified by generating test plans.

Penix, John↗

COLD-SAT dynamic model

This report discusses the development and underlying mathematics of a rigid-body computer model of a proposed cryogenic on-orbit liquid depot storage, acquisition, and transfer spacecraft (COLD-SAT). This model, referred to in this report as the COLD-SAT dynamic model, consists of both a trajectory model and an attitudinal model. All disturbance forces and torques expected to be significant for the actual COLD-SAT spacecraft are modeled to the required degree of accuracy. Control and experimental thrusters are modeled, as well as fluid slosh. The model also computes microgravity disturbance accelerations at any specified point in the spacecraft. The model was developed by using the Boeing EASY5 dynamic analysis package and will run on Apollo, Cray, and other computing platforms.

Adams, Neil S.↗

Operational loopwheel suspension systems for Mars Rover demonstration model: Loopwheel failure report

The results are presented from the analysis of a failure which occurred in the fiberglass loop of one of the Loopwheel traction elements delivered to the Jet Propulsion Laboratory (JPL) for use on the JPL Mars Rover demonstration model. The loop failed in compression in the outer fibers forming a hinge which, through cycling, caused the inner fibers to break. The probable cause of this failure was the load being introduced as point loads at the center of the loop causing high compressive stresses and early buckling. To decrease the stress level and delay buckling, the tread lugs can be reshaped so that the entire lug contacts the ground when the loop is loaded. This can be accomplished through removal of lug material, starting with zero removal at the outer edge and linearly increasing to one-half of the lug thickness at the center.

West, E. J. M.↗

Augmenting Topic Finding in the NASA Aviation Safety Reporting System using Topic Modeling

Context: The NASA Aviation and Safety Reporting System (ASRS) provides various publications to the aviation community (including individual anonymous reports, Callback, Database Search Requests, Directline, and Alerting Messages). Key to these publications are the timely processing of new reports, which is currently done mostly manually by ASRS staff, and which the volume increases yearly. Aim: We investigate whether existing topic modelling techniques are suitable to ease some of the manual effort, and to enhance it with additional visual cues regarding the process of grouping, sense making and labeling incoming (and previous) reports. Method: We evaluate the applicability of WarpLDA topic modelling results combined with three visualization tools, the first two of which have been extended by us in this work for ASRS: Termite, TopicFlow, and LDAVis. Based on the identified limitations in these tools, we propose a methodology for improving them, and evaluate their outputs using ASRS as our test dataset. Results: The user interfaces of Termite, Topicflow and LDAVis were found insufficient for sense-making of the narratives. Moreover, concerns regarding the stability of results due to the inherent randomness of topic modelling, and the lack of a measurable approach for evaluation against the existing ASRS manual workflow were also noted. Conclusion: While many tools to topic modeling and visualization have been proposed, more work is necessary before they can be applied in practical situations to improve existing manual workflows. The methodology presented and applied in this work contribute towards this effort.

ASRS↗

TLIFE: a Program for Spur, Helical and Spiral Bevel Transmission Life and Reliability Modeling

This report describes a computer program, 'TLIFE', which models the service life of a transmission. The program is written in ANSI standard Fortran 77 and has an executable size of about 157 K bytes for use on a personal computer running DOS. It can also be compiled and executed in UNIX. The computer program can analyze any one of eleven unit transmissions either singly or in a series combination of up to twenty-five unit transmissions. Metric or English unit calculations are performed with the same routines using consistent input data and a units flag. Primary outputs are the dynamic capacity of the transmission and the mean lives of the transmission and of the sum of its components. The program uses a modular approach to separate the load analyses from the system life calculations. The program and its input and output data files are described herein. Three examples illustrate its use. A development of the theory behind the analysis in the program is included after the examples.

Savage, M.↗

Rotorcraft Noise Abatement Flight Path Modeling

This report addresses development of a rotor state/trim modeling capability for noise modeling of decelerating rotorcraft approaches. The resulting technique employs discretization of the descent trajectory as multiple steady state segments for input to CAMRAD.Mod 1 to predict rotor states for acoustic analysis. Deceleration is included by modifying the CAMRAD.Mod 1 free flight trim options to allow trim to the specified acceleration/deceleration components.

Murty, Hema↗

Pulsed Plasma Accelerator Modeling

This report presents the main results of the modeling task of the PPA project. The objective of this task is to make major progress towards developing a new computational tool with new capabilities for simulating cylindrically symmetric 2.5 dimensional (2.5 D) PPA's. This tool may be used for designing, optimizing, and understanding the operation of PPA s and other pulsed power devices. The foundation for this task is the 2-D, cylindrically symmetric, magnetohydrodynamic (MHD) code PCAPPS (Princeton Code for Advanced Plasma Propulsion Simulation). PCAPPS was originally developed by Sankaran (2001, 2005) to model Lithium Lorentz Force Accelerators (LLFA's), which are electrode based devices, and are typically operated in continuous magnetic field to the model, and implementing a first principles, self-consistent algorithm to couple the plasma and power circuit that drives the plasma dynamics.

Goodman, M.↗

Proton Exchange Membrane Fuel Cell Engineering Model Powerplant. Test Report: Benchmark Tests in Three Spatial Orientations

Proton exchange membrane (PEM) fuel cell technology is the leading candidate to replace the aging alkaline fuel cell technology, currently used on the Shuttle, for future space missions. This test effort marks the final phase of a 5-yr development program that began under the Second Generation Reusable Launch Vehicle (RLV) Program, transitioned into the Next Generation Launch Technologies (NGLT) Program, and continued under Constellation Systems in the Exploration Technology Development Program. Initially, the engineering model (EM) powerplant was evaluated with respect to its performance as compared to acceptance tests carried out at the manufacturer. This was to determine the sensitivity of the powerplant performance to changes in test environment. In addition, a series of tests were performed with the powerplant in the original standard orientation. This report details the continuing EM benchmark test results in three spatial orientations as well as extended duration testing in the mission profile test. The results from these tests verify the applicability of PEM fuel cells for future NASA missions. The specifics of these different tests are described in the following sections.

Loyselle, Patricia↗

Technical Report Series on Global Modeling and Data Assimilation: Soil Moisture Active Passive (SMAP) Project Assessment Report for the Beta-Release L4_SM Data Product - Volume 40

During the post-launch SMAP calibration and validation (Cal/Val) phase there are two objectives for each science data product team: 1) calibrate, verify, and improve the performance of the science algorithm, and 2) validate the accuracy of the science data product as specified in the science requirements and according to the Cal/Val schedule. This report provides an assessment of the SMAP Level 4 Surface and Root Zone Soil Moisture Passive (L4_SM) product specifically for the product's public beta release scheduled for 30 October 2015. The primary objective of the beta release is to allow users to familiarize themselves with the data product before the validated product becomes available. The beta release also allows users to conduct their own assessment of the data and to provide feedback to the L4_SM science data product team. The assessment of the L4_SM data product includes comparisons of SMAP L4_SM soil moisture estimates with in situ soil moisture observations from core validation sites and sparse networks. The assessment further includes a global evaluation of the internal diagnostics from the ensemble-based data assimilation system that is used to generate the L4_SM product. This evaluation focuses on the statistics of the observation-minus-forecast (O-F) residuals and the analysis increments. Together, the core validation site comparisons and the statistics of the assimilation diagnostics are considered primary validation methodologies for the L4_SM product. Comparisons against in situ measurements from regional-scale sparse networks are considered a secondary validation methodology because such in situ measurements are subject to upscaling errors from the point-scale to the grid cell scale of the data product. Based on the limited set of core validation sites, the assessment presented here meets the criteria established by the Committee on Earth Observing Satellites for Stage 1 validation and supports the beta release of the data. The validation against sparse network measurements and the evaluation of the assimilation diagnostics address Stage 2 validation criteria by expanding the assessment to regional and global scales.

ubRMSE↗

Reports From EXPORTS Modeling and Data-Mining Activities

EXPORTS -EXport Processes in the Ocean from RemoTe Sensing is NASA’s large field campaign focusing on development of a predictive understanding of the export, fate and carbon cycle impacts of the global net primary production. This co-funded program (NSF, private funding1, and international participation) was conceived in 2013, with EXPORTS Science plan published in 2016 (Siegel et al 2016, EXPORTS Writing Team 2015) and its implementation plan finalized in 2016 (EXPORTS Science Definition Team 2016). More details are presented in Siegel et al (2021). EXPORTS campaign is structured as a multiyear effort (Figure 1). It started with “Pre-EXPORTS” modeling and data-mining activity followed by a first phase with two major field programs and a second synthesis and modeling phase. The “Pre-EXPORTS” projects, total of 6 of them (Table 1), funded under A.3 Ocean Biology and Biogeochemistry 2015 call, helped to plan the field campaign (Resplandy et al 2019, Rousseaux & Gregg 2017), and supporting further global synthesis with datasets mined from the literature (e.g. Bisson et al (2020), Bisson et al (2018), Kramer and Siegel (2019)), directly responding to objectives outlined in Science Plan (see section 6 in Team (2015)) and Implementation team (see Figure 1 in Team (2016)). This document presents a compilation of the final reports of the Pre-EXPORTS funded projects, in hope of synthesizing the outcomes, and insuring the legacy of this program. Each of these reports contains a list of published papers, and reader should refer to them to see results in details.

Brandi J. McCarty↗

Dynamics explorer guest investigator

The use of Dynamics Explorer (DE) data sets to model the auroral inputs for the time dependent ionospheric model (TDIM) is reported. The modelling requires DE-1 SAI images and simultaneous DE-2 LAPI particle data. The data sets allow the large scale relative auroral variations and local absolute energy flexes and characteristics energies to be defined. The images enabled global scale auroral modelling with 12 min. time resolution and the LAPI data presented a detailed energy flux and characteristic energy calibration of the image model. The auroral model is used as an input to the TDIM and studies ionospheric storms.

Sojka, J. J.↗

Small Body GN&C Research Report: A Robust Model Predictive Control Algorithm with Guaranteed Resolvability

A robustly stabilizing MPC (model predictive control) algorithm for uncertain nonlinear systems is developed that guarantees the resolvability of the associated finite-horizon optimal control problem in a receding-horizon implementation. The control consists of two components; (i) feedforward, and (ii) feedback part. Feed-forward control is obtained by online solution of a finite-horizon optimal control problem for the nominal system dynamics. The feedback control policy is designed off-line based on a bound on the uncertainty in the system model. The entire controller is shown to be robustly stabilizing with a region of attraction composed of initial states for which the finite-horizon optimal control problem is feasible. The controller design for this algorithm is demonstrated on a class of systems with uncertain nonlinear terms that have norm-bounded derivatives, and derivatives in polytopes. An illustrative numerical example is also provided.

model predictive control algorithm (MPC)↗