Search NASA⌕ Search

SEARCH · Search NASA

Results for “concurrent data structures”

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 91 records · Page 5
All sourcesNASA NTRSDOE OSTI
NASA NTRS1986

Simultaneous rocket and MST radar observation of an internal gravity wave breaking in the mesosphere

In June, 1983, the Structure and Atmospheric Turbulence Environment (STATE) rocket and Poker Flat Mesophere-Stratosphere-Troposphere radar campaign was conducted to measure the interaction between turbulence, electron density and electron density gradient that has produced unusually strong MST radar echoes from the summer mesosphere over Poker Flat, Alaska. Analysis or radar wind measurements and a concurrent wind and temperature profile obtained from a rocket probe carrying a three-axis accelerometer are given. The two data sets provide a fairly complete (and in some cases, redundant) picture of the breaking (or more correctly, the saturation) of a large-amplitude, low-frequency, long-wavelength internal gravity wave. The data show that small-scale turbulence and small-scale wave intensity is greatest at those altitudes where the large-scale wave-induced temperature lapse rate is most negative or most nearly unstable, but the wind shear due to the large-scale wave is a minimum. A brief review of linear gravity-wave theory is presented as an aid to the identification of the gravity-wave signature in the radar and rocket data. Analysis of the time and height cross sections of wind speed and turbulence intensity observed by the Poker Flat MST radar follows. Then, the vertical profile of temperature and winds measured by a rocket probe examined. Finally, the use of the independent data sets provided by the rocket and the radar are discussed and implications for theories of wave saturation are presented.

Smith, S. A.↗
NASA NTRS2003

High-Level Data Races

Data races are a common problem in concurrent and multi-threaded programming. They are hard to detect without proper tool support. Despite the successful application of these tools, experience shows that the notion of data race is not powerful enough to capture certain types of inconsistencies occurring in practice. In this paper we investigate data races on a higher abstraction layer. This enables us to detect inconsistent uses of shared variables, even if no classical race condition occurs. For example, a data structure representing a coordinate pair may have to be treated atomically. By lifting the meaning of a data race to a higher level, such problems can now be covered. The paper defines the concepts view and view consistency to give a notation for this novel kind of property. It describes what kinds of errors can be detected with this new definition, and where its limitations are. It also gives a formal guideline for using data structures in a multi-threading environment.

Artho, Cyrille↗
NASA NTRS1997

A Comparison of PETSC Library and HPF Implementations of an Archetypal PDE Computation

Two paradigms for distributed-memory parallel computation that free the application programmer from the details of message passing are compared for an archetypal structured scientific computation a nonlinear, structured-grid partial differential equation boundary value problem using the same algorithm on the same hardware. Both paradigms, parallel libraries represented by Argonne's PETSC, and parallel languages represented by the Portland Group's HPF, are found to be easy to use for this problem class, and both are reasonably effective in exploiting concurrency after a short learning curve. The level of involvement required by the application programmer under either paradigm includes specification of the data partitioning (corresponding to a geometrically simple decomposition of the domain of the PDE). Programming in SPAM style for the PETSC library requires writing the routines that discretize the PDE and its Jacobian, managing subdomain-to-processor mappings (affine global- to-local index mappings), and interfacing to library solver routines. Programming for HPF requires a complete sequential implementation of the same algorithm, introducing concurrency through subdomain blocking (an effort similar to the index mapping), and modest experimentation with rewriting loops to elucidate to the compiler the latent concurrency. Correctness and scalability are cross-validated on up to 32 nodes of an IBM SP2.

Hayder, M. Ehtesham↗
NASA NTRS1992

Deep Hubble Space Telescope imaging of a compact radio galaxy at z = 2.390

The radio galaxy with the highest redshift in the Leiden-Berkeley Deep Survey, 53W002, is described and examined in terms of UV profile in relation to an early-type galaxy. The HST WFC images have a resolution of 0.2 arcsec FWHM, and the I- and V-band structures are assessed. The source is elongated in a manner similar to the Ly alpha cloud in V, and the structure is highly compact in I. The present object with a young starburst has very high central UV surface brightnesses relative to nearby luminous early-type galaxies, while the light profiles are similar. The data are concluded to suggest that 53W002 is a young galaxy that has a regular light profile at z = 2.390 even though it has been forming stars since not more than about 0.5 Gyr before z = 2.390. Such a scenario is consistent with concurrent dynamical collapse and star formation in the compact radio galaxy.

