Theses and Dissertations
This collection includes both ASU Theses and Dissertations, submitted by graduate students, and the Barrett, Honors College theses submitted by undergraduate students.
Displaying 1 - 10 of 88
Description
Background: Evidence about the purported hypoglycemic and hypolipidemic effects of nopales (prickly pear cactus pads) is limited. Objective: To evaluate the efficacy of nopales for improving cardiometabolic risk factors and oxidative stress, compared to control, in adults with hypercholesterolemia. Design: In a randomized crossover trial, participants were assigned to a 2-wk intervention with 2 cups/day of nopales or cucumbers (control), with a 2 to 3-wk washout period. The study included 16 adults (5 male; 46±14 y; BMI = 31.4±5.7 kg/m2) with moderate hypercholesterolemia (low density lipoprotein cholesterol [LDL-c] = 137±21 mg/dL), but otherwise healthy. Main outcomes measured included: dietary intake (energy, macronutrients and micronutrients), cardiometabolic risk markers (total cholesterol, LDL-c, high density lipoprotein cholesterol [HDL-c], triglycerides, cholesterol distribution in LDL and HDL subfractions, glucose, insulin, homeostasis model assessment, and C-reactive protein), and oxidative stress markers (vitamin C, total antioxidant capacity, oxidized LDL, and LDL susceptibility to oxidation). Effects of treatment, time, or interactions were assessed using repeated measures ANOVA. Results: There was no significant treatment-by-time effect for any dietary composition data, lipid profile, cardiometabolic outcomes, or oxidative stress markers. A significant time effect was observed for energy, which was decreased in both treatments (cucumber, -8.3%; nopales, -10.1%; pTime=0.026) mostly due to lower mono and polyunsaturated fatty acids intake (pTime=0.023 and pTime=0.003, respectively). Both treatments significantly increased triglyceride concentrations (cucumber, 14.8%; nopales, 15.2%; pTime=0.020). Despite the lack of significant treatment-by-time effects, great individual response variability was observed for all outcomes. After the cucumber and nopales phases, a decrease in LDL-c was observed in 44% and 63% of the participants respectively. On average LDL-c was decreased by 2.0 mg/dL (-1.4%) after the cucumber phase and 3.9 mg/dL (-2.9%) after the nopales phase (pTime=0.176). Pro-atherogenic changes in HDL subfractions were observed in both interventions over time, by decreasing the proportion of HDL-c in large HDL (cucumber, -5.1%; nopales, -5.9%; pTime=0.021) and increasing the proportion in small HDL (cucumber, 4.1%; nopales, 7.9%; pTime=0.002). Conclusions: These data do not support the purported benefits of nopales at doses of 2 cups/day for 2-wk on markers of lipoprotein profile, cardiometabolic risk, and oxidative stress in hypercholesterolemic adults.
ContributorsPereira Pignotti, Giselle Adriana (Author) / Vega-Lopez, Sonia (Thesis advisor) / Gaesser, Glenn (Committee member) / Keller, Colleen (Committee member) / Shaibi, Gabriel (Committee member) / Sweazea, Karen (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
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
Description
Debugging is a boring, tedious, time consuming but inevitable step of software development and debugging multiple threaded applications with user interactions is even more complicated. Since concurrency and synchronism are normal features in Android mobile applications, the order of thread execution may vary in every run even with the same input. To make things worse, the target erroneous cases may happen just in a few specific runs. Besides, the randomness of user interactions makes the whole debugging procedure more unpredictable. Thus, debugging a multiple threaded application is a tough and challenging task. This thesis introduces a replay mechanism for debugging user interactive multiple threaded Android applications. The approach is based on the 'Lamport Clock' concept, 'Event Driven' implementation and 'Client-Server' architecture. The debugger tool described in this thesis provides a user controlled debugging environment where users or developers are allowed to use modified record application to generate a log file. During the record time, all the necessary events like thread creation, synchronization and user input are recorded. Therefore, based on the information contained in the generated log files, the debugger tool can replay the application off-line since log files provide the deterministic order of execution. In this case, user or developers can replay an application as many times as they need to pinpoint the errors in the applications.
ContributorsLu, He (Author) / Lee, Yann-Hang (Thesis advisor) / Fainekos, Georgios (Committee member) / Chen, Yinong (Committee member) / Arizona State University (Publisher)
Created2012
Description
With robots being used extensively in various areas, a certain degree of robot autonomy has always been found desirable. In applications like planetary exploration, autonomous path planning and navigation are considered essential. But every now and then, a need to modify the robot's operation arises, a need for a human to provide it some supervisory parameters that modify the degree of autonomy or allocate extra tasks to the robot. In this regard, this thesis presents an approach to include a provision to accept and incorporate such human inputs and modify the navigation functions of the robot accordingly. Concepts such as applying kinematical constraints while planning paths, traversing of unknown areas with an intent of maximizing field of view, performing complex tasks on command etc. have been examined and implemented. The approaches have been tested in Robot Operating System (ROS), using robots such as the iRobot Create, Personal Robotics (PR2) etc. Simulations and experimental demonstrations have proved that this approach is feasible for solving some of the existing problems and that it certainly can pave way to further research for enhancing functionality.
ContributorsVemprala, Sai Hemachandra (Author) / Saripalli, Srikanth (Thesis advisor) / Fainekos, Georgios (Committee member) / Turaga, Pavan (Committee member) / Arizona State University (Publisher)
Created2013
Effect of a Wii Fit® intervention on balance, muscular fitness, and bone health in middle-aged women
Description
Sustaining a fall can be hazardous for those with low bone mass. Interventions exist to reduce fall-risk, but may not retain long-term interest. "Exergaming" has become popular in older adults as a therapy, but no research has been done on its preventative ability in non-clinical populations. The purpose was to determine the impact of 12-weeks of interactive play with the Wii Fit® on balance, muscular fitness, and bone health in peri- menopausal women. METHODS: 24 peri-menopausal-women were randomized into study groups. Balance was assessed using the Berg/FICSIT-4 and a force plate. Muscular strength was measured using the isokinetic dynamometer at 60°/180°/240°/sec and endurance was assessed using 50 repetitions at 240°/sec. Bone health was tracked using dual-energy x-ray absorptiometry (DXA) for the hip/lumbar spine and qualitative ultrasound (QUS) of the heel. Serum osteocalcin was assessed by enzyme immunoassay. Physical activity was quantified using the Women's Health Initiative Physical Activity Questionnaire and dietary patterns were measured using the Nurses' Health Food Frequency Questionnaire. All measures were repeated at weeks 6 and 12, except for the DXA, which was completed pre-post. RESULTS: There were no significant differences in diet and PA between groups. Wii Fit® training did not improve scores on the Berg/FICSIT-4, but improved center of pressure on the force plate for Tandem Step, Eyes Closed (p-values: 0.001-0.051). There were no significant improvements for muscular fitness at any of the angular velocities. DXA BMD of the left femoral neck improved in the intervention group (+1.15%) and decreased in the control (-1.13%), but no other sites had significant changes. Osteocalcin indicated no differences in bone turnover between groups at baseline, but the intervention group showed increased bone turnover between weeks 6 and 12. CONCLUSIONS: Findings indicate that WiiFit® training may improve balance by preserving center of pressure. QUS, DXA and osteocalcin data confirm that those in the intervention group were experiencing more bone turnover and bone formation than the control group. In summary, twelve weeks of strength /balance training with the Wii Fit® shows promise as a preventative intervention to reduce fall and fracture risk in non-clinical middle aged women who are at risk.
ContributorsWherry, Sarah Jo (Author) / Swan, Pamela D (Thesis advisor) / Adams, Marc (Committee member) / Der Ananian, Cheryl (Committee member) / Sweazea, Karen (Committee member) / Vaughan, Linda (Committee member) / Arizona State University (Publisher)
Created2014
Description
Myoelectric control is lled with potential to signicantly change human-robot interaction.
Humans desire compliant robots to safely interact in dynamic environments
associated with daily activities. As surface electromyography non-invasively measures
limb motion intent and correlates with joint stiness during co-contractions,
it has been identied as a candidate for naturally controlling such robots. However,
state-of-the-art myoelectric interfaces have struggled to achieve both enhanced
functionality and long-term reliability. As demands in myoelectric interfaces trend
toward simultaneous and proportional control of compliant robots, robust processing
of multi-muscle coordinations, or synergies, plays a larger role in the success of the
control scheme. This dissertation presents a framework enhancing the utility of myoelectric
interfaces by exploiting motor skill learning and
exible muscle synergies for
reliable long-term simultaneous and proportional control of multifunctional compliant
robots. The interface is learned as a new motor skill specic to the controller,
providing long-term performance enhancements without requiring any retraining or
recalibration of the system. Moreover, the framework oers control of both motion
and stiness simultaneously for intuitive and compliant human-robot interaction. The
framework is validated through a series of experiments characterizing motor learning
properties and demonstrating control capabilities not seen previously in the literature.
The results validate the approach as a viable option to remove the trade-o
between functionality and reliability that have hindered state-of-the-art myoelectric
interfaces. Thus, this research contributes to the expansion and enhancement of myoelectric
controlled applications beyond commonly perceived anthropomorphic and
\intuitive control" constraints and into more advanced robotic systems designed for
everyday tasks.
Humans desire compliant robots to safely interact in dynamic environments
associated with daily activities. As surface electromyography non-invasively measures
limb motion intent and correlates with joint stiness during co-contractions,
it has been identied as a candidate for naturally controlling such robots. However,
state-of-the-art myoelectric interfaces have struggled to achieve both enhanced
functionality and long-term reliability. As demands in myoelectric interfaces trend
toward simultaneous and proportional control of compliant robots, robust processing
of multi-muscle coordinations, or synergies, plays a larger role in the success of the
control scheme. This dissertation presents a framework enhancing the utility of myoelectric
interfaces by exploiting motor skill learning and
exible muscle synergies for
reliable long-term simultaneous and proportional control of multifunctional compliant
robots. The interface is learned as a new motor skill specic to the controller,
providing long-term performance enhancements without requiring any retraining or
recalibration of the system. Moreover, the framework oers control of both motion
and stiness simultaneously for intuitive and compliant human-robot interaction. The
framework is validated through a series of experiments characterizing motor learning
properties and demonstrating control capabilities not seen previously in the literature.
The results validate the approach as a viable option to remove the trade-o
between functionality and reliability that have hindered state-of-the-art myoelectric
interfaces. Thus, this research contributes to the expansion and enhancement of myoelectric
controlled applications beyond commonly perceived anthropomorphic and
\intuitive control" constraints and into more advanced robotic systems designed for
everyday tasks.
ContributorsIson, Mark (Author) / Artemiadis, Panagiotis (Thesis advisor) / Santello, Marco (Committee member) / Greger, Bradley (Committee member) / Berman, Spring (Committee member) / Sugar, Thomas (Committee member) / Fainekos, Georgios (Committee member) / Arizona State University (Publisher)
Created2015
Description
ABSTRACT
Asthma is a high-stress, chronic medical condition; 1 in 12 adults in the United States combat the bronchoconstriction from asthma. However, there are very few strong studies indicating any alternative therapy for asthmatics, particularly following a cold incidence. Vitamin C has been proven to be effective for other high-stress populations, but the asthmatic population has not yet been trialed. This study examined the effectiveness of vitamin C supplementation during the cold season on cold incidence and asthmatic symptoms. Asthmatics, otherwise-healthy, who were non-smokers and non-athletes between the ages of 18 and 55 with low plasma vitamin C concentrations were separated by anthropometrics and vitamin C status into two groups: either vitamin C (500 mg vitamin C capsule consumed twice per day) or control (placebo capsule consumed twice per day). Subjects were instructed to complete the Wisconsin Upper Respiratory Symptom Survey-21 and a short asthma symptoms questionnaire daily along with a shortened vitamin C Food Frequency Questionnaire and physical activity questionnaire weekly for eight weeks. Blood samples were drawn at Week 0 (baseline), Week 4, and Week 8. Compliance was monitored through a calendar check sheet. The vitamin C levels of both groups increased from Week 0 to Week 4, but decreased in the vitamin C group at Week 8. The vitamin C group had a 19% decrease in plasma histamine while the control group had a 53% increase in plasma histamine at the end of the trial, but this was not statistically significant (p>0.05). Total symptoms recorded from WURSS-21 were 129.3±120.7 for the vitamin C and 271.0±293.9, but the difference was not statistically significant (p=0.724). Total asthma symptoms also slightly varied between the groups, but again was not statistically significant (p=0.154). These results were hindered by the low number of subjects recruited. Continued research in this study approach is necessary to definitively reject or accept the potential role of vitamin C in asthma and cold care.
Asthma is a high-stress, chronic medical condition; 1 in 12 adults in the United States combat the bronchoconstriction from asthma. However, there are very few strong studies indicating any alternative therapy for asthmatics, particularly following a cold incidence. Vitamin C has been proven to be effective for other high-stress populations, but the asthmatic population has not yet been trialed. This study examined the effectiveness of vitamin C supplementation during the cold season on cold incidence and asthmatic symptoms. Asthmatics, otherwise-healthy, who were non-smokers and non-athletes between the ages of 18 and 55 with low plasma vitamin C concentrations were separated by anthropometrics and vitamin C status into two groups: either vitamin C (500 mg vitamin C capsule consumed twice per day) or control (placebo capsule consumed twice per day). Subjects were instructed to complete the Wisconsin Upper Respiratory Symptom Survey-21 and a short asthma symptoms questionnaire daily along with a shortened vitamin C Food Frequency Questionnaire and physical activity questionnaire weekly for eight weeks. Blood samples were drawn at Week 0 (baseline), Week 4, and Week 8. Compliance was monitored through a calendar check sheet. The vitamin C levels of both groups increased from Week 0 to Week 4, but decreased in the vitamin C group at Week 8. The vitamin C group had a 19% decrease in plasma histamine while the control group had a 53% increase in plasma histamine at the end of the trial, but this was not statistically significant (p>0.05). Total symptoms recorded from WURSS-21 were 129.3±120.7 for the vitamin C and 271.0±293.9, but the difference was not statistically significant (p=0.724). Total asthma symptoms also slightly varied between the groups, but again was not statistically significant (p=0.154). These results were hindered by the low number of subjects recruited. Continued research in this study approach is necessary to definitively reject or accept the potential role of vitamin C in asthma and cold care.
ContributorsEarhart, Kathryn Michelle (Author) / Johnston, Carol (Thesis advisor) / Sweazea, Karen (Committee member) / Lespron, Christy (Committee member) / Arizona State University (Publisher)
Created2015
Description
Time-series plots are used in many scientific and engineering applications. In this thesis, two new plug-ins for piecewise constant and event time-series are developed within the Eclipse BIRT (Business Intelligence and Reporting Tools) framework. These customizable plug-ins support superdense time, which is required for plotting the dynamics of Parallel DEVS models. These plug-ins are designed to receive time-based alphanumerical data sets from external computing sources, which can then be dynamically plotted. Static and dynamic time-series plotting are demonstrated in two settings. First, as standalone plug-ins, they can be used to create static plots, which can then be included in BIRT reports. Second, the plug-ins are integrated into the DEVS-Suite simulator where runtime simulated data generated from model components are dynamically plotted. Visual representation of data sets can simplify and improve model verification and simulation validation.
ContributorsSundaramoorthi, Savitha (Author) / Sarjoughian, Hessam S. (Thesis advisor) / Maciejewski, Ross (Committee member) / Fainekos, Georgios (Committee member) / Arizona State University (Publisher)
Created2015
Description
The need for multi-core architectural trends was realized in the desktop computing domain fairly long back. This trend is also beginning to be seen in the deeply embedded systems such as automotive and avionics industry owing to ever increasing demands in terms of sheer computational bandwidth, responsiveness, reliability and power consumption constraints. The adoption of such multi-core architectures in safety critical systems is often met with resistance owing to the overhead in migration of the existing stable code base to the new system setup, typically requiring extensive re-design. This also brings about the need for exhaustive testing and validation that goes hand in hand with such a migration, especially in safety critical real-time systems.
This project highlights the steps to develop an asymmetric multiprocessing variant of Micrium µC/OS-II real-time operating system suited for a multi-core system. This RTOS variant also supports multi-core synchronization, shared memory management and multi-core messaging queues.
Since such specialized embedded systems are usually developed by system designers focused more so on the functionality than on the coding standards, the adoption of automatic production code generation tools, such as SIMULINK's Embedded Coder, is increasingly becoming the industry norm. Such tools are capable of producing robust, industry compliant code with very little roll out time. This project documents the process of extending SIMULINK's automatic code generation tool for the AMP variant of µC/OS-II on Freescale's MPC5675K, dual-core Microcontroller Unit. This includes code generation from task based models and multi-rate models. Apart from this, it also de-scribes the development of additional software tools to allow semantically consistent communication between task on the same kernel and those across the kernels.
This project highlights the steps to develop an asymmetric multiprocessing variant of Micrium µC/OS-II real-time operating system suited for a multi-core system. This RTOS variant also supports multi-core synchronization, shared memory management and multi-core messaging queues.
Since such specialized embedded systems are usually developed by system designers focused more so on the functionality than on the coding standards, the adoption of automatic production code generation tools, such as SIMULINK's Embedded Coder, is increasingly becoming the industry norm. Such tools are capable of producing robust, industry compliant code with very little roll out time. This project documents the process of extending SIMULINK's automatic code generation tool for the AMP variant of µC/OS-II on Freescale's MPC5675K, dual-core Microcontroller Unit. This includes code generation from task based models and multi-rate models. Apart from this, it also de-scribes the development of additional software tools to allow semantically consistent communication between task on the same kernel and those across the kernels.
ContributorsBulusu, Girish Rao (Author) / Lee, Yann-Hang (Thesis advisor) / Fainekos, Georgios (Committee member) / Wu, Carole-Jean (Committee member) / Arizona State University (Publisher)
Created2014