Results for “automated modelling” — Page 16

NASA NTRSDate not supplied

Backshell Thermal Protection Materials for Additive Manufacturing

Leveraging AM technology focused on the Fused Deposition Modeling (FDM) process could automate the heat shield manufacturing process and allow it to reduce cost and build time and improve the design to 3D print and process TPS materials directly on the structure in monolith segments. Furthermore, AM allows the production of complicated three-dimensional geometry and density gradient layers without custom molds or special tools. NASA invests in additive manufacturing (AM) to enable new mission architectures and design methods; AM is suited for backshell thermal protection materials that require many complex closeouts that lead to integration challenges. Current work will review backshell thermal protection material formulation, development, and characterization.3D printer was used to 3D print arc-jet test coupons. The coupons were tested at the NASA Ames arc jet facility, and the results show promising properties compared with the heritage materials.

Tane Boghozian↗

NASA NTRSDate not supplied

Nasa Pilot Fatigue Research: Past, Present & Future

Pilot fatigue research at NASA Ames has a long history, initiated by a Congressional request to investigate the magnitude of fatigue, sleep loss and circadian disruption in flight operations, and how these factors impact crew performance. Research has been conducted in a broad range of aviation operations, including short-haul, long-haul, rotorcraft, overnight cargo, corporate/business, and regional airlines. Studies have been conducted in the field during actual flight operations, in simulated settings, focus group meetings, and with surveys. Other investigations have examined mitigation strategies including in-flight rest periods and lighting applications. Other activities have included education and training, publications, accident investigation support and the development of research methods and tools. Future research may include further lighting interventions, controlled rest strategies, use of automation, the effectiveness of modeling tools, and implementation of organizational fatigue management programs.

aviation↗

NASA NTRSDate not supplied

Inverse Text Normalization of Air Traffic Control System Command Center Planning Telecon Transcriptions

We present a hybrid neural network and rule-based Inverse Text Normalization (ITN) method for domains containing unique technical phraseology, specifically Air Traffic Control System Command Center (ATCSCC) planning telecon audio transcriptions. The ATCSCC hosts bi-hourly planning telephone conferences (or planning telecons) to ensure smooth operations within the National Airspace (NAS). Access to both live and post meeting transcripts of this speech audio would enable quick review of meetings. Provided speech transcripts, ITN is the process of converting unformatted raw Automated Speaker Recognition (ASR) model transcripts into a human (expert) readable written form. Our hybrid ITN framework utilizes a fine-tuned Bidirectional Encoder Representations from Transformers neural network to format conversational English, and rule-based methods to format domain-specific aviation text. With an overall Punctuation Error Rate (PER) of 25.56 and Word Error Rate with Punctuation and Capitalization (WER PC) of 5.47, we show that this method has vast potential in being applied to ATCSCC planning telecon audio and other audio/text based data available in ATM.

ATM↗

NASA NTRSDate not supplied

Inverse Text Normalization of Air Traffic Control System Command Center Planning Telecon Transcriptions

We present a hybrid neural network and rule-based Inverse Text Normalization (ITN) method for domains containing unique technical phraseology, specifically Air Traffic Control System Command Center (ATCSCC) planning telecon audio transcriptions. The ATCSCC hosts bi-hourly planning telephone conferences (or planning telecons) to ensure smooth operations within the National Airspace (NAS). Access to both live and post meeting transcripts of this speech audio would enable quick review of meetings. Provided speech transcripts, ITN is the process of converting unformatted raw Automated Speaker Recognition (ASR) model transcripts into a human (expert) readable written form. Our hybrid ITN framework utilizes a fine-tuned Bidirectional Encoder Representations from Transformers neural network to format conversational English, and rule-based methods to format domain-specific aviation text. With an overall Punctuation Error Rate (PER) of 25.56 and Word Error Rate with Punctuation and Capitalization (WER PC) of 5.47, we show that this method has vast potential in being applied to ATCSCC planning telecon audio and other audio/text based data available in ATM.

