Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “scalability test”

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 595 records · Page 33
All sourcesNASA NTRSDOE OSTI
DOE OSTI2021

A Scalable Process for Upcycling Carbon Dioxide (CO 2 ) and Coal Combustion Residues into Construction Products

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. 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. 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 concrete masonry units (CMUs) at bench scale, where the units exceeded the required 13.8 MPa compressive strength requirements. The overall goal of this project was to accelerate the development of a CO 2 mineralization process that synergistically utilizes CO 2 in flue gas and coal combustion residues (CCRs) to synthesize carbonated concrete, a functional replacement for traditional concrete. The culmination of this work resulted in 12 successful production runs at the Integrated Test Center (ITC), Gillette, WY using coal flue gas as a CO 2 source. This was followed by 6 production runs which were completed at the National Carbon Capture Center (NCCC), Wilsonville, AL, using coal-fired and natural gas (NG) flue gas as the CO 2 source. Over the course of the production runs at NCCC and ITC, 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. The ITC and NCCC demonstrations achieved an average of 0.19 and 0.1 g CO 2 /g reactant, respectively. Both demonstrations exceeded the project’s target goals of uptake > 0.05 g CO 2 /g reactant. Average compressive strength of the ITC blocks was 18.24 MPa at 28-days. This exceeded the target strength of 13.8 MPa specified by ASTM C90. ITC and NCCC produced an average CO 2 utilization efficiency of 74.9 and 57.9%, respectively. Both demonstration averages were within the target range of 50 to 90% utilization efficiency. For some production runs the NCCC demo did exceeded the a CO 2 utilization efficiency of 75%. An LCA of the Reversa process compared to an industry standard product revealed a net CO 2 reduction of 39% to 42%. This exceeded the target requirement of >25% net CO 2 reduction. Collection of this data was used to determine that the project was successful as the demonstration goals were achieved: (1) achieving in excess of 75% CO 2 utilization efficiency, (2) utilizing greater than 250 kg of CO 2 per production batch/run, and (3) ensuring compliance of carbonated blocks with industry standard specifications (ASTM C90).

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

Distributed Grid-Sensing Service Layer: A System Architecture Blueprint

In this report, a scalable, decentralized, sensor-oriented communication blueprint is introduced. The proposed architecture has been specifically designed to support the mass deployment of sensors and also enable data consumers to access the underlying data streams using a distributed systems approach. With the proposed approach, sensors and data clients can be decoupled from the physical communication infrastructure and migrated into a modern, software-defined infrastructure ecosystem that can be configured to suit the end application’s requirements. In its current iteration, this blueprint defines the interactions, processes, and expected outcomes that each individual component within the architecture must support the overall ecosystem’s needs. Within this work, such an assembly of services is called the data bus; it represents the heart of the distributed grid sensing services architecture, a multiyear project that aims to design, implement, and test a reference sensor-data dissemination network that can support the needs of the extended grid state. We expect this blueprint to guide our future implementation efforts

24 POWER TRANSMISSION AND DISTRIBUTION↗
DOE OSTI2022

Performance of novel VUV-sensitive Silicon Photo-Multipliers for nEXO

Liquid xenon time projection chambers are promising detectors to search for neutrinoless double beta decay (0νββ), due to their response uniformity, monolithic sensitive volume, scalability to large target masses, and suitability for extremely low background operations. The nEXO collaboration has designed a tonne-scale time projection chamber that aims to search for 0νββ of 136 Xe with projected half-life sensitivity of 1.35 x 10 28 yr. To reach this sensitivity, the design goal for nEXO is ≤1% energy resolution at the decay Q-value (2458.07 ± 0.31 keV). Reaching this resolution requires the efficient collection of both the ionization and scintillation produced in the detector. The nEXO design employs Silicon Photo-Multipliers (SiPMs) to detect the vacuum ultra-violet, 175 nm scintillation light of liquid xenon. This paper reports on the characterization of the newest vacuum ultra-violet sensitive Fondazione Bruno Kessler VUVHD3 SiPMs specifically designed for nEXO, as well as new measurements on new test samples of previously characterised Hamamatsu VUV4 Multi Pixel Photon Counters (MPPCs). Various SiPM and MPPC parameters, such as dark noise, gain, direct crosstalk, correlated avalanches and photon detection efficiency were measured as a function of the applied over voltage and wavelength at liquid xenon temperature (163 K). The results from this study are used to provide updated estimates of the achievable energy resolution at the decay Q-value for the nEXO design.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2026

