SEARCH · Engineering Papers

Results for “temporal control”

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

NASA NTRSDate not supplied

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

PLCverif is an actively developed project at CERN, enabling the formal verification of Programmable Logic Controller (PLC) programs in critical systems. In this paper, we present our work on improving the formal requirements specification experience in PLCverif through the use of natural language. To this end, we integrate NASA’s FRET, a formal requirement elicitation and authoring tool, into PLCverif. FRET is used to specify formal requirements in structured natural language, which automatically translates into temporal logic formulae. FRET’s output is then directly used by PLCverif for verification purposes. We discuss practical challenges that PLCverif users face when authoring requirements and the FRET features that help alleviate these problems. We present the new requirement formalization workflow and report our experience using it on two critical CERN case studies.

FRET↗

NASA NTRS2023

From Natural Language Requirements to the Verification of Programmable Logic Controllers: Integrating FRET into PLCverif

FRET↗

NASA NTRS1984

Automated mesoscale winds derived from GOES multispectral imagery

An automated technique for extracting mesoscale winds from sequences of GOES VISSR image pairs was developed, tested and configured for quasi-real time/research applications on a computing system which gives mesoscale wind estimates at the highest spatial/temporal resolution possible from the VISSR imagery down to a wind vector separation of 10 km. Preprocessing of imagery using IR resampling, VIS edge preserving filtering, and reduced VIS resolution averaging improved height assignments and vector extraction for 10, 15, and 30 min imagery. An objective quality control system provides much greater than 99% accuracy in eliminating questionable wind estimates. Automated winds generally have better spatial coverage and density, and have random error estimates half as large as the manual winds. Dynamical analysis of cloud wind divergence revealed temporally consistent convergence centers on the meso beta scale that are highly correlated with on going and future developing convective storms. The entire system of computer codes was successfully vectorized for execution on an array processor resulting in job turnaround in less than one hour.

Wilson, G. S.↗

NASA NTRS2008

Developments in Test Facility and Data Networking for the Altitude Test Stand at the John C. Stennis Space Center: A General Overview

NASA/SSC's Mission in Rocket Propulsion Testing Is to Acquire Test Performance Data for Verification, Validation and Qualification of Propulsion Systems Hardware: Accurate, Reliable, Comprehensive, and Timely. Data Acquisition in a Rocket Propulsion Test Environment Is Challenging: a) Severe Temporal Transient Dynamic Environments; b) Large Thermal Gradients; c) Vacuum to high pressure regimes. A-3 Test Stand Development is equally challenging with respect to accommodating vacuum environment, operation of a CSG system, and a large quantity of data system and control channels to determine proper engine performance as well as Test Stand operation. SSC is currently in the process of providing modernized DAS, Control Systems, Video, and network systems for the A-3 Test Stand to overcome these challenges.

Hebert, Phillip W.↗

NASA NTRS2020

GOES-17 Independent Review Team Investigation Results

The GOES-17 (Geostationary Operational Environmental Satellite) was launched March 1, 2018. It was the second of the GOES R class satellites to be launched - following GOES 16 in November 2016. Both satellites contain Advanced Baseline Imagers (ABIs) that provide high spatial and temporal resolution imagery of the Earth at visible and infrared wavelengths. The Japanese Himawari 8 (launched in October 2014), Himawari 9 (launched in November 2016) and South Korean GEO-KOMPSAT-2A (launched in December 2018) have imager payloads and thermal control systems identical to the GOES R class. All these satellites serve as geostationary weather satellites.

Eugene Ungar↗

NASA NTRS2021

Sensing the Ocean Biological Carbon Pump from Space: A Review of Capabilities, Concepts, Research Gaps and Future Developments

