SEARCH · Engineering Papers

Results for “bounds preservation”

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.

SourceResearch connectionFrom yearThrough year

Quote a phrase for an exact phrase match. Source license links do not imply unrestricted reuse.

At least 55 records · Page 3

All sources NASA NTRS DOE OSTI

NASA NTRS1999

The Reconstruction Problem Revisited

The role of reconstruction in avoiding oscillations in upwind schemes is reexamined, with the aim of providing simple, concise proofs. In one dimension, it is shown that if the reconstruction is any arbitrary function bounded by neighboring cell averages and increasing within a cell for increasing data, the resulting scheme is monotonicity preserving, even though the reconstructed function may have overshoots and undershoots at the cell edges and is in general not a monotone function. In the special case of linear reconstruction, it is shown that merely bounding the reconstruction between neighboring cell averages is sufficient to obtain a monotonicity preservinc,y scheme. In two dimensions, it is shown that some ID TVD limiters applied in each direction result in schemes that are not positivity preserving, i.e. do not give positive updates when the data are positive. A simple proof is given to show that if the reconstruction inside the cell is bounded by the neighboring cell averages (including corner neighbors), then the scheme is positivity preserving. A new limiter that enforces this condition but is not as dissipative as the Minmod limiter is also presented.

Suresh, Ambaby↗

DOE OSTI2022

Region-adaptive, Error-controlled Scientific Data Compression using Multilevel Decomposition

The increase of computer processing speed is significantly outpacing improvements in network and storage bandwidth, leading to the big data challenge in modern science, where scientific applications can quickly generate much more data than that can be transferred and stored. As a result, big scientific data must be reduced by a few orders of magnitude while the accuracy of the reduced data needs to be guaranteed for further scientific explorations. Moreover, scientists are often interested in some specific spatial/temporal regions in their data, where higher accuracy is required. The locations of the regions requiring high accuracy can sometimes be prescribed based on application knowledge, while other times they must be estimated based on general spatial/temporal variation. In this paper, we develop a novel multilevel approach which allows users to impose region-wise compression error bounds. Our method utilizes the byproduct of a multilevel compressor to detect regions where details are rich and we provide the theoretical underpinning for region-wise error control. With spatially varying precision preservation, our approach can achieve significantly higher compression ratios than single-error bounded compression approaches and control errors in the regions of interest.We conduct the evaluations on two climate use cases – one targeting small-scale, node features and the other focusing on long, areal features. For both use cases, the locations of the features were unknown ahead of the compression. By selecting approximately 16% of the data based on multi-scale spatial variations and compressing those regions with smaller error tolerances than the rest, our approach improves the accuracy of post-analysis by approximately 2 × compared to single-error-bounded compression at the same compression ratio. Using the same error bound for the region of interest, our approach can achieve an increase of more than 50% in overall compression ratio.

Gong, Qian↗

NASA NTRS1992

Analysis of crustal structure of Venus utilizing residual Line-of-Sight (LOS) gravity acceleration and surface topography data. A trial of global modeling of Venus gravity field using harmonic spline method

To construct Venus' gravity disturbance field (or gravity anomaly) with the spacecraft-observer line of site (LOS) acceleration perturbation data, both a global and a local approach can be used. The global approach, e.g., spherical harmonic coefficients, and the local approach, e.g., the integral operator method, based on geodetic techniques are generally not the same, so that they must be used separately for mapping long wavelength features and short wavelength features. Harmonic spline, as an interpolation and extrapolation technique, is intrinsically flexible to both global and local mapping of a potential field. Theoretically, it preserves the information of the potential field up to the bound by sampling theorem regardless of whether it is global or local mapping, and is never bothered with truncation errors. The improvement of harmonic spline methodology for global mapping is reported. New basis functions, a singular value decomposition (SVD) based modification to Parker & Shure's numerical procedure, and preliminary results are presented.

Fang, Ming↗

NASA NTRS2012

Preservation of Data for Earth System Science- Towards a Content Standard

