Search NASA⌕ Search

SEARCH · Search NASA

Results for “state - based”

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 235 records · Page 13
All sourcesNASA NTRSDOE OSTI
DOE OSTI2026

Compositional Reasoning for Hierarchical State Machines

Harel statecharts and its derivatives are popular graphical languages for specifying discrete control systems via hierarchical state machines. Separately, there has been a long line of work on specifying concurrent systems with process calculi which come equipped with an algebraic theory, the ability reason compositionally about various temporal properties, and strong type systems. While these two approaches to modeling systems are tantalizingly similar, the integrated reasoning principles that exist for process calculi have not been demonstrated in hierarchical state machines. A key issue is that operational theories for process calculi do not behave like control systems, and thus, there is virtually no tool support for modeling control systems with such languages. For a control system designer, bringing the integrated, more scalable reasoning from the process calculi to state-machine languages would enable the specification of more complex systems and a more modular systems development process. Our insight is that we can recover many important results from the process calculi in hierarchical state machines with local scope. We employ a structural operational semantics, which is ubiquitous in process and 𝜆-calculi but uncommon in hierarchical statemachine formalizations, to enable inductive reasoning about behavior. Taking inspiration from the structure of process calculi metatheories, we define a calculus of refinement and equivalence that we prove sound with respect to local notion of (bi)simulation. Furthermore, we prove that the calculus preserves the behavioral properties of reactivity, observational determinism, traces, and linear temporal properties. Our results are mechanized in the Rocq proof assistant.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2024

Direct and Inverse Photoelectron Spectroscopy Evidence for a Revised Picture of Electronic States of Negative Polarons in n‐Doped C 60

Abstract Determining the electronic levels associated with polarons, the fundamental charge carriers in organic semiconductors, is key to understanding the charge transport properties of these materials. Recent findings challenge the traditional view of these electronic levels by highlighting the importance of intra‐molecular Coulomb interactions in polarons. Experimental evidence was previously presented for a revised model of the negative polaron in the case of the polymer semiconductor poly(NDI2OD‐T 2 ); there, the addition of an excess electron was seen to lead to the emergence of a singly occupied state within the energy gap of the undoped material and an unoccupied state above the edge of the conduction states . Here, focus is on a small‐molecule semiconductor, C 60 , and spectral evidence is provided of a similar picture for the new states appearing upon polaron formation. Specifically, direct and inverse photoemission spectroscopy is used to investigate the density of states in C 60 films n‐doped with two dimeric dopants. The Coulomb interaction energy (Hubbard U ) of the C 60 anion is experimentally determined to be ≈1.1 eV, a value that aligns closely with theoretical predictions.

36 MATERIALS SCIENCE↗
DOE OSTI2024

Volumetric Additive Manufacturing of Dicyclopentadiene by Solid‐State Photopolymerization

Polymerization in the solid state is generally infeasible due to restrictions on mobility. However, in this work, the solid-state photopolymerization of crystalline dicyclopentadiene is demonstrated via photoinitiated ring-opening metathesis polymerization. The source of mobility in the solid state is attributed to the plastic crystal nature of dicyclopentadiene, which yields local short-range mobility due to orientational degrees of freedom. Polymerization in the solid state enables photopatterning, volumetric additive manufacturing of free-standing structures, and fabrication with embedded components. Solid-state photopolymerization of dicyclopentadiene offers a new paradigm for advanced and freeform fabrication of high-performance thermosets.

additive manufacturing↗
DOE OSTI2024

Operando Investigation on the Role of Densification and Chemo-Mechanics on Solid-State Cathodes

All solid-state batteries are desirable for a range of energy storage applications which require high energy density. Achieving a high energy density in a solid-state battery requires the operation of an energy dense anode with a composite solid-state cathode. Pores and/or voids within a solid state cathode are ion-blocking and thus control over the concentration and distribution of pores in the initial electrode and cycled electrode is desirable. This study provides an understanding of the interplay between electrode microstructure and mechanics on active material utilization in solid state cathodes composed of NCM 811 and Li 6 PS 5 Cl. Decreasing the solid electrolyte particle size leads to greater active material-electrolyte contact and less total deformation when exposed to an external load. Composite cathodes with greater compliance can potentially decrease strain between the active material and solid electrolyte, decrease delamination events and result in higher overall active material utilization and high capacity retention.

