Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “current distribution mapping”

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 289 records · Page 16

Results from the Wilkinson Microwave Anisotropy Probe

The Wilkinson Microwave Anisotropy Probe (WMAP) mapped the distribution of temperature and polarization over the entire sky in five microwave frequency bands. These full-sky maps were used to obtain measurements of temperature and polarization anisotropy of the cosmic microwave background with the unprecedented accuracy and precision. The analysis of two-point correlation functions of temperature and polarization data gives determinations of the fundamental cosmological parameters such as the age and composition of the universe, as well as the key parameters describing the physics of inflation, which is further constrained by three-point correlation functions. WMAP observations alone reduced the flat Λ cold dark matter (Lambda Cold Dark Matter) cosmological model (six) parameter volume by a factor of > 68, 000 compared with pre-WMAP measurements. The WMAP observations (sometimes in combination with other astrophysical probes) convincingly show the existence of non-baryonic dark matter, the cosmic neutrino background, flatness of spatial geometry of the universe, a deviation from a scale-invariant spectrum of initial scalar fluctuations, and that the current universe is undergoing an accelerated expansion. The WMAP observations provide the strongest ever support for inflation; namely, the structures we see in the universe originate from quantum fluctuations generated during inflation.

The Wilkinson Microwave Anisotropy Probe (WMAP)↗

PHALANX: Expendable Projectile Sensor Networks for Planetary Exploration

Technologies enabling long-term, wide-ranging measurement in hard-to-reach areas are a critical need for planetary science inquiry. Phenomena of interest include flows or variations in volatiles, gas composition or concentration, particulate density, or even simply temperature. Improved measurement of these processes enables understanding of exotic geologies and distributions or correlating indicators of trapped water or biological activity. However, such data is often needed in unsafe areas such as caves, lava tubes, or steep ravines not easily reached by current spacecraft and planetary robots. To address this capability gap, we have developed miniaturized, expendable sensors which can be ballistically lobbed from a robotic rover or static lander - or even dropped during a flyover. These projectiles can perform sensing during flight and after anchoring to terrain features. By augmenting exploration systems with these sensors, we can extend situational awareness, perform long-duration monitoring, and reduce utilization of primary mobility resources, all of which are crucial in surface missions. We call the integrated payload that includes a cold gas launcher, smart projectiles, planning software, network discovery, and science sensing: PHALANX. In this paper, we introduce the mission architecture for PHALANX and describe an exploration concept that pairs projectile sensors with a rover “mothership.” Science use cases explored include reconnaissance using ballistic cameras, volatiles detection, and building timelapse maps of temperature and illumination conditions. Strategies to autonomously coordinate constellations of deployed sensors to self-discover and localize with peer ranging (i.e. a “local GPS”) are summarized, thus providing communications infrastructure beyond-line-of-sight (BLOS) of the rover. Capabilities were demonstrated through both simulation and physical testing with a terrestrial prototype. The approach to developing a terrestrial prototype is discussed, including design of the launching mechanism, projectile optimization, micro-electronics fabrication, and sensor selection. Results from early testing and characterization of commercial-off-the-shelf (COTS) components are reported. Nodes were subjected to successful burn-in tests over 48 hours at full logging duty cycle. Integrated field tests were conducted in the Roverscape, a half-acre planetary analog environment at NASA Ames, where we tested up to 10 sensor nodes simultaneously coordinating with an exploration rover. Ranging accuracy has been demonstrated to be within +/-10cm over 20m using commodity radios when compared to high-resolution laser scanner ground truthing. Evolution of the design, including progressive miniaturization of the electronics and iterated modifications of the enclosure housing for streamlining and optimized radio performance are described. Finally, lessons learned to date, gaps toward eventual flight mission implementation, and continuing future development plans are discussed.

Dille, Michael↗

Diagnosing Aircraft Icing Potential from Satellite Cloud Retrievals