Various remote sensing agencies of the world have created a data rich environment for research and applications over the last three decades. Especially over the last decade, the volume and variety of data useful for Earth system science have increased quite rapidly. One of the key purposes of collecting these data and generating useful digital products containing derived geophysical parameters is to study the long-term trends in the Earth s behavior. Long-term observational data and derived products are essential for validating results from models that predict the future behavior of the Earth system. Given the significant resources expended in gathering the observational data and developing the derived products, it is important to preserve them for the benefit of future generations of users. Preservation involves maintaining the bits with no loss (or loss within scientifically acceptable bounds) as they move across systems as well as over time, ensuring readability over time, and providing for long-term understandability and repeatability of previously obtained results. In order to ensure long-term understandability and repeatability, it is necessary to identify all items of content that must be preserved and plan for such preservation. This paper discusses the need for a standard enumerating and describing such content items and reports on the progress made by NASA and the Federation of Earth Science Information Partners (ESIP Federation) in the U.S. towards such a standard.

Ramapriyan, Hampapuram↗

DOE OSTI2023

Architecture-Preserving Provable Repair of Deep Neural Networks

Deep neural networks (DNNs) are becoming increasingly important components of software, and are considered the state-of-the-art solution for a number of problems, such as image recognition. However, DNNs are far from infallible, and incorrect behavior of DNNs can have disastrous real-world consequences. This paper addresses the problem of architecture-preserving V-polytope provable repair of DNNs. A V-polytope defines a convex bounded polytope using its vertex representation. V-polytope provable repair guarantees that the repaired DNN satisfies the given specification on the infinite set of points in the given V-polytope. An architecture-preserving repair only modifies the parameters of the DNN, without modifying its architecture. The repair has the flexibility to modify multiple layers of the DNN, and runs in polynomial time. It supports DNNs with activation functions that have some linear pieces, as well as fully-connected, convolutional, pooling and residual layers. To the best our knowledge, this is the first provable repair approach that has all of these features. We implement our approach in a tool called APRNN. Using MNIST, ImageNet, and ACAS Xu DNNs, we show that it has better efficiency, scalability, and generalization compared to PRDNN and REASSURE, prior provable repair methods that are not architecture preserving.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2023

Towards Resilient Design of Leader-following Consensus with Attack Identification and Privacy Preservation Capabilities

This paper considers a leader-following consensus in the presence of unknown but bounded cyber-attacks. Specifically, we consider the following cyber-attack scenarios: (i) an attacker aims to destabilize the consensus dynamics by injecting exogenous signals to both the actuators of the followers and/or the communication network, (ii) an eavesdropper adversary aims to obtain information on the physical state of the agents. To this end, a novel resilient leader-following consensus algorithm based on a competitive interaction method is proposed. In addition, it is demonstrated that by appropriately choosing the information exchanged between the agents, the proposed control framework also enables the cooperative system to either distributively identify the compromised communication links in real-time or to protect the privacy of the physical state of the agents from the eavesdropper. Here, a numerical example is provided to illustrate the proposed resilient control algorithms.

Gusrialdi, Azwirman↗

NASA NTRSDate not supplied

Effect of salinity on the preservation of biomarkers in hypersaline microbial mat kerogens