25 ENERGY STORAGE↗
DOE OSTI2026

Structural, Electronic, and Photophysical Insights into a Few Atom Copper-Sulfur Cluster in the Solid and Solution States

Coinage-metal chalcogenide clusters are widely studied for their attractive photoluminescence properties. Copper chalcogenides are especially promising, but are often confined to solid-state investigations due to their limited solution stability and the difficulty of synthesizing stable, well-defined clusters. Here, we investigate copper–sulfur clusters incorporating a small number of Cu atoms to elucidate fundamental atomic interactions, ground- and excited-state characteristics, and photophysical behavior in both solid and solution. We have synthesized the Cu6(4,6-dimethyl-2-mercaptopyrimidine)6 cluster in both neutral and charged states, Cu6 and Cu6-2H2+, respectively, by selective ligand protonation. The molecular structures are determined using single-crystal X-ray diffraction, while Cu K-edge X-ray absorption spectroscopy is used to probe Cu electronic structure differences arising from the ligand modification. Steady-state and pump-probe optical spectroscopy is used to investigate photophysical properties, interpreted using density functional theory methods. Both clusters exhibit good stability in the solid state and in solution and show characteristic near-infrared emission with microsecond lifetimes. Overall, the Cu6S6 clusters display favorable charge–transfer characteristics and show potential for further use in driving photochemical transformations.

Copper-sulfur clusters↗
DOE OSTI2024

In-situ electrochemical optical techniques in the investigation of lithium interfacial phenomena with a liquid and a solid-state electrolyte

An in-situ electrochemical optical diagnosis is the key to the investigation of electrode interface during a redox reaction. Because the morphology changes particularly, dendrite formation, dendrite shapes, solid electrolyte interface formation and gas generation can be revealed visually. The challenge of ensuring uniform current density on a flat Li anode in a liquid electrolyte was addressed and uniform Li plating was demonstrated. The dendrite shape change under different reduction current density was discussed. Here the Li dendrite shape change and the performance of Li anodes with a surface lamination of graphite and red phosphate were used as examples to demonstrate the capability of the in-situ optical cell. An in-situ electrochemical optical cell used in the investigation of the increasingly popular solid-state Li batteries has its own challenges. Due to the untransparent nature of a solid-state electrolyte, an optical investigation on a solid-state electrolyte Li battery needs to be done by exposing the cross-section of the cell. In addition, it is very difficult to assemble an optical cell with a brittle and fragile solid-state electrolyte in a glove box. A set of formation and transfer dies, and an optical cell were introduced. The Li dendrite growth at the interface can be observed in a solid-state Li cell.

25 ENERGY STORAGE↗
DOE OSTI2024

Structural Evolution of Photoexcited Methylcobalamin toward a CarH-like Metastable State: Evidence from Time-Resolved X-ray Absorption and X-ray Emission

CarH is a protein photoreceptor that uses a form of B 12 , adenosylcobalamin (AdoCbl), to sense light via formation of a metastable excited state. Aside from AdoCbl bound to CarH, methylcobalamin (MeCbl) is the only other example – to date – of photoexcited cobalamins forming metastable excited states with lifetimes of nanoseconds or longer. The UV-visible spectra of the excited states of MeCbl and AdoCbl bound to CarH are similar. We have used transient Co K-edge X-ray absorption and X-ray emission spectroscopies in conjunction with transient absorption spectroscopy in the UV–visible region to characterize the excited states of MeCbl. These data show that the metastable excited state of MeCbl has a slightly expanded corrin ring and increased electron density on the cobalt, but only small changes in the axial bond lengths. Finally, this is similar to changes seen previously for CarH, suggesting that MeCbl may be a good model for AdoCbl in CarH.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗
DOE OSTI2025

