Search NASA⌕ Search

SEARCH · Search NASA

Results for “automated transit”

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 199 records · Page 11
All sourcesNASA NTRSDOE OSTI
NASA NTRS2006

Central East Pacific Flight Routing

With the introduction of the Federal Aviation Administration s Advanced Technology and Oceanic Procedures system at the Oakland Oceanic Center, a level of automation now exists in the oceanic environment to potentially begin accommodating increased user preferred routing requests. This paper presents the results of an initial feasibility assessment which examines the potential benefits of transitioning from the fixed Central East Pacific routes to user preferred routes. As a surrogate for the actual user-provided routing requests, a minimum-travel-time, wind-optimal dynamic programming algorithm was developed and utilized in this paper. After first describing the characteristics (e.g., origin airport, destination airport, vertical distribution and temporal distribution) of the westbound flights utilizing the Central East Pacific routes on Dec. 14-16 and 19-20, the results of both a flight-plan-based simulation and a wind-optimal-based simulation are presented. Whereas the lateral and longitudinal distribution of the aircraft trajectories in these two simulations varied dramatically, the number of simulated first-loss-of-separation events remained relatively constant. One area of concern that was uncovered in this initial analysis was a potential workload issue associated with the redistribution of traffic in the oceanic sectors due to thc prevailing wind patterns.

Grabbe, Shon↗
NASA NTRS2016

Process for Upgrading Cognitive Assessment Capabilities Onboard the International Space Station

MOTIVATION: Spaceflight poses varied and unique risks to the brain and cognitive functioning including radiation exposure, sleep disturbance, fatigue, fluid shifts (increased intracranial pressure), toxin exposure, elevated carbon dioxide, and traumatic brain injury, among others. These potential threats to cognitive functioning are capable of degrading performance and compromising mission success. Furthermore, the threats may increase in severity, and new types of threats may emerge for longer duration exploration missions. This presentation will describe the process used to identify gaps in our current approach, evaluate best practices in cognitive assessment, and transition new cognitive assessment tools to operational use. OVERVIEW: Risks to brain health and performance posed by spaceflight missions require sensitive tools to assess cognitive functioning of astronauts in flight. The Spaceflight Cognitive Assessment Tool for Windows (WinSCAT) is the automated cognitive assessment tool currently deployed onboard the International Space Station (ISS). WinSCAT provides astronauts and flight surgeons with objective data to monitor neurocognitive functioning. WinSCAT assesses 5 discrete cognitive domains, is sensitive to changes in cognitive functioning, and was designed to be completed in less than 15 minutes. However, WinSCAT does not probe other areas of cognitive functioning that might be important to mission success. Researchers recently have developed batteries that may expand current capabilities, such as increased sensitivity to subtle fluctuations in cognitive functioning. Therefore, we engaged in a systematic process review in order to improve upon our current capabilities and incorporate new advances in cognitive assessment. This process included a literature review on newer measures of neurocognitive assessment, surveys of operational flight surgeons at NASA regarding needs and gaps in our capabilities, and expert panel review of candidate cognitive measures and assessment issues and procedures. SIGNIFICANCE: Our process and the results that flowed from it may be helpful to aeromedical professionals charged with transitioning research findings to operational use. Our specific findings regarding cognitive assessment tools are of significance to professionals who must assess readiness to perform in mission critical situations in environments involving threats to cognition and performance

Picano, J. J.↗
NASA NTRS1989

IDEF3 and IDEF4 automation system requirements document and system environment models

The requirements specification is provided for the IDEF3 and IDEF4 tools that provide automated support for IDEF3 and IDEF4 modeling. The IDEF3 method is a scenario driven process flow description capture method intended to be used by domain experts to represent the knowledge about how a particular system or process works. The IDEF3 method provides modes to represent both (1) Process Flow Description to capture the relationships between actions within the context of a specific scenario, and (2) Object State Transition to capture the allowable transitions of an object in the domain. The IDEF4 method provides a method for capturing the (1) Class Submodel or object hierarchy, (2) Method Submodel or the procedures associated with each classes of objects, and (3) the Dispath Matching or the relationships between the objects and methods in the object oriented design. The requirements specified describe the capabilities that a fully functional IDEF3 or IDEF4 automated tool should support.

Blinn, Thomas M.↗
NASA NTRS1989

The influence of ice accretion physics on the forecasting of aircraft icing conditions