The element carbon plays a central role in climate and life on Earth. It is capable of moving among the geosphere, cryosphere, atmosphere, biosphere and hydrosphere. This flow of carbon is referred to as the Earth's carbon cycle. It is also intimately linked to the cycling of other elements and compounds. The ocean plays a fundamental role in Earth's carbon cycle, helping to regulate atmospheric CO2 concentration. The ocean biological carbon pump (OBCP), defined as a set of processes that transfer organic carbon from the surface to the deep ocean, is at the heart of the ocean carbon cycle. Monitoring the OBCP is critical to understanding how the Earth's carbon cycle is changing. At present, satellite remote sensing is the only tool available for viewing the entire surface ocean at high temporal and spatial scales. In this paper, we review methods for monitoring the OBCP with a focus on satellites. We begin by providing an overview of the OBCP, defining and describing the pools of carbon in the ocean, and the processes controlling fluxes of carbon between the pools, from the surface to the deep ocean, and among ocean, land and atmosphere. We then examine how field measurements, from ship and autonomous platforms, complement satellite observations, provide validation points for satellite products and lead to a more complete view of the OBCP than would be possible from satellite observations alone. A thorough analysis is then provided on methods used for monitoring the OBCP from satellite platforms, covering current capabilities, concepts and gaps, and the requirement for uncertainties in satellite products. We finish by discussing the potential for producing a satellite-based carbon budget for the oceans, the advantages of integrating satellite-based observations with ecosystem models and field measurements, and future opportunities in space, all with a view towards bringing satellite observations into the limelight of ocean carbon research.

Robert J. W. Brewin↗

NASA NTRS2001

Analysis and visualization of single-trial event-related potentials

In this study, a linear decomposition technique, independent component analysis (ICA), is applied to single-trial multichannel EEG data from event-related potential (ERP) experiments. Spatial filters derived by ICA blindly separate the input data into a sum of temporally independent and spatially fixed components arising from distinct or overlapping brain or extra-brain sources. Both the data and their decomposition are displayed using a new visualization tool, the "ERP image," that can clearly characterize single-trial variations in the amplitudes and latencies of evoked responses, particularly when sorted by a relevant behavioral or physiological variable. These tools were used to analyze data from a visual selective attention experiment on 28 control subjects plus 22 neurological patients whose EEG records were heavily contaminated with blink and other eye-movement artifacts. Results show that ICA can separate artifactual, stimulus-locked, response-locked, and non-event-related background EEG activities into separate components, a taxonomy not obtained from conventional signal averaging approaches. This method allows: (1) removal of pervasive artifacts of all types from single-trial EEG records, (2) identification and segregation of stimulus- and response-locked EEG components, (3) examination of differences in single-trial responses, and (4) separation of temporally distinct but spatially overlapping EEG oscillatory activities with distinct relationships to task events. The proposed methods also allow the interaction between ERPs and the ongoing EEG to be investigated directly. We studied the between-subject component stability of ICA decomposition of single-trial EEG epochs by clustering components with similar scalp maps and activation power spectra. Components accounting for blinks, eye movements, temporal muscle activity, event-related potentials, and event-modulated alpha activities were largely replicated across subjects. Applying ICA and ERP image visualization to the analysis of sets of single trials from event-related EEG (or MEG) experiments can increase the information available from ERP (or ERF) data. Copyright 2001 Wiley-Liss, Inc.

Non-NASA Center↗

NASA NTRS2004

Analysis of Upper Air, Ground and Remote Sensing Data For the ATLAS Field Campaign in San Juan, Puerto Rico

The Atlas San Juan Mission was conducted in February 2004 with the main objectives of observing the Urban Heat Island of San Juan, providing high resolution data of the land use for El Yunque Rain Forest and for calibrating remote sensors. The mission was coordinated with NASA staff members at Marshall, Stennis, Goddard, and Glenn. The Airborne Thermal and Land Applications Sensor (ATLAS) from NASA/Stennis, that operates in the visual and IR bands, was used as the main sensor and was flown over Puerto Rico in a Lear 23 jet plane. To support the data gathering effort by the ATLAS sensor, remote sensing observations and upper air soundings were conducted along with the deployment of a number of ground based weather stations and temperature sensors. This presentation focuses in the analysis of this complementary data for the Atlas San Juan Mission. Upper air data show that during the days of the mission the Caribbean mid and high atmospheres were relatively dry and highly stable reflecting positive surface lifted index, a necessary condition to conduct this suborbital campaign. Surface wind patterns at levels below 850mb were dominated by the easterly trades, while the jet stream at the edge of the troposphere dominated the westerly wind at levels above 500mb. The jet stream remained at high latitudes reducing the possibility of fronts. In consequence, only 8.4 mm of precipitation were reported during the entire mission. Observation of soundings located about 150 km apart reflected minimum variations of the boundary layer across the island for levels below 850 meters and a uniform atmosphere for higher levels. The weather stations and the temperature sensors were placed at strategic locations to observe variations across the urban and rural landscapes. Time series plot of the stations' data show that heavily urbanized commercial areas have higher air temperatures than urban and suburban residential areas, and much higher temperatures than rural areas. Temperature differences [dT(U-R)] were obtained by subtracting the values of several stations from a reference urban station, located in the commercial area of San Juan. These time series show that the UHI peaks during the morning between 10:00am and noon to an average of 4.5 C, a temporal pattern not previously observed in similar studies for continental cities. It is also observed a high variability of the UHI with the precipitation patterns even for short events. These results may be a reflection of a large land use density by low level buildings with an apparent absence of significant heat storage effects in the urban areas, and the importance of the surrounding soil and vegetation moisture in controlling the urban tropical climate. The ATLAS data was used to determine albedo and surface temperature patterns on a 10m scale for the study area. These data were used to calibrate the spatial distribution of the surface temperature when using remote sensing images from MODIS (Moderate Resolution Imaging Spectroradiometer). Surface temperatures were estimated using the land surface temperature product MOD11_L2 distributed by the Land Process Distributed Active Archive Center (LP DAAC). These results show the maximum, minimum and average temperatures in San Juan and in the entire Island at a resolution of 1 km. The information retrieved from MODIS for land surface temperatures reflected similar temporal and spatial variations as the weather stations and ATLAS measurements with a highest absolute offset of about 5 C due to the differences between surface and air temperatures.