The threat for aircraft icing in clouds is a significant hazard that routinely impacts aviation operations. Accurate diagnoses and forecasts of aircraft icing conditions requires identifying the location and vertical distribution of clouds with super-cooled liquid water (SLW) droplets, as well as the characteristics of the droplet size distribution. Traditional forecasting methods rely on guidance from numerical models and conventional observations, neither of which currently resolve cloud properties adequately on the optimal scales needed for aviation. Satellite imagers provide measurements over large areas with high spatial resolution that can be interpreted to identify the locations and characteristics of clouds, including features associated with adverse weather and storms. This paper describes new techniques for interpreting cloud products derived from satellite data to infer the flight icing threat to aircraft. For unobscured low clouds, the icing threat is determined using empirical relationships developed from correlations between satellite imager retrievals of liquid water path and droplet size with icing conditions reported by pilots (PIREPS). For deep ice over water cloud systems, ice and liquid water content (IWC and LWC) profiles are derived by using the imager cloud properties to constrain climatological information on cloud vertical structure and water phase obtained apriori from radar and lidar observations, and from cloud model analyses. Retrievals of the SLW content embedded within overlapping clouds are mapped to the icing threat using guidance from an airfoil modeling study. Compared to PIREPS and ground-based icing remote sensing datasets, the satellite icing detection and intensity accuracies are approximately 90% and 70%, respectively, and found to be similar for both low level and deep ice over water cloud systems. The satellite-derived icing boundaries capture the reported altitudes over 90% of the time. Satellite analyses corresponding to the time and location of several recent aviation accidents and with icing PIREPS are also presented that reveal skill in identifying severe icing conditions. These results demonstrate the utility of satellite cloud retrievals for quantitatively diagnosing the potential for icing conditions on temporal and spatial scales that should be useful to the aviation community. Plans are being developed to deliver these new satellite products to the GOES-R Proving Ground in the near future so that they can be evaluated in operational applications.

Smith, William L., Jr.↗

Monitoring of Structural Integrity of Composite Structures by Embedded Optical Fiber Sensors

Real time monitoring of the mechanical integrity and stresses on key aerospace composite structures like aircraft wings, walls of pressure vessels and fuel tanks or any other structurally extended components and panels as in space telescopes is very important to NASA. Future military and commercial aircraft as well as NASA space systems such as Space Based Radar and International Space Station will incorporate a monitoring system to sense any degradation to the structure. In the extreme flight conditions of an aerospace vehicle it might be desirable to measure the strain every ten centimeters and thus fully map out the strain field of a composite component. A series of missions and vehicle health management requirements call for these measurements. At the moment thousands of people support a few vehicle launches per year. This number can be significantly reduced by implementing intelligent vehicles with integral nervous systems (smart structures). This would require maintenance to be performed only as needed. Military and commercial aircrafts have an equally compelling case. Maintenance yearly costs are currently reaching astronomical heights. Monitoring techniques are therefore required that allow for maintenance to be performed only when needed. This would allow improved safety by insuring that necessary tasks are performed while reducing costs by eliminating procedures that are costly and not needed. The advantages fiber optical sensors have over conventional electro-mechanical systems like strain gauges have been widely extolled in the research literature. These advantages include their small size, low weight, immunity to electrical resistance, corrosion resistance, compatibility with composite materials and process conditions, and multiplexing capabilities. One fiber optic device which is suitable for distributed sensing is the fiber Bragg grating (FBG). Researchers at NASA MSFC are currently developing techniques for using FBGs for monitoring the integrity of advanced structural materials expected to become the mainstay of the current and future generation space structures. Since carbon-epoxy composites are the materials of choice for the current space structures, the initial study is concentrated on this type of composite. The goals of this activity are to use embedded FBG sensors for measuring strain and temperature of composite structures, and to investigate the effects of various parameters such as composite fiber orientation with respect to the optical sensor, unidirectional fiber composite, fabrication process etc., on the optical performance of the sensor. This paper describes an experiment to demonstrate the use of an embedded FBG for measuring strain in a composite material. The performance of the fiber optic sensor is determined by direct comparison with results from more conventional instrumentation.

