Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Green function”

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 847 records · Page 47
All sourcesNASA NTRSDOE OSTI
DOE OSTI2025

Enhancing occupant behavior representation for interoperability between building information modeling and building energy modeling

Building Performance Simulation (BPS) has been adopted as an essential tool for designing, operating, and retrofitting buildings to optimize energy efficiency throughout the building life cycle. The Green Building XML (gbXML) schema facilitates seamless data exchange between Building Information Modeling (BIM) and Building Energy Modeling (BEM) software tools. However, limited occupant behavior (OB) representation in BIM often leads to inconsistent and inaccurate energy simulation in BEM software. This paper presents 154 systematic enhancements to the existing occupant behavior XML (obXML) schema v1.3.4, initially developed for standardizing OB representation for BEM, to address existing limitations and improve interoperability with BIM models. The enhancements encompass improved integration with BIM models through extended building representations and system operations, expanded support for advanced OB models with additional environmental parameters and mathematical capabilities, and implementation of a standardized model documentation framework. To facilitate seamless data transformation between gbXML and obXML schemas, we developed a publicly available gb-obXML Schema Converter. Three case studies demonstrate the enhanced schema’s capabilities: representation of building information using a two-story office building model, documentation of a window operation behavior model, and validation of the schema converter’s functionality. The enhanced obXML schema v1.4 enables sophisticated modeling of occupant-building interactions while maintaining consistency with industry-standard BIM schemas. The standardized documentation framework facilitates reproducibility and knowledge sharing in the OB research community, while the schema converter automates the integration of building information into OB simulation workflows. These enhancements establish a foundation for more accurate building performance simulation by supporting sophisticated representation of occupant behavior within the BIM-to-BEM simulation workflows.

Chung, Jihoon↗
DOE OSTI2026

Engineering Anti-Microbial Peptide Production in Fungi and Bioprocess Development (CRADA 502)

Crop Protection, specifically controlling agricultural diseases and pests, is essential for crop production at every agricultural scale. Biologics hold enormous potential in this equation to decrease use of more toxic pesticides. Currently, the widespread use of biologics in crop protection is severely hampered by the lack of available tools for their mass production. To ensure biologics are regulated under EPA Biopesticide regulations, the following must be true: The biopesticide is a naturally occurring substance or structurally similar and functionally identical to a naturally occurring substance with a history of exposure to humans and the environment demonstrating minimal toxicity. Since this pertains to the marketed product it is also essential that fermentation hosts have a history of exposure and safe use by humans This research focuses on developing a novel platform for the production and delivery of the cghSAMP peptide using the filamentous fungus Aspergillus niger. A. niger is a well-established industrial microorganism, widely recognized for its strong protein secretion capabilities, high-yield production of enzymes, and classification as a generally recognized as safe (GRAS) organism. By genetically modifying A. niger to express the cghSAMP peptide transgene, we aim to leverage the fungus's robust fermentation system to produce a high volume of the antimicrobial agent. This engineered system represents a potential breakthrough in sustainable disease management, offering an environmentally friendly method for localized application or large-scale production of a biopesticide designed to mitigate the effects of citrus greening disease. The main objectives of this project were: 1. Developing a high-yield and cost-efficient bioprocess to produce an AMP in a current ABF host or readily onboarded hosts. 2. Scale up the process in stirred tank reactors and produce at least 100 grams of AMP at 1- 5g/L

60 APPLIED LIFE SCIENCES↗
DOE OSTI2026

Universal progression of structure and dynamics in colloidal nanocrystal gels during salt-accelerated aging

Controlling the structure and function of colloidal gels requires a detailed understanding of how the various components govern network formation and aging. In particular, molecular additives like salts are widely used to tune interparticle interactions, yet their influence on gelation pathways in complex systems such as colloidal nanocrystal gels remains inadequately understood. Here, we investigate how noncoordinating salts modulate the evolution of gels formed using chemically linked tin-doped indium oxide nanocrystals. Through combined structural, dynamic, and kinetic analyses, we demonstrate that increasing salt concentration accelerates gelation. When rescaled by salt-dependent characteristic times, the evolution collapses onto universal trajectories, revealing a time-salt superposition principle. The universality extends across length scales, suggesting a consistent salt-dependent mechanism that controls both local structuring and macroscopic network formation. This observed salt modulation of structure and dynamics provides a predictive basis for controlling the kinetics of nonequilibrium nanocrystal gel assembly, enhancing the rational design of functional nanomaterials with tunable properties.