Ground and excited state properties of ThBe and AcBe

In this work, the ground and excited states of ThBe and AcBe were investigated by performing high-level multireference and single-reference coupled-cluster quantum chemical calculations with large correlation consistent basis sets. Full potential energy curves (PECs), chemical bonding patterns, energetics, spectroscopic parameters (T e , r e , ω e , and ω e x e ), and spin–orbit effects of 13 and 8 electronic states of ThBe and AcBe, respectively, are reported. The ground electronic states of ThBe and AcBe are single-reference 1 3 Σ − (1σ 2 2σ 2 1π 2 ) and 1 2 Π (1σ 2 2σ 2 1π 1 ), respectively, and originate from their corresponding ground state fragments. The chemical bonding of ThBe (1 3 Σ − ) and AcBe (1 2 Π) are π-dative in character and are formed by d-electron transfers from Th/Ac to the empty 2p x and 2p y of the Be atom. The electron populations of the f-orbitals of both ThBe (1 3 Σ − ) and AcBe (1 2 Π) are minor which exhibit their “transition-metal-like” nature. The estimated bond energies of the spin–orbit ground states of ThBe (1 3 Σ − 0+ ) and AcBe (1 2 Π 1/2 ) are 12.79 and 11.02 kcal mol −1 , respectively. Finally, the bond energy of ThBe was used to estimate its heat of formation ΔH 0 f (298 K) of 869.61 ± 6 kJ mol −1 .

74 ATOMIC AND MOLECULAR PHYSICS↗
DOE OSTI2025

Plutonium Oxidation State Distribution under WIPP Relevant Conditions (Rev. 2)

The oxidation state of plutonium in the Waste Isolation Pilot Plant (WIPP) environment has been a topic of interest since the initial compliance certification application. Plutonium (Pu) was initially expected to be present primarily as Pu(IV), but since the presence of Pu(III) could not be ruled out, it was also included in performance assessment (PA) calculations. The redox of the other variant actinides, uranium (U) and neptunium (Np), are also coupled to the plutonium redox. This led to a position in performance assessment calculations that is commonly referred to as “50/50”. In which half of the PA realizations assume solubility is dominated by the low oxidation state [U(IV), Np(IV), Pu(III)] and the other half assume solubility is dominated by the higher oxidation state [U(VI), Np(V), Pu(IV)]. Recently, a joint group of WIPP project participants from Los Alamos National Laboratory (LANL), Sandia National Laboratories (SNL), and the Department of Energy’s Carlsbad Field Office (DOE-CBFO) agreed on a new path forward for the oxidation state model in PA which will decouple the redox active actinides and will instead consider their redox as a function of E h . This will take the current binary approach and turn it into a system with four possible redox states.

11 NUCLEAR FUEL CYCLE AND FUEL MATERIALS↗
DOE OSTI2025

Earth-Centered, Earth-Fixed Inertial Navigation System & Error-State Kalman Filter Reference Manual

This is a self-contained reference document that derives the equations necessary to build a combined inertial navigation system and error-state Kalman filter. Coordinate transform, linear time invariant system, inertial sensing, and error-state Kalman filtering theory is built up from first principles. This theory is then leveraged to derive the system equations for two combined inertial navigation system and error-state Kalman filters: (1) a 15-state system modeling white-noise-integrating accelerometer and gyroscope biases, and (2) a 39-state system modeling static and first-order Gauss-Markov accelerometer and gyroscope biases, scale factor errors, and cross-axis sensitivity errors.

42 ENGINEERING↗
DOE OSTI2025

Photoactivation Transition State and Dynamical Response of the Orange Carotenoid Protein

