Search NASA⌕ Search

SEARCH · Search NASA

Results for “Multi - processor programming”

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 505 records · Page 28

Global Precipitation Measurement: Bridging from TRMM to GPM to 3-Hourly Precipitation Estimates - Report 7

Historically, multi-decadal measurements of precipitation from surface-based rain gauges have been available over continents. However oceans remained largely unobserved prior to the beginning of the satellite era. Only after the launch of the first Defense Meteorological Satellite Program (DMSP) satellite in 1987 carrying a well-calibrated and multi-frequency passive microwave radiometer called Special Sensor Microwave/Imager (SSM/I) have systematic and accurate precipitation measurements over oceans become available on a regular basis; see Smith et al. (1994, 1998). Recognizing that satellite-based data are a foremost tool for measuring precipitation, NASA initiated a new research program to measure precipitation from space under its Mission to Planet Earth program in the 1990s. As a result, the Tropical Rainfall Measuring Mission (TRMM), a collaborative mission between NASA and NASDA, was launched in 1997 to measure tropical and subtropical rain. See Simpson et al. (1996) and Kummerow et al. (2000). Motivated by the success of TRMM, and recognizing the need for more comprehensive global precipitation measurements, NASA and NASDA have now planned a new mission, i.e., the Global Precipitation Measurement (GPM) mission. The primary goal of GPM is to extend TRMM's rainfall time series while making substantial improvements in precipitation observations, specifically in terms of measurement accuracy, sampling frequency, Earth coverage, and spatial resolution. This report addresses four fundamental questions related to the transition from current to future global precipitation observations as denoted by the TRMM and GPM eras, respectively.

Shepherd, J. Marshall↗

A Survey of New Trends in Symbolic Execution for Software Testing and Analysis

Symbolic execution is a well-known program analysis technique which represents values of program inputs with symbolic values instead of concrete (initialized) data and executes the program by manipulating program expressions involving the symbolic values. Symbolic execution has been proposed over three decades ago but recently it has found renewed interest in the research community, due in part to the progress in decision procedures, availability of powerful computers and new algorithmic developments. We provide a survey of some of the new research trends in symbolic execution, with particular emphasis on applications to test generation and program analysis. We first describe an approach that handles complex programming constructs such as input data structures, arrays, as well as multi-threading. We follow with a discussion of abstraction techniques that can be used to limit the (possibly infinite) number of symbolic configurations that need to be analyzed for the symbolic execution of looping programs. Furthermore, we describe recent hybrid techniques that combine concrete and symbolic execution to overcome some of the inherent limitations of symbolic execution, such as handling native code or availability of decision procedures for the application domain. Finally, we give a short survey of interesting new applications, such as predictive testing, invariant inference, program repair, analysis of parallel numerical programs and differential symbolic execution.

Pasareanu, Corina S.↗

MISR Level 2 Aerosol parameters (MIL2ASAE_V1)

The Aerosol data contain aerosol optical depth, aerosol physical model, ancillary meteorological data, and related parameters. The aerosol data include tropospheric aerosol optical depth, Angstrom exponent and single scattering albedo on 17.6 km centers, aerosol mixture identifier and retrieval residuals, and ancillary data including assumed ozone optical depth and retrieval flags. For complete information about the aerosol mixtures, the user will need to order the MISR Aerosol Climatology Product (MIANACP) to obtain Aerosol Physical and Optical Properties (APOP) and the Mixture files. The Mixture files list up to 3 component models used in each mixture, with their relative compositional fractions, and includes ancillary information such as single scattering albedo. The APOP gives detailed information for the component particle models. [Location=GLOBAL] [Temporal_Coverage: Start_Date=2000-02-24; Stop_Date=] [Spatial_Coverage: Southernmost_Latitude=-90; Northernmost_Latitude=90; Westernmost_Longitude=-180; Easternmost_Longitude=180] [Data_Resolution: Latitude_Resolution=1.1 km - 17.6 km; Longitude_Resolution=1.1 km - 17.6 km; Horizontal_Resolution_Range=1 km - < 10 km or approximately .01 degree - < .09 degree; Temporal_Resolution=about 15 orbits/day].

CIRRUS OPTICAL DEPTH↗

CID-720 aircraft high-environment flight instrumentation system

