Digital Commons Network^™

On The Limits And Practice Of Automatically Designing Self-Stabilization, Alex Klinkhamer

Dissertations, Master's Theses and Master's Reports

A protocol is said to be self-stabilizing when the distributed system executing it is guaranteed to recover from any fault that does not cause permanent damage. Designing such protocols is hard since they must recover from all possible states, therefore we investigate how feasible it is to synthesize them automatically. We show that synthesizing stabilization on a fixed topology is NP-complete in the number of system states. When a solution is found, we further show that verifying its correctness on a general topology (with any number of processes) is undecidable, even for very simple unidirectional rings. Despite these negative results, …

Scalable Integrated Circuit Simulation Algorithms For Energy-Efficient Teraflop Heterogeneous Parallel Computing Platforms, Lengfei Han

Dissertations, Master's Theses and Master's Reports

Integrated circuit technology has gone through several decades of aggressive scaling.It is increasingly challenging to analyze growing design complexity. Post-layout SPICE simulation can be computationally prohibitive due to the huge amount of parasitic elements, which can easily boost the computation and memory cost. As the decrease in device size, the circuits become more vulnerable to process variations. Designers need to statistically simulate the probability that a circuit does not meet the performance metric, which requires millions times of simulations to capture rare failure events.

Recent, multiprocessors with heterogeneous architecture have emerged as mainstream computing platforms. The heterogeneous computing platform can …

Getting Active With Passive Crossings: Investigating The Efficacy Of In-Vehicle Auditory Alerts For Rail Road Crossings, Steven Landry

Dissertations, Master's Theses and Master's Reports

Train-vehicle collisions at highway-rail grade crossings continue to be a major issue in the US and across the world. Installing additional hardware at individual crossings is expensive, time consuming, and potentially ineffective. To prevent recent trends in safety improvement from plateauing, experts are turning towards novel warning devices that can be applied to all crossings with minimal cost. In-vehicle auditory alerts (IVAAs) could potentially remedy many of the human factor issues related to crossing safety in a cost effective manner.

This thesis presents a series of experiments designing and testing an IVAA system for grade level railroad (RR) crossings. Study …

Technical Solar Photovoltaic Potential Of Large Scale Parking Lot Canopies, Ram Krishnan

Dissertations, Master's Theses and Master's Reports

Solar photovoltaic (PV) technology can provide sustainable power for the growing global population, but it demands considerable land area. This is a challenge for densely populated cities.

However, the stranded assets of non-productive parking lots areas can be converted to solar farms with PV canopies, enabling sustainable electricity generation while preserving their function to park automobiles.

This report provides a method for determining the technical and economic potential for converting a national scale retail company's parking lot area to a solar farm. First, the parking lot area for the company is determined and divided into zones based upon solar flux …

A Fault Tolerant, Data Fusion System For Navigation Applications To A Ducted Fan Vtol Uav, Jian Lu

Dissertations, Master's Theses and Master's Reports

A Fault Tolerant, Data Fusion (FTDF) algorithm for a Ducted Fan Unmanned Aerial Vehicle (DFUAV) Navigation System is presented. The algorithm have two parts: Gradient Descent (GD) for the Attitude and Heading Reference System (AHRS) and an Interacting Multiple Model (IMM) for position estimation. The GD methodology was designed to fuse the gyroscope, accelerometer, and geomagnetic sensors. The IMM algorithm is able to identify and compensate for multiple sensors data failures. There are three parts in the presentation.

Firstly, system identification and the Allan Variance method is used to build dynamic models and noise models for multiple Sensors and Actuators. …

Rhyolite And Trachyte Formation At Lake City Caldera: Insight From Quantitative Textural And Geochemical Analyses, Jordan Lubbers

Dissertations, Master's Theses and Master's Reports

Lake City Caldera (22.93 ± 0.02 Ma) is the youngest of 15 Tertiary calderas found within the Southern Rocky Mountain Volcanic Field (SRMVF). Extreme topographical relief of the area reveals the three dimensional exposure of a complex, high-k calc-alkaline, magmatic system, which provides us with the opportunity to study, in detail, how large silicic magmas evolve in the subsurface. The Lake City igneous system is comprised of two major units: a resurgent syenite intrusion and the Sunshine Peak Tuff (Lower, Middle, and Upper). Bulk-rock analyses indicate that the Lower and Middle Sunshine Peak tuff are crystal poor and rhyolitic in …

