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 67
Description
Developing a system capable of using solar energy to drive the conversion of an abundant and available precursor to fuel would profoundly impact humanity's energy use and thereby the condition of the global ecosystem. Such is the goal of artificial photosynthesis: to convert water to hydrogen using solar radiation as the sole energy input and ideally do so with the use of low cost, abundant materials. Constructing photoelectrochemical cells incorporating photoanodes structurally reminiscent of those used in dye sensitized photovoltaic solar cells presents one approach to establishing an artificial photosynthetic system. The work presented herein describes the production, integration, and study of water oxidation catalysts, molecular dyes, and metal oxide based photoelectrodes carried out in the pursuit of developing solar water splitting systems.
ContributorsSherman, Benjamin D (Author) / Moore, Thomas (Thesis advisor) / Moore, Ana (Committee member) / Buttry, Daniel (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
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
The work presented in this thesis covers the synthesis and characterization of an ionomer that is applicable to zinc-air batteries. Polysulfone polymer is first chloromethylated and then quaternized to create an ion-conducting polymer. Nuclear magnetic resonance (NMR) spectra indicates that the degree of chloromethylation was 114%. The chemical and physical properties that were investigated include: the ionic conductivity, ion exchange capacity, water retention capacity, diameter and thickness swelling ratios, porosity, glass transition temperature, ionic conductivity enhanced by free salt addition, and the concentration and diffusivity of oxygen within the ionomer. It was found that the fully hydrated hydroxide form of the ionomer had a room temperature ionic conductivity of 39.92mS/cm while the chloride form had a room temperature ionic conductivity of 11.80mS/cm. The ion exchange capacity of the ionomer was found to be 1.022mmol/g. The water retention capacity (WRC) of the hydroxide form was found to be 172.6% while the chloride form had a WRC of 67.9%. The hydroxide form of the ionomer had a diameter swelling ratio of 34% and a thickness swelling ratio of 55%. The chloride form had a diameter swelling ratio of 32% and a thickness swelling ratio of 28%. The largest pore size in the ionomer was found to be 32.6nm in diameter. The glass transition temperature of the ionomer is speculated to be 344°C. A definite measurement could not be made. The room temperature ionic conductivity at 50% relative humidity was improved to 12.90mS/cm with the addition of 80% free salt. The concentration and diffusivity of oxygen in the ionomer was found to be 1.3 ±0.2mMol and (0.49 ±0.15)x10-5 cm2/s respectively. The ionomer synthesized in this research had material properties and performance that is comparable to other ionomers reported in the literature. This is an indication that this ionomer is suitable for further study and integration into a zinc-air battery. This thesis is concluded with suggestions for future research that is focused on improving the performance of the ionomer as well as improving the methodology.
ContributorsPadilla, Manuel (Author) / Friesen, Cody A (Thesis advisor) / Buttry, Daniel (Committee member) / Sieradzki, Karl (Committee member) / Arizona State University (Publisher)
Created2012
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
Dealloying, the selective dissolution of an elemental component from an alloy, is an important corrosion mechanism and a technological significant means to fabricate nanoporous structures for a variety of applications. In noble metal alloys, dealloying proceeds above a composition dependent critical potential, and bi-continuous structure evolves "simultaneously" as a result of the interplay between percolation dissolution and surface diffusion. In contrast, dealloying in alloys that show considerable solid-state mass transport at ambient temperature is largely unexplored despite its relevance to nanoparticle catalysts and Li-ion anodes. In my dissertation, I discuss the behaviors of two alloy systems in order to elucidate the role of bulk lattice diffusion in dealloying. First, Mg-Cd alloys are chosen to show that when the dealloying is controlled by bulk diffusion, a new type of porosity - negative void dendrites will form, and the process mirrors electrodeposition. Then, Li-Sn alloys are studied with respect to the composition, particle size and dealloying rate effects on the morphology evolution. Under the right condition, dealloying of Li-Sn supported by percolation dissolution results in the same bi-continuous structure as nanoporous noble metals; whereas lattice diffusion through the otherwise "passivated" surface allows for dealloying with no porosity evolution. The interactions between bulk diffusion, surface diffusion and dissolution are revealed by chronopotentiometry and linear sweep voltammetry technics. The better understanding of dealloying from these experiments enables me to construct a brief review summarizing the electrochemistry and morphology aspects of dealloying as well as offering interpretations to new observations such as critical size effect and encased voids in nanoporous gold. At the end of the dissertation, I will describe a preliminary attempt to generalize the morphology evolution "rules of dealloying" to all solid-to-solid interfacial controlled phase transition process, demonstrating that bi-continuous morphologies can evolve regardless of the nature of parent phase.
ContributorsChen, Qing (Author) / Sieradzki, Karl (Thesis advisor) / Friesen, Cody (Committee member) / Buttry, Daniel (Committee member) / Chan, Candace (Committee member) / Arizona State University (Publisher)
Created2013
Description
This work demonstrated a novel microfluidic device based on direct current (DC) insulator based dielectrophoresis (iDEP) for trapping individual mammalian cells in a microfluidic device. The novel device is also applicable for selective trapping of weakly metastatic mammalian breast cancer cells (MCF-7) from mixtures with mammalian Peripheral Blood Mononuclear Cells (PBMC) and highly metastatic mammalian breast cancer cells, MDA-MB-231. The advantage of this approach is the ease of integration of iDEP structures in microfliudic channels using soft lithography, the use of DC electric fields, the addressability of the single cell traps for downstream analysis and the straightforward multiplexing for single cell trapping. These microfluidic devices are targeted for capturing of single cells based on their DEP behavior. The numerical simulations point out the trapping regions in which single cell DEP trapping occurs. This work also demonstrates the cell conductivity values of different cell types, calculated using the single-shell model. Low conductivity buffers are used for trapping experiments. These low conductivity buffers help reduce the Joule heating. Viability of the cells in the buffer system was studied in detail with a population size of approximately 100 cells for each study. The work also demonstrates the development of the parallelized single cell trap device with optimized traps. This device is also capable of being coupled detection of target protein using MALDI-MS.
ContributorsBhattacharya, Sanchari (Author) / Ros, Alexandra (Committee member) / Ros, Robert (Committee member) / Buttry, Daniel (Committee member) / Arizona State University (Publisher)
Created2013
Description
Titanium oxide (TiO2), an abundant material with high photocatalytic activity and chemical stability is an important candidate for photocatalytic applications. The photocatalytic activity of the TiO2 varies with its phase. In the current project, phase and morphology changes in TiO2 nanotubes were studied using ex-situ and in-situ transmission electron microscopy (TEM). X-ray diffraction and scanning electron microscopy studies were also performed to understand the phase and morphology of the nanotubes. As prepared TiO2 nanotubes supported on Ti metal substrate were amorphous, during the heat treatment in the ex-situ furnace nanotubes transform to anatase at 450 oC and transformed to rutile when heated to 800 oC. TiO2 nanotubes that were heat treated in an in-situ environmental TEM, transformed to anatase at 400 oC and remain anatase even up to 800 oC. In both ex-situ an in-situ case, the morphology of the nanotubes drastically changed from a continuous tubular structure to aggregates of individual nanoparticles. The difference between the ex-situ an in-situ treatments and their effect on the phase transformation is discussed. Metal doping is one of the effective ways to improve the photocatalytic performance. Several approaches were performed to get metal loading on to the TiO2 nanotubes. Mono-dispersed platinum nanoparticles were deposited on the TiO2 nanopowder and nanotubes using photoreduction method. Photo reduction for Ag and Pt bimetallic nanoparticles were also performed on the TiO2 powders.
ContributorsSantra, Sanjitarani (Author) / Crozier, Peter A. (Thesis advisor) / Carpenter, Ray (Committee member) / Buttry, Daniel (Committee member) / Arizona State University (Publisher)
Created2014
Description
Colloidal quantum dots (QDs) or semiconductor nanocrystals are often used to describe 2 to 20 nm solution processed nanoparticles of various semiconductor materials that display quantum confinement effects. Compared to traditional fluorescent organic dyes, QDs provide many advantages. For biological applications it is necessary to develop reliable methods to functionalize QDs with hydrophilic biomolecules so that they may maintain their stability and functionality in physiological conditions. DNA, a molecule that encodes genetic information, is arguably the smartest molecule that nature has ever produced and one of the most explored bio-macromolecules. DNA directed self-assembly can potentially organize QDs that are functionalized with DNA with nanometer precision, and the resulting arrangements may facilitate the display of novel optical properties. The goal of this dissertation was to achieve a robust reliable yet simple strategy to link DNA to QDs so that they can be used for DNA directed self assembly by which we can engineer their optical properties. Presented here is a series of studies to achieve this goal. First we demonstrate the aqueous synthesis of colloidal nanocrystal heterostructures consisting of the CdTe core encapsulated by CdS/ZnS or CdSe/ZnS shells using glutathione (GSH), a tripeptide, as the capping ligand. We next employed this shell synthesis strategy to conjugate PS-PO chimeric DNA to QDs at the time of shell synthesis. We synthesized a library of DNA linked QDs emitting from UV to near IR that are very stable in high salt concentrations. These DNA functionalized QDs were further site-specifically organized on DNA origami in desired patterns directed by DNA self-assembly. We further extended our capability to functionalize DNA to real IR emitting CdxPb1-xTe alloyed QDs, and demonstrated their stability by self-assembling them on DNA origami. The photo-physical properties of the QDs were further engineered by attaching a QD and a gold nanoparticle in controlled distances on the same DNA origami, which revealed a much longer range quenching effect than usual Forster Resonance Energy Transfer. We are currently engaged in enhancing photoluminescence intensity of the QDs by bringing them in the plasmonic hot spots generated by cluster of larger plasmonic nanoparticles.
ContributorsSamanta, Anirban (Author) / Yan, Hao (Thesis advisor) / Liu, Yan (Thesis advisor) / Buttry, Daniel (Committee member) / Gould, Ian (Committee member) / Arizona State University (Publisher)
Created2014