Matching Items (259)
Description
Microfluidics is the study of fluid flow at very small scales (micro -- one millionth of a meter) and is prevalent in many areas of science and engineering. Typical applications include lab-on-a-chip devices, microfluidic fuel cells, and DNA separation technologies. Many of these microfluidic devices rely on micron-resolution velocimetry measurements

Microfluidics is the study of fluid flow at very small scales (micro -- one millionth of a meter) and is prevalent in many areas of science and engineering. Typical applications include lab-on-a-chip devices, microfluidic fuel cells, and DNA separation technologies. Many of these microfluidic devices rely on micron-resolution velocimetry measurements to improve microchannel design and characterize existing devices. Methods such as micro particle imaging velocimetry (microPIV) and micro particle tracking velocimetry (microPTV) are mature and established methods for characterization of steady 2D flow fields. Increasingly complex microdevices require techniques that measure unsteady and/or three dimensional velocity fields. This dissertation presents a method for three-dimensional velocimetry of unsteady microflows based on spinning disk confocal microscopy and depth scanning of a microvolume. High-speed 2D unsteady velocity fields are resolved by acquiring images of particle motion using a high-speed CMOS camera and confocal microscope. The confocal microscope spatially filters out of focus light using a rotating disk of pinholes placed in the imaging path, improving the ability of the system to resolve unsteady microPIV measurements by improving the image and correlation signal to noise ratio. For 3D3C measurements, a piezo-actuated objective positioner quickly scans the depth of the microvolume and collects 2D image slices, which are stacked into 3D images. Super resolution microPIV interrogates these 3D images using microPIV as a predictor field for tracking individual particles with microPTV. The 3D3C diagnostic is demonstrated by measuring a pressure driven flow in a three-dimensional expanding microchannel. The experimental velocimetry data acquired at 30 Hz with instantaneous spatial resolution of 4.5 by 4.5 by 4.5 microns agrees well with a computational model of the flow field. The technique allows for isosurface visualization of time resolved 3D3C particle motion and high spatial resolution velocity measurements without requiring a calibration step or reconstruction algorithms. Several applications are investigated, including 3D quantitative fluorescence imaging of isotachophoresis plugs advecting through a microchannel and the dynamics of reaction induced colloidal crystal deposition.
ContributorsKlein, Steven Adam (Author) / Posner, Jonathan D (Thesis advisor) / Adrian, Ronald (Committee member) / Chen, Kangping (Committee member) / Devasenathipathy, Shankar (Committee member) / Frakes, David (Committee member) / Arizona State University (Publisher)
Created2011
150037-Thumbnail Image.png
Description
Intimate coupling of Ti2 photocatalysis and biodegradation (ICPB) offers potential for degrading biorecalcitrant and toxic organic compounds much better than possible with conventional wastewater treatments. This study reports on using a novel sponge-type, Ti2-coated biofilm carrier that shows significant adherence of Ti2 to its exterior and the ability to accumulate

Intimate coupling of Ti2 photocatalysis and biodegradation (ICPB) offers potential for degrading biorecalcitrant and toxic organic compounds much better than possible with conventional wastewater treatments. This study reports on using a novel sponge-type, Ti2-coated biofilm carrier that shows significant adherence of Ti2 to its exterior and the ability to accumulate biomass in its interior (protected from UV light and free radicals). First, this carrier was tested for ICPB in a continuous-flow photocatalytic circulating-bed biofilm reactor (PCBBR) to mineralize biorecalcitrant organic: 2,4,5-trichlorophenol (TCP). Four mechanisms possibly acting of ICPB were tested separately: TCP adsorption, UV photolysis/photocatalysis, and biodegradation. The carrier exhibited strong TCP adsorption, while photolysis was negligible. Photocatalysis produced TCP-degradation products that could be mineralized and the strong adsorption of TCP to the carrier enhanced biodegradation by relieving toxicity. Validating the ICPB concept, biofilm was protected inside the carriers from UV light and free radicals. ICPB significantly lowered the diversity of the bacterial community, but five genera known to biodegrade chlorinated phenols were markedly enriched. Secondly, decolorization and mineralization of reactive dyes by ICPB were investigated on a refined Ti2-coated biofilm carrier in a PCBBR. Two typical reactive dyes: Reactive Black 5 (RB5) and Reactive Yellow 86 (RY86), showed similar first-order kinetics when being photocatalytically decolorized at low pH (~4-5), which was inhibited at neutral pH in the presence of phosphate or carbonate buffer, presumably due to electrostatic repulsion from negatively charged surface sites on Ti2, radical scavenging by phosphate or carbonate, or both. In the PCBBR, photocatalysis alone with Ti2-coated carriers could remove RB5 and COD by 97% and 47%, respectively. Addition of biofilm inside macroporous carriers maintained a similar RB5 removal efficiency, but COD removal increased to 65%, which is evidence of ICPB despite the low pH. A proposed ICPB pathway for RB5 suggests that a major intermediate, a naphthol derivative, was responsible for most of the residual COD. Finally, three low-temperature sintering methods, called O, D and DN, were compared based on photocatalytic efficiency and Ti2 adherence. The DN method had the best Ti2-coating properties and was a successful carrier for ICPB of RB5 in a PCBBR.
ContributorsLi, Guozheng (Author) / Rittmann, Bruce E. (Thesis advisor) / Halden, Rolf (Committee member) / Krajmalnik-Brown, Rosa (Committee member) / Arizona State University (Publisher)
Created2011
150359-Thumbnail Image.png
Description
S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against user specifications. In this work we use Metric Temporal Logic

