SEARCH · Search NASA

Results for “Common Mode”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 397 records · Page 22

All sources NASA NTRS DOE OSTI

DOE OSTI2024

Anoxygenic phototroph of the Chloroflexota uses a type I reaction centre

Scientific exploration of phototrophic bacteria over nearly 200 years has revealed large phylogenetic gaps between known phototrophic groups that limit understanding of how phototrophy evolved and diversified. Here, through Boreal Shield lake water incubations, we cultivated an anoxygenic phototrophic bacterium from a previously unknown order within the Chloroflexota phylum that represents a highly novel transition form in the evolution of photosynthesis. Unlike all other known phototrophs, this bacterium uses a type I reaction centre (RCI) for light energy conversion yet belongs to the same bacterial phylum as organisms that use a type II reaction centre (RCII) for phototrophy. Using physiological, phylogenomic and environmental metatranscriptomic data, we demonstrate active RCI-utilizing metabolism by the strain alongside usage of chlorosomes and bacteriochlorophylls related to those of RCII-utilizing Chloroflexota members. Despite using different reaction centres, our phylogenomic data provide strong evidence that RCI-utilizing and RCII-utilizing Chloroflexia members inherited phototrophy from a most recent common phototrophic ancestor. The Chloroflexota phylum preserves an evolutionary record of the use of contrasting phototrophic modes among genetically related bacteria, giving new context for exploring the diversification of phototrophy on Earth.

59 BASIC BIOLOGICAL SCIENCES↗

NASA NTRS1984

The nonlinear tearing mode

A series of nonlinear computations of tearing-mode development have been performed which achieve higher values of the magnetic Reynolds number and larger wavelengths than previously considered. A prime candidate for the realization of dynamic reconnection is the resistive magnetic tearing mode, a spontaneous instability of a stressed magnetic field. Typical simulations are described for a magnetic Lundquist number S of 10 to the 4th and wavelength parameters alpha from 0.05 to 0.5. In all cases, the nonlinear mode initially evolves at the linear growth rate, followed by a period of reduced growth. Another common feature is the formation of secondary flow vortices, near the tearing surface, which are opposite in direction to the initial linear vortices.

Van Hoven, G.↗

NASA NTRS2003

NASA Tech Briefs, November 2003

Topics covered include: Computer Program Recognizes Patterns in Time-Series Data; Program for User-Friendly Management of Input and Output Data Sets; Noncoherent Tracking of a Source of a Data-Modulated Signal; Software for Acquiring Image Data for PIV; Detecting Edges in Images by Use of Fuzzy Reasoning; A Timer for Synchronous Digital Systems; Prototype Parts of a Digital Beam-Forming Wide-Band Receiver; High-Voltage Droplet Dispenser; Network Extender for MIL-STD-1553 Bus; MMIC HEMT Power Amplifier for 140 to 170 GHz; Piezoelectric Diffraction-Based Optical Switches; Numerical Modeling of Nanoelectronic Devices; Organizing Diverse, Distributed Project Information; Eigensolver for a Sparse, Large Hermitian Matrix; Modified Polar-Format Software for Processing SAR Data; e-Stars Template Builder; Software for Acoustic Rendering; Functionally Graded Nanophase Beryllium/Carbon Composites; Thin Thermal-Insulation Blankets for Very High Temperatures; Prolonging Microgravity on Parabolic Airplane Flights; Device for Locking a Control Knob; Cable-Dispensing Cart; Foam Sensor Structures Would be Self-Deployable and Survive Hard Landings; Real-Gas Effects on Binary Mixing Layers; Earth-Space Link Attenuation Estimation via Ground Radar Kdp; Wedge Heat-Flux Indicators for Flash Thermography; Measuring Diffusion of Liquids by Common-Path Interferometry; Zero-Shear, Low-Disturbance Optical Delay Line; Whispering-Gallery Mode-Locked Lasers; Spatial Light Modulators as Optical Crossbar Switches; Update on EMD and Hilbert-Spectra Analysis of Time Series; Quad-Tree Visual-Calculus Analysis of Satellite Coverage; Dyakonov-Perel Effect on Spin Dephasing in n-Type GaAs; Update on Area Production in Mixing of Supercritical Fluids; and Quasi-Sun-Pointing of Spacecraft Using Radiation Pressure.

Source record↗

NASA NTRS2015

The Structural Heat Intercept-Insulation-Vibration Evaluation Rig (SHIVER)

