Engineering Papers⌕ Search

SEARCH · Engineering Papers

Results for “Tutorial”

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 37 records · Page 2

Transport of intensity equation: a tutorial

When it comes to “phase measurement” or “quantitative phase imaging”, many people will automatically connect them with “laser” and “interferometry”. Indeed, conventional quantitative phase imaging and phase measurement techniques generally rely on the superposition of two beams with a high degree of coherence: complex interferometric configurations, stringent requirements on the environmental stabilities, and associated laser speckle noise severely limit their applications in optical imaging and microscopy. On a different note, as one of the most well-known phase retrieval approaches, the transport of intensity equation (TIE) provides a new non-interferometric way to access quantitative phase information through intensity only measurement. Despite the insufficiency for interferometry, TIE is applicable under partially coherent illuminations (like the Köhler’s illumination in a conventional microscope), permitting optimum spatial resolution, higher signal-to-noise ratio, and better image quality. In this tutorial, we give an overview of the basic principle, research fields, and representative applications of TIE, focus particularly on optical imaging, metrology, and microscopy. The purpose of this tutorial is twofold. It should serve as a self-contained introduction to TIE for readers with little or no knowledge of TIE. On the other hand, it attempts to give an overview of recent developments in this field. These results highlight a new era in which strict coherence and interferometry are no longer prerequisites for quantitative phase imaging and diffraction tomography, paving the way toward new generation label-free three-dimensional microscopy, with applications in all branches of biomedicine.

42 ENGINEERING↗

Uncertainty quantification in machine learning for engineering design and health prognostics: A tutorial

On top of machine learning (ML) models, uncertainty quantification (UQ) functions as an essential layer of safety assurance that could lead to more principled decision making by enabling sound risk assessment and management. The safety and reliability improvement of ML models empowered by UQ has the potential to significantly facilitate the broad adoption of ML solutions in high-stakes decision settings, such as healthcare, manufacturing, and aviation, to name a few. In this tutorial, we aim to provide a holistic lens on emerging UQ methods for ML models with a particular focus on neural networks and the applications of these UQ methods in tackling engineering design as well as prognostics and health management problems. Towards this goal, we start with a comprehensive classification of uncertainty types, sources, and causes pertaining to UQ of ML models. Next, we provide a tutorial-style description of several state-of-the-art UQ methods: Gaussian process regression, Bayesian neural network, neural network ensemble, and deterministic UQ methods focusing on spectral-normalized neural Gaussian process. Established upon the mathematical formulations, we subsequently examine the soundness of these UQ methods quantitatively and qualitatively (by a toy regression example) to examine their strengths and shortcomings from different dimensions. Then, we review quantitative metrics commonly used to assess the quality of predictive uncertainty in classification and regression problems. Afterward, we discuss the increasingly important role of UQ of ML models in solving challenging problems in engineering design and health prognostics. In conclusion, two case studies with source codes available on GitHub are used to demonstrate these UQ methods and compare their performance in the life prediction of lithium-ion batteries at the early stage (case study 1) and the remaining useful life prediction of turbofan engines (case study 2).

97 MATHEMATICS AND COMPUTING↗

Tutorial review on structure – dendrite growth relations in metal battery anode supports

This tutorial review explains the emerging understanding of the surface and bulk chemistry – electrochemical performance relations in anode supports (aka secondary current collectors, substrates, templates, hosts) for lithium, sodium and potassium metal batteries (LMBs, SMBs or NMBs, and KMBs or PMBs). In relation to each section, the possible future research directions that may yield both new insight and improved cycling behavior are explored. Representative case studies from Li, Na and K metal anode literature are discussed. The tutorial starts with an overview of the solid electrolyte interphase (SEI), covering both the “classic” understanding of the SEI structure and the “modern” insights obtained by site-specific cryogenic stage TEM analysis. Next, the multiple roles of supports in promoting cycling stability are detailed. Without an optimized support architecture, the metal–electrolyte interface becomes geometrically unstable at a lower current density and cycle number. Taking into consideration the available literature on LMBs, SMBs and KMBs, it is concluded that effective architectures are geometrically complex and electrochemically lithiophilic, sodiophilic or potassiophilic, so as to promote conformal electrochemical wetting of the metal during plating/stripping. One way that philicity is achieved is through support oxygen surface chemistry, which yields a reversibly reactive metal–support interface. Examples of this include the well-known oxygen–carbon moieties in reduced graphene oxide (rGO), as well as classic ion battery reversible conversion reaction oxides such as SnO 2 . Unreactive surfaces lead to dewetted island growth of the metal, which is a precursor to dendrites, and possibly to non-uniform dissolution. Surveying the literature on various Li, Na and K metal supports, it is concluded that the key bulk thermodynamic property that will predict electrochemical wetting behavior is the enthalpy of infinite solution (Δ sol H ∞ ) of the metal (solute) into the support (solvent). Large and negative Δ sol H ∞ promotes uniform metal wetting on the support surface, corresponding to relatively low plating overpotential. Positive Δ sol H ∞ promotes dewetted islands and a relatively high overpotential. This simple rule explains a broad range of studies on Li, Na and K metal – support interactions, including the previously reported correlation between mutual solubility and wetting.