Albert J. Osei↗

Investigation of Structural Properties of Carbon-Epoxy Composites Using Embedded Fiber-Optic Bragg Gratings

Real time monitoring of the mechanical integrity and stresses on key aerospace composite structures like aircraft wings, walls of pressure vessels and fuel tanks or any other structurally extended components and panels as in space telescopes is very important to NASA. Future military and commercial aircraft as well as NASA space systems such as Space Based Radar and International Space Station will incorporate a monitoring system to sense any degradation to the structure. In the extreme flight conditions of an aerospace vehicle it might be desirable to measure the strain every ten centimeters and thus fully map out the strain field of a composite component. A series of missions and vehicle health management requirements call for these measurements. At the moment thousands of people support a few vehicle launches per year. This number can be significantly reduced by implementing intelligent vehicles with integral nervous systems (smart structures). This would require maintenance to be performed only as needed. Military and commercial aircrafts have an equally compelling case. Annual maintenance costs are currently reaching astronomical heights. Monitoring techniques are therefore required that allow for maintenance to be performed only when needed. This would allow improved safety by insuring that necessary tasks are performed while reducing costs by eliminating procedures that are costly and not needed. The advantages fiber optical sensors have over conventional electro-mechanical systems like strain gauges have been widely extolled in the research literature. These advantages include their small size, low weight, immunity to electrical resistance, corrosion resistance, compatibility with composite materials and process conditions, and multiplexing capabilities. One fiber optic device which is suitable for distributed sensing is the fiber Bragg grating (FBG). This is a periodic perturbation in the refractive index of the fiber core. When a broadband light is coupled into the optical fiber sensor, a reflection peak will be obtained centered around a wavelength called Bragg-wavelength. The Bragg-wavelength depends on the refractive index and the period of the grating, which both change due to mechanical and thermal strain applied to the sensor. The shift in the Bragg-wavelength is directly proportional to the strain. Researchers at NASA MSFC are currently developing techniques for using FBGs for monitoring the integrity of advanced structural materials expected to become the mainstay of the current and future generation space structures. Since carbon-epoxy composites are the materials of choice for the current space structures, the initial study is concentrated on this type of composite. The goals of this activity are to use embedded FBG sensors for measuring strain and temperature of composite structures, and to investigate the effects of various parameters such as composite fiber orientation with respect to the optical sensor, unidirectional fiber composite, fabrication process etc., on the optical performance of the sensor. This paper describes an experiment to demonstrate the use of an embedded FBG for measuring strain in a composite material. The performance of the fiber optic sensor is determined by direct comparison with results from more conventional instrumentation.

Osei, Albert J.↗

Comparison of Visual and LiDAR SLAM Algorithms using NASA Flight Test Data

Simultaneous Localization and Mapping (SLAM) is a promising technique that provides localization information and precise mapping of the physical environment without having much prior knowledge of the surroundings. SLAM may have a vital role in aeronautics and aerospace, where vehicles and aircraft must operate in complex environments with traditional localization services that may be degraded or unavailable. This paper compares several pre-canned 3D SLAM algorithms based on vision and LiDAR, namely ORB-SLAM, ORB-SLAM2, LOAM, A-LOAM, and F-LOAM on NASA UAS (Unmanned Aircraft System) flight test data. The NASA ARC UAS flight test demonstrates preliminary SLAM algorithm results, which serve as a stepping stone to simulated AAM (Advanced Air Mobility) concepts. Conducting AFRC UAS flight test for simulated AAM approach and landing with SLAM algorithms provides an Alternative Precision Navigation and Timing solution based on distributed landmarks and fiducials in the landing zone. These algorithms use the telemetry data as ground truth for a baseline comparison. The criteria of the performance comparison include robustness, accuracy, re-localization, response to environmental changes, and real-time effectiveness, which are currently qualitative but to be quantitative in the future.

