Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “CaSe”

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 397 records · Page 22
All sourcesNASA NTRSDOE OSTI
NASA NTRS2009

Deriving Safety Cases from Machine-Generated Proofs

Proofs provide detailed justification for the validity of claims and are widely used in formal software development methods. However, they are often complex and difficult to understand, because they use machine-oriented formalisms; they may also be based on assumptions that are not justified. This causes concerns about the trustworthiness of using formal proofs as arguments in safety-critical applications. Here, we present an approach to develop safety cases that correspond to formal proofs found by automated theorem provers and reveal the underlying argumentation structure and top-level assumptions. We concentrate on natural deduction proofs and show how to construct the safety cases by covering the proof tree with corresponding safety case fragments.

Basir, Nurlida↗
NASA NTRS2015

Anomalous Cases of Astronaut Helmet Detection

An astronaut's helmet is an invariant, rigid image element that is well suited for identification and tracking using current machine vision technology. Future space exploration will benefit from the development of astronaut detection software for search and rescue missions based on EVA helmet identification. However, helmets are solid white, except for metal brackets to attach accessories such as supplementary lights. We compared the performance of a widely used machine vision pipeline on a standard-issue NASA helmet with and without affixed experimental feature-rich patterns. Performance on the patterned helmet was far more robust. We found that four different feature-rich patterns are sufficient to identify a helmet and determine orientation as it is rotated about the yaw, pitch, and roll axes. During helmet rotation the field of view changes to frames containing parts of two or more feature-rich patterns. We took reference images in these locations to fill in detection gaps. These multiple feature-rich patterns references added substantial benefit to detection, however, they generated the majority of the anomalous cases. In these few instances, our algorithm keys in on one feature-rich pattern of the multiple feature-rich pattern reference and makes an incorrect prediction of the location of the other feature-rich patterns. We describe and make recommendations on ways to mitigate anomalous cases in which detection of one or more feature-rich patterns fails. While the number of cases is only a small percentage of the tested helmet orientations, they illustrate important design considerations for future spacesuits. In addition to our four successful feature-rich patterns, we present unsuccessful patterns and discuss the cause of their poor performance from a machine vision perspective. Future helmets designed with these considerations will enable automated astronaut detection and thereby enhance mission operations and extraterrestrial search and rescue.

Dolph, Chester↗
NASA NTRS2016

Goal Structuring Notation in a Radiation Hardening Assurance Case for COTS-Based Spacecraft

A systematic approach is presented to constructing a radiation assurance case using Goal Structuring Notation (GSN) for spacecraft containing COTS parts. The GSN paradigm is applied to an SRAM single-event upset experiment board designed to fly on a CubeSat in January 2017. A custom software language for development of a GSN assurance case is under development at Vanderbilt. Construction of a radiation assurance case without use of hardened parts or extensive radiation testing is discussed.

Radiation Effects Modeling (REM)↗
NASA NTRS2016

Engineering Design Tools for Shape Memory Alloy Actuators: CASMART Collaborative Best Practices and Case Studies

The primary goal of the Consortium for the Advancement of Shape Memory Alloy Research and Technology (CASMART) is to enable the design of revolutionary applications based on shape memory alloy (SMA) technology. In order to help realize this goal and reduce the development time and required experience for the fabrication of SMA actuation systems, several modeling tools have been developed for common actuator types and are discussed herein along with case studies, which highlight the capabilities and limitations of these tools. Due to their ability to sustain high stresses and recover large deformations, SMAs have many potential applications as reliable, lightweight, solid-state actuators. Their advantage over classical actuators can also be further improved when the actuator geometry is modified to fit the specific application. In this paper, three common actuator designs are studied: wires, which are lightweight, low-profile, and easily implemented; springs, which offer actuation strokes upwards of 200 at reduced mechanical loads; and torque tubes, which can provide large actuation forces in small volumes and develop a repeatable zero-load actuation response (known as the two-way shape memory effect). The modeling frameworks, which have been implemented in the design tools, are developed for each of these frequently used SMA actuator types. In order to demonstrate the versatility and flexibility of the presented design tools, as well as validate their modeling framework, several design challenges were completed. These case studies include the design and development of an active hinge for the deployment of a solar array or foldable space structure, an adaptive solar array deployment and positioning system, a passive air temperature controller for regulation flow temperatures inside of a jet engine, and a redesign of the Corvette active hatch, which allows for pressure equalization of the car interior. For each of the presented case studies, a prototype or proof-of-concept was fabricated and the experimental results and lessons learned are discussed. This analysis presents a collection of CASMART collaborative best practices in order to allow readers to utilize the available design tools and understand their modeling principles. These design tools, which are based on engineering models, can provide first-order optimal designs and are a basic and efficient method for either demonstrating design feasibility or refining design parameters. Although the design and integration of an SMA-based actuation system always requires application- and environment-specific engineering considerations, common modeling tools can significantly reduce the investment required for actuation system development and provide valuable engineering insight.