The high-environment flight instrumentation system was designed to acquire Langley's structural response data during the full scale transport-controlled impact demonstration test. There was only one opportunity for data acquisition. Thus, a high reliability and crashworthy design approach was implemented. The approach featured multi-level redundancy and a vigorous quality assurance testing program. Complying with an accelerated schedule, the instrumentation system was developed, tested and shipped within 18 months to Dryden Flight Research Facility. The flight instrumentation system consists of two autonomous data systems, DAS #1 and #2, and an excellent checkout subsystem. Each data system is partitioned into four pallets. The system was designed to operate on manned and unmanned flights. There are 176 data channels per data system. These channels are sequentially sampled and encoded into 1 megabit/sec pulse code modulation (PCM) data signal. To increase the probability of success, a special PCM distribution subsystem was developed. This subsystem distributes the PCM signal to two transmitters, one delay memory, and eight recorder tracks. The data on four of these trackes was digitally delayed approximately 300 msec to maximize data acquisition during impact. Therefore each data system's data is redundantly recorded onboard and on the ground. There are two time code generators. Parallel time from each is encoded into both data systems. Serial time from each is redundantly recorded on both onboard recorders. Instrumentation power is independent of aircraft power and self-contained.

Calloway, R. S.↗

Full-scale thrust reverser testing in an altitude facility

A two-dimensional convergent-divergent exhaust nozzle designed and fabricated by Pratt and Whitney Aircraft was installed on a PW1128 turbofan engine and tested during thrust reverser operation in an altitude facility at NASA Lewis Research Center. A unique collection system was used to capture the thrust reverser exhaust gas and transport it to the primary exhaust collector. Tests were conducted at three flight conditions with varying amounts of thrust reverse at each condition. Some reverser exhaust gas spillage by the collection system was encountered but engine performance was unaffected at all flight conditions tested. Based on the results of this test program, the feasibility of altitude testing of advanced multi-function exhaust nozzle systems has been demonstrated.

Mehalic, Charles M.↗

Aerosol backscatter studies supporting LAWS

Optimized Royal Signals and Radar Establishment (RSRE), Laser True Airspeed System (LATAS) algorithm for low backscatter conditions was developed. The algorithm converts backscatter intensity measurements from focused continuous-wave (CW) airborne Doppler lidar into backscatter coefficients. The performance of optimized algorithm under marginal backscatter signal conditions was evaluated. The 10.6 micron CO2 aerosol backscatter climatologies were statistically analyzed. Climatologies reveal clean background aerosol mode near 10(exp -10)/kg/sq m/sr (mixing ratio units) through middle and upper troposhere, convective mode associated with planetary boundary layer convective activity, and stratospheric mode associated with volcanically-generated aerosols. Properties of clean background mode are critical to design and simulation studies of Laser Atmospheric Wind Sounder (LAWS), a MSFC facility Instrument on the Earth Observing System (Eos). Previous intercomparisons suggested correlation between aerosol backscatter at CO2 wavelength and water vapor. Field measurements of backscatter profiles with MSFC ground-based Doppler lidar system (GBDLS) were initiated in late FY-88 to coincide with independent program of local rawinsonde releases and overflights by Multi-spectral Atmospheric Mapping Sensor (MAMS), a multi-channel infrared radiometer capable of measuring horizontal and vertical moisture distributions. Design and performance simulation studies for LAWS would benefit from the existence of a relationship between backscatter and water vapor.

Rothermel, Jeffry↗

Convective flow effects on protein crystal growth

The long-term stability of the interferometric setup for the monitoring of protein morphologies has been improved. Growth or dissolution of a crystal on a 100 A scale can now be clearly distinguished from dimensional changes occurring within the optical path of the interferometer. This capability of simultaneously monitoring the local interfacial displacement at several widely-spaced positions on the crystal surface with high local depth resolution, has already yielded novel results. We found with lysozyme that (1) the normal growth rate is oscillatory, and (2) the mean growth step density is greater at the periphery of a facet than in its center. The repartitioning of Na(+) and Cl(-) ions between lysozyme solutions and crystals was studied for a wide range of crystallization conditions. A nucleation-growth-repartitioning model was developed to interpret the large body of data in a unified way. The results strongly suggests that (1) the ion to lysozyme ratio in the crystal depends mostly on kinetic rather than crystallographic parameters, and (2) lysozyme crystals possess a salt-rich core with a diameter on the order of 10 microns. The computational model for diffusive-convective transport in protein crystallization (see the First Report) has been applied to a realistic growth cell geometry, taking into account the findings of the above repartitioning studies. These results show that some elements of a moving boundary problem must be incorporated into the model in order to obtain a more realistic description. Our experimental setup for light scattering investigations of aggregation and nucleation in protein solutions has been extensively tested. Scattering intensity measurements with a true Rayleigh scatterer produced systematically increased forward scattering, indicating problems with glare. These have been resolved. Preliminary measurements with supersaturated lysozyme solutions revealed that the scatterers grow with time. Work has begun on a computer program for the unified evaluation of simultaneously obtained, multi-angle static and dynamic light scattering data.

