SEARCH · Search NASA

Results for “lattice constants”

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 505 records · Page 28

All sources NASA NTRS DOE OSTI

DOE OSTI2024

First-principles investigation of elastic, vibrational, and thermodynamic properties of kagome metals CsM 3 Te 5 (M = Ti, Zr, Hf)

Kagome metals are a unique class of quantum materials characterized by their distinct atomic lattice arrangement, featuring interlocking triangles and expansive hexagonal voids. These lattice structures impart exotic properties, including superconductivity, interaction-driven topological many-body phenomena, and magnetism, among others. The kagome metal CsM 3 ⁢Te 5 (where M = Ti, Zr, or Hf) exhibits both superconductivity and nontrivial topological electronic properties, offering a promising platform for exploring topological superconductivity. This study employs first-principles density functional theory calculations to systematically analyze the elastic, mechanical, vibrational, thermodynamic, and electronic properties of CsM 3 ⁢Te 5 (M = Ti, Zr, Hf). Our calculations reveal that the studied compounds—CsTi 3 ⁢Te 5 , CsZr 3 ⁢Te 5 , and CsHf 3 ⁢Te 5 —are ductile metals with elastic properties akin to the hexagonal Bi and Sb, with average elastic constants, including a bulk modulus of 27 GPa, a shear modulus of 11 GPa, and Young's modulus of 29 GPa. We observe peculiar dispersionless, flat, phonon branches in the vibrational spectra of these metals. Additionally, we thoroughly analyze the symmetries of the zone-center phonon eigenvectors and predict vibrational fingerprints of the Raman- and infrared-active phonon modes. The analysis of thermodynamic properties reveals the Einstein temperature for CsTi 3 ⁢Te 5 , CsZr 3 ⁢Te 5 , and CsHf 3 ⁢Te 5 to be 66, 54, and 53 K, respectively. Our orbital-decomposed electronic structure calculations reveal significant in-plane steric interactions and multiple Dirac band crossings near the Fermi level. We further investigate the role of spin-orbit coupling effect on the studied properties. Furthermore, this theoretical investigation sheds light on the intriguing quantum behavior of kagome metals.

36 MATERIALS SCIENCE↗

NASA NTRS1982

Lateral aerodynamics of delta wings with leading edge separation

An unsteady vortex lattice method is presented for the calculation of the aerodynamic forces acting on lifting surfaces undergoing complex three dimensional motion. For the present case the nonsymmetric motion of a slender delta wing was considered and the resulting lateral characteristics were calculated. The flow separation line was specified along the wing leading edge and the emanating vortex sheet shape and rollup was then calculated. Numerical results are presented for the combined high angle of attack and side slip condition and for the wing constant roll and coning motions.

Katz, J.↗

DOE OSTI2025

Ineffectiveness of formamidine in suppressing ultralow thermal conductivity in cubic hybrid perovskite FAPbI 3

Understanding lattice dynamics and thermal transport mechanisms in cubic hybrid organic–inorganic perovskites remain challenging due to strong anharmonicity and phase transitions. Here, we investigate the thermal transport behavior in benchmark cubic hybrid perovskite FAPbI 3 by coupling first principles-based anharmonic lattice dynamics with a linearized Wigner transport equation. Using the Temperature-Dependent Effective Potential (TDEP) method, we stabilize the negative soft modes, primarily dominated by organic FA + cations. Our calculations predict an ultra-low thermal conductivity of ~$0.63\,{\rm{W}}{{\rm{m}}}^{-1}{{\rm{K}}}^{-1}$ at 300 K, following a temperature dependence of T −0.740 . Contrary to common assumptions, we find that the [PbI 3 ] 1- units, rather than FA + cations, dominate thermal resistance. Furthermore, we demonstrate that anharmonic force constants are highly temperature-sensitive, relying on 0-K force constants significantly underestimates thermal conductivity. Our study not only elucidates the microscopic mechanisms governing thermal transport in FAPbI 3 but also provides a robust framework for modeling heat conduction in hybrid organic-inorganic compounds.

