Search NASA⌕ Search

SEARCH · Search NASA

Results for “state extraction”

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 145 records · Page 8
All sourcesNASA NTRSDOE OSTI
DOE OSTI2020

Determining topological order from infinite projected entangled pair states

In this work, we present a method of extracting information about the topological order from the ground state of a strongly correlated two-dimensional system computed with the infinite projected entangled pair state (iPEPS). For topologically ordered systems, the iPEPS wrapped on a torus becomes a superposition of degenerate, locally indistinguishable ground states. Projectors in the form of infinite matrix product operators onto states with well-defined anyon flux are used to compute topological S and T matrices (encoding mutual and self-statistics of emergent anyons). The algorithm is shown to be robust against a perturbation driving string-net toric code across a phase transition to a ferromagnetic phase. Our approach provides accurate results near quantum phase transition, where the correlation length is prohibitively large for other numerical methods. Moreover, we used numerically optimized iPEPS describing the ground state of the Kitaev honeycomb model in the toric code phase and obtained topological data in excellent agreement with theoretical prediction.

36 MATERIALS SCIENCE↗
DOE OSTI2021

Coriolis coupling effects in proton-pickup spectroscopic factors from 12 B

Spectroscopic factors to low-lying negative-parity states in Be 11 extracted from the B 12 ( d , He 3 ) Be 11 proton-removal reaction are interpreted within the rotational model. Earlier predictions of the p -wave proton-removal strengths in the strong-coupling limit of the Nilsson model underestimated the spectroscopic factors to the 3 / 2 1 - and 5 / 2 1 - states and suggested that deviations in the 1 + ground state of the odd-odd B 12 due to Coriolis coupling should be further explored. Furthermore, in this work we use the particle rotor model to take into account these effects and obtain a good description of the level scheme in B 11 , with a moderate K mixing of the proton Nilsson levels [110]1/2 and [101]3/2. This mixing, present in the 1 + bandhead of B 12 , is key to explaining the proton-pickup data.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS2012

Predictive Sea State Estimation for Automated Ride Control and Handling - PSSEARCH

PSSEARCH provides predictive sea state estimation, coupled with closed-loop feedback control for automated ride control. It enables a manned or unmanned watercraft to determine the 3D map and sea state conditions in its vicinity in real time. Adaptive path-planning/ replanning software and a control surface management system will then use this information to choose the best settings and heading relative to the seas for the watercraft. PSSEARCH looks ahead and anticipates potential impact of waves on the boat and is used in a tight control loop to adjust trim tabs, course, and throttle settings. The software uses sensory inputs including IMU (Inertial Measurement Unit), stereo, radar, etc. to determine the sea state and wave conditions (wave height, frequency, wave direction) in the vicinity of a rapidly moving boat. This information can then be used to plot a safe path through the oncoming waves. The main issues in determining a safe path for sea surface navigation are: (1) deriving a 3D map of the surrounding environment, (2) extracting hazards and sea state surface state from the imaging sensors/map, and (3) planning a path and control surface settings that avoid the hazards, accomplish the mission navigation goals, and mitigate crew injuries from excessive heave, pitch, and roll accelerations while taking into account the dynamics of the sea surface state. The first part is solved using a wide baseline stereo system, where 3D structure is determined from two calibrated pairs of visual imagers. Once the 3D map is derived, anything above the sea surface is classified as a potential hazard and a surface analysis gives a static snapshot of the waves. Dynamics of the wave features are obtained from a frequency analysis of motion vectors derived from the orientation of the waves during a sequence of inputs. Fusion of the dynamic wave patterns with the 3D maps and the IMU outputs is used for efficient safe path planning.

Huntsberger, Terrance L.↗
DOE OSTI2023

Phase transition phenomenology with nonparametric representations of the neutron star equation of state

Astrophysical observations of neutron stars probe the structure of dense nuclear matter and have the potential to reveal phase transitions at high densities. Most recent analyses are based on parametrized models of the equation of state with a finite number of parameters and occasionally include extra parameters intended to capture phase-transition phenomenology. However, such models restrict the types of behavior allowed and may not match the true equation of state. We introduce a complementary approach that extracts phase transitions directly from the equation of state without relying on, and thus being restricted by, an underlying parametrization. We then constrain the presence of phase transitions in neutron stars with astrophysical data. Current pulsar mass, tidal deformability, and mass-radius measurements disfavor only the strongest of possible phase transitions (latent energy per particle ≳ 100 MeV). Weaker phase transitions are consistent with observations. Here we further investigate the prospects for measuring phase transitions with future gravitational-wave observations and find that catalogs of O (100) events will (at best) yield Bayes factors of ~ 10 : 1 in favor of phase transitions even when the true equation of state contains very strong phase transitions. Our results reinforce the idea that neutron star observations will primarily constrain trends in macroscopic properties rather than detailed microscopic behavior. Fine-tuned equation of state models will likely remain unconstrained in the near future.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2023