NASA is currently investigating methods to reduce the boil-off rate on large cryogenic upper stages. Two such methods to reduce the total heat load on existing upper stages are vapor cooling of the cryogenic tank support structure and integration of thick multilayer insulation systems to the upper stage of a launch vehicle. Previous efforts have flown a 2-layer MLI blanket and shown an improved thermal performance, and other efforts have ground-tested blankets up to 70 layers thick on tanks with diameters between 2 3 meters. However, thick multilayer insulation installation and testing in both thermal and structural modes has not been completed on a large scale tank. Similarly, multiple vapor cooled shields are common place on science payload helium dewars; however, minimal effort has gone into intercepting heat on large structural surfaces associated with rocket stages. A majority of the vapor cooling effort focuses on metallic cylinders called skirts, which are the most common structural components for launch vehicles. In order to provide test data for comparison with analytical models, a representative test tank is currently being designed to include skirt structural systems with integral vapor cooling. The tank is 4 m in diameter and 6.8 m tall to contain 5000 kg of liquid hydrogen. A multilayer insulation system will be designed to insulate the tank and structure while being installed in a representative manner that can be extended to tanks up to 10 meters in diameter. In order to prove that the insulation system and vapor cooling attachment methods are structurally sound, acoustic testing will also be performed on the system. The test tank with insulation and vapor cooled shield installed will be tested thermally in the B2 test facility at NASAs Plumbrook Station both before and after being vibration tested at Plumbrooks Space Power Facility.

Cryogenic Fluid Management↗

NASA NTRS2017

Structural Heat Intercept, Insulation, and Vibration Evaluation Rig (SHIIVER)

Abstract: NASA is currently investigating methods to reduce the boil-off rate on large cryogenic upper stages. Two such methods to reduce the total heat load on existing upper stages are vapor cooling of the cryogenic tank support structure and integration of thick multilayer insulation systems to the upper stage of a launch vehicle. Previous efforts have flown a 2-layer MLI blanket and shown an improved thermal performance, and other efforts have ground-tested blankets up to 70 layers thick on tanks with diameters between 2 3 meters. However, thick multilayer insulation installation and testing in both thermal and structural modes has not been completed on a large scale tank. Similarly, multiple vapor cooled shields are common place on science payload helium dewars; however, minimal effort has gone into using boil-off to intercept heat on large structural surfaces associated with rocket stages. A majority of the vapor cooling effort focuses on metallic cylinders called skirts, which are the most common structural components for launch vehicles. In order to provide test data for comparison with analytical models, a 4 meter diameter test tank and assembly is currently being designed to include skirt structural systems with integral vapor cooling. In order to give a more representative result for actual applications, the technologies will be designed for an 8.4 m and scaled down to a 4 meter tank. In order to prove that the insulation system and vapor cooling attachment methods are structurally sound, acoustic testing will also be performed on the system. The test tank with insulation and vapor cooled shield installed will be tested thermally in the B2 test facility at NASAs Plum Brook Station both before and after being vibration tested at Plum Brooks Space Power Facility.

Johnson, Wesley↗

NASA NTRS2020

Fluctuations in Jupiter’s Equatorial Stratospheric Oscillation

The equatorial stratospheres of the Earth, Jupiter, and Saturn all exhibit a remarkable periodic oscillation of their temperatures and winds with height. Earth’s Quasi-Biennial Oscillation (QBO) and Saturn’s Quasi-Periodic Equatorial Oscillation (QPO) have recently been observed to experience disruptions in their vertical structure as a consequence of atmospheric events occurring far from the equator. Here we reveal that Jupiter’s Quasi-Quadrennial Oscillation (QQO) can also be perturbed by strong tropospheric activity at the equatorial and off-equatorial latitudes. Observations of Jupiter’s stratospheric temperatures between 1980 and 2011 show two significantly different periods for the QQO, with a 5.7-year period between 1980 and 1990 and a 3.9-year period between 1996 and 2006. Major disruptions to the predicted QQO pattern in 1992 and 2007 coincided with dramatic planetary-scale disturbances in the equatorial and low-latitude troposphere, suggesting that they are connected to vertically propagating waves generated by meteorological sources in the deeper troposphere (i.e. 500-4000 mbar pressures). Disruptions in Jupiter’s periodic oscillations are thus inherently different than those at Saturn or the Earth. This interconnectivity between the troposphere and stratosphere that is likely common to all planetary atmospheres shows that seemingly regular cycles of variability can switch between different modes when subjected to extreme meteorological events

