Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Covering set”

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 883 records · Page 49
All sourcesNASA NTRSDOE OSTI
NASA NTRSDate not supplied

Preliminary Application of Formal Verification to An Autonomy Architecture for Unmanned Aircraft

There is a desire to design autonomous systems in such a way that capabilities can be easily added or re-combined to produce new behaviors while preserving their safety properties. ICAROUS, a prototype software architecture for building safety-centric autonomous unmanned aircraft applications, is designed to support this type of extensibility and re-configurability. In ICAROUS, core capabilities are implemented as individual soft- ware services, so that enabling access to new capabilities simply requires adding new services. To make use of these capabilities, ICAROUS includes a specialized service that provides a general framework for config- uring the relative priorities, conditions, and rules that govern how different modules should be engaged and disengaged during flight. The inherent complexity of coordinating multiple modules under changing conditions makes it difficult to determine whether a particular configuration could have erroneous behaviors in certain circumstances. A robust set of integration tests can help discover errors, but testing can only realistically cover a relatively small proportion of total system behaviors. Developing good tests and interpreting the results to pinpoint the cause of errors when they arise can also be very time-consuming. To supplement testing, formal methods can be used to model and analyze complex systems, achieving better coverage and simplifying the process of finding, understanding, and fixing errors. To demonstrate these benefits, this paper explores the ap- plication of formal methods to ICAROUS. In particular, the Spin model checker is used to specify requirements for and model portions of the system, then verify whether the model satisfies the requirements and find and fix errors when it does not.

Formal Methods↗
DOE OSTI2015

The LMC geometry and outer stellar populations from early DES data

The Dark Energy Camera has captured a large set of images as part of Science Verification (SV) for the Dark Energy Survey. The SV footprint covers a large portion of the outer Large Magellanic Cloud (LMC), providing photometry 1.5 magnitudes fainter than the main sequence turn-off of the oldest LMC stellar population. We derive geometrical and structural parameters for various stellar populations in the LMC disc. For the distribution of all LMC stars, we find an inclination of i = –38.14°±0.08° (near side in the North) and a position angle for the line of nodes of θ₀ = 129.51°±0.17°. We find that stars younger than ~4 Gyr are more centrally concentrated than older stars. Fitting a projected exponential disc shows that the scale radius of the old populations is R >4Gyr = 1.41 ± 0.01 kpc, while the younger population has R <4Gyr = 0.72 ± 0.01 kpc. However, the spatial distribution of the younger population deviates significantly from the projected exponential disc model. The distribution of old stars suggests a large truncation radius of R t = 13.5 ± 0.8 kpc. If this truncation is dominated by the tidal field of the Galaxy, we find that the LMC is ≃24 +9 –6 times less massive than the encircled Galactic mass. By measuring the Red Clump peak magnitude and comparing with the best-fit LMC disc model, we find that the LMC disc is warped and thicker in the outer regions north of the LMC centre. As a result, our findings may either be interpreted as a warped and flared disc in the LMC outskirts, or as evidence of a spheroidal halo component.

79 ASTRONOMY AND ASTROPHYSICS↗
NASA NTRS2009

Large Area Scene Selection Interface (LASSI). Methodology of Selecting Landsat Imagery for the Global Land Survey 2005

The Global Land Survey (GLS) 2005 is a cloud-free, orthorectified collection of Landsat imagery acquired during the 2004-2007 epoch intended to support global land-cover and ecological monitoring. Due to the numerous complexities in selecting imagery for the GLS2005, NASA and the U.S. Geological Survey (USGS) sponsored the development of an automated scene selection tool, the Large Area Scene Selection Interface (LASSI), to aid in the selection of imagery for this data set. This innovative approach to scene selection applied a user-defined weighting system to various scene parameters: image cloud cover, image vegetation greenness, choice of sensor, and the ability of the Landsat 7 Scan Line Corrector (SLC)-off pair to completely fill image gaps, among others. The parameters considered in scene selection were weighted according to their relative importance to the data set, along with the algorithm's sensitivity to that weight. This paper describes the methodology and analysis that established the parameter weighting strategy, as well as the post-screening processes used in selecting the optimal data set for GLS2005.

