SEARCH · Engineering Papers
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.
Section 6 of 8 sections comprising a bibliography on reactor fuel reprocessing and waste disposal is presented. The complete collection includes about 7000 abstracts, most of which were obtained from Nuclear Science Abstracts. Most of the material dates from the 1955 Geneva Conference to the present.
Physics-informed machine learning (PIML) is a set of methods and tools that systematically integrate machine learning (ML) algorithms with physical constraints and abstract mathematical models developed in scientific and engineering domains. As opposed to purely data-driven methods, {PIML} models can be trained from additional information obtained by enforcing physical laws such as energy and mass conservation. More broadly, {PIML} models can include abstract properties and conditions such as stability, convexity, or invariance. The basic premise of {PIML} is that the integration of ML and physics can yield more effective, physically consistent, and data-efficient models. This paper aims to provide a tutorial-like overview of the recent advances in {PIML} for dynamical system modeling and control. Specifically, the paper covers an overview of the theory, fundamental concepts and methods, tools, and applications on topics of: 1) physics-informed learning for system identification; 2) physics-informed learning for control; 3) analysis and verification of {PIML} models; and 4) physics-informed digital twins. The paper is concluded with a perspective on open challenges and future research opportunities.
High-level synthesis (HLS) research generally focuses on transferring "software engineering virtues" (e.g., modularity, abstraction, extensibility, etc.) to hardware development with the ultimate goal of making hardware development as agile as software development. And recent HLS research has focused on transferring ideas and techniques from high assurance software formal methods to hardware development. Just as it has introduced software engineering virtues, we believe HLS can also become a vector for adapting software formal methods to the challenge of high assurance security in hardware. This paper introduces the Device Calculus and its mechanization in the Agda proof checking system. The Device Calculus is a starting point for exploring the formal methods and security of high-level synthesis flows. We illustrate the Device Calculus with a number of examples of formally verifiable security templates-i.e., functions in the Device Calculus that express common security structures at a high-level of abstraction.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Abstract not provided.
Topic modeling is a crucial technique in natural language processing (NLP), enabling the extraction of latent themes from large text corpora. Traditional topic modeling, such as Latent Dirichlet Allocation (LDA), faces limitations in capturing the semantic relationships in the text document although it has been widely applied in text mining. BERTopic, created in 2022, leveraged advances in deep learning and can capture the contextual relationships between words. In this work, we integrated Artificial Intelligence (AI) modules to LDA and BERTopic and provided a comprehensive comparison on the analysis of prescription opioid-related cardiovascular risks in women. Opioid use can increase the risk of cardiovascular problems in women such as arrhythmia, hypotension etc. 1,837 abstracts were retrieved and downloaded from PubMed as of April 2024 using three Medical Subject Headings (MeSH) words: “opioid,” “cardiovascular,” and “women.” Machine Learning of Language Toolkit (MALLET) was employed for the implementation of LDA. BioBERT was used for document embedding in BERTopic. Eighteen was selected as the optimal topic number for MALLET and 23 for BERTopic. ChatGPT-4-Turbo was integrated to interpret and compare the results. The short descriptions created by ChatGPT for each topic from LDA and BERTopic were highly correlated, and the performance accuracies of LDA and BERTopic were similar as determined by expert manual reviews of the abstracts grouped by their predominant topics. The results of the t-SNE (t-distributed Stochastic Neighbor Embedding) plots showed that the clusters created from BERTopic were more compact and well-separated, representing improved coherence and distinctiveness between the topics. Our findings indicated that AI algorithms could augment both traditional and contemporary topic modeling techniques. In addition, BERTopic has the connection port for ChatGPT-4-Turbo or other large language models in its algorithm for automatic interpretation, while with LDA interpretation must be manually, and needs special procedures for data pre-processing and stop words exclusion. Therefore, while LDA remains valuable for large-scale text analysis with resource constraints, AI-assisted BERTopic offers significant advantages in providing the enhanced interpretability and the improved semantic coherence for extracting valuable insights from textual data.
The reaction of NH 2 radicals with C 3 H 8 is crucial for understanding the combustion behavior of NH 3 /C 3 H 8 blends. In this study, we investigated the temperature dependence of the rate coefficients for the hydrogen abstraction reactions of C 3 H 8 by NH 2 radicals using high-level theoretical approaches. The potential energy surface was constructed at the CCSD(T)/cc-pV(T, Q)//M06-2X/aug-cc-pVTZ level of theory, and the rate coefficients were computed using conventional transition state theory, incorporating the corrections for quantum tunneling and hindered internal rotors (HIR). The computed rate coefficients showed a strong curvature in the Arrhenius behavior, capturing the experimental literature data well at low temperatures. However, at T > 1500 K, the theory severely overpredicted the experimental data. The available theoretical studies did not align with the experiment at high temperatures, and the possible reasons for this discrepancy are discussed. At 300 K, the reaction of NH 2 with C 3 H 8 predominantly occurs at the secondary C-H site, which accounts for approximately 95% of the total reaction flux. However, the hydrogen abstraction reaction at the primary C-H site becomes the dominant reaction above 1700 K. A composite kinetic model was built, which incorporated the computed rate coefficients for NH 2 + C 3 H 8 reactions. The importance of NH 2 + C 3 H 8 reactions in predicting the combustion behavior of NH 3 /C 3 H 8 blends was demonstrated by kinetic modeling.
Abstract We present a scalable, cloud-based science platform solution designed to enable next-to-the-data analyses of terabyte-scale astronomical tabular data sets. The presented platform is built on Amazon Web Services (over Kubernetes and S3 abstraction layers), utilizes Apache Spark and the Astronomy eXtensions for Spark for parallel data analysis and manipulation, and provides the familiar JupyterHub web-accessible front end for user access. We outline the architecture of the analysis platform, provide implementation details and rationale for (and against) technology choices, verify scalability through strong and weak scaling tests, and demonstrate usability through an example science analysis of data from the Zwicky Transient Facility’s 1Bn+ light-curve catalog. Furthermore, we show how this system enables an end user to iteratively build analyses (in Python) that transparently scale processing with no need for end-user interaction. The system is designed to be deployable by astronomers with moderate cloud engineering knowledge, or (ideally) IT groups. Over the past 3 yr, it has been utilized to build science platforms for the DiRAC Institute, the ZTF partnership, the LSST Solar System Science Collaboration, and the LSST Interdisciplinary Network for Collaboration and Computing, as well as for numerous short-term events (with over 100 simultaneous users). In a live demo instance, the deployment scripts, source code, and cost calculators are accessible. 4 4 http://hub.astronomycommons.org/
Abstract not provided.
Abstract not provided.
Abstract. Aerosol indirect radiative forcing (IRF), which characterizes how aerosols alter cloud formation and properties, is very sensitive to the preindustrial (PI) aerosol burden. Dimethyl sulfide (DMS), emitted from the ocean, is a dominant natural precursor of non-sea-salt sulfate in the PI and pristine present-day (PD) atmospheres. Here we revisit the atmospheric oxidation chemistry of DMS, particularly under pristine conditions, and its impact on aerosol IRF. Based on previous laboratory studies, we expand the simplified DMS oxidation scheme used in the Community Atmospheric Model version 6 with chemistry (CAM6-chem) to capture the OH-addition pathway and the H-abstraction pathway and the associated isomerization branch. These additional oxidation channels of DMS produce several stable intermediate compounds, e.g., methanesulfonic acid (MSA) and hydroperoxymethyl thioformate (HPMTF), delay the formation of sulfate, and, hence, alter the spatial distribution of sulfate aerosol and radiative impacts. The expanded scheme improves the agreement between modeled and observed concentrations of DMS, MSA, HPMTF, and sulfate over most marine regions, based on the NASA Atmospheric Tomography (ATom), the Aerosol and Cloud Experiments in the Eastern North Atlantic (ACE-ENA), and the Variability of the American Monsoon Systems (VAMOS) Ocean-Cloud-Atmosphere-Land Study Regional Experiment (VOCALS-REx) measurements. We find that the global HPMTF burden and the burden of sulfate produced from DMS oxidation are relatively insensitive to the assumed isomerization rate, but the burden of HPMTF is very sensitive to a potential additional cloud loss. We find that global sulfate burden under PI and PD emissions increase to 412 Gg S (+29 %) and 582 Gg S (+8.8 %), respectively, compared to the standard simplified DMS oxidation scheme. The resulting annual mean global PD direct radiative effect of DMS-derived sulfate alone is −0.11 W m−2. The enhanced PI sulfate produced via the gas-phase chemistry updates alone dampens the aerosol IRF as anticipated (−2.2 W m−2 in standard versus −1.7 W m−2, with updated gas-phase chemistry). However, high clouds in the tropics and low clouds in the Southern Ocean appear particularly sensitive to the additional aqueous-phase pathways, counteracting this change (−2.3 W m−2). This study confirms the sensitivity of aerosol IRF to the PI aerosol loading and the need to better understand the processes controlling aerosol formation in the PI atmosphere and the cloud response to these changes.
Abstract. Tikhonov regularization is a tool for reducing noise amplification during data inversion. This work introduces RegularizationTools.jl, a general-purpose software package for applying Tikhonov regularization to data. The package implements well-established numerical algorithms and is suitable for systems of up to ∼ 1000 equations. Included is an abstraction to systematically categorize specific inversion configurations and their associated hyperparameters. A generic interface translates arbitrary linear forward models defined by a computer function into the corresponding design matrix. This obviates the need to explicitly write out and discretize the Fredholm integral equation, thus facilitating fast prototyping of new regularization schemes associated with measurement techniques. Example applications include the inversion involving data from scanning mobility particle sizers (SMPSs) and humidified tandem differential mobility analyzers (HTDMAs). Inversion of SMPS size distributions reported in this work builds upon the freely available software DifferentialMobilityAnalyzers.jl. The speed of inversion is improved by a factor of ∼ 200, now requiring between 2 and 5 ms per SMPS scan when using 120 size bins. Previously reported occasional failure to converge to a valid solution is reduced by switching from the L-curve method to generalized cross-validation as the metric to search for the optimal regularization parameter. Higher-order inversions resulting in smooth, denoised reconstructions of size distributions are now included in DifferentialMobilityAnalyzers.jl. This work also demonstrates that an SMPS-style matrix-based inversion can be applied to find the growth factor frequency distribution from raw HTDMA data while also accounting for multiply charged particles. The outcome of the aerosol-related inversion methods is showcased by inverting multi-week SMPS and HTDMA datasets from ground-based observations, including SMPS data obtained at Bodega Marine Laboratory during the CalWater 2/ACAPEX campaign and co-located SMPS and HTDMA data collected at the US Department of Energy observatory located at the Southern Great Plains site in Oklahoma, USA. Results show that the proposed approaches are suitable for unsupervised, nonparametric inversion of large-scale datasets as well as inversion in real time during data acquisition on low-cost reduced-instruction-set architectures used in single-board computers. The included software implementation of Tikhonov regularization is freely available, general, and domain-independent and thus can be applied to many other inverse problems arising in atmospheric measurement techniques and beyond.