Gonzalez, J. E.↗

NASA NTRS2023

Automated Verification of Programmable Logic Controller Programs Against Structured Natural Language Requirements

formal methods↗

NASA NTRS2005

Analysis of Upper Air, Ground and Remote Sensing Data for the ATLAS Field Campaign in San Juan, Puerto Rico

The Atlas San Juan Mission was conducted in February 2004 with the main objectives of observing the Urban Heat Island of San Juan, providing high resolution data of the land use for El Yunque Rain Forest and for calibrating remote sensors. The mission was coordinated with NASA staff members at Marsha& Stennis, Goddard, and Glenn. The Airborne Thermal and Land Applications Sensor (ATLAS) from NASA/Stennis, that operates in the visual and IR bands, was used as the main sensor and was flown over Puerto Rico in a Lear 23 jet plane. To support the data gathering effort by the ATLAS sensor, remote sensing observations and upper air soundings were conducted along with the deployment of a number of ground based weather stations and temperature sensors. This presentation focuses in the analysis of this complementary data for the Atlas San Juan Mission. Upper air data show that during the days of the mission the Caribbean mid and high atmospheres were relatively dry and highly stable reflecting positive surface lifted index, a necessary condition to conduct this suborbital campaign. Surface wind patterns at levels below 850mb were dominated by the easterly trades, while the jet stream at the edge of the troposphere dominated the westerly wind at levels above 500mb. The jet stream remained at high latitudes reducing the possibility of fronts. In consequence, only 8.4 mm of precipitation were reported during the entire mission. Observation of soundings located about 150 km apart reflected minimum variations of the boundary layer across the Island for levels below 850 meters and a uniform atmosphere for higher levels. The weather stations and the temperature sensors were placed at strategic locations to observe variations across the urban and rural landscapes. Time series plot of the stations' data show that heavily urbanized commercial areas have higher air temperatures than urban and suburban residential areas, and much higher temperatures than rural areas. Temperature differences [dT(U-R)] were obtained by subtracting the values of several stations h m a reference urban station, located m the commercial area of San Juan. These time series show that the UHI peaks during the morning between 10:00am and noon to an average of 4.5 C, a temporal pattern not previously observed in similar studies for continental cities. It is also observed a high variability of the UHI with the precipitation patterns even for short events. These results may be a reflection of a large land use density by low level buildings with an apparent absence of significant heat storage effects in the urban areas, and the importance of the surrounding soil and vegetation moisture in controlling the urban tropical climate. The ATLAS data was used to determine albedo and surface temperature patterns on a 10m scale for the study area. These data were used to calibrate the spatial distribution of the surface temperature when using remote sensing images from MODIS (Moderate Resolution Imaging Spectradiometer). Surface temperatures were estimated using the land surface temperature product MODII-L2 distributed by the Land Process Distributed Active Archive Center(LP DAAC). These results show the maximum, minimum and average temperatures in San Juan and in the entire Island at a resolution of 1 km. The information retrieved from MODIS for land surface temperatures reflected similar temporal and spatial variations as the weather stations and ATLAS measurements with a highest absolute offset of about 5 C due to the differences between surface and air temperatures.