Zheng, Jiongzhi [Dartmouth College, Hanover, NH (U↗

DOE OSTI2021

First- and second-order magnetic anisotropy and damping of europium iron garnet under high strain

Understanding and tailoring static and dynamic properties of magnetic insulator thin films is important for spintronic device applications. Here, we grow atomically flat epitaxial europium iron garnet (EuIG) thin films by pulsed laser deposition on (111)-oriented garnet substrates with a range of lattice parameters. By controlling the lattice mismatch between EuIG and the substrates, we tune the strain in EuIG films from the compressive to the tensile regime, which is characterized by x-ray diffraction. Using ferromagnetic resonance (FMR), we find that, in addition to the first-order perpendicular magnetic anisotropy which depends linearly on the strain, there is a significant second-order one that has a quadratic strain dependence. Inhomogeneous linewidth of the FMR increases notably with increasing strain, while the Gilbert damping parameter remains nearly constant (≈ 2 × 10 –2 ). Finally, these results provide valuable insight into the spin dynamics in ferrimagnetic insulators and useful guidance for material synthesis and engineering of next-generation spintronics applications.

36 MATERIALS SCIENCE↗

NASA NTRS1998

The Effect of Solution Parameters on Lysozyme Nucleation Rates and Crystal Quality

In the pursuit of strongly diffracting high quality macromolecule crystals of suitable volume, this study investigates how the formation of macromolecules in solution and their growth characteristics effect crystal volume and diffracting quality. We systematically investigated the effect of solution conditions on lysozyme nucleation rates and the volume of crystals produced. Batch crystallization plates were used in combination with a video microscope system to measure nucleation rates and crystal volume. As expected from classical nucleation theory, crystal numbers were found to increase with increases in temperature and supersaturation. Small changes in solution pH, at constant supersaturation values were found, however, to dramatically effect the number of crystals nucleated in the wells varying from 1000s to 10s in the pH range 4.0 to 5.2. Having optimized the conditions required to produce an appropriate number of crystals of a suitable volume for X-ray analysis, a large number of uniform crystals were produced under exactly the same conditions. In the X-ray analysis of more than 50 such crystals there was found a wide variation in crystal lattice parameters and data quality. The variation in X-ray quality crystal samples is thought to be related to the growth rate variation caused by growth rate dispersion seen in lysozyme crystal growth experiments.

Judge, R. A.↗

DOE OSTI2025

Neutron powder diffraction, Mossbauer Spectroscopy and Optical Spectroscopy to study magnetic and nuclear lattices in Fe-based oxychlorides Ca2FeO3Cl, Sr2FeO3Cl and Sr3Fe2O5Cl2

Data for Neutron Diffraction, Mossbauer Spectoscopy and Optical Spectroscopy are contained on all three samples (Ca2FeO3Cl, Sr2FeO3Cl, and Sr3Fe2O5Cl2). Mossbauer data are in the folder "MossbauerSpectroscopy". This contains details of files and examples to read the data. The Optical Spectroscopy are in the folder "AbsorptionData", this contains one file with explanatory headers. The neutron diffraction data are in the "NeutronDiffractionData" folder. The data was collected on the HB-2A powder diffractometer at HFIR. The autoreduced files are corrected using a vanadium standard and are in arbitrary intensity units. The RawData folder contains the uncorrected data with metadata for motor positions and temperature. All measurements were collected with a constant neuton wavelength of 2.41 Angstrom. An excel spreadsheet "NeutronDiffractionData_IPTS-29118_summary" contains details for each scan. Sr3Fe2O5Cl2 data were collected at only room temperature. Ca2FeO3Cl and Sr2FeO3Cl data were collected at 4K and room temperature. The autoreduced .dat fileformat is three columns corresponding to: Two-theta, Intensity and Intensity_error.

fe-based oxychlorides↗

DOE OSTI2023

Dynamical effects from anomalies: Modified electrodynamics in Weyl semimetals

Here, we discuss the modified quantum electrodynamics from a time-reversal-breaking Weyl semimetal coupled with a U⁡(1) gauge (electromagnetic) field. A key role is played by the soft dispersion of the photons in a particular direction, say $\hat{z}$, due to the Hall conductivity of the Weyl semimetal. Due to the soft photon, the fermion velocity in $\hat{z}$ is logarithmically reduced under renormalization group flow, together with the fine-structure constant. Meanwhile, fermions acquire a finite lifetime from spontaneous emission of the soft photon, namely, the Cherenkov radiation. At low-energy E, the inverse of the fermion lifetime scales as τ -1 ~E/PolyLog⁡(E). Therefore, even though fermion quasiparticles are eventually well-defined at very low energy, over a wide intermediate energy window the Weyl semimetal behaves like a marginal Fermi liquid. Phenomenologically, our results are more relevant for emergent Weyl semimetals, where the fermions and photons all emerge from strongly correlated lattice systems. Possible experimental implications are discussed.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

NASA NTRS1997

High-Temperature Superconducting/Ferroelectric Structures for Tunable Microwave Components

At the NASA Lewis Research Center, ferroelectric films, such as SrTiO3 and Ba(x)Sr(1-x)TiO3, are being used in conjunction with YBa2Cu3O(7-delta) high-temperature superconducting (HTS) thin films to fabricate tunable microwave components, such as filters, varactors, and local oscillators. These structures capitalize on the variation of the dielectric constant of the ferroelectric film upon the application of a dc electric field as well as on the low microwave losses exhibited by the high-temperature superconducting films relative to their conventional conductor counterparts. (For example, the surface resistance for a YBa2Cu3O(7-delta) thin film at 10 GHz and 77 K is more than two orders of magnitude lower than that of copper at the same frequency and temperature.) SrTiO3 and Ba(x)Sr(1-x)TiO3 films are used because their crystal structure and lattice parameters are similar to those of YBa2Cu3O(7-delta), thus enabling the growth of highly textured YBa2Cu3O(7-delta) films with high critical current densities on the underlying ferroelectric film, or alternatively, of highly textured ferroelectric film on the underlying YBa2Cu3O(7-delta) film. Our efforts have been concentrated so far in determining the deposition parameters required for optimal ferroelectric thin-film growth (i.e., maximum tunability and lowest loss) and in investigating different varactor configurations to determine which geometry is the most advantageous in terms of tunability, losses, and required bias for a given communication application. For example, we have observed that for optimized SrTiO3 films in a parallel plate capacitor, tunabilities of up to 47 percent and dissipation losses (tan d) of 0.05 are attainable at 1 MHz , 80 K, and within the 0- to 5-V bias range. In contrast, for an interdigital configuration, tunabilities of up to 70 percent and tan d ranging from 0.015 to 0.001 (depending on bias) have been observed at 1 MHz and 77 K within the 0- to 100-V bias range. Efforts are underway to use these results in developing tunable receiver front-end preselect filters as well as in low-phase noise, tunable local oscillators for K-band applications. These components represent a hitherto unavailable technology to meet the stringent performance requirements of foreseeable satellite and wireless communication systems (e.g., bandwidth, in-band insertion losses, out-of-band rejection, and noise, amongst others) in a more advantageous fashion than with currently available technology (e.g., dielectric-filled cavity and waveguide filters, and dielectric resonator oscillators). Prototypes of high-temperature superconducting/ferroelectric tunable components such as a low-phase noise K-band local oscillator, a preselect C-band filter, and a low-loss K-band phase shifter are under development at NASA Lewis.

Miranda, Felix A.↗

DOE OSTI2026

Understanding Discharge‐Driven Growth of Cathode Impedance in Ni‐Rich NMC Cathodes

Degradation of LiNi x Mn y Co 1-x-y O 2 (NMC)-based lithium-ion batteries depends strongly on cut-off voltage ranges. In addition to the high upper cut-off voltage, a high depth of discharge (i.e., lower cut-off voltage) significantly worsens cathode impedance growth and capacity fade during long-term cycling. However, there is currently no consensus on the mechanism behind the negative role of a deep discharge. Here, this phenomenon was investigated in graphite||NMC cells with single-crystal cathodes (LiNi 0.6 Co 0.2 Mn 0.2 O 2 (NMC622) or LiNi 0.76 Co 0.14 Mn 0.10 O 2 (NMC76)) using targeted aging protocols (constant high-voltage holds vs. charge–discharge cycling), while monitoring transition-metal (TM) dissolution, cathode-electrolyte interface (CEI) impedance, and NMC surface composition. We demonstrate a correlation between discharge-driven CEI impedance growth and increased TM dissolution. Furthermore, this degradation pathway is more pronounced in lower-Ni NMC622 than in higher-Ni (NMC76) under comparable delithiation states at charge, with both compositions undergoing the H2→H3 phase transition. X-ray photoelectron spectroscopy (XPS) reveals NMC composition-dependent evolution of surface lattice oxygen and restructured surface layer composition between charged and discharged states. These findings add mechanistic depth to the role of discharge as an active driver of interfacial degradation and provide new insights into its composition dependence.

25 ENERGY STORAGE↗

DOE OSTI2023

Melting, reentrant ordering and peak effect for Wigner crystals with quenched and thermal disorder

Abstract We consider simulations of Wigner crystals in solid state systems interacting with random quenched disorder in the presence of thermal fluctuations. When quenched disorder is absent, there is a well defined melting temperature determined by the proliferation of topological defects, while for zero temperature, there is a critical quenched disorder strength above which topological defects proliferate. When both thermal and quenched disorder are present, these effects compete, and the thermal fluctuations can reduce the effectiveness of the quenched disorder, leading to a reentrant ordered phase in agreement with the predictions of Nelson (1983 Phys. Rev. B 27 2902–14). There are two competing theories for the low temperature behavior, and our simulations show that both capture aspects of the actual response. The critical disorder strength separating ordered from disordered states remains finite as the temperature goes to zero, as predicted by Cha and Fertig (1995 Phys. Rev. Lett. 74 4867–70), instead of dropping to zero as predicted by Nelson. At the same time, the critical disorder strength decreases with decreasing temperature, as predicted by Nelson, instead of remaining constant, as predicted by Cha and Fertig. The onset of the reentrant phase can be deduced based on changes in the transport response, where the reentrant ordering appears as an increase in the mobility or the occurrence of a depinning transition. We also find that when the system is in the ordered state and thermally melts, there is an increase in the effective damping or pinning. This produces a drop in the electron mobility that is similar to the peak effect phenomenon found in superconducting vortices, where thermal effects soften the lattice or break down its elasticity, allowing the particles to better adjust their positions to take full advantage of the quenched disorder.

36 MATERIALS SCIENCE↗

NASA NTRSDate not supplied

Machine Learning Approaches for Rare-Earth Silicate Environmental Barrier Coating Thermochemical and Thermomechanical Property Predictions

Environmental barrier coatings (EBCs) are a necessary enabling technology for the transition from superalloys to silicon carbide (SiC) ceramic matrix composites (CMCs) in gas turbine engines for increased efficiency and decreased fuel costs. SiC-based CMCs are prone to oxidation-based degradation in the engine hot section, and rare-earth (RE) silicates are promising candidates for EBCs due to their close thermal expansion match to the composite substrate and oxidation resistance. However, the design of EBCs is hindered by the large chemical space of candidate materials and the difficulty in obtaining material properties for engineering optimization. This is especially difficult as research continues into mixed-cation or “high-entropy” RE silicates. First-principles computational methods such as density functional theory (DFT) are highly effective at calculating material properties to guide coating design but are limited by their computational cost. Atomistic simulations have the potential to both accelerate property calculations and expand the properties able to be calculated due to their lower computational compared to DFT. However, they require interatomic potentials (IAPs) specific to the material system of interest, and, to our knowledge, there are no suitable IAPs for RE silicates. Machine learning (ML) is a promising technique to accelerate material property predictions indirectly by generating IAPs for atomistic simulations or via direct prediction. In this work, we present two ML approaches to accelerate the calculation of RE silicate properties relevant to EBC design: 1) a ML-derived interatomic potential (IAP) for atomistic simulations of yttrium disilicate (Y2Si2O7) from DFT training data, and 2) a neural network (NN) model to directly predict thermochemical properties of RE silicates and oxides directly from easily obtainable unit cell parameters. Classical MD simulations using the IAP yield lattice properties and bond lengths in good agreement with both DFT and experimental results from x-ray diffraction. Thermodynamic properties calculated using the finite-displacement phonon method and quasi-harmonic approximation were orders of magnitude faster than DFT with good agreement to the DFT results. The IAP was also used to calculate properties such as coefficient of thermal expansion (CTE) that require large simulation supercells and are therefore difficult with DFT. The IAP correctly predicted the anisotropic nature of the CTE in three different phases of Y2Si2O7. The NN model predicts constant pressure heat capacity, Cp, orders of magnitude faster than DFT calculations, which can enable its use as a surrogate model for multiscale simulations. The two methods presented in this work demonstrate the utility of ML for accelerating the prediction of RE silicate properties, which can in turn accelerate EBC design and optimization.

