DOCSLIB.ORG

Communication Network Analysis

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Communication Network Analysis Notes for ECE 567 Communication Network Analysis Bruce Hajek May 31, 2021 c 2006 by Bruce Hajek All rights reserved. Permission is hereby given to freely print and circulate copies of these notes so long as the notes are left intact and not reproduced for commercial purposes. Email to [email protected], pointing out errors or hard to understand passages or providing comments, is welcome. Contents 1 Countable State Markov Processes 3 1.1 Example of a Markov model . 3 1.2 Definition, Notation and Properties . 5 1.3 Pure-Jump, Time-Homogeneous Markov Processes . 6 1.4 Space-Time Structure . 8 1.5 Poisson Processes . 12 1.6 Renewal Theory . 14 1.6.1 Renewal Theory in Continuous Time . 16 1.6.2 Renewal Theory in Discrete Time . 17 1.7 Classification and Convergence of Discrete State Markov Processes . 17 1.7.1 Examples with finite state space . 17 1.7.2 Discrete Time . 20 1.7.3 Continuous Time . 22 1.8 Classification of Birth-Death Processes . 24 1.9 Time Averages vs. Statistical Averages . 26 1.10 Queueing Systems, M/M/1 Queue and Little's Law . 27 1.11 Mean Arrival Rate, Distributions Seen by Arrivals, and PASTA . 30 1.12 More Examples of Queueing Systems Modeled as Markov Birth-Death Processes . 32 1.13 Method of Phases and Quasi Birth-Death Processes . 34 1.14 Markov Fluid Model of a Queue . 36 1.15 Problems . 37 2 Foster-Lyapunov stability criterion and moment bounds 45 2.1 Stability criteria for discrete time processes . 45 2.2 Stability criteria for continuous time processes . 53 2.3 Problems . 57 3 Queues with General Interarrival Time and/or Service Time Distributions 61 3.1 The M/GI/1 queue . 61 3.1.1 Busy Period Distribution . 63 3.1.2 Priority M/GI/1 systems . 64 3.2 The GI/M/1 queue . 66 3.3 The GI/GI/1 System . 68 3.4 Kingman's Bounds for GI/GI/1 Queues . 69 3.5 Stochastic Comparison with Application to GI/GI/1 Queues . 71 iii 3.6 GI/GI/1 Systems with Server Vacations, and Application to TDM and FDM . 73 3.7 Effective Bandwidth of a Data Stream . 75 3.8 Problems . 78 4 Multiple Access 83 4.1 Slotted ALOHA with Finitely Many Stations . 83 4.2 Slotted ALOHA with Infinitely Many Stations . 85 4.3 Bound Implied by Drift, and Proof of Proposition 4.2.1 . 87 4.4 Probing Algorithms for Multiple Access . 90 4.4.1 Random Access for Streams of Arrivals . 92 4.4.2 Delay Analysis of Decoupled Window Random Access Scheme . 92 4.5 Problems . 93 5 Stochastic Network Models 99 5.1 Time Reversal of Markov Processes . 99 5.2 Circuit Switched Networks . 101 5.3 Markov Queueing Networks (in equilibrium) . 104 5.3.1 Markov server stations in series . 104 5.3.2 Simple networks of MS stations . 105 5.3.3 A multitype network of MS stations with more general routing . 107 5.4 Problems . 109 6 Calculus of Deterministic Constraints 113 6.1 The (σ; ρ) Constraints and Performance Bounds for a Queue . 113 6.2 f-upper constrained processes . 115 6.3 Service Curves . 117 6.4 Problems . 120 7 Graph Algorithms 123 7.1 Maximum Flow Problem . 123 7.2 Problems . 124 8 Flow Models in Routing and Congestion Control 127 8.1 Convex functions and optimization . 127 8.2 The Routing Problem . 128 8.3 Utility Functions . 133 8.4 Joint Congestion Control and Routing . 134 8.5 Hard Constraints and Prices . 135 8.6 Decomposition into Network and User Problems . 136 8.7 Specialization to pure congestion control . 139 8.8 Fair allocation . 141 8.9 A Network Evacuation Problem . 142 8.10 Braess Paradox . 142 8.11 Further reading and notes . 144 8.12 Problems . 144 iv 9 Dynamic Network Control 149 9.1 Dynamic programming . 149 9.2 Dynamic Programming Formulation . 150 9.3 The Dynamic Programming Optimality Equations . 152 9.4 Problems . 156 10 Solutions 161 v vi Preface This is the latest draft of notes I have used for the graduate course Communication Network Analy- sis, offered by the Department of Electrical and Computer Engineering at the University of Illinois at Urbana-Champaign. The notes describe many of the most popular analytical techniques for design and analysis of computer communication networks, with an emphasis on performance issues such as delay, blocking, and resource allocation. Topics that are not covered in the notes include the Internet protocols (at least not explicitly), simulation techniques and simulation packages, and some of the mathematical proofs. These are covered in other books and courses. The topics of these notes form a basis for understanding the literature on performance issues in networks, including the Internet. Specific topics include • The basic and intermediate theory of queueing systems, along with stability criteria based on drift analysis and fluid models • The notion of effective bandwidth, in which a constant bit rate equivalent is given for a bursty data stream in a given context • An introduction to the calculus of deterministic constraints on traffic flows • The use of penalty and barrier functions in optimization, and the natural extension to the use of utility functions and prices in the formulation of dynamic routing and congestion control problems • Some topics related to performance analysis in wireless networks, including coverage of basic multiple access techniques, and transmission scheduling • The basics of dynamic programming, introduced in the context of a simple queueing control problem • The analysis of blocking and the reduced load fixed point approximation for circuit switched networks. Students are assumed to have already had a course on computer communication networks, al- though the material in such a course is more to provide motivation for the material in these notes, than to provide understanding of the mathematics. In addition, since probability is used exten- sively, students in the class are assumed to have previously had two courses in probability. Some prior exposure to the theory of Lagrange multipliers for constrained optimization and nonlinear optimization algorithms is desirable, but not necessary. I'm grateful to students and colleagues for suggestions and corrections, and am always eager for more. Bruce Hajek, December 2006 1 2 Chapter 1 Countable State Markov Processes 1.1 Example of a Markov model Consider a two-stage pipeline as pictured in Figure 1.1. Some assumptions about it will be made in order to model it as a simple discrete time Markov process, without any pretension of modeling a particular real life system. Each stage has a single buffer. Normalize time so that in one unit of time a packet can make a single transition. Call the time interval between k and k + 1 the kth \time slot," and assume that the pipeline evolves in the following way during a given slot. If at the beginning of the slot, there are no packets in stage one, then a new packet arrives to stage one with probability a, independently of the past history of the pipeline and of the outcome at state two. If at the beginning of the slot, there is a packet in stage one and no packet in stage two, then the packet is transfered to stage two with probability d1. If at the beginning of the slot, there is a packet in stage two, then the packet departs from the stage and leaves the system with probability d2, independently of the state or outcome of stage one. These assumptions lead us to model the pipeline as a discrete-time Markov process with the state space S = f00; 01; 10; 11g, transition probability diagram shown in Figure 1.2 (using the notationx ¯ = 1 − x) and one-step transition probability matrix P given by 0 a¯ 0 a 0 1 ¯ ¯ B ad¯ 2 a¯d2 ad2 ad2 C P = B ¯ C @ 0 d1 d1 0 A 0 0 d2 d¯2 d d a 1 2 Figure 1.1: A two-stage pipeline 3 -- ---- -- ad ad a 2 2 00 01 d 1 -- a ad ad 2 2 -- 10 11 d d 2 2 -- d1 Figure 1.2: One-step transition probability diagram for example. The rows of P are probability vectors. (In these notes, probability vectors are always taken to be row vectors, and more often than not, they are referred to as probability distributions.). For example, the first row is the probability distribution of the state at the end of a slot, given that the state is 00 at the beginning of a slot. Now that the model is specified, let us determine the throughput rate of the pipeline. The equilibrium probability distribution π = (π00; π01; π10; π11) is the probability vector satis- fying the linear equation π = πP . Once π is found, the throughput rate η can be computed as follows. It is defined to be the rate (averaged over a long time) that packets transit the pipeline. Since at most two packets can be in the pipeline at a time, the following three quantities are all clearly the same, and can be taken to be the throughput rate. The rate of arrivals to stage one The rate of departures from stage one (or rate of arrivals to stage two) The rate of departures from stage two Focus on the first of these three quantities. Equating long term averages with statistical averages yields η = P [an arrival at stage 1] = P [an arrival at stage 1jstage 1 empty at slot beginning]P [stage 1 empty at slot beginning] = a(π00 + π01): Similarly, by focusing on departures from stage 1, obtain η = d1π10.
Load more