Rosenberger, Franz↗

Java PathFinder User Guide

The JAVA PATHFINDER, JPF, is a translator from a subset of JAVA 1.0 to PROMELA, the programming language of the SPIN model checker. The purpose of JPF is to establish a framework for verification and debugging of JAVA programming based on model checking. The main goal is to automate program verification such that a programmer can apply it in the daily work without the need for a specialist to manually reformulate a program into a different notation in order to analyze the program. The system is especially suited for analyzing multi-threaded JAVA applications, where normal testing usually falls short. The system can find deadlocks and violations of boolean assertions stated by the programmer in a special assertion language. This document explains how to Use JPF.

Havelund, Klaus↗

Remote Operations and Ground Control Centers

The Payload Operations Integration Center at the Marshall Space Flight Center supports the International Space Station (ISS) through remote interfaces around the world. The POI$ was originally designed as a gateway to space for remote facilities; ranging from an individual user to a fullscale multi-user environment. This achievement was accomplished while meeting program requirements and accommodating the injection of modem technology on an ongoing basis to ensure cost operations. This paper will discuss the open POIC architecture developed to support similar and dissimilar remote operations centers. It will include technologies, protocols, and compromises which on a day to day basis support ongoing operations. Additional areas covered include centralized management of shared resources and methods utilized to provide highly available and restricted resources to remote users. Finally, the effort of coordinating the actions of participants will be discussed.

Bryant, Barry S.↗

Investigations To Characterize Multi-Junction Solar Cells In The Stratosphere Using Low-Cost Balloon And Communication Technologies

The use of current balloon, control and communication technologies to test multi-junction solar sell in the stratosphere to achieve near AMO conditions have been investigated. The design criteria for the technologies are that they be reliable, low cost and readily available. Progress is reported on a program to design, launch, fly and retrieve payloads dedicated to testing multi-junction solar cells.

Bowe, Glenroy A.↗

Microshutter Arrays for NIRSpec

A primary science goal of the 6.5 m James Webb Space Telescope is to characterize the epoch of initial galaxy formation, observing the early universe as the first stars and galaxies formed. This program will be accomplished using a combination of multi-band imaging and spectroscopic measurements of large numbers of faint galaxies. Since these objects are in general sparse on the sky, a multi object spectrometer is required to enable this critical scientific investigation. We have developed a microshutter array which is to be used as a high contrast, remotely programmable field selector for the Near Infrared Spectrometer (NIRSpec) on JWST. This device allows slits to be opened at the locations of selected galaxies in the field of view, and blocks sources and background light from the rest of the field. The first flight design devices have been built and were tested. These first generation of devices were used to demonstrate performance and flight readiness. Devices of the same design will be delivered to ESA for installation into the NIRSpec instrument.

Silverberg, Robert↗

Observations from Space: A Unique Vantage Point for the Study of the Environment and Possible Associations with Disease Occurrence

Health providers/researchers need environmental data to study and understand the geographic, environmental, and meteorological differences in disease. Satellite remote sensing of the environment offers a unique vantage point that can fill in the gaps of environmental, spatial, and temporal data for tracking disease. The field of geospatial health remains in its infancy, and this program will demonstrate the need for collaborations between multi-disciplinary research groups to develop the full potential. NASA will discuss the Public Health Projects developed to work with Grantees and the CDC while providing them with information on opportunities for future collaborations with NASA for future research.

Estes, S.↗

NASA Satellite Observations: A Unique Asset for the Study of the Environment and Implications for Public

Health providers/researchers need environmental data to study and understand the geographic, environmental, and meteorological differences in disease. Satellite remote sensing of the environment offers a unique vantage point that can fill in the gaps of environmental, spatial, and temporal data for tracking disease. The field of geospatial health remains in its infancy, and this program will demonstrate the need for collaborations between multi-disciplinary research groups to develop the full potential. NASA will discuss some of their Public Health Projects and also providing the audience with information on opportunities for future collaborations with NASA for future research.

Estes, Sue↗

Towards Autonomous Operation of Robonaut 2

The Robonaut 2 (R2) platform, as shown in Figure 1, was designed through a collaboration between NASA and General Motors to be a capable robotic assistant with the dexterity similar to a suited astronaut [1]. An R2 robot was sent to the International Space Station (ISS) in February 2011 and, in doing so, became the first humanoid robot in space. Its capabilities are presently being tested and expanded to increase its usefulness to the crew. Current work on R2 includes the addition of a mobility platform to allow the robot to complete tasks (such as cleaning, maintenance, or simple construction activities) both inside and outside of the ISS. To support these new activities, R2's software architecture is being developed to provide efficient ways of programming robust and autonomous behavior. In particular, a multi-tiered software architecture is proposed that combines principles of low-level feedback control with higher-level planners that accomplish behavioral goals at the task level given the run-time context, user constraints, the health of the system, and so on. The proposed architecture is shown in Figure 2. At the lowest-level, the resource level, there exists the various sensory and motor signals available to the system. The sensory signals for a robot such as R2 include multiple channels of force/torque data, joint or Cartesian positions calculated through the robot's proprioception, and signals derived from objects observable by its cameras.