Gonzalez, Jorge E.↗

NASA NTRS1973

Radar/radiometer facilities for precipitation measurements

The OSU ElectroScience Laboratory Radar/Radiometer Facilities are described. This instrumentation includes a high-resolution radar/radiometer system, a fully automated low-resolution radar system, and a small surveillance radar system. The high-resolution radar/radiometer system operates at 3, 9, and 15 GHz using two 9.1 m and one 4.6 m parabolic antennas, respectively. The low-resolution and surveillance radars operate at 9 and 15 GHz, respectively. Both the high- and low-resolution systems are interfaced to real-time digital processing and recording systems. This capability was developed for the measurement of the temporal and spatial characteristics of precipitation in conjunction with millimeter wavelength propagation studies utilizing the Advanced Technology Satellites. Precipitation characteristics derived from these measurements could also be of direct benefit in such diverse areas as: the atmospheric sciences, meteorology, water resources, flood control and warning, severe storm warning, agricultural crop studies, and urban and regional planning.

Hodge, D. B.↗

NASA NTRS2009

Changes in the Extent of Surface Mining and Reclamation in the Central Appalachians Detected Using a 1976-2006 Landsat Time Series

Surface mining and reclamation is the dominant driver of land cover land use change (LCLUC) in the Central Appalachian Mountain region of the Eastern U.S. Accurate quantification of the extent of mining activities is important for assessing how this LCLUC affects ecosystem services such as aesthetics, biodiversity, and mitigation of flooding.We used Landsat imagery from 1976, 1987, 1999 and 2006 to map the extent of surface mines and mine reclamation for eight large watersheds in the Central Appalachian region of West Virginia, Maryland and Pennsylvania. We employed standard image processing techniques in conjunction with a temporal decision tree and GIS maps of mine permits and wetlands to map active and reclaimed mines and track changes through time. For the entire study area, active surface mine extent was highest in 1976, prior to implementation of the Surface Mine Control and Reclamation Act in 1977, with 1.76% of the study area in active mines, declining to 0.44% in 2006. The most extensively mined watershed, Georges Creek in Maryland, was 5.45% active mines in 1976, declining to 1.83% in 2006. For the entire study area, the area of reclaimed mines increased from 1.35% to 4.99% from 1976 to 2006, and from 4.71% to 15.42% in Georges Creek. Land cover conversion to mines and then reclaimed mines after 1976 was almost exclusively from forest. Accuracy levels for mined and reclaimed cover was above 85% for all time periods, and was generally above 80% for mapping active and reclaimed mines separately, especially for the later time periods in which good accuracy assessment data were available. Among other implications, the mapped patterns of LCLUC are likely to significantly affect watershed hydrology, as mined and reclaimed areas have lower infiltration capacity and thus more rapid runoff than unmined forest watersheds, leading to greater potential for extreme flooding during heavy rainfall events.

Townsend, Philip A.↗

NASA NTRS2014

Fatigue in U.S. Astronauts Onboard the International Space Station: Environmental Factors, Operational Impacts, and Implementation of Countermeasures

Since 2000, US astronauts have been supporting missions up to a six month duration on the International Space Station (ISS). Crewmembers have experienced fatigue for reasons similar to military deployments. Astronauts experience psychological stressors such as heavy workloads, extended duty periods, circadian misalignment, inadequate/ineffective sleep, and loss of the environmental cues of a gravity environment. Complicating the psychological stressors are environmental factors; distracting background noise, unexpected and variable mission schedules, unfavorable thermal control, elevated CO2 levels, and an unusual sleep environment with schedules that impinge on pre‐sleep periods. Physiological contributors to poor sleep and fatigue include a cephalad fluid shift and back pain. Restful sleep is further challenged due to a lack of gravity‐related proprioceptive cues and need for restraints. The term "space fog" has been used by astronauts to describe a phenomenon of forgetfulness, slowed reaction time and transient confusion while trying to complete tasks. There is a distinct temporal correlation with arrival on the Space Station and the onset of slowed cognitive skills and a spontaneous resolution that may take up to 6 weeks. The Genesis of this phenomenon may be chronic fatigue secondary to transitioning from a planar environment to a 360deg microgravity perspective. Recently, countermeasures to improve sleep duration and quality in astronauts on the ISS have been instituted with moderate degrees of success as measured by self‐reaction time (psychomotor vigilance task testing), actigraphy, and subjective reports. Judicious use of stimulants and hypnotics, light therapy, controlled sleep periods and sleep shifting and reducing ambient CO2 levels are a few of the most promising countermeasures being used in space to improve sleep and reduce fatigue.

