Engineering Commons^™

Formal Analysis Of Arithmetic Circuits Using Computer Algebra - Verification, Abstraction And Reverse Engineering, Cunxi Yu

Doctoral Dissertations

Despite a considerable progress in verification and abstraction of random and control logic, advances in formal verification of arithmetic designs have been lagging. This can be attributed mostly to the difficulty in an efficient modeling of arithmetic circuits and datapaths without resorting to computationally expensive Boolean methods, such as Binary Decision Diagrams (BDDs) and Boolean Satisfiability (SAT), that require “bit blasting”, i.e., flattening the design to a bit-level netlist. Approaches that rely on computer algebra and Satisfiability Modulo Theories (SMT) methods are either too abstract to handle the bit-level nature of arithmetic designs or require solving computationally expensive decision or …

Analyses Of Densely Crosslinked Phenolic Systems Using Low Field Nmr, Jigneshkumar Patel

Doctoral Dissertations

A uniform dispersion of reactants is necessary to achieve a complete reaction involving multi-components, especially for the crosslinking of rigid high-performance materials. In these reactions, miscibility is crucial for curing efficiency. This miscibility is typically enhanced by adding a third component, a plasticizer. For the reaction of the highly crystalline crosslinking agent hexamethylenetetramine (HMTA) with a strongly hydrogen-bonded phenol formaldehyde resin, furfural has been traditionally used as the plasticizer. However, the reason for its effectiveness is not clear. In this doctoral thesis work, miscibility and crosslinking efficiency of plasticizers in phenolic curing reactions are studied by thermal analysis and spectroscopic …

Adaft: A Resource-Efficient Framework For Adaptive Fault-Tolerance In Cyber-Physical Systems, Ye Xu

Doctoral Dissertations

Cyber-physical systems frequently have to use massive redundancy to meet application requirements for high reliability. While such redundancy is required, it can be activated adaptively, based on the current state of the controlled plant. Most of the time the physical plant is in a state that allows for a lower level of fault-tolerance. Avoiding the continuous deployment of massive fault-tolerance will greatly reduce the workload of CPSs. In this dissertation, we demonstrate a software simulation framework (AdaFT) that can automatically generate the sub-spaces within which our adaptive fault-tolerance can be applied. We also show the theoretical benefits of AdaFT, and …

Three-Dimensional Memristor Integrated Circuits And Applications, Peng Lin

Doctoral Dissertations

New computing paradigms are highly demanded in the “Big Data” era to efficiently process, store and extract useful information from overwhelmingly rich amount of data. New computing systems based on large scale memristor circuits emerges as a very promising candidate due to its capability to both store and process information, thus eliminating the von Neumann bottleneck in the conventional complementary metal oxide semiconductor (CMOS) based computers. As the lateral scaling of the device geometry approaching its physical limit, three-dimensional stacking of multiple device layers becomes necessary to further increase the packing density. Moreover, innovations in the 3D circuits design can …

Autoplug: An Automated Metadata Service For Smart Outlets, Lurdh Pradeep Reddy Ambati

Masters Theses

Low-cost network-connected smart outlets are now available for monitoring, controlling, and scheduling the energy usage of electrical devices. As a result, such smart outlets are being integrated into automated home management systems, which remotely control them by analyzing and interpreting their data. However, to effectively interpret data and control devices, the system must know the type of device that is plugged into each smart outlet. Existing systems require users to manually input and maintain the outlet metadata that associates a device type with a smart outlet. Such manual operation is time-consuming and error-prone: users must initially inventory all outlet-to-device mappings, …

Energy Efficient Loop Unrolling For Low-Cost Fpgas, Naveen Kumar Dumpala

Masters Theses

Many embedded applications implement block ciphers and sorting and searching algorithms which use multiple loop iterations for computation. These applications often demand low power operation. The power consumption of designs varies with the implementation choices made by designers. The sequential implementation of loop operations consumes minimal area, but latency and clock power are high. Alternatively, loop unrolling causes high glitch power. In this work, we propose a low area overhead approach for unrolling loop iterations that exhibits reduced glitch power. A latch based glitch filter is introduced that reduces the propagation of glitches from one iteration to next. We explore …

Magneto-Electric Approximate Computational Framework For Bayesian Inference, Sourabh Kulkarni

Masters Theses

Probabilistic graphical models like Bayesian Networks (BNs) are powerful artificial-intelligence formalisms, with similarities to cognition and higher order reasoning in the human brain. These models have been, to great success, applied to several challenging real-world applications. Use of these formalisms to a greater set of applications is impeded by the limitations of the currently used software-based implementations. New emerging-technology based circuit paradigms which leverage physical equivalence, i.e., operating directly on probabilities vs. introducing layers of abstraction, promise orders of magnitude increase in performance and efficiency of BN implementations, enabling networks with millions of random variables. While majority of applications with …