Badger, Julia M.↗

Software Supports Distributed Operations via the Internet

Multi-mission Encrypted Communication System (MECS) is a computer program that enables authorized, geographically dispersed users to gain secure access to a common set of data files via the Internet. MECS is compatible with legacy application programs and a variety of operating systems. The MECS architecture is centered around maintaining consistent replicas of data files cached on remote computers. MECS monitors these files and, whenever one is changed, the changed file is committed to a master database as soon as network connectivity makes it possible to do so. MECS provides subscriptions for remote users to automatically receive new data as they are generated. Remote users can be producers as well as consumers of data. Whereas a prior program that provides some of the same services treats disconnection of a user from the network of users as an error from which recovery must be effected, MECS treats disconnection as a nominal state of the network: This leads to a different design that is more efficient for serving many users, each of whom typically connects and disconnects frequently and wants only a small fraction of the data at any given time.

Norris, Jeffrey↗

Use of In Situ and Airborne Multiangle Data to Assess MODIS- and Landsat-based Estimates of Surface Albedo

The quantification of uncertainty of global surface albedo data and products is a critical part of producing complete, physically consistent, and decadal land property data records for studying ecosystem change. A current challenge in validating satellite retrievals of surface albedo is the ability to overcome the spatial scaling errors that can contribute on the order of 20% disagreement between satellite and field-measured values. Here, we present the results from an uncertain ty analysis of MODerate Resolution Imaging Spectroradiometer (MODIS) and Landsat albedo retrievals, based on collocated comparisons with tower and airborne multi-angular measurements collected at the Atmospheric Radiation Measurement Program s (ARM) Cloud and Radiation Testbed (CART) site during the 2007 Cloud and Land Surface Interaction Campaign (CLAS33 IC 07). Using standard error propagation techniques, airborne measurements obtained by NASA s Cloud Absorption Radiometer (CAR) were used to quantify the uncertainties associated with MODIS and Landsat albedos across a broad range of mixed vegetation and structural types. Initial focus was on evaluating inter-sensor consistency through assessments of temporal stability, as well as examining the overall performance of satellite-derived albedos obtained at all diurnal solar zenith angles. In general, the accuracy of the MODIS and Landsat albedos remained under a 10% margin of error in the SW(0.3 - 5.0 m) domain. However, results reveal a high degree of variability in the RMSE (root mean square error) and bias of albedos in both the visible (0.3 - 0.7 m) and near-infrared (0.3 - 5.0 m) broadband channels; where, in some cases, retrieval uncertainties were found to be in excess of 20%. For the period of CLASIC 07, the primary factors that contributed to uncertainties in the satellite-derived albedo values include: (1) the assumption of temporal stability in the retrieval of 500 m MODIS BRDF values over extended periods of cloud-contaminated observations; and (2) the assumption of spatial 45 and structural uniformity at the Landsat (30 m) pixel scale.

Roman, Miguel O.↗

NASA Expendable Launch Vehicle (ELV) Payload Safety Review Process

Issues addressed by this program: (1) Complicated roles and responsibilities associated with multi-partner projects (2) Working relationships and communications between all organizations involved in the payload safety process (3) Consistent interpretation and implementation of safety requirements from one project to the rest (4) Consistent implementation of the Tailoring Process (5) Clearly defined NASA decision-making-authority (6) Bring Agency-wide perspective to each ElV payload project. Current process requires a Payload Safety Working Group (PSWG) for eac payload with representatives from all involved organizations.

Starbus, Calvert S.↗

Flight Avionics Hardware Roadmap

As part of NASA's Avionics Steering Committee's stated goal to advance the avionics discipline ahead of program and project needs, the committee initiated a multi-Center technology roadmapping activity to create a comprehensive avionics roadmap. The roadmap is intended to strategically guide avionics technology development to effectively meet future NASA missions needs. The scope of the roadmap aligns with the twelve avionics elements defined in the ASC charter, but is subdivided into the following five areas: Foundational Technology (including devices and components), Command and Data Handling, Spaceflight Instrumentation, Communication and Tracking, and Human Interfaces.

Hodson, Robert↗