Search NASA⌕ Search

SEARCH · Search NASA

Results for “compact 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 19 records

A geometric modeler based on a dual-geometry representation polyhedra and rational b-splines

For speed and data base reasons, solid geometric modeling of large complex practical systems is usually approximated by a polyhedra representation. Precise parametric surface and implicit algebraic modelers are available but it is not yet practical to model the same level of system complexity with these precise modelers. In response to this contrast the GEOMOD geometric modeling system was built so that a polyhedra abstraction of the geometry would be available for interactive modeling without losing the precise definition of the geometry. Part of the reason that polyhedra modelers are effective is that all bounded surfaces can be represented in a single canonical format (i.e., sets of planar polygons). This permits a very simple and compact data structure. Nonuniform rational B-splines are currently the best representation to describe a very large class of geometry precisely with one canonical format. The specific capabilities of the modeler are described.

Klosterman, A. L.↗

A comparative study of multi-material data structures for computational physics applications

The data structures used to represent the multi-material state of a computational physics application can have a significant impact on its performance. Here, we look at efficient data structures for applications where there may be many materials overall, but where most computational cells contain only one or a few of these materials. We develop simple performance models for selecting possible data structures and programming patterns. We verify the analytic performance models with a small test program of the representative cases. We discuss the impact of these techniques and analysis for multi-material physics applications, which are also applicable to a wide range of sparse computational data structures.

97 MATHEMATICS AND COMPUTING↗

Global parallel unification for large question-answering systems

An efficient means of storing data in a first-order predicate calculus theorem-proving system is described. The data structure is oriented for large scale question-answering (QA) systems. An algorithm is outlined which uses the data structure to unify a given literal in parallel against all literals in all clauses in the data base. The data structure permits a compact representation of data within a QA system. Some suggestions are made for heuristics which can be used to speed-up the unification algorithm in systems.

Auguston, J. G.↗

Optimization of the computational load of a hypercube supercomputer onboard a mobile robot

A combinatorial optimization methodology is developed, which enables the efficient use of hypercube multiprocessors onboard mobile intelligent robots dedicated to time-critical missions. The methodology is implemented in terms of large-scale concurrent algorithms based either on fast simulated annealing, or on nonlinear asynchronous neural networks. In particular, analytic expressions are given for the effect of single-neuron perturbations on the systems' configuration energy. Compact neuromorphic data structures are used to model effects such as precedence constraints, processor idling times, and task-schedule overlaps. Results for a typical robot-dynamics benchmark are presented.

Barhen, Jacob↗

BDDs for Representing Data in Runtime Verification

A BDD (Boolean Decision Diagram) is a data structure for the compact representation of a Boolean function. It is equipped with efficient algorithms for minimization and for applying Boolean operators. The use of BDDs for representing Boolean functions, combined with symbolic algorithms, facilitated a leap in the capability of model checking for the verification of systems with a huge number of states. Recently BDDs were considered as an efficient representation of data for Runtime Verification (RV). We review here the basic theory of BDDs and summarize their use in model checking and specifically in runtime verification.

Peled, Doron↗

3C 323.1 - A QSO in a rich cluster of galaxies.

The redshift and structural data on the compact cluster Zw Cl 1545.1+2104 have been determined from deep plates of the cluster region and from spectral scans of the central galaxy in the cluster. The cluster is of richness 1 on Abell's (1958) scale, and the redshift of its central galaxy agrees well with that of the quasar 3C 323.1 which lies at a projected distance of 6.5 sec from the center of the cluster. The data indicate that the quasar is a member of the cluster as opposed to the observed trend.

Oemler, A., Jr.↗

High-dose temperature-dependent neutron irradiation effects on the optical transmission and dimensional stability of amorphous fused silica

The primary concern for implementing amorphous fused silica (a-SiO 2 ) fiber optic sensors in a nuclear environment is the radiation-induced attenuation (RIA) of the light signal due to the formation of radiation-induced color centers. In addition, Bragg grating sensors drift under irradiation due to radiation-induced compaction of the a-SiO 2 structure. This work provides new data regarding RIA and radiation-induced compaction of a-SiO 2 samples irradiated to a fast neutron fluence of 2.4 × 10 21 n/cm 2 at temperatures of 95, 298, and 688 °C. Results show that RIA may be approaching saturation for the range of photon energies evaluated in this paper and that the hydroxyl content has a significant impact on RIA when the irradiation temperature is increased to 688 °C. Furthermore, a model was developed for predicting radiation-induced compaction, and the resulting signal drift for Bragg grating sensors, as a function of neutron fluence and temperature.

