Matching Items (1,854)
Filtering by
- All Subjects: Computer Science
- All Subjects: Sustainability
Description
Land transformation under conditions of rapid urbanization has significantly altered the structure and functioning of Earth's systems. Land fragmentation, a characteristic of land transformation, is recognized as a primary driving force in the loss of biological diversity worldwide. However, little is known about its implications in complex urban settings where interaction with social dynamics is intense. This research asks: How do patterns of land cover and land fragmentation vary over time and space, and what are the socio-ecological drivers and consequences of land transformation in a rapidly growing city? Using Metropolitan Phoenix as a case study, the research links pattern and process relationships between land cover, land fragmentation, and socio-ecological systems in the region. It examines population growth, water provision and institutions as major drivers of land transformation, and the changes in bird biodiversity that result from land transformation. How to manage socio-ecological systems is one of the biggest challenges of moving towards sustainability. This research project provides a deeper understanding of how land transformation affects socio-ecological dynamics in an urban setting. It uses a series of indices to evaluate land cover and fragmentation patterns over the past twenty years, including land patch numbers, contagion, shapes, and diversities. It then generates empirical evidence on the linkages between land cover patterns and ecosystem properties by exploring the drivers and impacts of land cover change. An interdisciplinary approach that integrates social, ecological, and spatial analysis is applied in this research. Findings of the research provide a documented dataset that can help researchers study the relationship between human activities and biotic processes in an urban setting, and contribute to sustainable urban development.
ContributorsZhang, Sainan (Author) / Boone, Christopher G. (Thesis advisor) / York, Abigail M. (Committee member) / Myint, Soe (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
In recent years we have witnessed a shift towards multi-processor system-on-chips (MPSoCs) to address the demands of embedded devices (such as cell phones, GPS devices, luxury car features, etc.). Highly optimized MPSoCs are well-suited to tackle the complex application demands desired by the end user customer. These MPSoCs incorporate a constellation of heterogeneous processing elements (PEs) (general purpose PEs and application-specific integrated circuits (ASICS)). A typical MPSoC will be composed of a application processor, such as an ARM Coretex-A9 with cache coherent memory hierarchy, and several application sub-systems. Each of these sub-systems are composed of highly optimized instruction processors, graphics/DSP processors, and custom hardware accelerators. Typically, these sub-systems utilize scratchpad memories (SPM) rather than support cache coherency. The overall architecture is an integration of the various sub-systems through a high bandwidth system-level interconnect (such as a Network-on-Chip (NoC)). The shift to MPSoCs has been fueled by three major factors: demand for high performance, the use of component libraries, and short design turn around time. As customers continue to desire more and more complex applications on their embedded devices the performance demand for these devices continues to increase. Designers have turned to using MPSoCs to address this demand. By using pre-made IP libraries designers can quickly piece together a MPSoC that will meet the application demands of the end user with minimal time spent designing new hardware. Additionally, the use of MPSoCs allows designers to generate new devices very quickly and thus reducing the time to market. In this work, a complete MPSoC synthesis design flow is presented. We first present a technique \cite{leary1_intro} to address the synthesis of the interconnect architecture (particularly Network-on-Chip (NoC)). We then address the synthesis of the memory architecture of a MPSoC sub-system \cite{leary2_intro}. Lastly, we present a co-synthesis technique to generate the functional and memory architectures simultaneously. The validity and quality of each synthesis technique is demonstrated through extensive experimentation.
ContributorsLeary, Glenn (Author) / Chatha, Karamvir S (Thesis advisor) / Vrudhula, Sarma (Committee member) / Shrivastava, Aviral (Committee member) / Beraha, Rudy (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
Currently, to interact with computer based systems one needs to learn the specific interface language of that system. In most cases, interaction would be much easier if it could be done in natural language. For that, we will need a module which understands natural language and automatically translates it to the interface language of the system. NL2KR (Natural language to knowledge representation) v.1 system is a prototype of such a system. It is a learning based system that learns new meanings of words in terms of lambda-calculus formulas given an initial lexicon of some words and their meanings and a training corpus of sentences with their translations. As a part of this thesis, we take the prototype NL2KR v.1 system and enhance various components of it to make it usable for somewhat substantial and useful interface languages. We revamped the lexicon learning components, Inverse-lambda and Generalization modules, and redesigned the lexicon learning algorithm which uses these components to learn new meanings of words. Similarly, we re-developed an inbuilt parser of the system in Answer Set Programming (ASP) and also integrated external parser with the system. Apart from this, we added some new rich features like various system configurations and memory cache in the learning component of the NL2KR system. These enhancements helped in learning more meanings of the words, boosted performance of the system by reducing the computation time by a factor of 8 and improved the usability of the system. We evaluated the NL2KR system on iRODS domain. iRODS is a rule-oriented data system, which helps in managing large set of computer files using policies. This system provides a Rule-Oriented interface langauge whose syntactic structure is like any procedural programming language (eg. C). However, direct translation of natural language (NL) to this interface language is difficult. So, for automatic translation of NL to this language, we define a simple intermediate Policy Declarative Language (IPDL) to represent the knowledge in the policies, which then can be directly translated to iRODS rules. We develop a corpus of 100 policy statements and manually translate them to IPDL langauge. This corpus is then used for the evaluation of NL2KR system. We performed 10 fold cross validation on the system. Furthermore, using this corpus, we illustrate how different components of our NL2KR system work.
ContributorsKumbhare, Kanchan Ravishankar (Author) / Baral, Chitta (Thesis advisor) / Ye, Jieping (Committee member) / Li, Baoxin (Committee member) / Arizona State University (Publisher)
Created2013
Description
Cities around the globe struggle with socio-economic disparities, resource inefficiency, environmental contamination, and quality-of-life challenges. Technological innovation, as one prominent approach to problem solving, promises to address these challenges; yet, introducing new technologies, such as nanotechnology, into society and cities has often resulted in negative consequences. Recent research has conceptually linked anticipatory governance and sustainability science: to understand the role of technology in complex problems our societies face; to anticipate negative consequences of technological innovation; and to promote long-term oriented and responsible governance of technologies. This dissertation advances this link conceptually and empirically, focusing on nanotechnology and urban sustainability challenges. The guiding question for this dissertation research is: How can nanotechnology be innovated and governed in responsible ways and with sustainable outcomes? The dissertation: analyzes the nanotechnology innovation process from an actor- and activities-oriented perspective (Chapter 2); assesses this innovation process from a comprehensive perspective on sustainable governance (Chapter 3); constructs a small set of future scenarios to consider future implications of different nanotechnology governance models (Chapter 4); and appraises the amenability of sustainability problems to nanotechnological interventions (Chapter 5). The four studies are based on data collected through literature review, document analysis, participant observation, interviews, workshops, and walking audits, as part of process analysis, scenario construction, and technology assessment. Research was conducted in collaboration with representatives from industry, government agencies, and civic organizations. The empirical parts of the four studies focus on Metropolitan Phoenix. Findings suggest that: predefined mandates and economic goals dominate the nanotechnology innovation process; normative responsibilities identified by risk governance, sustainability-oriented governance, and anticipatory governance are infrequently considered in the nanotechnology innovation process; different governance models will have major impacts on the role and effects of nanotechnology in cities in the future; and nanotechnologies, currently, do not effectively address the root causes of urban sustainability challenges and require complementary solution approaches. This dissertation contributes to the concepts of anticipatory governance and sustainability science on how to constructively guide nanotechnological innovation in order to harvest its positive potential and safeguard against negative consequences.
ContributorsFoley, Rider Williams (Author) / Wiek, Arnim (Thesis advisor) / Guston, David H. (Committee member) / Seager, Thomas P (Committee member) / Minteer, Ben A (Committee member) / Arizona State University (Publisher)
Created2013
Description
Parallel Monte Carlo applications require the pseudorandom numbers used on each processor to be independent in a probabilistic sense. The TestU01 software package is the standard testing suite for detecting stream dependence and other properties that make certain pseudorandom generators ineffective in parallel (as well as serial) settings. TestU01 employs two basic schemes for testing parallel generated streams. The first applies serial tests to the individual streams and then tests the resulting P-values for uniformity. The second turns all the parallel generated streams into one long vector and then applies serial tests to the resulting concatenated stream. Various forms of stream dependence can be missed by each approach because neither one fully addresses the multivariate nature of the accumulated data when generators are run in parallel. This dissertation identifies these potential faults in the parallel testing methodologies of TestU01 and investigates two different methods to better detect inter-stream dependencies: correlation motivated multivariate tests and vector time series based tests. These methods have been implemented in an extension to TestU01 built in C++ and the unique aspects of this extension are discussed. A variety of different generation scenarios are then examined using the TestU01 suite in concert with the extension. This enhanced software package is found to better detect certain forms of inter-stream dependencies than the original TestU01 suites of tests.
ContributorsIsmay, Chester (Author) / Eubank, Randall (Thesis advisor) / Young, Dennis (Committee member) / Kao, Ming-Hung (Committee member) / Lanchier, Nicolas (Committee member) / Reiser, Mark R. (Committee member) / Arizona State University (Publisher)
Created2013
Description
Objective of this thesis project is to build a prototype using Linear Temporal Logic specifications for generating a 2D motion plan commanding an iRobot to fulfill the specifications. This thesis project was created for Cyber Physical Systems Lab in Arizona State University. The end product of this thesis is creation of a software solution which can be used in the academia and industry for research in cyber physical systems related applications. The major features of the project are: creating a modular system for motion planning, use of Robot Operating System (ROS), use of triangulation for environment decomposition and using stargazer sensor for localization. The project is built on an open source software called ROS which provides an environment where it is very easy to integrate different modules be it software or hardware on a Linux based platform. Use of ROS implies the project or its modules can be adapted quickly for different applications as the need arises. The final software package created and tested takes a data file as its input which contains the LTL specifications, a symbols list used in the LTL and finally the environment polygon data containing real world coordinates for all polygons and also information on neighbors and parents of each polygon. The software package successfully ran the experiment of coverage, reachability with avoidance and sequencing.
ContributorsPandya, Parth (Author) / Fainekos, Georgios (Thesis advisor) / Dasgupta, Partha (Committee member) / Lee, Yann-Hang (Committee member) / Arizona State University (Publisher)
Created2013
Description
The United Nation's Framework Convention on Climate Change (UNFCCC) recognizes development as a priority for carbon dioxide (CO2) allocation, under its principle of "common but differentiated responsibilities". This was codified in the Kyoto Protocol, which exempt developing nations from binding emission reduction targets. Additionally, they could be the recipients of financed sustainable development projects in exchange for emission reduction credits that the developed nations could use to comply with emission targets. Due to ineffective results, post-Kyoto policy discussions indicate a transition towards mitigation commitments from major developed and developing emitters, likely supplemented by market-based mechanisms to reduce mitigation costs. Although the likelihood of achieving substantial emission reductions is increased by the new plan, there is a paucity of consideration to how an ethic of development might be advanced. Therefore, this research empirically investigates the role that CO2 plays in advancing human development (in terms of the Human Development Index or HDI) over the 1990 to 2010 time period. Based on empirical evidence, a theoretical CO2-development framework is established, which provides a basis for designing a novel policy proposal that integrates mitigation efforts with human development objectives. Empirical evidence confirms that CO2 and HDI are highly correlated, but that there are diminishing returns to HDI as per capita CO2 emissions increase. An examination of development pathways reveals that as nations develop, their trajectories generally become less coupled with CO2. Moreover, the developing countries with the greatest gains in HDI are also nations that have, or are in the process of moving toward, outward-oriented trade policies that involve increased domestic capabilities for product manufacture and export. With these findings in mind, future emission targets should reduce current emissions in developed nations and allow room for HDI growth in developing countries as well as in the least developed nations of the world. Emission trading should also be limited to nations with similar HDI levels to protect less-developed nations from unfair competition for capacity building resources. Lastly, developed countries should be incentivized to invest in joint production ventures within the LDCs to build capacity for self-reliant and sustainable development over the long-term.
ContributorsClark, Susan Spierre (Author) / Seager, Thomas P. (Thesis advisor) / Allenby, Braden (Committee member) / Klinsky, Sonja (Committee member) / Arizona State University (Publisher)
Created2013
Description
This dissertation explores the role of smart home service provisions (SHSP) as motivational agents supporting goal attainment and human flourishing. Evoking human flourishing as a lens for interaction encapsulates issues of wellbeing, adaptation and problem solving within the context of social interaction. To investigate this line of research a new, motivation-sensitive approach to design was implemented. This approach combined psychometric analysis from motivational psychology's Personal Project Analysis (PPA) and Place Attachment theory's Sense of Place (SoP) analysis to produce project-centered motivational models for environmental congruence. Regression analysis of surveys collected from 150 (n = 150) young adults about their homes revealed PPA motivational dimensions had significant main affects on all three SoP factors. Model one indicated PPA dimensions Fearful and Value Congruency predicted the SoP factor Place Attachment (p = 0.012). Model two indicated the PPA factor Positive Affect and PPA dimensions Value Congruency, Self Identity and Autonomy predicted Place Identity (p = .0003). Model three indicated PPA dimensions Difficulty and Likelihood of Success predicted the SoP factor Place Dependency. The relationships between motivational PPA dimensions and SoP demonstrated in these models informed creation of a set of motivational design heuristics. These heuristics guided 20 participants (n = 20) through co-design of paper prototypes of SHSPs supporting goal attainment and human flourishing. Normative analysis of these paper prototypes fashioned a design framework consisting of the use cases "make with me", "keep me on task" and "improve myself"; the four design principles "time and timing", "guidance and accountability", "project ambiguity" and "positivity mechanisms"; and the seven interaction models "structuring time", "prompt user", "gather resources", "consume content", "create content", "restrict and/or restore access to content" and "share content". This design framework described and evaluated three technology probes installed in the homes of three participants (n = 3) for field-testing over the course of one week. A priori and post priori samples of psychometric measures were inconclusive in determining if SHSP motivated goal attainment or increased environmental congruency between young adults and their homes.
ContributorsBrotman, Ryan Scott (Author) / Burleson, Winsow (Thesis advisor) / Heywood, William (Committee member) / Forlizzi, Jodi (Committee member) / Arizona State University (Publisher)
Created2013