computer vision↗

Comparison of Visual and LiDAR SLAM Algorithms using NASA Flight Test Data

Simultaneous Localization and Mapping (SLAM) is a promising technique that provides localization information and precise mapping of the physical environment without having much prior knowledge of the surroundings. SLAM may have a vital role in aeronautics and aerospace, where vehicles and aircraft must operate in complex environments with traditional localization services that may be degraded or unavailable. This paper compares several pre-canned 3D SLAM algorithms based on vision and LiDAR, namely ORB-SLAM, ORB-SLAM2, LOAM, A-LOAM, and F-LOAM on NASA UAS (Unmanned Aircraft System) flight test data. The NASA ARC UAS flight test demonstrates preliminary SLAM algorithm results, which serve as a stepping stone to simulated AAM (Advanced Air Mobility) concepts. Conducting AFRC UAS flight test for simulated AAM approach and landing with SLAM algorithms provides an Alternative Precision Navigation and Timing solution based on distributed landmarks and fiducials in the landing zone. These algorithms use the telemetry data as ground truth for a baseline comparison. The criteria of the performance comparison include robustness, accuracy, re-localization, response to environmental changes, and real-time effectiveness, which are currently qualitative but to be quantitative in the future.

computer vision↗

The Space Technology 7 disturbance reduction system

The NASA New Millennium Program Space Technology 7 (ST7) project was selected for the purpose of flight validation of technology for minimizing disturbances on spacecraft and freely-floating test masses. Measurements of the motion of test masses are used for determining the gravitational field in its location, providing information on the nearby mass distribution or looking gravitational waves generated by distant star systems. Any unmeasured forces acting on the test mass cause a deviation from a purely gravitational trajectory and so limit the accuracy of the gravity field estimation. The ST7 project will validate the capability to eliminate unwanted forces to a level 3000 times lower than the current state of the art. The ST7 design is based on the concept of a freely-floating test mass surrounded by a spacecraft which shields the test mass from unwanted disturbances. since some disturbance of the test mass can be caused by motion of the spacecraft itself with respect to the test mass, the disturbance reduction system includes the capability of precisely measuring the position of the spacecraft with respect to the test mass and control of the spacecraft position to within 1/100 of a wavelength of light.. The overall system performance of the ST7 project will be infused into space observatories for gravitational waves such as the Laser Interferometer Space Antenna project, and into future mission for mapping the time-variable Earth gravity field. The ST7 precision control capability also has applications for separated-spacecraft interferometric imaging projects. ST7 will consist of an instrument package and a set of microthrusters, which will be attached to the European Space Agency’s LISA Pathfinder spacecraft with launch scheduled for 2008.

Folkner, W. M.↗

Coastal Zone Color Scanner

The Coastal Zone Color Scanner (CZCS) spacecraft ocean color instrument is capable of measuring and mapping global ocean surface chlorophyll concentration. It is a scanning radiometer with multiband capability. With new electronics and some mechanical, and optical re-work, it probably can be made flight worthy. Some additional components of a second flight model are also available. An engineering study and further tests are necessary to determine exactly what effort is required to properly prepare the instrument for spaceflight and the nature of interfaces to prospective spacecraft. The CZCS provides operational instrument capability for monitoring of ocean productivity and currents. It could be a simple, low cost alternative to developing new instruments for ocean color imaging. Researchers have determined that with global ocean color data they can: specify quantitatively the role of oceans in the global carbon cycle and other major biogeochemical cycles; determine the magnitude and variability of annual primary production by marine phytoplankton on a global scale; understand the fate of fluvial nutrients and their possible affect on carbon budgets; elucidate the coupling mechanism between upwelling and large scale patterns in ocean basins; answer questions concerning the large scale distribution and timing of spring blooms in the global ocean; acquire a better understanding of the processes associated with mixing along the edge of eddies, coastal currents, western boundary currents, etc., and acquire global data on marine optical properties.