Arrate Antunano↗

DOE OSTI2024

Overview of recent turbulence studies across multiple confinement modes at the ASDEX Upgrade tokamak using the Correlation Electron Cyclotron Emission diagnostic

This work presents an overview of recent and ongoing experimental measurements of core and edge turbulence across multiple confinement regimes using the Correlation Electron Cyclotron Emission (CECE) diagnostic at the ASDEX Upgrade (AUG) tokamak. A common goal among these investigations is to identify how the properties of the turbulent electron temperature fluctuations measured by CECE influence and regulate the unique transport characteristics of each confinement regime, including L-mode, I-mode, ELMy H-mode, and ELM-free H-mode. Optics and signal processing methods to aid in the analysis and interpretation of experimental turbulence results are also presented. These methods, and particularly the down-sampling and ensemble averaging method, are relevant to a wide variety of fusion and non-fusion applications.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗

DOE OSTI2024

Pressure-dependent phase transitions in hybrid improper ferroelectric Ruddlesden-Popper oxides

The temperature-dependent phase transitions in Ruddlesden-Popper oxides with perovskite bilayers have been under increased scrutiny in recent years due to the so-called hybrid improper ferroelectricity that some chemical compositions exhibit. However, little is currently understood about the hydrostatic pressure dependence of these phase transitions. Herein we present the results of a combined high-pressure powder synchrotron x-ray diffraction experiment and a b i n i t i o study on the bilayered Ruddlesden-Popper phases Ca 3 Mn 2 O 7 and Ca 3 Ti 2 O 7 . In both compounds we observe a first-order phase transition, that in combination with our density functional theory calculations, we can confidently assign as being between polar A 2 1 a m and nonpolar A c a a structures. Interestingly, we show that while the application of pressure ultimately favors a nonpolar phase, as is commonly observed for proper ferroelectrics, regions of response exist where pressure actually acts to increase the polar mode amplitudes. The reason for this can be untangled by considering the varied response of octahedral tilts and rotations to hydrostatic pressure and their trilinear coupling with the polar instability. Published by the American Physical Society 2024

Materials Science↗

NASA NTRS1983

Space Station Attitude Control System Concept and Requirements

There is currently no single Space Station configuration which is accepted as a baseline. However, the latest approach is toward symmetry in both geometry and mass distribution. This minimizes aerodynamic and gravity gradient torques. Solar arrays and radiators drive the configuration strongly. One axis of the solar arrays needs to be perpendicular to the orbit plane, and the geometric and principal axis should remain common along this axis to minimize secular torques. The need for both inertial and earth-fixed modes drives the structure of the Station toward a disk-like shape in the orbital plane.

Nicaise, P. D.↗

NASA NTRS1987

The effect of processing code, response modality and task difficulty on dual task performance and subjective workload in a manual system

This paper reports on the first experiment of a series studying the effect of task structure and difficulty demand on time-sharing performance and workload in both automated and corresponding manual systems. The experimental task involves manual control time-shared with spatial and verbal decisions tasks of two levels of difficulty and two modes of response (voice or manual). The results provide strong evidence that tasks and processes competing for common processing resources are time shared less effecively and have higher workload than tasks competing for separate resources. Subjective measures and the structure of multiple resources are used in conjunction to predict dual task performance. The evidence comes from both single-task and from dual-task performance.

Liu, Yili↗

NASA NTRS1999

On the Dome Effect of Flux Radiometers to Radiative Forcing

Since the introduction of thermopile, pyranometers (solar, e.g., 0.3-3.0 micrometers) and pyrgeometers (terrestrial, e.g., 4-50 micrometers) have become instruments commonly used for measuring the broadband hemispherical irradiances at the surface in a long-term, monitoring mode for decades. These commercially available radiometers have been manufactured in several countries such as from the United States, Asia, and Europe, and are generally reliable and economical. These worldwide distributions of surface measurements become even more important in the era of Earth remote sensing in studying climate forcing. However, recent studies from field campaigns have pointed out that erroneous factors (e.g., temperature gradients between the filter dome and detector, emissivity of the thermopile) are responsible for the unacceptable level of uncertainty (e.g., 10-20 W m (exp -2)). Using a newly developed instrument of Quantum Well Infrared Photodetector (QWIP), we have characterized the brightness temperature fields of pyranometers and pyrgeometers under various sky conditions. The QWIP is based on the superlattice (GaAs/AlGaAs) technology and has a noise equivalent temperature (NE delta T) less than 0.1 K. The quality of pyranometer and pyrgeometer measurements can be improved largely by applying proper knowledge of the thermal parameters affecting the operation of the thermopile systems. For example, we show a method to determine the "dome factor" (the longwave emission divided by the longwave transmission of a pyrgeometer dome) from field measurements. The results show, and are verified independently by the QWIP, that our dome factors of 0.59 and 0.90 are much smaller than the value of 4.0 assumed by the WMO (World Meteorological Organization). Data correction procedure and algorithm will be presented and discussed.