machine learning↗

DOE OSTI2024

Comparison of interband related optical transitions and excitons in ZnGeN 2 and GaN

The optical dielectric function of ZnGeN 2 is calculated from the interband transitions using the energy bands calculated in the quasiparticle self-consistent (QS)GW^ method using two different levels of approximation: the independent particle approximation (IPA) and the Bethe-Salpeter Equation (BSE) approach. The first allows us to relate peaks in ε 2 to specific bands and k-points but does not include electron-hole interaction effects. The second includes electron-hole interaction or excitonic effects. The corresponding changes in the shape of ε 2 (ω) are found to be similar to those in GaN. The screened Coulomb interaction W^ is here calculated including electron-hole interactions in the polarization function and gives a band structure already going beyond the random phase approximation. The static dielectric constants including only electronic screening, commonly referred to as ε∞ , were calculated separately by extrapolating the wave vector dependent macroscopic dielectric function in the long-wavelength limit. Below the quasiparticle gap, we find three bound excitons optically active for different polarization. The convergence of these bound excitons with respect to the density of the k-mesh used in the BSE is studied and found to require a fine mesh. It is also found that these bound excitons originate from only the lowest conduction band and the top three valence bands. To incorporate the lattice screening, we include a scaling factor (ε∞/ε 0 ) 2 , which allows us to obtain exciton binding energies of the correct order of magnitude similar to those in GaN. Here, the excitons are related to each of the three fold split valence bands and the splittings of the latter are also studied as function of strain. Finally, a relation between the anisotropic effective masses and the valence band splitting is pointed out and explained.