Modeling The Physical And Biogeochemical Processes In Lake Superior Using Lake2k, Sheelagh M. Mccarthy

Dissertations, Master's Theses and Master's Reports

Modeling lake processes and dynamics improves understanding of the system and supports predictions of the response of the lake to perturbations, such as climate change. LAKE2K, a 3-layer surface water quality model, uses a mass balance approach to simulate the physical and biogeochemical cycles in Lake Superior. The model is successfully calibrated with data from offshore Lake Superior in 2011, a year with average meteorological conditions. The thermal regime, phytoplankton populations, and phosphorus cycle of Lake Superior are modeled, resulting in a representation of seasonal trends in this dimictic system. The calibrated model is confirmed with an application for Lake …

Technical And Economical Analysis Of Residential Solar Photovoltaic Systems, Aishwarya Shrikant Mundada

Dissertations, Master's Theses and Master's Reports

Technical improvements and scaling have resulted in a significant reduction in solar photovoltaic (PV) module costs, which have resulted in PV industry growth both globally as well as in the United States. In many regions there have been favorable policies for solar energy due to the positive public response and support for growth of solar energy. As the demand for PV installations continues to increase, the costs continue to decline, feeding a virtuous cycle. This thesis is composed of a three part study directed towards technical as well as economical analysis of new technologies for residential solar photovoltaic systems for …

Diffuse Co2 Degassing And The Origin Of Volcanic Gas Variability From Rincón De La Vieja, Miravalles And Tenorio Volcanoes, Guanacaste Province, Costa Rica, Aurelia Liegler

Dissertations, Master's Theses and Master's Reports

Volcanic gas emissions are an important key component for monitoring volcanic activity and magmatic input of carbon dioxide into the atmosphere as well as the assessment of geothermal potential in volcanic regions. Diffuse soil degassing of CO₂ at Rincón de la Vieja and Miravalles volcanoes, assessed with the commonly accepted accumulation chamber method, showed the concentration of gas emissions in evident hydrothermal surface features in secondary gas emission zones of the volcanoes. Analyses of fumarolic gases were conducted to investigate similarities and differences between the volcanoes and the possibility of continued magma injection into their source(s). An output of …

Laboratory Measurements Of Contact Nucleation By Mineral Dusts, Bacteria, And Soluble Salts, Joseph Niehaus

Dissertations, Master's Theses and Master's Reports

We present results from experiments that emulate atmospheric ice nucleation by aerosols. We have refined experimental techniques to improve measurements of ice forming nuclei in the contact mode. Our results show that atmospherically relevant dusts such as kaolinite, feldspar, rhyolitic ash, and Arizona Test Dust have efficiencies in the contact mode that are higher than the immersion mode. Experiments with bacteria show that biological material has the potential to contribute significantly to ice concentrations, but has large variability. By choosing a soluble compound as an ice nucleus, we are able to place bounds on the timescale for contact freezing and …

The Cuyuna Iron Range: Legacy Of A 20th Century Industrial Community, Frederick Sutherland

Dissertations, Master's Theses and Master's Reports

The Cuyuna Range is a former North American iron mining district about 90 miles(145 kilometers) west of Duluth in central Minnesota. The district was the furthest south and west of the three Minnesota iron ranges (Vermilion, Mesabi, and Cuyuna). In 2011, Students and staff from Michigan Technological University's Department of Social Sciences were asked to identify and promote features of the Cuyuna Range's mining heritage. Methods and approaches of mulitsited archaeology were used to unify the diverse places and themes into a more cohesive narrative. Their investigations focused on sites of technological innovation, social conflict, and important people. One collaborative …

Analysis On The Performance Limitations Of An Interferometric Geolocation Device, Michael Witt

Dissertations, Master's Theses and Master's Reports

GPS is a critical tool often used in terrestrial location and navigation. However, GPS relies on a system of satellites in medium earth orbit and is prone to dropouts at higher latitudes, and may be susceptible to spoofing or other attacks. Thus, it is prudent to examine possible alternatives. Recently, star tracking has been of interest in global positioning. There are many implementations of a star tracker using an imaging-based optical system to capture star locations in order to estimate position using celestial navigation techniques. These imaging systems are performance limited by blurring imposed by atmospheric turbulence, platform jitter, and …