Windhorst, Rogier↗
NASA NTRS2009

Model Checking - My 27-Year Quest to Overcome the State Explosion Problem

Model Checking is an automatic verification technique for state-transition systems that are finite=state or that have finite-state abstractions. In the early 1980 s in a series of joint papers with my graduate students E.A. Emerson and A.P. Sistla, we proposed that Model Checking could be used for verifying concurrent systems and gave algorithms for this purpose. At roughly the same time, Joseph Sifakis and his student J.P. Queille at the University of Grenoble independently developed a similar technique. Model Checking has been used successfully to reason about computer hardware and communication protocols and is beginning to be used for verifying computer software. Specifications are written in temporal logic, which is particularly valuable for expressing concurrency properties. An intelligent, exhaustive search is used to determine if the specification is true or not. If the specification is not true, the Model Checker will produce a counterexample execution trace that shows why the specification does not hold. This feature is extremely useful for finding obscure errors in complex systems. The main disadvantage of Model Checking is the state-explosion problem, which can occur if the system under verification has many processes or complex data structures. Although the state-explosion problem is inevitable in worst case, over the past 27 years considerable progress has been made on the problem for certain classes of state-transition systems that occur often in practice. In this talk, I will describe what Model Checking is, how it works, and the main techniques that have been developed for combating the state explosion problem.

Clarke, Ed↗
NASA NTRS1990

A scheme for supporting distributed data structures on multicomputers

A data migration mechanism is proposed that allows an explicit and controlled mapping of data to memory. While read or write copies of each data element can be assigned to any processor's memory, longer term storage of each data element is assigned to a specific location in the memory of a particular processor. The proposed integration of a data migration scheme with a compiler is able to eliminate the migration of unneeded data that can occur in multiprocessor paging or caching. The overhead of adjudicating multiple concurrent writes to the same page or cache line is also eliminated. Data is presented that suggests that the scheme may be a pratical method for efficiently supporting data migration.

Hiranandani, Seema↗
NASA NTRS1985

Effects of soil tillage on the microwave emission of soils

In order to understand the interactions of soil properties and microwave emission better, a series of field experiments were conducted in 1984. Small plots were measured with a truck-mounted passive microwave radiometer operating at 1.4 GHz. These data were collected concurrent with ground observations of soil moisture and bulk density. Treatment effects studied included different soil moisture contents and bulk densities. Evaluations of the data have shown that commonly used models of the dielectric properties of wet soils do not explain the observations obtained in these experiments. This conclusion was based on the fact that the roughness parameters determined through optimization were significantly larger than those observed in similar investigations. These discrepancies are most likely due to the soil structure. Commonly used models assume a homogeneous three phase mixture of soil solids, air and water. Under tilled conditions the soil is actually a two phase mixture of aggregates and voids. Appropriate dielectric models for this tilled condition were evaluated and found to explain the observations. These results indicate that previous conclusions concerning the effects of surface roughness in tilled fields may be incorrect, and they may explain some of the inconsistencies encountered in roughness modeling.

Jackson, T. J.↗
NASA NTRS1985

Government-to-government cooperation in space station development

A memoranda of understanding was recently signed between the United States (NASA) and three international Space Station partners - Canada, European Space Agency (ESA), and Japan. The international partners are performing parallel Phase B preliminary design studies, concurrent with the U.S., on their proposed elements/systems for possible integration and operation with the U.S. Space Station System complex. During the 21-month Space Station Phase B study, a large amount of technical interface data will have to be transferred between the U.S. and the international partners. Scheduled bilateral technical coordination meetings will also be held. The coordination and large number of interfaces required to integrate the international requirements into the Space Station require a clean interface management organizational structure and operation procedures to accomplish the integration task. The international coordination management organizational structure, management tools, and communications network are discussed including the proposed international elements/systems being studied by the international partners.

Nassiff, S. H.↗
NASA NTRS2010

Lessons Learned in Launching Ares I-X