36 MATERIALS SCIENCE↗

DOE OSTI2024

Mixing effects on spectroscopy and partonic observables of heavy mesons with logarithmic confining potential in a light-front quark model

Using the variational principle, we systematically investigate the mass spectra and wave functions of both 1⁢𝑆 and 2⁢𝑆 state heavy pseudoscalar (𝑃) and vector (𝑉) mesons within the light-front quark model. This approach incorporates a Coulomb plus logarithmic confinement potential to accurately describe the constituent quark and antiquark dynamics. Additionally, spin hyperfine interactions are introduced perturbatively to compute the masses of pseudoscalar and vector mesons. The present analyses of the 1⁢𝑆 and 2⁢𝑆 states require the consideration of mixing between them to account for empirical constraints. These constraints include the mass gap Δ⁢𝑀 𝑃 >Δ⁢𝑀 𝑉 , where Δ⁢𝑀 𝑃⁡(𝑉) =𝑀$^{2⁢𝑆}_{𝑃⁡(𝑉)}$−𝑀$^{1⁢𝑆}_{𝑃⁡(𝑉)}$ and the hierarchy of the decay constants 𝑓 1⁢𝑆 >𝑓 2⁢𝑆 . We find the optimal value of the mixing angle to be 𝜃 =1⁢8°, significantly enhancing the consistency between our spectroscopic predictions and the experimental data compiled by the Particle Data Group. Furthermore, based on the predicted mass, the newly observed resonance 𝐵 𝐽⁡ (5840) could be assigned as a 2 1⁢ 𝑆 0 state in the 𝐵 meson family. The study also reports various pertinent observables, including twist-two distribution amplitudes, electromagnetic form factors, charge radii, 𝜉 moments, and transition form factors that are found to be consistent with both available lattice simulations and experimental data. In addition, our predicted branching ratios for the channels of 𝐵 + →𝜏 + ⁢𝜈 𝜏 as well as rare decays of 𝐵 0 and 𝐵$^0_𝑠$ appear in accordance with experimental data.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗

NASA NTRS1990

Atmospheric pressure organometallic vapor-phase epitaxial growth of (Al/x/Ga/1-x/)0.51In0.49P (x from 0 to 1) using trimethylalkyls

This paper describes growth of (Al/x/Ga/1-x)0.51In0.49P layers (with x from 0 to 1) lattice-matched to (001)-oriented GaAs substrates by atmospheric-pressure OMVPE, using trimethylindium, trimethylaluminum, and trimethylgallium and PH3 as source materials in a horizontal reactor. Excellent surface morphologies were obtained over the entire range of Al compositions at a growth temperature of 680 C. Photoluminescence (PL) was observed for all samples with x values not below 0.52, with PL peak energies as high as 2.212 eV. The PL FWHM for Ga(0.51)In(0.49)P was 7.2 meV at 10 K and 35 meV at 300 K. At 10 K, the PL intensity was nearly a constant over the composition range from x = 0 to 0.52.

Cao, D. S.↗

NASA NTRS1998

High-Temperature Superconducting/Ferroelectric, Tunable Thin-Film Microwave Components

At the NASA Lewis Research Center, ferroelectric films such as SrTiO3 and Ba(sub x)Sr(sub 1-x)TiO3, are being used in conjunction with YBa(sub 2)Cu(sub 3)O(sub 7-delta) high-temperature superconducting thin films to fabricate tunable microwave components such as filters, phase shifters, and local oscillators. These structures capitalize on the variation of the dielectric constant of the ferroelectric film upon the application of a direct-current electric field, as well as on the low microwave losses of high-temperature superconductors relative to their conventional conductor counterparts. For example, the surface resistance for a YBa(sub 2)Cu(sub 3)O(sub 7-delta) thin film at 10 GHz and 77 K is more than two orders of magnitude lower than that of copper or gold at the same temperature and frequency. SrTiO3 and Ba(sub x)Sr(sub 1-x)TiO3 films are used because their crystal structure and lattice parameters are similar to those of YBa(sub 2)Cu(sub 3)O(sub 7-delta), thus enabling the growth of highly textured YBa(sub 2)Cu(sub 3)O(sub 7-delta) films with high critical current densities (i.e., greater than 1 MA/sq cm) on the underlying ferroelectric film, or alternatively, of highly textured ferroelectric film on the underlying YBa(sub 2)Cu(sub 3)O(sub 7-delta) film.