Sparsely Dispersed CeO x ‑Stabilized Pt Nanoparticles Overcome Pt Loading–Durability Trade-Off for Highly Durable Heavy-Duty Fuel Cells

Proton-exchange-membrane fuel cells (PEMFCs) are clean and sustainable mobile power sources for transportation. Recently, their deployment in heavy-duty vehicles (HDVs) has attracted growing interest owing to their high energy scalability and lower infrastructure requirements. However, to meet the stringent requirements for efficiency and long-term durability for HDV applications, PEMFCs typically employ a relatively high platinum group metal (PGM) loading (>0.2 mg PGM /cm 2 ). This elevated PGM loading significantly increases the stack and system costs, surpassing the U.S. Department of Energy (DOE) target of $\$ 60$/kW for commercial viability. Reducing PGM loading while maintaining performance and durability remains a central challenge for HDV fuel cells. Here we exploit metal oxide–Pt interactions and utilize the strong CeO x –Pt interaction to design a CeO x @Pt catalyst structure with exceptional durability. At a low total PGM loading (0.1 mg PGM /cm 2 ), the CeO x @Pt/C catalyst demonstrates high fuel cell performance (8.8 kW/g PGM ) and stability (power retention >90%) after the challenging HDV durability testing (90,000 accelerated-stress-test cycles). With the CeO x @Pt/C catalyst, we showcase over 70% reduction in Pt cost from the M2FCT target (to $\$ 9$/kW), highlighting its promising potential for enabling stable and cost-effective fuel cell systems for heavy-duty applications.

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

CO 2 supplementation eliminates sugar-rich media requirement for plant propagation using a simple inexpensive temporary immersion photobioreactor

In vitro plant propagation systems such as temporary immersion bioreactors (TIBs) are valuable tools that enable production of disease-free plants with improved traits. However, TIB systems can be expensive, difficult to implement, and prone to contamination due to sugar rich propagation media. Using rapidly growing chicory root cultures to expedite design-build-test cycles, we report here an improved, low-cost version of a previously reported Hydrostatically-driven TIB (Hy-TIB) that facilitates economical use of gas mixtures. Bioreactor improvements include decreased material costs, expanded modes of operation, and a horizontal orientation of a plastic film plant growth chambers that increase propagule light exposure. To take advantage of these improvements, we describe here experiments that evaluate the impacts of elevated CO 2 on propagation of cacao (Theobroma cacao) secondary embryos and nodal cultures of yam (Dioscorea spp.) during both phototrophic and photomixotrophic growth. Our experiments show that elevated CO 2 during plant propagation significantly improved both cacao and yam propagule development and eliminated the need for supplemental sugars in tissue culture growth media. Thus, our improved Hy-TIB shows potential as a simple, low-cost, and scalable propagation platform with cost-effective gas composition control and reduced risk of contamination overgrowth. We provide detailed instructions for assembly of this Hy-TIB design and discuss the implications of its adoption in food-insecure regions of the world.

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2021

Additive Manufacturing of Porous Ceramics With Foaming Agent