Johnson, B.↗

Spatially Resolved Imaging at 350 Micrometers of Cold Dust in Nearby Elliptical Galaxies

Continuum observations at 350 micrometers of seven nearby elliptical galaxies for which CO gas disks have recently been resolved with interferometry mapping are presented. These SHARC II mapping results provide the first clearly resolved far-infrared (FIR)-to-submillimeter continuum emission from cold dust (with temperatures 31 K is approximately greater than T approximately greater than 23 K) of any elliptical galaxy at a distance greater than 40 Mpc. The measured FIR excess shows that the most likely and dominant heating source of this dust is not dilute stellar radiation or cooling flows, but rather star formation that could have been triggered by an accretion or merger event and fueled by dust-rich material that has settled in a dense region cospatial with the central CO gas disks. The dust is detected even in two cluster ellipticals that are deficient in H (sub I), showing that, unlike H (sub I), cold dust and CO in ellipticals can survive in the presence of hot X-ray gas, even in galaxy clusters. No dust cooler than 20 K, either distributed outside the CO disks or cospatial with and heated by the entire dilute stellar optical galaxy (or very extended H (sub I)), is currently evident.

photometry↗

Studies of Westward Electrojets and Field-Aligned Currents in the Magnetotail During Substorms: Implications for Magnetic Field Models