Miranda, Felix A.↗

DOE OSTI2020

Soft-mode enhanced type-I superconductivity in LiPd 2 Ge

The synthesis, crystal structure, and physical properties (magnetization, resistivity, heat capacity) in combination with theoretical calculations of the electronic structure and phonon properties are reported for intermetallic compounds LiPd 2 X ( X = Si, Ge, and Sn). LeBail refinement of powder x-ray diffraction data confirms that all compounds belong to the Heusler family (space group $\textit{F m-3m}$, No. 225). The lattice parameter increases with atomic size of X , and its value varies from $\textit{a}$ = 5.9059(4) Å for LiPd 2 Si and $\textit{a}$ = 6.0082(3)Å for LiPd 2 Ge, to $\textit{a}$ = 6.2644(1) Å for LiPd 2 Sn. The first compound, LiPd 2 Si, has apparently not been previously reported. All measured quantities demonstrate that LiPd 2 Ge exhibits superconductivity below $T_c$ = 1.96 K and the normal- and superconducting-state data indicate that it is a weak-strength type-I superconductor ($C/γT_c$ = 1.38) with electron-phonon coupling constant $λ_{e–p}$ = (0.53–0.56). LiPd 2 Si and LiPd 2 Sn are not superconducting above 1.68 K. The experimental observations are supported by theoretical calculations which show that LiPd 2 Ge has the highest computed $λ_{e–p}$ and $T_c$ of the group. A strong softening of the acoustic phonon mode is calculated, and in the case of X = Ge and Sn, imaginary phonon frequencies were computed. In this work, the soft mode is most pronounced in the case of LiPd 2 Ge, which suggests its correlation with superconductivity.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

