Matching Items (201)
149681-Thumbnail Image.png
Description
The trend towards using recycled materials on new construction projects is growing as the cost for construction materials are ever increasing and the awareness of the responsibility we have to be good stewards of our environment is heightened. While recycled asphalt is sometimes used in pavements, its use as structural

The trend towards using recycled materials on new construction projects is growing as the cost for construction materials are ever increasing and the awareness of the responsibility we have to be good stewards of our environment is heightened. While recycled asphalt is sometimes used in pavements, its use as structural fill has been hindered by concern that it is susceptible to large long-term deformations (creep), preventing its use for a great many geotechnical applications. While asphalt/soil blends are often proposed as an alternative to 100% recycled asphalt fill, little data is available characterizing the geotechnical properties of recycled asphalt soil blends. In this dissertation, the geotechnical properties for five different recycled asphalt soil blends are characterized. Data includes the particle size distribution, plasticity index, creep, and shear strength for each blend. Blends with 0%, 25%, 50%, 75% and 100% recycled asphalt were tested. As the recycled asphalt material used for testing had particles sizes up to 1.5 inches, a large 18 inch diameter direct shear apparatus was used to determine the shear strength and creep characteristics of the material. The results of the testing program confirm that the creep potential of recycled asphalt is a geotechnical concern when the material is subjected to loads greater than 1500 pounds per square foot (psf). In addition, the test results demonstrate that the amount of soil blended with the recycled asphalt can greatly influence the creep and shear strength behavior of the composite material. Furthermore, there appears to be an optimal blend ratio where the composite material had better properties than either the recycled asphalt or virgin soil alone with respect to shear strength.
ContributorsSchaper, Jeffery M (Author) / Kavazanjian, Edward (Thesis advisor) / Houston, Sandra L. (Committee member) / Zapata, Claudia E (Committee member) / Arizona State University (Publisher)
Created2011
149728-Thumbnail Image.png
Description
In geotechnical engineering, measuring the unsaturated hydraulic conductivity of fine grained soils can be time consuming and tedious. The various applications that require knowledge of the unsaturated hydraulic conductivity function are great, and in geotechnical engineering, they range from modeling seepage through landfill covers to determining infiltration of water

In geotechnical engineering, measuring the unsaturated hydraulic conductivity of fine grained soils can be time consuming and tedious. The various applications that require knowledge of the unsaturated hydraulic conductivity function are great, and in geotechnical engineering, they range from modeling seepage through landfill covers to determining infiltration of water under a building slab. The unsaturated hydraulic conductivity function can be measured using various direct and indirect techniques. The instantaneous profile method has been found to be the most promising unsteady state method for measuring the unsaturated hydraulic conductivity function for fine grained soils over a wide range of suction values. The instantaneous profile method can be modified by using different techniques to measure suction and water content and also through the way water is introduced or removed from the soil profile. In this study, the instantaneous profile method was modified by creating duplicate soil samples compacted into cylindrical tubes at two different water contents. The techniques used in the duplicate method to measure the water content and matric suction included volumetric moisture probes, manual water content measurements, and filter paper tests. The experimental testing conducted in this study provided insight into determining the unsaturated hydraulic conductivity using the instantaneous profile method for a sandy clay soil and recommendations are provided for further evaluation. Overall, this study has demonstrated that the presence of cracks has no significant impact on the hydraulic behavior of soil in high suction ranges. The results of this study do not examine the behavior of cracked soil unsaturated hydraulic conductivity at low suction and at moisture contents near saturation.
ContributorsJacquemin, Sean Christopher (Author) / Zapata, Claudia (Thesis advisor) / Houston, Sandra (Committee member) / Kavazanjian, Edward (Committee member) / Arizona State University (Publisher)
Created2011
150359-Thumbnail Image.png
Description
S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against user specifications. In this work we use Metric Temporal Logic

