Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “FOUNDATION”

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 955 records · Page 53
All sourcesNASA NTRSDOE OSTI
DOE OSTI2015

Structural, Functional, and Immunogenic Insights on Cu,Zn Superoxide Dismutase Pathogenic Virulence Factors from Neisseria meningitidis and Brucella abortus

ABSTRACT Bacterial pathogens Neisseria meningitidis and Brucella abortus pose threats to human and animal health worldwide, causing meningococcal disease and brucellosis, respectively. Mortality from acute N. meningitidis infections remains high despite antibiotics, and brucellosis presents alimentary and health consequences. Superoxide dismutases are master regulators of reactive oxygen and general pathogenicity factors and are therefore therapeutic targets. Cu,Zn superoxide dismutases (SODs) localized to the periplasm promote survival by detoxifying superoxide radicals generated by major host antimicrobial immune responses. We discovered that passive immunization with an antibody directed at N. meningitidis SOD (NmSOD) was protective in a mouse infection model. To define the relevant atomic details and solution assembly states of this important virulence factor, we report high-resolution and X-ray scattering analyses of NmSOD and of SOD from B. abortus (BaSOD). The NmSOD structures revealed an auxiliary tetrahedral Cu-binding site bridging the dimer interface; mutational analyses suggested that this metal site contributes to protein stability, with implications for bacterial defense mechanisms. Biochemical and structural analyses informed us about electrostatic substrate guidance, dimer assembly, and an exposed C-terminal epitope in the NmSOD dimer. In contrast, the monomeric BaSOD structure provided insights for extending immunogenic peptide epitopes derived from the protein. These collective results reveal unique contributions of SOD to pathogenic virulence, refine predictive motifs for distinguishing SOD classes, and suggest general targets for antibacterial immune responses. The identified functional contributions, motifs, and targets distinguishing bacterial and eukaryotic SOD assemblies presented here provide a foundation for efforts to develop SOD-specific inhibitors of or vaccines against these harmful pathogens. IMPORTANCE By protecting microbes against reactive oxygen insults, SODs aid survival of many bacteria within their hosts. Despite the ubiquity and conservation of these key enzymes, notable species-specific differences relevant to pathogenesis remain undefined. To probe mechanisms that govern the functioning of Neisseria meningitidis and Brucella abortus SODs, we used X-ray structures, enzymology, modeling, and murine infection experiments. We identified virulence determinants common to the two homologs, assembly differences, and a unique metal reservoir within meningococcal SOD that stabilizes the enzyme and may provide a safeguard against copper toxicity. The insights reported here provide a rationale and a basis for SOD-specific drug design and an extension of immunogen design to target two important pathogens that continue to pose global health threats.

38 RADIATION CHEMISTRY, RADIOCHEMISTRY, AND NUCLEA↗
DOE OSTI2016

Light Regimes Shape Utilization of Extracellular Organic C and N in a Cyanobacterial Biofilm

ABSTRACT Although it is becoming clear that many microbial primary producers can also play a role as organic consumers, we know very little about the metabolic regulation of photoautotroph organic matter consumption. Cyanobacteria in phototrophic biofilms can reuse extracellular organic carbon, but the metabolic drivers of extracellular processes are surprisingly complex. We investigated the metabolic foundations of organic matter reuse by comparing exoproteome composition and incorporation of 13 C-labeled and 15 N-labeled cyanobacterial extracellular organic matter (EOM) in a unicyanobacterial biofilm incubated using different light regimes. In the light and the dark, cyanobacterial direct organic C assimilation accounted for 32% and 43%, respectively, of all organic C assimilation in the community. Under photosynthesis conditions, we measured increased excretion of extracellular polymeric substances (EPS) and proteins involved in micronutrient transport, suggesting that requirements for micronutrients may drive EOM assimilation during daylight hours. This interpretation was supported by photosynthesis inhibition experiments, in which cyanobacteria incorporated N-rich EOM-derived material. In contrast, under dark, C-starved conditions, cyanobacteria incorporated C-rich EOM-derived organic matter, decreased excretion of EPS, and showed an increased abundance of degradative exoproteins, demonstrating the use of the extracellular domain for C storage. Sequence-structure modeling of one of these exoproteins predicted a specific hydrolytic activity that was subsequently detected, confirming increased EOM degradation in the dark. Associated heterotrophic bacteria increased in abundance and upregulated transport proteins under dark relative to light conditions. Taken together, our results indicate that biofilm cyanobacteria are successful competitors for organic C and N and that cyanobacterial nutrient and energy requirements control the use of EOM. IMPORTANCE Cyanobacteria are globally distributed primary producers, and the fate of their fixed C influences microbial biogeochemical cycling. This fate is complicated by cyanobacterial degradation and assimilation of organic matter, but because cyanobacteria are assumed to be poor competitors for organic matter consumption, regulation of this process is not well tested. In mats and biofilms, this is especially relevant because cyanobacteria produce an extensive organic extracellular matrix, providing the community with a rich source of nutrients. Light is a well-known regulator of cyanobacterial metabolism, so we characterized the effects of light availability on the incorporation of organic matter. Using stable isotope tracing at the single-cell level, we quantified photoautotroph assimilation under different metabolic conditions and integrated the results with proteomics to elucidate metabolic status. We found that cyanobacteria effectively compete for organic matter in the light and the dark and that nutrient requirements and community interactions contribute to cycling of extracellular organic matter.

