Search NASA⌕ Search

SEARCH · Search NASA

Results for “Level of Automation”

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 253 records · Page 14
All sourcesNASA NTRSDOE OSTI
NASA NTRS2004

Assume-Guarantee Verification of Source Code with Design-Level Assumptions

Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the 'state explosion' problem associated with this technique, we propose to integrate assume-guarantee verification at different phases of system development. During design, developers build abstract behavioral models of the system components and use them to establish key properties of the system. To increase the scalability of model checking at this level, we have developed techniques that automatically decompose the verification task by generating component assumptions for the properties to hold. The design-level artifacts are subsequently used to guide the implementation of the system, but also to enable more efficient reasoning at the source code-level. In particular we propose to use design-level assumptions to similarly decompose the verification of the actual system implementation. We demonstrate our approach on a significant NASA application, where design-level models were used to identify; and correct a safety property violation, and design-level assumptions allowed us to check successfully that the property was presented by the implementation.

Giannakopoulou, Dimitra↗
NASA NTRS1980

Single pilot IFR autopilot complexity/benefit tradeoff study

Five levels of autopilot complexity were flown in a single engine IFR simulation for several different IFR terminal operations. A comparison was made of the five levels of complexity ranging from no-autopilot to a fully coupled lateral and vertical guidance mode to determine the relative benefits vs. complexity/cost of state-of-the-art autopilot capability in the IFR terminal area. For the levels of progression tested, the heading select mode made the largest difference in decreasing workload and simplifying the approach task. It was also found that the largest number of blunders was detected with the most fully automated mode. The data also showed that, regardless of the autopilot mode, performance during an IFR approach was highly dependent on the type of approach being flown. These results indicate that some level of automation is desirable when making IFR approaches in a high workload environment, but also that some disturbing trends are associated with the higher levels of automation.

Bergeron, H. P.↗
DOE OSTI2025

Lens Modeling of STRIDES Strongly Lensed Quasars Using Neural Posterior Estimation

Strongly lensed quasars can be used to constrain cosmological parameters through time-delay cosmography. Models of the lens masses are a necessary component of this analysis. To enable time-delay cosmography from a sample of $\mathcal{O}(10^3)$ lenses, which will soon become available from surveys like the Rubin Observatory’s Legacy Survey of Space and Time and the Euclid Wide Survey, we require fast and standardizable modeling techniques. To address this need, we apply neural posterior estimation (NPE) for modeling galaxy-scale strongly lensed quasars from the Strong Lensing Insights into the Dark Energy Survey (STRIDES) sample. NPE brings two advantages: speed and the ability to implicitly marginalize over nuisance parameters. We extend this method by employing sequential NPE to increase precision of mass model posteriors. We then fold individual lens models into a hierarchical Bayesian inference to recover the population distribution of lens mass parameters, accounting for out-of-distribution shift. After verifying our method using simulated analogs of the STRIDES lens sample, we apply our method to 14 Hubble Space Telescope single-filter observations. We find the population mean of the power-law elliptical mass distribution slope, γ lens , to be $\mathcal{M}_γ$ lens = 2.13 ± 0.06. Our result represents the first population-level constraint for these systems. This population-level inference from fully automated modeling is an important stepping stone toward cosmological inference with large samples of strongly lensed quasars.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS1971

Research and applications: Artificial intelligence

Research in the field of artificial intelligence is discussed. The focus of recent work has been the design, implementation, and integration of a completely new system for the control of a robot that plans, learns, and carries out tasks autonomously in a real laboratory environment. The computer implementation of low-level and intermediate-level actions; routines for automated vision; and the planning, generalization, and execution mechanisms are reported. A scenario that demonstrates the approximate capabilities of the current version of the entire robot system is presented.

Raphael, B.↗
NASA NTRS1990

Cockpit display of hazardous wind shear information