Scheuring, R. A.↗

NASA NTRS1994

Breaking down barriers in cooperative fault management: Temporal and functional information displays

At the highest level, the fundamental question addressed by this research is how to aid human operators engaged in dynamic fault management. In dynamic fault management there is some underlying dynamic process (an engineered or physiological process referred to as the monitored process - MP) whose state changes over time and whose behavior must be monitored and controlled. In these types of applications (dynamic, real-time systems), a vast array of sensor data is available to provide information on the state of the MP. Faults disturb the MP and diagnosis must be performed in parallel with responses to maintain process integrity and to correct the underlying problem. These situations frequently involve time pressure, multiple interacting goals, high consequences of failure, and multiple interleaved tasks.

Potter, Scott S.↗

NASA NTRS1978

SAR/LANDSAT image registration study

The author has identified the following significant results. Temporal registration of synthetic aperture radar data with LANDSAT-MSS data is both feasible (from a technical standpoint) and useful (from an information-content viewpoint). The greatest difficulty in registering aircraft SAR data to corrected LANDSAT-MSS data is control-point location. The differences in SAR and MSS data impact the selection of features that will serve as a good control points. The SAR and MSS data are unsuitable for automatic computer correlation of digital control-point data. The gray-level data can not be compared by the computer because of the different response characteristics of the MSS and SAR images.

Murphrey, S. W.↗

NASA NTRS1985

Strat-trop exchange

Exchange between the stratosphere and troposphere is important to the chemical composition of both regions. The export of ozone from the stratosphere provides the troposphere with a means of initiating photochemistry. The precursor molecules originating from the planetary surface provide the stratosphere with its chemical feedstock from which the ozone-controlling HO(x), NO(x), and Cl(x) photochemistries are driven. The tropopause is defined both statistically and in a local, synoptic sense by the value P(sub theta) = .000016 K sq m/kg/s, taken from an objective analysis of 8 years of zonal, temporal mean cross sections of potential temperature, wind and potential vorticity.

Tuck, A. F.↗

NASA NTRS1988

Mission telemetry system monitor: A real-time knowledge-based system

The Galileo Mission Telemetry System (MTS) has a cluster of computer subsystems configured as a star network. The MTS handles the real-time processing of spacecraft telemetry and ground monitor data. Large volumes of status and fault messages are generated as a result of changes in the system environment. These messages are triggered by the conditions that exist on any one particular subsystem or device. The order of message generation is in time sequence and does not always correlate to the function sequence of active processes. A significant number of messages provide context with varying degrees of uncertainty. As such, highly skilled telemetry controllers are required to regularly go through high volumes of messages generated by the MTS to identify, diagnose, and isolate faults. A knowledge-based system prototype is being developed to monitor the Galileo Mission Telemetry System performance. The system design approach features temporal reasoning, uncertainty management, and intelligent graphic user interfaces.

Mouneimne, Samih A.↗

NASA NTRS1988

A Near-Infrared Mapping Spectrometer for investigation of Jupiter and its satellites

The Near-Infrared-Mapping Spectrometer (NIMS) is one of the science instruments in the Galileo mission, which will explore Jupiter and its satellites in the mid-1990's. The NIMS experiment will map geological units on the surfaces of the Jovian satellites and characterize their mineral content; and, for the atmosphere of Jupiter, investigate cloud properties and the spatial and temporal variability of molecular abundances. The optics are gold-coated reflective and consist of a telescope and a grating spectrometer. The balance of the instrument includes a 17-detector (silicon and indium antimonide) focal plane array, a tuning fork chopper, microprocessor-controlled electronics, and a passive radiative cooler. A wobbling secondary mirror in the telescope provides 20 pixels in one dimension of spatial scanning in a pushbroom mode with 0.5 mr x 0.5 mr instantaneous field of view. The spectral range is 0.7-5.2 microns; resolution is 0.025 micron. NIMS is the first infrared experiment to combine both spatial and spectral mapping capability in one instrument.

Aptaker, Irving M.↗