09 BIOMASS FUELS↗
DOE OSTI2018

At the Nexus of History, Ecology, and Hydrobiogeochemistry: Improved Predictions across Scales through Integration

To improve predictions of ecosystem function in future environments, we need to integrate the ecological and environmental histories experienced by microbial communities with hydrobiogeochemistry across scales. A key issue is whether we can derive generalizable scaling relationships that describe this multiscale integration. There is a strong foundation for addressing these challenges. We have the ability to infer ecological history with null models and reveal impacts of environmental history through laboratory and field experimentation. Recent developments also provide opportunities to inform ecosystem models with targeted omics data. A major next step is coupling knowledge derived from such studies with multiscale modeling frameworks that are predictive under non-steady-state conditions. This is particularly true for systems spanning dynamic interfaces, which are often hot spots of hydrobiogeochemical function. We can advance predictive capabilities through a holistic perspective focused on the nexus of history, ecology, and hydrobiogeochemistry.

Stegen, James C. (ORCID:0000000191357424)↗
DOE OSTI2023

A standardized quantitative analysis strategy for stable isotope probing metagenomics

ABSTRACT Stable isotope probing (SIP) facilitates culture-independent identification of active microbial populations within complex ecosystems through isotopic enrichment of nucleic acids. Many DNA-SIP studies rely on 16S rRNA gene sequences to identify active taxa, but connecting these sequences to specific bacterial genomes is often challenging. Here, we describe a standardized laboratory and analysis framework to quantify isotopic enrichment on a per-genome basis using shotgun metagenomics instead of 16S rRNA gene sequencing. To develop this framework, we explored various sample processing and analysis approaches using a designed microbiome where the identity of labeled genomes and their level of isotopic enrichment were experimentally controlled. With this ground truth dataset, we empirically assessed the accuracy of different analytical models for identifying active taxa and examined how sequencing depth impacts the detection of isotopically labeled genomes. We also demonstrate that using synthetic DNA internal standards to measure absolute genome abundances in SIP density fractions improves estimates of isotopic enrichment. In addition, our study illustrates the utility of internal standards to reveal anomalies in sample handling that could negatively impact SIP metagenomic analyses if left undetected. Finally, we present SIPmg , an R package to facilitate the estimation of absolute abundances and perform statistical analyses for identifying labeled genomes within SIP metagenomic data. This experimentally validated analysis framework strengthens the foundation of DNA-SIP metagenomics as a tool for accurately measuring the in situ activity of environmental microbial populations and assessing their genomic potential. IMPORTANCE Answering the questions, “who is eating what?” and “who is active?” within complex microbial communities is paramount for our ability to model, predict, and modulate microbiomes for improved human and planetary health. These questions can be pursued using stable isotope probing to track the incorporation of labeled compounds into cellular DNA during microbial growth. However, with traditional stable isotope methods, it is challenging to establish links between an active microorganism’s taxonomic identity and genome composition while providing quantitative estimates of the microorganism’s isotope incorporation rate. Here, we report an experimental and analytical workflow that lays the foundation for improved detection of metabolically active microorganisms and better quantitative estimates of genome-resolved isotope incorporation, which can be used to further refine ecosystem-scale models for carbon and nutrient fluxes within microbiomes.

54 ENVIRONMENTAL SCIENCES↗
DOE OSTI2014

Quantum Systems based upon Galois Fields – from Sub-quantum to Super-quantum Correlations