Franks, Shannon↗
NASA NTRS1992

Global change data sets: Excerpts from the Master Directory, version 2.0

The recent awakening to the reality of human-induced changes to the environment has resulted in an organized effort to promote global change research. The goal of this research as outlined by NASA's Earth System Science Committee (Earth System Science: A closer View, 1988) is to understand the entire Earth system on a global scale by describing how its component parts and their interactions have evolved, how they function, and how they may be expected to evolve on all timescales. The practical result is the capacity to predict that evolution over the next decade to century. Key variables important for the study of global change include external forcing factors (solar radiance, UV flux), radiatively and chemically important trace species (CO2, CH4, N2O, etc.), atmospheric response variables (temperature, pressure, winds), landsurface properties (river run-off, snow cover, albedo, soil moisture, vegetation cover), and oceanic variables (sea surface temperature, sea ice extent, sea level ocean wind stress, currents, chlorophyll, biogeochemical fluxes). The purpose of this document is to identify existing data sets available (both remotely sensed and in situ data) covering some of these variables. This is not intended to be a complete list of global change data, but merely a highlight of what is available. The information was extracted from the Master Directory (MD), an on-line scientific data information service which may be used by any researcher. This report contains the coverage dates for the data sets, sources (satellites, instruments) of the data and where they are archived.

Beier, Joy↗
NASA NTRS2008

Temporal Stability of Surface Roughness Effects on Radar Based Soil Moisture Retrieval During the Corn Growth Cycle

A representative soil surface roughness parameterization needed for the retrieval of soil moisture from active microwave satellite observation is difficult to obtain through either in-situ measurements or remote sensing-based inversion techniques. Typically, for the retrieval of soil moisture, temporal variations in surface roughness are assumed to be negligible. Although previous investigations have suggested that this assumption might be reasonable for natural vegetation covers (Moran et al. 2002, Thoma et al. 2006), insitu measurements over plowed agricultural fields (Callens et al. 2006) have shown that the soil surface roughness can change considerably over time. This paper reports on the temporal stability of surface roughness effects on radar observations and soil moisture retrieved from these radar observations collected once a week during a corn growth cycle (May 10th - October 2002). The data set employed was collected during the Optimizing Production Inputs for Economic and Environmental Enhancement (OPE3) field campaign covering this 2002 corn growth cycle and consists of dual-polarized (HH and VV) L-band (1.6 GHz) acquired at view angles of 15, 35, and 55 degrees. Cross-polarized L baud radar data were also collected as part of this experiment, but are not used in the analysis reported on here. After accounting for vegetation effects on radar observations, time-invariant optimum roughness parameters were determined using the Integral Equation Method (IEM) and radar observations acquired over bare soil and cropped conditions (the complete radar data set includes entire corn growth cycle). The optimum roughness parameters, soil moisture retrieval uncertainty, temporal distribution of retrieval errors and its relationship with the weather conditions (e.g. rainfall and wind speed) have been analyzed. It is shown that over the corn growth cycle, temporal roughness variations due to weathering by rain are responsible for almost 50% of soil moisture retrieval uncertainty depending on the sensing configuration. The effects of surface roughness variations are found to be smallest for observations acquired at a view angle of 55 degrees and HH polarization. A possible explanation for this result is that at 55 degrees and HH polarization the effect of vertical surface height changes on the observed radar response are limited because the microwaves travel parallel to the incident plane and as a result will not interact directly with vertically oriented soil structures.

Joseph, A.T.↗
NASA NTRS2008

Safe Upper-Bounds Inference of Energy Consumption for Java Bytecode Applications