36 MATERIALS SCIENCE↗
DOE OSTI2025

Sensitized Near-Infrared Emission of SiGe Nanocrystals via Heterostructuring with Quasi Two-Dimensional Perovskite

The near-infrared (NIR) emission of silicon–germanium alloy nanocrystals (SiGe NCs) was sensitized by heterostructuring with a quasi two-dimensional (Q-2D) perovskite (CsPbBr 3 blended with butylammonium bromide (BABr)). Colloidal SiGe NCs were synthesized by using a nonthermal plasma method with chloride precursors. As-synthesized SiGe NCs showed no detectable photoluminescence (PL). Embedding the SiGe NCs within the perovskite matrix via spin coating led to a heterostructure exhibiting dual emissions: green emission at 520 nm from the perovskite and NIR emission at 1035 nm from the SiGe NCs. Time-integrated and resolved PL measurements and transient absorption spectroscopy revealed energy transfer from the perovskite to the SiGe NCs, which sensitized the NIR emission from the SiGe NCs and quenched the green PL for the perovskite. These results demonstrate that Ge alloying can effectively tune the bandgap of Si NCs and highlight the feasibility of heterostructuring perovskites and photoluminescent NCs to enhance or activate their PL. In conclusion, this approach broadens their potential applications in the NIR region.

36 MATERIALS SCIENCE↗
DOE OSTI2026

Connecting Current and Future Dual Active Galactic Nucleus Searches to LISA and Pulsar Timing Array Gravitational-wave Detections

Abstract Dual active galactic nuclei (DAGN) mark the observable stage of massive black hole (MBH) pairing during galaxy mergers and are the progenitors of the MBH binaries that generate low-frequency gravitational waves. Using the large-volume ASTRID cosmological simulation, we construct mock DAGN catalogs tailored to the selection functions of current (COSMOS-Web and DESI) and forthcoming (Nancy Grace Roman Space Telescope (Roman) and Lynx X-ray Observatory (Lynx)) surveys, enabling direct comparisons between simulations and observations. With realistic observational selections, ASTRID reproduces the observed dual fractions, projected separations, and host-galaxy properties across redshifts. We predict a substantial population of small-separation (<5 kpc) duals that remain inaccessible to current surveys, demonstrating that the apparent paucity of subkiloparsec systems in COSMOS-Web is primarily a consequence of observational selection rather than an intrinsic absence. Following each simulated dual to coalescence, we show that DAGN are effective tracers of MBH mergers: ∼30%–70% merge within ≲1 Gyr, and 20%–60% of these mergers produce gravitational-wave signals detectable by the Laser Interferometer Space Antenna (LISA). Duals observable with Roman and Lynx are the progenitors of ∼10%–50% of low-redshift LISA sources and contribute ∼30% of the PTA-band stochastic gravitational-wave background. We further identify massive green-valley galaxies hosting moderate-luminosity active galactic nuclei (AGN), together with massive star-forming galaxies containing bright quasars at z > 1, as the environments most likely to host imminent MBH binaries. These results establish a unified cosmological framework connecting DAGN demographics, MBH binary evolution, and gravitational-wave sources, while identifying high-priority targets for coordinated electromagnetic and multimessenger observations in the coming decade.