25 ENERGY STORAGE↗

Tutorial: Reactive high power impulse magnetron sputtering (R-HiPIMS)

High Power Impulse Magnetron Sputtering (HiPIMS) is a coating technology that combines magnetron sputtering with pulsed power concepts. Furthermore, by applying power in pulses of high amplitude and a relatively low duty cycle, large fractions of sputtered atoms and near-target gases are ionized. In contrast to conventional magnetron sputtering, HiPIMS is characterized by self-sputtering or repeated gas recycling for high and low sputter yield materials, respectively, and both for most intermediate materials. The dense plasma in front of the target has the dual function of sustaining the discharge and providing plasma-assistance to film growth, affecting the microstructure of growing films. Many technologically interesting thin films are compound films, which are composed of one or more metals and a reactive gas, most often oxygen or nitrogen. When reactive gas is added, non-trivial consequences arise for the system because the target may become “poisoned,” i.e., a compound layer forms on the target surface affecting the sputtering yield and the yield of secondary electron emission and thereby all other parameters. It is emphasized that the target state depends not only on the reactive gas' partial pressure (balanced via gas flow and pumping) but also on the ion flux to the target, which can be controlled by pulse parameters. This is a critical technological opportunity for reactive HiPIMS (R-HiPIMS). The scope of this tutorial is focused on plasma processes and mechanisms of operation and only briefly touches upon film properties. It introduces R-HiPIMS in a systematic, step-by-step approach by covering sputtering, magnetron sputtering, reactive magnetron sputtering, pulsed reactive magnetron sputtering, HiPIMS, and finally R-HiPIMS. The tutorial is concluded by considering variations of R-HiPIMS known as modulated pulsed power magnetron sputtering and deep-oscillation magnetron sputtering and combinations of R-HiPIMS with superimposed dc magnetron sputtering.

75 CONDENSED MATTER PHYSICS, SUPERCONDUCTIVITY AND↗

A Tutorial on Bayesian analysis of linear shock compression data

Gas gun and other shock compression experiments often produce shock wave velocity measurements that are linearly associated with particle velocity. Traditionally, this empirical relationship is quantified with a single Hugoniot curve that is estimated using least squares regression. However, for downstream modeling and simulation tasks, it is often more useful to have multiple Hugoniot curves in the pressure–volume plane that are consistent with the data. We employ Bayesian uncertainty quantification methods as a framework for propagating measurement uncertainty through to model parameters and predictions. Specifically, this Tutorial shows how to sample multiple Hugoniot curves in the pressure–volume plane that are consistent with the shock wave-particle velocity measurements in a two-step Bayesian approach. First, we obtain an analytical expression for the posterior distribution of the linear model parameters using Bayesian linear regression. Second, we propagate samples from the posterior distribution through the Rankine–Hugoniot equations to yield Hugoniot curves in the pressure–volume plane. The procedure is demonstrated with publicly available data on argon, copper, and nickel, and compared against bootstrapping and linear regression. The Bayesian procedure is shown to be interpretable, computationally inexpensive, and less sensitive than an alternative bootstrapping approach to the removal of the point in the copper dataset that has the largest particle velocity. As a Tutorial on Bayesian methodology for the shock compression community, we provide several derivations and explanations that make this paper self-contained, and make all code and data available at github.com/llnl/BALSCD.

71 CLASSICAL AND QUANTUM MECHANICS, GENERAL PHYSIC↗

Enhancing Smart Home Privacy: A Tutorial on Local Differential Privacy Techniques for Frequency and Mean Estimation