Skynet: Memristor-Based 3d Ic For Artificial Neural Networks, Sachin Bhat

Masters Theses

Hardware implementations of artificial neural networks (ANNs) have become feasible due to the advent of persistent 2-terminal devices such as memristor, phase change memory, MTJs, etc. Hybrid memristor crossbar/CMOS systems have been studied extensively and demonstrated experimentally. In these circuits, memristors located at each cross point in a crossbar are, however, stacked on top of CMOS circuits using back end of line processing (BOEL), limiting scaling. Each neuron’s functionality is spread across layers of CMOS and memristor crossbar and thus cannot support the required connectivity to implement large-scale multi-layered ANNs.

This work proposes a new fine-grained 3D integrated circuit technology …

Oracle Guided Incremental Sat Solving To Reverse Engineer Camouflaged Circuits, Xiangyu Zhang

Masters Theses

This study comprises two tasks. The first is to implement gate-level circuit camouflage techniques. The second is to implement the Oracle-guided incremental de-camouflage algorithm and apply it to the camouflaged designs.

The circuit camouflage algorithms are implemented in Python, and the Oracle- guided incremental de-camouflage algorithm is implemented in C++. During this study, I evaluate the Oracle-guided de-camouflage tool (Solver, in short) performance by de-obfuscating the ISCAS-85 combinational benchmarks, which are camouflaged by the camouflage algorithms. The results show that Solver is able to efficiently de-obfuscate the ISCAS-85 benchmarks regardless of camouflaging style, and is able to do so 10.5x …

A Magnetic Resonance Compatible Knee Extension Ergometer, Youssef Jaber

Masters Theses

The product of this thesis aims to enable the study of the biochemical and physical dynamics of the lower limbs at high levels of muscle tension and fast contraction speeds. This is accomplished in part by a magnetic resonance (MR) compatible ergometer designed to apply a load as a torque of up to 420 Nm acting against knee extension at speeds as high as 4.7 rad/s. The system can also be adapted to apply the load as a force of up to 1200 N acting against full leg extension. The ergometer is designed to enable the use of magnetic resonance …

Covert Wireless Communications In A Dynamic Environment, Tamara V. Sobers

Doctoral Dissertations

This dissertation investigates covert communication in dynamic wireless communication environments. A key goal is to provide insight about the capabilities of a transmitter desiring to remain covert and analogously, the capabilities of the party attempting to detect covert communications. The first chapter provides background on covert communications prior to this work. The second chapter studies the theoretical limits of covert communication and proves that positive rate is achievable when a jammer is added to the classical Alice/Bob/Warden Willie model. The third chapter expands on the second chapter by considering more generally the impact of the dynamics of the environment on …

Customizing Vehicular Ad Hoc Networks To Individual Drivers And Traffic Conditions, Ali Rakhshan

Doctoral Dissertations

This dissertation studies the ability to individualize vehicular ad hoc networks (VANETs) in order to improve safety. Adapting a VANET to both its individual drivers' characteristics and traffic conditions enables it to transmit in a smart manner to other vehicles. This improvement is now possible due to the progress that is being made in VANETs. To accomplish this adaptation, our approach is to use VANET data to learn drivers' characteristics. This information along with the traffic data, can be used to customize the VANETs to individual drivers. In this dissertation, we show that this process benefits all the drivers by …

Dynamic Range Limitations Of Low-Noise Microwave Transistors At Cryogenic Temperatures, Ahmet Hakan Coskun

Doctoral Dissertations

Dynamic range is an important metric that specifies the limits of input signal amplitude for the ideal operation of a given receiver. The low end of dynamic range is defined by the noise floor whereas the upper limit is determined by large-signal distortion. While dynamic range can be predicted in the temperature range where compact transistor models are valid, the lack of large-signal models at temperatures below -55 C prevents the prediction and optimization of dynamic range for applications that require cryogenic cooling. For decades, the main goal concerning the performance of these applications was lowering the noise floor of …

Indoor Navigation For The Blind And Visually Impaired: Validation And Training Methodology Using Virtual Reality, Sili Wang

Masters Theses

In this thesis we propose a navigation instruction validation tool and an user training tool for PERCEPT system.

The validation tool evaluates the navigation instructions using a virtual reality environment by ensuring that each path in the virtual environment can be traversed by following the navigation instructions. This validation tool will serve as a first automatic validation of navigation instructions prior to testing them with blind and visually impaired users.