36 MATERIALS SCIENCE↗

SiC Charged Particle Telescope GRC Independent Research and Development (IRAD) Program End of Project Final Report

In an advancement over the state-of-the art, NASA Glenn Research Center (GRC) has developed a large area silicon carbide (SiC)-based charged particle telescope through an Independent Research and Development (IRAD) project. The telescope has been demonstrated to have improved noise characteristics and resolution than previous SiC detectors. This improvement will meet the challenges of compact multidirectional robust radiation detector systems to study a wide range of elementary particle mass and energies. In order to provide a complete understanding of how energetic processes internal and external to the solar system shape magnetospheres, atmospheres, and surfaces, in situ particle observations should include measurements of Solar Energetic Particles (SEP) and Galactic Cosmic Rays (GCR), along with solar wind and plasma. The potential temperature stability, tolerance to high radiation environments, and low noise characteristics expected in SiC-based detectors can have advantages over the state-of-the-art silicon detectors. These advantages will allow the detectors to be deployed in small compact systems on a variety of platforms, enabling compact structures for small satellite platforms with improved data quality.

Field and particle detectors↗

Experimental Observations of the Topology of Convolutional Neural Network Activations

Topological data analysis (TDA) is a branch of computational mathematics, bridging algebraic topology and data science, that provides compact, noise-robust representations of complex structures. Deep neural networks (DNNs) learn millions of parameters associated with a series of transformations defined by the model architecture resulting in high-dimensional, difficult to interpret internal representations of input data. As DNNs become more ubiquitous across multiple sectors of our society, there is increasing recognition that mathematical methods are needed to aid analysts, researchers, and practitioners in understanding and interpreting how these models' internal representations relate to the final classification. In this paper we apply cutting edge techniques from TDA with the goal of gaining insight towards interpretability of convolutional neural networks used for image classification. We use two common TDA approaches to explore several methods for modeling hidden layer activations as high-dimensional point clouds, and provide experimental evidence that these point clouds capture valuable structural information about the model's process. First, we demonstrate that a distance metric based on persistent homology can be used to quantify meaningful differences between layers and discuss these distances in the broader context of existing representational similarity metrics for neural network interpretability. Second, we show that a mapper graph can provide semantic insight as to how these models organize hierarchical class knowledge at each layer. These observations demonstrate that TDA is a useful tool to help deep learning practitioners unlock the hidden structures of their models.

topological data analysis, deep learning↗

Sequential Principal Component Analysis -An Optimal and Hardware-Implementable Transform for Image Compression

This paper presents the JPL-developed Sequential Principal Component Analysis (SPCA) algorithm for feature extraction / image compression, based on "dominant-term selection" unsupervised learning technique that requires an order-of-magnitude lesser computation and has simpler architecture compared to the state of the art gradient-descent techniques. This algorithm is inherently amenable to a compact, low power and high speed VLSI hardware embodiment. The paper compares the lossless image compression performance of the JPL's SPCA algorithm with the state of the art JPEG2000, widely used due to its simplified hardware implementability. JPEG2000 is not an optimal data compression technique because of its fixed transform characteristics, regardless of its data structure. On the other hand, conventional Principal Component Analysis based transform (PCA-transform) is a data-dependent-structure transform. However, it is not easy to implement the PCA in compact VLSI hardware, due to its highly computational and architectural complexity. In contrast, the JPL's "dominant-term selection" SPCA algorithm allows, for the first time, a compact, low-power hardware implementation of the powerful PCA algorithm. This paper presents a direct comparison of the JPL's SPCA versus JPEG2000, incorporating the Huffman and arithmetic coding for completeness of the data compression operation. The simulation results show that JPL's SPCA algorithm is superior as an optimal data-dependent-transform over the state of the art JPEG2000. When implemented in hardware, this technique is projected to be ideally suited to future NASA missions for autonomous on-board image data processing to improve the bandwidth of communication.