Kerogen is the residue that remains after the minerals and organic compounds have been extracted from a rock using acid and organic solvents, respectively [1]. It is not only the largest organic carbon sink in the geological record but the best-preserved fraction due to its recalcitrance and ability to retain syngenetic source information during deposition [2]. Due to the complex, macromolecular, cross-linked polymeric structure of kerogen, it is difficult to analyse intact, often requiring breakdown into smaller subunits through thermal (pyrolysis) or chemical treatment (chemolysis) [3]. Saline and hypersaline environments host diverse microbial communities, which can trap and bind organic matrices such as cellular components (e.g., extracellular polymeric substances, cell wall, peptidoglycan, sheath material, etc.) with sediments, forming layered, laminated structures called microbial mats. Here we present depth profiles of two hypersaline cores through a microbial mat with differing total salinities. We looked at the composition of organic compounds released from kerogen during high temperature, hydrogen-assisted, pyrolysis to understand the effect of salinity on the composition and timing of their incorporation [4]. Field Site: The Exportadora del Sal S. A. (ESSA) saltern of Guerrero Negro (Baja California Sur, Mexico) lies within a typical sabhka environment adjacent to Laguna Ojo de Liebre. Note the spatial extent of the 13 major ponds of the ESSA system. The GN ponds thrive under well-monitored and stable conditions with steady state accretion and degradation of mat layers (around 0.5–1.4 cm per year). Organic mats typically attain up to 10 cm in thickness, depending on the location, which represents about 60 years of growth since these ponds were established. Sedimentation rate is rapid in these non-lithifying and non-mineralising mats, 1–1.5 cm per year. This environment is ideal for investigating in situ lipid preservation and diagenesis without the influence of constantly changing physical parameters. Methods: P4n5 and P5AB cores were collected as ~9 cm and 6.5 cm fresh cores, respectively, in June 2001 and September 2010, respectively from the ESSA saltern. The P4n5 core (9-9.1% salinity) was taken from Pond 4 near 5 and sub-divided into 10 layers. The P5AB core (11.2% salinity) was taken from Pond 5A near 5B and sub-divided into 8 layers. Lyophilised microbial mat powders were solvent-extracted using a modified Bligh-Dyer method and analysed by gas chromatography-mass spectrometry (GC-MS). Additionally, a subset of layers—layer 4 and layer 7—which represented active biomass and sediment-processed, respectively, were subjected to mild-acid methanolysis. The respective residues from conventional solvent extraction and acid methanolysis were loaded with a molybdenum sulfide catalyst and placed into a stainless-steel reactor. Samples were run on the hydropyrolysis set up (heated to 500 °C with 13-15 MPa of H2 pressure), extracted, and analysed by GC-MS. Results: Molecular profiles from the two ponds were significantly different and reflect the contributions of different photosynthetic and respiratory microbial communities to preserved organic matter. For example, the higher salinity P5AB core showed evidence of greater archaeal inputs (similarly observed in lab culture experiments [5]) as well as potential kerogen-bound carotenoids/carotenoid rearranged products or fragments. A hydrophobic emulsion formed during the acid methanolysis processing of layer 4 from both P4n5 and P5AB and layer 7 of P5AB. Hydropyrolysis of this hydrophobic residues released a greater abundance of polycyclic lipids relative to the pre-extracted control. Implications and Future Work: Catalytic hydropyrolysis of kerogen can rapidly generate abundant saturated pyrolysate products from the bound biomarker pool without altering the structures or stereochemistries of the products [6]. Chemical processing of solvent-extractable residues indicated that cellular matrices such as extracellular polymeric substances (EPS) may play a role in the sequestration of polycyclic lipid biomarkers such as steranes and hopanes. Their higher relative abundance compared to the pre-extracted control in the higher salinity layers and cores preliminarily aligns with this hypothesis, although further experiments are required to confirm this. It has been well-documented that EPS plays an important role in mineralisation, specifically carbonate formation, in microbial ecosystems. EPS can enhance calcium carbonate precipitation by providing diffusion-limited sites that create alkalinity gradients in response to microbial processes [7]. It has been experimentally demonstrated that salinity influences the total amount of EPS (both loosely- and tightly-bound) which increases with increasing salinity [8]. The higher salinity at Guerrero Negro switches the microbial population from filamentous Microcoleus to being dominated by Phormidium, Oscillatoria, and unicellular cyanobacteria. We demonstrated that lipid binding into kerogen via strong covalent linkages occurs at the very earliest stages of sedimentary diagenesis. We are currently investigating the influence of salinity on organic preservation through experimental and modelling approaches. Understanding how key biomarkers transform into preserved organic matter (i.e., from precursor biolipids to bound geolipids) in brine ecosystems will aid the search for organic biosignatures on other planetary bodies, especially Icy Moons and modern Mars.

hypersaline↗

DOE OSTI2023

The Gross-Neveu-Yukawa archipelago