S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against user specifications. In this work we use Metric Temporal Logic (MTL) to describe the user specifications for the hybrid systems. We then try to falsify the MTL specification using global minimization of robustness metric. Global minimization is carried out using stochastic optimization algorithms like Monte-Carlo (MC) and Extended Ant Colony Optimization (EACO) algorithms. Irrespective of the type of the model we provide as an input to S-Taliro, the user needs to specify the MTL specification, the initial conditions and the bounds on the inputs. S-Taliro then uses this information to generate test inputs which are used to simulate the system. The simulation trace is then provided as an input to Taliro which computes the robustness estimate of the MTL formula. Global minimization of this robustness metric is performed to generate new test inputs which again generate simulation traces which are closer to falsifying the MTL formula. Traces with negative robustness values indicate that the simulation trace falsified the MTL formula. Traces with positive robustness values are also of great importance because they indicate how robust the system is against the given specification. S-Taliro has been seamlessly integrated into the Matlab environment, which is extensively used for model-based development of control software. Moreover the toolbox has been developed in a modular fashion and therefore adding new optimization algorithms is easy and straightforward. In this work I present the architecture of S-Taliro and its working on a few benchmark problems.
ContributorsAnnapureddy, Yashwanth Singh Rahul (Author) / Fainekos, Georgios (Thesis advisor) / Lee, Yann-Hang (Committee member) / Gupta, Sandeep (Committee member) / Arizona State University (Publisher)
Created2011
148109-Thumbnail Image.png
Description

System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment

System and software verification is a vital component in the development and reliability of cyber-physical systems - especially in critical domains where the margin of error is minimal. In the case of autonomous driving systems (ADS), the vision perception subsystem is a necessity to ensure correct maneuvering of the environment and identification of objects. The challenge posed in perception systems involves verifying the accuracy and rigidity of detections. The use of Spatio-Temporal Perception Logic (STPL) enables the user to express requirements for the perception system to verify, validate, and ensure its behavior; however, a drawback to STPL involves its accessibility. It is limited to individuals with an expert or higher-level knowledge of temporal and spatial logics, and the formal-written requirements become quite verbose with more restrictions imposed. In this thesis, I propose a domain-specific language (DSL) catered to Spatio-Temporal Perception Logic to enable non-expert users the ability to capture requirements for perception subsystems while reducing the necessity to have an experienced background in said logic. The domain-specific language for the Spatio-Temporal Perception Logic is built upon the formal language with two abstractions. The main abstraction captures simple programming statements that are translated to a lower-level STPL expression accepted by the testing monitor. The STPL DSL provides a seamless interface to writing formal expressions while maintaining the power and expressiveness of STPL. These translated equivalent expressions are capable of directing a standard for perception systems to ensure the safety and reduce the risks involved in ill-formed detections.

ContributorsAnderson, Jacob (Author) / Fainekos, Georgios (Thesis director) / Yezhou, Yang (Committee member) / Computer Science and Engineering Program (Contributor) / Barrett, The Honors College (Contributor)
Created2021-05
149953-Thumbnail Image.png
Description
The theme for this work is the development of fast numerical algorithms for sparse optimization as well as their applications in medical imaging and source localization using sensor array processing. Due to the recently proposed theory of Compressive Sensing (CS), the $\ell_1$ minimization problem attracts more attention for its ability