The macro-porous ceramics has promising durability and thermal insulation performance. As porous ceramics find more and more applications across many industries, a cost-effective and scalable additive manufacturing technique for fabricating macro-porous ceramics is highly desirable. Herein, we reported a facile additive manufacturing approach to fabricate porous ceramics and control the printed porosity. Several printable ceramic inks were prepared, and the foaming agent was added to generate gaseous bubbles in the ink, followed by the direct ink writing and the ambient-pressure and room-temperature drying to create the three-dimensional geometries. In this work, a set of experimental studies were performed to optimize the printing quality. The results revealed the optimal process parameters for printing the foamed ceramic ink with a high spatial resolution and fine surface quality. Varying the concentration of the foaming agent enables the controllability of the structural porosity. The maximum porosity can reach 85%, with a crack-free internal porous structure. The tensile tests showed that the printed macro-porous ceramics possessed enhanced durability with the addition of fiber. With a high-fidelity three-dimensional (3D) printing process and the precise controllability of the porosity, we showed that the printed samples exhibited a remarkably low thermal conductivity and durable mechanical strength.

36 MATERIALS SCIENCE↗
DOE OSTI2026

Generalizable Web User Interface for Scalable and Streamlined Deployment of Building Energy Management Systems in Small and Medium-Sized Commercial Buildings

Small and medium-sized commercial buildings (SMCBs) comprise 94% of US commercial buildings yet face significant barriers to implementing building energy management systems despite advances in smart device technology. Existing solutions present critical limitations: cloud-based API solutions simplify deployment but create vendor lock-in constraints; commercial integrated software solutions ensure compatibility via standardized protocols but require substantial cost and technical expertise; open-source IoT platforms offer cost-effective vendor independence but provide insufficient standardized protocol support for commercial building automation. This research presents a generalizable web user interface framework that bridges the gap between evolving smart device capabilities and lagging software infrastructure for SMCBs. The proposed system integrates VOLTTRON open-source middleware with an automated configuration converter that transforms unified specifications written in YAML, a human-readable data-serialization format, into system-specific files, streamlining manual setup processes. The vendor-agnostic architecture supports industry-standard protocols (BACnet and Modbus) and semantic building models while providing adaptive web interfaces that dynamically adjust to various building configurations. Demonstrations through simulation-based testing and a field deployment show automatic interface adaptation across heterogeneous HVAC systems and multizone monitoring. The automated configuration converter also substantially reduces labor-intensive setup.

Chung, Jihoon [ORNL] (ORCID:0000000184880815)↗
DOE OSTI2022

Investigating dry room compatibility of sulfide solid-state electrolytes for scalable manufacturing

All-solid-state batteries (ASSBs) are viewed as promising next-generation energy storage devices, due to their enhanced safety by replacing organic liquid electrolytes with non-flammable solid-state electrolytes (SSEs). The high ionic conductivity and low Young's modulus of sulfide SSEs make them suitable candidates for commercial ASSBs. Nevertheless, sulfide SSEs are generally reported to be unstable in ambient air. Moreover, instead of gloveboxes used for laboratory scale studies, large scale production of batteries is usually conducted in dry rooms. Thus, this study aims to elucidate the chemical evolution of a sulfide electrolyte, Li 6 PS 5 Cl (LPSCl), during air exposure and to evaluate its dry room compatibility. When LPSCl is exposed to ambient air, hydrolysis, hydration, and carbonate formation can occur. Moreover, hydrolysis can lead to irreversible sulfur loss and therefore LPSCl cannot be fully recovered in the subsequent heat treatment. During heat treatment, exposed LPSCl undergoes dehydration, decomposition of carbonate species, and reformation of the LPSCl phase. Lastly, LPSCl was found to exhibit good stability in a dry room environment and was subject to only minor conductivity loss due to carbonate formation. The dry room exposed LPSCl sample was tested in a LiNi 0.8 Co 0.1 Mn 0.1 O 2 |LiIn half-cell, exhibiting no significant loss of electrochemical performance compared with the pristine LPSCl, proving it to be compatible with dry room manufacturing processes.

36 MATERIALS SCIENCE↗
DOE OSTI2023

PhytoOracle: Scalable, modular phenomics data processing pipelines