Information on cockpit display of wind shear information is given in viewgraph form. Based on the current status of windshear sensors and candidate data dissemination systems, the near-term capabilities for windshear avoidance will most likely include: (1) Ground-based detection: TDWR (Terminal Doppler Weather Radar), LLWAS (Low-Level Windshear Alert System), Automated PIREPS; (2) Ground-Air datalinks: Air traffic control voice channels, Mode-S digital datalink, ACARS alphanumeric datalink. The possible datapaths for integration of these systems are illustrated in a diagram. In the future, airborne windshear detection systems such as lidars, passive IR detectors, or airborne Doppler radars may also become available. Possible future datalinks include satellite downlink and specialized en route weather channels.

Wanke, Craig↗
NASA NTRS1991

Unattended network operations technology assessment study. Technical support for defining advanced satellite systems concepts

The results are summarized of an unattended network operations technology assessment study for the Space Exploration Initiative (SEI). The scope of the work included: (1) identified possible enhancements due to the proposed Mars communications network; (2) identified network operations on Mars; (3) performed a technology assessment of possible supporting technologies based on current and future approaches to network operations; and (4) developed a plan for the testing and development of these technologies. The most important results obtained are as follows: (1) addition of a third Mars Relay Satellite (MRS) and MRS cross link capabilities will enhance the network's fault tolerance capabilities through improved connectivity; (2) network functions can be divided into the six basic ISO network functional groups; (3) distributed artificial intelligence technologies will augment more traditional network management technologies to form the technological infrastructure of a virtually unattended network; and (4) a great effort is required to bring the current network technology levels for manned space communications up to the level needed for an automated fault tolerance Mars communications network.

Price, Kent M.↗
NASA NTRS1999

Transition to Glass: Pilot Training for High-Technology Transport Aircraft

This report examines the activities of a major commercial air carrier between 1993 and late 1996 as it acquired an advanced fleet of high-technology aircraft (Boeing 757). Previously, the airline's fleet consisted of traditional (non-glass) aircraft, and this report examines the transition from a traditional fleet to a glass one. A total of 150 pilots who were entering the B-757 transition training volunteered for the study, which consisted of three query phases: (1) first day of transition training, (2) 3 to 4 months after transition training, and (3) 12 to 14 months after initial operating experience. Of these initial 150 pilots, 99 completed all three phases of the study, with each phase consisting of probes on attitudes and experiences associated with their training and eventual transition to flying the line. In addition to the three questionnaires, 20 in-depth interviews were conducted. Although the primary focus of this study was on the flight training program, additional factors such as technical support, documentation, and training aids were investigated as well. The findings generally indicate that the pilot volunteers were highly motivated and very enthusiastic about their training program. In addition, the group had low levels of apprehension toward automation and expressed a high degree of satisfaction toward their training. However, there were some concerns expressed regarding the deficiencies in some of the training aids and lack of a free-play flight management system training device.

Wiener, Earl L.↗
NASA NTRS2011

Cartesian Off-Body Grid Adaption for Viscous Time- Accurate Flow Simulation

An improved solution adaption capability has been implemented in the OVERFLOW overset grid CFD code. Building on the Cartesian off-body approach inherent in OVERFLOW and the original adaptive refinement method developed by Meakin, the new scheme provides for automated creation of multiple levels of finer Cartesian grids. Refinement can be based on the undivided second-difference of the flow solution variables, or on a specific flow quantity such as vorticity. Coupled with load-balancing and an inmemory solution interpolation procedure, the adaption process provides very good performance for time-accurate simulations on parallel compute platforms. A method of using refined, thin body-fitted grids combined with adaption in the off-body grids is presented, which maximizes the part of the domain subject to adaption. Two- and three-dimensional examples are used to illustrate the effectiveness and performance of the adaption scheme.

Buning, Pieter G.↗
NASA NTRS2011

Terminal Area Procedures for Paired Runways