We perform a bootstrap analysis of a mixed system of four-point functions of bosonic and fermionic operators in parity-preserving 3d CFTs with O(N) global symmetry. Our results provide rigorous bounds on the scaling dimensions of the O(N)-symmetric Gross-Neveu-Yukawa (GNY) fixed points, constraining these theories to live in isolated islands in the space of CFT data. We focus on the cases N = 1, 2, 4, 8, which have applications to phase transitions in condensed matter systems, and compare our bounds to previous analytical and numerical results.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

NASA NTRS1998

A Globally Convergent Augmented Lagrangian Pattern Search Algorithm for Optimization with General Constraints and Simple Bounds

We give a pattern search adaptation of an augmented Lagrangian method due to Conn, Gould, and Toint. The algorithm proceeds by successive bound constrained minimization of an augmented Lagrangian. In the pattern search adaptation we solve this subproblem approximately using a bound constrained pattern search method. The stopping criterion proposed by Conn, Gould, and Toint for the solution of this subproblem requires explicit knowledge of derivatives. Such information is presumed absent in pattern search methods; however, we show how we can replace this with a stopping criterion based on the pattern size in a way that preserves the convergence properties of the original algorithm. In this way we proceed by successive, inexact, bound constrained minimization without knowing exactly how inexact the minimization is. So far as we know, this is the first provably convergent direct search method for general nonlinear programming.

Lewis, Robert Michael↗

DOE OSTI2025

Feature learning and generalization in deep networks with orthogonal weights

Fully-connected deep neural networks with weights initialized from independent Gaussian distributions can be tuned to criticality, which prevents the exponential growth or decay of signals propagating through the network. However, such networks still exhibit fluctuations that grow linearly with the depth of the network, which may impair the training of networks with width comparable to depth. We show analytically that rectangular networks with tanh activations and weights initialized from the ensemble of orthogonal matrices have corresponding preactivation fluctuations which are independent of depth, to leading order in inverse width. Moreover, we demonstrate numerically that, at initialization, all correlators involving the neural tangent kernel (NTK) and its descendants at leading order in inverse width—which govern the evolution of observables during training—saturate at a depth of ~20, rather than growing without bound as in the case of Gaussian initializations. We speculate that this structure preserves finite-width feature learning while reducing overall noise, thus improving both generalization and training speed in deep networks with depth comparable to width. We provide some experimental justification by relating empirical measurements of the NTK to the superior performance of deep non-linear orthogonal networks trained under full-batch gradient descent on the MNIST and CIFAR-10 classification tasks.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2024

Signatures of a spin-active interface and a locally enhanced Zeeman field in a superconductor-chiral material heterostructure

A localized Zeeman field, intensified at heterostructure interfaces, could play a crucial role in a broad area including spintronics and unconventional superconductors. Conventionally, the generation of a local Zeeman field is achieved through magnetic exchange coupling with a magnetic material. However, magnetic elements often introduce defects, which could weaken or destroy superconductivity. Alternatively, the coupling between a superconductor with strong spin-orbit coupling and a nonmagnetic chiral material could serve as a promising approach to generate a spin-active interface. Here, we leverage an interface superconductor, namely, induced superconductivity in noble metal surface states, to probe the spin-active interface. Our results unveil an enhanced interface Zeeman field, which selectively closes the surface superconducting gap while preserving the bulk superconducting pairing. The chiral material, i.e., trigonal tellurium, also induces Andreev bound states (ABS) exhibiting spin polarization. The field dependence of ABS manifests a substantially enhanced interface Landég-factor (g eff ~ 12), thereby corroborating the enhanced interface Zeeman energy.

Science & Technology - Other Topics↗

DOE OSTI2025

Scalable Hybrid Learning Techniques for Scientific Data Compression