As phenomics data volume and dimensionality increase due to advancements in sensor technology, there is an urgent need to develop and implement scalable data processing pipelines. Current phenomics data processing pipelines lack modularity, extensibility, and processing distribution across sensor modalities and phenotyping platforms. To address these challenges, we developed PhytoOracle (PO), a suite of modular, scalable pipelines for processing large volumes of field phenomics RGB, thermal, PSII chlorophyll fluorescence 2D images, and 3D point clouds. PhytoOracle aims to ( i ) improve data processing efficiency; ( ii ) provide an extensible, reproducible computing framework; and ( iii ) enable data fusion of multi-modal phenomics data. PhytoOracle integrates open-source distributed computing frameworks for parallel processing on high-performance computing, cloud, and local computing environments. Each pipeline component is available as a standalone container, providing transferability, extensibility, and reproducibility. The PO pipeline extracts and associates individual plant traits across sensor modalities and collection time points, representing a unique multi-system approach to addressing the genotype-phenotype gap. To date, PO supports lettuce and sorghum phenotypic trait extraction, with a goal of widening the range of supported species in the future. At the maximum number of cores tested in this study (1,024 cores), PO processing times were: 235 minutes for 9,270 RGB images (140.7 GB), 235 minutes for 9,270 thermal images (5.4 GB), and 13 minutes for 39,678 PSII images (86.2 GB). These processing times represent end-to-end processing, from raw data to fully processed numerical phenotypic trait data. Repeatability values of 0.39-0.95 (bounding area), 0.81-0.95 (axis-aligned bounding volume), 0.79-0.94 (oriented bounding volume), 0.83-0.95 (plant height), and 0.81-0.95 (number of points) were observed in Field Scanalyzer data. We also show the ability of PO to process drone data with a repeatability of 0.55-0.95 (bounding area).

59 BASIC BIOLOGICAL SCIENCES↗
DOE OSTI2022

Immersive Industrialized Construction Environments for Energy Efficiency Construction Workforce

The National Renewable Energy Laboratory is actively developing and testing Immersive Industrialized Construction Environments (IICE) for construction automation and worker-machine interaction to investigate possible solutions and increase workforce productivity. At full scope and matured functionality, IICE allows us to accelerate the development of and better explore industrialized construction approaches such as prefabrication. IICE also enables wider adoption of energy-efficient products and Industry 4.0 construction automation through worker-machine interaction pilots. Industry 4.0 and industrialized construction approaches can encourage workforce specialization in energy efficiency construction, address the lack of multi-skilled workers, and increase workforce productivity with construction automation. However, recent attempts to integrate these concepts with the industry have only been moderately successful. To address this, focusing the pedagogy on using a digital twin, its digital models, and virtual reality could make the experience of continuing education on construction automation more affordable, accessible, scalable, immersive, and safer, and could greatly improve the efficiency and robustness of the building and construction industry. IICE accurately represents the realities of construction uncertainties without having to create full scale physical prototypes of machines. In this paper, we address the following research question: How can a digital twin and its models in virtual reality enhance the learning experience and productivity of energy efficiency construction workers to gain the skills in operating Industry 4.0 components such as construction automation and handling energy-efficient products in industrialized construction factories and on-site? We introduce original research on developing IICE and present preliminary findings from time and motion pilot studies.

32 ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATI↗
DOE OSTI2023

The Distributed Grid Sensing Services (DGSS) platform: A scalable and decentralized sensor dissemination network

In this paper, a scalable, decentralized sensor-oriented, communication blueprint will be introduced. The proposed architecture has been specifically designed to support the mass deployment of sensors while enabling data consumers to access the underlying data streams using a distributed systems approach. With the proposed approach, sensors and data clients can be decoupled from the physical communication infrastructure and migrated into a modern, software-defined infrastructure ecosystem that can be configured to suit the end application’s demands. In its current iteration, the blueprint defines the interactions, processes, and expected outcomes that each individual component within the architecture must fulfill in order to support the overall ecosystem’s needs. Within this work, such assemble of services is referred the databus, and represents the heart of the Distributed Grid Sensing Services (DGSS) architecture, a multi-year project that aims to design, implement and test a dedicated sensor dissemination network that can support the needs of the extended grid state. It is our expectation, that the proposed blueprint presented in this paper will serve as a future guide to our implementation efforts