The Ares I-X flight test, scheduled for 2009, is the first opportunity for the Constellation Program and Ares Projects to obtain important data on the in-flight loads, first stage recovery, and ground-handling characteristics of the Ares I crew launch vehicle. The flight test vehicle will incorporate a mix of flight and mockup hardware, reflecting an acceptable representation of the mass and outer mold line characteristics of the operational Ares I vehicle. It will be powered by a four-segment solid rocket motor from the Space Shuttle inventory and will include a fifth, inert spacer segment and new forward structures to make it the same shape as the Ares I first stage. The vehicle also includes mass simulators for the upper stage, Orion crew module, and launch abort system to match the outer mold line of Ares I; an active roll control system; and avionics derived from Shuttle and Atlas hardware. This suborbital mission will take the flight test vehicle from stacking in the Vehicle Assembly Building (VAB) at Kennedy Space Center (KSC) through liftoff, maximum dynamic pressure, first stage separation, and recovery. Ares I-X presented NASA with unique project management challenges. This presentation will address those unique challenges, including managing a virtual nationwide team under a constrained timeline; designing and building the launch vehicle and ground systems; working concurrently with Space Shuttle activities; and integrating technical and management functions. It also will identify key data collected and lessons learned from the flight that will be applied to future exploration missions.

Davis, Stephan R.↗
NASA NTRS1980

Integrated analysis capability for large space systems

The development of an integrated analysis computer program capable of performing the conceptual/preliminary structural system design analysis of large space systems is addressed. The integrated analysis capability (IAC) specifications include thermal/structural/controls integration, an emphasis on existing software and interactive graphics and I/O, a project size capability of 1 to 50 users (1 to 5 users concurrent), and the use of the FORTRAN '77 language. The advantages of the DISCOS and NASTRAN computer programs to the IAC are outlined and recommendations for other programs are made. Barriers to the development of the system arising from the interdisciplinary data flow are defined.

Vos, R. G.↗
NASA NTRS2003

[Development and Use of Hidrosig]

The NASA portion of this joint NSF-NASA grant consists of objective 2 and a part of objective 3. A major effort was made on objective 2, and it consisted of developing a numerical GIs environment called Hidrosig. This major research tool is being developed by the University of Colorado for conducting river-network-based scaling analyses of coupled water-energy-landform-vegetation interactions including water and energy balances, and floods and droughts, at multiple space-time scales.Objective 2: To analyze the relevant remotely sensed products from satellites, radars and ground measurements to compute the transported water mass for each complete Strahler stream using an 'assimilated water balance equation' at daily and other appropriate time scales. This objective requires analysis of concurrent data sets for Precipitation (PPT), Evapotranspiration (ET) and stream flows (Q) on river networks. To solve this major problem, our decision was to develop Hidrosig, a new Open-Source GIs software. A research group in Colombia, South America, developed the first version of Hidrosig, and Ricardo Mantilla was part of this effort as an undergraduate student before joining the graduate program at the University of Colorado in 2001. Hydrosig automatically extracts river networks from large DEMs and creates a "link-based" data structure, which is required to conduct a variety of analyses under objective 2. It is programmed in Java, which is a multi-platform programming language freely distributed by SUN under a GPL license. Some existent commercial tools like Arc-Info, RiverTools and others are not suitable for our purpose for two reasons. First, the source code is not available that is needed to build on the network data structure. Second, these tools use different programming languages that are not most versatile for our purposes. For example, RiverTools uses an IDL platform that is not very efficient for organizing diverse data sets on river networks. Hidrosig establishes a clear data organization framework that allows a simultaneous analysis of spatial fields along river network structures involving Horton- Strahler framework. Software tools for network extraction from DEMs and network-based analysis of geomorphologic and topologic variables were developed during the first year and a part of second year.

Gupta, Vijay K.↗
NASA NTRS1988

Plasma electrons as tracers of distant magnetotail structure - ISEE-3

This paper compares the electron spectra and phase space densities measured concurrently by ISEE-3 at 200 R(E), with those measured by DMSP at low altitudes. The field-aligned lobe electron phase space densities above 200 eV at ISEE were found to agree well with the DMSP-measured polar rain phase space densities near the polar cap; the spectral slopes above 200 eV were also similar. Below 100-200 eV, a thermal electron population was measured by ISEE in the distant tail, which arose from local entry of plasma through the distant magnetopause, which is not present at DMSP altitudes. These data show that the suprathermal tail lobe electrons are essentially a test particle population which can move freely along field lines to form polar rain; in contrast, the thermal electrons are bound to the tailward-flowing lobe ion population far down the tail and, thus, cannot reach the polar cap regions.

Baker, D. N.↗
NASA NTRS1992

Concurrent file operations in a high performance FORTRAN