Duong, Tuan A.↗

MFA-DVR: direct volume rendering of MFA models

3D volume rendering is widely used to reveal insightful intrinsic patterns of volumetric datasets across many domains. However, the complex structures and varying scales of volumetric data can make efficiently generating high-quality volume rendering results a challenging task. Multivariate functional approximation (MFA) is a new data model that addresses some of the critical challenges: high-order evaluation of both value and derivative anywhere in the spatial domain, compact representation for large-scale volumetric data, and uniform representation of both structured and unstructured data. Here, in this paper, we present MFA-DVR, the first direct volume rendering pipeline utilizing the MFA model, for both structured and unstructured volumetric datasets. We demonstrate improved rendering quality using MFA-DVR on both synthetic and real datasets through a comparative study. We show that MFA-DVR not only generates more faithful volume rendering than using local filters but also performs faster on high-order interpolations on structured and unstructured datasets. MFA-DVR is implemented in the existing volume rendering pipeline of the Visualization Toolkit (VTK) to be accessible by the scientific visualization community.

97 MATHEMATICS AND COMPUTING↗

Graph-based Compact Modeling (GCM) of CMOS transistors for efficient parameter extraction: A machine learning approach

Parameter extraction of compact transistor models is an expensive process, heavily relying on engineering knowledge and experience. To automate such a process, we propose a novel approach, Graph-based Compact Model (GCM), that integrates physical modeling and data-driven learning. GCM utilizes Graph Neural Networks (GNNs) to establish the model structure, while retaining the physicality in compact models. Here, we implement our GCM in Verilog-A to support circuit simulations. As demonstrated with an academic 7 nm FinFET PDK, the new approach automatically generates a GCM model within a minute, and achieves excellent accuracy and efficiency in SPICE.

42 ENGINEERING↗

The Stellar decomposition: A compact representation for simplicial complexes and beyond

Here, we introduce the Stellar decomposition, a model for efficient topological data structures over a broad range of simplicial and cell complexes. A Stellar decomposition of a complex is a collection of regions indexing the complex’s vertices and cells such that each region has sufficient information to locally reconstruct the star of its vertices, i.e., the cells incident in the region’s vertices. Stellar decompositions are general in that they can compactly represent and efficiently traverse arbitrary complexes with a manifold or non-manifold domain. They are scalable to complexes in high dimension and of large size, and they enable users to easily construct tailored application-dependent data structures using a fraction of the memory required by a corresponding global topological data structure on the complex. As a concrete realization of this model for spatially embedded complexes, we introduce the Stellar tree, which combines a nested spatial tree with a simple tuning parameter to control the number of vertices in a region. Stellar trees exploit the complex’s spatial locality by reordering vertex and cell indices according to the spatial decomposition and by compressing sequential ranges of indices. Stellar trees are competitive with state-of-the-art topological data structures for manifold simplicial complexes and offer significant improvements for cell complexes and non-manifold simplicial complexes. We conclude with a high-level description of several mesh processing and analysis applications that utilize Stellar trees to process large datasets.

97 MATHEMATICS AND COMPUTING↗

Compact and diffuse X-ray sources in the core of the Perseus cluster /Abell 426/

Data on the X-ray structure of the Perseus cluster of galaxies in the energy range from 2 to 10 keV are analyzed which were obtained during a 12-day observation with the rotating modulation collimator aboard SAS 3. In particular, the nature of the compact X-ray source coincident with NGC 1275 is examined. The data are shown to confirm the presence of a diffuse region of X-ray emission surrounding the nucleus of NGC 1275; it is found that a model which also includes a point source at the nucleus is consistent with the data if the point contribution is no larger than 20% of the X-ray flux detected within 3 to 5 arcmin of the galaxy. The results suggest that NGC 1275 may have accreted a large amount of gas from the intracluster medium and that the flux from the possible point source is consistent with a synchro/Compton model.

Helmken, H.↗

Latest Results from the CUORE Experiment

