Physical Sciences and Mathematics Commons^™

Model-Based Deep Learning For Computational Imaging, Xiaojian Xu

McKelvey School of Engineering Theses & Dissertations

This dissertation addresses model-based deep learning for computational imaging. The motivation of our work is driven by the increasing interests in the combination of imaging model, which provides data-consistency guarantees to the observed measurements, and deep learning, which provides advanced prior modeling driven by data. Following this idea, we develop multiple algorithms by integrating the classical model-based optimization and modern deep learning to enable efficient and reliable imaging. We demonstrate the performance of our algorithms by validating their performance on various imaging applications and providing rigorous theoretical analysis.

The dissertation evaluates and extends three general frameworks, plug-and-play priors (PnP), regularized …

Design & Analysis Of Mixed-Mode Integrated Circuit For Pulse-Shape Discrimination, Bryan Orabutt

McKelvey School of Engineering Theses & Dissertations

In nuclear science experiments it is usually necessary to determine the type of radiation, its energy and direction with considerable accuracy. The detection of neutrons and discriminating them from gamma rays is particularly difficult. A popular method of doing so is to measure characteristics intrinsic to the pulse shape of each radiation type in order to perform pulse-shape discrimination (PSD).

Historically, PSD capable systems have been designed with two approaches in mind: specialized analog circuitry, or digital signal processing (DSP). In this work we propose a PSD capable circuit topology using techniques from both the analog and DSP domains. We …

Continuous-Time And Complex Growth Transforms For Analog Computing And Optimization, Oindrila Chatterjee

McKelvey School of Engineering Theses & Dissertations

Analog computing is a promising and practical candidate for solving complex computational problems involving algebraic and differential equations. At the fundamental level, an analog computing framework can be viewed as a dynamical system that evolves following fundamental physical principles, like energy minimization, to solve a computing task. Additionally, conservation laws, such as conservation of charge, energy, or mass, provide a natural way to couple and constrain spatially separated variables. Taking a cue from these observations, in this dissertation, I have explored a novel dynamical system-based computing framework that exploits naturally occurring analog conservation constraints to solve a variety of optimization …

Machine Learning For Analog/Mixed-Signal Integrated Circuit Design Automation, Weidong Cao

McKelvey School of Engineering Theses & Dissertations

Analog/mixed-signal (AMS) integrated circuits (ICs) play an essential role in electronic systems by processing analog signals and performing data conversion to bridge the analog physical world and our digital information world.Their ubiquitousness powers diverse applications ranging from smart devices and autonomous cars to crucial infrastructures. Despite such critical importance, conventional design strategies of AMS circuits still follow an expensive and time-consuming manual process and are unable to meet the exponentially-growing productivity demands from industry and satisfy the rapidly-changing design specifications from many emerging applications. Design automation of AMS IC is thus the key to tackling these challenges and has been …

Algebraic, Computational, And Data-Driven Methods For Control-Theoretic Analysis And Learning Of Ensemble Systems, Wei Miao

McKelvey School of Engineering Theses & Dissertations

In this thesis, we study a class of problems involving a population of dynamical systems under a common control signal, namely, ensemble systems, through both control-theoretic and data-driven perspectives. These problems are stemmed from the growing need to understand and manipulate large collections of dynamical systems in emerging scientific areas such as quantum control, neuroscience, and magnetic resonance imaging. We examine fundamental control-theoretic properties such as ensemble controllability of ensemble systems and ensemble reachability of ensemble states, and propose ensemble control design approaches to devise control signals that steer ensemble systems to desired profiles. We show that these control-theoretic properties …

Aerosol Vapor Synthesis Of Organic Processable Pedot Particles And Measuring Electric Conductivity Using A 3d Printed Probe Station, Yang Lu

McKelvey School of Engineering Theses & Dissertations