Sebastian Cardenas, David J.↗
DOE OSTI2022

Functional fiber-optic sensors embedded in stainless steel components using ultrasonic additive manufacturing for distributed temperature and strain measurements

The nuclear industry is progressing toward microreactors that can be factory assembled and deployed to remote regions for reliable, scalable power generation. However, the reduced power output requires enhanced monitoring capabilities to reduce staffing and eventually move toward autonomous control to improve the economics of microreactors. The ability to embed sensors such as fiber-optics, which can provide spatially distributed temperature and strain measurements, within microreactor components for real-time health monitoring would be particularly advantageous. Recent advances in ultrasonic additive manufacturing (UAM) have demonstrated the successful embedding of fiber-optics in soft materials such as Al and Cu by placing the sensors in machined cavities and ultrasonically welding over the top with thin foils. This article reports the first successful embedment of fiber-optic sensors and thermocouples within a common nuclear reactor material, SS304, via UAM. UAM parameters were first explored with simple plate geometries before moving to more complex geometries, such as pipes and other test articles for heat pipe–based microreactors. Select samples were sectioned for microscopy to evaluate the sensor/foil and foil/foil interfaces from samples fabricated by using 100% SS304 foils vs. foils plated with a Ni coating to improve UAM bonding. Furthermore, embedding metal-coated, low-bend loss fibers resulted in greatly reduced signal attenuation and adequate compressive residual strain in the embedded region to ensure successful strain coupling. Pipe specimen functional testing was performed by monitoring temperature and strain during transient and steady-state thermal testing.

36 MATERIALS SCIENCE↗
DOE OSTI2024

Scalable and Quench-Free Processing of Metal Halide Perovskites in Ambient Conditions

With the rise of global warming and the growing energy crisis, scientists have pivoted from typical resources to look for new materials and technologies. Perovskite materials hold the potential for making high-efficiency, low-cost solar cells through solution processing of Earth-abundant materials; however, scalability, stability, and durability remain key challenges. In order to transition from small-scale processing in inert environments to higher throughput processing in ambient conditions, the fundamentals of perovskite crystallization must be understood. Classical nucleation theory, the LaMer relation, and nonclassical crystallization considerations are discussed to provide a mechanism by which a gellan gum (GG) additive—a nontoxic polymeric saccharide—has enabled researchers to produce quality halide perovskite thin-film blade coated in ambient conditions without a quench step. Furthermore, we report on the improved stability and durability properties inherent to these films, which feature improved morphologies and optoelectronic properties compared to films spin-coated in a glovebox with antisolvent. We tune the amount of GG in the perovskite precursor and study the interplay between GG concentration and processability, morphological control, and increased stability under humidity, heat, and mechanical testing. The simplicity of this approach and insensitivity to environmental conditions enable a wide process window for the production of low-defect, mechanically robust, and operationally stable perovskites with fracture energies among the highest obtained for perovskites.

14 SOLAR ENERGY↗
DOE OSTI2026

A scalable variational method for estimating the latent infection-rate field of an outbreak

In this paper, we explore whether the infection-rate of a disease can serve as a robust monitoring variable in epidemiological surveillance algorithms. The infection-rate is dependent on population mixing patterns that do not vary erratically day-to-day; in contrast, daily case-counts used in contemporary surveillance algorithms are corrupted by reporting errors. The technical challenge lies in estimating the latent infection-rate from case-counts. Here we devise a Bayesian method to estimate the infection-rate across multiple adjoining areal units, and then use it, via an anomaly detector, to discern a change in epidemiological dynamics. We extend an existing model for estimating the infection-rate in an areal unit by incorporating a Markov random field model, so that we may estimate infection-rates across multiple areal units, while preserving spatial correlations observed in the epidemiological dynamics. To carry out the high-dimensional Bayesian inverse problem, we develop an implementation of mean-field variational inference specific to the infection model and integrate it with the random field model to incorporate correlations across counties. The method is tested on estimating the COVID-19 infection-rates across all 33 counties in New Mexico using data from the summer of 2020, and then employing them to detect the arrival of the Fall 2020 COVID-19 wave. We perform the detection using a temporal algorithm that is applied county-by-county. We also show how the infection-rate field can be used to cluster counties with similar epidemiological dynamics.

