Search NASA⌕ Search

SEARCH · Search NASA

Results for “first order”

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 73 records · Page 4
All sourcesNASA NTRSDOE OSTI
DOE OSTI2024

Primordial black holes from bubble collisions during a first-order phase transition

We study the possibility of production of primordial black holes (PBHs) from bubble collisions during a first-order phase transition. While typical colliding bubbles are small and irrelevant for PBH production, we find that those that can produce PBHs must have a macroscopically thick fluid shell and have been born much before the typical nucleation time. Particularly large uncertainties arise from an exponential sensitivity of the nucleation rate on the required duration of bubble growth which depends on the details of the collisions and the evolution of the spacetime metric toward the end of the phase transition. We introduce a few parameters to be obtained from future numerical simulation to represent those unknowns, and estimate the PBH abundance in an Abelian Higgs benchmark model and show that it can be significant. We predict an approximately monochromatic PBH mass spectrum, and find regions in the parameter space where the PBHs can constitute entire dark matter or even overclose the Universe. Our result thus shows that models with a first-order phase transition can be constrained by overabundant PBHs or null results of other PBH searches. Published by the American Physical Society 2024

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
NASA NTRSDate not supplied

Formal Verification of Termination Criteria for First-Order Recursive Functions

This paper presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs. As a proof of concept, this paper illustrates how such an extension can be implemented using proof strategies based on computational reflection.

Formal Verification↗
NASA NTRSDate not supplied

Formal Verification of Termination Criteria for​ First-Order Recursive Functions

This talk presents a formalization of several termination criteria for first-order recursive functions. The formalization, which is developed in the Prototype Verification System (PVS), includes the specification and proof of equivalence of semantic termination, Turing termination, size change principle, calling context graphs, and matrix-weighted graphs. These termination criteria are defined on a computational model that consists of a basic functional language called PVS0, which is an embedding of recursive first-order functions. Through this embedding, the native mechanism for checking termination of recursive functions in PVS could be soundly extended with semi-automatic termination criteria such as calling contexts graphs.

Termination↗
DOE OSTI2023

First-Order Individual Gas Sensors as Next Generation Reliable Analytical Instruments

It is conventionally expected that the performance of existing gas sensors may degrade in the field compared to laboratory conditions because (i) a sensor may lose its accuracy in the presence of chemical interferences and (ii) variations of ambient conditions over time may induce sensor-response fluctuations (i.e., drift). Breaking this status quo in poor sensor performance requires understanding the origins of design principles of existing sensors and bringing new principles to sensor designs. Existing gas sensors are single-output (e.g., resistance, electrical current, light intensity, etc.) sensors, also known as zero-order sensors (Karl Booksh and Bruce R. Kowalski, Analytical Chemistry, DOI: 10.1021/ac00087a718). Any zero-order sensor is undesirably affected by variable chemical background and sensor drift that cannot be distinguished from the response to an analyte. To address these limitations, we are developing multivariable gas sensors with independent responses, which are first-order analytical instruments. Here, we demonstrate self-correction against drift in two types of first-order gas sensors that operate in different portions of the electromagnetic spectrum. Our radiofrequency sensors utilize dielectric excitation of semiconducting metal oxide materials on the shoulder of their dielectric relaxation peak and achieve self-correction of the baseline drift by operation at several frequencies. Our photonic sensors utilize nanostructured sensing materials inspired by Morpho butterflies and achieve self-correction of the baseline drift by operation at several wavelengths. These principles of self-correction for drift effects in first-order sensors open opportunities for diverse emerging monitoring applications that cannot afford frequent periodic maintenance that is typical of traditional analytical instruments.

Potyrailo, Radislav A.↗
DOE OSTI2024

Stability of the first-order character of phase transition in HoCo 2