Conducting polymers are organic semiconductors characterized by conjugated backbones (alternating single-double bonds) that enable mixed ionic-electronic conductivity. Their polymeric nature, tunable band structure and reversible redox capability have demonstrated fundamental advances in the fields ranging from electrochemical energy storage, sensing, to electro/photo catalysis and neuromorphic engineering. Conjugated backbones, the origin of all the unique physical and chemical properties associated with conducting polymers, prevent their solubility due to high lattice energy which hinders processing. Current solution utilizes a long-chain polymer (PSS) as dopants to render conducting polymer water dispersible (PEDOT:PSS). Nonetheless, PSS is highly acidic and hydrophilic limiting applicability with acid-incompatible …

Holistic Control For Cyber-Physical Systems, Yehan Ma

McKelvey School of Engineering Theses & Dissertations

The Industrial Internet of Things (IIoT) are transforming industries through emerging technologies such as wireless networks, edge computing, and machine learning. However, IIoT technologies are not ready for control systems for industrial automation that demands control performance of physical processes, resiliency to both cyber and physical disturbances, and energy efficiency. To meet the challenges of IIoT-driven control, we propose holistic control as a cyber-physical system (CPS) approach to next-generation industrial automation systems. In contrast to traditional industrial automation systems where computing, communication, and control are managed in isolation, holistic control orchestrates the management of cyber platforms (networks and computing platforms) …

Deep Learning For Task-Based Image Quality Assessment In Medical Imaging, Weimin Zhou

McKelvey School of Engineering Theses & Dissertations

It has been advocated to use objective measures of image quality (IQ) for assessing and optimizing medical imaging systems. Objective measures of IQ quantify the performance of an observer at a specific diagnostic task. Binary signal detection tasks and joint signal detection and localization (detection-localization) tasks are commonly considered in medical imaging. When optimizing imaging systems for binary signal detection tasks, the performance of the Bayesian Ideal Observer (IO) has been advocated for use as a figure-of-merit (FOM). The IO maximizes the observer performance that is summarized by the receiver operating characteristic (ROC) curve. When signal detection-localization tasks are considered, …

Machine Learning Morphisms: A Framework For Designing And Analyzing Machine Learning Work Ows, Applied To Separability, Error Bounds, And 30-Day Hospital Readmissions, Eric Zenon Cawi

McKelvey School of Engineering Theses & Dissertations

A machine learning workflow is the sequence of tasks necessary to implement a machine learning application, including data collection, preprocessing, feature engineering, exploratory analysis, and model training/selection. In this dissertation we propose the Machine Learning Morphism (MLM) as a mathematical framework to describe the tasks in a workflow. The MLM is a tuple consisting of: Input Space, Output Space, Learning Morphism, Parameter Prior, Empirical Risk Function. This contains the information necessary to learn the parameters of the learning morphism, which represents a workflow task. In chapter 1, we give a short review of typical tasks present in a workflow, as …

Structural Organization And Chemical Activity Revealed By New Developments In Single-Molecule Fluorescence And Orientation Imaging, Tianben Ding

McKelvey School of Engineering Theses & Dissertations

Single-molecule (SM) fluorescence and its localization are important and versatile tools for understanding and quantifying dynamical nanoscale behavior of nanoparticles and biological systems. By actively controlling the concentration of fluorescent molecules and precisely localizing individual single molecules, it is possible to overcome the classical diffraction limit and achieve 'super-resolution' with image resolution on the order of 10 nanometers.

Single molecules also can be considered as nanoscale sensors since their fluorescence changes in response to their local nanoenvironment. This dissertation discusses extending this SM approach to resolve heterogeneity and dynamics of nanoscale materials and biophysical structures by using positions and orientations …

Convex Relaxations For Particle-Gradient Flow With Applications In Super-Resolution Single-Molecule Localization Microscopy, Hesam Mazidisharfabadi

McKelvey School of Engineering Theses & Dissertations

Single-molecule localization microscopy (SMLM) techniques have become advanced bioanalytical tools by quantifying the positions and orientations of molecules in space and time at the nanoscale. With the noisy and heterogeneous nature of SMLM datasets in mind, we discuss leveraging particle-gradient flow 1) for quantifying the accuracy of localization algorithms with and without ground truth and 2) as a basis for novel, model-driven localization algorithms with empirically robust performance. Using experimental data, we demonstrate that overlapping images of molecules, a typical consequence of densely packed biological structures, cause biases in position estimates and reconstruction artifacts. To minimize such biases, we develop …