Design tools↗
NASA NTRS2016

Energy Limits of Electron Acceleration in the Plasma Sheet During Substorms: A Case Study with the Magnetospheric Multiscale (MMS) Mission

We present multipoint observations of earthward moving dipolarization fronts and energetic particle injections from NASAs Magnetospheric Multiscale mission with a focus on electron acceleration. From a case study during a substorm on 02 August 2015, we find that electrons are only accelerated over a finite energy range, from a lower energy threshold at approx. 7-9 keV up to an upper energy cutoff in the hundreds of keV range. At energies lower than the threshold energy, electron fluxes decrease, potentially due to precipitation by strong parallel electrostatic wavefields or initial sources in the lobes. Electrons at energies higher than the threshold are accelerated cumulatively by a series of impulsive magnetic dipolarization events. This case demonstrates how the upper energy cutoff increases, in this case from approx. 130 keV to >500 keV, with each depolarization/injection during sustained activity. We also present a simple model accounting for these energy limits that reveals that electron energization is dominated by betatron acceleration.

Turner, D. L.↗
NASA NTRS2017

Understanding What It Means for Assurance Cases to "Work"

This report is the result of our year-long investigation into assurance case practices and effectiveness. Assurance cases are a method for working toward acceptable critical system performance. They represent a significant thread of applied assurance methods extending back many decades and being employed in a range of industries and applications. Our research presented in this report includes a literature survey of over 50 sources and interviews with nearly a dozen practitioners in the field. We have organized our results into seven major claimed assurance case benefits and their supporting mechanisms, evidence, counter-evidence, and caveats.

David J Rinehart↗
NASA NTRS2018

UTM RTT CWG Concept & Use Cases Package #2

The Concept & Use Cases Package #2: Technical Capability Level 3 document represents the collaborative research efforts between the FAA and NASA as joint members of the Unmanned Aircraft System Traffic Management (UTM) Research Transition Team (RTT). Contained in this document are the 1) Terms and Definitions, 2) Foundational Principles, 3) Concept Narratives, 4) Use Cases, 5) Operational Views, and 6) Roles and Responsibilities of actors interacting within what is considered to be encompassed by Technical Capability Level 3 UTM operating environments. The contents of Package #2 should NOT be considered established policy or construed as regulatory in nature. What is presented is meant to communicate the current, agreed upon understanding between the FAA and NASA on particular features of UTM as exemplified through use cases and concept narratives for the purposes of supporting joint NASA/Industry Demonstrations and the UTM Pilot Program. It is also meant to foster discussion and refinement of the concepts and approaches being pursued by the other RTT working groups.

RTT↗
NASA NTRS2019

CRMS Special Case Event Identification & Course of Action Concept of Operations

This package presents the CRMS identification of special Conjunction cases and the documented process for handling these special cases. The presentation is beneficial to anyone considering performing Conjunction Assessment by identifying and understanding the types of special cases that requires attention.

Duncan, Matthew G.↗
NASA NTRS2020

Comparison of Surface Fluxes Derived from CYGNSS and Simulated by WRF Model: An MJO Case Study

