Engineering Commons^™

Understanding Timing Error Characteristics From Overclocked Systolic Multiply-Accumulate Arrays In Fpgas, Andrew S. Chamberlin

All Graduate Theses and Dissertations, Fall 2023 to Present

Artificial Intelligence (AI) is one of the biggest fields of research for computer hardware right now. Hardware accelerators are chips (such as graphics cards) that are purpose built to be the best at a specific type of operation. AI hardware accelerators are a growing field of research. Part of hardware in general is a digital clock that controls the pace at which computations occur. If this clock runs too quickly, the hardware won't have enough time to finish its computation. We call that a timing error. This paper focuses on studying the characteristics of timing errors in a small custom …

When Is An Owl More Than An Owl? An Interaction Analysis Of A Computer Science Co-Design Conversation On Cultural Relevance, Stephanie M. Robillard, Victor R. Lee, Jody Clarke-Midura, Jessica F. Shumway

Publications

The learning sciences community is currently exploring new ways to enact productive and equitable co-design research-practice partnerships that are sensitive to all the concerns and needs of stakeholders. The paper contributes to that still-growing literature through an interaction analysis of a co-design discussion involving school district partners that unfolded about cultural relevance and sensitivity in relation to the use of a specific image in an elementary school coding lesson. The episode involved looking moment-by-moment at how district educators recognized and acknowledged that a specific design decision could be harmful for a minoritized population of students enrolled in the district. However, …

Probabilistic Verification For Modular Network-On-Chip Systems, Jonah W. Boe

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Modeling physical systems with formal analysis tools can help in the design of more fault-proof systems, by helping to determine if unpredictable or unwanted behavior may occur. Probabilistic verification further advances such processes, by providing quantitative information about the system. More complex systems can especially benefit from formal modeling and verification, as testing the physical system in every possible condition manually, can be extremely complex, and often impossible.

There is a growing interest in the application of Network-on-Chip (NoC) systems. NoCs can help simplify communication between the subsystems of many technologies, including the ever more complex multicore processors being produced. …

Design Of Environment Aware Planning Heuristics For Complex Navigation Objectives, Carter D. Bailey

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

A heuristic is the simplified approximations that helps guide a planner in deducing the best way to move forward. Heuristics are valued in many modern AI algorithms and decision-making architectures due to their ability to drastically reduce computation time. Particularly in robotics, path planning heuristics are widely leveraged to aid in navigation and exploration. As the robotic platform explores and navigates, information about the world can and should be used to augment and update the heuristic to guide solutions. Complex heuristics that can account for environmental factors, robot capabilities, and desired actions provide optimal results with little wasted exploration, but …

English-To-Ipa Transcription, Riley Roberts

Undergraduate Honors Capstone Projects

The purpose of this project was to create a tool that could automate English-to-IPA (International Phonetic Alphabet) transcription. Research was done to determine what would be required to perform such a transcription. After researching and experimenting with existing tools, it was determined that developing the signal processing and Artificial Intelligence model portion of the application would be too intensive to successfully complete within the timeframe of this project.

The choice was made to develop an iOS application, with the Python library Allosaurus used to do the speech processing and as the Artificial Intelligence model. This model was then deployed in …

On Correctness, Precision, And Performance In Quantitative Verification: Qcomp 2020 Competition Report, Carlos E. Budde, Arnd Hartmanns, Michaela Klauck, Jan Křetínský, David Parker, Tim Quatmann, Andrea Turrini, Zhen Zhang

Electrical and Computer Engineering Faculty Publications

Quantitative verification tools compute probabilities, expected rewards, or steady-state values for formal models of stochastic and timed systems. Exact results often cannot be obtained efficiently, so most tools use floating-point arithmetic in iterative algorithms that approximate the quantity of interest. Correctness is thus defined by the desired precision and determines performance. In this paper, we report on the experimental evaluation of these trade-offs performed in QComp 2020: the second friendly competition of tools for the analysis of quantitative formal models. We survey the precision guarantees - ranging from exact rational results to statistical confidence statements - offered by the nine …

Nsf Engineering Research Center For Advancing Sustainability Through Powered Infrastructure For Roadway Electrification (Aspire), Zane Regan

Funded Research Records

No abstract provided.

Decoding Ldpc Codes With Probabilistic Local Maximum Likelihood Bit Flipping, Rejoy Roy Mathews

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Communication channels are inherently noisy making error correction coding a major topic of research for modern communication systems. Error correction coding is the addition of redundancy to information transmitted over communication channels to enable detection and recovery of erroneous information. Low-density parity-check (LDPC) codes are a class of error correcting codes that have been effective in maintaining reliability of information transmitted over communication channels. Multiple algorithms have been developed to benefit from the LDPC coding scheme to improve recovery of erroneous information. This work develops a matrix construction that stores the information error probability statistics for a communication channel. This …

