Search NASA⌕ Search

SEARCH · Search NASA

Results for “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 235 records · Page 13

Vienna FORTRAN: A FORTRAN language extension for distributed memory multiprocessors

Exploiting the performance potential of distributed memory machines requires a careful distribution of data across the processors. Vienna FORTRAN is a language extension of FORTRAN which provides the user with a wide range of facilities for such mapping of data structures. However, programs in Vienna FORTRAN are written using global data references. Thus, the user has the advantage of a shared memory programming paradigm while explicitly controlling the placement of data. The basic features of Vienna FORTRAN are presented along with a set of examples illustrating the use of these features.

Chapman, Barbara↗

Generalized Symbolic Execution for Model Checking and Testing

Modern software systems, which often are concurrent and manipulate complex data structures must be extremely reliable. We present a novel framework based on symbolic execution, for automated checking of such systems. We provide a two-fold generalization of traditional symbolic execution based approaches: one, we define a program instrumentation, which enables standard model checkers to perform symbolic execution; two, we give a novel symbolic execution algorithm that handles dynamically allocated structures (e.g., lists and trees), method preconditions (e.g., acyclicity of lists), data (e.g., integers and strings) and concurrency. The program instrumentation enables a model checker to automatically explore program heap configurations (using a systematic treatment of aliasing) and manipulate logical formulae on program data values (using a decision procedure). We illustrate two applications of our framework: checking correctness of multi-threaded programs that take inputs from unbounded domains with complex structure and generation of non-isomorphic test inputs that satisfy a testing criterion. Our implementation for Java uses the Java PathFinder model checker.

Khurshid, Sarfraz↗

Security aspects of space operations data

This paper deals with data security. It identifies security threats to European Space Agency's (ESA) In Orbit Infrastructure Ground Segment (IOI GS) and proposes a method of dealing with its complex data structures from the security point of view. It is part of the 'Analysis of Failure Modes, Effects Hazards and Risks of the IOI GS for Operations, including Backup Facilities and Functions' carried out on behalf of the European Space Operations Center (ESOC). The security part of this analysis has been prepared with the following aspects in mind: ESA's large decentralized ground facilities for operations, the multiple organizations/users involved in the operations and the developments of ground data systems, and the large heterogeneous network structure enabling access to (sensitive) data which does involve crossing organizational boundaries. An IOI GS data objects classification is introduced to determine the extent of the necessary protection mechanisms. The proposal of security countermeasures is oriented towards the European 'Information Technology Security Evaluation Criteria (ITSEC)' whose hierarchically organized requirements can be directly mapped to the security sensitivity classification.

Schmitz, Stefan↗

Using the Saturn V and Titan III Vibroacoustic Databanks for Random Vibration Criteria Development

This is an update to TN D-7159, "Development and Application of Vibroacoustic Structural Data Banks in Predicting Vibration Design and Test Criteria for Rocket Vehicle Structures", which was originally published in 1973. Errors in the original document have been corrected and additional data from the Titan III program have been included. Methods for using the vibroacoustic databanks for vibration test criteria development are shown, as well as all of the data with drawings and pictures of the measurement locations. An Excel spreadsheet with the data included is available from the author.

Ferbee, R C.↗

Radiation performance of AlGaAs and InGaAs concentrator cells and expected performance of cascade structures

Aluminum gallium arsenide, GaAs, silicon and InGaAs cells have been irradiated with 1-MeV electrons and 37-MeV protons. These cells are candidates for individual cells in a cascade structure. Data are presented for both electron and proton irradiation studies for one sun and a concentration level of 100X AM0. Results of calculations on the radiation resistance of cascade cell structures based on the individual cell data are also presented. Both series-connected and separately connected structures are investigated.

Curtis, H. B.↗

Communications network design and costing model programmers manual

Otpimization algorithms and techniques used in the communications network design and costing model for least cost route and least cost network problems are examined from the programmer's point of view. All system program modules, the data structures within the model, and the files which make up the data base are described.

Logan, K. P.↗

Thematic mapper study of Alaskan ophiolites