The physics which control aircraft ice accretion are reviewed in the context of identifying and forecasting hazardous icing conditions. The severity of aircraft icing is found to be extremely sensitive to temperature, liquid water content and droplet size distribution particularly near the transition between rime and mixed icing. The difficulty in measurement and the variability of these factors with altitude, position and time coupled with variable aircraft sensitivity make forecasting and identifying icing conditions difficult. Automated Pilot Reports (PIREPS) are suggested as one mechanism for improving the data base necessary to forecast icing conditions.

Hansman, R. John, Jr.↗
NASA NTRS1990

The influence of ice accretion physics on the forecasting of aircraft icing conditions

The physics which control aircraft ice accretion are reviewed in the context of identifying and forecasting hazardous icing conditions. The severity of aircraft icing is found to be extremely sensitive to temperature, liquid water content and droplet size distribution particularly near the transition between rime and mixed icing. The difficulty in measurement and the variability of these factors with altitude, position and time coupled with variable aircraft sensitivity make forecasting and identifying icing conditions difficult. Automated Pilot Reports (PIREPS) are suggested as one mechanism for improving the data base necessary to forecast icing conditions.

Hansman, R. John, Jr.↗
NASA NTRS1991

Results of prototype software development for automation of shuttle proximity operations

The effort involves demonstration of expert system technology application to Shuttle rendezvous operations in a high-fidelity, real-time simulation environment. The JSC Systems Engineering Simulator (SES) served as the test bed for the demonstration. Rendezvous applications were focused on crew procedures and monitoring of sensor health and trajectory status. Proximity operations applications were focused on monitoring, crew advisory, and control of the approach trajectory. Guidance, Navigation, and Control areas of emphasis included the approach, transition and stationkeeping guidance, and laser docking sensor navigation. Operator interface displays for monitor and control functions were developed. A rule-based expert system was developed to manage the relative navigation system/sensors for nominal operations and simple failure contingencies. Testing resulted in the following findings; (1) the developed guidance is applicable for operations with LVLH stabilized targets; (2) closing rates less than 0.05 feet per second are difficult to maintain due to the Shuttle translational/rotational cross-coupling; (3) automated operations result in reduced propellant consumption and plume impingement effects on the target as compared to manual operations; and (4) braking gates are beneficial for trajectory management. A versatile guidance design was demonstrated. An accurate proximity operations sensor/navigation system to provide relative attitude information within 30 feet is required and redesign of the existing Shuttle digital autopilot should be considered to reduce the cross-coupling effects. This activity has demonstrated the feasibility of automated Shuttle proximity operations with the Space Station Freedom. Indications are that berthing operations as well as docking can be supported.

Hiers, Hal↗
NASA NTRS2014

NASA Tech Briefs, January 2014

Topics include: Multi-Source Autonomous Response for Targeting and Monitoring of Volcanic Activity; Software Suite to Support In-Flight Characterization of Remote Sensing Systems; Visual Image Sensor Organ Replacement; Ultra-Wideband, Dual-Polarized, Beam-Steering P-Band Array Antenna; Centering a DDR Strobe in the Middle of a Data Packet; Using a Commercial Ethernet PHY Device in a Radiation Environment; Submerged AUV Charging Station; Habitat Demonstration Unit (HDU) Vertical Cylinder Habitat; Origami-Inspired Folding of Thick, Rigid Panels; A Novel Protocol for Decoating and Permeabilizing Bacterial Spores for Epifluorescent Microscopy; Method and Apparatus for Automated Isolation of Nucleic Acids from Small Cell Samples; Enabling Microliquid Chromatography by Microbead Packing of Microchannels; On-Command Force and Torque Impeding Devices (OC-FTID) Using ERF; Deployable Fresnel Rings; Transition-Edge Hot-Electron Microbolometers for Millimeter and Submillimeter Astrophysics; Spacecraft Trajectory Analysis and Mission Planning Simulation (STAMPS) Software; Cross Support Transfer Service (CSTS) Framework Library; Arbitrary Shape Deformation in CFD Design; Range Safety Flight Elevation Limit Calculation Software; Frequency-Modulated, Continuous-Wave Laser Ranging Using Photon-Counting Detectors; Calculation of Operations Efficiency Factors for Mars Surface Missions; GPU Lossless Hyperspectral Data Compression System; Robust, Optimal Subsonic Airfoil Shapes; Protograph-Based Raptor-Like Codes; Fuzzy Neuron: Method and Hardware Realization; Kalman Filter Input Processor for Boresight Calibration; Organizing Compression of Hyperspectral Imagery to Allow Efficient Parallel Decompression; and Temperature Dependences of Mechanisms Responsible for the Water-Vapor Continuum Absorption.

