ASU Electronic Theses and Dissertations
This collection includes most of the ASU Theses and Dissertations from 2011 to present. ASU Theses and Dissertations are available in downloadable PDF format; however, a small percentage of items are under embargo. Information about the dissertations/theses includes degree information, committee members, an abstract, supporting data or media.
In addition to the electronic theses found in the ASU Digital Repository, ASU Theses and Dissertations can be found in the ASU Library Catalog.
Dissertations and Theses granted by Arizona State University are archived and made available through a joint effort of the ASU Graduate College and the ASU Libraries. For more information or questions about this collection contact or visit the Digital Repository ETD Library Guide or contact the ASU Graduate College at gradformat@asu.edu.
Displaying 1 - 10 of 92
Description
Many manmade chemicals used in consumer products are ultimately washed down the drain and are collected in municipal sewers. Efficient chemical monitoring at wastewater treatment (WWT) plants thus may provide up-to-date information on chemical usage rates for epidemiological assessments. The objective of the present study was to extrapolate this concept, termed 'sewage epidemiology', to include municipal sewage sludge (MSS) in identifying and prioritizing contaminants of emerging concern (CECs). To test this the following specific aims were defined: i) to screen and identify CECs in nationally representative samples of MSS and to provide nationwide inventories of CECs in U.S. MSS; ii) to investigate the fate and persistence in MSS-amended soils, of sludge-borne hydrophobic CECs; and iii) to develop an analytical tool relying on contaminant levels in MSS as an indicator for identifying and prioritizing hydrophobic CECs. Chemicals that are primarily discharged to the sewage systems (alkylphenol surfactants) and widespread persistent organohalogen pollutants (perfluorochemicals and brominated flame retardants) were analyzed in nationally representative MSS samples. A meta-analysis showed that CECs contribute about 0.04-0.15% to the total dry mass of MSS, a mass equivalent of 2,700-7,900 metric tonnes of chemicals annually. An analysis of archived mesocoms from a sludge weathering study showed that 64 CECs persisted in MSS/soil mixtures over the course of the experiment, with half-lives ranging between 224 and >990 days; these results suggest an inherent persistence of CECs that accumulate in MSS. A comparison of the spectrum of chemicals (n=52) analyzed in nationally representative biological specimens from humans and MSS revealed 70% overlap. This observed co-occurrence of contaminants in both matrices suggests that MSS may serve as an indicator for ongoing human exposures and body burdens of pollutants in humans. In conclusion, I posit that this novel approach in sewage epidemiology may serve to pre-screen and prioritize the several thousands of known or suspected CECs to identify those that are most prone to pose a risk to human health and the environment.
ContributorsVenkatesan, Arjunkrishna (Author) / Halden, Rolf U. (Thesis advisor) / Westerhoff, Paul (Committee member) / Fox, Peter (Committee member) / Arizona State University (Publisher)
Created2013
Description
Biological systems are complex in many dimensions as endless transportation and communication networks all function simultaneously. Our ability to intervene within both healthy and diseased systems is tied directly to our ability to understand and model core functionality. The progress in increasingly accurate and thorough high-throughput measurement technologies has provided a deluge of data from which we may attempt to infer a representation of the true genetic regulatory system. A gene regulatory network model, if accurate enough, may allow us to perform hypothesis testing in the form of computational experiments. Of great importance to modeling accuracy is the acknowledgment of biological contexts within the models -- i.e. recognizing the heterogeneous nature of the true biological system and the data it generates. This marriage of engineering, mathematics and computer science with systems biology creates a cycle of progress between computer simulation and lab experimentation, rapidly translating interventions and treatments for patients from the bench to the bedside. This dissertation will first discuss the landscape for modeling the biological system, explore the identification of targets for intervention in Boolean network models of biological interactions, and explore context specificity both in new graphical depictions of models embodying context-specific genomic regulation and in novel analysis approaches designed to reveal embedded contextual information. Overall, the dissertation will explore a spectrum of biological modeling with a goal towards therapeutic intervention, with both formal and informal notions of biological context, in such a way that will enable future work to have an even greater impact in terms of direct patient benefit on an individualized level.
ContributorsVerdicchio, Michael (Author) / Kim, Seungchan (Thesis advisor) / Baral, Chitta (Committee member) / Stolovitzky, Gustavo (Committee member) / Collofello, James (Committee member) / Arizona State University (Publisher)
Created2013
Description
The consumption of feedstocks from agriculture and forestry by current biofuel production has raised concerns about food security and land availability. In the meantime, intensive human activities have created a large amount of marginal lands that require management. This study investigated the viability of aligning land management with biofuel production on marginal lands. Biofuel crop production on two types of marginal lands, namely urban vacant lots and abandoned mine lands (AMLs), were assessed. The investigation of biofuel production on urban marginal land was carried out in Pittsburgh between 2008 and 2011, using the sunflower gardens developed by a Pittsburgh non-profit as an example. Results showed that the crops from urban marginal lands were safe for biofuel. The crop yield was 20% of that on agricultural land while the low input agriculture was used in crop cultivation. The energy balance analysis demonstrated that the sunflower gardens could produce a net energy return even at the current low yield. Biofuel production on AML was assessed from experiments conducted in a greenhouse for sunflower, soybean, corn, canola and camelina. The research successfully created an industrial symbiosis by using bauxite as soil amendment to enable plant growth on very acidic mine refuse. Phytoremediation and soil amendments were found to be able to effectively reduce contamination in the AML and its runoff. Results from this research supported that biofuel production on marginal lands could be a unique and feasible option for cultivating biofuel feedstocks.
ContributorsZhao, Xi (Author) / Landis, Amy (Thesis advisor) / Fox, Peter (Committee member) / Chester, Mikhail (Committee member) / Arizona State University (Publisher)
Created2013
Description
Linear Temporal Logic is gaining increasing popularity as a high level specification language for robot motion planning due to its expressive power and scalability of LTL control synthesis algorithms. This formalism, however, requires expert knowledge and makes it inaccessible to non-expert users. This thesis introduces a graphical specification environment to create high level motion plans to control robots in the field by converting a visual representation of the motion/task plan into a Linear Temporal Logic (LTL) specification. The visual interface is built on the Android tablet platform and provides functionality to create task plans through a set of well defined gestures and on screen controls. It uses the notion of waypoints to quickly and efficiently describe the motion plan and enables a variety of complex Linear Temporal Logic specifications to be described succinctly and intuitively by the user without the need for the knowledge and understanding of LTL specification. Thus, it opens avenues for its use by personnel in military, warehouse management, and search and rescue missions. This thesis describes the construction of LTL for various scenarios used for robot navigation using the visual interface developed and leverages the use of existing LTL based motion planners to carry out the task plan by a robot.
ContributorsSrinivas, Shashank (Author) / Fainekos, Georgios (Thesis advisor) / Baral, Chitta (Committee member) / Burleson, Winslow (Committee member) / Arizona State University (Publisher)
Created2013
Description
Answer Set Programming (ASP) is one of the most prominent and successful knowledge representation paradigms. The success of ASP is due to its expressive non-monotonic modeling language and its efficient computational methods originating from building propositional satisfiability solvers. The wide adoption of ASP has motivated several extensions to its modeling language in order to enhance expressivity, such as incorporating aggregates and interfaces with ontologies. Also, in order to overcome the grounding bottleneck of computation in ASP, there are increasing interests in integrating ASP with other computing paradigms, such as Constraint Programming (CP) and Satisfiability Modulo Theories (SMT). Due to the non-monotonic nature of the ASP semantics, such enhancements turned out to be non-trivial and the existing extensions are not fully satisfactory. We observe that one main reason for the difficulties rooted in the propositional semantics of ASP, which is limited in handling first-order constructs (such as aggregates and ontologies) and functions (such as constraint variables in CP and SMT) in natural ways. This dissertation presents a unifying view on these extensions by viewing them as instances of formulas with generalized quantifiers and intensional functions. We extend the first-order stable model semantics by by Ferraris, Lee, and Lifschitz to allow generalized quantifiers, which cover aggregate, DL-atoms, constraints and SMT theory atoms as special cases. Using this unifying framework, we study and relate different extensions of ASP. We also present a tight integration of ASP with SMT, based on which we enhance action language C+ to handle reasoning about continuous changes. Our framework yields a systematic approach to study and extend non-monotonic languages.
ContributorsMeng, Yunsong (Author) / Lee, Joohyung (Thesis advisor) / Ahn, Gail-Joon (Committee member) / Baral, Chitta (Committee member) / Fainekos, Georgios (Committee member) / Lifschitz, Vladimir (Committee member) / Arizona State University (Publisher)
Created2013
Description
In this dissertation I develop a deep theory of temporal planning well-suited to analyzing, understanding, and improving the state of the art implementations (as of 2012). At face-value the work is strictly theoretical; nonetheless its impact is entirely real and practical. The easiest portion of that impact to highlight concerns the notable improvements to the format of the temporal fragment of the International Planning Competitions (IPCs). Particularly: the theory I expound upon here is the primary cause of--and justification for--the altered (i) selection of benchmark problems, and (ii) notion of "winning temporal planner". For higher level motivation: robotics, web service composition, industrial manufacturing, business process management, cybersecurity, space exploration, deep ocean exploration, and logistics all benefit from applying domain-independent automated planning technique. Naturally, actually carrying out such case studies has much to offer. For example, we may extract the lesson that reasoning carefully about deadlines is rather crucial to planning in practice. More generally, effectively automating specifically temporal planning is well-motivated from applications. Entirely abstractly, the aim is to improve the theory of automated temporal planning by distilling from its practice. My thesis is that the key feature of computational interest is concurrency. To support, I demonstrate by way of compilation methods, worst-case counting arguments, and analysis of algorithmic properties such as completeness that the more immediately pressing computational obstacles (facing would-be temporal generalizations of classical planning systems) can be dealt with in theoretically efficient manner. So more accurately the technical contribution here is to demonstrate: The computationally significant obstacle to automated temporal planning that remains is just concurrency.
ContributorsCushing, William Albemarle (Author) / Kambhampati, Subbarao (Thesis advisor) / Weld, Daniel S. (Committee member) / Smith, David E. (Committee member) / Baral, Chitta (Committee member) / Davalcu, Hasan (Committee member) / Arizona State University (Publisher)
Created2012
Description
Contaminants of emerging concern (CECs) present in wastewater effluent can threat its safe discharge or reuse. Additional barriers of protection can be provided using advanced or natural treatment processes. This dissertation evaluated ozonation and constructed wetlands to remove CECs from wastewater effluent. Organic CECs can be removed by hydroxyl radical formed during ozonation, however estimating the ozone demand of wastewater effluent is complicated due to the presence of reduced inorganic species. A method was developed to estimate ozone consumption only by dissolved organic compounds and predict trace organic oxidation across multiple wastewater sources. Organic and engineered nanomaterial (ENM) CEC removal in constructed wetlands was investigated using batch experiments and continuous-flow microcosms containing decaying wetland plants. CEC removal varied depending on their physico-chemical properties, hydraulic residence time (HRT) and relative quantities of plant materials in the microcosms. At comparable HRTs, ENM removal improved with higher quantity of plant materials due to enhanced sorption which was verified in batch-scale studies with plant materials. A fate-predictive model was developed to evaluate the role of design loading rates on organic CEC removal. Areal removal rates increased with hydraulic loading rates (HLRs) and carbon loading rates (CLRs) unless photolysis was the dominant removal mechanism (e.g. atrazine). To optimize CEC removal, wetlands with different CLRs can be used in combination without lowering the net HLR. Organic CEC removal in denitrifying conditions of constructed wetlands was investigated and selected CECs (e.g. estradiol) were found to biotransform while denitrification occurred. Although level of denitrification was affected by HRT, similar impact on estradiol was not observed due to a dominant effect from plant biomass quantity. Overall, both modeling and experimental findings suggest considering CLR as an equally important factor with HRT or HLR to design constructed wetlands for CEC removal. This dissertation provided directions to select design parameters for ozonation (ozone dose) and constructed wetlands (design loading rates) to meet organic CEC removal goals. Future research is needed to understand fate of ENMs during ozonation and quantify the contributions from different transformation mechanisms occurring in the wetlands to incorporate in a model and evaluate the effect of wetland design.
ContributorsSharif, Fariya (Author) / Westerhoff, Paul (Thesis advisor) / Halden, Rolf (Committee member) / Fox, Peter (Committee member) / Herckes, Pierre (Committee member) / Arizona State University (Publisher)
Created2013
Description
The influence of climate variability and reclaimed wastewater on the water supply necessitates improved understanding of the treatability of trace and bulk organic matter. Dissolved organic matter (DOM) mobilized during extreme weather events and in treated wastewater includes natural organic matter (NOM), contaminants of emerging concern (CECs), and microbial extracellular polymeric substances (EPS). The goal of my dissertation was to quantify the impacts of extreme weather events on DOM in surface water and downstream treatment processes, and to improve membrane filtration efficiency and CECs oxidation efficiency during water reclamation with ozone. Surface water quality, air quality and hydrologic flow rate data were used to quantify changes in DOM and turbidity following dust storms, flooding, or runoff from wildfire burn areas in central Arizona. The subsequent impacts to treatment processes and public perception of water quality were also discussed. Findings showed a correlation between dust storm events and change in surface water turbidity (R2=0.6), attenuation of increased DOM through reservoir systems, a 30-40% increase in organic carbon and a 120-600% increase in turbidity following severe flooding, and differing impacts of upland and lowland wildfires. The use of ozone to reduce membrane fouling caused by vesicles (a subcomponent of EPS) and oxidize CECs through increased hydroxyl radical (HO●) production was investigated. An "ozone dose threshold" was observed above which addition of hydrogen peroxide increased HO● production; indicating the presence of ambient promoters in wastewater. Ozonation of CECs in secondary effluent over titanium dioxide or activated carbon did not increase radial production. Vesicles fouled ultrafiltration membranes faster (20 times greater flux decline) than polysaccharides, fatty acids, or NOM. Based upon the estimated carbon distribution of secondary effluent, vesicles could be responsible for 20-60% of fouling during ultrafiltration and may play a vital role in other environmental processes as well. Ozone reduced vesicle-caused membrane fouling that, in conjunction with the presence of ambient promoters, helps to explain why low ozone dosages improve membrane flux during full-scale water reclamation.
ContributorsBarry, Michelle (Author) / Barry, Michelle C (Thesis advisor) / Westerhoff, Paul (Committee member) / Fox, Peter (Committee member) / Halden, Rolf (Committee member) / Hristovski, Kiril (Committee member) / Arizona State University (Publisher)
Created2014
Description
Characterization of petroleum spill site source zones directly influences the selection of corrective action plans and frequently affects the success of remediation efforts. For example, simply knowing whether or not nonaqueous phase liquid (NAPL) is present, or if there is chemical storage in less hydraulically accessible regions, will influence corrective action planning. The overarching objective of this study was to assess if macroscopic source zone features can be inferred from dissolved concentration vs. time data. Laboratory-scale physical model studies were conducted for idealized sources; defined as Type-1) NAPL-impacted high permeability zones, Type-2) NAPL-impacted lower permeability zones, and Type-3) dissolved chemical matrix storage in lower permeability zones. Aquifer source release studies were conducted using two-dimensional stainless steel flow-through tanks outfitted with sampling ports for the monitoring of effluent concentrations and flow rates. An idealized NAPL mixture of key gasoline components was used to create the NAPL source zones, and dissolved sources were created using aqueous solutions having concentrations similar to water in equilibrium with the NAPL sources. The average linear velocity was controlled by pumping to be about 2 ft/d, and dissolved effluent concentrations were monitored daily. The Type-1 experiment resulted in a source signature similar to that expected for a relatively well-mixed NAPL source, with dissolved concentrations dependent on chemical solubility and initial mass fraction. The Type-2 and Type-3 experiments were conducted for 320 d and 190 d respectively. Unlike the Type-1 experiment, the concentration vs. time behavior was similar for all chemicals, for both source types. The magnitudes of the effluent concentrations varied between the Type-2 and Type-3 experiments, and were related to the hydrocarbon source mass. A fourth physical model experiment was performed to identify differences between ideal equilibrium behavior and the source concentration vs. time behavior observed in the tank experiments. Screening-level mathematical models predicted the general behavior observed in the experiments. The results of these studies suggest that dissolved concentration vs. time data can be used to distinguish between Type-1 sources in transmissive zones and Type-2 and Type-3 sources in lower permeability zones, provided that many years to decades of data are available. The results also suggest that concentration vs. time data alone will be insufficient to distinguish between NAPL and dissolved-phase storage sources in lower permeability regions.
ContributorsWilson, Sean Tomas (Author) / Johnson, Paul (Thesis advisor) / Kavazanjian, Edward (Committee member) / Fox, Peter (Committee member) / Arizona State University (Publisher)
Created2014
Description
Modeling dynamic systems is an interesting problem in Knowledge Representation (KR) due to their usefulness in reasoning about real-world environments. In order to effectively do this, a number of different formalisms have been considered ranging from low-level languages, such as Answer Set Programming (ASP), to high-level action languages, such as C+ and BC. These languages show a lot of promise over many traditional approaches as they allow a developer to automate many tasks which require reasoning within dynamic environments in a succinct and elaboration tolerant manner. However, despite their strengths, they are still insufficient for modeling many systems, especially those of non-trivial scale or that require the ability to cope with exceptions which occur during execution, such as unexpected events or unintended consequences to actions which have been performed. In order to address these challenges, a theoretical framework is created which focuses on improving the feasibility of applying KR techniques to such problems. The framework is centered on the action language BC+, which integrates many of the strengths of existing KR formalisms, and provides the ability to perform efficient reasoning in an incremental fashion while handling exceptions which occur during execution. The result is a developer friendly formalism suitable for performing reasoning in an online environment. Finally, the newly enhanced Cplus2ASP 2 is introduced, which provides a number of improvements over the original version. These improvements include implementing BC+ among several additional languages, providing enhanced developer support, and exhibiting a significant performance increase over its predecessors and similar systems.
ContributorsBabb, Joseph (Author) / Lee, Joohyung (Thesis advisor) / Lee, Yann-Hang (Committee member) / Baral, Chitta (Committee member) / Arizona State University (Publisher)
Created2014