Search NASA⌕ Search

SEARCH · Search NASA

Results for “construction support”

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 541 records · Page 30

Principled Schedulability Analysis for Distributed Storage Systems Using Thread Architecture Models

In this article, we present an approach to systematically examine the schedulability of distributed storage systems, identify their scheduling problems, and enable effective scheduling in these systems. We use Thread Architecture Models (TAMs) to describe the behavior and interactions of different threads in a system, and show both how to construct TAMs for existing systems and utilize TAMs to identify critical scheduling problems. We specify three schedulability conditions that a schedulable TAM should satisfy: completeness, local enforceability, and independence; meeting these conditions enables a system to easily support different scheduling policies. We identify five common problems that prevent a system from satisfying the schedulability conditions, and show that these problems arise in existing systems such as HBase, Cassandra, MongoDB, and Riak, making it difficult or impossible to realize various scheduling disciplines. We demonstrate how to address these schedulability problems using both direct and indirect solutions, with different trade-offs. To show how to apply our approach to enable scheduling in realistic systems, we develop Tamed-HBase and Muzzled-HBase, sets of modifications to HBase that can realize the desired scheduling disciplines, including fairness and priority scheduling, even when presented with challenging workloads.

Computer Science↗

Dynamic Transmission Line Switching Amid Wildfire-Prone Weather Under Decision-Dependent Uncertainty