Isospin 0 and 2 two-pion scattering at physical pion mass using all-to-all propagators with periodic boundary conditions in lattice QCD

A study of two-pion scattering for the isospin channels, 𝐼 = 0 and 𝐼 = 2, using lattice QCD is presented. Möbius domain-wall fermions, on top of the Iwasaki-DSDR gauge action for gluons with periodic boundary conditions, are used for the lattice computations, which are carried out on two ensembles of gauge field configurations generated by the RBC and UKQCD Collaborations with physical masses, inverse lattice spacings of 1.023 and 1.378 GeV, and spatial extents of 𝐿 = 4.63 and 4.58 fm, respectively. The all-to-all propagator method is employed to compute a matrix of correlation functions of two-pion operators. The generalized eigenvalue problem (GEVP) is solved for a matrix of correlation functions to extract phase shifts with multiple states—two pions with a nonzero relative momentum, as well as two pions at rest. Our results for phase shifts for both the 𝐼 = 0 and 𝐼 = 2 channels are consistent with the Roy equation and chiral perturbation theory, though at this preliminary stage our errors for 𝐼 = 0 are large. An important outcome of this work is that we are successful in extracting two-pion excited states, which are useful for studying 𝐾 → 𝜋⁢𝜋 decay, on physical-mass ensembles using the GEVP.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRS2004

Abstraction and Assume-Guarantee Reasoning for Automated Software Verification

Compositional verification and abstraction are the key techniques to address the state explosion problem associated with model checking of concurrent software. A promising compositional approach is to prove properties of a system by checking properties of its components in an assume-guarantee style. This article proposes a framework for performing abstraction and assume-guarantee reasoning of concurrent C code in an incremental and fully automated fashion. The framework uses predicate abstraction to extract and refine finite state models of software and it uses an automata learning algorithm to incrementally construct assumptions for the compositional verification of the abstract models. The framework can be instantiated with different assume-guarantee rules. We have implemented our approach in the COMFORT reasoning framework and we show how COMFORT out-performs several previous software model checking approaches when checking safety properties of non-trivial concurrent programs.

Chaki, S.↗
DOE OSTI2024

Holographic pseudoentanglement and the complexity of the AdS/CFT dictionary

The `quantum gravity in the lab' paradigm suggests that quantum computers might shed light on quantum gravity by simulating the CFT side of the AdS/CFT correspondence and mapping the results to the AdS side. This relies on the assumption that the duality map (the `dictionary') is efficient to compute. In this work, we show that the complexity of the AdS/CFT dictionary is surprisingly subtle: there might be cases in which one can efficiently apply operators to the CFT state (a task we call 'operator reconstruction') without being able to extract basic properties of the dual bulk state such as its geometry (which we call 'geometry reconstruction'). Geometry reconstruction corresponds to the setting where we want to extract properties of a completely unknown bulk dual from a simulated CFT boundary state. We demonstrate that geometry reconstruction may be generically hard due to the connection between geometry and entanglement in holography. In particular we construct ensembles of states whose entanglement approximately obey the Ryu-Takayanagi formula for arbitrary geometries, but which are nevertheless computationally indistinguishable. This suggests that even for states with the special entanglement structure of holographic CFT states, geometry reconstruction might be hard. This result should be compared with existing evidence that operator reconstruction is generically easy in AdS/CFT. A useful analogy for the difference between these two tasks is quantum fully homomorphic encryption (FHE): this encrypts quantum states in such a way that no efficient adversary can learn properties of the state, but operators can be applied efficiently to the encrypted state. We show that quantum FHE can separate the complexity of geometry reconstruction vs operator reconstruction, which raises the question whether FHE could be a useful lens through which to view AdS/CFT.

FOS: Physical sciences↗
DOE OSTI2024

Reduction of spectroscopic overlap across the Z = 8 shell in neutron-rich nuclei