Many space applications such as sensor networks, on-board satellite-based platforms, on-board vehicle monitoring systems, etc. handle large amounts of data and analysis of such data is often critical for the scientific mission. Transmitting such large amounts of data to the remote control station for analysis is usually too expensive for time-critical applications. Instead, modern space applications are increasingly relying on autonomous on-board data analysis. All these applications face many resource constraints. A key requirement is to minimize energy consumption. Several approaches have been developed for estimating the energy consumption of such applications (e.g. [3, 1]) based on measuring actual consumption at run-time for large sets of random inputs. However, this approach has the limitation that it is in general not possible to cover all possible inputs. Using formal techniques offers the potential for inferring safe energy consumption bounds, thus being specially interesting for space exploration and safety-critical systems. We have proposed and implemented a general frame- work for resource usage analysis of Java bytecode [2]. The user defines a set of resource(s) of interest to be tracked and some annotations that describe the cost of some elementary elements of the program for those resources. These values can be constants or, more generally, functions of the input data sizes. The analysis then statically derives an upper bound on the amount of those resources that the program as a whole will consume or provide, also as functions of the input data sizes. This article develops a novel application of the analysis of [2] to inferring safe upper bounds on the energy consumption of Java bytecode applications. We first use a resource model that describes the cost of each bytecode instruction in terms of the joules it consumes. With this resource model, we then generate energy consumption cost relations, which are then used to infer safe upper bounds. How energy consumption for each bytecode instruction is measured is beyond the scope of this paper. Instead, this paper is about how to infer safe energy consumption estimations assuming that those energy consumption costs are provided. For concreteness, we use a simplified version of an existing resource model [1] in which an energy consumption cost for individual Java opcodes is defined.

Navas, Jorge↗
NASA NTRS1987

An assessment of Landsat MSS and TM data for urban and near-urban land-cover digital classification

The information content of Landsat TM and MSS data was examined to assess the ability to digitally differentiate urban and near-urban land covers around Miami, FL. This examination included comparisons of unsupervised signature extractions for various cover types, training site statistics for intraclass and interclass separability, and band and band combination selection from an 11-band multisensor data set. The principal analytical tool used in this study was transformed divergence calculations. The TM digital data are typically more useful than the MSS data in the homogeneous near-urban land-covers and less useful in the heterogeneous urban areas.

Haack, Barry↗
NASA NTRS1993

Global Magellan-image map of Venus at full resolution