During dry and windy seasons, environmental conditions significantly increase the risk of wildfires, exposing power grids to disruptions caused by transmission line failures. Wildfire propagation exacerbates grid vulnerability, potentially leading to prolonged power outages. To address this challenge, we propose a multistage optimization model that dynamically adjusts transmission grid topology in response to wildfire propagation, aiming to develop an optimal response policy. By accounting for decision-dependent uncertainty, where line survival probabilities depend on usage, we employ distributionally robust optimization to model uncertainty in line survival distributions. We adapt the stochastic nested decomposition algorithm and derive a deterministic upper bound for its finite convergence. To enhance computational efficiency, we exploit the Lagrangian dual problem structure for a faster generation of Lagrangian cuts. Using realistic data from the California transmission grid, we demonstrate the superior performance of dynamic response policies against two-stage alternatives through a comprehensive case study. In addition, after solving the multistage formulation, we construct easy-to-implement policies that significantly reduce computational burden while maintaining good performance in real-time deployment. History: Accepted by Russell Bent, Area Editor for Network Optimization: Algorithms and Applications. Funding: This work was supported by the U.S. Department of Energy, Office of Electricity [Grant DE-AC02-05CH11231]. The work of R. Jiang was supported in part by the U.S. National Science Foundation, Division of Electrical, Communications and Cyber Systems [Grant ECCS-1845980] and the U.S. Air Force Office of Scientific Research [Grant FA9550-23-1-0323]. Supplemental Material: The software that supports the findings of this study is available within the paper and its Supplemental Information ( https://pubsonline.informs.org/doi/suppl/10.1287/ijoc.2025.1210 ) as well as from the IJOC GitHub software repository ( https://github.com/INFORMSJoC/2025.1210 ). The complete IJOC Software and Data Repository is available at https://informsjoc.github.io/ .

Estrada-Garcia, Juan-Alberto↗

Making Coal Relevant for Small Scale Applications: Modular Gasification for Syngas/Engine CHP Applications in Challenging Environments

The proposed project includes construction and operation of a power plant consisting of coal gasification facilities and engine generators which would produce electrical power and heat. The recovered heat and a portion of the carbon dioxide emissions from the engines would support an onsite greenhouse and other heat and power customers. The proposed project site is located on the Marathon North Pole Terminal property in North Pole, Alaska. Two gasifiers would convert the coal into syngas, which would be fed through a gas cleanup train and then combusted in six reciprocating engines driving electric generators. Heat recovery on the engine cooling loops and exhaust trains would provide heat to a glycol/water circulation system for use in the greenhouse, in the Marathon facilities and for other customers. Natural gas would fuel two additional engine generators and would also be available to supplement the syngas-fired engines.

01 COAL, LIGNITE, AND PEAT↗

Automated segmentation and analysis of point clouds of pier foundations using Pier Inspection and Evaluation Report (PIER)

Pier foundations are commonly used in locations with unstable soil or where other types of foundations are unsuitable or cost prohibitive. A pier foundation consists of vertical columns to support the structure and elevate it above the ground. Common materials for pier foundations include masonry, concrete, timber, and steel. The methods for accurate placement of pier foundations have remained relatively unchanged for decades. For simple installations, construction chalk lines are used to layout the locations of piers to ensure accurate placement and elevation. For more complex installations, surveying instruments operated by trained professionals are employed to accurately locate piers and assess correct elevation before construction. After installation, another survey may need to be performed to assess the quality of the as-built foundation. However, with the advent of terrestrial laser scanners (TLS), the means now exist for contractors to conduct their own assessments of as-built foundations. The major barrier preventing contractors from performing their own assessments of as-built foundation quality is the segmentation and analysis of point cloud data, a skill that often requires a trained user. The objective of this research is to develop a software tool (PIER: Pier Inspection and Evaluation Report) to enable automated segmentation and analysis of point clouds of pier foundations. In this paper, the automated segmentation and analysis algorithms are detailed. A mockup lay out of pier foundations was built using concrete masonry units, and the algorithms were tested to evaluate performance. Limitations of the current algorithms and future research direction are discussed.

Turki, Amine [ORNL]↗

Theoretical Investigation of the Adsorbate and Potential–Induced Stability of Cu Facets During Electrochemical CO 2 and CO Reduction

The activity and product selectivity of electrocatalysts for reactions like the carbon dioxide reduction reaction (CO 2 RR) are intimately dependent on the catalyst's structure and composition. While engineering catalytic surfaces can improve performance, discovering the key sets of rational design principles remains challenging due to limitations in modeling catalyst stability under operating conditions. Herein, we perform first-principles density functional calculations adopting implicit solvation methods with potential control to study the influence of adsorbates and applied potential on the stability of different facets of model Cu electrocatalysts. Using coverage dependencies extracted from microkinetic models, we describe an approach for calculating potential and adsorbate-dependent contributions to surface energies under reaction conditions, where Wulff constructions are used to understand the morphological evolution of Cu electrocatalysts under CO 2 RR conditions. Here we identify that CO*, a key reaction intermediate, exhibits higher kinetically and thermodynamically accessible coverages on (100) relative to (111) facets, which can translate into an increased relative stabilization of the (100) facet during CO 2 RR. Our results support the known tendency for increased (111) faceting of Cu nanoparticles under more reducing conditions and that the relative increase in (100) faceting observed under CO 2 RR conditions is likely attributed to differences in CO* coverage between these facets.

30 DIRECT ENERGY CONVERSION↗

Three-dimensional mapping of mineral in intact shark centra with energy dispersive x-ray diffraction

The centra of shark vertebrae consist of cartilage mineralized by a bioapatite similar to bone's carbonated hy-droxyapatite, and, without a repair mechanism analogous to remodeling in bone, these structures still survive millions of cycles of high-strain loading. The main structures of the centrum are an hourglass-shaped double cone and the intermedialia which supports the cones. Little is known about the nanostructure of shark centra, spe-cifically the relationship between bioapatite and cartilage fibers, and this study uses energy dispersive diffraction (EDD) with polychromatic synchrotron x-radiation to study the spatial organization of the mineral phase and its crystallographic texture. The unique energy-sensitive detector array at beamline 6-BM-B, the Advanced Photon Source, enables EDD to quantify the texture within each sampling volume with one exposure while constructing 3D maps via specimen translation across the sampling volume. Herein this study maps a centrum from two shark orders, a carcharhiniform and a lamniform, with different intermedialia structures. In the blue shark (Prionace glauca, Carcharhiniformes), the bioapatite's c-axes are oriented laterally within the centrum's cone walls but axially within the wide wedges of the intermedialia; the former is interpreted to resist lateral deformation, the latter to support axial loads. In the shortfin mako (Isurus oxyrinchus, Lamniformes), there is some tendency for c-axis variation with position, but the situation is unclear because one dimension of the sampling volume is consid-erably larger than the thickness and spacing of the intermedialia's radially-oriented lamellae. Because elastic modulus in collagen plus bioapatite mineralized tissues varies significantly with both volume fraction of bio-apatite and crystallographic texture, the present 3D EDD-derived maps should inform future 3D numerical models of shark centra under applied load.

59 BASIC BIOLOGICAL SCIENCES↗

Minimizing development costs for efficient many-core visualization using MCD3

Scientific visualization software increasingly needs to support many-core architectures. However, development time is a significant challenge due to the breadth and diversity of both visualization algorithms and architectures. With this work, we introduce a development environment for visualization algorithms on many-core devices that extends the traditional data-parallel primitive (DPP) approach with several existing constructs and an important new construct: meta-DPPs. We refer to our approach as MCD 3 — Meta-DPPs, Convenience routines, Data management, DPPs, and Devices. The twin goals of MCD 3 are to reduce developer time and to deliver efficient performance on many-core architectures, and our evaluation considers both of these goals. For development time, we study 57 algorithms implemented in the VTK-m software library and determine that MCD 3 leads to significant savings. For efficient performance, we survey ten studies looking at individual algorithms and determine that the MCD 3 hardware-agnostic approach leads to performance comparable to hardware-specific approaches: sometimes better, sometimes worse, and better in the aggregate. In total, we find that MCD 3 is an effective approach for scientific visualization libraries to support many-core architectures.

97 MATHEMATICS AND COMPUTING↗

Inventory of Clean Energy Education and Workforce Programs in Connecticut's I-91 Corridor

This document reports on the findings of an inventory of the educational and workforce development resources in a four-county area on the I-91 corridor in Connecticut. The overarching goal of this exercise is to help the local workforce leaders in Bridgeport, Connecticut to optimize their training programs to support the county's clean energy transition. The inventory generally finds that Fairfield County, where Bridgeport is located, lacks adequate education and training programs compared to other surrounding counties with similar populations. More than half of Fairfield County's programs occur through high school or career technical education programs, suggesting that there are minimal opportunities for workers who are not currently high school students. Much of the existing focus within Fairfield County is on general construction or plumbing and electrical skills. There is room to expand by offering more programs focusing on energy efficiency and renewable energy skills. The document outlines some potential next steps and questions for consideration for the local workforce leaders in Bridgeport. Bridgeport is a city located within Fairfield County in southwestern Connecticut. It is the largest city in Connecticut with an estimated population of 150,000. Through the Department of Energy-funded Communities LEAP program, NREL conducted an analysis of existing education and workforce development (EWD) programs located in Fairfield County that align with (or could support) the worker pipeline for occupations related to building energy efficiency (EE), renewable energy (RE), and clean energy manufacturing. The analysis also looked at EWD offerings in other counties in Connecticut as a point of comparison.

29 ENERGY PLANNING, POLICY, AND ECONOMY↗

Assessing decision boundaries under uncertainty

In order to make design decisions, engineers may seek to identify regions of the design domain that are acceptable in a computationally efficient manner. A design is typically considered acceptable if its reliability with respect to parametric uncertainty exceeds the designer’s desired level of confidence. Despite major advancements in reliability estimation and in design classification via decision boundary estimation, the current literature still lacks a design classification strategy that incorporates parametric uncertainty and desired design confidence. To address this gap, this paper offers a novel interpretation of the acceptance region by defining the decision boundary as the hypersurface which isolates the designs that exceed a user-defined level of confidence given parametric uncertainty. This work addresses the construction of this novel decision boundary using computationally efficient algorithms that were developed for reliability analysis and decision boundary estimation. The approach proposed in this paper is verified on two physical examples from structural and thermal analysis using Support Vector Machines and Efficient Global Optimization-based contour estimation.

97 MATHEMATICS AND COMPUTING↗

Grafting nanometer metal/oxide interface towards enhanced low-temperature acetylene semi-hydrogenation

Metal/oxide interface is of fundamental significance to heterogeneous catalysis because the seemingly “inert” oxide support can modulate the morphology, atomic and electronic structures of the metal catalyst through the interface. The interfacial effects are well studied over a bulk oxide support but remain elusive for nanometer-sized systems like clusters, arising from the challenges associated with chemical synthesis and structural elucidation of such hybrid clusters. We hereby demonstrate the essential catalytic roles of a nanometer metal/oxide interface constructed by a hybrid Pd/Bi 2 O 3 cluster ensemble, which is fabricated by a facile stepwise photochemical method. The Pd/Bi 2 O 3 cluster, of which the hybrid structure is elucidated by combined electron microscopy and microanalysis, features a small Pd-Pd coordination number and more importantly a Pd-Bi spatial correlation ascribed to the heterografting between Pd and Bi terminated Bi 2 O 3 clusters. The intra-cluster electron transfer towards Pd across the as-formed nanometer metal/oxide interface significantly weakens the ethylene adsorption without compromising the hydrogen activation. As a result, a 91% selectivity of ethylene and 90% conversion of acetylene can be achieved in a front-end hydrogenation process with a temperature as low as 44 °C.

36 MATERIALS SCIENCE↗

A Formalization of Core Why3 in Coq

Intermediate verification languages like Why3 and Boogie have made it much easier to build program verifiers, transforming the process into a logic compilation problem rather than a proof automation one. Why3 in particular implements a rich logic for program specification with polymorphism, algebraic data types, recursive functions and predicates, and inductive predicates; it translates this logic to over a dozen solvers and proof assistants. Accordingly, it serves as a backend for many tools, including Frama-C, EasyCrypt, and GNATProve for Ada SPARK. But how can we be sure that these tools are correct? The alternate foundational approach, taken by tools like VST and CakeML, provides strong guarantees by implementing the entire toolchain in a proof assistant, but these tools are harder to build and cannot directly take advantage of SMT solver automation. As a first step toward enabling automated tools with similar foundational guarantees, we give a formal semantics in Coq for the logic fragment of Why3. We show that our semantics are useful by giving a correct-by-construction natural deduction proof system for this logic, using this proof system to verify parts of Why3's standard library, and proving sound two of Why3's transformations used to convert terms and formulas into the simpler logics supported by the backend solvers.

97 MATHEMATICS AND COMPUTING↗

Expression of Interest in Contributions to the Electron-Ion Collider: Forward Silicon Vertex/Tracker Developments

The LANL EIC team would like to contribute to the EIC silicon vertex/tracking detector design, construction, commissioning and operation. Our primary focus is for a proposed forward silicon tracker with pseudorapidity coverage from 1 to 3.5 in the nucleon/nuclei beam going (forward) direction at IP-6 of the EIC. LANL LDRD is currently supporting this effort from FY20-FY22 with a funding of $5M. Meanwhile, we are open to collaborate on the other EIC detector sub-systems such as the central, backward silicon vertex/tracking detectors and/or a precision timing detector based on the LGAD technology.

46 INSTRUMENTATION RELATED TO NUCLEAR SCIENCE AND ↗

Development of Transformative Preparation Methods to Push up High Q&G Performance of FRIB Spare HWR Cryomodule Cavities

The FRIB accelerator project construction, a top priority of US nuclear science, was completed in January 2022, and is now moving to user operation. The stable and reliable operation of the accelerating cryomodules is essential in achieving/fulfilling DOE and user expectations. So far, FRIB cryomodules meet all FRIB specifications for cavity performance. However, during the lifetime of machine operation, degradation of cryomodule performance is possible, as reported in similar operating facilities (CEBAF, SNS). If cryomodule degradation is observed at FRIB, the under-performing cryomodule will require replacement/maintenance. In effort to manage operational reliability, FRIB plans to construct a 0.53 half-wave cryomodule to serve as an active spare. In a parallel effort, FRIB will also work toward increasing operational Q and gradient of spare cryomodule cavities to gain an overall performance margin to support future operational reliability. The current FRIB cavity designs have a potential to operate at gradients higher than 8 MV/m, but are currently limited by field emission (FE) and/or high field Q slope (HFQS); known issue in buffered chemical polished (BCP) treated cavities. The proposal looks to develop transformative surface preparation treatments to improve the operational gradient of spare cryomodules higher than 10 MV/m while maintaining high Q. Thus, increasing operational margin by 30 - 50%. With the goal to improve operational reliability set, the proposal will investigate multiple objectives as possible paths forward to achieve an overall increase in cavity performance and gain a better understanding of SRF limiting mechanisms. The proposal will study the application of different chemical surface treatments to 0.53 half-wave cavities, with the addition of low temperature bakes (LTB), and measure their effects on accelerating performance. Proposed chemical treatments to be explored in this proposal include conventional EP acid mixtures, as well as innovated EP and BCP acid mixtures designed to simplify processing paths in migrating FE and HFQS. The proposed transformative treatment wet N-doping also has the potential to replicate recent advancements in SRF technology relating to nitrogen doping and high Q operation without the requirement for an ultra-high vacuum annealing furnace; currently being developed at FNAL and JLAB. In parallel, high Q performance relating to flux trapping will be investigated with the installation of a second layer of magnetic shielding in the vertical test Dewar. The research objectives presented in the proposal, and their corresponding effects on cavity performance, will provide essential knowledge and future guidance to the SRF community and provide possible paths for future SRF based projects and applications.

43 PARTICLE ACCELERATORS↗

Evaluation of the Reconstruction Accuracy of the Ultrasound Model–Based Image Reconstruction (U-MBIR) Method for Concrete to Optimize Damage Detection

Reinforced concrete is a critical structural material used to construct nuclear power plants (NPPs). As such, its safety and performance must be thoroughly examined throughout the life cycle of the NPP infrastructure system. Ultrasonic measurements have been an industry standard for both surface and subsurface inspections. To support the development of these techniques, Oak Ridge National Laboratory (ORNL) has researched and developed advanced image reconstruction algorithms to capture internal damage. The results and discussion presented herein summarize the current state of the ultrasonic model–based iterative reconstruction (U-MBIR) algorithm developed at ORNL. In the work documented in this report, the U-MBIR methodology was applied to four sets of ultrasonic data collected from concrete specimens. The results demonstrate that the U-MBIR algorithm can successfully detect defects within the four concrete samples. The reconstruction images help identify the specimen thickness, regions of delamination, and location of rebar embedded within the concrete. The reconstruction images allow engineers and technicians to characterize the internal defects within concrete specimens and structural members. Ultimately, this knowledge can guide engineers in making informed decisions regarding the performance, safety, and reliability of structural materials (i.e., reinforced concrete) throughout the life cycle of NPPs.

22 GENERAL STUDIES OF NUCLEAR REACTORS↗

The Extended Baryonic Tully–Fisher Relation for SDSS MaNGA Galaxies

The baryonic Tully–Fisher relation (BTFR), a relationship between the rotational velocity and baryonic mass in spiral galaxies, probes the relative content of baryonic and total mass in galaxies and thus provides a good test of dark matter content in galaxies. Using Hα kinematics, we model the rotation curves of the Sloan Digital Sky Survey MaNGA DR17 spiral galaxies. To extend the BTFR to higher masses with elliptical galaxies, we estimate their total masses from their stellar velocity dispersions using the virial theorem and define the effective rotational velocity as the velocity a rotation-supported galaxy would exhibit given this mass. The baryonic mass of spiral galaxies is composed of stellar, H I , H 2 , and He mass, while only the stellar mass is used for the baryonic content of ellipticals. We construct joint BTFRs for 5743 MaNGA spiral and elliptical galaxies, TNG100 simulated galaxies with baryonic masses greater than 10 9 M ⊙ , and a cross-matched subsample between these two datasets (3149 spiral and 1423 elliptical galaxies). For the cross-matched subsample, we find agreement in the slopes between observed and simulated galaxies. We find a slope of $3.8{6}_{-0.62}^{+0.92}$ for the full MaNGA sample, which agrees well with the slope of 4.0 predicted by MOND and the fitted slope of $3.5{8}_{-0.38}^{+0.48}$ for the TNG100 galaxies. We find that a sample of lower-mass galaxies is necessary to differentiate between the two models.

79 ASTRONOMY AND ASTROPHYSICS↗

Nuclear Communication Certification - Summary

Given the increasing threat of climate change and demanding global energy needs, nuclear energy should be an active component of clean energy conversations. Yet, public acceptance and support is severly lacking. It is hypothesized that the culture of nuclear scientists and engineers steering away from associations with the industry plays an important role in the public's associations with nuclear power. A certification has been constructed with communication research and rhetorical theory to equip scientists and engineers with the tools and tactics to take on any type of public interaction, positive or otherwise. A five module program provides a holistic overview of science communication as appiled to nuclear in order to encourage nuclear experts to form relationships and built trust with the public, ultimately helping to rewrite the current nuclear narrative.

99 GENERAL AND MISCELLANEOUS↗

Building the Efficiency Workforce: Preprint

Demand for high-performance homes and buildings is growing due to their marketability, environmental benefits, and increasing affordability. Growth for energy efficient technologies and building upgrades has driven expansion across many traditional industries including construction trades (which added almost 21,000 jobs) and professional services (which added 35,000 employees) in 2018, according to the 2019 U.S. Energy Employment Report (USEER). As buildings become more automated, digitized and interconnected, the workforce that supports the design, build, operations and maintenance of these buildings must evolve. The U.S. Department of Energy’s Building Technologies Office (BTO) has engaged NREL to provide a framework upon which BTO can develop their next generation workforce development strategy. The strategy will be designed to increase quantity of workers with the skills to adequately design, install, maintain and operate high- performance buildings across all building sectors (residential, commercial, industrial). This paper will summarize past BTO workforce development efforts, identify current skills gaps and hiring challenges, and present anticipated future workforce needs based on new technologies currently being developed by labs and industry. Through a literature review and a series of industry and academic workshops, NREL will present a framework that includes multiple options to best prepare the next generation workforce.

buildings↗

Data readiness pipeline patterns for scientific AI at scale: Insights from climate, fusion, life sciences, and materials

This article examines how data readiness for AI principles apply to large scientific datasets used to train foundation models. We analyze archetypal workflows across four representative domains—climate, nuclear fusion, life sciences, and materials—to identify common preprocessing patterns and domain‐specific constraints. We introduce a two‐dimensional readiness model that combines canonical preprocessing patterns with a five‐level operational readiness scale, both tailored to high‐performance computing (HPC) environments. This construct helps outline key challenges in transforming large‐scale scientific data into formats suitable for scalable AI training. Together, these dimensions form a conceptual maturity matrix that characterizes scientific data readiness and guides infrastructure development toward standardized, cross‐domain support for scalable and reproducible AI for science. Finally, we evaluate this maturity matrix in the context of case studies including ClimaX (climate), AFLOW (materials), OpenFold (proteomics), and DIII‐D fusion disruption‐prediction workflows, from which we distill lessons learned and provide recommendations to guide practitioners in developing robust AI‐readiness pipelines. Finally, we discuss remaining cross‐cutting challenges that persist across scientific domains.

97 MATHEMATICS AND COMPUTING↗