ATM↗

NASA NTRS1977

An automated data generator for NASTRAN

A modeling system based on construction-in-context of geometry and physical properties data is adapted for NASTRAN finite element data generation. This system was originally developed for generating three-dimensional finite data for composite structures in PATCHES-III using parametric cubic models. These finite line, surface and volume models constructed using simple data directives will be subdivided into NASTRAN finite elements and their supporting data in the new data generator. Any geometry can be constructed as illustrated by a compressor fan blade with camber, twist and changing airfoil section and the shape then subdivided using a uniform or non-uniform mesh. Special emphasis is given to the adaption of construction-in-context to composite material property modeling. A PMAT series of directives is described for any one, two or three-dimensionally reinforced composite that allows the phase properties, as well as composite properties, to be generated.

Stanton, E. L.↗

NASA NTRS1996

A Framework for Modeling Human-Machine Interactions

Modern automated flight-control systems employ a variety of different behaviors, or modes, for managing the flight. While developments in cockpit automation have resulted in workload reduction and economical advantages, they have also given rise to an ill-defined class of human-machine problems, sometimes referred to as 'automation surprises'. Our interest in applying formal methods for describing human-computer interaction stems from our ongoing research on cockpit automation. In this area of aeronautical human factors, there is much concern about how flight crews interact with automated flight-control systems, so that the likelihood of making errors, in particular mode-errors, is minimized and the consequences of such errors are contained. The goal of the ongoing research on formal methods in this context is: (1) to develop a framework for describing human interaction with control systems; (2) to formally categorize such automation surprises; and (3) to develop tests for identification of these categories early in the specification phase of a new human-machine system.

Shafto, Michael G.↗

NASA NTRS1995

The specification-based validation of reliable multicast protocol: Problem Report

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP multicasting. In this report, we develop formal models for RMP using existing automated verification systems, and perform validation on the formal RMP specifications. The validation analysis help identifies some minor specification and design problems. We also use the formal models of RMP to generate a test suite for conformance testing of the implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress of implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Wu, Yunqing↗

NASA NTRS1995

The Specification-Based Validation of Reliable Multicast Protocol

Reliable Multicast Protocol (RMP) is a communication protocol that provides an atomic, totally ordered, reliable multicast service on top of unreliable IP multicasting. In this report, we develop formal models for RMP using existing automated verification systems, and perform validation on the formal RMP specifications. The validation analysis help identifies some minor specification and design problems. We also use the formal models of RMP to generate a test suite for conformance testing of the implementation. Throughout the process of RMP development, we follow an iterative, interactive approach that emphasizes concurrent and parallel progress of the implementation and verification processes. Through this approach, we incorporate formal techniques into our development process, promote a common understanding for the protocol, increase the reliability of our software, and maintain high fidelity between the specifications of RMP and its implementation.

Wu, Yunqing↗

NASA NTRS2017

One-Dimensional Model for the Ultrasonic Response of Resin-Filled Gaps in Automated Tape Layup Composites

Automated tow placement has become a widely used fabrication technique, especially for large aerospace structures. Robotic heads lay down strips (tows) of preimpregnated fiber along programmed paths. The intention is to lay adjacent tows abutted to one another, but sometimes a gap is left between a tow and the previously-placed tow. If a tow gap exists, it fills with resin during cure, forming a fiber-free volume. In immersion ultrasonic pulse-echo measurements of a cured laminate, the gap can be observed to produce a noticeable echo, without significantly attenuating the back-wall reflection of the laminate. To understand this behavior, we considered a one dimensional model of the composite laminate, with a thin layer having the ultrasonic sound speed and density of neat resin, sandwiched between two layers of material having the sound speed and density of fiber-reinforced composite and surrounded on both sides by water. Neglecting attenuation, we considered the transmission and reflection coefficients of each interface, as well as that of the thin resin layer. Using the initial water/composite reflection as a reference, we computed the relative magnitude of the back surface/water reflection in the presence and in the absence of a resin-only layer, as well as the relative magnitude of the reflection arising from a thin resin layer in composite. While the one-dimensional model did not fully match the measurements, it did qualitatively explain the observed behavior.