This study focuses on ocean surface fluxes, mainly the latent heat flux, and their impact on MJO propagation and associated precipitation structures over the Indian Ocean and Maritime Continent. The Coupled-Ocean-Atmosphere-Wave-Sediment Transport (COAWST) model is used to simulate two MJO events during the 2017-2018 season: the December 10 - January 20, 2017 case, which maintained its strong precipitation signal over the Maritime Continent, and the March 1 - 20, 2018 case, which was weaker and did not propagate through the Maritime Continent. Both simulated MJO events show positive biases in surface rainfall compared with GPM IMERG data. During the MJO suppressed phase, the simulations rain more often than the observations. During the active phase, the westward propagating precipitation structures are more organized and much stronger compared with the observations, sometimes forming westward propagating cyclones that weakened the eastward precipitation signals. Two aspects of the surface flux interactions are investigated: the impact of the domain mean surface fluxes, and the impact of storm scale circulations and their interactions with local surface fluxes. Both aspects affect water vapor budget, atmosphere instability and mean flow, through which convection initiation, organization, and propagation are influenced. Model sensitivity tests with different radiation, microphysics, PBL schemes and nudging schemes indicate that in the control simulations, higher SST and surface fluxes, especially during the suppressed period, are the main reason of rainfall overestimation compared with IMERG data. The strong westward propagating signals are caused by both increased atmosphere instability and reduced mean wind shear. Unfortunately, the small differences in mean SST and surface fluxes between different model sensitivity tests are all within the satellite observation error margin, and cannot be directly corroborated by observations. One of the advantages of CYGNSS satellites is that they observe ocean surface wind and heat fluxes underneath strong rainfall events such as the convective systems associated with MJO active phases. Currently we are comparing CYGNSS level 2 surface fluxes retrievals and the model simulations in order to better understand the second aspect of the MJO and surface fluxes interactions, and how this affects MJO strengths and propagations. The interactive atmosphere-ocean-wave model also provides cases that directly comparing satellite observables (the bistatic radar cross section) and the model simulations (through CYGNSS satellite simulator). These discrepancies are more prominent in coupled ocean simulations, mainly due to higher SST and enhanced surface fluxes.

Li, Xiaowen↗
NASA NTRS2017

A CubeSat-Payload Radiation-Reliability Assurance Case using Goal Structuring Notation

CubeSats have become an attractive platform for universities, industry, and government space missions because they are cheaper and quicker to develop than full-scale satellites. One way CubeSats keep costs low is by using commercial off-the-shelf parts (COTS) instead of space-qualified parts. Space-qualified parts are often costlier, larger, and consume more power than their commercial counterparts precluding their use within the CubeSat form-factor. Given typical power budgets, monetary budgets, and timelines for CubeSat missions, conventional radiation hardness assurance, like the use of space-qualified parts and radiation testing campaigns of COTS parts, is not practical. Instead, a system-level approach to radiation effects mitigation is needed. In this paper an assurance case for a system-level approach to mitigate radiation effects of a CubeSat science experiment is expressed using Goal Structuring Notation (GSN), a graphical argument standard. The case specifically looks at three main mitigation strategies for the radiation environment: total ionizing dose (TID) screening of parts, detection and recovery from single-event latch-ups (SEL) and single-event functional interrupts (SEFI). The graphical assurance case presented makes a qualitative argument for the radiation reliability of the CubeSat experiment using part and system-level mitigation strategies.

COTS↗
NASA NTRS2018

A Hybrid Method of Assurance Cases and Testing for Improved Confidence in Autonomous Space Systems

Autonomous systems react intelligently to their environments, making them capable of handling many possible conditions, but challenging to test. We are investigating a new test development method that aims to maximize the confidence to be achieved by combining Assurance Cases with High Throughput Testing (HTT). Assurance Cases, developed for safety-critical systems, are a rigorous argument that the system satisfies a property (e.g., the Mars rover will not tip over during a traverse). They integrate testing, analysis, and environmental and operational assumptions, from which the set of conditions that testing must cover is determined. In our method, information from the Assurance Case is used to determine the test coverage needed, and then input to HTT to generate the minimal test suites needed to provide that coverage.

Huntsberger, Terry↗
NASA NTRS2021

Numerical Simulation of Pressure-induced Separation of Turbulent Flat-plate Boundary Layers: Definition and Overview of New Cases with Suction-only Transpiration and a Step in Reynolds Number