60 APPLIED LIFE SCIENCES↗
DOE OSTI2022

Scalable branching on dual decomposition of stochastic mixed-integer programming problems

In this work, we present a scalable branching method for the dual decomposition of stochastic mixed-integer programming. Our new branching method is based on the branching method proposed by Caroe and Schultz that creates branching disjunctions on first-stage variables only. We propose improvements to the process for creating branching disjunctions, including (1) branching on the optimal solutions of the Dantzig-Wolfe reformulation of the restricted master problem and (2) using a more comprehensive (yet simple) measure for the dispersions associated with subproblem solution infeasibility. We prove that the proposed branching process leads to an algorithm that terminates finitely, and we provide conditions under which globally optimal solutions can be identified after termination. We have implemented our new branching method, as well as the Caroe-Schultz method and a branch-and-price method, in the open-source software package DSP. Using SIPLIB test instances, we present extensive numerical results to demonstrate that the proposed branching method significantly reduces the number of node subproblems and solution times.

97 MATHEMATICS AND COMPUTING↗
DOE OSTI2021

Halophyte biorefinery for polyhydroxyalkanoates production from Ulva sp. Hydrolysate with Haloferax mediterranei in pneumatically agitated bioreactors and ultrasound harvesting

Here, the present study tested the outdoor cultivation of Haloferax mediterranei for PHA production from green macroalgae Ulva sp. in pneumatically agitated bioreactors and applied ultrasonic separation for enhanced settling of archaeal cells. Scaled-up cultivation (40 L) yielded maximum biomass productivity of 50.1 ± 0.11 mg·L -1 ·h -1 with a PHA productivity of 27 ± 0.01 mg·L -1 ·h -1 and conversion yield of 0.107 g PHA per gram UlvaDW. The maximum mass fraction of PHA achieved in biomass was calculated to be 56% w/w. Ultrasonic harvesting of Hfx. mediterranei cells approached 30% removal at energy inputs around 7.8 kWh·m -3 , and indicated no significant aggregation enhancement by Ca 2+ addition. Molecular weight analysis showed an increase in Polydispersity Index (PDI) when the corresponding air velocities were increased suggesting that the polymer was more homogeneous at lower mixing velocities. The current study demonstrated scalable processes for PHA production using Ulva sp. feedstock providing new technologies for halophilic biorefinery.

09 BIOMASS FUELS↗
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 OSTI2022

A scalable compressible volume of fluid solver using a stratified flow model

Here, in this paper, a Volume of Fluid method which uses a Stratified Flow model for flux calculation is proposed to solve a compressible multiphase flow in a way that has high parallel efficiency. The solver is part of an open-source computing tool to study fuel entrainment and combustion in the application of paraffin-based hybrid rocket motors. This paper focuses on the compressible Volume of Fluid solver for the liquid and gaseous phases in this environment. This solver uses perfect gas and stiffened gas models for equation of state, with the ability to easily add other models as desired. Additionally a comparison of a Riemann solver versus an AUSM+up scheme is conducted, showing improvement with the later in the solution of multiphase flows. This solver successfully reproduces shock tube cases with the expected accuracy, as well as simulating two-dimensional shear and gravity-driven flows. Results also show that the code is able to utilize a Stratified Flow model to evaluate shear flow without the need for interface reconstruction or gradient calculations. Finally, it is shown that the solver has near-ideal scaling under strong scaling tests as well as good performance in static scaling, giving improved performance over current options and implying future advancement of high-performance computing efficiency for multiphase flow solvers.

97 MATHEMATICS AND COMPUTING↗