In this paper, we describe our recent work on discrete quantum theory based on Galois fields. In particular, we discuss how discrete quantum theory sheds new light on the foundations of quantum theory and we review an explicit model of super-quantum correlations we have constructed in this context. Additionally, we discuss the larger questions of the origins and foundations of quantum theory, as well as the relevance of super-quantum theory for the quantum theory of gravity.

72 PHYSICS OF ELEMENTARY PARTICLES AND FIELDS↗
DOE OSTI2024

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↗
DOE OSTI2026

Exploring Sustainability in Scientific Software through Code Quality & Test Coverage Metrics

Context: Scientific open-source software (SciOSS) plays a foundational role in research and engineering, yet its long-term sustainability has often been overlooked and remains a significant concern. Objective: This study investigates the long-term sustainability of SciOSS through code and test quality metrics. Method: We analyze CASS Software Portfolio projects, classifying them by sustainability and comparing their code structure, test coverage, and links between code quality and testing across the dataset. Results: Sustainable projects show higher, more consistent test coverage and clearer code-test correlations, while unsustainable ones show weaker patterns. Overall, test coverage is low in scientific software, and high complexity and coupling reduce testability. Conclusion: In this study, we present a practical, data-driven approach for assessing sustainability in scientific software, offering a foundation for evaluating long-term software health and supporting future efforts in quality assurance and sustainability monitoring.

