Electrical and Computer Engineering Commons^™

A Flexible Fpga-Assisted Framework For Remote Attestation Of Internet Connected Embedded Devices, Jared Russell Patten

Theses and Dissertations

Embedded devices permeate our every day lives. They exist in our vehicles, traffic lights, medical equipment, and infrastructure controls. In many cases, improper functionality of these devices can present a physical danger to their users, data or financial loss, etc. Improper functionality can be a result of software or hardware bugs, but now more than ever, is often the result of malicious compromise and tampering, or as it is known colloquially "hacking". We are beginning to witness a proliferation of cyber-crime, and as more devices are built with internet connectivity (in the so called "Internet of Things"), security should be …

Evolutionary Learning Of Boosted Features For Visual Inspection Automation, Meng Zhang

Theses and Dissertations

Feature extraction is one of the major challenges in object recognition. Features that are extracted from one type of objects cannot always be used directly for a different type of objects, therefore limiting the performance of feature extraction. Having an automatic feature learning algorithm could be a big advantage for an object recognition algorithm. This research first introduces several improvements on a fully automatic feature construction method called Evolution COnstructed Feature (ECO-Feature). These improvements are developed to construct more robust features and make the training process more efficient than the original version. The main weakness of the original ECO-Feature algorithm …

Towards Tools For Achieving Third-Party Ip Assurance, Sean Talbot Jensen

Theses and Dissertations

Intellectual Property (IP) is used to speed up the design process and save money. The use of IP and complex CAD tools reduce visibility into the design and what is actually happening during synthesis and implementation. All of the complexity makes it easier for an attacker to insert malicious logic or tamper with the design in ways that are difficult to detect. Not very much work has been done towards the creation of tools to facilitate the safe use of 3rd-party IP. This work presents Physical and Functional Assurance, two approaches that aim to accomplish this task through physically and …

Compiler-Assisted Software Fault Tolerance For Microcontrollers, Matthew Kendall Bohman

Theses and Dissertations

Commercial off-the-shelf (COTS) microcontrollers can be useful for non-critical processing on spaceborne platforms. Many of these microprocessors are inexpensive and consume little power. However, the software running on these processors is vulnerable to radiation upsets, which can cause unpredictable program execution or corrupt data. Space missions cannot allow these errors to interrupt functionality or destroy gathered data. As a result, several techniques have been developed to reduce the effect of these upsets. Some proposed techniques involve altering the processor hardware, which is impossible for a COTS device. Alternately, the software running on the microcontroller can be modified to detect or …

3d Printed High Density, Reversible, Chip-To-Chip Microfluidic Interconnects, Hua Gong, Adam T. Woolley, Gregory P. Nordin

Faculty Publications

Our latest developments in miniaturizing 3D printed microfluidics [Gong et al., Lab Chip, 2016, 16, 2450; Gong et al., Lab Chip, 2017, 17, 2899] offer the opportunity to fabricate highly integrated chips that measure only a few mm on a side. For such small chips, an interconnection method is needed to provide the necessary world-to-chip reagent and pneumatic connections. In this paper, we introduce simple integrated microgaskets (SIMs) and controlled-compression integrated microgaskets (CCIMs) to connect a small device chip to a larger interface chip that implements world-to-chip connections. SIMs or CCIMs are directly 3D printed as part of the device …

Multiple Target Tracking In Realistic Environments Using Recursive-Ransac In A Data Fusion Framework, Jeffrey Dyke Millard

Theses and Dissertations

Reliable track continuity is an important characteristic of multiple target tracking (MTT) algorithms. In the specific case of visually tracking multiple ground targets from an aerial platform, challenges arise due to realistic operating environments such as video compression artifacts, unmodeled camera vibration, and general imperfections in the target detection algorithm. Some popular visual detection techniques include Kanade-Lucas-Tomasi (KLT)-based motion detection, difference imaging, and object feature matching. Each of these algorithmic detectors has fundamental limitations in regard to providing consistent measurements. In this thesis we present a scalable detection framework that simultaneously leverages multiple measurement sources. We present the recursive random …

Relative Navigation Of Micro Air Vehicles In Gps-Degraded Environments, David Orton Wheeler