Petrophysical And Empirical And Theoretical Rock Physics Modeling For The Moki Formation In Two Fields In The Taranaki Basin, New Zealand, Deniz Yener

Dissertations, Master's Theses and Master's Reports

This work consists of conventional petrophysical analysis and sonic response determination from empirical relations, rock physics modelling, and fluid substitution for six wells in the Moki formation of New Zealand’s Taranaki Basin. The project composed of three parts encompassing conventional log analysis, rock-physics modeling using empirical and theoretical approaches, and finally rock-physics modeling for shaley sands using semi-empirical adaptations to Gassmann fluid substitution. Finally, comparisons are made between results for the different wells, based on their depths and mineralogy.

The first part of this study is presented as a petrophysical analysis, including crossplot analysis, conventional 3-mineral identification approach, and determination …

The Effect Of Posttranslational Modifications On Protein Aggregation, Morphology, And Toxicity, Mu Yang

Dissertations, Master's Theses and Master's Reports

Proteins are one of the most versatile macromolecules in the biological system. The function or activity of a protein highly depends on its 3D native structure. However, under stress, they are at risk of misfolding/aggregation, leading to formation of structures that can indicate loss of function or gain of toxicity. In severe cases, protein aggregation can result in many diseases, including neurodegenerative diseases, such as Alzheimer’s, Parkinson’s, Huntington’s, and amyotrophic lateral sclerosis. Due to the heterogeneous nature of cellular environment and protein molecules, mechanism of in vivo folding and related toxicity still remains elusive. To have a better understanding of …

Finite Element Modeling Of Active And Passive Behavior Of The Human Tibialis Anterior: A Preliminary Approach, David Joda

Dissertations, Master's Theses and Master's Reports

This research project serves as exploratory work in the field of computational human biomechanics. A connection between muscular force and intramuscular pressure (IMP) has been uncovered that could prove invaluable in medical diagnostics as a method to circumvent the use of electromyography.

Preliminary finite element simulations were conducted to model the human tibialis anterior muscle in passive lengthening and active contraction. These simulations, totaling over 50 unique runs, utilized a novel constitutive model developed within the IMP research group. Volumetric strain, reaction forces, and pressure gradients were compared to data acquired from ongoing in vivo human experiments. A mechanism for …

Modeling, Simulation And Control Of Hybrid Electric Vehicle Drive While Minimizing Energy Input Requirements Using Optimized Gear Ratios, Sanjai Massey

Dissertations, Master's Theses and Master's Reports

This project was conducted to analyze (model and simulate) and optimize an electric motor based drive system to propel a typical passenger vehicle in an urban driving environment. Although there are many HEV and EV type systems on the market today, this paper chose the Toyota Prius HEV system as a baseline using a brushless AC motor.

Although a vehicle can be driven many ways, a more standardized Urban Dynamometer Driving Schedule, UDDS, was chosen to simulate real driving conditions. This schedule is determined by the US Environmental Protection Agency, EPA, and is intended to represent the city driving conditions …

Investigation Of The Resistance To Demagnetization In Bulk Rare-Earth Magnets Comprised Of Crystallographically-Aligned, Single-Domain Crystallites With Modified Intergranular Phase, Jie Li

Dissertations, Master's Theses and Master's Reports

The research presented in this dissertation investigates whether an increased coercivity of Neodymium-Iron-Boron (Nd2Fe14B) based bulk magnets at elevated temperature (160°C), which is now only obtainable by substituting ~7wt% dysprosium (Dy) for a portion of neodymium (Nd), can be achieved through specific microstructural modifications with decreased Dy concentrations. The approach is to reduce the size of individual crystallographically-aligned grains in the magnet so that each grain can only support a single magnetic domain and to simultaneously dilute the Nd-Fe inter-granular phase present in conventional magnets with a non-Fe-containing, Nd-rich phase (Nd-Cu alloy) in an attempt to partially magnetically isolate the …

Effect Of Disulfide Bond Scrambling On Protein Stability, Aggregation, And Cytotoxicity, Colina Dutta

Dissertations, Master's Theses and Master's Reports

Proteins are nano-machines that carry out majority of the cellular functions. Thermodynamically they are functional and stable within a very narrow range (1 kcal/mol). External perturbations in the form of pH change, thermal, or oxidative/reducing stress can destabilize the protein resulting in misfolding and aggregation. Prolonged environmental stress can affect the cells adaptive response resulting in loss of ability to refold or recycle proteins. This can lead to accumulation of misfolded or aggregated proteins within the cell. Such accumulation of aggregated proteins have been associated with neurodegenerative disorders such as Amyotrophic Lateral Sclerosis (ALS), Parkinson’s, Huntington’s, and Alzheimer’s disease. There …

