Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “state charts”

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 19 records
All sourcesNASA NTRSDOE OSTI
DOE OSTI2022

Formal verification and validation of run-to-completion style state charts using Event-B

State chart notations with ‘run to completion’ semantics are popular with engineers for designing controllers that react to environment events with a sequence of state transitions but lack formal refinement and rigorous verification methods. State chart models are typically used to design complex control systems that respond to environmental triggers with a sequential process. The model is usually constructed at a concrete level and verified and validated using animation techniques relying on human judgement. Event-B, on the other hand, is based on refinement from an initial abstraction and is designed to make formal verification by automatic theorem provers feasible. Abstraction and formal verification provide greater assurance that critical (e.g. safety or security) properties are not violated by the control system. In this paper, we introduce a notion of refinement into a ‘run to completion’ state chart modelling notation and leverage Event-B’s tool support for theorem proving. We describe the difficulties in translating ‘run to completion’ semantics into Event-B refinements and suggest a solution. We illustrate our approach and show how models can be validated at different refinement levels using our scenario checker animation tools. We show how critical invariant properties can be verified by proof despite the reactive nature of the system and how behavioural aspects of the system can be verified by testing the expected reactions using a temporal logic, model checking approach. To verify liveness, we outline a proof that the run to completion is deadlock-free and converges to complete the run.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2025

Charting the state of GEMs in microalgae: progress, challenges, and innovations

Genome-scale metabolic models (GEMs) provide a systems-level framework for understanding and engineering microalgal metabolism. This review explores the evolution of GEMs in microalgae, highlighting advances in light modeling, automation, and multi-omics integration. Special emphasis is placed on Chlamydomonas reinhardtii as a model species. Limitations of current models, particularly for microalgae, are discussed, alongside promising developments in dynamic modeling and machine learning. Together, these innovations chart a path toward more predictive, adaptable GEMs that can accelerate biotechnological applications of microalgae in sustainable production systems.

Plant Sciences↗
DOE OSTI2015

Metastable states of plasma particles close to a charged surface

The free energy of the plasma particles and the charged surface that form an electroneutral system is calculated on the basis of the Poisson-Boltzmann equation. It is shown that, owing to correlation of light plasma particles near the charged surface and close to heavy particles of high charge, there can be metastable states in plasma. The corresponding phase charts of metastable states of the separate components of plasma, and plasma as a whole, are constructed. These charts depend on temperature, the charge magnitude, the size of the particles, and the share of the charge of the light carriers out of the total charge of the plasma particles.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2024

Elucidating Polymer Binder Entanglement in Freestanding Sulfide Solid-State Electrolyte Membranes

This study advances the development of flexible, sheet-type sulfide solid-state electrolytes (SSEs) for use in all-solid-state batteries, emphasizing the important and previously insufficiently investigated role of polymer binder entanglement. Here, the molecular weight of polymer binders is pivotal in crafting robust, freestanding SSE films. Our research uncovers a dual impact: higher molecular weight binders bolster the structural integrity of SSE films but elevate grain boundary resistance and diminish critical current density, whereas lower molecular weight poly(isobutylene) films, despite their more uniform distribution, lack the essential strain hardening or strength for sustained active material contact. Crucially, full cells employing higher molecular weight binders demonstrate improved discharge capacity retention, contrasting sharply with the notable capacity degradation in lower molecular weight cells. Our findings not only deepen the comprehension of binder influences in solid-state batteries but also chart a course for refining all-solid-state battery technologies, a key stride for the future of energy storage solutions.

25 ENERGY STORAGE↗
DOE OSTI2023

Suspending democratic (dis)belief: Nonliberal energy polities of solar power in Morocco and Tanzania

