SEARCH · Engineering Papers

Results for “state 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 469 records · Page 26

All sources NASA NTRS DOE OSTI

DOE OSTI2026

Dynamic Multipoles in the RCS

The Rapid Cycling Synchrotron (RCS) of the Electron--Ion Collider (EIC) will accelerate polarized electrons up to 18 GeV at a repetition rate of 1 Hz. Dynamic multipoles driven by eddy currents in the vacuum chamber can affect beam dynamics and polarization preservation during the energy ramp. Building on the analytical treatment of S.Y. Lee for a ramped normal-conducting dipole magnet, we use conformal transformations to derive compact expressions for dynamic multipoles in higher-order ramped magnets with circular beam pipes. We further derive analytical frequency-domain transfer functions for both self-response and cross-response multipoles, providing compact dynamical models for their evolution during arbitrary ramp waveforms. The resulting analytical predictions are benchmarked against finite-element simulations, including the effects of practical pole geometry and beam-pipe misalignment. Finally, the expected dynamic multipoles in the RCS magnets are estimated and their implications for beam dynamics and polarization preservation are discussed.

43 PARTICLE ACCELERATORS↗

DOE OSTI2026

Assessment of Molybdate Based Corrosion Inhibitor for use at the Savannah River Tank Farm Cooling Water System

The Savannah River Site (SRS) has relied on 51 underground storage tanks, many dating back to the 1950s, to store radioactive liquid waste generated from nuclear processing and radionuclide production. These tanks use carbon steel cooling coils, cooled by soft, acidic water, to dissipate the decayed heat produced by radioactive waste. For decades, following historical industry practices, chromate has been added to the cooling water (~450 ppm at pH 9-11) to effectively inhibit corrosion, ensuring cooling coil longevity. Inspections of failed coils reveal that chromate-treated surfaces are generally well-preserved.

12 MANAGEMENT OF RADIOACTIVE AND NON-RADIOACTIVE W↗

DOE OSTI2025

A standards perspective on genomic data reusability and reproducibility