Johnston, Patrick H.↗

NASA NTRS1999

Java PathFinder: A Translator From Java to Promela

JAVA PATHFINDER, JPF, is a prototype translator from JAVA to PROMELA, the modeling language of the SPIN model checker. JPF is a product of a major effort by the Automated Software Engineering group at NASA Ames to make model checking technology part of the software process. Experience has shown that severe bugs can be found in final code using this technique, and that automated translation from a programming language to a modeling language like PROMELA can help reducing the effort required.

Havelund, Klaus↗

NASA NTRS2001

Automated quantification of mitral valve regurgitation based on normalized centerline velocity distribution

Previous echocardiographic techniques for quantifying valvular regurgitation are limited by factors including uncertainties for orifice location and a hemispheric convergence assumption that often results in over- and underestimation of flow rate and regurgitant orifice area. Using computational fluid dynamics simulations, these factors were eliminated, allowing a more accurate assessment of regurgitation. A model was developed to allow automated quantification of regurgitant orifice diameter based on the centerline velocity data available from color M-mode echocardiography. The model, validated using in vitro unsteady flow data, demonstrated improved accuracy for orifice diameter (y=0.95x + 0.38, r=0.96) and volume (y=1.18x - 4.72, r=0.93).

NASA Program Biomedical Research and Countermeasur↗

NASA NTRS1992

Modeling human response errors in synthetic flight simulator domain

This paper presents a control theoretic approach to modeling human response errors (HRE) in the flight simulation domain. The human pilot is modeled as a supervisor of a highly automated system. The synthesis uses the theory of optimal control pilot modeling for integrating the pilot's observation error and the error due to the simulation model (experimental error). Methods for solving the HRE problem are suggested. Experimental verification of the models will be tested in a flight quality handling simulation.

Ntuen, Celestine A.↗

NASA NTRS2013

KINEROS2-AGWA: Model Use, Calibration, and Validation

KINEROS (KINematic runoff and EROSion) originated in the 1960s as a distributed event-based model that conceptualizes a watershed as a cascade of overland flow model elements that flow into trapezoidal channel model elements. KINEROS was one of the first widely available watershed models that interactively coupled a finite difference approximation of the kinematic overland flow equations to a physically based infiltration model. Development and improvement of KINEROS continued from the 1960s on a variety of projects for a range of purposes, which has resulted in a suite of KINEROS-based modeling tools. This article focuses on KINEROS2 (K2), a spatially distributed, event-based watershed rainfall-runoff and erosion model, and the companion ArcGIS-based Automated Geospatial Watershed Assessment (AGWA) tool. AGWA automates the time-consuming tasks of watershed delineation into distributed model elements and initial parameterization of these elements using commonly available, national GIS data layers. A variety of approaches have been used to calibrate and validate K2 successfully across a relatively broad range of applications (e.g., urbanization, pre- and post-fire, hillslope erosion, erosion from roads, runoff and recharge, and manure transport). The case studies presented in this article (1) compare lumped to stepwise calibration and validation of runoff and sediment at plot, hillslope, and small watershed scales; and (2) demonstrate an uncalibrated application to address relative change in watershed response to wildfire.

Erosion↗

NASA NTRS1974

Operations analysis (study 2.1): Payload designs for space servicing

Potential modes of operating in space in the space shuttle era are documented. The October 1973 NASA Mission Model provides a definition of various NASA and non-DOD automated payload configurations when employed in an expendable mode. The model also specifies a launch schedule for initial deployment of payloads as well as for subsequent replacements at periodic cycles. This model and its associated payload definitions serve as a foundation for the data presented in this report. The reference model has been revised to reflect automated space servicing of payloads as an operational concept instead of the existing expendable approach. The indication is that the bulk of a payload's subsystems and mission equipment require no support over the lifetime of the program. However, failure of a single unit could result in loss of the mission objectives. When space servicing is employed, the approach is to replace only that unit causing the anomaly. This concept affords an opportunity to standardize space replacable units, as well as to reduce the expense of logistics support, by allowing multiple servicing on any single upper stage/shuttle flight.