Parallel runway operations have been found to increase capacity within the National Airspace but poor visibility conditions reduce the use of these operations. The NextGen and SESAR Programs have identified the capacity benefits from increased use of closely-space parallel runway. Previous research examined the concepts and procedures related to parallel runways however, there has been no investigation of the procedures associated with the strategic and tactical pairing of aircraft for these operations. This simulation study developed and examined the pilot and controller procedures and information requirements for creating aircraft pairs for parallel runway operations. The goal was to achieve aircraft pairing with a temporal separation of 15s (+/- 10s error) at a coupling point that was about 12 nmi from the runway threshold. Two variables were explored for the pilot participants: two levels of flight deck automation (current-day flight deck automation and auto speed control future automation) as well as two flight deck displays that assisted in pilot conformance monitoring. The controllers were also provided with automation to help create and maintain aircraft pairs. Results show the operations in this study were acceptable and safe. Subjective workload, when using the pairing procedures and tools, was generally low for both controllers and pilots, and situation awareness was typically moderate to high. Pilot workload was influenced by display type and automation condition. Further research on pairing and off-nominal conditions is required however, this investigation identified promising findings about the feasibility of closely-spaced parallel runway operations.

Lozito, Sandra↗
NASA NTRS2000

Tactile Sensing for Dexterous Robotic Hands

Robotic systems will be used as precursors to human exploration to explore the solar system and expand our knowledge of planetary surfaces. Robotic systems will also be used to build habitats and infrastructure required for human presence in space and on other planetary surfaces . Such robots will require a high level of intelligence and automation. The ability to flexibly manipulate their physical environment is one characteristic that makes humans so effective at these building and exploring tasks . The development of a generic autonomous grasp ing capability will greatly enhance the efficiency and ability of robotics to build, maintain and explore. To tele-operate a robot over vast distances of space, with long communication delays, has proven to be troublesome. Having an autonomous grasping capability that can react in real-time to disturbances or adapt to generic objects, without operator intervention, will reduce the probability of mishandled tools and samples and reduce the number of re-grasp attempts due to dropping. One aspect that separates humans from machines is a rich sensor set. We have the ability to feel objects and respond to forces and textures. The development of touch or tactile sensors for use on a robot that emulates human skin and nerves is the basis for this discussion. We will discuss the use of new piezo-electric and resistive materials that have emerged on the market with the intention of developing a touch sensitive sensor. With viable tacti le sensors we will be one step closer to developing an autonomous grasping capability.

Martin, Toby B.↗
NASA NTRS2011

Terminal Area Procedures for Paired Runways

Parallel Runway operations have been found to increase capacity within the National Airspace (NAS) however, poor visibility conditions reduce this capacity [1]. Much research has been conducted to examine the concepts and procedures related to parallel runways however, there has been no investigation of the procedures associated with the strategic and tactical pairing of aircraft for these operations. This study developed and examined the pilot and controller procedures and information requirements for creating aircraft pairs for parallel runway operations. The goal was to achieve aircraft pairing with a temporal separation of 15s(+/- 10s error) at a coupling point that is about 12 nmi from the runway threshold. Two variables were explored for the pilot participants: Two levels of flight deck automation (current-day flight deck automation, and a prototype future automation) as well as two flight deck displays that assisted in pilot conformance monitoring. The controllers were also provided with automation to help create and maintain aircraft pairs. Data showed that the operations in this study were found to be acceptable and safe. Workload when using the pairing procedures and tools was generally low for both controllers and pilots, and situation awareness (SA) was typically moderate to high. There were some differences based upon the display and automation conditions for the pilots. Future research should consider the refinement of the concepts and tools for pilot and controller displays and automation for parallel runway concepts.

Lozito, Sandy↗
NASA NTRS2020

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con-trol its next near term behavior. We present a high-level view of the automated flight rule checker FRC for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there-fore be verified with a trace analysis tool. FRC is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con-text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

LADEE↗
NASA NTRS2020

A Flight Rule Checker for the LADEE Lunar Spacecraft