Genomic and metagenomic sequence data provides an unprecedented ability to re-examine findings, offering a transformative potential for advancing research, developing computational tools, enhancing clinical applications, and fostering scientific collaboration. However, effective and ethical reuse of genomics data is hampered by numerous technical and social challenges. The International Microbiome and Multi’Omics Standards Alliance (IMMSA, https://www.microbialstandards.org/) and the Genomic Standards Consortium (GSC, https://gensc.org) hosted a 5-part seminar series “A Year of Data Reuse” in 2024 to explore challenges and opportunities of data reuse and reproducibility across disparate domains of the genomic sciences. Addressing these challenges will require a multifaceted approach, including common metadata reporting, clear communication, standardized protocols, improved data management infrastructure, ethical guidelines, and collaborative policies that prioritize transparency and accessibility. We offer strategies to enable responsible and technically feasible data reuse, recognition of data reproducibility challenges, and emphasizing the importance of cross-disciplinary efforts in the pursuit of open science and data-driven innovation.

59 BASIC BIOLOGICAL SCIENCES↗

NASA NTRS1966

Instrument automatically selects peak acceleration signal from several accelerometers

Solid state circuit selects the highest of several ac accelerometer signals and gates this signal to an output amplifier, preserving all the frequency information in the peak signal. If the amplitudes of the accelerometer signals change with time, the circuit will continually switch to the highest signal, rejecting the smaller signals.

Chapman, C. P.↗

NASA NTRS1983

Comet nucleus sample return mission

A comet nucleus sample return mission in terms of its relevant science objectives, candidate mission concepts, key design/technology requirements, and programmatic issues is discussed. The primary objective was to collect a sample of undisturbed comet material from beneath the surface of an active comet and to preserve its chemical and, if possible, its physical integrity and return it to Earth in a minimally altered state. The secondary objectives are to: (1) characterize the comet to a level consistent with a rendezvous mission; (2) monitor the comet dynamics through perihelion and aphelion with a long lived lander; and (3) determine the subsurface properties of the nucleus in an area local to the sampled core. A set of candidate comets is discussed. The hazards which the spacecraft would encounter in the vicinity of the comet are also discussed. The encounter strategy, the sampling hardware, the thermal control of the pristine comet material during the return to Earth, and the flight performance of various spacecraft systems and the cost estimates of such a mission are presented.

Source record↗

NASA NTRS1985

Building a functional, integrated GIS/remote sensing resource analysis and planning system

To be an effective tool for resource analysis and planning, a geographic information system (GIS) needs to be integrated with a digital remote sensing capability. To be truly functional, the paired system must be driven by grass roots local needs. A case study couched in a Soil Conservation District in northern Utah is presented. Agency representatives determined that the most fundamental data sets to be entered into the GIS system analysis system in the first round were: land use/land cover; geomorphic/soil unit data; hydrologic unit data; and digital terrain. The least expensive and best ways to obtain these data were determined. Data were acquired and formatted to enter the state's PRIME/ARC-INFO GIS, and are being interrogated for resource management decisions related to such issues as agricultural preservation, urban expansion, soil erosion control, and dam siting.

Ridd, M. K.↗

NASA NTRS1996

Periodic Time-Domain Nonlocal Nonreflecting Boundary Conditions for Duct Acoustics

Periodic time-domain boundary conditions are formulated for direct numerical simulation of acoustic waves in ducts without flow. Well-developed frequency-domain boundary conditions are transformed into the time domain. The formulation is presented here in one space dimension and time; however, this formulation has an advantage in that its extension to variable-area, higher dimensional, and acoustically treated ducts is rigorous and straightforward. The boundary condition simulates a nonreflecting wave field in an infinite uniform duct and is implemented by impulse-response operators that are applied at the boundary of the computational domain. These operators are generated by convolution integrals of the corresponding frequency-domain operators. The acoustic solution is obtained by advancing the Euler equations to a periodic state with the MacCormack scheme. The MacCormack scheme utilizes the boundary condition to limit the computational space and preserve the radiation boundary condition. The success of the boundary condition is attributed to the fact that it is nonreflecting to periodic acoustic waves. In addition, transient waves can pass rapidly out of the solution domain. The boundary condition is tested for a pure tone and a multitone source in a linear setting. The effects of various initial conditions are assessed. Computational solutions with the boundary condition are consistent with the known solutions for nonreflecting wave fields in an infinite uniform duct.

Watson, Willie R.↗

NASA NTRS2015

New Insights into Amino Acid Preservation in the Early Oceans Using Modern Analytical Techniques

Protein- and non-protein-amino acids likely occupied the oceans at the time of the origin and evolution of life. Primordial soup-, hydrothermal vent-, and meteoritic-processes likely contributed to this early chemical inventory. Prebiotic synthesis and carbonaceous meteorite studies suggest that non-protein amino acids were likely more abundant than their protein-counterparts. Amino acid preservation before abiotic and biotic destruction is key to biomarker availability in paleoenvironments and remains an important uncertainty. To constrain primitive amino acid lifetimes, a 1992 archived seawater/beach sand mixture was spiked with D,L-alanine, D,L-valine (Val), alpha-aminoisobutyric acid (alpha-AIB), D,L-isovaline (Iva), and glycine (Gly). Analysis by high performance liquid chromatography with fluorescence detection (HPLC-FD) showed that only D-Val and non-protein amino acids were abundant after 2250 days. The mixture was re-analyzed in 2012 using HPLC-FD and a triple quadrupole mass spectrometer (QqQ-MS). The analytical results 20 years after the inception of the experiment were strikingly similar to those after 2250 days. To confirm that viable microorganisms were still present, the mixture was re-spiked with Gly in 2012. Aliquots were collected immediately after spiking, and at 5- and 9-month intervals thereafter. Final HPLC-FD/QqQ-MS analyses were performed in 2014. The 2014 analyses revealed that only alpha-AIB, D,L-Iva, and D-Val remained abundant. The disappearance of Gly indicated that microorganisms still lived in the mixture and were capable of consuming protein amino acids. These findings demonstrate that non-protein amino acids are minimally impacted by biological degradation and thus have very long lifetimes under these conditions. Primitive non-protein amino acids from terrestrial synthesis, or meteorite in-fall, likely experienced great-er preservation than protein amino acids in paleo-oceanic environments. Such robust molecules may have reached a steady state concentration dependent on ocean circulation through hydrothermal systems and synthetic input processes. We are presently trying to estimate this concentration.

Parker, Eric T.↗

NASA NTRS2017

Automated Analysis of Stateflow Models

Stateflow is a widely used modeling framework for embedded and cyber physical systems where control software interacts with physical processes. In this work, we present a framework a fully automated safety verification technique for Stateflow models. Our approach is two-folded: (i) we faithfully compile Stateflow models into hierarchical state machines, and (ii) we use automated logic-based verification engine to decide the validity of safety properties. The starting point of our approach is a denotational semantics of State flow. We propose a compilation process using continuation-passing style (CPS) denotational semantics. Our compilation technique preserves the structural and modal behavior of the system. The overall approach is implemented as an open source toolbox that can be integrated into the existing Mathworks Simulink Stateflow modeling framework. We present preliminary experimental evaluations that illustrate the effectiveness of our approach in code generation and safety verification of industrial scale Stateflow models.

Stateflow↗

NASA NTRS2019

Air Traffic Management Blockchain Infrastructure for Security, Authentication, and Privacy

Current radar-based air traffic service providers may preserve privacy for military and corporate operations by procedurally preventing public release of selected flight plans, position, and state data. The FAA mandate for national adoption of Automatic Dependent Surveillance Broadcast (ADS-B) in 2020 does not include provisions for maintaining these same aircraft-privacy options, nor does it address the potential for spoofing, denial of service, and other well-documented risk factors. This paper presents an engineering prototype that embodies a design and method that may be applied to mitigate these ADS-B security issues. The design innovation is the use of an open source permissioned blockchain framework to enable aircraft privacy and anonymity while providing a secure and efficient method for communication with Air Traffic Services, Operations Support, or other authorized entities. This framework features certificate authority, smart contract support, and higher-bandwidth communication channels for private information that may be used for secure communication between any specific aircraft and any particular authorized member, sharing data in accordance with the terms specified in the form of smart contracts. The prototype demonstrates how this method can be economically and rapidly deployed in a scalable modular environment.

air traffic privacy & authentication↗

NASA NTRS2019

Air Traffic Management Blockchain Infrastructure for Security, Authentication, and Privacy

ADS-B cybersecurity↗

NASA NTRSDate not supplied

Symmetry and Error Mitigation in Quantum Alternating Operator Ansatz

Quantum Alternating Operator Ansatz (QAOA) provides a platform for probing quantum advantage in optimization problems on NISQ hardware. By exploring symmetries in the system and the structure of unitaries in the algorithm, we proposed using problem-specific mixing operators to limit the quantum evolution within a subspace where the target state lives. As an example, in case of equality constraint, we studied the use of XY operators that preserve total Pauli Z. This QAOA variant, in the noiseless case, significantly outperforms the vanilla version of QAOA where the constraints are encoded as penalty in the cost Hamiltonian and the search is in the whole Hilbert space. In presence of noise, although the advantage still holds, error mitigation is needed for QAOA. I will overview our work on the design of QAOA in presence of symmetry, the implementation and compilation of XY-QAOA, its performance and error mitigation techniques in presence of noise.

Zhihui Wang↗

DOE OSTI2026

Patch Hierarchical Attention Transformer for Efficient Particle Jet Tagging

Real-time jet tagging is critical for identifying short-lived particle decays in the high-throughput detectors of the Large Hadron Collider, where real-time trigger systems responsible for deciding which collision events to store impose strict latency and accuracy constraints. While transformer architectures achieve the highest jet tagging accuracy when compute is unconstrained, their quadratic self-attention cost makes inference restrictive on trigger budget. Existing efficient variants reduce the computational cost, but hinder the classification performance. To address this limitation, we introduce the Patch Hierarchical Attention Transformer (PHAT-JeT), which combines two mechanisms: a physics-inspired geometric message-passing module that encodes local detector-plane structure, and a hierarchical patch-based attention scheme that computes exact attention within small particle groups while preserving global context through lightweight patch-token communication. Within a restricted budget, PHAT-JeT achieves state-of-the-art accuracy and background rejection among all resource-constrained jet tagging models on four benchmarks (\textsc{hls4ml}, JetClass, Top Tagging, and Quark--Gluon). Our code is available at https://github.com/aaronw5/PHAT-JeT.

Wang, Aaron [Illinois U., Chicago] (ORCID:00000003↗

NASA NTRS2001

Electronic Structure and Properties of Deformed Carbon Nanotubes

A theoretical framework based on Huckel tight-binding model has been formulated to analyze the electronic structure of carbon nanotubes under uniform deformation. The model successfully quantifies the dispersion relation, density of states and bandgap change of nanotubes under uniform stretching, compression, torsion and bending. Our analysis shows that the shifting of the Fermi point away from the Brillouin zone vertices is the key reason for these changes. As a result of this shifting, the electronic structure of deformed carbon nanotubes varies dramatically depending on their chirality and deformation mode. Treating the Fermi point as a function of strain and tube chirality, the analytical solution preserves the concise form of undeformed carbon nanotubes. It predicts the shifting, merging and splitting of the Van Hove singularities in the density of states and the zigzag pattern of bandgap change under strains. Four orbital tight-binding simulations of carbon nanotubes under uniform stretching, compression, torsion and bending have been performed to verify the analytical solution. Extension to more complex systems are being performed to relate this analytical solution to the spectroscopic characterization, device performance and proposed quantum structures induced by the deformation. The limitations of this model will also be discussed.

Yang, Liu↗

DOE OSTI2026

Geometric invariants of quantum metrology

Here, we establish a conservation law for the Quantum Fisher Information Matrix (QFIM) expressed as follows; when the QFIM is constructed from a set of observables closed under commutation, i.e., a Lie algebra, the spectrum of the QFIM is invariant under unitary dynamics generated by these same operators. Each Lie algebra therefore endows any quantum state with a fixed “budget” of metrological sensitivity—an intrinsic resource that we show, like optical squeezing in interferometry, cannot be amplified by symmetry-preserving operations. The Uhlmann curvature tensor naturally inherits the same symmetry group, and so quantum incompatibility is similarly fixed. As a result, a metrological analog to Liouville's theorem appears; statistical distances, volumes, and curvatures are invariant under the evolution generated by the Lie algebra. We discuss this as it relates to the quantum analogs of classical optimality criteria. This enables one to efficiently classify useful classes of quantum states at the level of Lie algebras through geometric invariants.

Wilson, Christopher [University of Colorado, Bould↗

DOE OSTI2026

Locally purified maximally mixed states at scale: Entanglement pruning and symmetries

Locally Purified Density Operators (LPDOs) are state-of-the-art tensor network ansatze candidates that efficiently represent mixed quantum states at scale. However, given their non-uniqueness, their representational complexity is generally sub-optimal in practical computations. Here, in this work we perform a comprehensive numerical and analytical analysis and resolve this issue in the experimentally relevant limit where noise depolarizes the density operator into a maximally mixed state. To resolve the sub-optimality issue, we analyze two numerical tools, one analytic method, and detail the relations between them. The numerical tools used are fidelity-preserving truncations and isometric gauge transformations leveraging Riemannian optimizations over entropic objective functions. In addition, by invoking the injectivity and symmetry constraints of the maximally mixed LPDO, we also present analytical closed-form expressions for the disentangler and discuss their relation to numerical optimizers. Further, away from the maximally mixed state, our simulations highlight how the truncation threshold smoothly interpolate, as a function of depolarization, between established matrix product results and our new results. Our work shows how, by minimizing the resources required to represent key states of practical interest in experiment, the efficiency of tensor network algorithms can be substantially increased. This paves the path for uncovering tensor network’s fundamental scalability limits and latent potential in representing the wide locus of mixed quantum states that are accessible on near-term quantum devices.

Gangapuram, Amit Jamadagni [Oak Ridge National Lab↗

NASA NTRS2002

Finding Feasible Abstract Counter-Examples

A strength of model checking is its ability to automate the detection of subtle system errors and produce traces that exhibit those errors. Given the high computational cost of model checking most researchers advocate the use of aggressive property-preserving abstractions. Unfortunately, the more aggressively a system is abstracted the more infeasible behavior it will have. Thus, while abstraction enables efficient model checking it also threatens the usefulness of model checking as a defect detection tool, since it may be difficult to determine whether a counter-example is feasible and hence worth developer time to analyze. We have explored several strategies for addressing this problem by extending an explicit-state model checker, Java PathFinder (JPF), to search for and analyze counter-examples in the presence of abstractions. We demonstrate that these techniques effectively preserve the defect detection ability of model checking in the presence of aggressive abstraction by applying them to check properties of several abstracted multi-threaded Java programs. These new capabilities are not specific to JPF and can be easily adapted to other model checking frameworks; we describe how this was done for the Bandera toolset.

Pasareanu, Corina S.↗

DOE OSTI2025

Fluid-like shock compression of dilute polymer nanocomposites

The shock Hugoniot of heterogenous mixtures of discrete particles has been experimentally investigated for porous agglomerates and fluids, while the study of full-density solids has been primarily limited to compressed powders and high-dimensional composites. By dispersing ceria nanoparticles in a polyethylene matrix, we are able to examine the hydrodynamic behavior of a nonporous, heterogenous solid in thermal equilibrium during weak shock compression. Phase-driven discontinuities in the Hugoniot particle velocity–shock velocity (u−D) relationship of pure polyethylene are replicated in the nanocomposites but are shifted to lower velocity and to higher pressure with higher particle concentration. The results are explained using an isothermal, two-velocity fluid model under the hydrodynamic approximation. The model, which assumes a theoretical equation-of-state for ceria and either a low-order or high-order fit to the measured polyethylene Hugoniot, reasonably predicts the Hugoniot for two different polyethylene/ceria nanocomposites. Using the model, the mixture Hugoniot is shown to be insensitive to the Hugoniot of the stiffer constituent when the moduli are sufficiently disparate, while dependence on particle density and volume fraction is preserved through fluid-like motion.

Moore, Nathan W. [Sandia National Laboratories (SN↗