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 107
Filtering by

Clear all filters

151704-Thumbnail Image.png
Description
Research has shown that a developmental process of maturing out of alcohol involvement occurs during young adulthood, and that this process is related to both young adult role transitions (e.g., marriage) and personality developmental (e.g., decreased disinhibition and neuroticism). The current study extended past research by testing whether protective marriage

Research has shown that a developmental process of maturing out of alcohol involvement occurs during young adulthood, and that this process is related to both young adult role transitions (e.g., marriage) and personality developmental (e.g., decreased disinhibition and neuroticism). The current study extended past research by testing whether protective marriage and personality effects on maturing out were stronger among more severe late adolescent drinkers, and whether protective marriage effects were stronger among those who experienced more personality development. Parental alcoholism and gender were tested as moderators of marriage, personality, and late adolescent drinking effects on maturing out; and as distal predictors mediated by these effects. Participants were a subsample (N = 844; 51% children of alcoholics; 53% male, 71% non-Hispanic Caucasian, 27% Hispanic; Chassin, Barrera, Bech, & Kossak-Fuller, 1992) from a larger longitudinal study of familial alcoholism. Hypotheses were tested with latent growth models characterizing alcohol consumption and drinking consequence trajectories from late adolescence to adulthood (age 17-40). Past findings were replicated by showing protective effects of becoming married, sensation-seeking reductions, and neuroticism reductions on the drinking trajectories. Moderation tests showed that protective marriage effects on the drinking trajectories were stronger among those with higher pre-marriage drinking in late adolescence (i.e., higher growth intercepts). This might reflect role socialization mechanisms such that more severe drinking produces more conflict with the demands of new roles (i.e., role incompatibility), thus requiring greater drinking reductions to resolve this conflict. In contrast, little evidence was found for moderation of personality effects by late adolescent drinking or for moderation of marriage effects by personality. Parental alcoholism findings suggested complex moderated mediation pathways. Parental alcoholism predicted less drinking reduction through decreasing the likelihood of marriage (mediation) and muting marriage's effect on the drinking trajectories (moderation), but parental alcoholism also predicted more drinking reduction through increasing initial drinking in late adolescence (mediation). The current study provides new insights into naturally occurring processes of recovery during young adulthood and suggests that developmentally-tailored interventions for young adults could harness these natural recovery processes (e.g., by integrating role incompatibility themes and addressing factors that block role effects among those with familial alcoholism).
ContributorsLee, Matthew R. (Author) / Chassin, Laurie (Thesis advisor) / Corbin, William R. (Committee member) / Mackinnon, David P (Committee member) / Presson, Clark C. (Committee member) / Arizona State University (Publisher)
Created2013
151706-Thumbnail Image.png
Description
Past literature has indicated that the majority of people with alcohol problems never seek treatment and that this is especially true of women. Relatively few studies have investigated how different types of alcohol-related consequences longitudinally predict men and women's perceived need for treatment and their utilization of treatment services. The

Past literature has indicated that the majority of people with alcohol problems never seek treatment and that this is especially true of women. Relatively few studies have investigated how different types of alcohol-related consequences longitudinally predict men and women's perceived need for treatment and their utilization of treatment services. The current study sought to expand the literature by examining whether gender moderates the links between four frequently endorsed types of consequences and perceived need for or actual utilization of treatment. Two-hundred thirty-seven adults ages 21-36 completed a battery of questionnaires at two time points five years apart. Results indicated that there were four broad types of consequences endorsed by both men and women. Multiple-group models and Wald chi square tests indicated that there were no significant relationships between consequences and treatment outcomes. No gender moderation was found but post-hoc power analyses indicated that the study was underpowered to detect moderation. Researchers need to continue to study factors that predict utilization of alcohol treatment services and the process of recovery so that treatment providers can better address the needs of people with alcohol-related consequences in the areas of referral procedures, clinical assessment, and treatment service provision and planning.
ContributorsBeltran Gonzalez, Iris (Author) / Chassin, Laurie (Thesis advisor) / Tein, Jenn-Yun (Committee member) / Corbin, William (Committee member) / Barrera, Jr., Manuel (Committee member) / Arizona State University (Publisher)
Created2013
152230-Thumbnail Image.png
Description
Juvenile offenders suffer from substance use disorders at higher rates than adolescents in the general public. Substance use disorders also predict an increased risk for re-offending. Therefore, it is important that these juveniles, in particular, receive the appropriate substance use disorder treatment. The present study used logistic regression to test