The user-training tool enables the blind user to explore and get familiar with the real environment by using the virtual environment generated in the Unity3d based game. The user interacts …

Kasi: A Ka-Band And S-Band Cross-Track Interferometer, Gerard Ruiz Carregal

Masters Theses

A dual-frequency system is needed to better understand natural processes that constitute the environment and seasonal cycles of the Earth. A system working at two different wavelengths acquiring data simultaneously will give a valuable dataset since the conditions on the ground will be exactly the same. Hence, elements such as wind, soil moisture or any other changes on the ground will not interfere in the mea- surements. This thesis explains how an S-band radar was built and tested. Moreover, the experiments done with a Ka-band radar used as a scatterometer are explained as well as the data processing and analysis. …

Explorations Into Machine Learning Techniques For Precipitation Nowcasting, Aditya Nagarajan

Masters Theses

Recent advances in cloud-based big-data technologies now makes data driven solutions feasible for increasing numbers of scientific computing applications. One such data driven solution approach is machine learning where patterns in large data sets are brought to the surface by finding complex mathematical relationships within the data. Nowcasting or short-term prediction of rainfall in a given region is an important problem in meteorology. In this thesis we explore the nowcasting problem through a data driven approach by formulating it as a machine learning problem.

State-of-the-art nowcasting systems today are based on numerical models which describe the physical processes leading to …

Time Domain Sar Processing With Gpus For Airborne Platforms, Dustin Lagoy

Masters Theses

A time-domain backprojection processor for airborne synthetic aperture radar (SAR) has been developed at the University of Massachusetts’ Microwave Remote Sensing Lab (MIRSL). The aim of this work is to produce a SAR processor capable of addressing the motion compensation issues faced by frequency-domain processing algorithms, in order to create well focused SAR imagery suitable for interferometry. The time-domain backprojection algorithm inherently compensates for non-linear platform motion, dependent on the availability of accurate measurements of the motion. The implementation must manage the relatively high computational burden of the backprojection algorithm, which is done using modern graphics processing units (GPUs), programmed …

The Impact Of Quantum Size Effects On Thermoelectric Performance In Semiconductor Nanostructures, Adithya Kommini

Masters Theses

An increasing need for effective thermal sensors, together with dwindling energy resources, have created renewed interests in thermoelectric (TE), or solid-state, energy conversion and refrigeration using semiconductor-based nanostructures. Effective control of electron and phonon transport due to confinement, interface, and quantum effects has made nanostructures a good way to achieve more efficient thermoelectric energy conversion. This thesis studies the two well-known approaches: confinement and energy filtering, and implements improvements to achieve higher thermoelectric performance. The effect of confinement is evaluated using a 2D material with a gate and utilizing the features in the density of states. In addition to that, …

Effective Denial Of Service Attack On Congestion Aware Adaptive Network On Chip, Vijaya Deepak Kadirvel

Masters Theses

Network-On-Chip (NoC) architecture forms the new design framework in extending single processor to multiprocessor SoC. Similar to other SoCs and systems, NoCs are also susceptible to Denial of Service (DoS) attacks which degrade the performance by limiting the availability of resources to the processing cores. The stability of NoC is maintained by employing hardware monitors to detect illegal/abnormal activity or by congestion aware arbitration to obfuscate and balance the network load. Typical DoS attack model selects a random target resource and injects multiple flooding flits to reduce its functionality. The random DoS attack will not be practically effective on congestion …

Image Processing And Understanding Based On Graph Similarity Testing: Algorithm Design And Software Development, Jieqi Kang

Doctoral Dissertations

Image processing and understanding is a key task in the human visual system. Among all related topics, content based image retrieval and classification is the most typical and important problem. Successful image retrieval/classification models require an effective fundamental step of image representation and feature extraction. While traditional methods are not capable of capturing all structural information on the image, using graph to represent the image is not only biologically plausible but also has certain advantages. Graphs have been widely used in image related applications. Traditional graph-based image analysis models include pixel-based graph-cut techniques for image segmentation, low-level and high-level image …

Topography Measurements Using An Airborne Ka-Band Fmcw Interferometric Synthetic Aperture Radar, Kan Fu

Doctoral Dissertations

Radar interferometry at millimeter-wave frequencies has the ability of topography measurement of different types of terrain, such as water surfaces and tree canopies. A Ka-band interferometric radar was mounted on an airborne platform, and flown over the Connecticut river region in western Massachusetts near Amherst on June 11, 2012. More than 20 Gigabytes of raw data was recorded. This dissertation outline presents the results of the data processing, which includes (1) the estimation and removal of the embedded high frequency phase error in the raw data; (2) the synthetic aperture processing; (3) the interferometric processing. The digital elevation model (DEM) …