400 research outputs found
High volume conveyor sortation system analysis
The design and operation of a high volume conveyor sortation system are important due to its high cost, large footprint and critical role in the system. In this thesis, we study the characteristics of the conveyor sortation system from performance evaluation and design perspectives employing continuous modeling approaches.
We present two continuous conveyor models (Delay and Stock Model and Batch on Conveyor Model) with different representation accuracy in a unified mathematical framework. Based on the Batch on Conveyor Model, we develop a fast fluid simulation methodology. We address the feasibility of implementing fluid simulation from modeling capabilities, algorithm design and simulation performance in terms of accuracy and simulation time.
From a design perspective, we focus on rates determination and accumulation design in the accumulation and merge subsystem. The optimization problem is to find a minimum cost design that satisfies some predefined performance requirements under stochastic conditions. We first transform this stochastic programming problem into a deterministic nonlinear programming problem through sample path based optimization method. A gradient based method is adopted to solve the deterministic problem. Since there is no closed form for performance metric even for a deterministic input stream, we adopt continuous modeling to develop deterministic performance evaluation models and conduct sensitivity analysis on these models. We explore the prospects of using the two continuous conveyor models we presented.Ph.D.Committee Chair: Chen Zhou; Committee Member: Gunter Sharp; Committee Member: Leon F. McGinnis; Committee Member: Spiridon Reveliotis; Committee Member: Yorai Ward
Topics in perturbation analysis for stochastic hybrid systems
Control and optimization of Stochastic Hybrid Systems (SHS) constitute
increasingly active fields of research. However, the size and complexity of
SHS frequently render the use of exhaustive verification techniques
prohibitive. In this context, Perturbation Analysis techniques, and in
particular Infinitesimal Perturbation Analysis (IPA), have proven to be
particularly useful for this class of systems. This work focuses on applying
IPA to two different problems: Traffic Light Control (TLC) and control of
cancer progression, both of which are viewed as dynamic optimization
problems in an SHS environment.
The first part of this thesis addresses the TLC problem for a single
intersection modeled as a SHS. A quasi-dynamic control policy is proposed
based on partial state information defined by detecting whether vehicle
backlogs are above or below certain controllable threshold values. At first,
the threshold parameters are controlled while assuming fixed cycle lengths
and online gradient estimates of a cost metric with respect to these
controllable parameters are derived using IPA techniques. These estimators
are subsequently used to iteratively adjust the threshold values so as to
improve overall system performance. This quasi-dynamic analysis of the TLC\
problem is subsequently extended to parameterize the control policy by green
and red cycle lengths as well as queue content thresholds. IPA estimators
necessary to simultaneously control the light cycles and thresholds
are rederived and thereafter incorporated into a standard gradient based
scheme in order to further ameliorate system performance.
In the second part of this thesis, the problem of controlling cancer
progression is formulated within a Stochastic Hybrid Automaton (SHA)
framework. Leveraging the fact that cell-biologic changes necessary for cancer development may be schematized as a series of discrete steps, an integrative closed-loop framework is proposed for describing the progressive development of cancer and determining optimal personalized therapies. First, the problem of cancer heterogeneity is addressed through a novel Mixed Integer Linear Programming (MILP) formulation that integrates somatic mutation and gene expression data to infer the temporal sequence of events from cross-sectional data. This formulation is tested using both simulated data and real breast cancer data with matched somatic mutation and gene expression measurements from The Cancer Genome Atlas (TCGA). Second, the use of basic IPA techniques for optimal personalized cancer therapy design is introduced and a methodology applicable to stochastic models of cancer progression is developed. A case study of optimal therapy design for advanced prostate cancer is performed. Given the importance of accurate modeling in conjunction with optimal therapy design, an ensuing analysis is performed in which sensitivity estimates with respect to several model parameters are evaluated and critical parameters are identified. Finally, the tradeoff between system optimality and robustness (or, equivalently, fragility) is explored so as to generate valuable insights on modeling and control of cancer progression
APPROXIMATE ANALYSIS OF RE-ENTRANT LINES WITH BERNOULLI RELIABILITY MODELS
Re-entrant lines are widely used in many manufacturing systems, such as semiconductor, electronics, etc. However, the performance analysis of re-entrant lines is largely unexplored due to its complexity. In this thesis, we present iterative procedures to approximate the production rate of re-entrant lines with Bernoulli reliability of machines. The convergence of the algorithms, uniqueness of the solution, and structural properties, have been proved analytically. The accuracy of the procedures is investigated numerically. It is shown that the approaches developed can either provide a lower bound or a closed estimate of the system production rate. Finally, a case study of automotive ignition component line with re-entrant washing operations is introduced to illustrate the applicability of the method. The results of this study suggest a possible route for modeling and analysis of re-entrant systems
Ion and Molecule Transport in Membrane Systems
Membranes play an enormous role in our life. Biological cell membranes control the fluxes of substances in and out of cells. Artificial membranes are widely used in numerous applications including “green” separation processes in chemistry, agroindustry, biology, medicine; they are used as well in energy generation from renewable sources. They largely mimic the structure and functions of biological membranes. The similarity in the structure leads to the similarity in the properties and the approaches to study the laws governing the behavior of both biological and artificial membranes. In this book, some physico-chemical and chemico-physical aspects of the structure and behavior of biological and artificial membranes are investigated
Pathway Semantics: An Algebraic Data Driven Algorithm to Generate Hypotheses about Molecular Patterns Underlying Disease Progression
The overarching goal of the Pathway Semantics Algorithm (PSA) is to improve the in silico identification of clinically useful hypotheses about molecular patterns in disease progression. By framing biomedical questions within a variety of matrix representations, PSA has the flexibility to analyze combined quantitative and qualitative data over a wide range of stratifications. The resulting hypothetical answers can then move to in vitro and in vivo verification, research assay optimization, clinical validation, and commercialization. Herein PSA is shown to generate novel hypotheses about the significant biological pathways in two disease domains: shock / trauma and hemophilia A, and validated experimentally in the latter. The PSA matrix algebra approach identified differential molecular patterns in biological networks over time and outcome that would not be easily found through direct assays, literature or database searches.
In this dissertation, Chapter 1 provides a broad overview of the background and motivation for the study, followed by Chapter 2 with a literature review of relevant computational methods. Chapters 3 and 4 describe PSA for node and edge analysis respectively, and apply the method to disease progression in shock / trauma. Chapter 5 demonstrates the application of PSA to hemophilia A and the validation with experimental results. The work is summarized in Chapter 6, followed by extensive references and an Appendix with additional material
A novel multi-frequency trans-endothelial electrical resistance (MTEER) sensor array to monitor blood-brain barrier integrity
© 2021 Elsevier B.V. The blood-brain barrier (BBB) is a dynamic cellular barrier that regulates brain nutrient supply, waste efflux, and paracellular diffusion through specialized junctional complexes. Finding a system to mimic and monitor BBB integrity (i.e., to be able to assess the effect of certain compounds on opening or closing the barrier) is of vital importance in several pathologies. This work aims to overcome some limitations of current barrier integrity measuring techniques thanks to a multi-layer microfluidic platform with integrated electrodes and Multi-frequency Trans-Endothelial Electrical Resistance (MTEER) in synergy with machine learning algorithms. MTEER measurements are performed across the barrier in a range of frequencies up to 10 MHz highlighting the presence of information on different frequency ranges. Results show that the proposed platform can detect barrier formation, opening, and regeneration afterwards, correlating with the results obtained from immunostaining of junctional complexes. This model presents novel techniques for a future biological barrier in-vitro studies that could potentially help on elucidating barrier opening or sealing on treatments with different drugs
Foundations of Software Science and Computation Structures
This open access book constitutes the proceedings of the 22nd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2019, which took place in Prague, Czech Republic, in April 2019, held as part of the European Joint Conference on Theory and Practice of Software, ETAPS 2019. The 29 papers presented in this volume were carefully reviewed and selected from 85 submissions. They deal with foundational research with a clear significance for software science
An approach to resource modelling in support of the life cycle engineering of enterprise systems
Enterprise modelling can facilitate the design, analysis, control and construction of
contemporary enterprises which can compete in world-wide Product markets. This
research involves a systematic study of enterprise modelling with a particular focus on
resource modelling in support of the life cycle engineering of enterprise systems.
This led to the specification and design of a framework for resource modelling. This
framework was conceived to:
classify resource types;
identify the different functions that resource modelling can support, with respect to
different life phases of enterprise systems;
clarify the relationship between resource models and other modelling perspectives
provide mechanisms which link resource models and other types of models;
identify guidelines for the capture of information - on resources, leading to the
establishment of a set of resource reference models.
The author also designed and implemented a resource modelling tool which conforms
to the principles laid down by the framework. This tool realises important aspects of
the resource modeffing concepts so defined.
Furthermore, two case studies have been carried out. One models a metal cutting
environment, and the other is based on an electronics industry problem area. In this
way, the feasibility of concepts embodied in the framework and the design of the
resource modelling tool has been tested and evaluated.
Following a literature survey and preliminary investigation, the CIMOSA enterprise
modelling and integration methodology was adopted and extended within this
research. Here the resource modelling tool was built by extending SEWOSA (System
Engineering Workbench for Open System Architecture) and utilising the CIMBIOSYS
(CINI-Building Integrated Open SYStems) integrating infrastructure.
The main contributions of the research are that: a framework for resource modelling has been established; means and mechanisms have been proposed, implemented and tested which link and coordinate different modelling perspectives into an unified enterprise model; the mechanisms and resource models generated by this research support each Pfe
phase of systems engineering projects and demonstrate benefits by increasing the
degree to which the derivation process among models is automated
- …