Data compression is becoming critical for storing scientific data because many scientific applications need to store large amounts of data and post process this data for scientific discovery. Unlike image and video compression algorithms that limit errors to primary data (PD), scientists require compression techniques that accurately preserve derived quantities of interest (QoIs). Here, this article presents a physics-informed compression technique implemented as an end-to-end, scalable, GPU-based pipeline for data compression that addresses this requirement. Our hybrid compression technique combines machine learning techniques and standard compression methods. Specifically, we combine an autoencoder, an error-bounded lossy compressor to provide guarantees on raw data error, and a constraint satisfaction post-processing step to preserve the QoIs within a minimal error (generally less than floating point error). The effectiveness of the data compression pipeline is demonstrated by compressing nuclear fusion simulation data generated by a large-scale fusion code, XGC, which produces hundreds of terabytes of data in a single day. Our approach works within the ADIOS framework and results in compression by a factor of more than 150 while requiring only a few percent of the computational resources necessary for generating the data, making the overall approach highly effective for practical scenarios.

ITER↗

DOE OSTI2025

Hybrid learning techniques for scientific data reduction with performance guarantees

The research initiatives supported by the U.S. Department of Energy (DOE) Grant DE-SC0022265 are fundamentally aimed at pioneering advanced machine learning (ML) techniques for scientific data compression within high-performance computing (HPC) environments. This comprehensive body of work addresses the critical challenge posed by the exponential growth of data generated by scientific simulations in domains such as fusion energy, climate modeling, and computational fluid dynamics (CFD). A core objective is to develop compression algorithms that achieve substantial data reduction—often by orders of magnitude—while rigorously ensuring the fidelity of both the primary data (PD) and scientifically crucial derived quantities of interest (QoI). The methodologies deployed under this grant integrate sophisticated deep learning architectures, prominently featuring autoencoders, advanced generative models like conditional diffusion, and hybrid learning techniques. Key innovations include the development of Guaranteed Autoencoders (GAE) and the Guaranteed Conditional Diffusion with Tensor Correction (GCDTC) framework, which provide explicit, instance-level error bounds on reconstructed data. Furthermore, specialized strategies such as nonlinear constraint satisfaction are employed to preserve the integrity of QoI, a vital requirement for the trustworthiness of downstream scientific analyses. This research also focuses on the design and implementation of scalable, GPU-accelerated software pipelines that seamlessly integrate into existing HPC workflows, ensuring both computational efficiency and practical applicability. The CAESAR framework, for example, unifies foundation and generative models to create an adaptive and efficient compression solution for spatio-temporal scientific data. Collectively, these efforts represent a significant advancement in mitigating the scientific data deluge, enabling more effective data management, accelerated scientific discovery, and optimized utilization of HPC resources.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2025

Final report- UFL - RAPIDS2: A SciDAC Institute for Computer Science, Data, and Artificial Intelligence

97 MATHEMATICS AND COMPUTING↗

NASA NTRS2002

Lipid Biomarkers for Methanogens in Hypersaline Cyanobacterial Mats for Guerrero Negro, Baja California Sur

Analyses of sediments from the vicinity of active methane seeps have uncovered a particular suite of lipid biomarker patterns that characterize methane consuming archaea and their syntrophic, sulfate reducing partners. These isoprenoid biomarkers, largely identified by their anomalously light carbon isotopic signatures, have been a topic of intense research activity and are recorded in numerous methane-rich environments from Holocene to Cenozoic. This phenomenon has implications for depleted kerogens at 2.7 Ga on early Earth (Hinrichs 2002). In contrast, the lipid biosignatures of methane producing archaea are not readily identified through distinct isotopic labels and have received comparably little attention in analyses of archaea in environmental samples. Indeed, environmental analyses generally detect only free archaeal lipids, not the intact, polar molecules found in the membrane of living organisms. As part of the Ames NAI, the 'Early Microbial Ecosystem Research Group' (EMERG) is working to understand microbial processes in the hypersaline cyanobacterial mats growing in the salt evaporation ponds of the Exportadora de Sal at Guerrero Negro, Baja California Sur, Mexico. The aim of this study was to develop methods by which we could identify the organisms responsible for methane generation in this environment. While the ester-bound fatty acids, hopanoids and wax esters provide a means to identify most of the bacterial components of these mats, the archaea which Ere evidently present through genomic assays and the fact of intense methane production (Hoehler et al. 200l), have not been identified through their corresponding lipid signatures. Archaeal core lipids present a number of analytical challenges. The core lipids of methanogens comprise C20, C40 and sometimes C25 isoprenoid chains, linked through ether bonds to glycerol. As well as archaeal (C20), sn-2- and sn-3-hydroxyarchaeol are associated particularly with methylotrophic methanogens. Recently, we have also identified a dihydroxyarchaeol in a hyperthermophilic methanogen (Summons et al. 2002). Additional structural diversity is encoded into the polar head groups that are attached to the glycerol ether cores. The C20 core lipids are readily analyzed by GC-MS as their volatile trimethylsilyl derivatives while compounds with intact polar head groups can only be detected using LC-MS approaches. Our approach was to utilize the alternative of an ether cleavage reagent (BBr3 vs. HI) and a hydride reducing agent to convert all ether lipids to hydrocarbon in order to provide a vertical profile of quantitative information that might be matched to methane fluxes. We have found that while conventional acid hydrolysis and HI treatment will destroy hydroxyarchaeols, molecular information remains intact through use of BBr3 for ether cleavage. This method revealed the presence of traces of biphytane and various ether alkyls associated with some sulfate reducing bacteria within the mat structure. An interesting, and potentially valuable, byproduct of the method utilizing HI was the identification of abundant homohopanoids after superhydride reduction. Evidently present as sulfur-bound diagenetic products these hopanoids are likely cyanobacterial biomarkers in the early stages of diagenetic preservation.

