Matching Items (15)
Filtering by
- All Subjects: Mathematical Modeling
- All Subjects: Optimization
- Creators: Armbruster, Dieter
- Creators: School of Mathematical and Natural Sciences
- Creators: Sen, Arunabha
Description
A good production schedule in a semiconductor back-end facility is critical for the on time delivery of customer orders. Compared to the front-end process that is dominated by re-entrant product flows, the back-end process is linear and therefore more suitable for scheduling. However, the production scheduling of the back-end process is still very difficult due to the wide product mix, large number of parallel machines, product family related setups, machine-product qualification, and weekly demand consisting of thousands of lots. In this research, a novel mixed-integer-linear-programming (MILP) model is proposed for the batch production scheduling of a semiconductor back-end facility. In the MILP formulation, the manufacturing process is modeled as a flexible flow line with bottleneck stages, unrelated parallel machines, product family related sequence-independent setups, and product-machine qualification considerations. However, this MILP formulation is difficult to solve for real size problem instances. In a semiconductor back-end facility, production scheduling usually needs to be done every day while considering updated demand forecast for a medium term planning horizon. Due to the limitation on the solvable size of the MILP model, a deterministic scheduling system (DSS), consisting of an optimizer and a scheduler, is proposed to provide sub-optimal solutions in a short time for real size problem instances. The optimizer generates a tentative production plan. Then the scheduler sequences each lot on each individual machine according to the tentative production plan and scheduling rules. Customized factory rules and additional resource constraints are included in the DSS, such as preventive maintenance schedule, setup crew availability, and carrier limitations. Small problem instances are randomly generated to compare the performances of the MILP model and the deterministic scheduling system. Then experimental design is applied to understand the behavior of the DSS and identify the best configuration of the DSS under different demand scenarios. Product-machine qualification decisions have long-term and significant impact on production scheduling. A robust product-machine qualification matrix is critical for meeting demand when demand quantity or mix varies. In the second part of this research, a stochastic mixed integer programming model is proposed to balance the tradeoff between current machine qualification costs and future backorder costs with uncertain demand. The L-shaped method and acceleration techniques are proposed to solve the stochastic model. Computational results are provided to compare the performance of different solution methods.
ContributorsFu, Mengying (Author) / Askin, Ronald G. (Thesis advisor) / Zhang, Muhong (Thesis advisor) / Fowler, John W (Committee member) / Pan, Rong (Committee member) / Sen, Arunabha (Committee member) / Arizona State University (Publisher)
Created2011
Description
The main objective of this research is to develop an integrated method to study emergent behavior and consequences of evolution and adaptation in engineered complex adaptive systems (ECASs). A multi-layer conceptual framework and modeling approach including behavioral and structural aspects is provided to describe the structure of a class of engineered complex systems and predict their future adaptive patterns. The approach allows the examination of complexity in the structure and the behavior of components as a result of their connections and in relation to their environment. This research describes and uses the major differences of natural complex adaptive systems (CASs) with artificial/engineered CASs to build a framework and platform for ECAS. While this framework focuses on the critical factors of an engineered system, it also enables one to synthetically employ engineering and mathematical models to analyze and measure complexity in such systems. In this way concepts of complex systems science are adapted to management science and system of systems engineering. In particular an integrated consumer-based optimization and agent-based modeling (ABM) platform is presented that enables managers to predict and partially control patterns of behaviors in ECASs. Demonstrated on the U.S. electricity markets, ABM is integrated with normative and subjective decision behavior recommended by the U.S. Department of Energy (DOE) and Federal Energy Regulatory Commission (FERC). The approach integrates social networks, social science, complexity theory, and diffusion theory. Furthermore, it has unique and significant contribution in exploring and representing concrete managerial insights for ECASs and offering new optimized actions and modeling paradigms in agent-based simulation.
ContributorsHaghnevis, Moeed (Author) / Askin, Ronald G. (Thesis advisor) / Armbruster, Dieter (Thesis advisor) / Mirchandani, Pitu (Committee member) / Wu, Tong (Committee member) / Hedman, Kory (Committee member) / Arizona State University (Publisher)
Created2013
Description
While network problems have been addressed using a central administrative domain with a single objective, the devices in most networks are actually not owned by a single entity but by many individual entities. These entities make their decisions independently and selfishly, and maybe cooperate with a small group of other entities only when this form of coalition yields a better return. The interaction among multiple independent decision-makers necessitates the use of game theory, including economic notions related to markets and incentives. In this dissertation, we are interested in modeling, analyzing, addressing network problems caused by the selfish behavior of network entities. First, we study how the selfish behavior of network entities affects the system performance while users are competing for limited resource. For this resource allocation domain, we aim to study the selfish routing problem in networks with fair queuing on links, the relay assignment problem in cooperative networks, and the channel allocation problem in wireless networks. Another important aspect of this dissertation is the study of designing efficient mechanisms to incentivize network entities to achieve certain system objective. For this incentive mechanism domain, we aim to motivate wireless devices to serve as relays for cooperative communication, and to recruit smartphones for crowdsourcing. In addition, we apply different game theoretic approaches to problems in security and privacy domain. For this domain, we aim to analyze how a user could defend against a smart jammer, who can quickly learn about the user's transmission power. We also design mechanisms to encourage mobile phone users to participate in location privacy protection, in order to achieve k-anonymity.
ContributorsYang, Dejun (Author) / Xue, Guoliang (Thesis advisor) / Richa, Andrea (Committee member) / Sen, Arunabha (Committee member) / Zhang, Junshan (Committee member) / Arizona State University (Publisher)
Created2013
Description
Cellular and molecular biologists often perform cellular assays to obtain a better understanding of how cells work. However, in order to obtain a measurable response by the end of an experiment, the cells must reach an ideal cell confluency. Prior to conducting the cellular assays, range-finding experiments need to be conducted to determine an initial plating density that will result in this ideal confluency, which can be costly. To help alleviate this common issue, a mathematical model was developed that describes the dynamics of the cell population used in these experiments. To develop the model, images of cells from different three-day experiments were analyzed in Photoshop®, giving a measure of cell count and confluency (the percentage of surface area covered by cells). The cell count data were then fitted into an exponential growth model and were correlated to the cell confluency to obtain a relationship between the two. The resulting mathematical model was then evaluated with data from an independent experiment. Overall, the exponential growth model provided a reasonable and robust prediction of the cell confluency, though improvements to the model can be made with a larger dataset. The approach used to develop this model can be adapted to generate similar models of different cell-lines, which will reduce the number of preliminary range-finding experiments. Reducing the number of these preliminary experiments can save valuable time and experimental resources needed to conduct studies using cellular assays.
ContributorsGuerrero, Victor Dominick (Co-author) / Guerrero, Victor (Co-author) / Watanabe, Karen (Thesis director) / Jurutka, Peter (Committee member) / School of Mathematical and Natural Sciences (Contributor, Contributor) / Barrett, The Honors College (Contributor)
Created2020-05
Description
Since its isolation from a rhesus monkey in the Zika forest of Uganda in 1947, Zika virus (ZIKV) has spread into many parts of the world, causing major epidemics, notably in the Americas and some parts of Europe and Asia. The flavivirus ZIKV is primarily transmitted to humans via the bite of infectious adult female Aedes mosquitoes. In the absence of effective treatment or a safe and effective vaccine against the disease, control efforts are focused on effective vector management to reduce the mosquito population and limit human exposure to mosquito bites. The work in this thesis is based on the use of a mathematical model for gaining insight into the transmission dynamics of ZIKV in a population. The model, which takes the form of a deterministic system of nonlinear differential equations, is rigorously analyzed to gain insight into its basic qualitative features. In particular, it is shown that the disease-free equilibrium of the model is locally-asymptotically stable whenever a certain epidemiological quantity (known as the reproduction number, denoted by R0) is less than unity. The epidemiological implication of this result is that a small influx of ZIKV-infected individuals or vectors into the community will not generate a large outbreak if the anti-ZIKV control strategy (or strategies) adopted by the community can reduce and maintain R0 to a value less than unity. Numerical simulations of the model, using data relevant to ZIKV transmission dynamics in Puerto Rico, shows that a control strategy that solely focuses on killing immature mosquitoes (using highly efficacious larvicides) can lead to the elimination of ZIKV if the larvicide coverage (i.e., proportion of breeding sites treated with larvicides) is high enough (over 90%). Such elimination is also feasible using a control strategy that solely focuses on the use of insect repellents (as a means of personal protection against mosquito bites) if the coverage level of the insect repellent usage in the community is high enough (at least 70%). However, it is also shown that although the use of adulticides (i.e., using insecticides to kill adult mosquitoes) can reduce the reproduction number (hence, disease burden), it fails to reduce it to a value less than unity, regardless of coverage level. Thus, unlike with the use of larvicide-only or repellent-only strategies, the population-wide implementation of an adulticide-only strategy is unable to lead to ZIKV elimination. Finally, it is shown that the combined (integrated pest management) strategy, based on using all three aforementioned strategies, is the most effective approach for combatting ZIKV in the population. In particular, it is shown that even a moderately-effective level of this strategy, which entails using only 50% coverage of both larvicides and adulticides, together with about 45% coverage for a repellent strategy, will lead to ZIKV elimination. This moderately-effective combined strategy seems attainable in Puerto Rico.
ContributorsUrcuyo, Javier (Author) / Gumel, Abba (Thesis director) / Hackney Price, Jennifer (Committee member) / School of Mathematical and Natural Sciences (Contributor, Contributor) / Barrett, The Honors College (Contributor)
Created2019-05
Description
Pharmacokinetics describes the movement and processing of a drug in a body, while Pharmacodynamics describes the drug's effect on a given subject. Pharmacokinetic/Pharmacodynamic(Pk/Pd) models have become a fundamental tool when predicting bacterial behavior and drug development. In November of 2009, Katsube et al. published their paper detailing their Pk/Pd model for the drug Doripenem and the bacteria P. aeruginosa. In their paper, they determined that there is a dependent relationship between the drug's effectiveness and the dosing strategy of the drug. Therefore, this thesis has applied optimal control in order to optimize the drug's effectiveness, while not burdening the subject with the side effects of the drug. Optimal Control is a mathematical tool used to balance two competing factors. As a result, it has become a useful tool used to make decisions involving complex behavior. By using Optimal Control, the model will maximize the drug's effect on the bacterial population of P. aeruginosa, while minimizing the drug concentration of Doripenem. In doing so, our research will enable doctors and clinicians to maximize a drug's effectiveness on the body, while minimizing side effects.
ContributorsSawkins, Bryan Thomas (Author) / Camacho, Erika (Thesis director) / Wirkus, Stephen (Committee member) / School of Mathematical and Natural Sciences (Contributor) / Barrett, The Honors College (Contributor)
Created2018-05
Description
Pogonomyrmex californicus (a species of harvester ant) colonies typically have anywhere from one to five queens. A queen can control the ratio of female to male offspring she produces, field research indicating that this ratio is genetically hardwired and does not change over time relative to other queens. Further, a queen has an individual reproductive advantage if she has a small reproductive ratio. A colony, however, has a reproductive advantage if it has queens with large ratios, as these queens produce many female workers to further colony success. We have developed an agent-based model to analyze the "cheating" phenotype observed in field research, in which queens extend their lifespans by producing disproportionately many male offspring. The model generates phenotypes and simulates years of reproductive cycles. The results allow us to examine the surviving phenotypes and determine conditions under which a cheating phenotype has an evolutionary advantage. Conditions generating a bimodal steady state solution would indicate a cheating phenotype's ability to invade a cooperative population.
ContributorsEngel, Lauren Marie Agnes (Author) / Armbruster, Dieter (Thesis director) / Fewell, Jennifer (Committee member) / School of Mathematical and Statistical Sciences (Contributor) / Barrett, The Honors College (Contributor)
Created2017-05
Description
Studying the effects of viruses and toxins on honey bees is important in order to understand the danger these important pollinators are exposed to. Hives exist in various environments, and different colonies are exposed to varying environmental conditions and dangers. To properly study the changes and effects of seasonality and pesticides on the population dynamics of honey bees, the presence of each of these threats must be considered. This study aims to analyze how infected colonies grapple more deeply with changing, seasonal environments, and how toxins in pesticides affect population dynamics. Thus, it addresses the following questions: How do viruses within a colony affect honey bee population dynamics when the environment is seasonal? How can the effects of pesticides be modeled to better understand the spread of toxins? This project is a continuation of my own undergraduate work in a previous class, MAT 350: Techniques and Applications of Applied Mathematics, with Dr. Yun Kang, and also utilizes previous research conducted by graduate students. Original research focused on the population dynamics of honey bee disease interactions (without considering seasonality), and a mathematical modeling approach to analyze the effects of pesticides on honey bees. In order to pursue answers to the main research questions, the model for honey bee virus interaction was adapted to account for seasonality. The adaptation of this model allowed the new model to account for the effects of seasonality on infected colony population dynamics. After adapting the model, simulations with arbitrary data were run using RStudio in order to gain insight into the specific ways in which seasonality affected the interaction between a honey bee colony and viruses. The second portion of this project examines a system of ordinary differential equations that represent the effect of pesticides on honey bee population dynamics, and explores the process of this model’s formulation. Both systems of equations used as the basis for each model’s research question are from previous research reports. This project aims to further that research, and explore the applications of applied mathematics to biological issues.
ContributorsReveles, Anika (Author) / Kang, Yun (Thesis director) / Nishimura, Joel (Committee member) / Barrett, The Honors College (Contributor) / School of Mathematical and Natural Sciences (Contributor) / School of Earth and Space Exploration (Contributor)
Created2023-05
Description
This outlines a mathematical model created in MATLAB for the purposes of predicting nitrous oxide emissions from wastewater treatment plants with updated an updated understanding of AOB metabolic pathway.
ContributorsOverbey, Jorja (Author) / Hart, Steven (Thesis director) / Young, Michelle (Committee member) / Wirkus, Stephen (Committee member) / Barrett, The Honors College (Contributor) / School of Music, Dance and Theatre (Contributor) / School of Mathematical and Natural Sciences (Contributor)
Created2023-05
DescriptionUnderstanding the evolution of opinions is a delicate task as the dynamics of how one changes their opinion based on their interactions with others are unclear.
ContributorsWeber, Dylan (Author) / Motsch, Sebastien (Thesis advisor) / Lanchier, Nicolas (Committee member) / Platte, Rodrigo (Committee member) / Armbruster, Dieter (Committee member) / Fricks, John (Committee member) / Arizona State University (Publisher)
Created2021