Juvenile offenders suffer from substance use disorders at higher rates than adolescents in the general public. Substance use disorders also predict an increased risk for re-offending. Therefore, it is important that these juveniles, in particular, receive the appropriate substance use disorder treatment. The present study used logistic regression to test whether race/ethnicity would moderate the match between substance use disorder diagnosis and the receipt of a substance use disorder related service in a sample of male, serious juvenile offenders. Results showed that among those with a substance use disorder diagnosis, there were no race/ethnicity differences in the receipt of the appropriate service. However, among those without a substance use disorder diagnosis, non-Hispanic Caucasians were more likely to receive substance use service than were Hispanics or African-Americans. Post-hoc analyses revealed that when using a broader definition of substance use problems, significant differences by race/ethnicity in the prediction of service receipt were only observed at low levels of substance use problems. These findings shed light on how race/ethnicity may play a role in the recommendation of substance use disorder services in the juvenile justice system.
ContributorsMansion, Andre (Author) / Chassin, Laurie (Thesis advisor) / Dishion, Thomas (Committee member) / Knight, George (Committee member) / Arizona State University (Publisher)
Created2013
152234-Thumbnail Image.png
Description
One of the main challenges in planetary robotics is to traverse the shortest path through a set of waypoints. The shortest distance between any two waypoints is a direct linear traversal. Often times, there are physical restrictions that prevent a rover form traversing straight to a waypoint. Thus, knowledge of

One of the main challenges in planetary robotics is to traverse the shortest path through a set of waypoints. The shortest distance between any two waypoints is a direct linear traversal. Often times, there are physical restrictions that prevent a rover form traversing straight to a waypoint. Thus, knowledge of the terrain is needed prior to traversal. The Digital Terrain Model (DTM) provides information about the terrain along with waypoints for the rover to traverse. However, traversing a set of waypoints linearly is burdensome, as the rovers would constantly need to modify their orientation as they successively approach waypoints. Although there are various solutions to this problem, this research paper proposes the smooth traversability of the rover using splines as a quick and easy implementation to traverse a set of waypoints. In addition, a rover was used to compare the smoothness of the linear traversal along with the spline interpolations. The data collected illustrated that spline traversals had a less rate of change in the velocity over time, indicating that the rover performed smoother than with linear paths.
ContributorsKamasamudram, Anurag (Author) / Saripalli, Srikanth (Thesis advisor) / Fainekos, Georgios (Thesis advisor) / Turaga, Pavan (Committee member) / Arizona State University (Publisher)
Created2013
152179-Thumbnail Image.png
Description
As the complexity of robotic systems and applications grows rapidly, development of high-performance, easy to use, and fully integrated development environments for those systems is inevitable. Model-Based Design (MBD) of dynamic systems using engineering software such as Simulink® from MathWorks®, SciCos from Metalau team and SystemModeler® from Wolfram® is quite

As the complexity of robotic systems and applications grows rapidly, development of high-performance, easy to use, and fully integrated development environments for those systems is inevitable. Model-Based Design (MBD) of dynamic systems using engineering software such as Simulink® from MathWorks®, SciCos from Metalau team and SystemModeler® from Wolfram® is quite popular nowadays. They provide tools for modeling, simulation, verification and in some cases automatic code generation for desktop applications, embedded systems and robots. For real-world implementation of models on the actual hardware, those models should be converted into compilable machine code either manually or automatically. Due to the complexity of robotic systems, manual code translation from model to code is not a feasible optimal solution so we need to move towards automated code generation for such systems. MathWorks® offers code generation facilities called Coder® products for this purpose. However in order to fully exploit the power of model-based design and code generation tools for robotic applications, we need to enhance those software systems by adding and modifying toolboxes, files and other artifacts as well as developing guidelines and procedures. In this thesis, an effort has been made to propose a guideline as well as a Simulink® library, StateFlow® interface API and a C/C++ interface API to complete this toolchain for NAO humanoid robots. Thus the model of the hierarchical control architecture can be easily and properly converted to code and built for implementation.
ContributorsRaji Kermani, Ramtin (Author) / Fainekos, Georgios (Thesis advisor) / Lee, Yann-Hang (Committee member) / Sarjoughian, Hessam S. (Committee member) / Arizona State University (Publisher)
Created2013
151780-Thumbnail Image.png
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

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
151793-Thumbnail Image.png
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

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
151653-Thumbnail Image.png
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

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
151338-Thumbnail Image.png
Description
Levels of heavy episodic drinking peak during emerging adulthood and contribute to the experience of negative consequences. Previous research has identified a number of trait-like personality characteristics that are associated with drinking. Studies of the Acquired Preparedness Model have supported positive expectancies, and to a lesser extent negative expectancies, as

