SEARCH · Search NASA

Results for “Normal forms”

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 37 records · Page 2

All sources NASA NTRS DOE OSTI

DOE OSTI2024

QED: A Powerful Query Equivalence Decider for SQL

Checking query equivalence is of great significance in database systems. Prior work in automated query equivalence checking sets the first steps in formally modeling and reasoning about query optimization rules, but only supports a limited number of query features. In this paper, we present Qed, a new framework for query equivalence checking based on bag semantics. Qed uses a new formalism called Q-expressions that models queries using different normal forms for efficient equivalence checking, and models features such as integrity constraints and NULLs in a principled way unlike prior work. Our formalism also allows us to define a new query fragment that encompasses many real-world queries with a complete equivalence checking algorithm, assuming a complete first-order theory solver. Empirically, Qed can verify 299 out of 444 query pairs extracted from the Calcite framework and 979 out of 1287 query pairs extracted from CockroachDB, which is more than 2× the number of cases proven by prior state-of-the-art solver.

Computer Science↗

DOE OSTI2025

SDA: a symbolic differential algebra package in C++

Truncated Power Series Algebra (TPSA), or Differential Algebra (DA), is a well-established tool in accelerator physics, commonly used for generating high-order maps of dynamic systems, as well as in symplectic tracking, normal form analysis, verified integration, optimization, and fast multipole methods. This package is the first to perform symbolic DA computations, enabling traceability of initial condition contributions and runtime reduction for repeated DA calculations, potentially expanding DA’s applications.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2020

Theoretical Development of Controller Transfer applied to Dynamical Systems

Data-driven control strategies suffer from the necessity of training and its associated computational time and cost. This motivates the continuous increase of popularity of transfer learning based methods. In this paper, we have investigated transfer learning in the context of controller for dynamical systems. First, we have derived conditions under which controller can be transferred between two linear dynamical systems. Furthermore, we have introduced a novel algorithm to design the transferable and non-transferable control components for linear systems. Secondly, we have derived conditions under which a stabilizing controller can be transferred between two different nonlinear dynamical systems. Furthermore, we have used the notion of zero dynamics to transform the nonlinear dynamics into global normal form, to derive the transferability conditions on the controller. Finally, we have numerically evaluated the performance of our transfer learning based methods for two sets of example linear and nonlinear dynamical systems.

Chakraborty, Indrasis↗

DOE OSTI2022

Superconducting qubit devices based on metal silicides

A qubit device for use in a quantum computing environment includes a semiconductor substrate, an insulating layer disposed on at least a portion of an upper surface of the substrate, and a transition metal silicide (TMSi) heterojunction disposed on at least a portion of an upper surface of the insulating layer. The TMSi heterojunction includes a link layer and at least first and second TMSi regions coupled with the link layer. The link layer may include a normal conductor, thereby forming a superconductor-normal conductor-superconductor (SNS) junction, or a geometric constriction, thereby forming a superconductor-geometric constriction-superconductor (ScS) junction. The link layer may form at least a portion of a channel including intrinsic or doped silicon.

Black, Charles T.↗

DOE OSTI2023

Mass measurement of 27 P to constrain type-I x-ray burst models and validate the isobaric multiplet mass equation for the $A = 27, T = \frac{3}{2}$ isospin quartet

Background: Light curves are the primary observable of type-I x-ray bursts. Computational x-ray burst models must match simulations to observed light curves. Most of the error in simulated curves comes from uncertainties in rp process reaction rates, which can be reduced via precision mass measurements of neutron-deficient isotopes in the rp process path. Purpose: Perform a precise atomic mass measurement of 27 P. Use this new measurement to calculate rp process reaction rates and input these rates into an x-ray burst model to reduce simulated light curve uncertainty. Use the mass measurement of 27 P to validate the isobaric multiplet mass equation (IMME) for the A = 27 T = 3/2 isospin quartet which 27 P belongs to. Method: High-precision Penning trap mass spectrometry utilizing the time-of-flight ion cyclotron resonance technique was used to determine the atomic mass of 27 P. The MESA code (Modules for Experiments in Stellar Astrophysics) was then used to simulate x-ray bursts using a one-dimensional multizone model to produce updated light curves. Results: The mass excess of 27 P was measured to be –670.7(6) keV, a 14-fold precision increase over the mass reported in the 2020 Atomic Mass Evaluation (AME2020). The 26 Si(p, $γ$) 27 P– 27 P($γ$, p) 26 Si rate equilibrium has been determined to a higher precision based on the precision mass measurement of 27 P. x-ray burst light curves were produced with the MESA code using the new reaction rates. Changes in the mass of 27 P seem to have minimal effect on light curves, even in burster systems tailored to maximize impact. Conclusion: The mass of 27 P does not play a significant role in x-ray burst light curves. It is important to understand that more advanced models do not just provide more precise results, but often qualitatively different ones. This result brings us a step closer to being able to extract stellar parameters from individual x-ray burst observations. In addition, the IMME has been validated for the A = 27, T = 3/2 quartet. The normal quadratic form of the IMME using the latest data yields a reduced $χ$ 2 of 2.9. Finally, the cubic term required to generate an exact fit to the latest data matches theoretical attempts to predict this term.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗

DOE OSTI2021

POST-TEST EXAMINATIONS OF A LOCA SAMPLE FROM AN IRRADIATED HIGH-BURNUP PWR M5 FUEL ROD

A LOCA integral test with high burnup PWR M5 fuel rod was conducted in the Irradiated Fuel Examination Laboratory through the complete LOCA sequence: heating the LOCA sample to 300ºC and pressurizing the internal pressure to 8.27 MPa, heating at 5ºC/s from 300 to 1200ºC, holding in steam for 90s at 1200ºC, cooling at 3ºC/s to 800ºC, followed by water quench and rapid cooling to 100ºC. After LOCA testing, examinations, such as the fuel fragmentation analysis, burst and ballooning characterization, axial strain measurement, and microstructural examinations were performed. Metallographic examinations of an as-irradiated high burnup sample adjacent to the LOCA test sample revealed a bonding layer between the fuel and cladding. The posttest LOCA examinations indicates the corrosion layer formed during normal operations in the commercial reactor might provide a protection against the steam oxidation at high temperatures for test times performed in this work. The microstructure of the as-irradiated fuel is compared to the microstructure of the post-LOCA test fuel. Posttest LOCA examination on unirradiated post-tests Zr cladding samples was conducted, which served as baseline data for in cell testing with irradiated samples. The results obtained with irradiated PWR high burnup M5 fuel rad were compared to the LOCA test data obtained with irradiated BWR high burnup Zircaloy-2 fuel rod at Argonne national Laboratory.

Yan, Yong↗

DOE OSTI2020

Spatially resolved molecular gas properties of host galaxy of Type I superluminous supernova SN 2017egm

Abstract We present the results of CO(1–0) observations of the host galaxy of a Type I superluminous supernova (SLSN-I), SN 2017egm, one of the closest SLSNe-I at z = 0.03063, by using the Atacama Large Millimeter/submillimeter Array. The molecular gas mass of the host galaxy is Mgas = (4.8 ± 0.3) × 109 M⊙, placing it on the sequence of normal star-forming galaxies in an Mgas–star-formation rate (SFR) plane. The molecular hydrogen column density at the location of SN 2017egm is higher than that of the Type II SN PTF10bgl, which is also located in the same host galaxy, and those of other Type II and Ia SNe located in different galaxies, suggesting that SLSNe-I have a preference for a dense molecular gas environment. On the other hand, the column density at the location of SN 2017egm is comparable to those of Type Ibc SNe. The surface densities of molecular gas and the SFR at the location of SN 2017egm are consistent with those of spatially resolved local star-forming galaxies and follow the Schmidt–Kennicutt relation. These facts suggest that SLSNe-I can occur in environments with the same star-formation mechanism as in normal star-forming galaxies.

Hatsukade, Bunyo (ORCID:0000000164698725)↗

DOE OSTI2021

Digital Twin for Self-Security of Smart Inverters

Smart inverters connected to a communication network are susceptible to man-in-the-middle attacks. In this paper, a self-security approach is implemented using the digital twin concept for smart inverters. The digital twin is formed using the inverter’s normal operating region and the inverter’s dynamic model. Then, the incoming setpoints are autonomously examined using the digital twin, and only the safe setpoints are engaged to the inverter’s local controller. This paper demonstrates how the inverter’s normal operating region and dynamic model are formed. In particular, the normal operation region is experimentally verified by changing the P and Q setpoints engaged to the local controller, using a laboratory setup including a three-phase 3-kVA SiC-MOSFET inverter and a 12-kW NHR 9410 regenerative power grid emulator. The results demonstrate that the self-security technique can potentially protect inverters from man-in-the-middle attacks by examining the incoming commands (new setpoints) using the inverter’s digital twin before engaging the setpoints to the local controller.