Theses and Dissertations

Most micro air vehicles rely heavily on reliable GPS measurements for proper estimation and control, and therefore struggle in GPS-degraded environments. When GPS is not available, the global position and heading of the vehicle is unobservable. This dissertation establishes the theoretical and practical advantages of a relative navigation framework for MAV navigation in GPS-degraded environments. This dissertation explores how the consistency, accuracy, and stability of current navigation approaches degrade during prolonged GPS dropout and in the presence of heading uncertainty. Relative navigation (RN) is presented as an alternative approach that maintains observability by working with respect to a local coordinate …

Real-Time Beamforming Algorithms For The Focal L-Band Array On The Green Bank Telescope, Mark William Ruzindana

Theses and Dissertations

A phased array feed (PAF) provides a contiguous, electronically synthesized wide field of view for large-dish astronomical observatories. Significant progress has been made in recent years in improving the sensitivity of PAF receivers though optimizing the design of the antenna array, cryogenic cooling of the front end, and implementation of real-time correlation and beamforming in digital signal processing. FLAG is a 19 dual-polarized element phased array with cryogenic LNAs, direct digitization of RF signals at the front end, digital signal transport over fiber, and a real time signal processing back end with up to 150 MHz bandwidth. The digital back …

Advancements In Radio Astronomical Array Processing: Digital Back End Development And Interferometric Array Interference Mitigation, Mitchell Costus Burnett

Theses and Dissertations

The Brigham Young University (BYU) Radio Astronomy Systems group, in collaboration with the National Radio Astronomy Observatory (NRAO), the Center for Astrophysics at West Virginia University (WVU), and the Green Bank Observatory (GBO) have developed, and commissioned, a broadband real-time digital back end processing system for a 38-element phased array feed (PAF) with 150 MHz of instantaneous bandwidth. This system is capable of producing coarse and fine channel correlations, and implements a real-time beamformer that forms 7 simultaneous dual-polarized beams. This thesis outlines the hardware and software development for the digital back end and presents on-telescope commissioning results. This system …

Characterization Of Mechanical Properties Of Battery Electrode Films From Acoustic Resonance Measurements, Kathryn Lanae Dallon

Theses and Dissertations

Measurements of the mechanical properties of lithium-ion battery electrode films can be used to quantify and improve manufacturing processes and to predict the mechanical and electrochemical performance of the battery. This thesis demonstrates the use of acoustic resonances to distinguish among commercial-grade battery films with different active electrode materials, thicknesses, and densities. Resonances are excited in a clamped circular area of the film using a pulsed infrared laser or speaker and responses are measured using an electret condenser microphone. A numerical model is used to quantify the sensitivity of resonances to changes in mechanical properties. When the numerical model is …

Phased-Array Feed Instrumentation And Processing For Astronomical Detection, Interference Mitigation, And Transient Parameter Estimation, Richard Allen Black

Theses and Dissertations

Radio astronomy, the survey and study of naturally occurring astronomical radio signals, is a challenging field in terms of engineering requirements. The typical astronomical signal of interest is incredibly faint, resulting in very low signal-to-noise ratios (SNRs) on the order of -30 dB or lower. To detect such signals, one must have an uncommonly low and stable receiver noise temperature, high gain through large aperture reflectors, and state-of-the-art signal processing algorithms. One must also be able to mitigate the effects of interference, the presence of which, even if extremely weak, can completely mask the faint astronomical signals of interest. To …

Extending Motion Detection To Track Stopped Objects In Visual Multi-Target Tracking, Jacob H. White, Karl T. Salva, Randal W. Beard

Student Works

Various solutions to visual multi-target tracking have been proposed, but many of them are not capable of running in real time from a moving camera on an unmanned aerial vehicle (UAV). We present a tracker that runs in real time and tracks multiple objects while accounting for camera motion on a UAV. Our algorithm is capable of processing over 10 frames per second on a 1280x720 video sequence.

We utilize Recursive-RANSAC, an efficient algorithm for tracking multiple objects in clutter. Our work combines motion detection with optical flow and feature matching to allow stationary objects to be tracked. We use …