S-Taliro is a fully functional Matlab toolbox that searches for trajectories of minimal robustness in hybrid systems that are implemented as either m-functions or Simulink/State flow models. Trajectories with minimal robustness are found using automatic testing of hybrid systems against user specifications. In this work we use Metric Temporal Logic (MTL) to describe the user specifications for the hybrid systems. We then try to falsify the MTL specification using global minimization of robustness metric. Global minimization is carried out using stochastic optimization algorithms like Monte-Carlo (MC) and Extended Ant Colony Optimization (EACO) algorithms. Irrespective of the type of the model we provide as an input to S-Taliro, the user needs to specify the MTL specification, the initial conditions and the bounds on the inputs. S-Taliro then uses this information to generate test inputs which are used to simulate the system. The simulation trace is then provided as an input to Taliro which computes the robustness estimate of the MTL formula. Global minimization of this robustness metric is performed to generate new test inputs which again generate simulation traces which are closer to falsifying the MTL formula. Traces with negative robustness values indicate that the simulation trace falsified the MTL formula. Traces with positive robustness values are also of great importance because they indicate how robust the system is against the given specification. S-Taliro has been seamlessly integrated into the Matlab environment, which is extensively used for model-based development of control software. Moreover the toolbox has been developed in a modular fashion and therefore adding new optimization algorithms is easy and straightforward. In this work I present the architecture of S-Taliro and its working on a few benchmark problems.
ContributorsAnnapureddy, Yashwanth Singh Rahul (Author) / Fainekos, Georgios (Thesis advisor) / Lee, Yann-Hang (Committee member) / Gupta, Sandeep (Committee member) / Arizona State University (Publisher)
Created2011
Description
Single cell phenotypic heterogeneity studies reveal more information about the pathogenesis process than conventional bulk methods. Furthermore, investigation of the individual cellular response mechanism during rapid environmental changes can only be achieved at single cell level. By enabling the study of cellular morphology, a single cell three-dimensional (3D) imaging system

Single cell phenotypic heterogeneity studies reveal more information about the pathogenesis process than conventional bulk methods. Furthermore, investigation of the individual cellular response mechanism during rapid environmental changes can only be achieved at single cell level. By enabling the study of cellular morphology, a single cell three-dimensional (3D) imaging system can be used to diagnose fatal diseases, such as cancer, at an early stage. One proven method, CellCT, accomplishes 3D imaging by rotating a single cell around a fixed axis. However, some existing cell rotating mechanisms require either intricate microfabrication, and some fail to provide a suitable environment for living cells. This thesis develops a microvorterx chamber that allows living cells to be rotated by hydrodynamic alone while facilitating imaging access. In this thesis work, 1) the new chamber design was developed through numerical simulation. Simulations revealed that in order to form a microvortex in the side chamber, the ratio of the chamber opening to the channel width must be smaller than one. After comparing different chamber designs, the trapezoidal side chamber was selected because it demonstrated controllable circulation and met the imaging requirements. Microvortex properties were not sensitive to the chambers with interface angles ranging from 0.32 to 0.64. A similar trend was observed when chamber heights were larger than chamber opening. 2) Micro-particle image velocimetry was used to characterize microvortices and validate simulation results. Agreement between experimentation and simulation confirmed that numerical simulation was an effective method for chamber design. 3) Finally, cell rotation experiments were performed in the trapezoidal side chamber. The experimental results demonstrated cell rotational rates ranging from 12 to 29 rpm for regular cells. With a volumetric flow rate of 0.5 µL/s, an irregular cell rotated at a mean rate of 97 ± 3 rpm. Rotational rates can be changed by altering inlet flow rates.
ContributorsZhang, Wenjie (Author) / Frakes, David (Thesis advisor) / Meldrum, Deirdre (Thesis advisor) / Chao, Shih-hui (Committee member) / Wang, Xiao (Committee member) / Arizona State University (Publisher)
Created2011
150317-Thumbnail Image.png
Description
To address sustainability issues in wastewater treatment (WWT), Siemens Water Technologies (SWT) has designed a "hybrid" process that couples common activated sludge (AS) and anaerobic digestion (AD) technologies with the novel concepts of AD sludge recycle and biosorption. At least 85% of the hybrid's AD sludge is recycled to the