Recommended publications
  • Queueing-Theoretic Solution Methods for Models of Parallel and Distributed Systems·
    1 Queueing-Theoretic Solution Methods for Models of Parallel and Distributed Systems· Onno Boxmat, Ger Koolet & Zhen Liui t CW/, Amsterdam, The Netherlands t INRIA-Sophia Antipolis, France This paper aims to give an overview of solution methods for the performance analysis of parallel and distributed systems. After a brief review of some important general solution methods, we discuss key models of parallel and distributed systems, and optimization issues, from the viewpoint of solution methodology. 1 INTRODUCTION The purpose of this paper is to present a survey of queueing theoretic methods for the quantitative modeling and analysis of parallel and distributed systems. We discuss a number of queueing models that can be viewed as key models for the performance analysis and optimization of parallel and distributed systems. Most of these models are very simple, but display an essential feature of dis­ tributed processing. In their simplest form they allow an exact analysis. We explore the possibilities and limitations of existing solution methods for these key models, with the purpose of obtaining insight into the potential of these solution methods for more realistic complex quantitative models. As far as references is concerned, we have restricted ourselves in the text mainly to key references that make a methodological contribution, and to sur­ veys that give the reader further access to the literature; we apologize for any inadvertent omissions. The reader is referred to Gelenbe's book [65] for a general introduction to the area of multiprocessor performance modeling and analysis. Stochastic Petri nets provide another formalism for modeling and perfor­ mance analysis of discrete event systems.
    [Show full text]
  • Italic Entries Indicatefigures. 319-320,320
    Index A Analytic hierarchy process, 16-24, role of ORIMS, 29-30 17-18 Availability,31 A * algorithm, 1 absolute, relative measurement Averch-lohnson hypothesis, 31 Acceptance sampling, 1 structural information, 17 Accounting prices. 1 absolute measurement, 23t, 23-24, Accreditation, 1 24 B Active constraint, 1 applications in industry, Active set methods, 1 government, 24 Backward chaining, 33 Activity, 1 comments on costlbenefit analysis, Backward Kolmogorov equations, 33 Activity-analysis problem, 1 17-19 Backward-recurrence time, 33 Activity level, 1 decomposition of problem into Balance equations, 33 Acyclic network, 1 hierarchy, 21 Balking, 33 Adjacency requirements formulation, eigenvector solution for weights, Banking, 33-36 facilities layout, 210 consistency, 19-20, 20t banking, 33-36 Adjacent, 1 employee evaluation hierarchy, 24 portfolio diversification, 35-36 Adjacent extreme points, 1 examples, 21-24 portfolio immunization, 34-35 Advertising, 1-2, 1-3 fundamental scale, 17, 18, 18t pricing contingent cash flows, competition, 3 hierarchic synthesis, rank, 20-21 33-34 optimal advertising policy, 2-3 pairwise comparison matrix for BarChart, 37 sales-advertising relationship, 2 levell, 21t, 22 Barrier, distance functions, 37-39 Affiliated values bidding model, 4 random consistency index, 20t modified barrier functions, 37-38 Affine-scaling algorithm, 4 ranking alternatives, 23t modified interior distance Affine transformation, 4 ranking intensities, 23t functions, 38-39 Agency theory, 4 relative measurement, 21, 21-22t, Basic feasible solution, 40 Agriculture 21-24 Basic solution, 40 crop production problems at farm structural difference between Basic vector, 40, 41 level,429 linear, nonlinear network, 18 Basis,40 food industry and, 4-6 structuring hierarchy, 20 Basis inverse, 40 natural resources, 428-429 synthesis, 23t Batch shops, 41 regional planning problems, 429 three level hierarchy, 17 Battle modeling, 41-44 AHP, 7 Animation, 24 attrition laws, 42-43 AI, 7.
    [Show full text]
  • Approximating Heavy Traffic with Brownian Motion
    APPROXIMATING HEAVY TRAFFIC WITH BROWNIAN MOTION HARVEY BARNHARD Abstract. This expository paper shows how waiting times of certain queuing systems can be approximated by Brownian motion. In particular, when cus- tomers exit a queue at a slightly faster rate than they enter, the waiting time of the nth customer can be approximated by the supremum of reflected Brow- nian motion with negative drift. Along the way, we introduce fundamental concepts of queuing theory and Brownian motion. This paper assumes some familiarity of stochastic processes. Contents 1. Introduction 2 2. Queuing Theory 2 2.1. Continuous-Time Markov Chains 3 2.2. Birth-Death Processes 5 2.3. Queuing Models 6 2.4. Properties of Queuing Models 7 3. Brownian Motion 8 3.1. Random Walks 9 3.2. Brownian Motion, Definition 10 3.3. Brownian Motion, Construction 11 3.3.1. Scaled Random Walks 11 3.3.2. Skorokhod Embedding 12 3.3.3. Strong Approximation 14 3.4. Brownian Motion, Variants 15 4. Heavy Traffic Approximation 17 Acknowledgements 19 References 20 Date: November 21, 2018. 1 2 HARVEY BARNHARD 1. Introduction This paper discusses a Brownian Motion approximation of waiting times in sto- chastic systems known as queues. The paper begins by covering the fundamental concepts of queuing theory, the mathematical study of waiting lines. After waiting times and heavy traffic are introduced, we define and construct Brownian motion. The construction of Brownian motion in this paper will be less thorough than other texts on the subject. We instead emphasize the components of the construction most relevant to the final result—the waiting time of customers in a simple queue can be approximated with Brownian motion.
    [Show full text]
  • Queueing Systems
    Queueing Systems Ivo Adan and Jacques Resing Department of Mathematics and Computing Science Eindhoven University of Technology P.O. Box 513, 5600 MB Eindhoven, The Netherlands March 26, 2015 Contents 1 Introduction7 1.1 Examples....................................7 2 Basic concepts from probability theory 11 2.1 Random variable................................ 11 2.2 Generating function............................... 11 2.3 Laplace-Stieltjes transform........................... 12 2.4 Useful probability distributions........................ 12 2.4.1 Geometric distribution......................... 12 2.4.2 Poisson distribution........................... 13 2.4.3 Exponential distribution........................ 13 2.4.4 Erlang distribution........................... 14 2.4.5 Hyperexponential distribution..................... 15 2.4.6 Phase-type distribution......................... 16 2.5 Fitting distributions.............................. 17 2.6 Poisson process................................. 18 2.7 Exercises..................................... 20 3 Queueing models and some fundamental relations 23 3.1 Queueing models and Kendall's notation................... 23 3.2 Occupation rate................................. 25 3.3 Performance measures............................. 25 3.4 Little's law................................... 26 3.5 PASTA property................................ 27 3.6 Exercises..................................... 28 4 M=M=1 queue 29 4.1 Time-dependent behaviour........................... 29 4.2 Limiting behavior...............................
    [Show full text]
  • A Survey on Performance Analysis of Warehouse Carousel Systems
    A Survey on Performance Analysis of Warehouse Carousel Systems N. Litvak∗, M. Vlasiou∗∗ August 6, 2018 ∗ Faculty of Electrical Engineering, Mathematics and Computer Science, Department of Applied Mathematics, University of Twente, 7500 AE Enschede, The Netherlands. ∗∗ Eurandom and Department of Mathematics & Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven, The Netherlands. [email protected], [email protected] Abstract This paper gives an overview of recent research on the performance evaluation and design of carousel systems. We discuss picking strategies for problems involving one carousel, consider the throughput of the system for problems involving two carousels, give an overview of related problems in this area, and present an extensive literature review. Emphasis has been given on future research directions in this area. Keywords: order picking, carousels systems, travel time, throughput AMS Subject Classification: 90B05, 90B15 1 Introduction A carousel is an automated storage and retrieval system, widely used in modern warehouses. It consists of a number of shelves or drawers, which are linked together and are rotating in a closed loop. It is operated by a picker (human or robotic) that has a fixed position in front of the carousel. A typical vertical carousel is given in Figure1. arXiv:1404.5591v1 [math.PR] 22 Apr 2014 Carousels are widely used for storage and retrieval of small and medium-sized items, such as health and beauty products, repair parts of boilers for space heating, parts of vacuum cleaners and sewing machines, books, shoes and many other goods. In e-commerce companies use carousel to store small items and manage small individual orders.
    [Show full text]
  • Queueing-Theoretic End-To-End Latency Modeling of Future Wireless Networks Schulz
    Queueing-Theoretic End-to-End Latency Modeling of Future Wireless Networks Schulz Technische Universität Dresden Queueing-Theoretic End-to-End Latency Modeling of Future Wireless Networks Philipp Schulz der Fakultät Elektrotechnik und Informationstechnik der Technischen Universität Dresden zur Erlangung des akademischen Grades Doktoringenieur (Dr.-Ing.) genehmigte Dissertation Vorsitzender: Prof. Dr.-Ing. habil. Leon Urbas Gutachter: Prof. Dr.-Ing. Dr. h.c. Gerhard Fettweis Univ. Prof. Dr. techn. Markus Rupp Tag der Einreichung: 01. Oktober 2019 Tag der Verteidigung: 13. Januar 2020 Philipp Schulz Queueing-Theoretic End-to-End Latency Modeling of Future Wireless Networks Dissertation, 13. Januar 2020 Vodafone Chair Mobile Communications Systems Institut für Nachrichtentechnik Fakultät Elektrotechnik und Informationstechnik Technische Universität Dresden 01062 Dresden Abstract The fifth generation (5G) of mobile communication networks is envisioned to enable a variety of novel applications. These applications demand requirements from the network, which are diverse and challenging. Consequently, the mobile network has to be not only capable to meet the demands of one of these appli- cations, but also be flexible enough that it can be tailored to different needs of various services. Among these new applications, there are use cases that require low latency as well as an ultra-high reliability, e. g., to ensure unobstructed pro- duction in factory automation or road safety for (autonomous) transportation. In these domains, the requirements are crucial, since violating them may lead to financial or even human damage. Hence, an ultra-low probability of failure is necessary. Based on this, two major questions arise that are the motivation for this thesis. First, how can ultra-low failure probabilities be evaluated, since experiments or simulations would require a tremendous number of runs and, thus, turn out to be infeasible.
    [Show full text]
  • Lindley-Type Recursions THOMAS STIELTJES INSTITUTE for MATHEMATICS
    Lindley-type recursions THOMAS STIELTJES INSTITUTE FOR MATHEMATICS CIP-DATA LIBRARY TECHNISCHE UNIVERSITEIT EINDHOVEN c Vlasiou, Maria Lindley-type recursions / by Maria Vlasiou. – Eindhoven: Technische Universiteit Eindhoven, 2006. Proefschrift. – ISBN 90-386-0784-9 – ISBN 978-90-386-0784-9 NUR 919 Subject headings: recurrence relations / queuing theory 2000 Mathematics Subject Classification: 60K20, 60K25, 90B22 Printed by PrintPartners Ipskamp Cover design by Rik Wisman Kindly supported by a full scholarship from the legacy of L. Athanasoula Lindley-type recursions proefschrift ter verkrijging van de graad van doctor aan de Technische Universiteit Eindhoven, op gezag van de Rector Magnificus, prof.dr.ir. C.J. van Duijn, voor een commissie aangewezen door het College voor Promoties in het openbaar te verdedigen op maandag 25 september 2006 om 16.00 uur door Maria Vlasiou geboren te Drama, Griekenland Dit proefschrift is goedgekeurd door de promotoren: prof.dr. J. Wessels en prof.dr.ir. O.J. Boxma Copromotor: dr.ir. I.J.B.F. Adan Acknowledgements The book is finally over and I feel grateful for the faith many people have shown in me throughout all the years I have been studying. This manuscript is the result of a few years of training under the guidance of my supervisor, Ivo Adan. I thank him for his endless patience in his interaction with me, for the fact that he always made time for me and that he constantly stimulated me to keep on learning. Onno Boxma was always available to discuss anything that I would come up with, no matter if it would be the problem that I was stuck with for the past few months, or my opinion on yesterday’s tennis game.
    [Show full text]
  • Mathematical Modelling of End-To-End Packet Delay in Multi
    Mathematical Modelling of End-to-End Packet Delay in Multi-hop Wireless Networks and their Applications to QoS Provisioning A thesis submitted for the degree of Doctor of Philosophy by Yu Chen Communications and Information Systems Research Group Department of Electronic and Electrical Engineering University College London November 2013 Statement of Originality I, Yu Chen confirm that the work presented in this thesis is my own. Where informa- tion has been derived from other sources, I confirm that this has been indicated in the thesis. Signed: Date: 2 “Time is money.” — Benjamin Franklin (1706 – 1790) “Je n’ai pas le temps.” (I do not have time.) — Evariste´ Galois (1811 – 1832) 3 Abstract This thesis addresses the mathematical modelling of end-to-end packet delay for Quality of Service (QoS) provisioning in multi-hop wireless networks. The multi-hop wireless technology increases capacity and coverage in a cost-effective way and it has been standardised in the Fourth-Generation (4G) standards. The effective capacity model approximates end-to-end delay performances, including Com- plementary Cumulative Density Function (CCDF) of delay, average delay and jitter. This model is first tested using Internet traffic trace from a real gigabit Ethernet gateway. The effective capacity model is developed based on single-hop and continuous-time com- munication systems but a multi-hop wireless system is better described to be multi-hop and time-slotted. The thesis extends the effective capacity model by taking multi-hop and time- slotted concepts into account, resulting in two new mathematical models: the multi-hop effec- tive capacity model for multi-hop networks and the Mixed Continuous/Discrete-Time (MCDT) effective capacity model for time-slotted networks.
    [Show full text]
  • Queueing-Theoretic Solution Methods for Models of Parallel and Distributed Systems
    Queueing-Theoretic Solution Methods for Models of Parallel and Distributed Systems Onno Boxmay, Ger Kooley & Zhen Liuz yCWI, P.O. Box 94079, 1090 GB Amsterdam, The Netherlands zINRIA Sophia-Antipolis, B.P. 93, 06902 Sophia-Antipolis, France Abstract This paper aims to give an overview of solution methods for the performance analysis of parallel and distributed systems. After a brief review of some important general solution methods, we discuss key models of parallel and distributed systems, and optimization issues, from the viewpoint of solution methodology. AMS Subject Classification (1991): 60K20, 68M20 Keywords & Phrases: queueing, performance evaluation, parallel systems Note: Supported by the European Grant BRA-QMIPS of CEC DG XIII, the second author is also supported by NFI. This paper appeared also in Performance Evaluation of Parallel and Distributed Systems | Solution Methods, O.J. Boxma and G.M. Koole (eds.), CWI, Amsterdam, 1994 (CWI Tract 105 & 106). 1. Introduction The purpose of this paper is to present a survey of queueing theoretic methods for the quantitative modeling and analysis of parallel and distributed systems. We discuss a number of queueing models that can be viewed as key models for the performance analysis and optimization of parallel and distributed systems. Most of these models are very simple, but display an essential feature of distributed processing. In their simplest form they allow an exact analysis. We explore the possibilities and limitations of existing solution methods for these key models, with the purpose of obtaining insight into the potential of these solution methods for more realistic complex quantitative models. As far as references is concerned, we have restricted ourselves in the text mainly to key references that make a methodological contribution, and to surveys that give the reader further access to the literature; we apologize for any inadvertent omissions.
    [Show full text]
  • View This Volume's Front and Back Matter
    Recent Title s i n This Serie s 137 F . I . Karpelevic h an d A . Ya . Kreinin , Heav y traffi c limit s fo r multiphas e queues . 199 4 136 Masayosh i Miyanishi , Algebrai c geometry . 199 4 135 Masar u Takeuchi , Moder n spherica l functions . 199 4 134 V . V . Prasolov , Problem s an d theorem s i n linea r algebra . 199 4 133 P . I . Naumki n an d I . A . Shishmarev , Nonlinea r nonloca l equation s i n th e theor y o f waves , 199 4 132 Hajim e Urakawa , Calculu s o f variation s an d harmoni c maps . 199 3 131 V . V . Sharko, Function s o n manifolds : Algebrai c an d topologica l aspects . 199 3 130 V . V . Vershinin, Cobordisms an d spectra l sequences . 199 3 129 Mitsu o Morimoto , A n introductio n t o Sato' s hyperfunctions . 199 3 128 V . P . Orevkov, Complexit y o f proof s an d thei r transformation s i n axiomati c theories . 199 3 127 F . L. Zak , Tangent s an d secant s o f algebrai c varieties . 199 3 126 M . L . Agranovskil , Invarian t functio n space s o n homogeneou s manifold s o f Li e group s an d applications. 199 3 125 Masayosh i Nagata , Theor y o f commutativ e fields. 199 3 124 Masahis a Adachi , Embedding s an d immersions . 199 3 123 M . A . Akivi s an d B . A . Rosenfeld , Eli e Cartan (1869-1951) , 199 3 122 Zhan g Guan-Hou , Theory o f entir e an d meromorphi c functions : Deficien t an d asymptoti c values and singula r directions .
    [Show full text]
  • Queueing Systems with Periodic Service
    Queueing systems with periodic service Citation for published version (APA): Eenige, van, M. J. A. (1996). Queueing systems with periodic service. Technische Universiteit Eindhoven. https://doi.org/10.6100/IR465324 DOI: 10.6100/IR465324 Document status and date: Published: 01/01/1996 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.
    [Show full text]
  • Layered Queueing Networks – Performance Modelling, Analysis and Optimisation
    Layered queueing networks : performance modelling, analysis and optimisation Citation for published version (APA): Dorsman, J. L. (2015). Layered queueing networks : performance modelling, analysis and optimisation. Technische Universiteit Eindhoven. https://doi.org/10.6100/IR784295 DOI: 10.6100/IR784295 Document status and date: Published: 01/01/2015 Document Version: Publisher’s PDF, also known as Version of Record (includes final page, issue and volume numbers) Please check the document version of this publication: • A submitted manuscript is the version of the article upon submission and before peer-review. There can be important differences between the submitted version and the official published version of record. People interested in the research are advised to contact the author for the final version of the publication, or visit the DOI to the publisher's website. • The final author version and the galley proof are versions of the publication after peer review. • The final published version features the final layout of the paper including the volume, issue and page numbers. Link to publication General rights Copyright and moral rights for the publications made accessible in the public portal are retained by the authors and/or other copyright owners and it is a condition of accessing publications that users recognise and abide by the legal requirements associated with these rights. • Users may download and print one copy of any publication from the public portal for the purpose of private study or research. • You may not further distribute the material or use it for any profit-making activity or commercial gain • You may freely distribute the URL identifying the publication in the public portal.
    [Show full text]