Matching Items (48)
Filtering by
- Member of: ASU Electronic Theses and Dissertations
Description
By the von Neumann min-max theorem, a two person zero sum game with finitely many pure strategies has a unique value for each player (summing to zero) and each player has a non-empty set of optimal mixed strategies. If the payoffs are independent, identically distributed (iid) uniform (0,1) random variables, then with probability one, both players have unique optimal mixed strategies utilizing the same number of pure strategies with positive probability (Jonasson 2004). The pure strategies with positive probability in the unique optimal mixed strategies are called saddle squares. In 1957, Goldman evaluated the probability of a saddle point (a 1 by 1 saddle square), which was rediscovered by many authors including Thorp (1979). Thorp gave two proofs of the probability of a saddle point, one using combinatorics and one using a beta integral. In 1965, Falk and Thrall investigated the integrals required for the probabilities of a 2 by 2 saddle square for 2 × n and m × 2 games with iid uniform (0,1) payoffs, but they were not able to evaluate the integrals. This dissertation generalizes Thorp's beta integral proof of Goldman's probability of a saddle point, establishing an integral formula for the probability that a m × n game with iid uniform (0,1) payoffs has a k by k saddle square (k ≤ m,n). Additionally, the probabilities of a 2 by 2 and a 3 by 3 saddle square for a 3 × 3 game with iid uniform(0,1) payoffs are found. For these, the 14 integrals observed by Falk and Thrall are dissected into 38 disjoint domains, and the integrals are evaluated using the basic properties of the dilogarithm function. The final results for the probabilities of a 2 by 2 and a 3 by 3 saddle square in a 3 × 3 game are linear combinations of 1, π2, and ln(2) with rational coefficients.
ContributorsManley, Michael (Author) / Kadell, Kevin W. J. (Thesis advisor) / Kao, Ming-Hung (Committee member) / Lanchier, Nicolas (Committee member) / Lohr, Sharon (Committee member) / Reiser, Mark R. (Committee member) / Arizona State University (Publisher)
Created2011
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 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
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
Bacteriophage (phage) are viruses that infect bacteria. Typical laboratory experiments show that in a chemostat containing phage and susceptible bacteria species, a mutant bacteria species will evolve. This mutant species is usually resistant to the phage infection and less competitive compared to the susceptible bacteria species. In some experiments, both susceptible and resistant bacteria species, as well as phage, can coexist at an equilibrium for hundreds of hours. The current research is inspired by these observations, and the goal is to establish a mathematical model and explore sufficient and necessary conditions for the coexistence. In this dissertation a model with infinite distributed delay terms based on some existing work is established. A rigorous analysis of the well-posedness of this model is provided, and it is proved that the susceptible bacteria persist. To study the persistence of phage species, a "Phage Reproduction Number" (PRN) is defined. The mathematical analysis shows phage persist if PRN > 1 and vanish if PRN < 1. A sufficient condition and a necessary condition for persistence of resistant bacteria are given. The persistence of the phage is essential for the persistence of resistant bacteria. Also, the resistant bacteria persist if its fitness is the same as the susceptible bacteria and if PRN > 1. A special case of the general model leads to a system of ordinary differential equations, for which numerical simulation results are presented.
ContributorsHan, Zhun (Author) / Smith, Hal (Thesis advisor) / Armbruster, Dieter (Committee member) / Kawski, Matthias (Committee member) / Kuang, Yang (Committee member) / Thieme, Horst (Committee member) / Arizona State University (Publisher)
Created2012
Description
In vertebrate outer retina, changes in the membrane potential of horizontal cells affect the calcium influx and glutamate release of cone photoreceptors via a negative feedback. This feedback has a number of important physiological consequences. One is called background-induced flicker enhancement (BIFE) in which the onset of dim background enhances the center flicker response of horizontal cells. The underlying mechanism for the feedback is still unclear but competing hypotheses have been proposed. One is the GABA hypothesis, which states that the feedback is mediated by gamma-aminobutyric acid (GABA), an inhibitory neurotransmitter released from horizontal cells. Another is the ephaptic hypothesis, which contends that the feedback is non-GABAergic and is achieved through the modulation of electrical potential in the intersynaptic cleft between cones and horizontal cells. In this study, a continuum spine model of the cone-horizontal cell synaptic circuitry is formulated. This model, a partial differential equation system, incorporates both the GABA and ephaptic feedback mechanisms. Simulation results, in comparison with experiments, indicate that the ephaptic mechanism is necessary in order for the model to capture the major spatial and temporal dynamics of the BIFE effect. In addition, simulations indicate that the GABA mechanism may play some minor modulation role.
ContributorsChang, Shaojie (Author) / Baer, Steven M. (Thesis advisor) / Gardner, Carl L (Thesis advisor) / Crook, Sharon M (Committee member) / Kuang, Yang (Committee member) / Ringhofer, Christian (Committee member) / Arizona State University (Publisher)
Created2012
Description
The increase in the photovoltaic (PV) generation on distribution grids may cause reverse power flows and challenges such as service voltage violations and transformer overloading. To resolve these issues, utilities need situational awareness, e.g., PV-feeder mapping to identify the potential back-feeding feeders and meter-transformer mapping for transformer overloading. As circuit schematics are outdated, this work relies on data. In cases where the advanced metering infrastructure (AMI) data is unavailable, e.g., analog meters or bandwidth limitation, the dissertation proposes to use feeder measurements from utilities and solar panel measurements from solar companies to identify PV-feeder mapping. Several sequentially improved methods based on quantitative association rule mining (QARM) are proposed, where a lower bound for performance guarantee is also provided. However, binning data in QARM leads to information loss. So, bands are designed to replace bins for increased robustness. For cases where AMI data is available but solar PV data is unavailable, the AMI voltage data and location data are used for situational awareness, i.e., meter-transformer mapping, to resolve voltage violation and transformer overloading. A density-based clustering method is proposed that leverages AMI voltage data and geographical information to efficiently segment utility meters such that the segments comprise meters of few transformers only. Although it is helpful for utilities, it may not directly recover the meter-transformer connectivity, which requires transformer-wise segmentation. The proposed density-based method and other past methods ignore two common scenarios, e.g., having large distance between a meter and parent transformer or high similarity of a meter's consumption pattern to a non-parent transformer's meters. However, going from meter-meter can lead to the parent transformer group meters due to the usual observation that the similarity of intra-cluster meter voltages is usually stronger than the similarity of inter-cluster meter voltages. Therefore, performance guarantee is provided via spectral embedding with voltage data under reasonable assumption. Moreover, the assumption is partially relaxed using location data. It will benefit the utility in many ways, e.g., mitigating voltage violations by transformer tap settings and identifying overloaded transformers.
ContributorsSaleem, Muhammad Bilal (Author) / Weng, Yang (Thesis advisor) / Lanchier, Nicolas (Committee member) / Wu, Meng (Committee member) / Cook, Elizabeth (Committee member) / Arizona State University (Publisher)
Created2022
Description
Climate change is one of the most pressing issues affecting the world today. One of the impacts of climate change is on the transmission of mosquito-borne diseases (MBDs), such as West Nile Virus (WNV). Climate is known to influence vector and host demography as well as MBD transmission. This dissertation addresses the questions of how vector and host demography impact WNV dynamics, and how expected and likely climate change scenarios will affect demographic and epidemiological processes of WNV transmission. First, a data fusion method is developed that connects non-autonomous logistic model parameters to mosquito time series data. This method captures the inter-annual and intra-seasonal variation of mosquito populations within a geographical location. Next, a three-population WNV model between mosquito vectors, bird hosts, and human hosts with infection-age structure for the vector and bird host populations is introduced. A sensitivity analysis uncovers which parameters have the most influence on WNV outbreaks. Finally, the WNV model is extended to include the non-autonomous population model and temperature-dependent processes. Model parameterization using historical temperature and human WNV case data from the Greater Toronto Area (GTA) is conducted. Parameter fitting results are then used to analyze possible future WNV dynamics under two climate change scenarios. These results suggest that WNV risk for the GTA will substantially increase as temperature increases from climate change, even under the most conservative assumptions. This demonstrates the importance of ensuring that the warming of the planet is limited as much as possible.
ContributorsMancuso, Marina (Author) / Milner, Fabio A (Thesis advisor) / Kuang, Yang (Committee member) / Kostelich, Eric (Committee member) / Eikenberry, Steffen (Committee member) / Manore, Carrie (Committee member) / Arizona State University (Publisher)
Created2023
Description
As the impacts of climate change worsen in the coming decades, natural hazards are expected to increase in frequency and intensity, leading to increased loss and risk to human livelihood. The spatio-temporal statistical approaches developed and applied in this dissertation highlight the ways in which hazard data can be leveraged to understand loss trends, build forecasts, and study societal impacts of losses. Specifically, this work makes use of the Spatial Hazard Events and Losses Database which is an unparalleled source of loss data for the United States. The first portion of this dissertation develops accurate loss baselines that are crucial for mitigation planning, infrastructure investment, and risk communication. This is accomplished thorough a stationarity analysis of county level losses following a normalization procedure. A wide variety of studies employ loss data without addressing stationarity assumptions or the possibility for spurious regression. This work enables the statistically rigorous application of such loss time series to modeling applications. The second portion of this work develops a novel matrix variate dynamic factor model for spatio-temporal loss data stratified across multiple correlated hazards or perils. The developed model is employed to analyze and forecast losses from convective storms, which constitute some of the highest losses covered by insurers. Adopting factor-based approach, forecasts are achieved despite the complex and often unobserved underlying drivers of these losses. The developed methodology extends the literature on dynamic factor models to matrix variate time series. Specifically, a covariance structure is imposed that is well suited to spatio-temporal problems while significantly reducing model complexity. The model is fit via the EM algorithm and Kalman filter. The third and final part of this dissertation investigates the impact of compounding hazard events on state and regional migration in the United States. Any attempt to capture trends in climate related migration must account for the inherent uncertainties surrounding climate change, natural hazard occurrences, and socioeconomic factors. For this reason, I adopt a Bayesian modeling approach that enables the explicit estimation of the inherent uncertainty. This work can provide decision-makers with greater clarity regarding the extent of knowledge on climate trends.
ContributorsBoyle, Esther Sarai (Author) / Jevtic, Petar (Thesis advisor) / Lanchier, Nicolas (Thesis advisor) / Lan, Shiwei (Committee member) / Cheng, Dan (Committee member) / Fricks, John (Committee member) / Gall, Melanie (Committee member) / Cutter, Susan (Committee member) / McNicholas, Paul (Committee member) / Arizona State University (Publisher)
Created2023
Description
It is well–established that physical phenomena occurring at the macroscale are the result of underlying molecular mechanisms that occur at the nanoscale. Understanding these mechanisms at the molecular level allows the development of semicrystalline polymers with tailored properties for different applications. Molecular Dynamics (MD) simulations offer significant insight into these mechanisms and their impact on various physical and mechanical properties. However, the temporostpatial limitations of all–atomistic (AA) MD simulations impede the investigation of phenomena with higher time– and length–scale. Coarse–grained (CG) MD simulations address the shortcomings of AAMD simulations by grouping atoms based on their chemical, structural, etc., aspects into larger particles, beads, and reducing the degrees offreedom of the atomistic system, allowing achievement of higher time– and length–scales. Among the approaches for generating CG models, the hybrid approach is capable of capturing the underlying mechanisms at the molecular level while replicating phenomena at temporospatial scales attainable by the CG model. In this dissertation, a novel hybrid method is developed for the systematic coarse–graining of semicrystalline polymers that uniquely blends the potential functions of both phases. The obtained blended potential not only faithfully reproduces the structural distributions of multiple phases simultaneously but also allows control over the dynamics of the obtained CG models employing a tunable parameter. Given that accelerated dynamics of the CG models hinder the investigation of phenomena in the crystal phase, such as α–α-relaxation, by utilizing the developed method, this phenomenon was successfully modeled for a semicrystalline polyethylene (PE) system with obtained values for the diffusion constant at room temperature and the activation energy in close agreement with experimental results. In a subsequent study, a family of potentials was developed for a sample semicrystalline polyethylene (PE) to investigate the impact of different potential functions on some physical properties, such as crystal diffusion and glass transition temperature, and their correlation with some mechanical properties
obtained from uniaxial deformation.
ContributorsEghlidos, Omid (Author) / Oswald, Jay JJO (Thesis advisor) / Chattopadhyay, Aditi (Committee member) / Mignolet, Marc (Committee member) / Hjelmstad, Keith (Committee member) / Lanchier, Nicolas (Committee member) / Arizona State University (Publisher)
Created2023
Description
Over the past 20 years, the fields of synthetic biology and synthetic biosystems engineering have grown into mature disciplines, leading to significant breakthroughs in cancer research, diagnostics, cell-based medicines, biochemical production, etc. Application of mathematical modelling to biological and biochemical systems have not only given great insight into how these systems function, but also have lent enough predictive power to aid in the forward-engineering of synthetic constructs. However, progress has been impeded by several modes of context-dependence unique to biological and biochemical systems that are not seen in traditional engineering disciplines, resulting in the need for lengthy design-build-test cycles before functional prototypes are generated.In this work, two of these universal modes of context dependence – resource competition and growth feedback –their effects on synthetic gene circuits and potential control mechanisms, are studied and characterized. Results demonstrate that a novel competitive control architecture can be utilized to mitigate the effects of winner-take-all resource competition (a form of context dependence where distinct gene modules influence each other by competing over a shared pool of transcriptional/translational resources) in synthetic gene circuits and restore circuits to their intended function. Application of the fluctuation-dissipation theorem and rigorous stochastic simulations demonstrate that realistic resource constraints present in cells at the transcriptional and translational levels influence noise in gene circuits in a nonmonotonic fashion, either increasing or decreasing noise depending on the transcriptional/translational capacity.
Growth feedback on the other hand links circuit function to cellular growth rate via increased protein dilution rate during exponential growth phase. This in turn can result in the collapse of bistable gene circuits as the accelerated dilution rate forces switches in a high stable state to fall to a low stable state. Mathematical modelling and experimental data demonstrate that application of repressive links can insulate sensitive parts of gene circuits against growth-fluctuations and can in turn increase the robustness of multistable circuits in growth contexts.
The results presented in this work aid in the accumulation of understanding of biological and biochemical context dependence, and corresponding control strategies and design principles engineers can utilize to mitigate these effects.
ContributorsStone, Austin (Author) / Tian, Xiao-jun (Thesis advisor) / Wang, Xiao (Committee member) / Smith, Barbara (Committee member) / Kuang, Yang (Committee member) / Cheng, Albert (Committee member) / Arizona State University (Publisher)
Created2023