To address sustainability issues in wastewater treatment (WWT), Siemens Water Technologies (SWT) has designed a "hybrid" process that couples common activated sludge (AS) and anaerobic digestion (AD) technologies with the novel concepts of AD sludge recycle and biosorption. At least 85% of the hybrid's AD sludge is recycled to the AS process, providing additional sorbent for influent particulate chemical oxygen demand (PCOD) biosorption in contact tanks. Biosorbed PCOD is transported to the AD, where it is converted to methane. The aim of this study is to provide mass balance and microbial community analysis (MCA) of SWT's two hybrid and one conventional pilot plant trains and mathematical modeling of the hybrid process including a novel model of biosorption. A detailed mass balance was performed on each tank and the overall system. The mass balance data supports the hybrid process is more sustainable: It produces 1.5 to 5.5x more methane and 50 to 83% less sludge than the conventional train. The hybrid's superior performance is driven by 4 to 8 times longer solid retention times (SRTs) as compared to conventional trains. However, the conversion of influent COD to methane was low at 15 to 22%, and neither train exhibited significant nitrification or denitrification. Data were inconclusive as to the role of biosorption in the processes. MCA indicated the presence of Archaea and nitrifiers throughout both systems. However, it is inconclusive as to how active Archaea and nitrifiers are under anoxic, aerobic, and anaerobic conditions. Mathematical modeling confirms the hybrid process produces 4 to 20 times more methane and 20 to 83% less sludge than the conventional train under various operating conditions. Neither process removes more than 25% of the influent nitrogen or converts more that 13% to nitrogen gas due to biomass washout in the contact tank and short SRTs in the stabilization tank. In addition, a mathematical relationship was developed to describe PCOD biosorption through adsorption to biomass and floc entrapment. Ultimately, process performance is more heavily influenced by the higher AD SRTs attained when sludge is recycled through the system and less influenced by the inclusion of biosorption kinetics.
ContributorsYoung, Michelle Nichole (Author) / Rittmann, Bruce E. (Thesis advisor) / Fox, Peter (Committee member) / Krajmalnik-Brown, Rosa (Committee member) / Arizona State University (Publisher)
Created2011
150062-Thumbnail Image.png
Description
TaxiWorld is a Matlab simulation of a city with a fleet of taxis which operate within it, with the goal of transporting passengers to their destinations. The size of the city, as well as the number of available taxis and the frequency and general locations of fare appearances can all

TaxiWorld is a Matlab simulation of a city with a fleet of taxis which operate within it, with the goal of transporting passengers to their destinations. The size of the city, as well as the number of available taxis and the frequency and general locations of fare appearances can all be set on a scenario-by-scenario basis. The taxis must attempt to service the fares as quickly as possible, by picking each one up and carrying it to its drop-off location. The TaxiWorld scenario is formally modeled using both Decentralized Partially-Observable Markov Decision Processes (Dec-POMDPs) and Multi-agent Markov Decision Processes (MMDPs). The purpose of developing formal models is to learn how to build and use formal Markov models, such as can be given to planners to solve for optimal policies in problem domains. However, finding optimal solutions for Dec-POMDPs is NEXP-Complete, so an empirical algorithm was also developed as an improvement to the method already in use on the simulator, and the methods were compared in identical scenarios to determine which is more effective. The empirical method is of course not optimal - rather, it attempts to simply account for some of the most important factors to achieve an acceptable level of effectiveness while still retaining a reasonable level of computational complexity for online solving.
ContributorsWhite, Christopher (Author) / Kambhampati, Subbarao (Thesis advisor) / Gupta, Sandeep (Committee member) / Varsamopoulos, Georgios (Committee member) / Arizona State University (Publisher)
Created2011
150080-Thumbnail Image.png
Description
Treatment of cerebral aneurysms using non-invasive methods has existed for decades. Since the advent of modern endovascular techniques, advancements to embolic materials have largely focused on improving platinum coil technology. However, the recent development of Onyx®, a liquid-delivery precipitating polymer system, has opened the door for a new class of