Jahnke, Linda L.↗

DOE OSTI2025

FedEFsz: Fair Cross-Silo Federated Learning System With Error-Bounded Lossy Compression

Cross-Silo federated learning systems have been identified as an efficient approach to scaling DNN training across geographically-distributed data silos to preserve the privacy of the training data. Communication efficiency and fairness are two major issues that need to be both satisfied when federated learning systems are deployed in practice. Simultaneously guaranteeing both of them, however, is exceptionally difficult because simply combining communication reduction and fairness optimization approaches often causes non-converged training or drastic accuracy degradation. Here, to bridge this gap, we propose FedEFsz. On the one hand, it integrates the state-of-the-art error-bounded lossy compressor SZ3 into cross-silo federated learning systems to significantly reduce communication traffic during the training. On the other hand, it achieves a high fairness (i.e., rather consistent model accuracy and performance across different clients) through a carefully designed heuristic algorithm that can tune the error-bound of SZ3 for different clients during the training. Extensive experimental results based on a GPU cluster with 65 GPU cards show that FedEFsz improves the fairness across different benchmarks by up to 60.88% and meanwhile reduces the communication traffic by up to 315×.

Cross-Silo Federated Learning Systems↗

NASA NTRS1985

Dark Halo Craters and the Thickness of Grooved Terrain on Ganymede

Dark halo craters on grooved terrain on Ganymede represent potential probes of the subsurface geology. These craters are surrounded by a broad, diffuse low albedo annulus, or halo and have apparently lost the bright rim and ray deposits associated with very young craters. The recognition of dark halo craters, almost all greater than 12 km in diameter, indicates that material darker and redder than grooved terrain material forms a stratigraphy horizon at about 1 km depth the present surface of grooved terrain in Uruk Sulcus. This material is most likely downdropped cratered terrain material, which only larger craters have excavated into. This is most consistent with extensional tectonic models for grooved terrain formation whereby the lithosphere is stretched and blocks of ancient cratered terrain are downdropped along bounding faults, and subsequently resurfaced by a shallow layer of relatively clean icy material. Evidence for the preservation of cratered terrain material at shallow depth beneath grooved terrain material poses great difficulties for alternative grooved and smoothed terrain formation mechanisms.

Schenk, P. M.↗

NASA NTRS1985

Convex Interpolating Splines of Arbitrary Degree

Shape preserving approximations are constructed by interpolating the data with polynomial splines of arbitrary degree. A regularity condition is formulated on the data which insures the existence of such a shape preserving spline, an algorithm is presented for its construction, and the uniform norm of the error is bound which results when the algorithm is used to produce an approximation to a given f epsilon Ca,b.

Neuman, E.↗