Design And Evaluation Of A Cmos Contact-Imaging System For Microfluidics, Andres Moroni Galan Cherrez

Theses and Dissertations

A CMOS contact-imaging system for microfluidics is presented. The microsystem integrates a five-layer PDMS microfluidic network and a CMOS image sensor fabricated in a standard 0.18 µ­m technology. The CMOS image sensor consists of two 10×1-pixel array, an amplifier, and a control logic. The imager is able to achieve a low dark signal of 1.67 mV/s, a maximum integration time of 514 s, and a high dynamic range of 75.2 dB at 1 s integration time. The microfluidic device integrates several actuated valve to achieve a fully automated lab-on-a-chip. This work also presents a quantitative comparison of the photomultiplier tube …

Visual Multiple Target Tracking From A Descending Aerial Platform, Parker C. Lusk, Randal Beard

Student Works

A real-time visual multiple target tracker is demonstrated onboard a descending multirotor. Measurements of moving ground targets are generated using the Kanade-Lucas-Tomasi (KLT) tracking method. Homography-based image registration is used to align the measurements into the same coordinate frame, allowing for the detection of independently moving objects. The recently developed Recursive-RANSAC algorithm uses the visual measurements to estimate targets in clutter. Altitude-dependent tuning increases track continuity and coverage during the descent of the vehicle. The algorithm requires no operator interaction and increases the situation awareness of the unmanned aerial system. Real-time tracking efficiency is analyzed on GPUs and CPUs. Tracking …

Relative Target Estimation Using A Cascade Of Extended Kalman Filters, Jerel Nielsen, Randal Beard

Student Works

This paper presents a method of tracking multiple ground targets from an unmanned aerial vehicle (UAV) in a 3D reference frame. The tracking method uses a monocular camera and makes no assumptions on the shape of the terrain or the target motion. The UAV runs two cascaded estimators. The first is an Extended Kalman Filter (EKF), which is responsible for tracking the UAV’s state, such as position and velocity relative to a fixed frame. The second estimator is an EKF that is responsible for estimating a fixed number of landmarks within the camera’s field of view. Landmarks are parameterized by …

Improved Single Molecule Detection Platform Using A Buried Arrow Design, Thomas Allen Wall

Theses and Dissertations

As the microelectronics industry pushes microfabrication processes further, the lab-on-a-chip field has continued to piggy-back off the industry's fabrication capabilities with the goal of producing total chemical and biological systems on small chip-size platforms. One important function of such systems is the ability to perform single molecule detection. There are currently many methods being researched for performing single molecule detection, both macro and micro in scale. This dissertation focuses on an optofluidic, lab-on-a-chip platform called the ARROW biosensor, which possesses several advantages over macro-scale single molecule detection platforms. These advantages include an amplification-free detection scheme, cheap parallel fabrication techniques, rapid …

Relative Navigation Of Autonomous Gps-Degraded Micro Air Vehicles, David O. Wheeler, Daniel P. Koch, James S. Jackson, Gary J. Ellingson, Paul W. Nyholm, Timothy W. Mclain, Randal W. Beard

Faculty Publications

Many current approaches for navigation of micro air vehicles (MAVs) in GPS-degraded environments use a globally-referenced state for estimation and control, even though this state is not observable when GPS is unavailable. By working with respect to a local reference frame, the relative navigation (RN) framework presented in this paper ensures that the state maintains observability and that the uncertainty remains bounded, consistent, and normally-distributed. RN further insulates flight-critical estimation and control processes from the large global updates common in GPS-degraded MAV flight. This paper provides a thorough description of the details needed to successfully implement the RN framework on …

A Graphical Representation Of Exposed Parallelism, Gustavo Enrique Rodriguez Villamizar

Theses and Dissertations

Modern-day microprocessors are measured in part by their parallel performance. Parallelizing sequential programs is a complex task, requiring data dependence analysis of the program constructs. Researchers in the field of parallel optimization are working on shifting the optimization effort from the programmer to the compiler. The goal of this work is for the compiler to visually expose the parallel characteristics of the program to researchers as well as programmers for a better understanding of the parallel properties of their programs. In order to do that we developed Exposed Parallelism Visualization (EPV), a statically-generated graphical tool that builds a parallel task …