The theme for this work is the development of fast numerical algorithms for sparse optimization as well as their applications in medical imaging and source localization using sensor array processing. Due to the recently proposed theory of Compressive Sensing (CS), the $\ell_1$ minimization problem attracts more attention for its ability to exploit sparsity. Traditional interior point methods encounter difficulties in computation for solving the CS applications. In the first part of this work, a fast algorithm based on the augmented Lagrangian method for solving the large-scale TV-$\ell_1$ regularized inverse problem is proposed. Specifically, by taking advantage of the separable structure, the original problem can be approximated via the sum of a series of simple functions with closed form solutions. A preconditioner for solving the block Toeplitz with Toeplitz block (BTTB) linear system is proposed to accelerate the computation. An in-depth discussion on the rate of convergence and the optimal parameter selection criteria is given. Numerical experiments are used to test the performance and the robustness of the proposed algorithm to a wide range of parameter values. Applications of the algorithm in magnetic resonance (MR) imaging and a comparison with other existing methods are included. The second part of this work is the application of the TV-$\ell_1$ model in source localization using sensor arrays. The array output is reformulated into a sparse waveform via an over-complete basis and study the $\ell_p$-norm properties in detecting the sparsity. An algorithm is proposed for minimizing a non-convex problem. According to the results of numerical experiments, the proposed algorithm with the aid of the $\ell_p$-norm can resolve closely distributed sources with higher accuracy than other existing methods.
ContributorsShen, Wei (Author) / Mittlemann, Hans D (Thesis advisor) / Renaut, Rosemary A. (Committee member) / Jackiewicz, Zdzislaw (Committee member) / Gelb, Anne (Committee member) / Ringhofer, Christian (Committee member) / Arizona State University (Publisher)
Created2011
149822-Thumbnail Image.png
Description
It is estimated that wind induced soil transports more than 500 x 106 metric tons of fugitive dust annually. Soil erosion has negative effects on human health, the productivity of farms, and the quality of surface waters. A variety of different polymer stabilizers are available on the market for fugitive

It is estimated that wind induced soil transports more than 500 x 106 metric tons of fugitive dust annually. Soil erosion has negative effects on human health, the productivity of farms, and the quality of surface waters. A variety of different polymer stabilizers are available on the market for fugitive dust control. Most of these polymer stabilizers are expensive synthetic polymer products. Their adverse effects and expense usually limits their use. Biopolymers provide a potential alternative to synthetic polymers. They can provide dust abatement by encapsulating soil particles and creating a binding network throughout the treated area. This research into the effectiveness of biopolymers for fugitive dust control involved three phases. Phase I included proof of concept tests. Phase II included carrying out the tests in a wind tunnel. Phase III consisted of conducting the experiments in the field. Proof of concept tests showed that biopolymers have the potential to reduce soil erosion and fugitive dust transport. Wind tunnel tests on two candidate biopolymers, xanthan and chitosan, showed that there is a proportional relationship between biopolymer application rates and threshold wind velocities. The wind tunnel tests also showed that xanthan gum is more successful in the field than chitosan. The field tests showed that xanthan gum was effective at controlling soil erosion. However, the chitosan field data was inconsistent with the xanthan data and field data on bare soil.
ContributorsAlsanad, Abdullah (Author) / Kavazanjian, Edward (Thesis advisor) / Edwards, David (Committee member) / Zapata, Claudia (Committee member) / Arizona State University (Publisher)
Created2011
150169-Thumbnail Image.png
Description
A method for evaluating the integrity of geosynthetic elements of a waste containment system subject to seismic loading is developed using a large strain finite difference numerical computer program. The method accounts for the effect of interaction between the geosynthetic elements and the overlying waste on seismic response and allows