Predicting Critical Warps In Near-Threshold Gpgpu Applications Using A Dynamic Choke Point Analysis, Sourav Sanyal

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

General purpose graphics processing units (GP-GPU), owing to their enormous thread-level parallelism, can significantly improve the power consumption at the near-threshold (NTC) operating region, while offering close to a super-threshold performance. However, process variation (PV) can drastically reduce the GPU performance at NTC. In this work, choke points—a unique device-level characteristic of PV at NTC—that can exacerbate the warp criticality problem in GPUs have been explored. It is shown that the modern warp schedulers cannot tackle the choke point induced critical warps in an NTC GPU. Additionally, Choke Point Aware Warp Speculator, a circuit-architectural solution is proposed to dynamically …

Stamina: Stochastic Approximate Model-Checker For Infinite-State Analysis, Thakur Neupane

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Reliable operation of every day use computing system, from simple coffee machines to complex flight controller system in an aircraft, is necessary to save time, money, and in some cases lives. System testing can check for the presence of unwanted execution but cannot guarantee the absence of such. Probabilistic model checking techniques have demonstrated significant potential in verifying performance and reliability of various systems whose execution are defined with likelihood. However, its inability to scale limits its applicability in practice.

This thesis presents a new model checker, STAMINA, with efficient and scalable model truncation for probabilistic verification. STAMINA uses a …

Stochastic Methods To Find Maximum Likelihood For Spam E-Mail Classification, Seyed M. -H. Mansourbeigi

Computer Science Student Research

The increasing volume of unsolicited bulk e-mails leads to the need for reliable stochastic spam detection methods for the classification of the received sequence of e-mails. When a sequence of emails is received by a recipient during a time period, the spam filters have already classified them as spam or not spam. Due to the dynamic nature of the spam, there might be emails marked as not spam but are actually real spams and vice versa. For the sake of security, it is important to be able to detect real spam emails. This paper utilizes stochastic methods to refine the …

The Internet Of Energy: Architectures, Cyber Security, And Applications, Kun Wang, Yan Zhang, Song Guo, Mianxiong Dong, Rose Qingyang Hu, Lei He

Electrical and Computer Engineering Faculty Publications

The energy crisis and carbon emissions have become two critical concerns globally. As a very promising solution, the concept of Internet of Energy has appeared to tackle these challenges. The Internet of Energy is a new power generation paradigm developing a revolutionary vision of smart grids into the Internet. The communication infrastructure is an essential component for implementing the Internet of Energy. A scalable and robust communication infrastructure is crucial in both operating and maintaining smart energy systems. The wide-scale implementation and development of Internet of Energy into industrial applications should take into account the following challenges:

An Assessment Tool To Analyze Code Written In App Inventor, Rohit Gopalan

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

Assessment plays a significant role in today’s educational field. When creating an assessment tool, we should keep in mind that the tool measures learning, supports learning and encourages learning. Many assessment tools are available in the educational market such as Dr. Scratch, FCS1 Assessment Instrument, and Beyond the rubric. These tools help teachers to evaluate students’ performance in programming activities, but they do not completely measure the creativity shown by students in programming. For example, Dr. Scratch measures abstraction, problem decomposition, and parallelism. FCS1 Assessment Instrument measures a set of foundational computer science concepts like variables, loops, and arrays. It …

Low-Precision Linear Algebra For Neural Networks, Frost Bennion Mitchell

Undergraduate Honors Capstone Projects

Neural networks have been widely responsible for recent advances in machine learning, powering technologies such as digital assistants and AR photography. LPLANN (Low-Precision Linear Algebra for Neural Networks) is a cross-platform library written in C++ used for implementing neural networks. The software allows users to set specific levels of precision for calculations. Low-precision calculations use advanced parallelization techniques (SIMD, SWAR) to run neural networks at faster rates than full-precision calculations. This library is lightweight enough to run on embedded systems, only relies on OpenMP as a dependency, and is portable to any operating system. LPLANN also includes optimizations to provide …

Split Latency Allocator: Process Variation-Aware Register Access Latency Boost In A Near-Threshold Graphics Processing Unit, Asmita Pal

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Over the last decade, Graphics Processing Units (GPUs) have been used extensively in gaming consoles, mobile phones, workstations and data centers, as they have exhibited immense performance improvement over CPUs, in graphics intensive applications. Due to their highly parallel architecture, general purpose GPUs (GPGPUs) have gained the foreground in applications where large data blocks can be processed in parallel. However, the performance improvement is constrained by a large power consumption. Likewise, Near Threshold Computing (NTC) has emerged as an energy-efficient design paradigm. Hence, operating GPUs at NTC seems like a plausible solution to counteract the high energy consumption. This work …