Investigating Single Precision Floating General Matrix Multiply In Heterogeneous Hardware, Steven Harris

McKelvey School of Engineering Theses & Dissertations

The fundamental operation of matrix multiplication is ubiquitous across a myriad of disciplines. Yet, the identification of new optimizations for matrix multiplication remains relevant for emerging hardware architectures and heterogeneous systems. Frameworks such as OpenCL enable computation orchestration on existing systems, and its availability using the Intel High Level Synthesis compiler allows users to architect new designs for reconfigurable hardware using C/C++. Using the HARPv2 as a vehicle for exploration, we investigate the utility of several of the most notable matrix multiplication optimizations to better understand the performance portability of OpenCL and the implications for such optimizations on this and …

Instrumentation For Dynamic Nuclear Polarization And Application Of Electron Decoupling For Electron Relaxation Measurement, Nicholas Howard Alaniva

Arts & Sciences Electronic Theses and Dissertations

Dynamic nuclear polarization nuclear magnetic resonance (DNP NMR) exploits internal electron spin and nuclear spin interactions to increase sensitivity and uncover valuable information regarding structure and dynamics of a system. To manipulate these interactions, instrumentation is developed to combine high-power microwave and radiofrequency irradiation with the ability to spin samples at the magic angle (MAS) at temperatures from 90 K to 4.2 K. Electron decoupling uses frequency-modulated microwaves to mitigate the electron-nuclear dipolar interaction, improving signal intensity and resolution in DNP NMR experiments. Electron decoupling is combined with short DNP periods to encode electron spin information in polarized nuclear signal. …

Polarization Division Multiplexing For Optical Data Communications, Darko Ivanovich

McKelvey School of Engineering Theses & Dissertations

Multiple parallel channels are ubiquitous in optical communications, with spatial division multiplexing (separate physical paths) and wavelength division multiplexing (separate optical wavelengths) being the most common forms. In this research work, we investigate the viability of polarization division multiplexing, the separation of distinct parallel optical communication channels through the polarization properties of light. We investigate polarization division multiplexing based optical communication systems in five distinct parts. In the first part of the work, we define a simulation model of two or more linearly polarized optical signals (at different polarization angles) that are transmitted through a common medium (e.g., air), filtered …

Nanopower Analog Frontends For Cyber-Physical Systems, Kenji Aono

McKelvey School of Engineering Theses & Dissertations

In a world that is increasingly dominated by advances made in digital systems, this work will explore the exploiting of naturally occurring physical phenomena to pave the way towards a self-powered sensor for Cyber-Physical Systems (CPS). In general, a sensor frontend can be broken up into a handful of basic stages: transduction, filtering, energy conversion, measurement, and interfacing. One analog artifact that was investigated for filtering was the physical phenomenon of hysteresis induced in current-mode biquads driven near or at their saturation limit. Known as jump resonance, this analog construct facilitates a higher quality factor to be brought about without …

Self-Powered Time-Keeping And Time-Of-Occurrence Sensing, Liang Zhou

McKelvey School of Engineering Theses & Dissertations

Self-powered and passive Internet-of-Things (IoT) devices (e.g. RFID tags, financial assets, wireless sensors and surface-mount devices) have been widely deployed in our everyday and industrial applications. While diverse functionalities have been implemented in passive systems, the lack of a reference clock limits the design space of such devices used for applications such as time-stamping sensing, recording and dynamic authentication. Self-powered time-keeping in passive systems has been challenging because they do not have access to continuous power sources. While energy transducers can harvest power from ambient environment, the intermittent power cannot support continuous operation for reference clocks. The thesis of this …

Robust Engineering Of Dynamic Structures In Complex Networks, Walter Botongo Bomela

McKelvey School of Engineering Theses & Dissertations