A method for evaluating the integrity of geosynthetic elements of a waste containment system subject to seismic loading is developed using a large strain finite difference numerical computer program. The method accounts for the effect of interaction between the geosynthetic elements and the overlying waste on seismic response and allows for explicit calculation of forces and strains in the geosynthetic elements. Based upon comparison of numerical results to experimental data, an elastic-perfectly plastic interface model is demonstrated to adequately reproduce the cyclic behavior of typical geomembrane-geotextile and geomembrane-geomembrane interfaces provided the appropriate interface properties are used. New constitutive models are developed for the in-plane cyclic shear behavior of textured geomembrane/geosynthetic clay liner (GMX/GCL) interfaces and GCLs. The GMX/GCL model is an empirical model and the GCL model is a kinematic hardening, isotropic softening multi yield surface plasticity model. Both new models allows for degradation in the cyclic shear resistance from a peak to a large displacement shear strength. The ability of the finite difference model to predict forces and strains in a geosynthetic element modeled as a beam element with zero moment of inertia sandwiched between two interface elements is demonstrated using hypothetical models of a heap leach pad and two typical landfill configurations. The numerical model is then used to conduct back analyses of the performance of two lined municipal solid waste (MSW) landfills subjected to strong ground motions in the Northridge earthquake. The modulus reduction "backbone curve" employed with the Masing criterion and 2% Rayleigh damping to model the cyclic behavior of MSW was established by back-analysis of the response of the Operating Industries Inc. landfill to five different earthquakes, three small magnitude nearby events and two larger magnitude distant events. The numerical back analysis was able to predict the tears observed in the Chiquita Canyon Landfill liner system after the earthquake if strain concentrations due to seams and scratches in the geomembrane are taken into account. The apparent good performance of the Lopez Canyon landfill geomembrane and the observed tension in the overlying geotextile after the Northridge event was also successfully predicted using the numerical model.
ContributorsArab, Mohamed G (Author) / Kavazanjian, Edward (Thesis advisor) / Zapata, Claudia (Committee member) / Houston, Sandra (Committee member) / Arizona State University (Publisher)
Created2011
150160-Thumbnail Image.png
Description
The importance of unsaturated soil behavior stems from the fact that a vast majority of infrastructures are founded on unsaturated soils. Research has recently been concentrated on unsaturated soil properties. In the evaluation of unsaturated soils, researchers agree that soil water retention characterized by the soil water characteristic curve (SWCC)

The importance of unsaturated soil behavior stems from the fact that a vast majority of infrastructures are founded on unsaturated soils. Research has recently been concentrated on unsaturated soil properties. In the evaluation of unsaturated soils, researchers agree that soil water retention characterized by the soil water characteristic curve (SWCC) is among the most important factors when assessing fluid flow, volume change and shear strength for these soils. The temperature influence on soil moisture flow is a major concern in the design of important engineering systems such as barriers in underground repositories for radioactive waste disposal, ground-source heat pump (GSHP) systems, evapotranspirative (ET) covers and pavement systems.. Accurate modeling of the temperature effect on the SWCC may lead to reduction in design costs, simpler constructability, and hence, more sustainable structures. . The study made use of two possible approaches to assess the temperature effect on the SWCC. In the first approach, soils were sorted from a large soil database into families of similar properties but located on sites with different MAAT. The SWCCs were plotted for each family of soils. Most families of soils showed a clear trend indicating the influence of temperature on the soil water retention curve at low degrees of saturation.. The second approach made use of statistical analysis. It was demonstrated that the suction increases as the MAAT decreases. The statistical analysis showed that even though the plasticity index proved to have the greatest influence on suction, the mean annual air temperature effect proved not to be negligible. In both approaches, a strong relationship between temperature, suction and soil properties was observed. Finally, a comparison of the model based on the mean annual air temperature environmental factor was compared to another model that makes use of the Thornthwaite Moisture Index (TMI) to estimate the environmental effects on the suction of unsaturated soils. Results showed that the MAAT can be a better indicator when compared to the TMI found but the results were inconclusive due to the lack of TMI data available.
ContributorsElkeshky, Maie Mohamed (Author) / Zapata, Claudia E (Thesis advisor) / Houston, Sandra (Committee member) / Kavazanjian, Edward (Committee member) / Arizona State University (Publisher)
Created2011
150127-Thumbnail Image.png
Description
This dissertation describes development of a procedure for obtaining high quality, optical grade sand coupons from frozen sand specimens of Ottawa 20/30 sand for image processing and analysis to quantify soil structure along with a methodology for quantifying the microstructure from the images. A technique for thawing and stabilizing

