Τίτλος: Παρουσίαση Διδακτορικής Διατριβής, "Queues, Quality Control and Success Runs: Methodology and Applications in Production" ("Ουρές, Ποιότητα Ελέγχου, Ροές Επιτυχιών: Μεθοδολογία και Εφαρμογές στην Παραγωγή")
Ομιλητής: Γεώργιος Μύταλας, Υποψήφιος διδάκτορας του Τμήματος Στατιστικής, Οικονομικό Πανεπιστήμιο Αθηνών
Ημερομηνία: Τετάρτη 13 Ιουνίου 2012
Ώρα: 17:00
Αίθουσα: 607, 6ος όροφος, Κτίριο Ευελπίδων
Abstract
This thesis deals with stochastic models in production systems and the research conducted followed three directions: queueing models in production, quality control, and run statistics. These are presented independently of each other but there are clear interconnections between them.
The first part of the thesis (Chapters 1 and 2) deals with success runs in Markov--dependent binary trials. There we develop a new methodology based on a Central Limit Theorem for additive functionals of Markov chains in order to establish the asymptotic normality of the joint distribution of different types of success runs. The approach is based on expressing the number of runs in terms of the number of visits of an appropriately defined Markov chain to certain states, or in terms of the number of state transitions of the chain. Then we take advantage of the connection of the asymptotic covariance matrix for such functionals to the recurrent potential matrix (fundamental matrix) of this chain. The last step is to express the elements of the potential matrix in terms of the mean transition times between states for the Markov chain and thus to obtain explicit, closed form expressions for the limiting covariance matrix. In many cases this has led to new results.
In the second part (Chapter 3) we analyze the performance of several continuous sampling plans such as CSP-1, CSP-2, CSP-3, CSP-C, and Tightened Multi-Level (3) under the assumption that the quality of the examined items exhibits markovian dependence while probability sampling is used during the sampling inspection phase for each sampling plan. The assumption of markovian dependence in the quality process is essential since the Bernoulli assumption which is often used for analytical convenience fails to capture the essential features of these plans that aim to capture shifts in the quality process. We present a method for computing the exact probability generating function for the joint number of items (defective and nondefective) both for the continuous inspection phase and for the sampling inspection phase, using a markovian analysis. For each plan we derive exact results for the Average Fraction Inspected (AFI), the Fraction Defective Outgoing (FDU), the Average Outgoing Quality (AOQ), both for replacement and for non-replacement policies and finally we present numerical results that provide comparisons between the plans.
The third part (Chapters 4, 5, and 6) considers queueing problem arising in the analysis of manufacturing systems. In chapter 4, we examine the operation of a quality control unit that uses a Continuous Sampling Plan (CSP) policy, placing particular emphasis on the delay aspects of the inspection station and on the effects of the inspection process on flow times. In particular, we examine markovian models of the inspection station and analyze the delay and queueing aspects of the CSP policy assuming exponential inspection times using matrix geometric techniques. We also examine the indirect effects on the inspection process on flow times due to the modulation of the downstream arrival process by the inspection process and the corresponding increase of variability.
In chapter 5 a queueing model with Poisson arrivals, random processing batches, and vacations is examined, specifically based on the Queue-Cart model of Coffman and Gilbert [37] and we extend their results to the case where the cart's capacity varies stochastically and customers arrive in batches. We also examine processing batch distributions with unbounded support and provide a solution via Wiener-Hopf techniques. In all cases care is taken in the analysis in order to obtain the steady state distribution without the assumption that the service and cart delivery time distributions are light-tailed. In fact, our results are obtained under the natural conditions of finite first moments, together with the stability condition which guarantees the existence of a stationary version of the process.
Finally, in chapter 6, we examine an M/G/1 queueing model with batch arrivals subject to disasters. The model includes a randomized vacation policy and repair times after disasters. By applying the supplementary variables method various performance criteria were obtained such as the queue length distribution, the Laplace transform of the waiting time, the Laplace transform of the busy period, and the probability that a typical customer suffers a disaster.
Περίληψη
Η διατριβή ασχολείται με στοχαστικά μοντέλα σε συστήματα παραγωγής και η έρευνα διεξάγεται σε 3 κατευθύνσεις: θεωρία ουρών στην παραγωγή, ποιοτικό έλεγχο και στατιστικές ροών. Τα θέματα παρουσιάζονται ανεξάρτητα μεταξύ τους αλλά υπάρχει συνάφεια μεταξύ τους.
Το πρώτο τμήμα της διατριβής (κεφάλαια 1 και 2) ασχολείται με επιτυχίες ροών σε Μαρκοβιανής εξάρτησης δίτιμες δοκιμές. Αναπτύσσουμε μια νέα μεθοδολογία στηριζόμενη στο Κεντρικό Οριακό Θεώρημα για προσθετικά συναρτησιακά αλυσίδας Markov ώστε να εξασφαλίσουμε την ασυμπτωτική κανονικότητα της κοινής κατανομής διάφορων μορφών επιτυχών ροών. Η προσέγγιση βασίζεται στην έκφραση του αριθμού των ροών σε όρους του αριθμού των επισκέψεων κατάλληλα ορισμένης Markov αλυσίδας σε συγκεκριμένες καταστάσεις ή σε όρους του αριθμού των μεταβάσεων μεταξύ των καταστάσεων της αλυσίδας. Έπειτα εκμεταλλευόμαστε την σύνδεση του ασυμπτωτικού πίνακα συνδιασπορών για συναρτησιακά με τον πίνακα δυναμικού (θεμελιώδη πίνακα) αυτής της αλυσίδας. Το τελευταίο βήμα είναι να εκφράσουμε τα στοιχεία του πίνακα δυναμικού σε όρους των μέσων χρόνων μετάβασης μεταξύ των καταστάσεων της Markov αλυσίδας και έτσι να λαμβάνουμε ακριβής κλειστές εκφράσεις για τον οριακό πίνακα συνδιασπορών. Σε αρκετές των περιπτώσεων οδηγούμαστε σε νέα αποτελέσματα.
Στο δεύτερο τμήμα (κεφάλαιο 3) αναλύουμε την απόδοση διάφορων συνεχών δειγματολογικών πλάνων όπως CSP-1, CSP-2, CSP-3, CSP-C, and Tightened Multi-Level (3) υπό την υπόθεση ότι η ποιότητα των τεμαχίων έχει Μαρκοβιανή εξάρτηση ενώ για όλα τα πλάνα ακολουθείτε η δειγματοληψία με πιθανότητα όσον αφορά την δειγματοληψία στην φάση της μερικής επιθεώρησης. Η υπόθεση της Μαρκοβιανής εξάρτησης στην διαδικασία της ποιότητας είναι ουσιώδης αφού η υπόθεση της ανεξαρτησίας που συχνά χρησιμοποιείται για ευκολία στην ανάλυση αποτυγχάνει να συλλάβει τα βασικά χαρακτηριστικά των πλάνων που στόχο έχουν να εντοπίσουν αλλαγές στην διαδικασία της ποιότητας. Παρουσιάζουμε μια μέθοδο υπολογισμού της πιθανογεννήτριας της κοινής κατανομής όλων των τεμαχίων (ελαττωματικά και μη) και για τις δύο φάσεις, συνεχούς και μερικής επιθεώρησης στηριζόμενοι σε Μαρκοβιανή ανάλυση. Για κάθε πλάνο δίνουμε ακριβή αποτελέσματα για τον μέσο κλάσμα επιθεωρημένων (τεμαχίων), το κλάσμα των εξαγομένων ελαττωματικών (τεμαχίων) και την μέση εξαγόμενη ποιότητα για τις πολιτικές αντικατάστασης ή όχι, ενώ τελικά παρέχουμε συγκριτικά αποτελέσματα μέσω γραφικών παραδειγμάτων.
Το τρίτο μέρος (κεφάλαια 4,5 και 6) αναφέρεται στην θεωρία ουρών παρουσιάζοντας προβλήματα κυρίως με άμεση σχέση στα συστήματα παραγωγής. Στο 4 κεφάλαιο εξετάζουμε την λειτουργία μιας μονάδας ποιοτικού ελέγχου που εφαρμόζει πολιτική συνεχών δειγματοληπτικών πλάνων δίνοντας κυρίως έμφαση στην καθυστέρηση στον σταθμό επιθεώρησης καθώς και στην επίδραση της διαδικασίας επιθεώρησης στους χρόνους ροής. Συγκεκριμένα εξετάζουμε Μαρκοβιανά μοντέλα του σταθμού επιθεώρησης και αναλύουμε την καθυστέρηση καθώς και θέματα σχετικά με τις ουρές όσων αφορά την συγκεκριμένη πολιτική θεωρώντας εκθετικούς χρόνους επιθεώρησης χρησιμοποιώντας πινακό-γεωμετρικές τεχνικές. Επίσης εξετάζουμε τις έμμεσες συνέπειες για τη διαδικασία επιθεώρησης σχετικά με τους χρόνους ροής λόγω της διαφοροποίησης της διαδικασίας άφιξης, από τη διαδικασία επιθεώρησης και την αντίστοιχη αύξηση της μεταβλητότητας.Στο κεφάλαιο 5 εξετάζουμε ένα μοντέλο ουράς με Poisson αφίξεις, τυχαίων παρτίδων, με ύπαρξη διακοπών βάση του μοντέλου Ουράς-Οχήματος των Coffman και Gilbert [37] και επεκτείνουμε τα αποτελέσματά τους στην περίπτωση που η χωρητικότητα του οχήματος ποικίλλει στοχαστικά ενώ οι πελάτες φθάνουν σε παρτίδες. Εξετάζουμε επίσης παρτίδες με κατανομή απεριόριστου φράγματος προσφέροντας λύση μέσω των Wiener-Hopf τεχνικών. Σε όλες τις περιπτώσεις μέριμνα λαμβάνεται για την ανάλυση προκειμένου να εξαγάγουμε την στάσιμη κατανομή χωρίς την παραδοχή ότι οι κατανομές των χρόνων εξυπηρέτησης και μεταφοράς του οχήματος είναι light-tailed. Τα αποτελέσματά μας λαμβάνονται στο πλαίσιο των φυσικών συνθηκών των πεπερασμένων πρώτων ροπών, μαζί με την συνθήκη σταθερότητας που εγγυάται την ύπαρξη στασιμότητας της διαδικασίας. Στο κεφάλαιο 6, εξετάσαμε ένα M/G/1 μοντέλο αναμονής με αφίξεις παρτίδων όπου το σύστημα υπόκεινται σε καταστροφές. Το μοντέλο περιλαμβάνει μία τυχαιοποιημένη πολιτική διακοπών και χρόνους επισκευής μετά από τις καταστροφές. Με την εφαρμογή της μεθόδου συμπληρωματικής μεταβλητής διάφορα κριτήρια απόδοσης λαμβάνονται, όπως η κατανομή του μήκους ουράς, ο μετασχηματισμός Laplace του χρόνου αναμονής, ο μετασχηματισμός Laplace της περιόδου λειτουργίας, και την πιθανότητα ένας τυπικός πελάτης.