Chen, Nianyi [Max-Planck-Institut für Astrophysik;↗
DOE OSTI2023

Large language models generate functional protein sequences across diverse families

Deep-learning language models have shown promise in various biotechnological applications, including protein design and engineering. Here, in this paper, we describe ProGen, a language model that can generate protein sequences with a predictable function across large protein families, akin to generating grammatically and semantically correct natural language sentences on diverse topics. The model was trained on 280 million protein sequences from >19,000 families and is augmented with control tags specifying protein properties. ProGen can be further fine-tuned to curated sequences and tags to improve controllable generation performance of proteins from families with sufficient homologous samples. Artificial proteins fine-tuned to five distinct lysozyme families showed similar catalytic efficiencies as natural lysozymes, with sequence identity to natural proteins as low as 31.4%. ProGen is readily adapted to diverse protein families, as we demonstrate with chorismate mutase and malate dehydrogenase.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2022

RCSB Protein Data Bank (RCSB.org): delivery of experimentally-determined PDB structures alongside one million computed structure models of proteins from artificial intelligence/machine learning

Abstract The Research Collaboratory for Structural Bioinformatics Protein Data Bank (RCSB PDB), founding member of the Worldwide Protein Data Bank (wwPDB), is the US data center for the open-access PDB archive. As wwPDB-designated Archive Keeper, RCSB PDB is also responsible for PDB data security. Annually, RCSB PDB serves >10 000 depositors of three-dimensional (3D) biostructures working on all permanently inhabited continents. RCSB PDB delivers data from its research-focused RCSB.org web portal to many millions of PDB data consumers based in virtually every United Nations-recognized country, territory, etc. This Database Issue contribution describes upgrades to the research-focused RCSB.org web portal that created a one-stop-shop for open access to ∼200 000 experimentally-determined PDB structures of biological macromolecules alongside >1 000 000 incorporated Computed Structure Models (CSMs) predicted using artificial intelligence/machine learning methods. RCSB.org is a ‘living data resource.’ Every PDB structure and CSM is integrated weekly with related functional annotations from external biodata resources, providing up-to-date information for the entire corpus of 3D biostructure data freely available from RCSB.org with no usage limitations. Within RCSB.org, PDB structures and the CSMs are clearly identified as to their provenance and reliability. Both are fully searchable, and can be analyzed and visualized using the full complement of RCSB.org web portal capabilities.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2025

Intrinsic bulk viscosity of the one-component plasma

The intrinsic bulk viscosity of the one-component plasma (OCP) is computed and analyzed using equilibrium molecular dynamics simulations and the Green-Kubo formalism. It is found that bulk viscosity exhibits a maximum at Γ ≈ 1, corresponding to the condition that the average kinetic energy of particles equals the potential energy at the average interparticle spacing. The weakly coupled and strongly coupled limits are analyzed and used to construct a model that captures the full range of coupling strengths simulated: Γ ≈ 10 –2 –10 2 . Simulations are also run of the Yukawa one-component plasma (YOCP) in order to understand the impact of electron screening. It is found that electron screening leads to a smaller bulk viscosity due to a reduction in the excess heat capacity of the system. Bulk viscosity is shown to be at least an order of magnitude smaller than shear viscosity in both the OCP and YOCP. The generalized frequency-dependent bulk viscosity coefficient is also analyzed. This is found to exhibit a peak near twice the plasma frequency in strongly coupled conditions, which is associated with the oscillatory decay observed in the bulk viscosity autocorrelation function. As a result, the generalized shear and bulk viscosity coefficients are found to have a similar magnitude for ω ≳ 2⁢ω p at strongly coupled conditions.

70 PLASMA PHYSICS AND FUSION TECHNOLOGY↗
DOE OSTI2023

Characterization and molecular simulation of lignin in Cyrene pretreatment of switchgrass

Biomass-derived solvents have been proposed as a novel pathway in biorefining for the realization of biofuels and bioproducts derived from lignocellulosic biomass. Cyrene derived from cellulose has recently been shown to have a high potential as a green organic solvent for pretreating poplar biomass. However, due to its high dynamic viscosity nature, high Cyrene concentration could cause negative effects on the sugar release of the pretreated biomass as well as driving up the operational cost of the lignin recovery. In this study, we combine experimental and computational approaches to examine the impact of Cyrene pretreatment with reduced Cyrene concentration under mild conditions on switchgrass lignin. Our experimental studies indicated correlation between pretreatment condition and recovery and structure modification of lignin. Switchgrass lignin extracted by Cyrene pretreatment possessed high preservation of β-O-4 ether inter-unit linkage, which could provide versatility in the integration of downstream lignin valorization into the modern biorefinery industries. Molecular modeling examining the solvation of switchgrass lignin polymer and the disaggregation of low-molecular weight lignin aggregates under pretreatment conditions indicated that a preferential interaction exists between Cyrene and lignin, which likely drives lignin release, and that the disruption of inter-lignin contacts can be modulated as a non-monotonic function of Cyrene : water ratio. Further, while Cyrene–lignin interactions permit the solubilization of lignin, simulations with proxy reactive-species reveal that changes to the diffusion of these reactive proxies and their localization near linkage sites under Cyrene conditions may inhibit chemical processes. In conclusion, the results indicated that loss of pretreatment efficacy caused by low Cyrene concentration could be compensated by prolonged pretreatment time and high catalyst dosage.

09 BIOMASS FUELS↗
DOE OSTI2023

Large-scale analysis of structural brain asymmetries in schizophrenia via the ENIGMA consortium

Left–right asymmetry is an important organizing feature of the healthy brain that may be altered in schizophrenia, but most studies have used relatively small samples and heterogeneous approaches, resulting in equivocal findings. We carried out the largest case–control study of structural brain asymmetries in schizophrenia, with MRI data from 5,080 affected individuals and 6,015 controls across 46 datasets, using a single image analysis protocol. Asymmetry indexes were calculated for global and regional cortical thickness, surface area, and subcortical volume measures. Differences of asymmetry were calculated between affected individuals and controls per dataset, and effect sizes were meta-analyzed across datasets. Small average case–control differences were observed for thickness asymmetries of the rostral anterior cingulate and the middle temporal gyrus, both driven by thinner left-hemispheric cortices in schizophrenia. Analyses of these asymmetries with respect to the use of antipsychotic medication and other clinical variables did not show any significant associations. Assessment of age- and sex-specific effects revealed a stronger average leftward asymmetry of pallidum volume between older cases and controls. Case–control differences in a multivariate context were assessed in a subset of the data (N = 2,029), which revealed that 7% of the variance across all structural asymmetries was explained by case–control status. Subtle case–control differences of brain macrostructural asymmetry may reflect differences at the molecular, cytoarchitectonic, or circuit levels that have functional relevance for the disorder. Reduced left middle temporal cortical thickness is consistent with altered left-hemisphere language network organization in schizophrenia.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2026

Third moments of nucleon unpolarized, polarized, and transversity parton distribution functions from physical-point lattice QCD

Using forward matrix elements of local leading-twist operators, we present a determination of the isovector third Mellin moments ⟨𝑥 2 ⟩ of nucleon unpolarized, polarized, and transversity parton distribution functions. Two lattice QCD ensembles at the physical pion mass are used, which were generated using a tree-level Symanzik-improved gauge action and 2+1 flavor tree-level improved Wilson Clover fermions coupling via 2-level HEX-smearing. Leveraging a wide set of operators, two extraction methods for the matrix elements, and the automatic inclusion of model uncertainties via bootstrapped model averages, we extract values of the third Mellin moments. Furthermore, this is the first direct calculation of these observables performed at the physical pion mass.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2025

Operator origin of anomalous dimensions in de Sitter space

The late-time limit of the power spectrum for heavy (principal series) fields in de Sitter (dS) space yields a series of polynomial terms with complex scaling dimensions. Such scaling behavior is expected to result from an associated operator with a complex dimension. In a free theory, these complex dimensions are known to match the constraints imposed by unitarity on the space of states. Yet, perturbative corrections to the scaling behavior of operators are naively inconsistent with unitary evolution of the quantum fields in dS space. This paper demonstrates how to compute one-loop corrections to the scaling dimensions that appear in the two-point function from the field theory description in terms of local operators. We first show how to evaluate these anomalous dimensions using Mellin space, which has the feature that it naturally accommodates a scaleless regulator. We then explore the consequences for the soft de Sitter effective theory (SdSET) description that emerges in the long wavelength limit. Carefully matching between the UV and SdSET descriptions requires the introduction of novel nondynamical “operators” in the effective theory. This is not only necessary to reproduce results extracted from the Källén-Lehmann representation (that use the space of unitary states directly), but it is also required by general arguments that invoke positivity. Published by the American Physical Society 2025

Cohen, Timothy↗
DOE OSTI2023

A Membrane Contactor Enabling Energy-Efficient CO 2 Capture from Point Sources with Deep Eutectic Solvents

We demonstrate a scalable and energy-efficient hollow fiber membrane contactor (HFMC)-based process using a green solvent for CO 2 capture. This process uses a deep eutectic solvent (DES) in an HFMC to provide close interfacial interactions and contact between the DES and CO 2 . This approach overcomes disadvantages associated with direct absorption in DES and could potentially be applied to a variety of solvent-based CO 2 capture methods. Commercial low-cost polymer hollow fiber membranes (e.g., microporous polypropylene) were evaluated for CO 2 capture with reline, a prototypical DES. Single-gas measurements showed that the DES-based polypropylene HFMC can capture and separate CO 2 while rejecting N2. From a mixed gas containing 50 mol % N 2 and 50 mol % CO ν , the DES-based HFMC separated CO 2 with a purity of 96.9 mol %. The effect of several process parameters including solvent flow rate, pressure, and temperature on the CO 2 separation performance was studied. The flux of the recovered CO 2 was 67.43 mmole/m 2 /h at a feed pressure of 4 bar. In situ Fourier transform infrared (FTIR) measurements combined with density functional theory (DFT)-based molecular dynamics simulations revealed that reline absorbs CO 2 by physical absorption without forming a new chemical compound, and CO 2 separation by reline occurs via the pressure swing mechanism. This research provides fundamental insights about physical solvent-based separation processes and a pathway toward practical deployment.

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

Energy Clusters Offshore: A Technology Feasibility Review

Globally, governments, companies, and other organizations have committed to achieving net-zero emissions targets in the coming decades. To achieve decarbonization at the scale and pace required to meet these targets, future energy systems will need renewable energy to serve 100% of the existing direct electricity demand, support additional electrification, and decarbonize the wider economy. An energy cluster offshore (ECO) is a concept that seeks to meet this challenge by integrating and optimizing large-scale renewable electricity generation, storage, and fuel production technologies and pairing them with other complementary uses, such as carbon capture or water desalination. This research project explores the techno-economic feasibility of ECO concepts by taking a holistic view of complex, multidisciplinary hybrid plant designs while considering different configurations and objectives. We will outline the most promising technology combinations and configurations, their functional requirements, and opportunities for optimization.

14 SOLAR ENERGY↗
DOE OSTI2026

Mobility of heavy rare earth elements in magmatic-hydrothermal systems: Experimental determination of DyPO 4 solubility in supercritical fluids

Dysprosium (Dy) is part of the heavy rare earth elements (REE) and a critical component in the production of high-performance super magnets used in wind turbines, electric vehicles, and other green technologies. The HREE phosphate, xenotime, is commonly associated with hydrothermal systems, where the mobility, fractionation, and deposition of REE are controlled by the stability of aqueous complexes and solubility of REE minerals which depend on temperature, pressure, and fluid composition (salinity, pH, and ligand availability). Here, we conducted a series of synthetic DyPO 4 solubility experiments in NaCl-HCl-bearing aqueous solutions (pH of 2 at 25 °C) from 500 to 700 °C and 1.5 kbar using externally heated pressure vessels. DyPO 4 displays a strong prograde solubility with temperature across all studied fluid salinities (0–0.5 m NaCl). The DyPO₄ solubility isotherms at 500 °C, 600 °C, and 700 °C show a complex relationship with salinity where DyPO₄ solubility is highest (39.2–1552 ppm at 500–700 °C) in 0 m NaCl solutions, decreases strongly (21–331 ppm at 500–700 °C) in the 0.06 m NaCl solutions and remains relatively constant in the 0.25 m (42.8–248 ppm) and 0.5 m NaCl (40.2–124 ppm) solutions. Thermodynamic modeling suggests that pH increases as a function of temperature and salinity, and controls solubility due to the stability of chloride complexes (i.e., DyCl +2 and DyCl 2 + ) at 500–600 °C, transitioning to hydroxyl complexes (i.e., Dy(OH) 3 0 ) dominating at 700 °C and relatively alkaline pH. Comparison with NdPO 4 solubility data indicates that the light REE in monazite is significantly more soluble than the heavy REE in xenotime in saline fluids at high temperature (500–700 °C), implying efficient light/heavy REE fractionation in supercritical fluids. The lower solubility of DyPO 4 relative to NdPO 4 suggests that at high temperatures, acidic (pH 2–4), low-salinity (∼5 wt% NaCl) fluids will favor the precipitation of xenotime over monazite as it will cool from 700 °C to below 500 °C. These observations align with paragenetic mineral assemblages in NYF pegmatites (e.g., Baveno, Italy), where xenotime commonly immobilizes heavy REE during the high-temperature hydrothermal stages.

58 GEOSCIENCES↗
DOE OSTI2023

NTRC regulates CP12 to activate Calvin–Benson cycle during cold acclimation

NADPH-dependent thioredoxin reductase C (NTRC) is a chloroplast redox regulator in algae and plants. Here, we used site-specific mutation analyses of the thioredoxin domain active site of NTRC in the green alga Chlamydomonas reinhardtii to show that NTRC mediates cold tolerance in a redox-dependent manner. By means of coimmunoprecipitation and mass spectrometry, a redox- and cold-dependent binding of the Calvin–Benson Cycle Protein 12 (CP12) to NTRC was identified. NTRC was subsequently demonstrated to directly reduce CP12 of C. reinhardtii as well as that of the vascular plant Arabidopsis thaliana in vitro. As a scaffold protein, CP12 joins the Calvin–Benson cycle enzymes phosphoribulokinase (PRK) and glyceraldehyde-3-phosphate dehydrogenase (GAPDH) to form an autoinhibitory supracomplex. Using size-exclusion chromatography, NTRC from both organisms was shown to control the integrity of this complex in vitro and thereby PRK and GAPDH activities in the cold. Thus, NTRC apparently reduces CP12, hence triggering the dissociation of the PRK/CP12/GAPDH complex in the cold. Like the ntrc::aphVIII mutant, CRISPR-based cp12::emx1 mutants also exhibited a redox-dependent cold phenotype. In addition, CP12 deletion resulted in robust decreases in both PRK and GAPDH protein levels implying a protein protection effect of CP12. Both CP12 functions are critical for preparing a repertoire of enzymes for rapid activation in response to environmental changes. This provides a crucial mechanism for cold acclimation.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2024

Synthesis of Correct Digital Controller Models from Specifications by Model Transformation (21-0320)

The design of high consequence controllers (in weapons systems, autonomy, etc.) that do what they are supposed to do is a significant challenge. Testing simply does not come close to meeting the requirements for assurance. Today circuit designers at Sandia (and elsewhere) typically capture the core behavior of their components using state models in tools such as STATEFLOW. They then check that their models meet certain requirements (e.g. “The system bus must not deadlock” or “both traffic lights at an intersection must not be green at the same time”) using tools called model checkers. If the model checker returns “yes” then the property is guaranteed to be satisfied by the model. However, there are several drawbacks to this industry practice: (1) there is a lot of detail to get right, this is particularly challenging when there are multiple components requiring complex coordination (2) any errors returned by the model checker have to be traced back through the design and fixed, necessitating rework, (3) there are severe scalability problems with this approach, particularly when dealing with concurrency. All this places high demands on the designers who now face not only an accelerated schedule but also controllers of increasing complexity. This report describes a new and fundamentally different approach to the construction of safety-critical digital controllers. Instead of directly constructing a complete model and then trying to verify it, the designer can start with an initial abstract (think “sketch”) model plus the requirements, from which a correct concrete model is automatically synthesized. There is no need for post-hoc verification of required functional properties. Having tool to carry this out will significantly impact the nation’s ability to ensure the safety of high-consequence digital systems. The approach has been implemented in a prototype tool, along with a suite of examples, including ones that reflect actual problems faced by designers. Our approach operates on a variant of Statecharts developed at Sandia called Qspecs. Statecharts are a widely used formalism for developing concurrent reactive systems, supporting scalability through allowing state models containing composite states, which are the serial or parallel composition of substates which can themselves contain statecharts. Statecharts enable an incremental style of development, in which states are progressively refined to incorporate greater detail in an incremental model of software development. Our approach formulates a set of constraints from the structure of the models and the requirements and propagates these constraints to a fixpoint. The solution to the constraints is an inductive invariant along with guards on the transitions. We also show how our approach extends to implementation refinement, decomposition, composition, and elaboration. We currently handle safety requirements written in LTL (Linear Temporal Logic)

42 ENGINEERING↗
DOE OSTI2024

Achieving Unprecedented CO 2 Utilization InCO 2 Concrete™: System Design, Product Development and Process Demonstration

Anthropogenic sources of carbon dioxide are generated from a number of sources, but the key among these are ordinary Portland cement (OPC) production and combustion of fossil fuels. Cement production is the largest global CO 2 source from the mineral decomposition of carbonates. This is due to the clinkering process whereby limestone (mainly consisting of CaCO 3 ) is decomposed into CaO and CO 2 , and combined with silica rich clays at high temperatures to form clinkers (i.e. the four key minerals that comprise cement). The high temperature range of 1400 – 1550°C required for this process accounts for up to 60% of the generated CO 2 from cement production. Combination of the limestone decomposition and thermal requirements of the clinkering process causes cement production to contribute 8-9% of annual global CO 2 emissions. Combustion of fossil fuels (coal, oil and gas) was shown to contribute a much larger portion of global CO 2 emissions. As of 2018, combustion of fossil fuels accounted for 65% of global CO 2 , where 41% was derived from stationary sources for electricity and heat generation and the other 24% was related to transport. To reduce these contributions, key steps forward in CO 2 utilization technologies are required. Therefore, a CO 2 mineralization technology (CO 2 mineralization concrete) to reduce the OPC content in concrete, while utilizing flue gas emissions from fossil fuel combustion has been developed to address both areas simultaneously. This Reversa™ technology utilizes low-carbon cementation agents produced by in situ CO 2 mineralization (“mineral carbonation reactions”) to offer a promising alternative to OPC. CO 2 mineralization relies upon the reaction of dissolved CO 2 with inorganic alkaline reactants to precipitate mineral carbonates (e.g., CaCO 3 ), which bind proximate particles and achieve cementation. Herein, a concrete green body, which is composed of a mixture of binder, water, and mineral aggregates, is exposed to CO 2 borne in industrial flue gas streams. This manner of CO 2 mineralization allows the production of construction components that feature equivalent engineering attributes as their OPC-based counterparts while featuring a much smaller embodied carbon intensity (eCI). The purpose of this project is to demonstrate the feasibility of the Reversa process evolving from a TRL-3 technology at the bench-scale up to TRL-6 technology at the pilot-scale. The reliability of the Reversa technology was tested to prove the effective production of three standard industrial concrete products selected during the course of the project. The results detailed herein will demonstrate the evolution of this technology to the industrial scale. The culmination of this work resulted in 9 production runs completed at the National Carbon Capture Center (NCCC), Wilsonville, AL, using natural gas (NG) flue gas as the CO 2 source. Over the course of the production runs at NCCC, the CO 2 utilization as a function of time, 24-h CO 2 uptake, electricity usage, and 28-d net area compressive strength recorded for each run. Collection of this data will be used to determine the success of the demonstration goals: (1) achieving in excess of 0.2gCO 2 /g reactant , (2) achieving greater than 50% reduction in global warming potential compared to standard produced units, and (3) ensuring compliance of carbonated concrete with industry standard specifications.

37 INORGANIC, ORGANIC, PHYSICAL, AND ANALYTICAL CH↗