Hossen, Tareq↗

DOE OSTI2024

Criteria for Grid-Forming Inverters Transitioning Between Current Limiting Mode and Normal Operation

Here, this letter focuses on the fault recovery analysis of inverters using multi-loop droop based grid-forming control, taking into account different current limiting strategies. A criterion is proposed to determine when the inverter can exit the current limiting mode after fault clearance. The theoretical findings are verified through electromagnetic transient simulations using the direct (d)-axis priority-based current limiting method, circular current limiting method, and virtual impedance method.

24 POWER TRANSMISSION AND DISTRIBUTION↗

DOE OSTI2022

Systematic analysis of Baobaoqu fermentation starter for Wuliangye Baijiu by the combination of metagenomics and metabolomics

Baobaoqu (BBQ) is a traditional fermenting power, which is widely applied in Nong-flavor Baijiu brewing. There are two different types of BBQ (premium BBQ and normal BBQ) used in industrial manufacture, but the reasons for the significant differences between two kinds of BBQ have not been clearly illuminated. In this study, the combination of metagenomics and metabolomics was performed to compare the differences in the composition of microbial communities and the components of flavors between premium BBQ and normal BBQ. The results showed that the glycosidase-producing microorganisms are the biomarkers of premium BBQ, contributing a better ability of carbon source utilization than normal BBQ. In addition, several important flavors (ethyl hexanoate, phenylethanol, ethyl acetate) were rich in normal BBQ, which have a significant positive correlation with the biomarkers ( Lactobacillus and Pichia kudriavzevii ) of normal BBQ. It suggests that the microbial community has an advantage in utilizing raw materials in premium BBQ, while the community was inclined to form flavors in normal BBQ. The differences between two types of BBQ at the microbial and flavor level have theoretical and practical guiding significance in the application of premium and normal BBQ and in the further improvements of taste and quality of Baijiu.

Zhang, Qingmei↗

DOE OSTI2023

An innovative and alternative approach toward gear fabrication

In this paper, we present the first demonstration of single-step gear manufacturing via an innovative in-situ friction stir forging approach. This novel process is a natural extension to the friction stir processing technique and relies on shear and normal stresses to form the complex shapes. Friction stir welding pin tool with shoulder is plunged at high revolutions per minute (rpm) into the sample to heat it to the desired temperature and enable plastic flow. Then, the tool is forged at high plunge rate to form the desired structurally-sound and defect free complex shapes. To better visualize the process the experiments are complemented by a 3D thermomechanically coupled, smoothed particle hydrodynamics (SPH) model to understand the material flow pattern both radially and through thickness in the gear teeth, plastic strain distribution, and temperature profile. We have demonstrated application of I-FSF to inherently poor formable AZ31 Mg, AA 7075-T6, and AA5083–10 vol% TiB 2 composite and fabricated 14-tooth spur gears from these materials with minimal farther machining. In conclusion, microstructure of the forged gears exhibited a directional material flow pattern due to the normal forging action and refinement of grains to 6–13 μm through dynamically recrystallization across the radial, through-thickness direction, which is in good agreement with the corresponding SPH simulation results.

42 ENGINEERING↗

DOE OSTI2022

Molybdenum oxide and sulfide active sites for isobutane dehydrogenation with methanol as a probe molecule

Molybdenum oxides and sulfides are alternative catalysts for several reactions, including alkane dehydrogenation. Correlations have been developed between reactivity and structure, but it is difficult to compare different catalysts without determining numbers of active sites. Here, methanol temperature programmed surface reaction (TPSR) is applied to bulk MoS 2 and a series of supported molybdenum oxides and sulfides used for isobutane dehydrogenation. Rates and deactivation behavior are similar between supported molybdenum oxides and sulfides. Coking increases with loading and correlates well with the fraction of Mo-based CO 2 -forming sites from methanol TPSR. Normalizing isobutane dehydrogenation rates by formaldehyde-forming sites unifies rates over oxide and sulfide materials. Further, these measurements confirm earlier hypotheses that MoS 2 and higher loadings of oxides and sulfides are intrinsically fast catalysts, but they have few active sites and are prone to coking. In general, methanol TPSR is proposed as an accessible route to count sites on both supported oxides and sulfides.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗

DOE OSTI2022