Tackling Choke Point Induced Performance Bottlenecks In A Near-Threshold Gpgpu, Tahmoures Shabanian

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Over the last decade, General Purpose Graphics Processing Units (GPGPUs) have garnered a substantial attention in the research community due to their extensive thread-level parallelism. GPGPUs provide a remarkable performance improvement over Central Processing Units (CPUs), for highly parallel applications. However, GPGPUs typically achieve this extensive thread-level parallelism at the cost of a large power consumption. Consequently, Near-Threshold Computing (NTC) provides a promising opportunity for designing energy-efficient GPGPUs (NTC-GPUs). However, NTC-GPUs suffer from a crucial Process Variation (PV)-inflicted performance bottleneck, which is called Choke Point. Choke Point is defined as one or small group of gates which is affected by …

Chaotic Phase-Coded Waveforms With Space-Time Complementary Coding For Mimo Radar Applications, Sheng Hong, Fuhui Zhou, Yantao Dong, Zhixin Zhao, Yuhao Wang, Maosong Yan

Electrical and Computer Engineering Faculty Publications

A framework for designing orthogonal chaotic phase-coded waveforms with space-time complementary coding (STCC) is proposed for multiple-input multiple-output (MIMO) radar applications. The phase-coded waveform set to be transmitted is generated with an arbitrary family size and an arbitrary code length by using chaotic sequences. Due to the properties of chaos, this chaotic waveform set has many advantages in performance, such as anti-interference and low probability of intercept. However, it cannot be directly exploited due to the high range sidelobes, mutual interferences, and Doppler intolerance. In order to widely implement it in practice, we optimize the chaotic phase-coded waveform set from …

Skill Builder: Assistive Technology For Developing Skill And Habits, Aaron Kay

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

The Skill Builder application is assistive technology for helping individuals build skills through reminders and self-reporting feedback. The application has been built to support Android and iOS devices and followed a user-centric design methodology. Skill Builder’s architecture and development processes are set forth using cross-platform development environments and a native software development kit for the three different versions of the application that were built. The strengths and weaknesses of each of the platforms are explored.

Several studies have been proposed for helping individuals with different needs learn the skills to cope with their challenges. Applications of Skill Builder include students …

Mathematically Predicting The Aleut Tribe Population Using Archaeological Data, Jack Conrad Kiefer Ii, Paden Allen Thompson

Research on Capitol Hill

Sanak Island, located off the southern Alaska Peninsula, was home to the native Aleut peoples for thousands of years. Their hunter-gatherer society depended heavily on the arctic and marine ecosystem for food resources.

In 2015, a team of archaeologists from Idaho State and Utah State universities went to the island and collected data about the Aleut population size and their diet.

This study constructed a dynamical model to mathematically predict the Aleut population over time in order to gain insights into how food resources affected the Aleut people’s ability to survive.

Demand Side Management In Smart Grid Using Big Data Analytics, Sidhant Chatterjee

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

Smart Grids are the next generation electrical grid system that utilizes smart meter-ing devices and sensors to manage the grid operations. Grid management includes the prediction of load and and classification of the load patterns and consumer usage behav-iors. These predictions can be performed using machine learning methods which are often supervised. Supervised machine learning signifies that the algorithm trains the model to efficiently predict decisions based on the previously available data.

Smart grids are employed with numerous smart meters that send user statistics to a central server. The data can be accumulated and processed using data mining and machine …

Effects Of Intentional Electromagnetic Interference On Analog To Digital Converter Measurements Of Sensor Outputs And General Purpose Input Output Pins, David A. Ware

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

As technology becomes more prevalent, its application to safety and security in critical systems continues to increase. This leads to an increased dependence on sensors to provide an accurate view of the environment surrounding an application. These sensors can also be exploited by a malicious individual to attack a system and compromise its safety or security. These attacks change the reported value of a sensor so that it doesn't reflect the real situation. The systems in a car can be used as an example of this. Cars can have numerous sensors that measure a variety of things, including the car's …

Cs Alum Turned Google Engineer Pays It Forward | College Of Engineering, Usu College Of Engineering

College of Engineering News

Published in Creating Tomorrow – Oct. 15, 2016 – Just one year after graduating from USU with a master’s degree in computer science, Subash Gutala donated funding for a scholarship that would give future students the same quality experiences he had.

The computer science alumnus came to Logan from a small town near Hyderabad, India and instantly connected with new friends, colleagues and the faculty and staff of the Computer Science Department.

Visualization Of Three-Dimensional Models From Multiple Texel Images Created From Fused Ladar/Digital Imagery, Cody C. Killpack

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