This paper proposes the concept of technodemocratic imaginaries (TDIMs) to supplement the widely-used framework of sociotechnical imaginaries (STIMs) for analyzing nonliberal political contexts in energy social science research. Taking the power of coproductionist analysis of STIMs seriously, TDIMs highlight the inherent instabilities within overarching STIMs by arguing that not only are particular groups marginalized and excluded but that they continue to practice and mobilize their own imaginaries of collective governance and justice vis-à-vis energy systems. In contrast, the existing idea of contested STIMs, in which a shared mode of knowledge politics undergirds different imaginaries, casts aside subaltern modes of political engagement and knowledge-making. TDIMs expand conceptions of democracy to include shared practices of credibility in nonliberal political orders. The intent is not to promote democratic relativism but rather to ask scholars and international energy-access practitioners to suspend their democratic disbelief when studying energy matters in so-called nonliberal contexts. We develop the concept of TDIMs by comparing two African nation-states–Morocco and Tanzania–to show how the states and subaltern groups do (or do not) develop TDIMs related to solar power. While international governance organizations often portray Morocco as authoritarian and Tanzania corrupt, each state differently experienced colonization and decolonization and practices different relationships with domestic subaltern groups. Whereas low-income citizens and indigenous groups seek integration into the Moroccan state’s STIM, the Maasai in Tanzania chart their own TDIM separate from the state and international development groups.

14 SOLAR ENERGY↗
DOE OSTI2017

Nuclear Physics Around the Unitarity Limit

We argue that many features of the structure of nuclei emerge from a strictly perturbative expansion around the unitarity limit, where the two-nucleon S waves have bound states at zero energy. In this limit, the gross features of states in the nuclear chart are correlated to only one dimensionful parameter, which is related to the breaking of scale invariance to a discrete scaling symmetry and set by the triton binding energy. Observables are moved to their physical values by small perturbative corrections, much like in descriptions of the fine structure of atomic spectra. We provide evidence in favor of the conjecture that light, and possibly heavier, nuclei are bound weakly enough to be insensitive to the details of the interactions but strongly enough to be insensitive to the exact size of the two-nucleon system.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2020

A Dynamic Contingency Analysis Visualization Tool

We are developing a web-based visualization that shows the results of running a contingency analysis on a power grid system. Power grid analysists will be able to use this tool to visualize power event simulations and be better prepared for contingencies that may arise. The tool consists of a map, showing the power grid and its current state, and tables and charts showing the current status of various elements on the grid. The user can iterate over a number of cascading contingencies to visualize how the power grid will change under various scenarios.

Contingency analysis, power grid, smart grid, visu↗
DOE OSTI2022

First observation of the decay of the 13/2 + isomer in 183 Hg and B(M 2) systematics of neutron transitions across the nuclear chart

The decay of the 13/2 + isomeric state in 183 Hg was observed for the first time following the a decay of the 13/2 + isomer in 187 Pb produced in the 142 Nd( 50 Cr, 2p3n) reaction. Using $\alpha - \gamma$ delayed coincidence measurements, the half-life of this isomer was measured to be 290(30) μs. This isomer is proposed to deexcite by an unobserved low-energy M2 transition to the known 9/2 - member of a strongly prolate-deformed 7/2 - [514] band, followed by a 105-keV M1 transition to the bandhead. A lower limit of B(M2) >= 0.018 W.u. was deduced for the unobserved transition. The presumed retardation is proposed to be due to the notable shape change between the initial, nearly spherical, and the final, strongly deformed, states. A similar scenario is also considered for the 13/2 + isomer in 181 Hg, suggesting both are cases of shape isomers. The B(M2) systematics of neutron transitions across the nuclear chart is discussed.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2014

Impact of quantum entanglement on spectrum of cosmological fluctuations

We investigate the effect of entanglement between two causally separated open charts in de Sitter space on the spectrum of vacuum fluctuations. We consider a free massive scalar field, and construct the reduced density matrix by tracing out the vacuum state for one of the open charts, as recently derived by Maldacena and Pimentel. We formulate the mean-square vacuum fluctuations by using the reduced density matrix and show that the scale invariant spectrum of massless scalar field is realized on small scales. On the other hand, we find that the quantum entanglement affects the shape of the spectrum on large scales comparable to or greater than the curvature radius.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2022

Emergence of an island of extreme nuclear isomerism at high excitation near 208 Pb

Metastable states with $T_{1/2}$ = 8(2) ms in 205Bi and $T_{1/2}$ = 0.22(2) ms in 204 Pb, with ≈ 8 MeV excitation energy and angular momentum ≥ 22 $\hbar$, have been established. These represent, by up to two orders of magnitude, the longest-lived nuclear states above an excitation energy of 7 MeV, ever identified in the nuclear chart. Additionally, the half-life of the 10.17 MeV state in 206 Bi has been determined to be 0.027(2) ms, the next highest value in this highly excited regime. These observations indicate the emergence of an island of extreme nuclear isomerism arising from core-excited configurations at high excitation in the vicinity of the doubly closed-shell nucleus 208 Pb. These results are expected to provide discriminating tests of the effective interactions used in current large-scale shell-model calculations.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2025