Tsay, S.-C.↗

NASA NTRS1999

On the Dome Effect of Flux Radiometers to Radiative Forcing

Since the introduction of thermopile, pyranometers (solar, e.g., 0.3-3.0 microns) and pyrgeometers (terrestrial, e.g., 4-50 microns) have become instruments commonly used for measuring the broadband hemispherical irradiances at the surface in a long-term, monitoring mode for decades. These commercially available radiometers have been manufactured in several countries such as from the United States, Asia, and Europe, and are generally reliable and economical. These worldwide distributions of surface measurements become even more important in the era of Earth remote sensing in studying climate forcing. However, recent studies from field campaigns have pointed out that erroneous factors (e.g., temperature gradients between the filter dome and detector, emissivity of the thermopile) are responsible for the unacceptable level of uncertainty (e.g., 10-20 W/square Meter). Using a newly developed instrument of Quantum Well Infrared Photodetector (QWIP), we have characterized the brightness temperature fields of pyranometers and pyrgeometers under various sky conditions. The QWIP is based on the superlattice (GaAs/AlGaAs) technology and has a noise equivalent temperature (NE delta T) less than 0.1 K. The quality of pyranometer and pyrgeometer measurements can be improved largely by applying proper knowledge of the thermal parameters affecting the operation of the thermopile systems. For example, we show a method to determine the "dome factor" (the longwave emission divided by the longwave transmission of a pyrgeometer dome) from field measurements. The results show, and are verified independently by the QWIP, that our dome factors of 0.59 and 0.90 are much smaller than the value of 4.0 assumed by the WMO. Data correction procedure and algorithm will be presented and discussed.

Tsay, S.-C.↗

NASA NTRS2000

Characterization of Thermal Parameters for Improving Pyranometer and Pyrgeometer Measurements

Since the introduction of thermopile, pyranometers (solar, e.g., 0.3-3.0 micrometers) and pyrgeometers (terrestrial, e.g., 4-50 micrometers) have become instruments commonly used for measuring the broadband hemispherical irradiances at the surface in a long-term, monitoring mode for decades. These commercially available radiometers have been manufactured in several countries such as from the United States, Asia, and Europe, and are generally reliable and economical. These worldwide distributions of surface measurements become even more important in the era of Earth remote sensing in studying climate change. However, recent studies from field campaigns have pointed out that erroneous factors (e.g., temperature gradients between the filter dome and detector, emissivity of the thermopile) are responsible for the unacceptable level of uncertainty (e.g., 20 W m(exp -2)). Using a newly developed instrument of Quantum Well Infrared Photodetector (QWTP), we have characterized the brightness temperature fields of pyranometers and pyrgeometers under various sky conditions. The QWIP is based on the superlattice (GaAs/AlGaAs) technology and has a noise equivalent temperature (NEAT) less than 0.1 K. The quality of pyranometer and pyrgeometer measure- ments can be improved largely by applying proper knowledge of the thermal parameters affecting the operation of the thermopile systems. Data correction procedure and algorithm will be presented and discussed.

Tsay, Si-Chee↗

NASA NTRS2000

Thermal Characteristics of Pyranometers and Pyrgeometers in Atmosphere-Surface Energetic Measurements

Tsay, Si-Chee↗

NASA NTRS2009

Solar Rejection Filter for Large Telescopes

