Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “verification and validation”

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

Verification of numerical models for seismic fluid-structure interaction analysis of internal components in liquid-filled advanced reactors

Earthquake shaking of a liquid-filled advanced reactor induces fluid-structure interaction (FSI) between the reactor vessel (tank), its internal components, and the contained liquid. Seismic design, qualification, and risk assessment of such reactors must consider fluid-structure responses, their geometries and support conditions, and three-directional seismic inputs, all of which require numerical simulations. Numerical models used for analysis of safety-related nuclear equipment must be verified and validated. Here, this paper verifies numerical models of submerged components using analytical solutions. Seismic FSI analysis of the numerical models is performed using the Arbitrary Lagrangian-Eulerian (ALE) and Incompressible Computational Fluid Dynamics (ICFD) solvers in LS-DYNA. Prior analytical solutions are reworked in this paper, and calculation errors are identified and corrected. The solutions address frequencies of two concentric cylindrical pipes filled with liquid: the inner pipe is a submerged component, and the outer pipe contains the liquid. A unitless frequency coefficient is defined and presented for pipes of different materials, filled with different liquids, and with a range of dimensions for application to advanced reactors. The numerical models are verified here by comparing the lateral frequencies of submerged components with those calculated using the corrected analytical solutions. Recommendations for verification of numerical models of internal components in advanced reactors for seismic FSI analysis are provided. Although the unitless frequency coefficients and verification procedures are developed for application to advanced nuclear reactors, they are broadly applicable to FSI analysis of submerged components in liquid-filled vessels such as storage tanks, boilers, and steam generators.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Validation of an Advanced High-Pressure PEM Electrolyzer and Composite Hydrogen Storage

One of the challenges associated with transitioning our nation’s transportation economy to any alternative fuel is bringing fuel production, storage, transportation, and end-customer delivery infrastructure online. There are challenges associated with planning and implementing hydrogen fueling stations at locations relevant to the parallel effort of bringing the related transportation vehicles into the market. There are additional challenges associated with the operation of hydrogen fueling stations and reducing operating costs through energy reduction. Through calculation and design efforts it was concluded that elevating the pressure of a PEM cell stack and further developing hydrogen processing equipment that support elevated pressures while maintaining similar characteristics to their current production counterparts will yield in energy savings and by extension cost reductions. In this report, the design of a 57-bar (827-psig) electrolysis system and electrolysis cell stack is described. Furthermore, the fabrication, component verification, and integrated testing are summarized. Prior to this development effort, Proton had demonstrated thousand of hours of durability on 30-bar (435-psig) differential pressure PEM electrolysis hardware. Proton has sold and installed many of these 30-bar devices at customer sites. Through this project, Proton has developed and tested 57-bar PEM electrolysis, thereby extending the proven capability of PEM electrolysis as a hydrogen generation and electrochemical compression device. A design and validation effort to arrange hydrogen processioning equipment for refueling OEM vehicles was also undertaken within this project. By arranging equipment within two 6-meter ISO shipping containers and further developing NFPA 2 Hydrogen Technologies Code to support containerized hydrogen equipment, efforts to site, install, and commission, and approve hydrogen fueling stations were reduced and now provide a groundwork for future installations.

08 HYDROGEN↗

FAIR to WISE (F2W) v1.0.0

FAIR to WISE (F2W) is an iterative, large-language model (LLM) driven pipeline that turns unstructured research PDFs into structured, queryable knowledge graphs (KGs). Core features include schema-driven extraction to a LinkML model; full provenance capture; ontology-grounded enrichment (e.g., chemical validation and ChEBI lookup); graph construction to JSON-LD with stable IDs; and KG-RAG question answering with evidence-aware retrieval. The system is engineered for reproducibility and accessibility (open-source Ollama models, temperature=0, NVTX/Nsight profiling) with robust QA (relation verification, deduplication, and deterministic outputs). Primary uses are literature-to-KG automation, knowledge-grounded Q&A, and experimental steering support. We demonstrate the approach in organic photovoltaics, where the pipeline ingests papers, builds a domain KG, and evaluates answers against expert competency questions to guide experimental planning and interpretation. Compared with off-the-shelf LLMs and ad-hoc NLP tools, F2W addresses ontology gaps and reduces hallucination risk by grounding responses in extracted evidence and enforcing schema constraints; it also offers deterministic, provenance-linked outputs and open, cost-aware deployment. Evidence-aware ranking further improves answer quality over pure vector search.