Source record↗
NASA NTRS1993

Education, training, and human engineering in aerospace; SAE Aerotech '93, Costa Mesa, CA, Sep. 27-30, 1993

Advances in simulation technology are discussed by a number of government and industry experts, for both training and research and development applications. Advanced techniques, such as helmet-mounted information displays, neurocontrollers, automated training systems, and simulation for space-based systems are included. Advances in training methodology for air transportation are covered by a group of experts in that field, including discussions of advanced flight deck transition training, new training tools, and effective low cost alternatives for part-task training. With the ever-increasing emphasis on human factors in cockpit and cabin design, the section on research, advances, and certification criteria in that field is pertinent. NASA, aircraft manufacturing, and FAA representatives have compiled an informative group of presentations concerning active topics and considerations in human factors design.

Shapiro, Diane C.↗
NASA NTRS2018

Advanced Symbolic Analysis Tools for Fault-Tolerant Integrated Distributed Systems

The project aims to develop advanced model-checking algorithms and tools to automate the verification of fault-tolerant distributed systems for avionics. We present a new method called Property-Directed K-Induction (PD-KIND) for synthesizing K-inductive invariants of state-transition systems. PD-KIND builds upon Satifiability Modulo Theories (SMT) to generalize Bradley's IC3 method and its variants. This method is implemented in a new tool called SALLY. Case studies show that PD-KIND can automatically verify fault-tolerant algorithms under a variety of fault models and that SALLY is competitive with other SMT-based model checkers.

Dutertre, Bruno↗
NASA NTRS1991

Phase-averaged measurements of perturbations introduced into boundary layers

Large-scale structures in turbulent and transitional wall-bounded flows make a significant contribution to the Reynolds stress and turbulent energy. The behavior of these structures is examined. Small perturbations are introduced into a laminar and a turbulent boundary layer to trigger the formation of large-scale features. Both flows use the same inlet unit Reynolds number, and they experience the same pressure gradient history, i.e. a favorable pressure gradient (FPG) followed by an adverse pressure gradient (APG). The perturbation consists of a small short duration flow repetitively introduced through a hole in the wall located at the C(sub p) minimum. Hot-wire data are averaged on the basis of the phase of the disturbance, and automation of the experiment was used to obtain measurements on large spatially dense grids. In the turbulent boundary, the perturbation evolves into a vortex loop which retains its identity for a considerable streamwise distance. In the laminar layer, the perturbation decays to a very small magnitude before growing rapidly and triggering the transition process in the APG. The 'time-like' animations of the phase-averaged data are used to gain insight into the naturally occurring physical mechanisms in each flow.

Watmuff, Jonathan H.↗
NASA NTRS1994

Neural Network Classifies Teleoperation Data

Prototype artificial neural network, implemented in software, identifies phases of telemanipulator tasks in real time by analyzing feedback signals from force sensors on manipulator hand. Prototype is early, subsystem-level product of continuing effort to develop automated system that assists in training and supervising human control operator: provides symbolic feedback (e.g., warnings of impending collisions or evaluations of performance) to operator in real time during successive executions of same task. Also simplifies transition between teleoperation and autonomous modes of telerobotic system.

Fiorini, Paolo↗
NASA NTRS1990

Beyond the Baseline: Proceedings of the Space Station Evolution Symposium: Space Station Freedom - Volume 1, Part 2

This report contains the individual presentations delivered at the Space Station Evolution Symposium in League City, Texas on February 6, 7, 8, 1990. Personnel responsible for Advanced Systems Studies and Advanced Development within the Space Station Freedom Program reported on the results of their work to date. Systems Studies presentations focused on identifying the baseline design provisions (hooks and scars) necessary to enable evolution of the facility to support changing space policy and anticipated user needs. Also emphasized were evolution configuration and operations concepts including on-orbit processing of space transfer vehicles. Advanced Development task managers discussed transitioning advanced technologies to the baseline program, including those near-term technologies which will enhance the safety and productivity of the crew and the reliability of station systems. Special emphasis was placed on applying advanced automation technology to ground and flight systems.

Source record↗
NASA NTRS1986

Towards automatic Markov reliability modeling of computer architectures