During its first 243-day mapping cycle, the Magellan spacecraft succeeded in imaging 84 percent of the surface of Venus at resolutions on the order of 100 meters; subsequent cycles have increased the total coverage to over 97 percent and provided redundant coverage of much of the planet with differing viewing geometries. Unfortunately, this full-resolution global dataset is in the form of thousands of individual orbit tracks (F-BIDR's) whose length-to-width ratio of nearly 1000:1 makes them minimally useful unless mosaicked. The Magellan project produced full-resolution mosaics (F-MIDR's) only for selected regions on the planet, whereas a global set of mosaics was made only at threefold degraded resolution (C1-MIDR's). Furthermore, although the F-MIDR's, which are approximately equidimensional, are much better suited for scientific interpretation than the F-BIDR's, they are still an unwieldy dataset: over 1500 quadrangles, each showing a region only about 600 km on a side, would be required to cover the entire planet. The USGS has therefore undertaken to produce and distribute a global, full resolution set of mosaics of the Magellan image data in a format that will be efficient for both hardcopy and digital use. The initial motivation was that it would provide an efficient means of verifying the integrity of the F-BIDR's to be archived on computer-compatible tape at the USGS Flagstaff facility. However, the resulting product, known as the FMAP, should also serve as an important resource for future scientific interpretation. It will offer several advantages beyond global coverage at full resolution. The first, alluded to above, is its division of the planet's surface to minimize the number of quadrangles and maximize their area, subject to the limits on the number of pixels imposed by state-of-the-art digital recording media and hardcopy output devices. The second, the use of improved 'cosmetic' processing techniques, will greatly reduce tonal discontinuities between component F-BIDR's in the FMAP compared to the standard Magellan mosaic products. Finally, wherever possible, the FMAP will incorporate data that were unavailable (e.g., because of processing delays) when the standard MIDR products were created, as well as data that were reprocessed to improve their radiometric or geometric quality.

Kirk, R. L.↗
DOE OSTI2017

Evaluation of the National Solar Radiation Database (NSRDB): 1998-2015

This paper validates the performance of the physics-based Physical Solar Model (PSM) data set in the National Solar Radiation Data Base (NSRDB) to quantify the accuracy of the magnitude and the spatial and temporal variability of the solar radiation data. Achieving higher penetrations of solar energy on the electric grid and reducing integration costs requires accurate knowledge of the available solar resource. Understanding the impacts of clouds and other meteorological constituents on the solar resource and quantifying intra-/inter-hour, seasonal, and interannual variability are essential for accurately designing utility-scale solar energy projects. Solar resource information can be obtained from ground-based measurement stations and/or from modeled data sets. The availability of measurements is scarce, both temporally and spatially, because it is expensive to maintain a high-density solar radiation measurement network that collects good quality data for long periods of time. On the other hand, high temporal and spatial resolution gridded satellite data can be used to estimate surface radiation for long periods of time and is extremely useful for solar energy development. Because of the advantages of satellite-based solar resource assessment, the National Renewable Energy Laboratory developed the PSM. The PSM produced gridded solar irradiance -- global horizontal irradiance (GHI), direct normal irradiance (DNI), and diffuse horizontal irradiance -- for the NSRDB at a 4-km by 4-km spatial resolution and half-hourly temporal resolution covering the 18 years from 1998-2015. The NSRDB also contains additional ancillary meteorological data sets, such as temperature, relative humidity, surface pressure, dew point, and wind speed. Details of the model and data are available at https://nsrdb.nrel.gov. The results described in this paper show that the hourly-averaged satellite-derived data have a systematic (bias) error of approximately +5% for GHI and less than +10% for DNI; however, the scatter (root mean square error [RMSE]) difference is higher for the hourly averages.

14 SOLAR ENERGY↗
DOE OSTI2017

Evaluation of the National Solar Radiation Database (NSRDB): 1998-2015

This paper validates the performance of the physics-based Physical Solar Model (PSM) data set in the National Solar Radiation Data Base (NSRDB) to quantify the accuracy of the magnitude and the spatial and temporal variability of the solar radiation data. Achieving higher penetrations of solar energy on the electric grid and reducing integration costs requires accurate knowledge of the available solar resource. Understanding the impacts of clouds and other meteorological constituents on the solar resource and quantifying intra-/inter-hour, seasonal, and interannual variability are essential for accurately designing utility-scale solar energy projects. Solar resource information can be obtained from ground-based measurement stations and/or from modeled data sets. The availability of measurements is scarce, both temporally and spatially, because it is expensive to maintain a high-density solar radiation measurement network that collects good quality data for long periods of time. On the other hand, high temporal and spatial resolution gridded satellite data can be used to estimate surface radiation for long periods of time and is extremely useful for solar energy development. Because of the advantages of satellite-based solar resource assessment, the National Renewable Energy Laboratory developed the PSM. The PSM produced gridded solar irradiance -- global horizontal irradiance (GHI), direct normal irradiance (DNI), and diffuse horizontal irradiance -- for the NSRDB at a 4-km by 4-km spatial resolution and half-hourly temporal resolution covering the 18 years from 1998-2015. The NSRDB also contains additional ancillary meteorological data sets, such as temperature, relative humidity, surface pressure, dew point, and wind speed. Details of the model and data are available at https://nsrdb.nrel.gov. The results described in this paper show that the hourly-averaged satellite-derived data have a systematic (bias) error of approximately +5% for GHI and less than +10% for DNI; however, the scatter (root mean square error [RMSE]) difference is higher for the hourly averages.

14 SOLAR ENERGY↗
NASA NTRS1981

Radar imagery for forest cover mapping

Dual-polarized, X-band Synthetic Aperture Radar (SAR) imagery was obtained from an altitude of 60,000 feet over a test area near Camden, SC on June 30, 1980. The objective of this study was to determine, qualitatively, the value of the SAR imagery for identifying various forest cover types. In analyzing the HH and HV polarization images, particular attention was given to the tonal and textural characteristics of the cover types involved. The analysis of the dual-polarized SAR imagery has shown that certain forest cover features are more easily identified in one polarization than the other, while some features look very similar in both polarizations. In general, the results for this data set have shown that the overall tonal contrast between features was greater on the HH image. Neither polarization was consistently better for identifying the various forest cover types examined. These results suggest the usefulness of a dual-polarized SAR system for mapping forest cover.

Knowlton, D. J.↗
NASA NTRS1990

New interplanetary proton fluence model

A new predictive engineering model for the interplanetary fluence of protons with above 10 MeV and above 30 MeV is described. The data set used is a combination of observations made from the earth's surface and from above the atmosphere between 1956 and 1963 and observations made from spacecraft in the vicinity of earth between 1963 and 1985. The data cover a time period three times as long as the period used in earlier models. With the use of this data set the distinction between 'ordinary proton events' and 'anomalously large events' made in earlier work disappears. This permitted the use of statistical analysis methods developed for 'ordinary events' on the entire data set. The greater than 10 MeV fluences at 1 AU calculated with the new model are about twice those expected on the basis of models now in use. At energies above 30 MeV, the old and new models agree. In contrast to earlier models, the results do not depend critically on the fluence from any one event and are independent of sunspot number. Mission probability curves derived from the fluence distribution are presented.

Feynman, Joan↗
NASA NTRS2005

Sea Ice Kinematics and Thickness from RGPS: Observations and Theory

The RADARSAT Geophysical Processor System (RGPS) has produced a wealth of data on Arctic sea ice motion, deformation, and thickness with broad geographical coverage and good temporal resolution. These data provide unprecedented spatial detail of the structure and evolution of the sea ice cover. The broad purpose of this study was to take advantage of the strengths of the RGPS data set to investigate sea ice kinematics and thickness, which affect the climate through their influence on ice production, ridging, and transport (i.e. mass balance); heat flux to the atmosphere; and structure of the upper ocean mixed layer. The objectives of this study were to: (1) Explain the relationship between the discontinuous motion of the ice cover and the large-scale, smooth wind field that drives the ice; (2) Characterize the sea ice deformation in the Arctic at different temporal and spatial scales, and compare it with deformation predicted by a state-of-theart ice/ocean model; and (3) Compare RGPS-derived sea ice thickness with other data, and investigate the thinning of the Arctic sea ice cover as seen in ULS data obtained by U.S. Navy submarines. We briefly review the results of our work below, separated into the topics of sea ice deformation and sea ice thickness. This is followed by a list of publications, meetings and presentations, and other activities supported under this grant. We are attaching to this report copies of all the listed publications. Finally, we would like to point out our community service to NASA through our involvement with the ASF User Working Group and the RGPS Science Working Group, as evidenced in the list of meetings and presentations below.

Stern, Harry↗
NASA NTRSDate not supplied

Recap of DIP Workshop Series: #1 DIP Architecture and Data Integrations Services

This workshop will cover DIP architecture and data integration services to obtain feedback from America for Airlines (A4A) Air Traffic Management Council (ATMC). Participants will get a look at how the DIP architecture is set-up as well as how data integration services are planned to be hosted on the platform. The DIP architecture review is intended to cover how DIP was envisioned and how DIP is being developed to address data needs across the industry. Participants will have a chance to provide feedback on the DIP architecture and gain insight into how one might interface with the DIP to send or receive data. The data integration services portion is intended to cover DIP’s technical approach to data integration. As an example implementation, there will be a first look at possible data fusion on the platform, including utilizing NASA’s Fuser, and tailoring for industry data consumers. Descriptions, at a high-level, of input to and output of the Fuser will also be discussed.

ATM-X↗
DOE OSTI2014

LandCast 2030 High-Resolution Population Projection

The LandCast 2030 data set is an empirically-informed spatial distribution of projected population of the contiguous U.S. for 2030 compiled on a 30" x 30" latitute/longitude grid. Population projections of county level numbers were developed using a modified version of the U.S. Census's projection methodology - with the U.S. Census's official projection as the benchmark. Projected census counts were apportioned to each grid cell based on locally adaptive likelihood coefficients, which are based on land cover, slope, road proximity, distances to larger cities, a moving average of current population, and other data sets. The LandCast 2030 data set was developed as part of Oak Ridge National Laboratory (ORNL) Global Population Project for estimating ambient populations at risk.

Source record↗
DOE OSTI2014

LandCast 2050 High-Resolution Population Projection

The LandCast 2050 data set is an empirically-informed spatial distribution of projected population of the contiguous U.S. for 2050 compiled on a 30" x 30" latitude/longitude grid. Population projections of county level numbers were developed using a modified version of the U.S. Census's projection methodology - with the U.S. Census's official projection as the benchmark. Projected census counts were apportioned to each grid cell based on locally adaptive likelihood coefficients, which are based on land cover, slope, road proximity, distances to larger cities, a moving average of current population, and other data sets. The LandCast data set was developed as part of Oak Ridge National Laboratory (ORNL) Global Population Project for estimating ambient populations at risk.

Source record↗
DOE OSTI2018

Age-erosion constraints on an Early Pleistocene paleosol in Yukon, Canada, with profiles of 10 Be and 26 Al: Evidence for a significant loess cover effect on cosmogenic nuclide production rates

We report that Wounded Moose type paleosols developed on remnant deposits of Late Pliocene to Early Pleistocene [pre-Reid] Cordilleran Ice Sheet [CIS] glaciations in central Yukon, Canada. It is an important regional soil-geomorphic marker at the boundary between early CIS advances and the non-glaciated regions of Yukon and Alaska. Yet, at present, its age is poorly constrained between the Reid [0.2 Ma] and earliest [2.84 Ma] CIS advances. Here, we apply depth profiles of in situ-produced cosmogenic 26 Al and 10 Be to obtain both a minimum exposure age [1.12 +0.44 / -0.36 Ma, 2σ] and maximum erosion rate [1.1 +0.9 / -0.5 m Myr -1 ] for the Wounded Moose paleosol. Here, our results show that this soil formed under exceptionally stable conditions [max erosion rate similar to polar bedrock erosion rates] and that it pre-dates the emergence of the 100 ka [eccentricity] climate cycle. Contrasting our results from single- and joint-nuclide depth profile models reveals a significant discrepancy between calculated and effective 10 Be and 26 Al production rates [40–65% of expected values]. We interpret this discrepancy as the result of intermittent loess cover—with a time-averaged depth between 60 and 110 cm—which significantly reduced apparent exposure ages obtained from the single–nuclide model. The observation of such a significant loess-cover effect on cosmogenic nuclide production has implications for exposure dating in glacial and periglacial environments; a multi-nuclide sampling strategy is required to quantify this effect.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2022

City-level impacts of building tune-ups: Findings from Seattle's building tune-ups program

Many U.S. cities are implementing policies to reduce greenhouse gas (GHG) emissions of their buildings. These range from building energy benchmarking and disclosure to building performance standards (BPS) that require buildings to meet specific targets of energy use or emissions. The City of Seattle adopted a climate action plan in 2013 that set a goal of zero net GHG emissions in the road transportation, buildings, and waste sectors by 2050, with a number of near and long term actions. Seattle implemented mandatory building tune-ups in 2016, applying to commercial buildings larger than 50,000 sqft. Building tune-ups1 involve assessment and implementation of operational and maintenance (O + M) improvements to achieve energy and water efficiency, such as changes to thermostat set points or adjusting lighting or irrigation schedules. Seattle's tune-ups program covered 27 such improvements in HVAC, lighting, domestic hot water, and envelope systems.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