Treatment of cerebral aneurysms using non-invasive methods has existed for decades. Since the advent of modern endovascular techniques, advancements to embolic materials have largely focused on improving platinum coil technology. However, the recent development of Onyx®, a liquid-delivery precipitating polymer system, has opened the door for a new class of embolic materials--liquid-fill systems. These liquid-fill materials have the potential to provide better treatment outcomes than platinum coils. Initial clinical use of Onyx has proven promising, but not without substantial drawbacks, such as co-delivery of angiotoxic compounds and an extremely technical delivery procedure. This work focuses on formulation, characterization and testing of a novel liquid-to-solid gelling polymer system, based on poly(propylene glycol) diacrylate (PPODA) and pentaerythritol tetrakis(3-mercaptopropionate) (QT). The PPODA-QT system bypasses difficulties associated with Onyx embolization, yet still maintains non-invasive liquid delivery--exhibiting the properties of an ideal embolic material for cerebral aneurysm embolization. To allow for material visibility during clinical delivery, an embolic material must be radio-opaque. The PPODA-QT system was formulated with commercially available contrast agents and the gelling kinetics were studied, as a complete understanding of the gelling process is vital for clinical use. These PPODA-QT formulations underwent in vitro characterization of material properties including cytotoxicity, swelling, and degradation behaviors. Formulation and characterization tests led to an optimized PPODA-QT formulation that was used in subsequent in vivo testing. PPODA-QT formulated with the liquid contrast agent ConrayTM was used in the first in vivo studies. These studies employed a swine aneurysm model to assess initial biocompatibility and test different delivery strategies of PPODA-QT. Results showed good biocompatibility and a suitable delivery strategy, providing justification for further in vivo testing. PPODA-QT was then used in a small scale pilot study to gauge long-term effectiveness of the material in a clinically-relevant aneurysm model. Results from the pilot study showed that PPODA-QT has the capability to provide successful, long-term treatment of model aneurysms as well as facilitate aneurysm healing.
ContributorsRiley, Celeste (Author) / Vernon, Brent L (Thesis advisor) / Preul, Mark C (Committee member) / Frakes, David (Committee member) / Pauken, Christine (Committee member) / Massia, Stephen (Committee member) / Arizona State University (Publisher)
Created2011
Description
The purpose of this thesis was to explore how changes in the geometry of a bifurcating cerebral aneurysm will affect the hemodynamics in idealized models after stent treatment. This thesis explores the use of a computationally modeled Enterprise Vascular Reconstruction Device (Cordis, East Bridgewater, NJ), a high porosity and closed

The purpose of this thesis was to explore how changes in the geometry of a bifurcating cerebral aneurysm will affect the hemodynamics in idealized models after stent treatment. This thesis explores the use of a computationally modeled Enterprise Vascular Reconstruction Device (Cordis, East Bridgewater, NJ), a high porosity and closed cell design. The models represent idealized cases of saccular aneurysms with dome sizes of either 4mm or 6mm and a dome to neck ratio of either 3:2 or 2:1. Two aneurysm contact angles are studied, one at 45 degrees and the other at 90 degrees. The stent was characterized and deployed with the use of Finite Element Analysis into each model. Computational Fluid Dynamic principles were applied in series of simulations on treated and untreated models. Data was gathered in the neck plane for the average velocity magnitude, root mean squared velocity, average flow vector angle of deflection, and the cross neck flow rate. Within the aneurysm, the average velocity magnitude, root mean squared velocity, and average pressure were calculated. Additionally, the mass flow rate at each outlet was recorded. The results of this study indicate that the Enterprise Stent was most effective in the sharper, 90 degree geometry of Model 3. Additionally, the stent had an adverse effect on the Models 1 and 4, which had the smallest neck sizes. Conclusions are that the Enterprise Stent, as a stand-alone treatment method is only reliable in situations that take advantage of its design.
ContributorsThomas, Kyle Andrew (Author) / Frakes, David (Thesis director) / LaBelle, Jeffrey (Committee member) / Babiker, Haithem (Committee member) / Barrett, The Honors College (Contributor) / Harrington Bioengineering Program (Contributor)
Created2013-05
152291-Thumbnail Image.png
Description
Rabies disease remains enzootic among raccoons, skunks, foxes and bats in the United States. It is of primary concern for public-health agencies to control spatial spread of rabies in wildlife and its potential spillover infection of domestic animals and humans. Rabies is invariably fatal in wildlife if untreated, with a