The ubiquity of Internet of Things (IoT) systems has seamlessly integrated into our daily lives, particularly in smart homes where devices continuously monitor and optimize our living environments. These systems significantly contribute to home automation, energy efficiency, and overall comfort. However, this widespread connectivity poses inherent risks linked to the streaming of sensitive household data, necessitating robust privacy preservation mechanisms. This tutorial systematically examines privacy preservation through local differential privacy (LDP), with a particular focus on frequency and mean estimation techniques for smart home applications. Here, we present a comprehensive taxonomy of smart home data formats and provide detailed implementation guidance for event-based and w-event LDP mechanisms. Through practical examples using smart thermostats and HVAC systems, we demonstrate how these techniques can be effectively deployed in real-world scenarios. The tutorial concludes by examining emerging research directions, including adaptive privacy budgets and federated learning approaches, establishing a foundation for privacy-preserving smart home deployments.

Kotevska, Olivera [Oak Ridge National Laboratory (↗

Learning Distribution Grid Topologies: A Tutorial

Unveiling feeder topologies from data is of paramount importance to advance situational awareness and proper utilization of smart resources in power distribution grids. This tutorial summarizes, contrasts, and establishes useful links between recent works on topology identification and detection schemes that have been proposed for power distribution grids. The primary focus is to highlight methods that overcome the limited availability of measurement devices in distribution grids, while enhancing topology estimates using conservation laws of power-flow physics and structural properties of feeders. Grid data from phasor measurement units or smart meters can be collected either passively in the traditional way, or actively, upon actuating grid resources and measuring the feeder's voltage response. Analytical claims on feeder identifiability and detectability are reviewed under disparate meter placement scenarios. Such topology learning claims can be attained exactly or approximately so via algorithmic solutions with various levels of computational complexity, ranging from least-squares fits to convex optimization problems, and from polynomial-time searches over graphs to mixed-integer programs. Although the emphasis is on radial single-phase feeders, extensions to meshed and/or multiphase circuits are sometimes possible and discussed. Here this tutorial aspires to provide researchers and engineers with knowledge of the current state-of-the-art in tractable distribution grid learning and insights into future directions of work.

24 POWER TRANSMISSION AND DISTRIBUTION↗

High Performance Computing tutorials

This source code includes tutorials targeting a general audience that will help users to use high performance computing environments and systems at Livermore Computing and beyond. Examples of HPC tools covered include mpi and posix. Tutorials may include source code demonstrating usage.

Herriman, JaneE.↗

Rubin Observatory LSST Tutorials

A collection of tutorials -- both Jupyter notebooks and documentation-based --- demonstrating data access, analysis, and visualization techniques for the Vera C. Rubin Observatory Legacy Survey of Space and Time (LSST). These tutorials are intended for astronomers, educators, and data scientists working with LSST data products.

Vera C. Rubin Observatory, NSF-DOE↗

Fundamentals and emerging optical applications of hexagonal boron nitride: a tutorial

Hexagonal boron nitride (hBN), also known as white graphite, is a transparent layered crystal with a wide bandgap. Its crystal structure resembles graphite, featuring layers composed of honeycomb lattices held together through van der Waals forces. The layered crystal structure of hBN facilitates exfoliation into thinner flakes and makes it highly anisotropic in in-plane and out-of-plane directions. Unlike graphite, hBN is both insulating and transparent, making it an ideal material for isolating devices from the environment and acting as a waveguide. As a result, hBN has found extensive applications in optical devices, electronic devices, and quantum photonic devices. This comprehensive tutorial aims to provide readers with a thorough understanding of hBN, covering its synthesis, lattice and spectroscopic characterization, and various applications in optoelectronic and quantum photonic devices. This tutorial is designed for both readers without prior experience in hBN and those with expertise in specific fields seeking to understand its relevance and connections to others.

36 MATERIALS SCIENCE↗

Pre-metered coating flow models with Goma 7: Workflow Tutorial

Tutorials for modeling of slot-die and slide-die coating flows with Goma 7, an open source finite element code, are presented. The tutorials cover the workflow to attaining steady state solutions for these flows, and continuation strategies for navigating the operating windows. Advanced topics of coating window prediction, automated multiparameter continuation, non-Newtonian rheology, dynamic contact line modeling, and some more solution strategies are also covered.

08 HYDROGEN↗

Model Calibration with Markov Chain Monte Carlo Tutorial

The purpose of this tutorial is to demonstrate how to use Markov chain Monte Carlo (MCMC) to calibrate a model. By calibration, we mean the selection of model parameters (and, when relevant, structures). A common goal in model development and diagnostics is calibration, or the identification of model structures and parameters which are consistent with data. While models can be calibrated through hand-tuning parameters or minimizing simple error metrics such as root-mean-square-error (RMSE), these approaches can underrepresent the probabilistic nature of the data-generating process, as well as the potential for multiple model configurations to be consistent with the data. Probabilistic uncertainty quantification, which is the topic of this notebook, can address these concerns. This tutorial is presented as an appendix to the e-book: Addressing Uncertainty in MultiSector Dynamics Research.

Markov chain Monte Carlo↗

RTN-045: Guidelines for User Tutorials

This document defines the guidelines, principles, and formats for user-facing tutorials that demonstrate how to use the Rubin Science Platform (RSP) to analyze data from the Legacy Survey of Space and Time (LSST). All Rubin staff and the broader science community should use these guidelines when contributing to the sets of Jupyter Notebook or documentation-based tutorials maintained by the Rubin Community Science team (CST).

79 ASTRONOMY AND ASTROPHYSICS↗

Modcomp version of tutorial input

The version of tutorial input implemented on the Modcomp used for antenna control at DSS 13 is described. Emphasis is on the use of the tutorial input; program operation is described to the extent that it makes the use more understandable. Flow charts are provided.

Moyd, K. I.↗

Tutorial: Performance and reliability in redundant disk arrays

A disk array is a collection of physically small magnetic disks that is packaged as a single unit but operates in parallel. Disk arrays capitalize on the availability of small-diameter disks from a price-competitive market to provide the cost, volume, and capacity of current disk systems but many times their performance. Unfortunately, relative to current disk systems, the larger number of components in disk arrays leads to higher rates of failure. To tolerate failures, redundant disk arrays devote a fraction of their capacity to an encoding of their information. This redundant information enables the contents of a failed disk to be recovered from the contents of non-failed disks. The simplest and least expensive encoding for this redundancy, known as N+1 parity is highlighted. In addition to compensating for the higher failure rates of disk arrays, redundancy allows highly reliable secondary storage systems to be built much more cost-effectively than is now achieved in conventional duplicated disks. Disk arrays that combine redundancy with the parallelism of many small-diameter disks are often called Redundant Arrays of Inexpensive Disks (RAID). This combination promises improvements to both the performance and the reliability of secondary storage. For example, IBM's premier disk product, the IBM 3390, is compared to a redundant disk array constructed of 84 IBM 0661 3 1/2-inch disks. The redundant disk array has comparable or superior values for each of the metrics given and appears likely to cost less. In the first section of this tutorial, I explain how disk arrays exploit the emergence of high performance, small magnetic disks to provide cost-effective disk parallelism that combats the access and transfer gap problems. The flexibility of disk-array configurations benefits manufacturer and consumer alike. In contrast, I describe in this tutorial's second half how parallelism, achieved through increasing numbers of components, causes overall failure rates to rise. Redundant disk arrays overcome this threat to data reliability by ensuring that data remains available during and after component failures.

Gibson, Garth A.↗

An elementary tutorial on formal specification and verification using PVS

A tutorial on the development of a formal specification and its verification using the Prototype Verification System (PVS) is presented. The tutorial presents the formal specification and verification techniques by way of specific example - an airline reservation system. The airline reservation system is modeled as a simple state machine with two basic operations. These operations are shown to preserve a state invariant using the theorem proving capabilities of PVS. The technique of validating a specification via 'putative theorem proving' is also discussed and illustrated in detail. This paper is intended for the novice and assumes only some of the basic concepts of logic. A complete description of user inputs and the PVS output is provided and thus it can be effectively used while one is sitting at a computer terminal.

Butler, Ricky W.↗

pFUnit 3.0 Tutorial Advanced

This tutorial will introduce Fortran developers to unit-testing and test-driven development (TDD) using pFUnit. As with other unit-testing frameworks, pFUnit, simplifies the process of writing, collecting, and executing tests while providing clear diagnostic messages for failing tests. pFUnit specifically targets the development of scientific-technical software written in Fortran and includes customized features such as: assertions for multi-dimensional arrays, distributed (MPI) and thread-based (OpenMP) parallellism, and flexible parameterized tests.These sessions will include numerous examples and hands-on exercises that gradually build in complexity. Attendees are expected to have working knowledge of F90, but familiarity with object-oriented syntax in F2003 and MPI will be of benefit for the more advanced examples. By the end of the tutorial the audience should feel comfortable in applying pFUnit within their own development environment.

Test Driven using pFUnit↗