Wolfe, R. R.↗

NASA NTRS1991

Kate's Model Verification Tools

Kennedy Space Center's Knowledge-based Autonomous Test Engineer (KATE) is capable of monitoring electromechanical systems, diagnosing their errors, and even repairing them when they crash. A survey of KATE's developer/modelers revealed that they were already using a sophisticated set of productivity enhancing tools. They did request five more, however, and those make up the body of the information presented here: (1) a transfer function code fitter; (2) a FORTRAN-Lisp translator; (3) three existing structural consistency checkers to aid in syntax checking their modeled device frames; (4) an automated procedure for calibrating knowledge base admittances to protect KATE's hardware mockups from inadvertent hand valve twiddling; and (5) three alternatives for the 'pseudo object', a programming patch that currently apprises KATE's modeling devices of their operational environments.

Morgan, Steve↗

NASA NTRS2013

Development and Integration of an Advanced Stirling Convertor Linear Alternator Model for a Tool Simulating Convertor Performance and Creating Phasor Diagrams

A simple model of the Advanced Stirling Convertors (ASC) linear alternator and an AC bus controller has been developed and combined with a previously developed thermodynamic model of the convertor for a more complete simulation and analysis of the system performance. The model was developed using Sage, a 1-D thermodynamic modeling program that now includes electro-magnetic components. The convertor, consisting of a free-piston Stirling engine combined with a linear alternator, has sufficiently sinusoidal steady-state behavior to allow for phasor analysis of the forces and voltages acting in the system. A MATLAB graphical user interface (GUI) has been developed to interface with the Sage software for simplified use of the ASC model, calculation of forces, and automated creation of phasor diagrams. The GUI allows the user to vary convertor parameters while fixing different input or output parameters and observe the effect on the phasor diagrams or system performance. The new ASC model and GUI help create a better understanding of the relationship between the electrical component voltages and mechanical forces. This allows better insight into the overall convertor dynamics and performance.

Metscher, Jonathan F.↗

NASA NTRS2013

Development and Integration of an Advanced Stirling Convertor Linear Alternator Model for a Tool Simulating Convertor Performance and Creating Phasor Diagrams

A simple model of the Advanced Stirling Convertors (ASC) linear alternator and an AC bus controller has been developed and combined with a previously developed thermodynamic model of the convertor for a more complete simulation and analysis of the system performance. The model was developed using Sage, a 1-D thermodynamic modeling program that now includes electro-magnetic components. The convertor, consisting of a free-piston Stirling engine combined with a linear alternator, has sufficiently sinusoidal steady-state behavior to allow for phasor analysis of the forces and voltages acting in the system. A MATLAB graphical user interface (GUI) has been developed to interface with the Sage software for simplified use of the ASC model, calculation of forces, and automated creation of phasor diagrams. The GUI allows the user to vary convertor parameters while fixing different input or output parameters and observe the effect on the phasor diagrams or system performance. The new ASC model and GUI help create a better understanding of the relationship between the electrical component voltages and mechanical forces. This allows better insight into the overall convertor dynamics and performance.

Metscher, Jonathan F.↗

NASA NTRS2007

Rapid SAW Sensor Development Tools

The lack of integrated design tools for Surface Acoustic Wave (SAW) devices has led us to develop tools for the design, modeling, analysis, and automatic layout generation of SAW devices. These tools enable rapid development of wireless SAW sensors. The tools developed have been designed to integrate into existing Electronic Design Automation (EDA) tools to take advantage of existing 3D modeling, and Finite Element Analysis (FEA). This paper presents the SAW design, modeling, analysis, and automated layout generation tools.

Wilson, William C.↗