Academic Packing For Commercial Fpga Architectures, Travis D. Haroldsen

Theses and Dissertations

With a few exceptions, academic packing algorithms for FPGAs are typically applied solely to theoretical architectures. This has allowed the algorithms to focus on the basic components of packing while abstracting away many of the details dictated by real hardware. As commercially available FPGAs have advanced, however, the academic algorithms and architectures have diverged significantly from their commercial counterparts. In this dissertation, the RapidSmith 2 framework is presented. This framework accurately reflects the architecture of Xilinx FPGAs and provides support for integrating custom tools into the commercial CAD tools. Using this framework, the RSVPack packing algorithm is implemented. The RSVPack …

Vivado Design Interface: Enabling Cad-Tool Design For Next Generation Xilinx Fpga Devices, Thomas James Townsend

Theses and Dissertations

The popularity of field-programmable gate arrays (FPGA) has grown in recent years due to their potential performance advantages over sequential software, and as a prototyping platform for application-specific integrated circuits (ASIC). Vendors such as Xilinx offer automated tool suites that can be used to program FPGAs based on a RTL description. These tool suites are sufficient forgeneral users, but they usually don't provide the opportunity to integrate custom computer-aideddesign (CAD) tools into the regular design flow. Xilinx first offered this capability in their ISE tool suite with the Xilinx Design Language (XDL). Using XDL, a Xilinx design could be extracted …

High-Voltage Measurements Using Slab-Coupled Optical Sensors, Legrand Jared Shumway

Theses and Dissertations

This work highlights slab coupled optical sensors (SCOS) and their ability to measure high voltages. Although other high voltage measurement techniques exist, most of these techniques are electrical devices and are therefore more susceptible to stray ground currents and other electromagnetic interferences (EMI), which may cause signal distortion. Optical sensors are less susceptible to such interferences and these sensors, such as the Pockels cell, have been used in measuring high voltage. SCOS offer an alternative method of measuring high voltage optically. Consisting of an optical fiber and an electro-optic slab waveguide, SCOS have the advantage of being very small in …

Improved Leaky-Mode Waveguide Spatial Light Modulators For Three Dimensional Displays, Scott Alexander Gneiting

Theses and Dissertations

This thesis improves on the design of the leaky-mode spatial light modulator, LMW-SLM, presented by Dr. Smalley[1]. Improvements include: input coupling gratings, a pulsed laser input, output coupling gratings, and a 3D printed adjustable module for the stabilization of critical alignments. First, input coupling gratings reduce the cost of the LMW-SLM from $500 to around $2, a drop in cost of over two orders of magnitude. This enables multiple modulators to be used in a single display and allows for an inexpensive modular design to be created. Second, a pulsed laser input allows for image creation without the use of …

Intensive Mentoring And Micro-Electronics Research For Students In Engineering (Immerse) 2014, Stephen Schultz

Journal of Undergraduate Research

The MEG funds used for this projects supported undergraduate students working in the IMMERSE program starting in the Summer of 2015. IMMERSE employed a total of 35 students, with 14 of them being supervised directly by Dr. Aaron Hawkins and Stephen Schultz. The students working for Drs. Hawkins and Schultz were paid hourly wages for their research work from this MEG grant.

Development Of Poisson Optical Trap For Volumetric Display, Jeremy Goodsell, Daniel Smalley

Journal of Undergraduate Research

The purpose of this project was to develop a new type of optical trap based on Poisson’s famous “Poisson Spot” experiment. The two main methods currently for creating a photophoretic trap are to use dark spots created by spherical aberration (see Fig. 1) or to use vortex beams. In the case of a trap caused by spherical aberration which occurs when using spherical lenses to focus a beam, the particle stays in the dark regions due to photophoretic forces [1,2]. Vortex beams are created by doughnut modes of a laser beam. These are modes of the laser which can be …

Estimation Of Size And Rotations Of Icebergs From Historical Data Utilizing Scatterometer Data, Jeffrey Scott Budge

Theses and Dissertations