Rabies disease remains enzootic among raccoons, skunks, foxes and bats in the United States. It is of primary concern for public-health agencies to control spatial spread of rabies in wildlife and its potential spillover infection of domestic animals and humans. Rabies is invariably fatal in wildlife if untreated, with a non-negligible incubation period. Understanding how this latency affects spatial spread of rabies in wildlife is the concern of chapter 2 and 3. Chapter 1 deals with the background of mathematical models for rabies and lists main objectives. In chapter 2, a reaction-diffusion susceptible-exposed-infected (SEI) model and a delayed diffusive susceptible-infected (SI) model are constructed to describe the same epidemic process -- rabies spread in foxes. For the delayed diffusive model a non-local infection term with delay is resulted from modeling the dispersal during incubation stage. Comparison is made regarding minimum traveling wave speeds of the two models, which are verified using numerical experiments. In chapter 3, starting with two Kermack and McKendrick's models where infectivity, death rate and diffusion rate of infected individuals can depend on the age of infection, the asymptotic speed of spread $c^\ast$ for the cumulated force of infection can be analyzed. For the special case of fixed incubation period, the asymptotic speed of spread is governed by the same integral equation for both models. Although explicit solutions for $c^\ast$ are difficult to obtain, assuming that diffusion coefficient of incubating animals is small, $c^\ast$ can be estimated in terms of model parameter values. Chapter 4 considers the implementation of realistic landscape in simulation of rabies spread in skunks and bats in northeast Texas. The Finite Element Method (FEM) is adopted because the irregular shapes of realistic landscape naturally lead to unstructured grids in the spatial domain. This implementation leads to a more accurate description of skunk rabies cases distributions.
ContributorsLiu, Hao (Author) / Kuang, Yang (Thesis advisor) / Jackiewicz, Zdzislaw (Committee member) / Lanchier, Nicolas (Committee member) / Smith, Hal (Committee member) / Thieme, Horst (Committee member) / Arizona State University (Publisher)
Created2013
152360-Thumbnail Image.png
Description
In this work, we present approximate adders and multipliers to reduce data-path complexity of specialized hardware for various image processing systems. These approximate circuits have a lower area, latency and power consumption compared to their accurate counterparts and produce fairly accurate results. We build upon the work on approximate adders

In this work, we present approximate adders and multipliers to reduce data-path complexity of specialized hardware for various image processing systems. These approximate circuits have a lower area, latency and power consumption compared to their accurate counterparts and produce fairly accurate results. We build upon the work on approximate adders and multipliers presented in [23] and [24]. First, we show how choice of algorithm and parallel adder design can be used to implement 2D Discrete Cosine Transform (DCT) algorithm with good performance but low area. Our implementation of the 2D DCT has comparable PSNR performance with respect to the algorithm presented in [23] with ~35-50% reduction in area. Next, we use the approximate 2x2 multiplier presented in [24] to implement parallel approximate multipliers. We demonstrate that if some of the 2x2 multipliers in the design of the parallel multiplier are accurate, the accuracy of the multiplier improves significantly, especially when two large numbers are multiplied. We choose Gaussian FIR Filter and Fast Fourier Transform (FFT) algorithms to illustrate the efficacy of our proposed approximate multiplier. We show that application of the proposed approximate multiplier improves the PSNR performance of 32x32 FFT implementation by 4.7 dB compared to the implementation using the approximate multiplier described in [24]. We also implement a state-of-the-art image enlargement algorithm, namely Segment Adaptive Gradient Angle (SAGA) [29], in hardware. The algorithm is mapped to pipelined hardware blocks and we synthesized the design using 90 nm technology. We show that a 64x64 image can be processed in 496.48 µs when clocked at 100 MHz. The average PSNR performance of our implementation using accurate parallel adders and multipliers is 31.33 dB and that using approximate parallel adders and multipliers is 30.86 dB, when evaluated against the original image. The PSNR performance of both designs is comparable to the performance of the double precision floating point MATLAB implementation of the algorithm.
ContributorsVasudevan, Madhu (Author) / Chakrabarti, Chaitali (Thesis advisor) / Frakes, David (Committee member) / Gupta, Sandeep (Committee member) / Arizona State University (Publisher)
Created2013