The orange carotenoid protein (OCP) regulates light harvesting in cyanobacteria by acting as a photoreceptor in its resting form, OCP O , and by effecting the quenching of bilin excitons upon binding to the core of the phycobilisome in its photoactivated red form, OCP R . We show herein using fluorescence anisotropy measurements and the action spectra for the rate constants of the two light-driven steps in the mechanism that the photoactivation of the OCP from Synechocystis sp. PCC 6803 is triggered by excited-state motions of the canthaxanthin chromophore that yield a twisted and bent conformation. Well-tempered metadynamics simulations reveal that a bicycle-pedal configuration, due to twisting of the two adjacent C=C bonds at the C13−C14 and C15−C15′ positions in the center of canthaxanthin’s π-conjugated isoprenoid backbone, can be accommodated by the binding site in the OCP, with the energy of a captured photon required to cross the local activation energy barriers from the dark equilibrium structure. The bicycle-pedal configuration breaks the conserved hydrogen-bonding interactions between the carbonyl substituent of the β-ionone end ring of canthaxanthin and the adjacent W288 and Y201 residues in the C-terminal domain. The action spectra are modulated by the vibronic excitation prepared by absorption transitions to the S 2 state, indicating that the photoactivation reactions are triggered by the canthaxanthin chromophore well prior to vibrational equilibration. These findings show that an ultrafast structural response of the OCP protein to the excited-state motions of the canthaxanthin chromophore controls the photoactivation yield and the sensing of blue light.

Fluorescence↗
DOE OSTI2025

Equation of state of boron carbide B 4 ⁢C

We present the results of recent experiments conducted on the Sandia Z machine and a new tabular equation of state for B 4 ⁢C. The equation of state was calibrated to a combination of density functional calculations reported here and fits to preexisting data. It was constructed partly to recover the effects of a shock-driven, polymorphic phase transition of unknown character beginning at particle velocities of just under 3 km/s (shock pressures of 95 GPa). Some of the Z experiments included sound speeds determined by the overtaking rarefaction method, from which we calculate the Grüneisen parameter and compare with previous experiments conducted at the OMEGA laser [Fratanduono et al ., Phys. Rev. B 94 , 184107 (2016)], our own first principles calculations, and another recent tabular equation of state [Zhang et al ., Phys. Rev. E 102 , 053203 (2020)]. We also compare our results with previous static compression, thermophysical, and melt studies, finding mixed consistency. We predict the onset and completion of shock melting at 225 and 265 GPa, respectively, and predict a melt curve that is largely flat to pressures of several hundred GPa.

36 MATERIALS SCIENCE↗
DOE OSTI2026

Machine-learned quantum molecular dynamics calculations of warm dense equation of state and ionic transport coefficients of deuterated water

White dwarf models require accurate equations of state and ionic transport coefficients in the warm dense matter regime, where kinetic theory models and tabulated equations of state are often inaccurate. In this work, spectral-partitioned density functional theory and machine-learned interatomic potentials are combined to perform large-scale, first-principles quantum molecular dynamics simulations of deuterated water (D 2 O) near the principal Hugoniot. This approach retains Kohn-Sham accuracy while achieving orders-of-magnitude speedup, yielding converged equation of state and transport properties over a broad pressure and temperature range. The results reveal the thermodynamic conditions under which ionic transport models for interdiffusivity and shear viscosity converge and identify those in closest agreement with density functional theory benchmarks at temperatures in the warm dense matter regime. The present framework extends first-principles transport calculations to higher temperatures than previously achieved, and provides an efficient, scalable, and general approach for studying transport properties in complex multicomponent mixtures.

79 ASTRONOMY AND ASTROPHYSICS↗
DOE OSTI2025

Spontaneous Localization at a Potential Saddle Point from Edge State Reconstruction in a Quantum Hall Point Contact

Quantum point contacts (QPCs) are an essential component in mesoscopic devices. Here, in this work, we study the transmission of quantum Hall edge modes through a gate-defined QPC in monolayer graphene. We observe resonant tunneling peaks and a nonlinear conductance pattern characteristic of Coulomb-blockaded localized states. The in-plane electric polarizability reveals the states are localized at a classically unstable electrostatic saddle point. We explain this unexpected finding within a self-consistent Thomas-Fermi model, finding that localization of a zero-dimensional state at the saddle point is favored whenever the applied confinement potential is sufficiently soft compared to the Coulomb energy. Our results provide a direct demonstration of Coulomb-driven reconstruction at the boundary of a quantum Hall system.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2025