In this thesis, the development and methodology of a new, consolidated BYU/NIC Antarctic Iceberg Tracking Database is presented. The new database combines data from the original BYU daily iceberg tracking database derived from scatterometers, and the National Ice Center's weekly Antarctic iceberg tracking database derived from mostly optical and infrared sensors. Using this data, interpolation methods and statistical analyses of iceberg locations are discussed. The intent of this database is to consolidate iceberg location data in order to increase accessibility to users.Active microwave remote sensing instruments are used to track tabular icebergs and provide a daily estimate of their positions …

A Survey Of Sparse Channel Estimation In Aeronautical Telemetry, Christopher James Hogstrom

Theses and Dissertations

Aeronautical telemetry suffers from multipath interference, which can be resolved through the use of equalizers at the receiver. The coefficients of data-aided equalizers are computed from a channel estimate. Most channels seen in aeronautical telemetry are sparse, meaning that most of the coefficients of the channel are zero or nearly zero. The maximum likelihood (ML) estimate does not always produce a sparse channel estimate. This thesis surveys a number of sparse estimation algorithms that produce a sparse channel estimate and compares the post-equalizer bit error rates (BER) using these sparse estimates with the post-equalizer BER using the ML estimate. I …

Flexible Micro-N-Line Probe And Apparatus To Characterize Electronic Conductivity Of Li-Ion Battery Electrode Films, Derek Van Clement

Theses and Dissertations

A key metric that affects Li-ion battery cell performance is the electronic conductivity of the electrode films. Previous research has found that the conductivity of electrodes is not homogeneous throughout the entirety of the deposited film area. To further characterize the non-homogeneity of the conductivity of electrode films, a micro-N-line probe and a micro-flex-line probe were developed to take micro-scale conductivity measurements of thin-film battery electrodes in a non-destructive manner. These devices have been validated by comparing test results to those of it's predecessor, the micro-four-line probe, on various commercial-quality Li-ion battery electrodes. Results show that there is significant variation …

Time-Difference Amplifier For Time-To-Digital Converters, Matthew Padilla, Dr. Shiuh-Hua Wood Chiang

Journal of Undergraduate Research

Currently most digital converters convert from an analog voltage signal to a digital signal. In recent years some progress has been made in converting from an analog time signal to a digital signal. The purpose of this project is to improve upon current designs of time-to-digital converters by making a time-difference amplifier that is more power efficient and less sensitive to variation.

Currently time-to-digital converters are commonly implemented similarly to analog voltage-to-digital converters, using a two-step architecture [1]. In a voltage-to-digital converter, the first stage is a coarse quantizer, and the difference between the voltage signal and the quantization is …

The Effect Of Soaking Time On The Accuracy Of A Vertical Impedance Spectroscopy Probe, Jared Baxter, Brian Mazzeo

Journal of Undergraduate Research

According to the U.S. Department of Transportation, nearly 10% of the nation’s 611,845 brides are structurally deficient. (https://www.fhwa.dot.gov/bridge/nbi/no10/defbr15.cfm) This means that nearly 60,000 active bridges are unsafe. This is a major problem, and one that is not easily solved. Many of these bridges are of significant importance to the nation’s highways and cannot be retired without inconveniencing millions of people. Furthermore, to repair or rebuild all of these bridges would take billions of dollars, a cost that far exceeds Federal Highway Administrations (FHWA) funding.

Gpu Implementation Of Data-Aided Equalizers, Jeffrey Thomas Ravert

Theses and Dissertations

Multipath is one of the dominant causes for link loss in aeronautical telemetry. Equalizers have been studied to combat multipath interference in aeronautical telemetry. Blind equalizers are currently being used with SOQPSK-TG. The Preamble Assisted Equalization (PAQ) project studied data-aided equalizers with SOQPSK-TG. PAQ compares, side-by-side, no equalization, blind equalization, and five data-aided equalization algorithms: ZF, MMSE, MMSE-initialized CMA, and frequency domain equalization. This thesis describes the GPU implementation of data-aided equalizer algorithms. Static lab tests, performed with channel and noise emulators, showed that the MMSE, ZF, and FDE1 show the best and most consistent performance.