Archaeological Investigations And Historical Survey, Fort Wilkins Historic State Park: Keweenaw County, Michigan, Eric T. Pomber

Dissertations, Master's Theses and Master's Reports

Michigan Technological University has been performing archaeological and historical surveys at Fort Wilkins Historic State Park as part of a multi-year contract since 2013 with each year’s work focused on different properties held by the Park. The 2015 field season focused on the 6 acre Copper Harbor Range Lighthouse (20KE33) property immediately west of Fanny Hooe Creek resulting in the identification of eight archaeological features through a combination of pedestrian survey, shovel pit testing, and excavation. Among the features identified are the Astor House (20KE83), an early hotel in the region which was noted in the writings of travelers visiting …

Assessing The Impacts Of Climate Change On The Surface Temperature Of Inland Lakes In Michigan, Kaitlin Reinl

Dissertations, Master's Theses and Master's Reports

The aim of this study was to validate and apply a lake model for predicting the susceptibility of small inland lakes in Michigan to changes in thermal regime and increased cyanobacteria growth as a result of future climate conditions. The Freshwater Lake Model was selected, tested for sensitivity to various inputs, and validated through comparison to observed conditions. The sensitivity analysis showed that the lake model was most sensitive to solar radiation, air temperature, and air humidity. Comparison of predicted climate data with observed conditions revealed highly variable climate model error. The lake model validation was conducted using 10 lakes …

Improved Parameter Estimation Of The Log-Logistic Distribution With Applications, Joseph Reath

Dissertations, Master's Theses and Master's Reports