To reject solar radiation photons at the front aperture for large telescopes, a mosaic of large transmission mode filters is placed in front of the telescope or at the aperture of the dome. Filtering options for effective rejection of sunlight include a smaller filter down-path near the focus of the telescope, and a large-diameter filter located in the front of the main aperture. Two types of large filters are viable: reflectance mode and transmittance mode. In the case of reflectance mode, a dielectric coating on a suitable substrate (e.g. a low-thermal-expansion glass) is arranged to reflect only a single, narrow wavelength and to efficiently transmit all other wavelengths. These coatings are commonly referred to as notch filter. In this case, the large mirror located in front of the telescope aperture reflects the received (signal and background) light into the telescope. In the case of transmittance mode, a dielectric coating on a suitable substrate (glass, sapphire, clear plastic, membrane, and the like) is arranged to transmit only a single wavelength and to reject all other wavelengths (visible and near IR) of light. The substrate of the large filter will determine its mass. At first glance, a large optical filter with a diameter of up to 10 m, located in front of the main aperture, would require a significant thickness to avoid sagging. However, a segmented filter supported by a structurally rugged grid can support smaller filters. The obscuration introduced by the grid is minimal because the total area can be made insignificant. This configuration can be detrimental to a diffraction- limited telescope due to diffraction effects at the edges of each sub-panel. However, no discernable degradation would result for a 20 diffraction-limit telescope (a photon bucket). Even the small amount of sagging in each subpanel should have minimal effect in the performance of a non-diffraction limited telescope because the part has no appreciable optical power. If the front aperture filter is integrated with the telescope dome, it will reject heat from the dome and will significantly reduce dome temperature regulation requirements and costs. Also, the filter will protect the telescope optics from dust and other contaminants in the atmosphere. It will be simpler to clean or replace this filter than the telescope primary mirror. It may be necessary to paint the support grid with a highly reflective material to avoid overheating.

Hemmati, Hamid↗

NASA NTRS2006

Mode I Toughness Measurements of Core/Facesheet Bonds in Honeycomb Sandwich Structures

Composite sandwich structures will be used in many future applications in aerospace, marine and offshore industries due to the fact that the strength and stiffness to mass ratios surpass any other structural type. Sandwich structure also offers advantages over traditional stiffened panels such as ease of manufacturing and repair. During the last three decades, sandwich structure has been used extensively for secondary structure in aircraft (fuselage floors, rudders and radome structure). Sandwich structure is also used as primary structure in rotorcraft, the most common example being the trailing edge of rotor blades. As with other types of composite construction, sandwich structure exhibits several types of failure mode such as facesheet wrinkling, core crushing and sandwich buckling. Facesheet/core debonding has also been observed in the marine and aerospace industry. During this failure mode, peel stresses applied to an existing facesheet/core debond or an interface low in toughness, results in the facesheet being peeled from the core material, possibly leading to a significant loss in structural integrity of the sandwich panel. In an incident during a test on a liquid hydrogen fuel tank of the X-33 prototype vehicle, the outer graphite/epoxy facesheet and honeycomb core became debonded from the inner facesheet along significant areas, leading to failure of the tank. As a consequence of the accident; significant efforts were made to characterize the toughness of the facesheet/core bond. Currently, the only standardized method available for assessing the quality of the facesheet/core interface is the climbing drum peel test (ASTM D1781). During this test a sandwich beam is removed from a panel and the lip of one of the facesheets is attached to a drum, as shown in Fig. 1. The drum is then rotated along the sandwich beam, causing the facesheet to peel from the core. This method has two major drawbacks. First, it is not possible to obtain quantitative fracture data from the test and so the results can only be used in a qualitative manner. Second, only sandwich structure with thin facesheets can be tested (to facilitate wrapping of the facesheet around the climbing drum). In recognition of the need for a more quantitative facesheet/core fracture test, several workers have devised experimental techniques for characterizing the toughness of the facesheet/core interface. In all of these cases, the tests are designed to yield a mode I-dominated fracture toughness of the facesheet/core interface in a manner similar to that used to determine mode I fracture toughness of composite laminates. In the current work, a modified double cantilever beam is used to measure the mode I-dominated fracture toughness of the interface in a sandwich consisting of glass/phenolic honeycomb core reinforced with graphite epoxy facesheets. Two specimen configurations were tested as shown in Fig 2. The first configuration consisted of reinforcing the facesheets with aluminum blocks (Fig. 2a). In the second configuration unreinforced specimens were tested (Fig. 2b). Climbing drum peel tests were also conducted to compare the fracture behavior observed between this test and the modified double cantilever beam. This paper outlines the test procedures and data reduction strategies used to compute fracture toughness values from the tests. The effect of specimen reinforcement on fracture toughness of the facesheet/core interface is discussed.

Nettles, Alan T.↗

NASA NTRS2012

Wideband Single-Crystal Transducer for Bone Characterization