PARTICLE RESOLVED DNS STUDY OF TURBULENCE EFFECTS ON HYPORHEIC MIXING IN RANDOMLY PACKED SEDIMENT BEDS

Pore-resolved direct numerical simulations (DNS) are used to investigate the interactions between stream-water flow turbulence and groundwater flow through a porous sediment bed in the hyporheic zone. Two permeability Reynolds numbers (2.56 and 5.17), representative of aquatic systems and representing ratio of permeability to viscous length scales, were simulated to understand its influence on the momentum exchange at the sediment-water interface (SWI). A doubleaveraging methodology is used to compute the Reynolds stresses, form-induced stresses, and pressure fluctuations. It is observed that both shear layer and turbulent shear stress penetration increases with ReK. Reynolds and form-induced bed-normal stresses increase with ReK. The peak values of the form-induced stresses for the lower (2.56) and higher (5.17) ReK happen within the top layer of the sediment bed. The sum of turbulent and form-induced pressure fluctuations, analyzed at their respective zero-displacement planes, are statistically similar and can be well approximated by a t location-scale distribution fit providing with a model that could potentially be used to impose boundary conditions at the SWI in reach scale simulations.

Karra, Shashank↗

DOE OSTI2020

Observational constraints on the multiphase nature of outflows using large spectroscopic surveys at z ∼ 0

ABSTRACT Mass outflow rates and loading factors are typically used to infer the quenching potential of galactic-scale outflows. However, these generally rely on observations of a single gas phase that can severely underestimate the total ejected gas mass. To address this, we use observations of high mass (≥1010 M⊙), normal star-forming galaxies at z ∼ 0 from the MaNGA, xCOLD GASS, xGASS, and ALFALFA surveys and a stacking of Na d, Hα, CO(1–0), and H i 21 cm tracers with the aim of placing constraints on an average, total mass outflow rate, and loading factor. We find detections of outflows in both neutral and ionized gas tracers, with no detections in stacks of molecular or atomic gas emission. Modelling of the outflow components reveals velocities of |vNa d| = 131 km s−1 and |vHα| = 439 km s−1 and outflow rates of $\dot{M}_{\rm {Na\,\small{D}}}$ = 7.55 M⊙ yr−1 and $\dot{M}_{\text{H}\alpha }$ = 0.10 M⊙ yr−1 for neutral and ionized gas, respectively. Assuming a molecular/atomic outflow velocity of 200 km s−1, we derive upper limits of $\dot{M}_{\text{CO}}\lt 19.43$ M⊙ yr−1 and $\dot{M}_{\rm {H\,\small {I}}}\lt $ 26.72 M⊙ yr−1 for the molecular and atomic gas, respectively. Combining the detections and upper limits, we find average total outflow rates of $\dot{M}_{\text{tot}}\lesssim$27 M⊙ yr−1 and a loading factor of ηtot ≲ 6.39, with molecular gas likely contributing ≲72 per cent of the total mass outflow rate, and neutral and ionized gas contributing ∼28 and <1 per cent, respectively. Our results suggest that, to first order, a degree of quenching via ejective feedback could occur in normal galaxies when considering all gas phases, even in the absence of an active galactic nucleus.

Roberts-Borsani, G. W.↗

DOE OSTI2020

Hf‐W chronology of a macrochondrule from the L5/6 chondrite Northwest Africa 8192

Abstract A large, igneous‐textured, and 2 cm‐sized spherical object from the L5/6 chondrite NWA 8192 was investigated for its chemical composition, petrography, O isotopic composition, and Hf‐W chronology. The petrography and chemical data indicate that this object closely resembles commonly found chondrules in ordinary chondrites and is therefore classified as a “macrochondrule.* As a result of metal loss during its formation, the macrochondrule exhibits elevated Hf/W, which makes it possible to date this object using the short‐lived 182 Hf‐ 182 W system. The Hf‐W data provide a two‐stage model age for metal–silicate fractionation of 1.4 ± 0.6 Ma after Ca‐Al‐rich inclusion (CAI) formation, indicating that the macrochondrule formed coevally to normal‐sized chondrules from ordinary chondrites. By contrast, Hf‐W data for metal from the host chondrite yield a younger model age of ~11 Ma after CAIs. This younger age agrees with Hf‐W ages of other type 5–6 ordinary chondrites, and corresponds to the time of cooling below the Hf‐W closure temperature during thermal metamorphism on the parent body. The Hf‐W model age difference between the macrochondrule and the host metal demonstrates that the Hf‐W systematics of the bulk macrochondrule were not disturbed during thermal metamorphism, and therefore, that the formation age of such objects can still be determined even in strongly metamorphosed samples. Collectively, this study illustrates that chondrule formation was not limited to mm‐size objects, implying that the rarity of macrochondrules reflects either that this process was very inefficient, that subsequent nebular size‐sorting decimated large chondrules, or that large precursors were rare.