In this report, we work with parameter estimation of the log-logistic distribution. We first consider one of the most common methods encountered in the literature, the maximum likelihood (ML) method. However, it is widely known that the maximum likelihood estimators (MLEs) are usually biased with a finite sample size. This motivates a study of obtaining unbiased or nearly unbiased estimators for this distribution. Specifically, we consider a certain `corrective' approach and Efron's bootstrap resampling method, which both can reduce the biases of the MLEs to the second order of magnitude. As a comparison, we also consider the generalized moments (GM) …

Channel Modeling For Fifth Generation Cellular Networks And Wireless Sensor Networks, Amir Torabi

Dissertations, Master's Theses and Master's Reports

In view of exponential growth in data traffic demand, the wireless communications industry has aimed to increase the capacity of existing networks by 1000 times over the next 20 years. A combination of extreme cell densification, more bandwidth, and higher spectral efficiency is needed to support the data traffic requirements for fifth generation (5G) cellular communications. In this research, the potential improvements achieved by using three major 5G enabling technologies (i.e., small cells, millimeter-wave spectrum, and massive MIMO) in rural and urban environments are investigated. This work develops SPM and KA-based ray models to investigate the impact of geometrical parameters …

Inhibition Of Bacterial Growth And Prevention Of Bacterial Adhesion With Localized Nitric Oxide Delivery, Julia Osborne

Dissertations, Master's Theses and Master's Reports

Bacterial infections continue to be a problem at the site of an indwelling medical device, and over the years, various bacterial strains have become more resistant to current antibiotic treatments. Bacterial infection at an indwelling medical device can be dangerous and affect the performance of the medical device which can ultimately lead to the failure of the device due to bacterial resistance to treatment.

Nitric Oxide (NO) has been shown to possess antibacterial properties to prevent and inhibit bacterial growth. NO releasing coatings on indwelling medical devices could provide a reduction in bacterial infections that occur at the device site …

A High Accuracy Minimally Invasive Regularization Technique For Navier-Stokes Equations At High Reynolds Number, Mustafa Aggul

Dissertations, Master's Theses and Master's Reports

A method is presented, that combines the defect and deferred correction approaches to approximate solutions of Navier-Stokes equations at high Reynolds number. The method is of high accuracy in both space and time, and it allows for the usage of legacy codes (a frequent requirement in the simulation of turbulent flows in complex geometries). The two-step method is considered here; in order to obtain a regularization that is second order accurate in space and time, the method computes a low-order accurate, stable and computationally inexpensive approximation (Backward Euler with artificial viscosity) twice. The results are readily extendable to the higher …

A Petrophysical Evaluation For Permeability Of A Gas Reservoir In The Taranaki Basin, New Zealand, Musa Cetin

Dissertations, Master's Theses and Master's Reports

The goal of this study was to evaluate permeability and study the controls on permeability in a gas saturated formation. Conventional well logs, mineral identification crossplots and empirical models were applied to analyze different lithologic and diagenetic features and to examine the effect that these features may have on the reservoir. An unusual feature was observed, and required detailed examination: there existed (in two wells) five zones of lower resistivity (higher water saturation) above the gas-water contact. This is unexpected, as above that contact, the water is usually at irreducible water saturation. I conclude that the lower resistivity (the higher …

Cave Detection Using Seismic Methods At Madison Blue Spring State Park, Madison County, Florida, Charles Breithaupt

Dissertations, Master's Theses and Master's Reports

Locating caves and quantifying their geometries has significant importance in aquifer characterization, sinkhole mitigation, and contaminant transport monitoring. Several geophysical methods have been used for cave detection with limited success, but no reliable solution has been found. New developments in seismic techniques, however, show promising results indicating that cave voids may be more accurately detected.

We evaluated the capability of several seismic techniques to detect caves by collecting new seismic data over a known conduit connected to Madison Blue Spring, in northern Florida. These analyses validated the abilities of diffracted surface waves to detect water-filled caves by viewing these data …

Comparisons Of Seismic Interferometry By Cross Correlation, Deconvolution, And Cross Coherence, Haitao Cao

Dissertations, Master's Theses and Master's Reports

Ambient noise seismic interferometry (ANSI) has been applied widely for geophysical investigations including earthquake tomography, civil engineering and seismic exploration purposes. Comparing this approach with the traditional active seismic survey, the application of ANSI is cost effective, environmentally friendly and easily repeatable. Conventional seismic interferometry by cross correlating wavefields recorded at different receivers has already obtained fruitful results.

Even though the application of seismic interferometry (SI) by cross correlation has been successful, different methods for the processing workflow such as cross coherence and deconvolution have been conducted in an effort to improve the resolution. While these three methods have been …

Enhancement Of Margrave Deconvolution And Q Estimation In Highly Attenuating Media Using The Modified S-Transform, Adnan Djeffal

Dissertations, Master's Theses and Master's Reports

We evaluate the performance of the Margrave deconvolution and spectral ratio methods using the Gabor, S-, and modified S transforms in highly attenuating media, where the quality factor changes with depth dramatically. Our results substantiate that the modified S-transform deconvolution is more robust in terms of generating fewer artifacts and providing better estimates of reflectivities than the Gabor transform. The results also show that using the modified S-transform in the spectral ratio method produces better Q estimates than the S-transform and the Fourier transform that is conventionally used in the spectral ratio method. This improvement in the estimates of reflectivities …

Reservoir Characterization Through Pre-Stack Seismic Analysis And Inversion In The Thrace Basin, Northwest Turkey, Emre Doguturk

Dissertations, Master's Theses and Master's Reports

This study analyzes hydrocarbon reservoirs by using Amplitude-Versus-Offset (AVO) analysis and different inversion methods to investigate hydrocarbon reservoir in the Thrace Basin which is located in northwest Turkey.

A 3D seismic survey containing prestack data was provided by Turkish Petroleum Corporation as true amplitude NMO corrected 3D gathers.

The quality of this land data was poor for AVO applications, and steps were taken to make it useful. Radon filtering proved to be extremely useful for this purpose. Although application of this filter affected the AVO characteristics differently depending on the parameters selected for the filter, relative AVO characteristics remained useful …

A Novel Low Latency, High Resolution And Low Cost Time Synchronization, Ali Aghdaei

Dissertations, Master's Theses and Master's Reports

This report presents a new low latency, high resolution and low cost timing synchro- nization technique for digital receivers. Traditional timing synchronization employs Matched filter to perform cross-correlation operation and estimate Time-of-Arrival (TOA) of the signal. Decreasing the latency of the traditional method through over- sampling leads to a higher complexity and it is not viable. Furthermore, to obtain a high-resolution TOA, an extensive bandwidth is required, which results in high system complexity. The proposed method uses single bit quantization to employ XNOR blocks instead of multiplier and accumulator (MAC) blocks in the traditional method. This substantially decreases complexity incorporating …