HoCo 2 exhibits a giant magnetocaloric (MC) effect at its first-order magnetostructural phase transition around 77 K, and understanding the thermodynamic nature of this transition in response to external magnetic fields is crucial for its MC applications. In this study, we present a comprehensive investigation of specific heat and magnetization measurements of HoCo 2 under varying magnetic fields. The specific heat measurements qualitatively indicate a transformation from first- to second-order behavior of this phase transition at higher magnetic fields. However, analysis of the power-law dependence of the magnetic entropy change (Δ S M ∝H n ) and the breakdown of universal behavior in the temperature dependence of Δ S M suggest that the first-order nature remains intact, even up to 7 T. This stability of the first-order nature is further manifested through the distinctive non-linear behavior of modified Arrott plots, with a negative slope in the 6–7 T range.

36 MATERIALS SCIENCE↗
DOE OSTI2022

PETSc TSAdjoint: A Discrete Adjoint ODE Solver for First-Order and Second-Order Sensitivity Analysis

Here, we present a new software system PETSc TSAdjoint for first-order and second order adjoint sensitivity analysis of time-dependent nonlinear differential equations. The derivative calculation in PETSc TSAdjoint is essentially a high-level algorithmic differentiation process. The adjoint models are derived by differentiating the timestepping algorithms and implementing them based on the parallel infrastructure in PETSc. Full differentiation of the library code, including MPI routines, is avoided, and users do not need to derive their own adjoint models for their specific applications. PETSc TSAdjoint can compute the first-order derivative, that is, the gradient of a scalar functional, and the Hessian-vector product, which carries second-order derivative information, while requiring minimal input (a few callbacks) from the users. The adjoint model employs optimal checkpointing schemes in a manner that is transparent to users. Finally, usability, efficiency, and scalability are demonstrated through examples from a variety of applications.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2020

Relativistic hybrid stars with sequential first-order phase transitions and heavy-baryon envelopes

We compute the mass, radius and tidal deformability of stars containing phase transitions from hadronic to quark phase(s). These quantities are computed for three types of hadronic envelopes: purely nuclear, hyperonic, and Δ-resonance--hyperon admixed matter. We consider either a single first-order phase transition to a quark phase with a maximally stiff equation of state (EOS) or two sequential first-order phase transitions mimicking a transition from hadronic to a quark matter phase followed by a second phase transition to another quark phase. We explore the parameter space which produces low-mass twin and triplet configurations where equal-mass stars have substantially different radii and tidal deformabilities. We demonstrate that while for purely hadronic stiff EOS the obtained maximum mass is inconsistent with the upper limit on this quantity placed by GW170817, the inclusion of the hyperonic and Δ-resonance degrees of freedom, as well as the deconfinement phase transition at sufficiently low density, produces a configuration of stars consistent with this limit. The obtained hybrid star configurations are in the mass range relevant for the interpretation of the GW170817 event. We compare our results for the tidal deformability with the limits inferred from GW170817 showing that the onset of non-nucleonic phases, such as Δ-resonance--hyperon admixed phase and/or the quark phase(s), are favored by this data if the nuclear EOS is stiff. Also, we show that low-mass twins and especially triplets proliferate the number of combinations of possible types of stars that can undergo a merger event, the maximal number being six in the case of triplets. The prospects for uncovering the first-order phase transition(s) to and in quark matter via measurements of tidal deformabilities in merger events are discussed.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
NASA NTRS1972

On the probability of cycle-slipping in first-order phase-locked loops.

The first-passage time boundary value problem for first-order phase-locked loops (PLL) is analyzed, and spectral representations are developed for the probability density function (pdf), the distribution function, and the moments of the first time to passage (or cycle-slip). For the sinusoidal PLL, an asymptotic formula, that is surprisingly accurate even at low loop SNR's and large frequency offsets, is obtained for the pdf of the time to cycle-slip, in terms of the mean time to slip.

La Frieda, J. R.↗
DOE OSTI2023

Boosted dark matter from primordial black holes produced in a first-order phase transition