Results from two new direct numerical simulations (DNSs) are added to the database described in Coleman, Rumsey & Spalart (2018) (henceforth CRS18), and available at the NASA TMR website (https://turbmodels.larc.nasa.gov). The new flows, Cases D and E, are similar to the earlier ones (Cases A–C) in that a transpiration profile above a flat plate creates a prolonged adverse pressure gradient (APG) that drives a canonical turbulent zero-pressure-gradient (ZPG), flat-plate boundary layer towards separation; they differ in that for the new cases (1) the APG is not followed by a favorable gradient (FPG), since only suction transpiration is employed, and (2) the mean shear stress does not cross zero, so that the width of the mean bubble, strictly defined, is essentially zero. However, the probability of reversed skin friction exceeds 49%. The motivation was to produce a flow that is more akin to technological flows, including shock-boundary-layer interaction, with a gradual turbulence-controlled recovery. One of the new simulations is also at a significantly higher Reynolds number than the earlier flows.

Turbulence↗
NASA NTRSDate not supplied

Identifying Common Use Cases across Extensible Traffic Management (xTM) for Interactions with Air Traffic Controllers

NASA’s Extensible Traffic Management (xTM) builds on the foundation and the architecture of Unmanned Aircraft Systems (UAS) Traffic Management (UTM) concept and extends it broadly to other domains, such as Advanced / Urban Air Mobility (AAM/UAM) and Upper Class E Traffic Management (ETM). These xTM concepts assume the ability to fly in airspace that is authorized to operate solely under xTM services and mostly without any air traffic control (ATC) support. However, they also assume circumstances in which the xTM vehicles would need to operate in conventional ATC-managed airspace, both during nominal and off-nominal scenarios. Due to the vast differences in the xTM vehicle performances and missions, there is a concern that ATC may have difficulty in safely managing the xTM traffic and providing appropriate services to all vehicles, unless a consistent set of roles, procedures, and data exchange requirements are defined across the diverse set of xTM vehicle operations. In this paper, we describe a set of use cases that have been identified in UTM, AAM/UAM, and ETM operations that are related to ATC interactions, and we propose to categorize these use cases across xTM domains based on common trigger events. Organizing the use cases from the perspective of ATC roles per each trigger event is expected to provide the first step in discovering common procedures and data requirements across xTM domains that could help ease the controllers’ cognitive task load and allow them to manage these interactions more safely.

Extensible Traffic Management (xTM)↗
NASA NTRSDate not supplied

DAA Use Case for Auto Cargo m:N Operations

A detect and avoid use-case was developed to highlight detect and avoid issues associated with m:N operations in the auto cargo domain. This work is being done in conjunction with industry partners and developed for the Operational Scenario and Environmental Description (OSED) for RTCA SC-228. The detect and avoid function is critical, required technology for unmanned aircraft to operation in the national airspace. RTCA SC-228 has published MOPS (phase 1 & 2) detailing the requirements and methods of compliance. This work will help address additional operational aspects of how/when DAA will be employed by unmanned systems. Specifically, this work focuses on “auto cargo” operations. Auto cargo, in this context, refers to regularly scheduled cargo-size aircraft that are flown remotely. The Remote Pilot In Command (RPIC), in this case, is responsible for multiple aircraft, flown simultaneously. The use-case details the use of DAA in this context, the potential issues and gaps that exist.

multi-vehicle control↗
NASA NTRSDate not supplied

Integrating Upper Class E Traffic Management (ETM) Operations into the National Airspace System: Use Cases and Research Questions

As new categories of vehicles are introduced in the National Airspace System, so too are novel concepts for a cooperative approach to traffic management environments. One of these new environments, Upper Class E Traffic Management (ETM), is expected to include a variety of high altitude, long endurance vehicles with a range of performance capabilities and mission profiles that operate in cooperative areas above 60,000 feet. In addition to developing the rules, architecture, and systems for operations within the ETM environment itself, it is also important to consider how ETM vehicles will integrate with traditional Air Traffic Management and interact with Air Traffic Control (ATC) as they traverse ATC-controlled airspace and transition in and out of cooperative ETM operating areas. As a first step toward future ETM demonstrations at the National Aeronautics and Space Administration (NASA) Ames Research Center’s Airspace Operations Laboratory, use cases with step-by-step procedures were developed to identify both nominal and off-nominal scenarios in which ETM operations will interact with ATC. As NASA prepares to develop a simulation platform to demonstrate ETM cooperative practices and ETM-ATC interactions, the procedures, ATC roles and responsibilities, data exchange requirements, and research questions that were identified as part of use case development will inform scenario and system architecture design. The upcoming simulation work will include initial prototype ETM-ATC coordination tools to support ATC controllers’ interactions with ETM operations. This paper will briefly discuss NASA’s upcoming ETM development work and then provide background on ETM-ATC interactions, describe each ETM-ATC interaction use case, and discuss open questions on concept, procedures, and assumptions.

ATC↗
NASA NTRSDate not supplied

Integrating Upper Class E Traffic Management (ETM) Operations into the National Airspace System: Use Cases and Research Questions

As new categories of vehicles are introduced in the National Airspace System, so too are novel concepts for a cooperative approach to traffic management environments. One of these new environments, Upper Class E Traffic Management (ETM), is expected to include a variety of high altitude, long endurance vehicles with a range of performance capabilities and mission profiles that operate in cooperative areas above 60,000 feet. In addition to developing the rules, architecture, and systems for operations within the ETM environment itself, it is also important to consider how ETM vehicles will integrate with traditional Air Traffic Management and interact with Air Traffic Control (ATC) as they traverse ATC-controlled airspace and transition in and out of cooperative ETM operating areas. As a first step toward future ETM demonstrations at the National Aeronautics and Space Administration (NASA) Ames Research Center’s Airspace Operations Laboratory, use cases with step-by-step procedures were developed to identify both nominal and off-nominal scenarios in which ETM operations will interact with ATC. As NASA prepares to develop a simulation platform to demonstrate ETM cooperative practices and ETM-ATC interactions, the procedures, ATC roles and responsibilities, data exchange requirements, and research questions that were identified as part of use case development will inform scenario and system architecture design. The upcoming simulation work will include initial prototype ETM-ATC coordination tools to support ATC controllers’ interactions with ETM operations. This paper will briefly discuss NASA’s upcoming ETM development work and then provide background on ETM-ATC interactions, describe each ETM-ATC interaction use case, and discuss open questions on concept, procedures, and assumptions.

ATC↗
NASA NTRS2022

NASA's Responsible AI Use Cases

This submission consists of NASA's Responsible Artificial Intelligence (RAI) Use Cases. These RAI Use Cases are to be made public, pursuant to the Presidential Executive Order 13960, Promoting the Use of Trustworthy Artificial Intelligence in the Federal Government. They were collected from NASA's practicing AI research community and cover the gamut of NASA's AI activities. These Use Cases will be updated annually as required by the Executive Order. The information included consists of the NASA Center, a summary of the goal, the AI techniques being applied, information on training data, and information on source code.

Artificial Intelligence↗
NASA NTRSDate not supplied

FUN3D Analyses of the 5th AIAA Propulsion Aerodynamics Workshop Inlet Test Case

This work presents the results of FUN3D analyses that were performed for the 5th AIAA Propulsion Aerodynamics Workshop. The workshop was separated into two sections that focused on inlet and nozzle flows. This paper focuses on the inlet section of the workshop, which considered an axisymmetric inlet in close-proximity to the ground and subjected to a crosswind. Four levels of grid refinement were provided by the workshop committee. Participants were asked to perform simulations for three crosswind velocities on a minimum of three levels of grid refinement, for a total of nine required cases. This work employed an updated set of grids provided by the committee after completion of the workshop based on feedback from participants. The updated grids featured a larger computational domain and increased refinement near the ground vortex region. This work employed the three coarsest grid levels from the updated grid set. Note that an additional extension downstream of the inlet was added to the provided grids for this work to mitigate observed convergence issues. Additionally, a limited turbulence model study was performed for the highest value of crosswind velocity and the finest grid. The results show that grid convergence was only achieved for the case with the lowest value of crosswind velocity. However, the results were generally observed to improve, relative to the experimental data, with increasing grid refinement. The FUN3D predictions were observed to agree qualitatively with the provided experimental data. However, FUN3D exhibited a tendency to underpredict the minimum value of the radially averaged total pressure at the Aerodynamic Interface Plane, which is consistent with the general findings from the workshop. Overall, FUN3D was found to perform well relative to its peers for the PAW5 workshop inlet test case.

PAI↗