Md mushfiqur rahman, Sheikh [University of Tenness↗
DOE OSTI2018

On the Fundamental and Practical Aspects of Modeling Complex Electrochemical Kinetics and Transport

Numerous technologies, such as batteries and fuel cells, depend on electrochemical kinetics. In some cases, the responsible electrochemistry and charged-species transport is complex. However, to date, there are essentially no general-purpose modeling capabilities that facilitate the incorporation of thermodynamic, kinetic, and transport complexities into the simulation of electrochemical processes. A vast majority of the modeling literature uses only a few (often only one) global charge-transfer reactions, with the rates expressed using Butler-Volmer approximations. The objective of the present paper is to identify common aspects of electrochemistry, seeking a foundational basis for designing and implementing software with general applicability across a wide range of materials sets and applications. The development of new technologies should be accelerated and improved by enabling the incorporation of electrochemical complexity (e.g., multi-step, elementary charge-transfer reactions and as well as supporting ionic and electronic transport) into the analysis and interpretation of scientific results. The spirit of the approach is analogous to the role that Chemkin has played in homogeneous chemistry modeling, especially combustion. The Cantera software, which already has some electrochemistry capabilities, forms the foundation for future capabilities expansion.

30 DIRECT ENERGY CONVERSION↗
DOE OSTI2021

Research on the Influence Mechanism of the High‐Steep Slope on the Deformation Characteristics of Bridge Substructure

With the development of the Chinese railway, the high‐steep slope is irreversible to be faced; especially under severe conditions such as heavy rainfall and earthquake, this kind of slope is prone to geological disasters, which seriously affects the safety and stability of the bridge substructure. Aiming to this, long‐term monitorization and numerical analysis were carried out in this research, and the influence mechanism of the high‐steep slopes on the stress and deformation characteristics of the bridge structure was studied. The research results show that under the effect of rainfall and earthquake, the original stress balance in the high‐steep slope is broken, and the possibility of landslide thrust increases; under the comprehensive impact of residual landslide thrust, traction force at slope foot, vertical gravity of bridge slab and vehicle, and the bridge cap will deform. Besides, the deformation of the bridge pier exceeds the allowable lateral displacement of the top of the bridge pier, reaching 111.7%∼112.4% of the limit, which seriously affects the stability of the bridge structure and the safety of the railway service. Therefore, by increasing the support strength of the slope foot and the diameter of the bridge pile foundation, the traction force of the slope foot can be reduced, and the sliding resistance of the bridge pile foundation can be improved so as the safety of the bridge structure can be promoted.

Zhang, Yufang (ORCID:0000000348912060)↗
DOE OSTI2017

Kokkos Kernels v. 0.9

Linear Algebra Kernels and Graph Kernels are foundational technologies for scientific simulations. These foundational kernels need to run on several computer platforms that are popular for scientific simulations. KokkosKernels provides an implementation of different kernels that is portable to different architectures.

ECP↗
DOE OSTI2025

pnnl/SNAP

In this work, we detail two uncertainty quantification (UQ) methods that provide complementary information. Readout ensembling, by finetuning only the readout layers of an ensemble of foundation models, provides information about model uncertainty. Amending the final readout layer to predict upper and lower quantiles replaces point predictions with distributional predictions, which provide information about uncertainty within the underlying training data. We demonstrate our approach with the MACE-MP-0 model, applying UQ to both the foundation model and a series of finetuned models. The uncertainties produced by the ensemble and quantile methods are demonstrated to be distinct measures by which the quality of the NNP output can be judged.

Pope, Jenna (Bilbrey) [Pacific Northwest National ↗
DOE OSTI2026

SPUS-Small-PDE-U-net-Solver

Small PDE U-Net Solver (SPUS) is a compact and efficient foundation model (FM) designed as a unified neural operator for solving a wide range of partial differentialequations (PDEs). SPUS leverages a lightweight residual U-Net-based architecture as a foundation model architecture. To enable effective learning in this minimalist framework, SPUS utilizes a simple yet powerful auto-regressive pretraining strategy which closely replicates the behavior of numerical solvers to learn the underlying physics. SPUS is designed to be pretrained on a diverse set of fluid dynamics PDEs from public benchmark datasets.

Siddik, Abu↗
DOE OSTI2026

V-HAMSTeR v1.0.0

V-HAMSTeR is a bioinformatics software tool designed to predict the hosts of viruses directly from genomic sequences. It can be used by researchers to predict animal, prokaryotic, plant, protist or fungal viral hosts including viruses that may be fragmented or discovered in environmental metagenomic datasets. Features & Uses: The software employs a novel dual-stream deep learning architecture that dynamically fuses implicit sequence embeddings from a genomic foundation model with 13 explicit, handcrafted biological features (e.g., coding density and strand switch rates). To ensure maximum reliability, V=HAMSTeR deploys a 5-fold deep ensemble calibrated via Joint Temperature Scaling, providing users with statistically rigorous confidence probabilities. It also features an automated sequence chunking and mean-pooling module to seamlessly process variable-length contigs. Advantages Over Similar Technologies: Existing tools (e.g., IPEV, RNAVirHost) typically rely on either basic k-mers or isolated neural networks. V-HAMSTeR's hybrid architecture captures both broad genomic context and specific biological motifs that standalone foundation models often miss. Furthermore, unlike competitor tools that struggle with incomplete data or exhibit extreme overconfidence, V-HAMSTeR is explicitly benchmarked and mathematically calibrated for fragmented assemblies (1kb–10kb). This makes it uniquely robust, accurate, and trustworthy for the messy reality of real-world environmental viromics.

Grigson, Susie [Lawrence Berkeley National Laborat↗
DOE OSTI2026

Improving Process Level Understanding of Boundary Layer Winds over the Northeast U.S. Shelf: The Third Wind Forecast Improvement Project (WFIP3)

The third Wind Forecast Improvement Project (WFIP3), a U.S. Department of Energy and National Oceanic and Atmospheric Administration sponsored investigation, sought to improve understanding of the physical phenomena in the atmosphere and ocean that dictate the structure and variability of wind and thermodynamic fields within the marine atmospheric boundary layer. WFIP3 focused on mesoscale and submesoscale flows -- including sea breezes, low-level jets, low-level clouds, and coastal storms -- and the ability of advanced numerical model parameterizations to represent them within fully coupled oceanic and atmospheric modeling systems and foundational weather forecast models. WFIP3 conducted a comprehensive 18-month observational study over the Northeast U.S. outer continental shelf, a high-use coastal zone, using a 3D multiscale sensor array to highly resolve the temporal, vertical, and horizontal structure of the coupled atmospheric and oceanic boundary layers. Multiple land-based study sites adjacent to the coastal ocean observed surface meteorology and vertical profiles of atmospheric properties via passive infrared and microwave radiometers, active lidars and radars, and radiosondes. At sea, an array of surface flux buoys and two vertical profiling lidar buoys observed both atmospheric and oceanic properties, augmented by land-based oceanographic radar systems and routine ship-based surveys. Intensive observations of the marine atmospheric boundary layer over the ocean was done from an air-sea interaction flux tower and extended deployments of a large autonomous barge platform. Numerous critical forecasting phenomena were observed that are being evaluated within regional coupled and uncoupled modeling systems, including the National Oceanic and Atmospheric Administration's foundational High-Resolution Rapid Refresh forecast model.

Kirincich, Anthony↗
DOE OSTI2019

Cloud, Aerosol and Boundary Layer Structure across the Northeast Pacific Stratocumulus-Cumulus Transition as observed during CSET

During the Cloud System Evolution in the Trades (CSET) field study, 14 research flights of the National Science Foundation G-V sampled the stratocumulus-cumulus transition between Northern California and Hawaii and its synoptic variability. The G-V made vertically resolved measurements of turbulence, cloud microphysics, aerosol characteristics, and trace gases. It also carried dropsondes and a vertically pointing W-band radar and lidar. This paper summarizes these observations with the goals of fostering novel comparisons with theory, models and reanalyses, and satellite-derived products. A longitude-height binning and compositing strategy mitigates limitations of sparse sampling and spatiotemporal variability. Typically, a 1-km-deep decoupled stratocumulus-capped boundary layer near California evolved into 2-km-deep precipitating cumulus clusters surrounded by patches of thin stratus that dissipated toward Hawaii. Low cloud cover was correlated with estimated inversion strength more than with cloud droplet number, even though the thickest clouds were generally precipitating and ultraclean layers indicative of aerosol-cloud-precipitation interaction were common west of 140 degrees W. Accumulation-mode aerosol concentration correlated well with collocated cloud droplet number concentration and was typically largest near the surface. Aitken mode aerosol concentration was typically larger in the free troposphere. Wildfire smoke produced spikes of aerosol and trace gases on some flights. CSET data are compared with space-time collocated output from MERRA-2 reanalysis and from the CAM6 climate model run with winds and temperature nudged toward this reanalysis. The reanalysis compares better with the observed relative humidity than does nudged CAM6. Both vertically diffuse the stratocumulus cloud layer versus observations. MERRA-2 slightly underestimates in situ carbon monoxide measurements and underestimates ozone depletion within the boundary layer.

Bretherton, Christopher S.↗
DOE OSTI2020

On the Impact of Income, Age, and Travel Distance on the Value of Time

The value of time (VOT) is a fundamental component used in transportation modeling, policy analysis, and economic appraisal. Decades of research and practice have empirically estimated the VOT across many factors (e.g., mode, purpose, time, comfort, etc.), yet little is known about its underlying form. Although it is well established that VOT can vary, it is still unclear whether patterns exist in this variation. The objective of this paper is not to merely estimate the VOT, but to model the VOT across multiple continuous and interacting variables. The purpose is to reveal its functional form with respect to mode, age, gender, purpose, income, and time of day to provide a generalizable understanding for future research and practice. Such an understanding can help develop simpler models and reduce the need for bespoke estimations for every conceivable variable perturbation. This research utilized a household travel survey containing 14,159 reported trips with imputed travel time and costs for the alternative mode choices. The average overall estimated VOT is 40.32 $/h, with results showing VOT varying log-linearly with income and trip distance, but following a Gaussian function (normal curve) with age. Overall, the results show that travel distance dominates VOT variation, which increases exponentially at a rate that is 3.61 times higher per mile of distance than per $10,000 of income, and that VOT by age peaks at age 54. This basic understanding of how the VOT varies sets the foundation for answering the subsequent question for why it might vary.

Engineering↗
DOE OSTI2014

Overview of modelling and simulation of metal powder bed fusion process at Lawrence Livermore National Laboratory

The metal laser powder bed fusion additive manufacturing process uses high power lasers to build parts layer upon layer by melting fine metal powders. Qualification of parts produced using this technology is broadly recognised as a significant challenge. Physics based process models have been identified as being foundational to qualification of additively manufactured metal parts. In the present article, a multiscale modelling strategy is described that will serve as the foundation upon which process control and part qualification can be built. This includes a model at the scale of the powder that simulates single track/single multilayer builds and provides powder bed and melt pool thermal data. A second model computationally builds a complete part and predicts manufactured properties (residual stress, dimensional accuracy) in three dimensions. Finally, modelling is tied to experiment through data mining.

36 MATERIALS SCIENCE↗
DOE OSTI2010

An overview of the Hadoop/MapReduce/HBase framework and its current applications in bioinformatics

Bioinformatics researchers are increasingly confronted with analysis of ultra large-scale data sets, a problem that will only increase at an alarming rate in coming years. Recent developments in open source software, that is, the Hadoop project and associated software, provide a foundation for scaling to petabyte scale data warehouses on Linux clusters, providing fault-tolerant parallelized analysis on such data using a programming style named MapReduce. An overview is given of the current usage within the bioinformatics community of Hadoop, a top-level Apache Software Foundation project, and of associated open source software projects. The concepts behind Hadoop and the associated HBase project are defined, and current bioinformatics software that employ Hadoop is described. The focus is on next-generation sequencing, as the leading application area to date.

43 PARTICLE ACCELERATORS↗