Distributed memory multiprocessor systems can provide the computing power necessary for large scale scientific applications. A critical performance issue for a number of these applications is the efficient transfer of data to secondary storage. Recently several research groups have proposed FORTRAN language extensions for exploiting the data parallelism of such scientific codes on distributed memory architectures. However, few of these high performance FORTRAN's provide appropriate constructs for controlling the use of the parallel I/O capabilities of modern multiprocessing machines. In this paper, we propose constructs to specify I/O operations for distributed data structures in the context of Vienna Fortran. These operations can be used by the programmer to provide information which can help the compiler and runtime environment make the most efficient use of the I/O subsystem.

Brezany, Peter↗
NASA NTRS1993

A concurrent hybrid Navier-Stokes/Euler approach to fluid dynamic computations

We present a methodology for the numerical simulation of flow fields by the simultaneous application of two distinct approaches to computational aerodynamics. We compute the three dimensional flow field of a missile at moderate angle of attack by dividing the flow field into two regions: a region near the surface where we use a structured grid and a Navier Stokes solver, and a region farther away from the surface where we utilize an unstructured grid and an Euler solver. The two solvers execute as independent UNIX processes either on the same machine or on two machines. The solvers communicate data across their common interfaces within the same machine or over the network. The computations indicate that extensively separated flow fields can be computed without significant distortion by combining viscous and inviscid solvers.

Tavella, Domingo A.↗
NASA NTRS2014

An Approach for the Long-Term 30-m Land Surface Snow-Free Albedo Retrieval from Historic Landsat Surface Reflectance and MODIS-based A Priori Anisotropy Knowledge

Land surface albedo has been recognized by the Global Terrestrial Observing System (GTOS) as an essential climate variable crucial for accurate modeling and monitoring of the Earth's radiative budget. While global climate studies can leverage albedo datasets from MODIS, VIIRS, and other coarse-resolution sensors, many applications in heterogeneous environments can benefit from higher-resolution albedo products derived from Landsat. We previously developed a "MODIS-concurrent" approach for the 30-meter albedo estimation which relied on combining post-2000 Landsat data with MODIS Bidirectional Reflectance Distribution Function (BRDF) information. Here we present a "pre-MODIS era" approach to extend 30-m surface albedo generation in time back to the 1980s, through an a priori anisotropy Look-Up Table (LUT) built up from the high quality MCD43A BRDF estimates over representative homogenous regions. Each entry in the LUT reflects a unique combination of land cover, seasonality, terrain information, disturbance age and type, and Landsat optical spectral bands. An initial conceptual LUT was created for the Pacific Northwest (PNW) of the United States and provides BRDF shapes estimated from MODIS observations for undisturbed and disturbed surface types (including recovery trajectories of burned areas and non-fire disturbances). By accepting the assumption of a generally invariant BRDF shape for similar land surface structures as a priori information, spectral white-sky and black-sky albedos are derived through albedo-to-nadir reflectance ratios as a bridge between the Landsat and MODIS scale. A further narrow-to-broadband conversion based on radiative transfer simulations is adopted to produce broadband albedos at visible, near infrared, and shortwave regimes.We evaluate the accuracy of resultant Landsat albedo using available field measurements at forested AmeriFlux stations in the PNW region, and examine the consistency of the surface albedo generated by this approach respectively with that from the "concurrent" approach and the coincident MODIS operational surface albedo products. Using the tower measurements as reference, the derived Landsat 30-m snow-free shortwave broadband albedo yields an absolute accuracy of 0.02 with a root mean square error less than 0.016 and a bias of no more than 0.007. A further cross-comparison over individual scenes shows that the retrieved white sky shortwave albedo from the "pre-MODIS era" LUT approach is highly consistent (R(exp 2) = 0.988, the scene-averaged low RMSE = 0.009 and bias = −0.005) with that generated by the earlier "concurrent" approach. The Landsat albedo also exhibits more detailed landscape texture and a wider dynamic range of albedo values than the coincident 500-m MODIS operational products (MCD43A3), especially in the heterogeneous regions. Collectively, the "pre-MODIS" LUT and "concurrent" approaches provide a practical way to retrieve long-term Landsat albedo from the historic Landsat archives as far back as the 1980s, as well as the current Landsat-8 mission, and thus support investigations into the evolution of the albedo of terrestrial biomes at fine resolution.

Albedo algorithm↗
NASA NTRS1992

Oregon transect: Comparison of leaf-level reflectance with canopy-level and modelled reflectance