During a cosmological first-order phase transition in a dark sector, fermion dark matter particles χ can form macroscopic Fermi balls that collapse to primordial black holes (PBHs) under certain conditions. The evaporation of the PBHs produces a boosted χ flux, which may be detectable if χ couples to visible matter. We consider the interaction of χ with electrons, and calculate signals of the dark matter flux in the XENON1T, XENONnT, Super-Kamiokande and Hyper-Kamiokande experiments. A correlated gravitational wave signal from the phase transition can be observed at THEIA and μAres. An amount of dark radiation measurable by CMB-S4 is an epiphenomenon of the phase transition.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2025

Phenomenology of bubble size distributions in a first-order phase transition

In a cosmological first-order phase transition (FOPT), the true and false vacuum bubble radius distributions are not expected to be monochromatic, as is usually assumed. Consequently, Fermi balls (FBs) and primordial black holes (PBHs) produced in a dark FOPT will have extended mass distributions. We show how gravitational wave (GW), microlensing and Hawking evaporation signals for extended bubble radius/mass distributions deviate from the case of monochromatic distributions. The peak of the GW spectrum is shifted to lower frequencies, and the spectrum is broadened at frequencies below the peak frequency. Thus, the radius distribution of true vacuum bubbles introduces another uncertainty in the evaluation of the GW spectrum from a FOPT. The extragalactic gamma-ray signal at AMEGO-X/e-ASTROGAM from PBH evaporation may evince a break in the power-law spectrum between 5 MeV and 10 MeV for an extended PBH mass distribution. Optical microlensing surveys may observe PBH mass distributions with average masses below 10 -10 M ⊙ , which is not possible for monochromatic mass distributions. This expands the FOPT parameter space that can be explored with microlensing.