Levels of heavy episodic drinking peak during emerging adulthood and contribute to the experience of negative consequences. Previous research has identified a number of trait-like personality characteristics that are associated with drinking. Studies of the Acquired Preparedness Model have supported positive expectancies, and to a lesser extent negative expectancies, as mediators of the relation between trait-like characteristics and alcohol outcomes. However, expectancies measured via self-report may reflect differences in learned expectancies in spite of similar alcohol-related responses, or they may reflect true individual differences in subjective responses to alcohol. The current study addressed this gap in the literature by assessing the relative roles of expectancies and subjective response as mediators within the APM in a sample of 236 emerging adults (74.7% male) participating in a placebo-controlled alcohol challenge study. The study tested four mediation models collapsed across beverage condition as well as eight separate mediation models with four models (2 beverage by 2 expectancy/subjective response) for each outcome (alcohol use and alcohol-related problems). Consistent with previous studies, SS was positively associated with alcohol outcomes in models collapsed across beverage condition. SS was also associated with positive subjective response in collapsed models and in the alcohol models. The hypothesized negative relation between SS and sedation was not significant. In contrast to previous studies, neither stimulation nor sedation predicted either weekly drinking or alcohol-related problems. While stimulation and alcohol use appeared to have a positive and significant association, this relation did not hold when controlling for SS, suggesting that SS and stimulation account for shared variability in drinking behavior. Failure to find this association in the placebo group suggests that, while explicit positive expectancies are related to alcohol use after controlling for levels of sensation seeking, implicit expectancies (at least as assessed by a placebo manipulation) are not. That the relation between SS and stimulation held only in the alcohol condition in analyses separate by beverage condition indicates that sensation seeking is a significant predictor of positive subjective response to alcohol (stimulation), potentially above and beyond expectancies.
ContributorsScott, Caitlin (Author) / Corbin, William (Thesis advisor) / Shiota, Michelle (Committee member) / Chassin, Laurie (Committee member) / Arizona State University (Publisher)
Created2012
151467-Thumbnail Image.png
Description
A semiconductor supply chain modeling and simulation platform using Linear Program (LP) optimization and parallel Discrete Event System Specification (DEVS) process models has been developed in a joint effort by ASU and Intel Corporation. A Knowledge Interchange Broker (KIBDEVS/LP) was developed to broker information synchronously between the DEVS and LP

A semiconductor supply chain modeling and simulation platform using Linear Program (LP) optimization and parallel Discrete Event System Specification (DEVS) process models has been developed in a joint effort by ASU and Intel Corporation. A Knowledge Interchange Broker (KIBDEVS/LP) was developed to broker information synchronously between the DEVS and LP models. Recently a single-echelon heuristic Inventory Strategy Module (ISM) was added to correct for forecast bias in customer demand data using different smoothing techniques. The optimization model could then use information provided by the forecast model to make better decisions for the process model. The composition of ISM with LP and DEVS models resulted in the first realization of what is now called the Optimization Simulation Forecast (OSF) platform. It could handle a single echelon supply chain system consisting of single hubs and single products In this thesis, this single-echelon simulation platform is extended to handle multiple echelons with multiple inventory elements handling multiple products. The main aspect for the multi-echelon OSF platform was to extend the KIBDEVS/LP such that ISM interactions with the LP and DEVS models could also be supported. To achieve this, a new, scalable XML schema for the KIB has been developed. The XML schema has also resulted in strengthening the KIB execution engine design. A sequential scheme controls the executions of the DEVS-Suite simulator, CPLEX optimizer, and ISM engine. To use the ISM for multiple echelons, it is extended to compute forecast customer demands and safety stocks over multiple hubs and products. Basic examples for semiconductor manufacturing spanning single and two echelon supply chain systems have been developed and analyzed. Experiments using perfect data were conducted to show the correctness of the OSF platform design and implementation. Simple, but realistic experiments have also been conducted. They highlight the kinds of supply chain dynamics that can be evaluated using discrete event process simulation, linear programming optimization, and heuristics forecasting models.
ContributorsSmith, James Melkon (Author) / Sarjoughian, Hessam S. (Thesis advisor) / Davulcu, Hasan (Committee member) / Fainekos, Georgios (Committee member) / Arizona State University (Publisher)
Created2012