The Oregon Transect Ecosystem Research (OTTER) project involves the collection of a variety of remotely-sensed and in situ measurements for characterization of forest biophysical and biochemical parameters. The project includes nine study plots located along an environmental gradient in west-central Oregon, extending from the Pacific coast inland approximately 300km. These plots represent a broad range in ecosystem structure and function. Within the OTTER project, the sensitivity of the Airborne Visible/Infrared Imaging Spectrometer (AVIRIS) signal to absorption by foliar biochemicals is being examined. AVIRIS data were acquired over all plots in conjunction with the four OTTER Multi-sensor Aircraft Campaigns spanning the growing season. Foilage samples were gathered during each campaign for biochemical determination (at Ames Research Center), to estimate stand-level constituency at each plot. Directional-hemispheric leaf reflectance throughout the 400-2400nm region was measured in the laboratory as an aid to interpreting concurrent AVIRIS data. Obtaining leaf spectra in this manner reduces or eliminates the confounding influences of atmosphere, canopy architecture, and reflectance by woody components, understory, and exposed soils which are present in airborne observations. These laboratory spectra were compared to simulated spectra derived by inverting the PROSPECT leaf-level canopy reflectance derived from AVIRIS data by use of the LOWTRAN-7 atmospheric radiative-transfer model.

Johnson, Lee F.↗
NASA NTRS2014

Centering a DDR Strobe in the Middle of a Data Packet

The Orion CEV Northstar ASIC (application- specific integrated circuit) project required a DDR (double data rate) memory bus driver/receiver (DDR PHY block) to interface with external DDR memory. The DDR interface (JESD79C) is based on a source synchronous strobe (DQS\) that is sent along with each packet of data (DQ). New data is provided concurrently with each edge of strobe and is sent irregularly. In order to capture this data, the strobe needs to be delayed and used to latch the data into a register. A circuit solves the need for training a DDR PRY block by incorporating a PVT-compensated delay element in the strobe path. This circuit takes an external reference clock signal and uses the regular clock to calibrate a known delay through a data path. The compensated delay DQS signal is then used to capture the DQ data in a normal register. This register structure can be configured as a FIFO (first in first out), in order to transfer data from the DDR domain to the system clock domain. This design is different in that it does not rely upon the need for training the system response, nor does it use a PLL (phase locked loop) or a DLL (delay locked loop) to provide an offset of the strobe signal. The circuit is created using standard ASIC building blocks, plus the PVT (process, voltage, and temperature) compensated delay line. The design uses a globally available system clock as a reference, alleviating the need to operate synchronously with the remote memory. The reference clock conditions the PVT compensated delay line to provide a pre-determined amount of delay to any data signal that passes through this delay line. The delay line is programmed in degrees of offset, so that one could think of the clock period representing 360deg of delay. In an ideal environment, delaying the strobe 1/4 of a clock cycle (90deg) would place the strobe in the middle of the data packet. This delayed strobe can then be used to clock the data into a register, satisfying setup and hold requirements of the system.

Johnson, Michael↗
NASA NTRS2023

Distributions of Mesoscale Periodic Structures in the Elemental and Ionic Composition of the Solar Wind

Multiple statistical and event studies based on in situ observations have shown that the solar wind contains mesoscale (∼ 100 – 10,000 Mm) periodic structures in the proton number density. Remote observations of such structures and event studies of concurrent variations in composition have demonstrated that they can form in the solar atmosphere and be preserved while advecting outwards through the heliosphere. Viall, Kepko, and Spence (J. Geophys. Res. (Space Phys.) 113, A07101, 2008; J. Geophys. Res. (Space Phys.) 114, A01201, 2009) and Kepko, Viall, and Wolfinger (J. Geophys. Res. (Space Phys.) 125(8), e28037, 2020) have reported that periodic proton density structures preferentially occur at specific radial length scales and have published their distributions from Wind measurements near L1. Here, we conduct a statistical study of 14 years (1998 – 2011) of 12-minute composition data measured by the Solar Wind Ion Composition Spectrometer instrument aboard the Advanced Composition Explorer spacecraft. We found that the elemental and ionic composition also contain statistically significant mesoscale periodic structures and, for the first time, present occurrence distributions for elemental abundance ratios with low, intermediate, and high first ionization potentials as well as for key solar wind charge states. These distributions set important constraints on solar wind formation in general and the formation of periodic mesoscale solar wind structures specifically, as the elemental and ionic composition are known to be determined at the Sun and to not evolve during advection.

Solar wind↗