The analysis and evaluation of reliability measures using time-varying Markov models is required for Processor-Memory-Switch (PMS) structures that have competing processes such as standby redundancy and repair, or renewal processes such as transient or intermittent faults. The task of generating these models is tedious and prone to human error due to the large number of states and transitions involved in any reasonable system. Therefore model formulation is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model formulation. This paper presents an overview of the Automated Reliability Modeling (ARM) program, under development at NASA Langley Research Center. ARM will accept as input a description of the PMS interconnection graph, the behavior of the PMS components, the fault-tolerant strategies, and the operational requirements. The output of ARM will be the reliability of availability Markov model formulated for direct use by evaluation programs. The advantages of such an approach are (a) utility to a large class of users, not necessarily expert in reliability analysis, and (b) a lower probability of human error in the computation.

Liceaga, C. A.↗
NASA NTRS1993

Automatic specification of reliability models for fault-tolerant computers

The calculation of reliability measures using Markov models is required for life-critical processor-memory-switch structures that have standby redundancy or that are subject to transient or intermittent faults or repair. The task of specifying these models is tedious and prone to human error because of the large number of states and transitions required in any reasonable system. Therefore, model specification is a major analysis bottleneck, and model verification is a major validation problem. The general unfamiliarity of computer architects with Markov modeling techniques further increases the necessity of automating the model specification. Automation requires a general system description language (SDL). For practicality, this SDL should also provide a high level of abstraction and be easy to learn and use. The first attempt to define and implement an SDL with those characteristics is presented. A program named Automated Reliability Modeling (ARM) was constructed as a research vehicle. The ARM program uses a graphical interface as its SDL, and it outputs a Markov reliability model specification formulated for direct use by programs that generate and evaluate the model.

Liceaga, Carlos A.↗
NASA NTRS1994

Programmable Automated Welding System (PAWS): Control of welding through software and hardware

The ATD phase of the PAWS program ended in November 1992 and the follow-on ManTech program was started in September 1993. The system will be industrially hardened during the first year of this program. Follow-on years will focus upon the transition into specific end-user sites. These implementations will also expand the system into other welding processes (e.g. FCAW, GTAW, PAW). In addition, the architecture is being developed for application to other non-welding robotic processes (e.g. inspection, surface finishing). Future development is anticipated to encompass hardening for extreme environments, expanded exception handling techniques, and application to a range of manipulators.

Kline, Martin D.↗
NASA NTRS2000

A Flexible Statechart-to-Model-Checker Translator

Many current-day software design tools offer some variant of statechart notation for system specification. We, like others, have built an automatic translator from (a subset of) statecharts to a model checker, for use to validate behavioral requirements. Our translator is designed to be flexible. This allows us to quickly adjust the translator to variants of statechart semantics, including problem-specific notational conventions that designers employ. Our system demonstration will be of interest to the following two communities: (1) Potential end-users: Our demonstration will show translation from statecharts created in a commercial UML tool (Rational Rose) to Promela, the input language of Holzmann's model checker SPIN. The translation is accomplished automatically. To accommodate the major variants of statechart semantics, our tool offers user-selectable choices among semantic alternatives. Options for customized semantic variants are also made available. The net result is an easy-to-use tool that operates on a wide range of statechart diagrams to automate the pathway to model-checking input. (2) Other researchers: Our translator embodies, in one tool, ideas and approaches drawn from several sources. Solutions to the major challenges of statechart-to-model-checker translation (e.g., determining which transition(s) will fire, handling of concurrent activities) are retired in a uniform, fully mechanized, setting. The way in which the underlying architecture of the translator itself facilitates flexible and customizable translation will also be evident.

Rouquette, Nicolas↗
NASA NTRSDate not supplied

A Flight Replanning Tool for Terminal Area Urban Air Mobility Operations

In this presentation we describe and evaluate a flight replanning tool, called the trial planner, for terminal area air transport applications. The trial planner employs predefined airspace structures to generate rerouting options between vertiports. In a simplified definition, vertiports are facilities that provide services for managing the take-off and landing of autonomous or manned electric vertical take-off or landing (eVTOL) aircraft. The airspace structures involved in our test cases are arrival routes that consist of predefined entry points to which a transitional path is computed dynamically from the current position of the aircraft. Rerouting options include the transitional path and approach segment along the arrival route; these rerouting options are not vetted for potential conflicts with other operations until a human operator commits to a choice and forwards the flight plan modification for approval from an automated airspace management service. A selected rerouting option is executed by loading a flight plan file to the aircraft ground control station. We conducted a qualitative evaluation of the trial planner using ratings provided by flight crews and air transportation human factors experts with relevant experience from air traffic control. Evaluation criteria included trust in the route recommendations and adequate explanation for the route options. We detail the logic and implementation of the trial planner, as well as report the results of the evaluation of the implementation herein.

Trial planning↗