As part of the design of a space mission, an important part is the design of so-called flight rules. Flight rules express constraints on various parts and processes of the mission, that if followed, will reduce the risk of failure. One such set of flight rules constrain the format of command sequences regularly (e.g. daily) sent to the spacecraft to con- trol its next near term behavior. We present a high-level view of the automated flight rule checker Frc for checking command sequences sent to NASA’s LADEE Lunar mission spacecraft, used throughout its entire mission. A command sequence is in this case essentially a program (a sequence of commands) with no loops or conditionals, and it can there- fore be verified with a trace analysis tool. Frc is implemented using the TraceContract runtime verification tool, an internal Scala DSL for checking event sequences against “formal specifications”. The paper illustrates this untraditional use of runtime verification in a real con- text, with strong demands on the expressiveness and flexibility of the specification language, illustrating the advantages of an internal DSL.

Kurklu, Elif↗
NASA NTRSDate not supplied

Initial Performance Evaluation of Flight Path Management Onboard Automation

Significant developments in automation are necessary to achieve safe and efficient operations in advanced aerial mobility related concepts. Urban Air Mobility (UAM) is rapidly growing, emerging field that poses a challenging use case with a tighter scale of operations compared to the traditional commercial transport paradigm. A large part of the challenge is the uncharted territory; as of this paper, no set of operational standards or guidelines for UAM operations have been established and automated en route operations for UAM level 4 (UML-4) have not been studied. Flight Path Management (FPM) automation provides a set of capabilities that are critical toward enabling airborne vehicles to achieve mission success while maintaining operational safety. An initial performance evaluation of FPM automation was conducted using a UAM-adapted version of the Autonomous Operations Planner (AOP), an onboard trajectory management capability developed over years of research targeting commercial transport operations, as its reference implementation. This paper describes the evaluation, including the approach and methodology for simulating FPM automation in UML-4, key results, future work, and conclusions.

flight path management↗
NASA NTRSDate not supplied

Initial Performance Evaluation of Flight Path Management Onboard Automation

Significant developments in automation are necessary to achieve safe and efficient operations in advanced aerial mobility related concepts. Urban Air Mobility (UAM) is rapidly growing, emerging field that poses a challenging use case with a tighter scale of operations compared to the traditional commercial transport paradigm. A large part of the challenge is the uncharted territory; as of this paper, no set of operational standards or guidelines for UAM operations have been established and automated en route operations for UAM level 4 (UML-4) have not been studied. Flight Path Management (FPM) automation provides a set of capabilities that are critical toward enabling airborne vehicles to achieve mission success while maintaining operational safety. An initial performance evaluation of FPM automation was conducted using a UAM-adapted version of the Autonomous Operations Planner (AOP), an onboard trajectory management capability developed over years of research targeting commercial transport operations, as its reference implementation. This paper describes the evaluation, including the approach and methodology for simulating FPM automation in UML-4, key results, future work, and conclusions.

flight path management↗
NASA NTRSDate not supplied

An Overview of Advanced Air Mobility Research at NASA

Advanced Air Mobility (AAM) will enable new types of aircraft to operate more cleanly, efficiently, and quietly, complemented by higher levels of autonomy and automation, and supported by air traffic management systems and infrastructure. The operations that these aircraft and systems are intended to conduct are designed to support missions that cover a varied set of use cases. The National Aeronautics and Space Administration (NASA) has been helping to lead the way in its AAM research through a broad portfolio of efforts that leverages multiple internal activities and external collaborations with industry and government. As the AAM concept has continued to advance, it has also become clear that there are very likely great benefits in its application to disaster response and the challenges posed by such complex events. In this application, NASA is leveraging its foundational work performed in partnership with the Japan Aerospace Exploration Agency (JAXA) on integrated unmanned and manned aircraft operations in disaster response situations. The joint NASA and JAXA work, along with the ongoing AAM efforts, have contributed to the formulation of a new project that will expand the scope of technology integration with an initial focus on wildland firefighting.

advanced air mobility↗