Abstract The Cryogenic Underground Observatory for Rare Events (CUORE) is the first cryogenic experiment searching for $$0\nu \beta \beta $$ 0 ν β β decay that has been able to reach the one-tonne mass scale. The detector, located at the Laboratori Nazionali del Gran Sasso (LNGS) in Italy, consists of an array of 988 $${\mathrm{TeO}}_{2}$$ TeO 2 crystals arranged in a compact cylindrical structure of 19 towers. CUORE began its first physics data run in 2017 at a base temperature of about 10 mK and in April 2021 released its $$3{\mathrm{rd}}$$ 3 rd result of the search for $$0\nu \beta \beta $$ 0 ν β β , corresponding to a tonne-year of $$\mathrm{TeO}_{2}$$ TeO 2 exposure. This is the largest amount of data ever acquired with a solid state detector and the most sensitive measurement of $$0\nu \beta \beta $$ 0 ν β β decay in $${}^{130}\mathrm{Te}$$ 130 Te ever conducted . We present the current status of CUORE search for $$0\nu \beta \beta $$ 0 ν β β with the updated statistics of one tonne-yr. We finally give an update of the CUORE background model and the measurement of the $${}^{130}\mathrm{Te}$$ 130 Te $$2\nu \beta \beta $$ 2 ν β β decay half-life and decay to excited states of $${}^{130}\mathrm{Xe}$$ 130 Xe , studies performed using an exposure of 300.7 kg yr.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

Numerical evaluation of AGR-2 fission product release

The AGR-2 experiment produced normal operation and accident condition fuel performance data for tri-structural isotropic (TRISO) particles with UCO and UO 2 kernels. Data for compacts with no failed particles and for compacts with one or more failed particles are available. To model the fission product diffusion and release from these compacts, it is important to consider the computational mesh as well as the heat conduction and mass diffusion properties of the materials in a TRISO particle. Code and solution verification studies with the Bison fuel performance code were performed to show that the code is computing correct solutions. Bison comparisons to post-irradiation examination data and PARFUME predictions were made for several sets of compacts. Furthermore, these comparisons considered silver, cesium, strontium, and krypton with and without failed particles. Bison predictions closely match those of PARFUME, while both codes generally overpredict post-irradiation examination data.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗

Nonperiodic variations in astrophysical systems: Investigating frequency evolution

We present a method related to the wavelet transform, the Gabor transform, for investigating astronomical time series containing nonconsistent frequencies. Instances in which such data sets may arise include variable star light curves, numerical studies of the gravitational three-body problem, X-ray binaries, and signals from more exotic objects such as planets around pulsars and mass infall from accretion structures onto compact objects. As an illustration of its power, we apply the technique to a numerical data set of a gravitational three-body interaction and to photometry of the rapidly oscillating peculiar A star HD 60435. In the three-body example, the method provides an insightful shorthand that allows for the determination of episodes where the system behaves as two nearly Keplerian orbits. For HD 60435, the power in the main frequency exhibits unusual evolution over the duration of the observation.

Boyd, Patricia T.↗

Lignin-Graft-Poly(lactic- co -glycolic) Acid Biopolymers for Polymeric Nanoparticle Synthesis

A lignin-graft-poly(lactic- co -glycolic) acid (PLGA) biopolymer was synthesized with two types of lignin (LGN), alkaline lignin (ALGN) and sodium lignosulfonate (SLGN), at different (A/S)LGN/PLGA ratios (1:2, 1:4, and 1:6 w/w). 1 H NMR and Fourier-transform infrared spectroscopy (FT-IR) confirmed the conjugation of PLGA to LGN. The (A/S)LGN-graft-PLGA biopolymers were used to form nanodelivery systems suitable for entrapment and delivery of drugs for disease treatment. The LGN-graft-PLGA NPs were generally small (100–200 nm), increased in size with the amount of PLGA added, monodisperse, and negatively charged (-48 to -60 mV). Small-angle scattering data showed that particles feature a relatively smooth surface and a compact spherical structure with a distinct core and a shell. The core size and shell thickness varied with the LGN/PLGA ratio, and at a 1:6 ratio, the particles deviated from the core–shell structure to a complex internal structure. The newly developed (A/S)LGN-graft-PLGA NPs are proposed as a potential delivery system for applications in biopharmaceutical, food, and agricultural sectors.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