Populations of nearly identical dynamical systems are ubiquitous in natural and engineered systems, in which each unit plays a crucial role in determining the functioning of the ensemble. Robust and optimal control of such large collections of dynamical units remains a grand challenge, especially, when these units interact and form a complex network. Motivated by compelling practical problems in power systems, neural engineering and quantum control, where individual units often have to work in tandem to achieve a desired dynamic behavior, e.g., maintaining synchronization of generators in a power grid or conveying information in a neuronal network; in this dissertation, …

Instrumentation For Cryogenic Dynamic Nuclear Polarization And Electron Decoupling In Rotating Solids, Faith Joellen Scott

Arts & Sciences Electronic Theses and Dissertations

Dynamic nuclear polarization (DNP) increases the sensitivity of nuclear magnetic resonance (NMR) using the higher polarization of electron radical spins compared to nuclear spins. The addition of electron radicals for DNP to the sample can cause hyperfine broadening, which decreases the resolution of the NMR resonances due to hyperfine interactions between electron and nuclear spins. Electron decoupling has been shown to attenuate the effects of hyperfine coupling in rotating solids. Magic angle spinning (MAS) DNP with electron decoupling requires a high electron Rabi frequency provided by a high-power microwave source such as a frequency-agile gyrotron. This dissertation describes the development …

Numerical Methods For Nonlinear Optimal Control Problems And Their Applications In Indoor Climate Control, Runxin He

McKelvey School of Engineering Theses & Dissertations

Efficiency, comfort, and convenience are three major aspects in the design of control systems for residential Heating, Ventilation, and Air Conditioning (HVAC) units. In this dissertation, we study optimization-based algorithms for HVAC control that minimizes energy consumption while maintaining a desired temperature, or even human comfort in a room. Our algorithm uses a Computer Fluid Dynamics (CFD) model, mathematically formulated using Partial Differential Equations (PDEs), to describe the interactions between temperature, pressure, and air flow. Our model allows us to naturally formulate problems such as controlling the temperature of a small region of interest within a room, or to control …

Goggle Augmented Imaging And Navigation System For Fluorescence-Guided Surgery, Suman Bikash Mondal

McKelvey School of Engineering Theses & Dissertations

Surgery remains the only curative option for most solid tumors. The standard-of-care usually involves tumor resection and sentinel lymph node biopsy for cancer staging. Surgeons rely on their vision and touch to distinguish healthy from cancer tissue during surgery, often leading to incomplete tumor resection that necessitates repeat surgery. Sentinel lymph node biopsy by conventional radioactive tracking exposes patients and caregivers to ionizing radiation, while blue dye tracking stains the tissue highlighting only superficial lymph nodes. Improper identification of sentinel lymph nodes may misdiagnose the stage of the cancer. Therefore there is a clinical need for accurate intraoperative tumor and …

A General Framework Of Large-Scale Convex Optimization Using Jensen Surrogates And Acceleration Techniques, Soysal Degirmenci

McKelvey School of Engineering Theses & Dissertations

In a world where data rates are growing faster than computing power, algorithmic acceleration based on developments in mathematical optimization plays a crucial role in narrowing the gap between the two. As the scale of optimization problems in many fields is getting larger, we need faster optimization methods that not only work well in theory, but also work well in practice by exploiting underlying state-of-the-art computing technology.

In this document, we introduce a unified framework of large-scale convex optimization using Jensen surrogates, an iterative optimization method that has been used in different fields since the 1970s. After this general treatment, …

Optical Resonators And Fiber Tapers As Transducers For Detection Of Nanoparticles And Bio-Molecules, Huzeyfe Yilmaz

McKelvey School of Engineering Theses & Dissertations

In recent years, detection of biological interactions on single molecule level has aspired many researchers to investigate several optical, chemical, electrical and mechanical sensing tools. Among these tools, toroidal optical resonators lead the way in detection of the smallest particle/molecule with the real time measurements. In this work, bio-sensing capabilities of toroidal optical resonators are investigated. Bio-sensing is realized via measuring the analyte-antigen interaction while the antigen is immobilized through a novel functionalization method.

Not long ago, detection of single nanoparticles using optical resonators has been accomplished however the need for cost-effective and practical transducers demands simpler tools. A tapered …