The combinations of Thematic Mapper (TM) bands that best distinguish basalts of the Brooks Range ophiolites were determined. Geochemical analyses, including major, trace, and rare earth elements (REE), are being done in order to study the significance of TM spectral variations that were observed within some of the sampled rock units. An image of the topography of the western Brooks Range and Colville Basin was constructed. Elevation data for the rest of Northern Alaska are being acquired to expand the area covered by the topography image. Two balanced cross sections (one along the eastern margin, the other along the western margin of the Brooks Range) are being constructed, using the techniques of fault-bend and fault-propagation folding. These are being used to obtain regional shortening estimates for the Brooks Range in an attempt to constrain tectonic models for the evolution of Northern Alaska. The TM data are being used to confirm reconnaissance maps and to obtain structural data where no maps exist. Along with the TM data, digital topography, seismic reflection profiles, and magnetic and gravity surveys are examined to better understand the evolution of the Colville Basin, north of the Brooks Range.

Bird, J. M.↗

Graphics Processing Unit Assisted Thermographic Compositing

Objective: To develop a software application utilizing general purpose graphics processing units (GPUs) for the analysis of large sets of thermographic data. Background: Over the past few years, an increasing effort among scientists and engineers to utilize the GPU in a more general purpose fashion is allowing for supercomputer level results at individual workstations. As data sets grow, the methods to work them grow at an equal, and often great, pace. Certain common computations can take advantage of the massively parallel and optimized hardware constructs of the GPU to allow for throughput that was previously reserved for compute clusters. These common computations have high degrees of data parallelism, that is, they are the same computation applied to a large set of data where the result does not depend on other data elements. Signal (image) processing is one area were GPUs are being used to greatly increase the performance of certain algorithms and analysis techniques. Technical Methodology/Approach: Apply massively parallel algorithms and data structures to the specific analysis requirements presented when working with thermographic data sets.

Ragasa, Scott↗

Hot Views on Cold Crystals: The Application of Thermal Imaging in Cryocrystallography

We have used thermal imaging techniques to visualize the cryocooling processes of macromolecular crystals. Cryocooling is a common technique used for structural data collection to reduce radiation damage in intense X-ray beams and decrease the thermal motion of the atoms. From the thermal images it was clear that during cryocooling a cold wave progresses through a crystal starting at the face closest to the origin of the cold stream and ending at the point furthest away. As an extension to this work, we used thermal imaging to study small crystals, held in a cryo-loop, in the presence of vitrified mother liquor. The different infrared transmission and reflectance properties of the crystal in comparison to the mother liquor surrounding it are thought to be the parameter that produces the contrast that makes the crystal visible. An application of this technology may be the determination of the exact location of small crystals in a cryo-loop for automated structural genomics studies. Data from initial tests in support of application development was recorded for lysozyme crystals and for bFGF/dna complex crystals, which were cryocooled and imaged in large loops, both with visible light and with infrared radiation. The crystals were clearly distinguished from the vitrified solution in the infrared spectrum, while in the case of the bFGF/dna complex the illumination had to be carefully manipulated to make the crystal visible in the visible spectrum. These results suggest that the thermal imaging may be more sensitive than visual imaging for automated location of small crystals. However, further work on small crystals robotically mounted at SSRL did not clearly visualize those crystals. The depth of field of the camera proved to be limiting and a different cooling geometry was used, compared to the previous, successful experiments. Analysis to exploit multiple images to improve depth of field and experimental work to understand cooling geometry effects is ongoing. These results will be presented along with advantages and disadvantages of the technique and a discussion of how it might be applied.

Snell, Eddie↗

An integrated modeling and design tool for advanced optical spacecraft

Consideration is given to the design and status of the Integrated Modeling of Optical Systems (IMOS) tool and to critical design issues. A multidisciplinary spacecraft design and analysis tool with support for structural dynamics, controls, thermal analysis, and optics, IMOS provides rapid and accurate end-to-end performance analysis, simulations, and optimization of advanced space-based optical systems. The requirements for IMOS-supported numerical arrays, user defined data structures, and a hierarchical data base are outlined, and initial experience with the tool is summarized. A simulation of a flexible telescope illustrates the integrated nature of the tools.

Briggs, Hugh C.↗