The recent discovery and spectroscopic measurements of 27 O and 28 O suggests the disappearance of the N = 20 shell structure in these neutron-rich oxygen isotopes. We measured one- and two-proton removal cross sections from 27 F and 29 N, respectively, extracting spectroscopic factors and comparing them to shell model overlap functions coupled with eikonal reaction model calculations. The invariant mass technique was used to reconstruct the two-body ( 24 O + n) and three-body ( 24 O + 2n) decay energies from knockout reactions of 27 F (106.2 MeV/u) and 29 Ne (112.8 MeV/u) beams impinging on a 9 Be target. The one-proton removal from 27 F strongly populated the ground state of 26 O and the extracted cross section of $3.4^{+0.3}_{-1.5}$ mb agrees with eikonal model calculations that are normalized by the shell model spectroscopic factors and account for the systematic reduction factor observed for single nucleon removal reactions within the models used. For the two-proton removal reaction from 29 Ne an upper limit of 0.08 mb was extracted for populating states in 27 O decaying though the ground state of 26 O. The measured upper limit for the population of the ground state of 26 O in the two-proton removal reaction from 29 Ne indicates a significant difference in the underlying nuclear structure of 27 F and 29 Ne.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2022

Remining and Restoring Abandoned US Mining Sites: The Case for Materials Needed for Zero-Carbon Transition

The electricity generation sector is responsible for 25% of the world’s greenhouse gas (GHG) emissions and thus has been the focus of efforts to transition to clean energy and sustainable development in many nations. In the past 20 years, renewable energy sources have been the fastest-growing energy source in the world, comprising almost 29% of the world’s electricity generation in 2020. Renewable energy sources are expected to comprise nearly 95% of the world’s power capacity growth through 2026, with a share of planned capacity expansion of up to 46% in 2026. The rapid development of renewable energy sources and technologies will require an enormous amount of raw materials to replace coal and gas plants and increase in the capacity to handle growing electricity demand because renewable energy sources have a low-power density and intermittent behavior. Accounting for the expected scale of rapidly deploying renewable energy sources that require rare earth elements (REEs), cement, and steel, the mining industry may face a supply problem for the materials critical for clean energy. And, as the exploration and development of new mining sites can be expensive and risky, the mining industry may require economic stimuli to grow supply. The increasing demand for renewable energy resources makes mining a threat to the environment unless proper regulations are established and calls for remining, cleanup, and circular economic development are made. Mining also contributes to environmental injustices related to the exploitation and pollution of lands near communities that are dependent on biodiversity in the area, while not always benefiting from technological advancements provided by the use of renewable energy and technologies. This study explored the opportunity of remining abandoned mining waste to extract metals and minerals essential for the production of renewable energy sources. The authors analyzed materials used in the production of these technologies, materials readily available in the United States, and which materials can be extracted locally in the United States from abandoned mine waste. The authors also studied environmental injustices that populations near mining sites experience and ways to mitigate these injustices, such as providing more control over extraction and cleanup activities, providing more job opportunities in those areas, and offsetting costs associated with cleanup and land restoration projects.

42 ENGINEERING↗
DOE OSTI2023

Preconceptual Designs of Coupled Power Delivery between a 4-Loop PWR and 100-500 MWe HTSE Plants

This study develops a preconceptual design for the integration between a large-scale high-temperature electrolysis facility and a NPP. Two hydrogen facility sizes are considered: 100 MWnom and 500 MWnom. Both steam supply designs use cold reheat steam extraction as a heat source. A reboiler inside the protected area of the power plant transfers steam heat to the demineralized water supply for the hydrogen plant. After the heat transfer, the extracted steam condenses and returns to the condenser while the process steam routes out of the protected area to the electrolyzers. Electrical power is tapped off from the high voltage side of the GSU transformer, where it is then transported via a 345-kV transmission line to the hydrogen facility. Circuit breakers and disconnects are located at both ends of the transmission line. Step down transformers and miscellaneous switchgear/buses are located at the end of the transmission line inside the HTEF boundary. Control capabilities for the steam interfacing equipment and electrical dispatch are accessible from the Main Control Room, and protective relays for the transmission line are located inside the Relay Room. Computer modeling was performed for the thermal and electrical designs. PEPSE analysis provided the steady-state parameters for thermal extraction from the turbine cycle. These parameters were used to inform transients and size equipment in combination with Applied Flow Technology (AFT) Arrow and AFT Fathom modeling for steam and water piping, respectively. Electrical transients were analyzed using PSCAD. An ETAP model was used to evaluate power flow and short circuit, which enabled the sizing of transformers and protective equipment. A cost estimate was developed for both integration designs when considering plant separation distances of 250 m and 500 m. From these estimates, the modifications for thermal and electrical interfacing of a first-of-a-kind nuclear-integrated hydrogen facility are anticipated to cost between $60–250/kWnom., where the subscript “nom” refers to the nominal size of the hydrogen plant. On a thermal power basis, the thermal power has a cost of approximately $8/MWth for a 500 MWnom high temperature electrolysis plant located 500 m distant from the NPP. That value decreases to approximately $7.5/MWth for a 250 m separation distance between the hydrogen plant and the NPP. This value is lower than previous estimates of the cost of heat extracted from NPPs primarily because in this work the steam is extracted from cold reheat instead of the main steam line, which reduces the cost of the dispatched steam by approximately $3.5/MWth. Nuclear steam extraction can provide a profit avenue for many plants and is not restricted to hydrogen production. Ammonia production, oil refining, and paper production, among other industrial processes all require thermal energy, which can be provided by NPPs. Future work should look further at the details of thermal extraction for a variety of use cases. This can include increased levels of extraction and multiple simultaneous users. Additionally, site-specific studies should be performed to develop industry experience and improve cost accuracy.