Abrupt structural transition in exotic molybdenum isotopes unveils an isospin-symmetric island of inversion

Like electrons in atoms, protons and neutrons in nuclei occupy orbitals in a shell structure with energy gaps at magic numbers. Radioactive-beam experiments revealed the disappearance of magic numbers in some neutron-rich isotopes. In these nuclei, configurations involving particles excited across the shell gap gain correlation energy, becoming the ground state. Neutron-rich regions of the nuclear chart that exhibit this property are known as “Islands of Inversion”. Here we present the lifetime measurement of the first 2 + states in 84 Mo (N = Z) and 86 Mo (N = Z + 2) revealing an unexpected sharp structural change between them defining the edge of the region of deformation around 80 Zr. Similarly to the neutron-rich N = 40 Island of Inversion near 64 Cr where cross-shell excitations dominate, we identify this region as an Island of Inversion with symmetrical proton and neutron excitations that we term “Isospin-Symmetric Island of Inversion”. Three-nucleon forces are suggested to drive Mo isotope structural changes.

experimental nuclear physics↗
DOE OSTI2019

Toward scalable many-body calculations for nuclear open quantum systems using the Gamow Shell Model

Drip-line nuclei have very different properties from those of the valley of stability, as they are weakly bound and resonant. Therefore, the models devised for stable nuclei can no longer be applied therein. Hence, a new theoretical tool, the Gamow Shell Model (GSM), has been developed to study the many-body states occurring at the limits of the nuclear chart. GSM is a configuration interaction model based on the use of the so-called Berggren basis, which contains bound, resonant and scattering states, so that inter-nucleon correlations are fully taken into account and the asymptotes of extended many-body wave functions are precisely handled. However, large complex symmetric matrices must be diagonalized in this framework, therefore the use of very powerful parallel machines is needed therein. So, in order to fully take advantage of their power, a 2D partitioning scheme using hybrid MPI/OpenMP parallelization has been developed in our GSM code. The specificities of the 2D partitioning scheme in the GSM framework will be described and illustrated with numerical examples. It will then be shown that the introduction of this scheme in the GSM code greatly enhances its capabilities.

2D partitioning↗
DOE OSTI2013

Bispectrum from open inflation

We calculate the bispectrum of primordial curvature perturbations, ζ, generated during ''open inflation.'' Inflation occurs inside a bubble nucleated via quantum tunneling from the background false vacuum state. Our universe lives inside the bubble, which can be described as a Friedmann-Lemaȋtre-Robertson-Walker (FLRW) universe with negative spatial curvature, undergoing slow-roll inflation. We pay special attention to the issue of an initial state for quantum fluctuations. A ''vacuum state'' defined by a positive-frequency mode in de Sitter space charted by open coordinates is different from the Euclidean vacuum (which is equivalent to the so-called ''Bunch-Davies vacuum'' defined by a positive-frequency mode in de Sitter space charted by flat coordinates). Quantum tunneling (bubble nucleation) then modifies the initial state away from the original Euclidean vacuum. While most of the previous study on modifications of the initial quantum state introduces, by hand, an initial time at which the quantum state is modified as well as the form of the modification, an effective initial time naturally emerges and the form is fixed by quantum tunneling in open inflation models. Therefore, open inflation enables a self-consistent computation of the effect of a modified initial state on the bispectrum. We find a term which goes as (ζ{sub k{sub 1}}ζ{sub k{sub 2}}ζ{sub k{sub 3}})∝1/k{sub 1}{sup 2}k{sub 3}{sup 4} in the so-called squeezed configurations, k{sub 3} << k{sub 1} ≈ k{sub 2}, in agreement with the previous study on modifications of the initial state. The bispectrum in the exact folded limit, e.g., k{sub 1} = k{sub 2}+k{sub 3}, is also enhanced and remains finite. However, these terms are exponentially suppressed when the wavelength of ζ is smaller than the curvature radius of the universe. The leading-order bispectrum is equal to the usual one from single-field slow-roll inflation; the terms specific for open inflation arise only in the sub-leading order when the wavelength of ζ is smaller than the curvature radius.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗
DOE OSTI2022