58 GEOSCIENCES↗

DOE OSTI2024

Generalized Bayesian MARS: Tools for Stochastic Computer Model Emulation

The multivariate adaptive regression spline (MARS) approach of Friedman and its Bayesian counterpart are effective approaches for the emulation of computer models. The traditional assumption of Gaussian errors limits the usefulness of MARS, and many popular alternatives, when dealing with stochastic computer models. Here, we propose a generalized Bayesian MARS (GBMARS) framework which admits the broad class of generalized hyperbolic distributions as the induced likelihood function. This allows us to develop tools for the emulation of stochastic simulators which are parsimonious, scalable, and interpretable and require minimal tuning, while providing powerful predictive and uncertainty quantification capabilities. GBMARS is capable of robust regression with t distributions, quantile regression with asymmetric Laplace distributions, and a general form of “Normal-Wald” regression in which the shape of the error distribution and the structure of the mean function are learned simultaneously. We demonstrate the effectiveness of GBMARS on various stochastic computer models, and we show that it compares favorably to several popular alternatives.

97 MATHEMATICS AND COMPUTING↗

DOE OSTI2020

Radial Star Formation Histories in 32 Nearby Galaxies

The spatially resolved star formation histories are studied for 32 normal star-forming galaxies drawn from the Spitzer Extended Disk Galaxy Exploration Science survey. At surface brightness sensitivities fainter than 28 mag arcsec{sup −2}, the new optical photometry is deep enough to complement archival ultraviolet and infrared imaging and to explore the properties of the emission well beyond the traditional optical extents of these nearby galaxies. Fits to the spectral energy distributions using a delayed star formation history model indicate a subtle but interesting average radial trend for the spiral galaxies: the inner stellar systems decrease in age with increasing radius, consistent with inside-out disk formation, but the trend reverses in the outermost regions with the stellar age nearly as old as the innermost stars. These results suggest an old stellar outer disk population formed through radial migration and/or the cumulative history of minor mergers and accretions of satellite dwarf galaxies. The subset of S0 galaxies studied here show the opposite trend compared to what is inferred for spirals: characteristic stellar ages that are increasingly older with radius for the inner portions of the galaxies, and increasingly younger stellar ages for the outer portions. This result suggests that either S0 galaxies are not well modeled by a delayed-τ model, and/or that S0 galaxies have a more complicated formation history than spiral galaxies.

79 ASTRONOMY AND ASTROPHYSICS↗

DOE OSTI2024

A Large Sample of Extremely Metal-poor Galaxies at z < 1 Identified from the DESI Early Data

Extremely metal-poor galaxies (XMPGs) at relatively low redshift are excellent laboratories for studying galaxy formation and evolution in the early universe. Much effort has been spent on identifying them from large-scale spectroscopic surveys or spectroscopic follow-up observations. Previous work has identified a few hundred XMPGs. In this work, we obtain a large sample of 223 XMPGs at z < 1 from the early data of the Dark Energy Spectroscopic Instrument (DESI). The oxygen abundance is determined using the direct T e method based on the detection of the [O iii]λ4363 line. The sample includes 95 confirmed XMPGs based on the oxygen abundance uncertainty; the remaining 128 galaxies are regarded as XMPG candidates. These XMPGs are only 0.01% of the total DESI observed galaxies. Their coordinates and other properties are provided in the paper. The most XMPGs have an oxygen abundance of ~1/34 Z ⊙ , a stellar mass of about 1.5 × 10 7 M ⊙ , and a star formation rate of 0.22 M ⊙ yr –1 . The two most XMPGs present distinct morphologies suggesting different formation mechanisms. The local environmental investigation shows that XMPGs preferentially reside in relatively low-density regions. Many of them fall below the stellar mass–metallicity relations (MZRs) of normal star-forming galaxies. From a comparison of the MZR with theoretical simulations, it appears that XMPGs are good analogs to high-redshift star-forming galaxies. The nature of these XMPG populations will be further investigated in detail with larger and more complete samples from the ongoing DESI survey.

79 ASTRONOMY AND ASTROPHYSICS↗