This dissertation describes development of a procedure for obtaining high quality, optical grade sand coupons from frozen sand specimens of Ottawa 20/30 sand for image processing and analysis to quantify soil structure along with a methodology for quantifying the microstructure from the images. A technique for thawing and stabilizing frozen core samples was developed using optical grade Buehler® Epo-Tek® epoxy resin, a modified triaxial cell, a vacuum/reservoir chamber, a desiccator, and a moisture gauge. The uniform epoxy resin impregnation required proper drying of the soil specimen, application of appropriate confining pressure and vacuum levels, and epoxy mixing, de-airing and curing. The resulting stabilized sand specimen was sectioned into 10 mm thick coupons that were planed, ground, and polished with progressively finer diamond abrasive grit levels using the modified Allied HTP Inc. polishing method so that the soil structure could be accurately quantified using images obtained with the use of an optical microscopy technique. Illumination via Bright Field Microscopy was used to capture the images for subsequent image processing and sand microstructure analysis. The quality of resulting images and the validity of the subsequent image morphology analysis hinged largely on employment of a polishing and grinding technique that resulted in a flat, scratch free, reflective coupon surface characterized by minimal microstructure relief and good contrast between the sand particles and the surrounding epoxy resin. Subsequent image processing involved conversion of the color images first to gray scale images and then to binary images with the use of contrast and image adjustments, removal of noise and image artifacts, image filtering, and image segmentation. Mathematical morphology algorithms were used on the resulting binary images to further enhance image quality. The binary images were then used to calculate soil structure parameters that included particle roundness and sphericity, particle orientation variability represented by rose diagrams, statistics on the local void ratio variability as a function of the sample size, and the local void ratio distribution histograms using Oda's method and Voronoi tessellation method, including the skewness, kurtosis, and entropy of a gamma cumulative probability distribution fit to the local void ratio distribution.
ContributorsCzupak, Zbigniew David (Author) / Kavazanjian, Edward (Thesis advisor) / Zapata, Claudia (Committee member) / Houston, Sandra (Committee member) / Arizona State University (Publisher)
Created2011
150101-Thumbnail Image.png
Description
As a prelude to a study on the post-liquefaction properties and structure of soil, an investigation of ground freezing as an undisturbed sampling technique was conducted to investigate the ability of this sampling technique to preserve soil structure and properties. Freezing the ground is widely regarded as an appropriate technique

As a prelude to a study on the post-liquefaction properties and structure of soil, an investigation of ground freezing as an undisturbed sampling technique was conducted to investigate the ability of this sampling technique to preserve soil structure and properties. Freezing the ground is widely regarded as an appropriate technique to recover undisturbed samples of saturated cohesionless soil for laboratory testing, despite the fact that water increases in volume when frozen. The explanation generally given for the preservation of soil structure using the freezing technique was that, as long as the freezing front advanced uni-directionally, the expanding pore water is expelled ahead of the freezing front as the front advances. However, a literature review on the transition of water to ice shows that the volume of ice expands approximately nine percent after freezing, bringing into question the hypothesized mechanism and the ability of a frozen and then thawed specimen to retain the properties and structure of the soil in situ. Bench-top models were created by pluviation of sand. The soil in the model was then saturated and subsequently frozen. Freezing was accomplished using a pan filled with alcohol and dry ice placed on the surface of the sand layer to induce a unidirectional freezing front in the sample container. Coring was used to recover frozen samples from model containers. Recovered cores were then placed in a triaxial cell, thawed, and subjected to consolidated undrained loading. The stress-strain-strength behavior of the thawed cores was compared to the behavior of specimens created in a split mold by pluviation and then saturated and sheared without freezing and thawing. The laboratory testing provide insight to the impact of freezing and thawing on the properties of cohesionless soil.
ContributorsKatapa, Kanyembo (Author) / Kavazanjian, Edward (Thesis advisor) / Houston, Sandra (Committee member) / Zapata, Claudia (Committee member) / Arizona State University (Publisher)
Created2011