This section outlines those tasks undertaken in the final year that contribute integrally to the overarching project goals. Fast, during the final year, it is important to note that the project benefited greatly with the addition of a Boston University graduate student, Ms. Karen Hirsch. Jointly, we made substantial progress on the development of and improvements to magnetotail magnetic field and plasma models. The ultimate aim of this specific task was to assess critically the utility of such models for mapping low-altitude phenomena into the magnetotail (and vice-versa). The bulk of this effort centered around the finite-width- magnetotail convection model developed by and described by Spence and Kivelson (J. Geophys. Res., 98, 15,487, 1993). This analytic, theoretical model specifies the bulk plasma characteristics of the magnetotail plasma sheet (number density, temperature, pressure) across the full width of the tail from the inner edge of the plasma sheet to lunar distances. Model outputs are specified by boundary conditions of the source particle populations as well as the magnetic and electric field configuration. During the reporting period, we modified this code such that it can be interfaced with the auroral particle precipitation model developed by Dr. Terry Onsager. Together, our models provide a simple analytic specification of the equatorial distribution of fields and plasma along with their low-altitude consequences. Specifically, we have built a simple, yet powerful tool which allows us to indirectly 'map' auroral precipitation signatures (VDIS, inverted-V's, etc.) measured by polar orbiting spacecraft in the ionosphere, to the magnetospheric equatorial plane. The combined models allow us to associate latitudinal gradients measured in the ion energy fluxes at low-altitudes with the large-scale pressure gradients in the equatorial plane. Given this global, quasi-static association, we can then make fairly strong statements regarding the location of discrete features in the context of the global picture. We reported on our initial study at national and international meetings and published the results of our predictions of the low-altitude signatures of the plasma sheet. In addition, the PI was invited to contribute a publication to the so-called 'Great Debate in Space Physics' series that is a feature of EOS. The topic was on the nature of magnetospheric substorms. Specific questions of the when and where a substorm occurs and the connection between the auroral and magnetospheric components were discussed in that paper. This paper therefore was derived exclusively from the research supported by this grant. Attachment: Empirical modeling of the quite time nightside magnetosphere.' 'CRRES observations of particle flux dropout event.' The what, where, when, and why of magnetospheric substorm triggers'. and 'Low altitude signature of the plasma sheet: model prediction of local time dependence'.

Spence, Harlan E.↗

Colorado Ecological Forecasting: Monitoring Post-fire Cheatgrass (Bromus tectorum) Distribution to Inform Management Planning

Cheatgrass (Bromus tectorum) is a species of concern across the western United States as it has the potential to outcompete native plant species, reduce biodiversity, and diminish nutrient availability for ungulates. Furthermore, because cheatgrass can quickly dominate disturbed landscapes it has the potential to exacerbate wildfire risk by increasing fuel loads. In 2020, the Cameron Peak fire burned more than 200,000 acres on the Arapaho and Roosevelt National Forests in Colorado. These issues are of imminent concern for our partners at the Forest Service (USFS), as they are tasked with wildfire risk and invasive species mitigation. Disturbances such as wildfires can substantially increase the rate and extent of cheatgrass spread. Current cheatgrass mitigation methods rely on field crews to physically locate cheatgrass on the landscape, which takes time, money, and extensive manpower. Here, we developed two Random Forest models within the Software for Assisted Habitat Modeling (SAHM) using remote sensing predictors derived from Sentinel-2 MultiSpectral Instrument (MSI) and Shuttle Radar Topography Mission (SRTM). The first model identified suitable cheatgrass habitat while the other detected cheatgrass presence during the 2021 growing season. Topographic variables were found to be the most important in driving the habitat suitability model. Cheatgrass detection was also found to be possible within a short timespan with limited imagery surrounding a phenological shift of the plant. Maps produced from these models provide natural resource managers the ability to implement early detection and rapid response to prevent the spread of cheatgrass to new locations.

DEVELOP Tech Paper↗

Improved Satellite Retrievals of NO2 and SO2 over the Canadian Oil Sands and Comparisons with Surface Measurements

Satellite remote sensing is increasingly being used to monitor air quality over localized sources such as the Canadian oil sands. Following an initial study, significantly low biases have been identified in current NO2 and SO2 retrieval products from the Ozone Monitoring Instrument (OMI) satellite sensor over this location resulting from a combination of its rapid development and small spatial scale. Air mass factors (AMFs) used to convert line-of-sight "slant" columns to vertical columns were re-calculated for this region based on updated and higher resolution input information including absorber profiles from a regional-scale (15 km × 15 km resolution) air quality model, higher spatial and temporal resolution surface reflectivity, and an improved treatment of snow. The overall impact of these new Environment Canada (EC) AMFs led to substantial increases in the peak NO2 and SO2 average vertical column density (VCD), occurring over an area of intensive surface mining, by factors of 2 and 1.4, respectively, relative to estimates made with previous AMFs. Comparisons are made with long-term averages of NO2 and SO2 (2005-2011) from in situ surface monitors by using the air quality model to map the OMI VCDs to surface concentrations. This new OMI-EC product is able to capture the spatial distribution of the in situ instruments (slopes of 0.65 to 1.0, correlation coefficients of greater than 0.9). The concentration absolute values from surface network observations were in reasonable agreement, with OMI-EC NO2 and SO2 biased low by roughly 30%. Several complications were addressed including correction for the interference effect in the surface NO2 instruments and smoothing and clear-sky biases in the OMI measurements. Overall these results highlight the importance of using input information that accounts for the spatial and temporal variability of the location of interest when performing retrievals.

surface concentration↗

The Violent Early Solar System, as Told by Lunar Sample Geochronology

One of the legacies of the samples collected by the Apollo and Luna missions is the link forged between radiometric ages of rocks and relative ages according to stratigraphic relationships and impact crater size-frequency distributions. Our current understanding of the history of the inner solar system is based on the relative chronology of individual planets, tied to the absolute geochronology of the Moon via these important samples. Samples from these nearside locations reveal a preponderance of impact-disturbed or recrystallized ages between 3.75 and 3.95 billion years. Argon and lead loss (and correlated disturbances in the Rb-Sr system) have been attributed to metamorphism of the lunar crust by an enormous number of impacts in a brief pulse of time, called the Lunar Cataclysm or Late Heavy Bombardment. Subsequent high-precision geochronometric analyses of Apollo samples and lunar highlands meteorites show a wider range of ages, but very few older than 4 Ga. The paucity of ancient impact melt rocks has been interpreted to mean that either that most impact basins formed at this time, or that ejecta from the large, near-side, young basins dominates the Apollo samples. Selenochronology is getting more complicated: new results question meaning of sample ages, crater counts, crater production functions, and the solar system itself. Improved geological mapping of lunar geologic units and boundaries using multiple remote sensing datasets. High-resolution image-based crater counting of discrete geologic units and relating them to location. Improved understanding of the regolith thickness and its global variation (GRAIL). Tying the sampling of impact-melt rocks to the lunar impact flux. Using improved techniques (magnetic fields, diffusion studies, isotopic analysis) on existing samples. New sample return from benchmark craters, particularly SPA, which appears in 2013 Decadal Survey.

Cohen, Barbara↗

QuakeSim 2.0

QuakeSim 2.0 improves understanding of earthquake processes by providing modeling tools and integrating model applications and various heterogeneous data sources within a Web services environment. QuakeSim is a multisource, synergistic, data-intensive environment for modeling the behavior of earthquake faults individually, and as part of complex interacting systems. Remotely sensed geodetic data products may be explored, compared with faults and landscape features, mined by pattern analysis applications, and integrated with models and pattern analysis applications in a rich Web-based and visualization environment. Integration of heterogeneous data products with pattern informatics tools enables efficient development of models. Federated database components and visualization tools allow rapid exploration of large datasets, while pattern informatics enables identification of subtle, but important, features in large data sets. QuakeSim is valuable for earthquake investigations and modeling in its current state, and also serves as a prototype and nucleus for broader systems under development. The framework provides access to physics-based simulation tools that model the earthquake cycle and related crustal deformation. Spaceborne GPS and Inter ferometric Synthetic Aperture (InSAR) data provide information on near-term crustal deformation, while paleoseismic geologic data provide longerterm information on earthquake fault processes. These data sources are integrated into QuakeSim's QuakeTables database system, and are accessible by users or various model applications. UAVSAR repeat pass interferometry data products are added to the QuakeTables database, and are available through a browseable map interface or Representational State Transfer (REST) interfaces. Model applications can retrieve data from Quake Tables, or from third-party GPS velocity data services; alternatively, users can manually input parameters into the models. Pattern analysis of GPS and seismicity data has proved useful for mid-term forecasting of earthquakes, and for detecting subtle changes in crustal deformation. The GPS time series analysis has also proved useful as a data-quality tool, enabling the discovery of station anomalies and data processing and distribution errors. Improved visualization tools enable more efficient data exploration and understanding. Tools provide flexibility to science users for exploring data in new ways through download links, but also facilitate standard, intuitive, and routine uses for science users and end users such as emergency responders.

Donnellan, Andrea↗

The Matsu Wheel: A Cloud-Based Framework for Efficient Analysis and Reanalysis of Earth Satellite Imagery

Project Matsu is a collaboration between the Open Commons Consortium and NASA focused on developing open source technology for cloud-based processing of Earth satellite imagery with practical applications to aid in natural disaster detection and relief. Project Matsu has developed an open source cloud-based infrastructure to process, analyze, and reanalyze large collections of hyperspectral satellite image data using OpenStack, Hadoop, MapReduce and related technologies. We describe a framework for efficient analysis of large amounts of data called the Matsu "Wheel." The Matsu Wheel is currently used to process incoming hyperspectral satellite data produced daily by NASA's Earth Observing-1 (EO-1) satellite. The framework allows batches of analytics, scanning for new data, to be applied to data as it flows in. In the Matsu Wheel, the data only need to be accessed and preprocessed once, regardless of the number or types of analytics, which can easily be slotted into the existing framework. The Matsu Wheel system provides a significantly more efficient use of computational resources over alternative methods when the data are large, have high-volume throughput, may require heavy preprocessing, and are typically used for many types of analysis. We also describe our preliminary Wheel analytics, including an anomaly detector for rare spectral signatures or thermal anomalies in hyperspectral data and a land cover classifier that can be used for water and flood detection. Each of these analytics can generate visual reports accessible via the web for the public and interested decision makers. The result products of the analytics are also made accessible through an Open Geospatial Compliant (OGC)-compliant Web Map Service (WMS) for further distribution. The Matsu Wheel allows many shared data services to be performed together to efficiently use resources for processing hyperspectral satellite image data and other, e.g., large environmental datasets that may be analyzed for many purposes.

NASA GES DISC support of CO2 Data from OCO-2, ACOS, and AIRS

NASA Goddard Earth Sciences Data and Information Services Centers (GES DISC) is the data center assigned to archive and distribute current AIRS, ACOS data and data from the upcoming OCO-2 mission. The GES DISC archives and supports data containing information on CO2 as well as other atmospheric composition, atmospheric dynamics, modeling and precipitation. Along with the data stewardship, an important mission of GES DISC is to facilitate access to and enhance the usability of data as well as to broaden the user base. GES DISC strives to promote the awareness of science content and novelty of the data by working with Science Team members and releasing news articles as appropriate. Analysis of events that are of interest to the general public, and that help in understanding the goals of NASA Earth Observing missions, have been among most popular practices.Users have unrestricted access to a user-friendly search interface, Mirador, that allows temporal, spatial, keyword and event searches, as well as an ontology-driven drill down. Variable subsetting, format conversion, quality screening, and quick browse, are among the services available in Mirador. The majority of the GES DISC data are also accessible through OPeNDAP (Open-source Project for a Network Data Access Protocol) and WMS (Web Map Service). These services add more options for specialized subsetting, format conversion, image viewing and contributing to data interoperability.

Wei, Jennifer C↗

Formal methods in the design of Ada 1995

Formal, mathematical methods are most useful when applied early in the design and implementation of a software system--that, at least, is the familiar refrain. I will report on a modest effort to apply formal methods at the earliest possible stage, namely, in the design of the Ada 95 programming language itself. This talk is an 'experience report' that provides brief case studies illustrating the kinds of problems we worked on, how we approached them, and the extent (if any) to which the results proved useful. It also derives some lessons and suggestions for those undertaking future projects of this kind. Ada 95 is the first revision of the standard for the Ada programming language. The revision began in 1988, when the Ada Joint Programming Office first asked the Ada Board to recommend a plan for revising the Ada standard. The first step in the revision was to solicit criticisms of Ada 83. A set of requirements for the new language standard, based on those criticisms, was published in 1990. A small design team, the Mapping Revision Team (MRT), became exclusively responsible for revising the language standard to satisfy those requirements. The MRT, from Intermetrics, is led by S. Tucker Taft. The work of the MRT was regularly subject to independent review and criticism by a committee of distinguished Reviewers and by several advisory teams--for example, the two User/Implementor teams, each consisting of an industrial user (attempting to make significant use of the new language on a realistic application) and a compiler vendor (undertaking, experimentally, to modify its current implementation in order to provide the necessary new features). One novel decision established the Language Precision Team (LPT), which investigated language proposals from a mathematical point of view. The LPT applied formal mathematical analysis to help improve the design of Ada 95 (e.g., by clarifying the language proposals) and to help promote its acceptance (e.g., by identifying a verifiable subset that would meet the needs of safety-critical applications). The first LPT project, which ran from the fall of 1990 unti the end of 1992, produced studies of several language issues: optimization, sharing and storage, tasking and protected records, overload resolution, the floating point model, distribution, program erros, and object-oriented programming. The second LPT project, in 1994, formally modeled the dynamic semantics of a large part of the (almost) final language definition, looking especially for interactions between language features.

Guaspari, David↗