AC to AC Solid State Transformer with Bidirectional Switches

This report details the work of the 3-year project for the AC-to-AC Solid State Transformer with Bidirectional Switches project devoted to developing and demonstrated a Type I Solid State Transformer. This report details the design, fabrication, and evaluation of both three-phase and single-phase versions of this solid state transformer operating as a single module, modules in parallel, and modules in cascade. Additionally, this report details the fabrication and evaluation of custom Silicon Carbide bidirectional switches to enable this topology with a comparison between monolithically integrated bidirectional switches as well as co-packaged back-to-back unidirectional devices. Finally, results for custom-fabricated Fe 4 N/ferrite laminated toroidal cores for high frequency transformers are present.

42 ENGINEERING↗
DOE OSTI2024

Triplet Exciton Sensitization of Silicon Mediated by Defect States in Hafnium Oxynitride

Singlet exciton fission has the potential to increase the efficiency of crystalline silicon solar cells beyond the conventional single junction limit. Perhaps the largest obstacle to achieving this enhancement is uncertainty about energy coupling mechanisms at the interfaces between silicon and exciton fission materials such as tetracene. Here, the previously reported silicon‐hafnium oxynitride‐tetracene structure is studied and a combination of magnetic‐field‐dependent silicon photoluminescence measurements and density functional theory calculations is used to probe the influence of the interlayer composition on the triplet transfer process across the hafnium oxynitride interlayer. It is found that hafnium oxide interlayers do not show triplet exciton sensitization of silicon, and that nitrogen content in hafnium oxynitride layers is correlated with enhanced sensitization. Calculation results reveal that defects in hafnium oxynitride interlayers with higher nitrogen content introduce states close to the band‐edge of silicon, which can mediate the triplet exciton transfer process. Some defects introduce additional deleterious mid‐gap states, which may explain observed silicon photoluminescence quenching. These results show that band‐edge states can mediate the triplet exciton transfer process, potentially through a sequential charge transfer mechanism.

36 MATERIALS SCIENCE↗
DOE OSTI2026

Electron-impact ionization from excited states method

We present a distorted-wave with exchange (DWE) formulation for computing electron-impact ionization (EII) cross sections within the recently developed excited states method (ESM) for plasmas. The ESM provides a self-consistent quantum-mechanical description of both bound and continuum electronic states in dense plasmas, incorporating finite-temperature and screening effects absent in isolated-atom approaches. Using this framework, we calculate EII cross sections for lithium across a wide range of temperatures and densities. We show that the ESM reproduces the isolated-atom limit at low densities while capturing strong plasma effects, such as pressure ionization and shape resonances, at solid density. Comparisons with isolated-atom DWE and average-atom (AA) calculations reveal that, although AA cross sections can approximate configuration average behavior, the ESM provides more accurate, state-resolved answers. In conclusion, these results demonstrate that the ESM allows one to obtain rate coefficients for collisional-radiative modeling of plasmas out of local thermodynamical equilibrium.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2025

Deciphering volume changes in Li-S solid-state battery components during cycling: Implication for advanced battery design

Here, in this work, we developed custom fixtures to investigate the mechanical and electrochemical behavior of all-solid-state lithium batteries during cycling under constant pressure and constant volume conditions. We successfully monitored vertical displacements during constant pressure cycling and pressure variations during constant volume cycling, allowing us decouple volume changes in the sulfur, Li 2 S cathodes, LixIn anode, and solid-state electrolyte. Scanning electron microscopy and electrochemical impedance spectroscopy confirmed that two structural changes occur during ASSLB cycling: (1) irreversible fractures in the active material particles, and (2) void formation within the electrode matrix. While the fractures in primary particles are permanent, void formation can be mitigated through stack pressure, which promotes particle rearrangement in the electrode matrix. Our findings emphasize the importance of stack pressure in maintaining the microscale integrity of all-solid-state lithium batteries, preventing void formation and enhance battery performance and durability.

Cell Design↗