Integration of geometric modeling and advanced finite element preprocessing

The structure to a geometry based finite element preprocessing system is presented. The key features of the system are the use of geometric operators to support all geometric calculations required for analysis model generation, and the use of a hierarchic boundary based data structure for the major data sets within the system. The approach presented can support the finite element modeling procedures used today as well as the fully automated procedures under development.

Shephard, Mark S.↗

The use of linked lists in the simulation of controller-structure interaction

An algorithm for the computer simulation of large space structures under active control is considered. Linked lists are used in a matrix data structure to implement the trapezoidal rule on system differential equations. The use of the trapezoidal rule ensures that the numerical stability is equivalent to the system stability, which is essential for this type of simulation. The sparsity of the system matrices is exploited by the linked lists, and the algorithm efficiently steps through the lists in an orderly fashion. Results of simulations on a NASA large space structure experiment are reported.

Quan, R.↗

The use of linked lists in the simulation of controller-structure interaction

An algorithm for the computer simulation of large space structures under active control is considered. Linked lists are used in a matrix data structure to implement the trapezoidal rule on the system differential equations. The use of the trapezoidal rule ensures that the numerical stability is equivalent to the system stability, which is essential for this type of simulation. The sparsity of the system matrices is exploited by the linked lists, and the algorithm efficiently steps through the lists in an orderly fashion. Results of simulations on a NASA large space structure experiment are reported.

Quan, Ralph↗

The Digital Space Shuttle, 3D Graphics, and Knowledge Management

The Digital Shuttle is a knowledge management project that seeks to define symbiotic relationships between 3D graphics and formal knowledge representations (ontologies). 3D graphics provides geometric and visual content, in 2D and 3D CAD forms, and the capability to display systems knowledge. Because the data is so heterogeneous, and the interrelated data structures are complex, 3D graphics combined with ontologies provides mechanisms for navigating the data and visualizing relationships.

Gomez, Julian E.↗

Probabilistic #D data fusion for multiresolution surface generation

In this paper we present an algorithm for adaptive resolution integration of 3D data collected from multiple distributed sensors. The input to the algorithm is a set of 3D surface points and associated sensor models. Using a probabilistic rule, a surface probability function is generated that represents the probability that a particular volume of space contains the surface. The surface probability function is represented using an octree data structure; regions of space with samples of large conariance are stored at a coarser level than regions of space containing samples with smaller covariance. The algorithm outputs an adaptive resolution surface generated by connecting points that lie on the ridge of surface probability with triangles scaled to match the local discretization of space given by the algorithm, we present results from 3D data generated by scanning lidar and structure from motion.

3D data fusion multiresolution surface generation ↗

A flexible grid embedding technique with application to the Euler equations

An automated grid embedding procedure for solution of flows about complex geometries is described. The physical domain is subdivided into regions that can accommodate easily generated grids. The grids are organized in a hierarchical structure, and communication among grids is accomplished by interpolation of the flow variables at mesh boundaries. Algorithms for locating embedded boundaries, special treatment of the embedded grids, and the data structures required for manipulating the solution data are described. The method is demonstrated by solution of the Euler equations for transonic flow about a supercritical airfoil and a flapped airfoil.

Benek, J. A.↗

SPIRE Data-Base Management System

Spacelab Payload Integration and Rocket Experiment (SPIRE) data-base management system (DBMS) based on relational model of data bases. Data bases typically used for engineering and mission analysis tasks and, unlike most commercially available systems, allow data items and data structures stored in forms suitable for direct analytical computation. SPIRE DBMS designed to support data requests from interactive users as well as applications programs.

Fuechsel, C. F.↗

Considerations in developing geographic informations systems based on low-cost digital image processing

The potential of digital image processing systems costing $20,000 or less for geographic information systems is assessed with the emphasis on the volume of data to be handled, the commercial hardware systems available, and the basic software for: (1) data entry, conversion and digitization; (2) georeferencing and geometric correction; (3) data structuring; (4) editing and updating; (5) analysis and retrieval; (6) output drivers; and (7) data management. Costs must also be considered as tangible and intangible factors.

Henderson, F. M.↗