The microgravity conditions of space travel result in unique physiological demands on the human body. In particular, the absence of the continual mechanical stresses on the skeletal system that are present on Earth cause the bones to decalcify. Trabecular structure decreases in thickness and increases in spacing, resulting in decreased bone strength and increased risk of injury. Thus, monitoring bone health is a high priority for long-term space travel. A single probe covering all frequency bands of interest would be ideal for such measurements, and this would also minimize storage space and eliminate the complexity of integrating multiple probes. This invention is an ultrasound transducer for the structural characterization of bone. Such characterization measures features of reflected and transmitted ultrasound signals, and correlates these signals with bone structure metrics such as bone mineral density, trabecular spacing, and thickness, etc. The techniques used to determine these various metrics require measurements over a broad range of ultrasound frequencies, and therefore, complete characterization requires the use of several narrowband transducers. This is a single transducer capable of making these measurements in all the required frequency bands. The device achieves this capability through a unique combination of a broadband piezoelectric material; a design incorporating multiple resonator sizes with distinct, overlapping frequency spectra; and a micromachining process for producing the multiple-resonator pattern with common electrode surfaces between the resonators. This device consists of a pattern of resonator bars with common electrodes that is wrapped around a central mandrel such that the radiating faces of the resonators are coplanar and can be simultaneously applied to the sample to be measured. The device operates as both a source and receiver of acoustic energy. It is operated by connection to an electronic system capable of both providing an excitation signal to the transducer and amplifying the signal received from the transducer. The excitation signal may be either a wide-bandwidth signal to excite the transducer across its entire operational spectrum, or a narrow-bandwidth signal optimized for a particular measurement technique. The transducer face is applied to the skin covering the bone to be characterized, and may be operated in through-transmission mode using two transducers, or in pulse-echo mode. The transducer is a unique combination of material, design, and fabrication technique. It is based on single-crystal lead magnesium niobate lead titanate (PMN-PT) piezoelectric material. As compared to the commonly used piezoceramics, this piezocrystal has superior piezoelectric and elastic properties, which results in devices with superior bandwidth, source level, and power requirements. This design necessitates a single resonant frequency. However, by operating in a transverse length-extensional mode, with the electric field applied orthogonally to the extensional direction, resonators of different sizes can share common electrodes, resulting in a multiply-resonant structure. With carefully sized resonators, and the superior bandwidth of piezocrystal, the resonances can be made to overlap to form a smooth, wide-bandwidth characteristic.

Liang, Yu↗

NASA NTRS2004

A Formal Methods Approach to the Analysis of Mode Confusion

The goal of the new NASA Aviation Safety Program (AvSP) is to reduce the civil aviation fatal accident rate by 80% in ten years and 90% in twenty years. This program is being driven by the accident data with a focus on the most recent history. Pilot error is the most commonly cited cause for fatal accidents (up to 70%) and obviously must be given major consideration in this program. While the greatest source of pilot error is the loss of situation awareness , mode confusion is increasingly becoming a major contributor as well. The January 30, 1995 issue of Aviation Week lists 184 incidents and accidents involving mode awareness including the Bangalore A320 crash 2/14/90, the Strasbourg A320 crash 1/20/92, the Mulhouse-Habsheim A320 crash 6/26/88, and the Toulouse A330 crash 6/30/94. These incidents and accidents reveal that pilots sometimes become confused about what the cockpit automation is doing. Consequently, human factors research is an obvious investment area. However, even a cursory look at the accident data reveals that the mode confusion problem is much deeper than just training deficiencies and a lack of human-oriented design. This is readily acknowledged by human factors experts. It seems that further progress in human factors must come through a deeper scrutiny of the internals of the automation. It is in this arena that formal methods can contribute. Formal methods refers to the use of techniques from logic and discrete mathematics in the specification, design, and verification of computer systems, both hardware and software. The fundamental goal of formal methods is to capture requirements, designs and implementations in a mathematically based model that can be analyzed in a rigorous manner. Research in formal methods is aimed at automating this analysis as much as possible. By capturing the internal behavior of a flight deck in a rigorous and detailed formal model, the dark corners of a design can be analyzed. This paper will explore how formal models and analyses can be used to help eliminate mode confusion from flight deck designs and at the same time increase our confidence in the safety of the implementation. The paper is based upon interim results from a new project involving NASA Langley and Rockwell Collins in applying formal methods to a realistic business jet Flight Guidance System (FGS).

Butler, Ricky W.↗