08 HYDROGEN↗
DOE OSTI2026

Multi-Differential Charged Current 𝝂_𝝁− Argon Cross Section without Pions in the Final State Measurement in MicroBooNE , and Current Status of Simultaneous Cross Section Extraction with ANNIE

MicroBooNE, an 85-tonne liquid argon time projection chamber detector is on-axis to the Booster Neutrino Beam (BNB) at Fermi National Accelerator Laboratory. MicroBooNE is elucidating neutrino interactions with argon through cross-section measurements to refine interaction models and reduce uncertainties. In this poster, we present recent published single and double multi-differential charged current (CC) cross section with zero pions in the final state (CC-0 ) as a function of muon momentum ( ) and the cosine of the muon angle ( ). We present the details of the event selection and the extraction of 1D and 2D cross sections. We further report on the status of a simultaneous cross-section extraction conducted in conjunction with the ANNIE experiment, which employs a Gd-H O target and operates on the same BNB beamline. This joint measurement enables a precision test of nuclear A-dependence between oxygen and argon, with shared flux and cross-section model correlations leading to the cancellation of systematic uncertainties.

Nguyen, Christian Van [Rutgers U., Piscataway] (OR↗
DOE OSTI2020

Identifying Abandoned Well Sites Using Database Records and Aeromagnetic Surveys

Oil and natural gas are primary sources of energy in the United States. Improved drilling and extracting techniques have led to a renewed interest in historic oil and gas fields, but limited records of legacy wells make new drilling efforts more difficult, as abandoned wells may provide conduits for liquids and gases to migrate into groundwater reservoirs or the atmosphere. Well finding using aeromagnetic surveys pinpoints the location of steel-cased wells, detecting both active and abandoned wells, including buried casings lacking aboveground markers. Here, we present six aeromagnetic surveys conducted in Pennsylvania and Wyoming as case studies, comparing the magnetic points to locations known in databases. In all study sites, more magnetic points were detected than recorded in databases. Based on differences between theoretical database well counts and the actual number of wells detected in surveys, we estimated the total number of wells in Pennsylvania to be 395 000–466 000 and 181 000–182 000 in Wyoming. Extrapolating to the national level, in this work, we estimate the average number of wells in the continental United States is 6.04 ± 19.97 million wells with 1.16 ± 3.84 million of those designated as abandoned wells, within the range of previous abandoned well count estimations. Although aeromagnetic surveys are limited to detecting steel-cased wells and do not differentiate sites based on well status, this study nevertheless demonstrates the utility of aeromagnetic surveys in well finding efforts across the country and shows limitations in database records of oil and natural gas wells.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2025

Rapid separation of radiopure yttrium-91 for tracer studies from mixed fission products and uranium

A novel, single step method for isolating 91 Y from irradiated uranium and mixed fission products has been developed based on the commercially available Eichrom LN resin. The separation procedure allows for loading an LN resin column with an irradiated uranium solution, containing mixed fission products, in dilute HCl where both uranium and yttrium are retained on the resin. Eluting dilute (0.5–1 M) HCl will strip the majority of fission products. Furthermore, increasing the concentration to 3 M HCl will elute 91 Y without the presence of any other fission products. Finally, uranium can be recovered by passing concentrated HCl through the column.

Chromatography↗
DOE OSTI2024

Component-based SHGC determination of BIPV glazing for product comparison

Building-integrated photovoltaic (BIPV) systems are intrinsically designed to generate electricity and to provide at least one building-related function. When BIPV modules act as glazing products in windows, skylights or curtain walls, their ability to control the transmission of solar energy into the building must be characterised by a Solar Heat Gain Coefficient (SHGC) or g value (also known as Total Solar Energy Transmittance – TSET – or “solar factor”). For the comparison of BIPV glazing products consisting of one PV laminate and possibly further, conventional glazing layers separated by gas-filled cavities, the procedures documented in international standards for architectural glazing (e.g. ISO 9050 and EN 410) form a suitable starting point. Easily implemented modifications to these procedures are proposed to take both optical inhomogeneity (if relevant) and extraction of electricity from BIPV glazing units into account. Geometrically complex glazing and shading devices, and light-scattering glazing layers, are outside the scope of the proposed methodology; SHGC determination for obliquely incident solar radiation is also excluded. For these cases, the experimental calorimetric approach documented in [ISO 19467:2017; ISO 19467-2:2021] is recommended. The paper also presents results and conclusions from an implementation exercise and sensitivity study carried out by participants of the IEA-PVPS Task 15 on BIPV. The cell coverage ratio in the PV laminate, the thermal resistance offered by the glazing configuration, the choice of boundary conditions and the effect of extracting electricity were all identified as parameters which significantly affect the SHGC value determined for a given type of BIPV glazing. A practicable approach to accommodate the great variety of dimensions typical for BIPV glazing is also proposed. These findings should pave the way for modifying the existing component-based standards for architectural glazing to take the specific features of BIPV glazing into account.

14 SOLAR ENERGY↗
DOE OSTI2026

$Ξ$ 𝑏 → $Ξ$ form factors from lattice QCD and standard-model predictions for $Ξ$ 𝑏 → $Ξ$⁢𝜇 + ⁢𝜇 − and $Ξ$ 𝑏 → $Ξ$⁢𝛾 decays

We present the first lattice QCD determination of the $Ξ$ 𝑏 → $Ξ$ vector, axial-vector, and tensor form factors, which are relevant for the theory of rare decays including $Ξ$ 𝑏 → $Ξ$⁢ℓ + ⁢ℓ − and $Ξ$ 𝑏 → $Ξ$⁢𝛾. The calculation is performed with 2+1 flavors of domain-wall fermions at three different lattice spacings and pion masses in the range from approximately 430 to 230 MeV. The bottom quark is implemented using an anisotropic clover action. Three-point functions with a wide range of source-sink separations and model averaging are used to extract the ground-state contributions. We fit the dependence of the form factors on the momentum transfer, the pion mass, and the lattice spacing using modified 𝑧 expansions that account for subthreshold branch cuts, and apply dispersive bounds and asymptotic behavior constraints to achieve controlled uncertainties in the full semileptonic kinematic region. Using our form factor results, we present standard model predictions for the $Ξ$$^{−}_{𝑏}$ → $Ξ$ − ⁢𝛾 and $Ξ$$^{−}_{𝑏}$ → $Ξ$ − ⁢𝜇 + ⁢𝜇 − branching fractions and two angular observables.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

Minimum stabilizing energy release for mixing processes

Diffusive operations, which mix the populations of different elements of phase space, can irreversibly transform a given initial state into any of a spectrum of different states from which no further energy can be extracted through diffusive operations. We call these ground states. Here, the lower bound of accessible ground-state energies represents the maximal possible release of energy. This lower bound, sometimes called the diffusively accessible free energy, is of interest in theories of instabilities and wave-particle interactions. On the other hand, the upper bound of accessible ground-state energies has escaped identification as a problem of interest. Yet, as demonstrated here, in the case of a continuous system, it is precisely this upper bound that corresponds to the paradigmatic “quasilinear plateau” ground state of the bump-on-tail distribution. Although for general discrete systems the complexity of calculating the upper bound grows rapidly with the number of states, using techniques adapted from treatments of the lower bound, the upper bound can in fact be computed directly for the three-state discrete system.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2023

Aviation Mission Profile Performance Evaluation in a High Specific Power Surface Permanent Magnet Machine with Additively Manufactured Coils and Integrated Heat Pipes

The purpose of this paper is to accurately evaluate the performance and overall efficiency of an electrical machine driving a propeller (as a part of a hybrid or electric propulsion system) during the flight mission profile using electromagnetic-thermal simulations. The study focuses on a 250 kW, 5000 rpm, 1.25 kHz, 36/30 slot/pole surface permanent magnet (SPM) machine with additively manufactured (AM) hollow conductors and integrated heat pipes (HP). The machine drive parameters (frequency, and current) are tuned to maximize the efficiency for a given flight cycle, while providing the highest specific power (SP) during takeoff. Afterward using Multiphysics simulations, the transient thermal behavior of the machine is studied and temperature profile for different parts of the machine is extracted. Finally, steady-state temperatures during cruising are estimated and overall efficiency is re-evaluated.

additive manufacturing↗