Psychrometric Chart v1.0.0

Psychart is a graphical program developed for NERSC for accurately monitoring air conditions for the air cooled HPC equipment. Psychart will live directly in the OMNI system as a Grafana plugin. It employs the use of Psychrolib and the Grafana Starter Panel to create a front-end program that plots the state of the environmental air on a psychrometric chart. It is highly customizable, allowing the user to modify graph bounds, optionally show ASHRAE data center comfort regions, change the series point color, and more. What sets Psychart apart from other existing psychrometric charts is its ability to plot in real-time. Other psychrometric charts that can be found online require manual input of data and do not seamlessly integrate with Grafana.

Ventura, Nicolas↗
DOE OSTI2021

Updated systematics of intermediate-energy single-nucleon removal cross sections

The body of experimental measurements of intermediate-energy reactions that remove a single nucleon from a secondary beam of neutron- or proton-rich nuclei continues to grow. These data have been analyzed consistently using an approximate, eikonal-model treatment of the reaction dynamics combined with appropriate shell-model descriptions of the projectile initial state, the bound final states spectrum of the reaction residue, and single-particle removal strengths computed from their wave-function overlaps. Here, the systematics of the ratio R s of the measured inclusive cross section to all bound final states and the calculated cross section to bound shell-model states—in different regions of the nuclear chart and involving both very weakly bound and strongly bound valence nucleons—is important in relating the empirically deduced orbital occupancies to those from the best available shell-model predictions. Importantly, several new higher-energy measurements, for which the sudden-approximation aspect of the dynamical description is placed on an even stronger footing, now supplement the previously analyzed measurements. These additional data sets are discussed. Their R s values are shown to conform to and reinforce the earlier-observed systematics, with no indication that the approximately linear reduction in R s with increasing nucleon separation energy is a consequence of a breakdown of the sudden approximation.

73 NUCLEAR PHYSICS AND RADIATION PHYSICS↗
DOE OSTI2020

Bioenergy Technologies Office 2019 R&D State of Technology

The U.S. Department of Energy’s Bioenergy Technologies Office funds research and development on technologies necessary for the deployment and production of cost-competitive bioenergy, primarily biofuels. Results of experimental efforts are periodically compiled and compared with benchmark technology designs to assess overall progress. This report provides a status of those R&D efforts at the end of 2019. This report first describes the approach for assessing progress followed by specific technology pathway configurations within which progress is charted. Each pathway configuration is described separately and the state of technology progress is presented for the combined pathway as well as for pathway components. Detailed component descriptions reference technology barriers and challenges that are detailed in the appendix.

09 BIOMASS FUELS↗
DOE OSTI2022

Bioenergy Technologies Office: R&D State of Technology 2020

The U.S. Department of Energy’s Bioenergy Technologies Office (BETO) funds research and development (R&D) on technologies necessary for the deployment and production of cost competitive bioenergy, primarily biofuels. Results of experimental efforts are periodically compiled and compared with benchmark technology designs to assess overall progress. This report provides a status of those R&D efforts at the end of 2020. This report first describes the approach for assessing progress, followed by specific technology pathway configurations within which progress is charted. Each pathway configuration is described separately and the state of technology progress is presented for the combined pathway, as well as for pathway components. Detailed component descriptions reference technology barriers and challenges that are detailed in the appendix.

09 BIOMASS FUELS↗
DOE OSTI2019

Electricity Cost for Electric Vehicle Fast Charging

As the adoption of plug-in electric vehicles (PEVs) continues to grow, so does the development of a network of fast-charging stations to support long-distance travel and provide alternatives to residential and workplace charging. Fast charging, however, could be significantly more expensive than residential/workplace charging, mainly due to high power consumption and low utilization. This poster highlights NREL's review of the current cost of electricity for PEV fast charging in the United States as well as its evaluation of alternative charting options to mitigate electricity costs for public fast-charging stations via on-site electricity generation (from photovoltaics) and storage.

25 ENERGY STORAGE↗