Abramov, David [Lawrence Berkeley National Laborat↗

Improving the nonlinear control performance of the supply fan at air handling units using a gain scheduling control strategy

Due to its nonlinear nature, the supply fan at air handling units with the controller tuned at the design condition tends to be aggressive and oscillate under partial load conditions. Here, the objective of this paper is to develop and validate a gain scheduling control strategy to improve its nonlinear control performance. First, a control-oriented model, which does not require numerous physical parameters and extensive test data, is developed to study the nonlinearity of the fan system. Based on the theoretical model and experimental verifications, the issue of an aggressive response with a conventional fixed-gain controller is caused by the fact that the system gain is proportional to the ratio of the duct static pressure to the fan speed. To address the issue, a scheduling function of the measurable duct static pressure and fan speed is proposed to be included in the conventional fixed-gain controller to compensate for the fan system gain variation. The gain scheduling control strategy is found to approximately maintain the identical control performance under all operation conditions. Most importantly, the gain scheduling control strategy can be readily implemented without intensive computation and additional measurements, showing a promising potential in industrial applications.

42 ENGINEERING↗

Synthetic Biology PacBio/JAWS QC Analysis (PBJ) v3.0

This software was designed as a sequence validation tool for the assembly of synthetic constructs. It analyzes FASTQ files against a list of reference sequences, combining the results from eight sequencing libraries to generate a summary, and the files needed to view the results in the Integrative Genomics Viewer (IGV) application for manual verification. This was developed for FASTQ files generated by PacBio sequencing, but could be used on any FASTQ files that do not have paired end reads. It can be used to analyze one - eight libraries at a time, and assumes that each construct sequence in the reference will be in each pool, however, this is not a requirement. This is used to identify which libraries of pooled sequences contains a perfect match, or fixable match to the reference file. This pipeline uses many freely available open source libraries, the value added is that in our application the steps of the pipeline are defined in Workflow Description Language (WDL) and run through the Cromwell workflow engine in Docker containers, for easy distribution and set up, as well as the user friendly html summary that is generated.

Simirenko, Lisa↗

QAOAKit: A Toolkit for Reproducible Study, Application, and Verification of the QAOA

Understanding the best known parameters, performance, and systematic behavior of the Quantum Approximate Optimization Algorithm (QAOA) remain open research questions, even as the algorithm gains popularity. We introduce QAOAKit, a Python toolkit for the QAOA built for exploratory research. QAOAKit is a unified repository of preoptimized QAOA parameters and circuit generators for common quantum simulation frameworks. We combine, standardize, and cross-validate previously known parameters for the MaxCut problem, and incorporate this into QAOAKit. We also build conversion tools to use these parameters as inputs in several quantum simulation frameworks that can be used to reproduce, compare, and extend known results from various sources in the literature. We describe QAOAKit and provide examples of how it can be used to reproduce research results and tackle open problems in quantum optimization.

Shaydulin, Ruslan↗

200 MV Record Voltage Of vCM And LCLS-II-HE Cryomodules Production Start At Fermilab

The Linac Coherent Light Source (LCLS) is an X-ray science facility at SLAC National Accelerator Laboratory. The LCLS-II project (an upgrade to LCLS) is in the commissioning phase; the LCLS-II-HE (High Energy) project is another upgrade to the facility, enabling higher energy operation. An electron beam is accelerated using superconducting radio frequency (SRF) cavities built into cryomodules. It is planned to build 24 1.3 GHz standard cryomodules and one 1.3 GHz single-cavity Buncher Capture Cavity (BCC) cryomodule for the LCLS-II-HE project. Fourteen of these standard cryomodules and the BCC are planned to be assembled and tested at Fermilab. Procurements for standard cryomodule components are nearing completion. The first LCLS-II-HE cryomodule, referred to as the verification cryomodule (vCM) was assembled and tested at Fermilab. Fermilab has completed the assembly of the second cryomodule. This paper presents LCLS-II-HE cryomodule production status at Fermilab, emphasizing the changes done based on the successes, challenges, mitigations, and lessons learned from LCLS-II; validation of the changes with the excellent vCM results.

43 PARTICLE ACCELERATORS↗

NREL Hydrogen Sensor Testing Laboratory

Relevance: Detection is recognized as a critical element for hydrogen facility safety design and supports risk mitigation. Detection methodologies will support validation of H2 behavior research. Hydrogen point sensors play a critical role for safety and process monitoring, but other methodologies can be developed. Approach: NREL Sensor Laboratory tests and verifies sensor performance for manufacturers, developers, end-users, regulatory agencies and SDOs/CDOs NREL deployment activity supports regulatory requirement verification, hydrogen behavior models, and method development for use by stakeholders. Accomplishments and Progress: NREL's R&D accomplishments have supported developers, industry, and SDOs by providing sensor performance and deployment expertise not otherwise available. Development of alternative detection strategies for hydrogen applications have been initiated. HyWAM and advanced detection methodologies deployments at H2@Scale Facilities are being implemented. Collaborations: Collaboration with government laboratories, universities, private organizations and regulatory agencies has leveraged the NREL Sensor Laboratory's success in advancing hydrogen safety sensors and process control. Proposed Future Work: NREL will support hydrogen deployment by the proper implementation of hydrogen sensors and advanced detection strategies. NREL will continue to support science-based codes and standards. This effort will be guided by the needs of the hydrogen community.

codes and standards↗

Progress toward the development of a high-fidelity neutronic \model of MARVEL using Griffin

The Microreactor Applications Research Validation and Evaluation (MARVEL) is a 100 kWth microreactor envisioned to start operations at Idaho National Laboratory (INL) in early 2025. This paper is focused on the development of a high-fidelity neutronic model of the MARVEL reactor using Griffin. In particular, the step-by-step verification procedure against Serpent reference calculations is here reported. In this version of the paper, the comparison is only performed in terms of effective multiplication factor, root mean square percentage error (RMSPE) of the pin power, and maximum error for pin-wise power.

21 SPECIFIC NUCLEAR REACTORS AND ASSOCIATED PLANTS↗

Medium Voltage Energy Hub Based on Multilevel Cascaded H Bridge-Dual Active Bridge Back-to-Back Converter for Power Distribution Feeders Interconnection and Multiple Simultaneous Grid Services

This paper presents a medium voltage energy hub based on a modular design of a multilevel cascaded H bridge (CHB)-dual active bridge (DAB) converter. The energy hub composed of the two CHB-DAB modules with a back-to-back topology can be utilized as a grid interconnection component between distribution feeders. The energy hub can provide multiple simultaneous grid services such as voltage regulation, power factor correction, as well as active power flow control between the connected feeders, contributing to grid flexibility, efficiency, reliability, and resilience. Circuit structure and control schemes for the energy hub including both local controllers for each converter and outer loop controllers are proposed to enable simultaneous grid services with coordination to prevent the overloading of the hub. To validate the performance of the hub, the hub system is interconnected between two IEEE 4-bus feeders and provides voltage regulation for both feeders, while controlling active power flow between them. The system and the feeders are implemented in Real-Time Digital Simulator (RTDS) for real-time simulation verification.

Choi, Jongchan↗

Quantifying the Value of Grid-Interactive Efficient Buildings through Field Study: Preprint

Quantifying the annual energy impacts of efficient technologies in commercial buildings has been well established by the building science field. As we move toward enabling grid-interactive efficient buildings (GEB) targeting flexible building operation and carbon reduction, quantification methods to evaluate time-sensitive peak load and emissions impact are much less defined. A number of national laboratories are working to field validate four different GEB software solutions that provide the capability to control multiple building end-use systems in multiple load flexibility modes (i.e., energy efficiency, load shed, load shift, and possible load modulation at the second to sub-second level). To guide the laboratory leads in effective measurement and verification (M&V) practices, two of the laboratories collaborated to define metrics to quantify the impacts of flexible load control on building demand, utility costs, carbon emissions, facility management, and occupant comfort. This paper summarizes the proposed metrics to quantify peak load and emission impacts in the field, decision parameters, approaches to accurately conduct M&V, lessons learned, and outstanding needs and next steps.

ENERGY CONSERVATION, CONSUMPTION, AND UTILIZATION↗

Quantifying the Value of Grid-Interactive Efficient Buildings through Field Study

Quantifying the annual energy impacts of efficient technologies in commercial buildings has been well established by the building science field. As we move toward enabling grid-interactive efficient buildings (GEB) targeting flexible building operation and carbon reduction, quantification methods to evaluate time-sensitive peak load and emissions impact are much less defined. A number of national laboratories are working to field validate four different GEB software solutions that provide the capability to control multiple building end-use systems in multiple load flexibility modes (i.e., energy efficiency, load shed, load shift, and possible load modulation at the second to sub-second level). To guide the laboratory leads in effective measurement and verification (M&V) practices, two of the laboratories collaborated to define metrics to quantify the impacts of flexible load control on building demand, utility costs, carbon emissions, facility management, and occupant comfort. This paper summarizes the proposed metrics to quantify peak load and emission impacts in the field, decision parameters, approaches to accurately conduct M&V, lessons learned, and outstanding needs and next steps.

Langner, Rois↗

Labels as a feature: Network homophily for systematically annotating human GPCR drug-target interactions

Machine learning has revolutionized drug discovery by enabling the exploration of vast, uncharted chemical spaces essential for discovering novel patentable drugs. Despite the critical role of human G protein-coupled receptors in FDA-approved drugs, exhaustive in-distribution drug-target interaction testing across all pairs of human G protein-coupled receptors and known drugs is rare due to significant economic and technical challenges. This often leaves off-target effects unexplored, which poses a considerable risk to drug safety. In contrast to the traditional focus on out-of-distribution exploration (drug discovery), we introduce a neighborhood-to-prediction model termed Chemical Space Neural Networks that leverages network homophily and training-free graph neural networks with labels as features. We show that Chemical Space Neural Networks’ ability to make accurate predictions strongly correlates with network homophily. Thus, labels as features strongly increase a machine learning model’s capacity to enhance in-distribution prediction accuracy, which we show by integrating labeled data during inference. We validate these advancements in a high-throughput yeast biosensing system (3773 drug-target interactions, 539 compounds, 7 human G protein-coupled receptors) to discover novel drug-target interactions for FDA-approved drugs and to expand the general understanding of how to build reliable predictors to guide experimental verification.

Hansson, Frederik G↗

BETO 2021 Peer Review - 3.4.2.302 - Process Scale Up for Production Environments

This project supports the Department of Energy's Bioenergy Technology Office mission of transitioning bioenergy technologies to market by de-risking integration, developing scaling relations and modeling that de-risks scale up, and providing a feedback loop with lower TRL projects to understand process and technology fundamentals. Two objectives were pursued during this merit cycle. First, the Thermal and Catalytic Process Development Unit (TCPDU), a 0.5 ton/day pilot plant, was used to validate kinetic models developed by the Consortium for Computational Physics and Chemistry (CCPC). Validating the models accurately predict product yields and composition is a first step toward de-risking a common industry failure - taking too large of steps between scales. In addition, these models help with design and troubleshooting of new unit operations for the TCPDU. The second objective was to conduct the FY22 verification campaign around ex situ CFP. The primary challenge of this effort was the coordination of multiple national labs and projects. This was overcome by a dedicated leadership role and effective communication strategy between the projects. Currently the project is undergoing a pivot based on a stagegate decision to not conduct the verification campaign in the TCPDU and it is focused on closing out the CFP technology at a smaller scale by the end of the current fiscal year.

BIOMASS FUELS↗

Nonlinear ionization dynamics of hot dense plasma observed in a laser-plasma amplifier

Understanding the behaviour of matter under conditions of extreme temperature, pressure, density and electromagnetic fields has profound effects on our understanding of cosmologic objects and the formation of the universe. Lacking direct access to such objects, our interpretation of observed data mainly relies on theoretical models. However, such models, which need to encompass nuclear physics, atomic physics and plasma physics over a huge dynamic range in the dimensions of energy and time, can only provide reliable information if we can benchmark them to experiments under well-defined laboratory conditions. Due to the plethora of effects occurring in this kind of highly excited matter, characterizing isolated dynamics or obtaining direct insight remains challenging. High-density plasmas are turbulent and opaque for radiation below the plasma frequency and allow only near-surface insight into ionization processes with visible wavelengths. Here, the output of a high-harmonic seeded laser-plasma amplifier using eight-fold ionized krypton as the gain medium operating at a 32.8 nm wavelength is ptychographically imaged. A complex-valued wavefront is observed in the extreme ultraviolet (XUV) beam with high resolution. Ab initio spatio-temporal Maxwell–Bloch simulations show excellent agreement with the experimental observations, revealing overionization of krypton in the plasma channel due to nonlinear laser-plasma interactions, successfully validating this four-dimensional multiscale model. This constitutes the first experimental observation of the laser ion abundance reshaping a laser-plasma amplifier. The presented approach shows the possibility of directly modelling light-plasma interactions in extreme conditions, such as those present during the early times of the universe, with direct experimental verification.

36 MATERIALS SCIENCE↗

Uncertainty Analysis and Software Verification

Uncertainty analyses are an important part of calibrations and testing. They allow researchers insight on how to reduce and mitigate errors in testing. Each device used in testing introduces error in a system, as well as other sources such as environmental conditions, electronics, analog to digital, and random errors. Each source is carefully examined to identify how much error it introduces to a system. These sources are then combined using various methods of uncertainty calculations. To verify and validate software, a manual calculation is required to ensure the software is performing as intended. Using Excel to verify the calculations, we can identify discrepancies within the software. The root of the sum of the squares uncertainty (RSS) is used to find the combined uncertainty of a device at one and two standard deviations of the mean. Calibrations on accelerometers are performed using a vibration system along with a back-toback reference accelerometer. The vibration system takes a reference point at 100Hz frequency at 10g amplitude. The sensitivities are collected at each dialed in frequency. The sensitivity of the device represents the electrical output of the UUT (mV, pC, etc.) per unit of acceleration (g). The full history of sensitivities of selected accelerometers are used to find the averaged, standard deviation, and uncertainty of the device at each frequency tested. The uncertainty calculations from excel and the software are then compared.

97 MATHEMATICS AND COMPUTING↗

Using Verified Lifting to Optimize Legacy Stencil Codes (Final Project Report)

This project investigated new techniques for compiling stencil and stencil-like computations. Stencils computations are commonly found in applications such as image processing, physical simulations, image processing, and machine learning. In recent years, many high-performance domain-specific languages (DSLs) have been proposed to optimize stencil computations. To leverage such DSLs, however, existing codes often need to be rewritten. Such rewriting is manual, labor intensive, and error-prone. To alleviate such issues, this project investigated the application of program synthesis and artificial learning techniques to enable stencil computations to automatically leverage new high-performance DSLs. Rather than constructing syntax driven rules, verified lifting uses program synthesis to search for a target code fragment to compile the given input code into. In addition, it also searches for a proof that validates how the found target code fragment preserves the semantics of the original input. Thus, the target code fragment is guaranteed to be semantically equivalent to the input.

97 MATHEMATICS AND COMPUTING↗

Integrated Operations for Nuclear Business Operation Model Analysis and Industry Validation

The purpose of this report is to refine and analyze five work reduction opportunities first presented in INL/EXT-21-64134, Process for Significant Nuclear Work Function Innovation Based on Integrated Operations Concepts. This report seeks to further refine and analyze five work reduction opportunities first presented in the original report. Researchers selected five work reduction opportunities from the full Integrated Operations for Nuclear (ION) suite. A selected group of utilities then verified details and inputs from the original report. Categories for verification included capital cost, technology requirements, and savings. Researchers then modeled the data points and data ranges using probabilistic analysis which predicts the likelihood of positive or negative net present value. Research results show four out of the five work reduction opportunities have a greater than fifty percent chance of a positive net present value outcome when analyzed independently. When the five work reduction opportunities are grouped and analyzed together the model indicates a sixty percent chance that the outcome of all five taken together will be positive. The nuclear industry should interpret these results as encouraging. In line with the ION model, positive financial analysis supports the investment of capital dollars into existing nuclear power plants along the ION model. Implementation of the five work reduction opportunities in this report is likely to result in substantive long-term savings for the owners and operators of domestic nuclear power plants.

99 GENERAL AND MISCELLANEOUS↗