Marfatia, Danny [Univ. of Hawaii at Manoa, Honolul↗
NASA NTRS1985

First-order shock acceleration in solar flares

The first order Fermi shock acceleration model is compared with specific observations where electron, proton, and alpha particle spectra are available. In all events, it is found that a single shock with a compression ratio as inferred from the low energy proton spectra can reasonably produce the full proton, electron, and alpha particle spectra. The model predicts that the acceleration time to a given energy will be approximately equal for electrons and protons and, for reasonable solar parameters, can be less than 1 sec to 100 MeV.

Ellison, D. C.↗
NASA NTRS1990

A technique for predicting mode I energy release rates using a first-order shear deformable plate theory

Utilizing a first order shear deformable plate theory, a technique is described for predicting the distribution of the energy release rate along a curved or straight mode I planar crack in the plane of a plate (such as a delamination crack). Accuracy of the technique is assessed by comparing the distributions of energy release rate with those predicted by two- and three-dimensional finite element analyses of double cantilever beam specimens with straight crack fronts.

Davidson, B. D.↗
DOE OSTI2026

An Atom-Precise Approach to Damp First-Order Phase Transitions and Its Implications for Neuromorphic Signal Processing

Neuromorphic computing inspired by mammalian intelligence aims to emulate the nonlinear dynamics of biological neurons and synapses to achieve fast, low-energy, and highly efficient information processing. Brain-inspired computing relies on the design and discovery of materials exhibiting nonlinear current–voltage profiles, frequently underpinned by electronic state transitions, to achieve spiking neurons and dynamically tunable synapses. A signature challenge in the design of artificial neurons is controlling the steepness of first-order transitions in active elements, as abrupt transitions are at risk of driving unstable voltage and temperature oscillations, which result in catastrophic device failure. A critical knowledge gap is the lack of structure–function correlations mapping the composition and atomistic structure of crystalline solids to nonlinear dynamical response characteristics. Here, we address the key question of how modification of atomistic structure correlates with alteration of neuron-like functionality. Constructing oscillator circuits from millimeter-scale single crystals enables high-resolution atomic structure solutions, which we use to demonstrate that the selective positioning of Pb cations modifies charge ordering along a one-dimensional CuxV2O5 framework even at low insertion stoichiometries, thereby providing an atom-precise design parameter for damping first-order transitions. We use temperature-variant X-ray diffraction and X-ray spectroscopy to elucidate the suppression of Cu-ion shuttling based on the precise positioning of Pb ions in seven-coordinated tunnel interstitial sites as the mechanistic basis for transition broadening, thus bridging a critical gap between statistical mechanics and quantum chemical descriptions of phase transitions. Such mechanistic understanding thus paves the way to site-selective modification strategies for modulating the sharpness of first-order transitions, with an exemplary demonstration here in tuning neuronal signal processing.

Crystal structure↗
DOE OSTI2022

Gravitational waves from an inflation triggered first-order phase transition

Large excursion of the inflaton field can trigger interesting dynamics. One important example is a first-order phase transition in a spectator sector which couples to the inflaton. Gravitational waves (GWs) from such a first-order phase transition during inflation, an example of an instantaneous source, have an oscillatory feature. In this work, we show that this feature is generic for a source in an era of accelerated expansion. We also demonstrate that the shape of the GW signal contains information about the evolution of the early universe following the phase transition. In particular, the slope of the infrared part of the GW spectrum is sensitive to the evolution of the Hubble parameter when the GW modes reenter the horizon after inflation. The slope of the profile of the intermediate oscillatory part and the ultraviolet part of the GW spectrum depend on the evolution of the Hubble parameter when the modes exit horizon during the inflation and when they reenter the horizon during the reheating. The ultraviolet spectrum also depends on the details of the dynamics of the phase transition. We consider the GW signal in several models of evolution during and after inflation, and compare them with the minimal scenario of quasi- de Sitter inflation followed by radiation domination after a fast reheating, and demonstrate that the shape of the GW can be used to distinguish them. In this way, the GW signal considered in this paper offers a powerful probe to the dynamics of the early universe which is otherwise difficult to explore directly through CMB, large scale structure, big bang nucleosynthesis (BBN), and other well-studied cosmological observables.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
NASA NTRS2010

Enhanced Modeling of First-Order Plant Equations of Motion for Aeroelastic and Aeroservoelastic Applications

A methodology is described for generating first-order plant equations of motion for aeroelastic and aeroservoelastic applications. The description begins with the process of generating data files representing specialized mode-shapes, such as rigid-body and control surface modes, using both PATRAN and NASTRAN analysis. NASTRAN executes the 146 solution sequence using numerous Direct Matrix Abstraction Program (DMAP) calls to import the mode-shape files and to perform the aeroelastic response analysis. The aeroelastic response analysis calculates and extracts structural frequencies, generalized masses, frequency-dependent generalized aerodynamic force (GAF) coefficients, sensor deflections and load coefficients data as text-formatted data files. The data files are then re-sequenced and re-formatted using a custom written FORTRAN program. The text-formatted data files are stored and coefficients for s-plane equations are fitted to the frequency-dependent GAF coefficients using two Interactions of Structures, Aerodynamics and Controls (ISAC) programs. With tabular files from stored data created by ISAC, MATLAB generates the first-order aeroservoelastic plant equations of motion. These equations include control-surface actuator, turbulence, sensor and load modeling. Altitude varying root-locus plot and PSD plot results for a model of the F-18 aircraft are presented to demonstrate the capability.

Pototzky, Anthony S.↗
NASA NTRS1977

Characteristics of first order shock induced magnetic transitions in iron and discrimination from TRM

Reflected light microscopy provides information on first-order shock transitions in iron and iron-nickel and permits discrimination of microstructures due to shock transitions from those imparted by thermal transitions. In addition, thin-foil electron microscopy is used to characterize magnetic transitions in fine-particle iron. First-order magnetic phase changes, such as that from the antiferromagnetic face centered cubic state to the ferromagnetic body centered cubic state, are studied with the aim of calibrating the shock and thermal mechanisms of magnetization in iron with a particle size range between 250 and 1200 A. The efficiency of remanence due to shock transition is also estimated.

Wasilewski, P.↗