The ability to create three-dimensional (3D) images offers a wide variety of solutions to meet ever increasing consumer demands. As popularity for 3D cinema and television continues to grow, 3D images will remain an important area of research and development. While there are a variety of ways to create a 3D model, textel images are quickly become the preferred solution that has been captured with a texel camera. The combination of multiple texel images taken around a scene can be used to form a texel model. Offering both visual and dimensional accuracy, texel models are becoming invaluable tools for disaster …

Synergistic Timing Speculation For Multi-Threaded Programs, Atif Yasin

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Timing speculation is a promising approach to increase the processor performance and energy efficiency. Under timing speculation, an integrated circuit is allowed to operate at a speed faster than the rated speed specified by its vendor. However, doing so might result in an incorrect execution. Consequently, as long as the processor is equipped with an error detection and recovery mechanism, its performance can be increased and/or energy consumption reduced beyond that achievable by any other conventional operation.

While many past works have dealt with timing speculation within a single core, in this work, a new direction is being uncovered by …

Ground Vehicle Platooning Control And Sensing In An Adversarial Environment, Samuel A. Mitchell

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

In the past few years, automated cars have ceased to be part of science fiction, and have instead become a technology that has been implemented, with partially automated systems currently available to customers.

One benefit of automated vehicle technology is the consistent driving patterns due to automation, instead of the inconsistency of distractible humans. Passengers of automated vehicles will be exposed to much less danger than the passengers of human-driven vehicles.

These statements will only be true as automated vehicle systems are scrutinized by experts to find flaws in the system. Security enthusiasts have already hijacked control of an automated …

Runtime Detection Of A Bandwidth Denial Attack From A Rogue Network-On-Chip, Rajesh Jayashankarashridevi

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Chips with high computational power are the crux of today’s pervasive complex digital systems. Microprocessor circuits are evolving towards many core designs with the integration of hundreds of processing cores, memory elements and other devices on a single chip to sustain high performance computing while maintaining low design costs. Two decisive paradigm shifts in the semiconductor industry have made this evolution possible: (a) architectural and (b) organizational.

At the heart of the architectural innovation is a scalable high speed data communication structure, the network-on-chip (NoC). NoC is an interconnect network for the glueless integration of on-chip components in the …

Evaluation Of Tracking Regimes For, And Security Of, Pli Systems, Shayan Taheri

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

In recent years, the researchers and engineers have realized that the trustiness of computer and networking devices and hardware can no longer be examined properly using the existing identification and security checking methods that operate based on the digital representation of data. As an example, since the digital identifiers can be copied, it is difficult to tie a digital identity to a device for sure. Also, the new or present created cyber attacks can manipulate the used digital data in a network easily. Due to these issues, the trend in development of new identification and security checking methods has moved …

An Online Wear State Monitoring Methodology For Off-The-Shelf Embedded Processors, Srinath Arunachalam

All Graduate Theses and Dissertations, Spring 1920 to Summer 2023

Every year transistors are becoming smaller and smaller. The continued trend of transistors becoming smaller has led to double amount of transistors being placed in the same area of space from its previous generation. This has led to an exponential increase in the amount of power per unit volume on-chip, which has resulted in increasing temperature. In turn, the increase in temperature directly leads to the increase in the rate of wear of a processor. Negative-bias temperature instability (NBTI) is one of the most dominant integrated circuit (IC) failure mechanisms [5, 13] that strongly depends on temperature. NBTI manifests in …

The Space Plug-And-Play Architecture Services Manager And Its Relevance In Diverse Plug-And-Play Software Systems, Brandon Holdaway

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

The Space Plug-and-Play Archichecture System Manager (SSM) is a system of Space Plug-and-Play Architecture (SPA) hardware, software components, and services for rapid integration of satellite systems. It was originally designed to help decrease the amount of time and money required to integrate payloads onto a satellite. The features of the SSM make it useful in non-satellite systems. In this report, I demonstrate diverse uses of the SSM in a multi-use payload manage- ment and underwater vehicle software solution which was designed and implemented using the SSM. Further I give a detailed explanation of the successes and failures of the software …

Re-Engineering Of A Black Box For The Purpose Of Upgrade And Maintenance, Nathanael R. Weidler

All Graduate Plan B and other Reports, Spring 1920 to Spring 2023

There existed an aging electrical system that needed to be upgraded. An upgrade was necessary for this system because the cost to maintain the aging technology was becoming too great. There were, however, no available schematics or technical papers describing this system. In order to upgrade the system, it first needed to be reverse engineered. The system to be upgraded was a device that would pass data back and forth from a personal computer to a proprietary storage device. The device to be upgraded communicated with the personal computer over a standard Small Computer System Interface (SCSI) interface and with …