NASA NTRSDate not supplied

Seeing is Believing: Monitoring Future Time Temporal Logic

Runtime monitors for future-time unbounded temporal logics like RVLTL, LTL 3 and FLTL, have double-exponential (2^2^n) worst-case space complexity bounds in size of the input formula. The semantics of these logics require monitors to perform general satisfiability solving for LTL expressions, a well-studied problem whose computational complexity is NP-hard and PSPACE-complete. This paper introduces an unbounded future-time linear temporal logic defined over a lattice. We call our logic an incremental temporal logic as it can be viewed as incrementally constructing proofs about the trace. On this account, we view online runtime monitoring as a decision procedure for proofs systems about incrementally growing traces. We demonstrate that our incremental temporal logic allows monitor construction to void satisfiability solving while still soundly detecting when the property is violated in an online fashion. This enables asymptotic improvements in space complexity. As proof, we provide a procedure to construct monitors that utilize linear space and time in the size of the input formula, while remaining constant in the size of the input stream and suitable for online monitoring. We further demonstrate, through several examples, that our incremental temporal logic is straightforward to adopt and practical for runtime verification.

temporal logic↗

DOE OSTI2023

Theoretical assessments of Pd–PdO phase transformation and its impacts on H 2 O 2 synthesis and decomposition pathways

The direct synthesis of H 2 O 2 from O 2 and H 2 provides a green pathway to produce H 2 O 2 , a popular industrial oxidant. Here, in this study, we theoretically investigate the effects of Pd oxidation states, coordination environments, and particle sizes on primary H 2 O 2 selectivities, assessed by calculating the ratio of rate constants for the formation of H 2 O 2 (via OOH* reduction; k O–H ) and the decomposition of OOH* (via O–O cleavage; k O–O ). For Pd metals, the k O–H /k O–O ratio decreased from 10 -4 for Pd(111) to 10 -10 for the Pd 13 cluster at 300 K, indicating poorer H 2 O 2 selectivity as Pd particle size decreases and low primary selectivities for H 2 O 2 overall. As the oxygen chemical potential increases and metals form surface and bulk oxides, the perturbation of Pd–Pd ensemble sites by lattice O atoms results in selectivities that become dramatically higher than unity. For instance, at 300 K, the k O–H /k O–O ratio increases significantly from 10 -4 to 10 9 to 10 16 as Pd(111) oxidizes to Pd 5 O 4 /Pd(111) and to PdO(100), respectively. In contrast, such selectivity enhancements are not observed for surface and bulk oxides that persistently contain rows of more metallic, undercoordinated Pd–Pd ensemble sites, such as PdO(101)/Pd(100) and PdO(101). These Pd–Pd ensembles are also absent when smaller Pd nanoparticles fully oxidize, indicating that smaller PdO clusters can be more selective for H 2 O 2 synthesis. These trends for primary H 2 O 2 selectivities were found to inversely correlate with trends for H 2 O 2 decomposition rates via O–O bond cleavage, demonstrating that catalysts with high primary H 2 O 2 selectivity can also hinder H 2 O 2 decomposition. Ab initio thermodynamic calculations are used to estimate the thermodynamically favored phase among Pd, PdO/Pd and PdO in O 2 , H 2 O 2 /H 2 O, and O 2 /H 2 environments. These results are combined to show that smaller Pd nanoparticles are more prone to be oxidized at lower oxygen chemical potentials, upon which they become more selective than larger Pd particles for H 2 O 2 synthesis.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