Scheda programma d'esame
INGEGNERIA DEL TELETRAFFICO
STEFANO GIORDANO
Anno accademico2019/20
CdSINGEGNERIA DELLE TELECOMUNICAZIONI
Codice290II
CFU9
PeriodoSecondo semestre
LinguaItaliano

ModuliSettore/iTipoOreDocente/i
INGEGNERIA DEL TELETRAFFICOING-INF/03LEZIONI80
ROSARIO GIUSEPPE GARROPPO unimap
STEFANO GIORDANO unimap
GREGORIO PROCISSI unimap
LABORATORIO INFORMATICO DI INGEGNERIA DEL TELETRAFFICONNLABORATORI10
ROSARIO GIUSEPPE GARROPPO unimap
Obiettivi di apprendimento
Learning outcomes
Conoscenze

Il modulo presenta i concetti fondamentali relativi alla teoria ed all’ingegneria del traffico nelle reti di telecomunicazioni. Vengono introdotti i processi di Markov a stato discreto (catene) a tempo discreto e a tempo continuo. Viene inoltre presentata la teoria elementare ed intermedia delle code utili alla trattabilità dei modelli fondamentali di sistemi ad attesa e a perdita impiegati per l’analisi di reti a commutazione di pacchetto e di circuito. La trattazione degli indici prestazionali fondamentali viene presentata passando ove necessario a domini trasformati (Laplace, Zeta). Sono infine presentati i teoremi fondamentali per la trattazione di reti di code markoviane aperte e chiuse e le reti di tipo BCMP. Il corso presenta (solo per gli studenti in Ing. delle Telecomunicazioni) inoltre i metodi numerici fondamentali per la trattazione di problemi di analisi delle prestazioni riconducibili a soluzioni basate su approcci markoviani. 

Knowledge

The module presents the fundamental concepts related to traffic theory and engineering in telecommunications networks. Discrete-state Markov processes (chains) are introduced both in discrete and continuous time. The elementary and intermediate theories of queues, useful for the treatability of the basic models of wait and loss systems, are introduced. They will be used used for the stochastic analysis of packet and circuit switched networks. The discussion of the fundamental performance indexes is presented using, where needed, the analysis in a transformed domain (Laplace, Zeta). Furthermore the fundamental theorems for the analysis of open and closed Markovian networks of queues and BCMP type networks are presented. The course presents (only for the students in Telecommunications Engineering) the fundamental numerical methods for the performance analysis of queueing  systems with Markovian tractability.

Modalità di verifica delle conoscenze

La verifica delle conoscenze acquisite avviene mediante prove scritte intermedie che consentono di evitare lo scritto finale e mediante una prova orale

Assessment criteria of knowledge

The assessment of the acquired knowledges take place through intermediate written tests (midterms -that give the student the possibilty to avoid the final written exam) and through an oral final exam.

Capacità

Il corso ha l'ambizione di permettere agli studenti di costruire autonomamente una astrazione matematica trattabile mediante approcci markoviani di sistemi reali a stato discreto. Lo studente acquisisce inoltre le capacità critiche necessarie alla verifica della validità delle ipotesi necessarie all'adozione di modelli Markoviani

Skills

The ambition of the course is to allow students to autonomously construct a mathematical modeling  abstraction of discrete-state real systems that is tractable through Markovian approaches. The student also acquires the critical skills necessary to verify the validity of the hypotheses necessary for the adoption of Markovian models.

Modalità di verifica delle capacità

La verifica delle capacità è ottenuta mediante prove scritte intermedie e la prova orale

Assessment criteria of skills

Skills assessment is obtained through intermediate written tests and the final oral exam.

Comportamenti

Il corso ha l'obiettivo di modificare il comportamento "passivo" in cui lo studente adotta alcuni modelli matematici senza verificare prima la validità delle ipotesi necessarie all'impiego di certe astrazioni. Il corso ha inoltre lo scopo di evitare che lo studente assuma modelli imposti a priori.

Behaviors

The course aims to modify the "passive" behavior in which the student adopts some mathematical models without first verifying the validity of the hypotheses necessary for the use of certain abstractions and being able to build their own mathematical models.

Modalità di verifica dei comportamenti

La verifica del comportamento critico nell'adozione dei modelli viene verificato in occasione della prova orale ma anche durante il corso, sia nell'ambito delle lezioni teoriche che delle esercitazioni teoriche e degli sviluppi MATLAB (solo per gli studenti di Ing. delle Telecomunicazioni).

Assessment criteria of behaviors

The assessment of the critical behavior in the adoption of the models is verified during the oral test but also during the course, both in theoretical lessons and exercises. This is also reiforced by the  developments of MATLAB programming (only for the students of Telecommunications Engineering).

Prerequisiti (conoscenze iniziali)

Sono prerequisiti iniziali la teoria delle probabilità, dei fenomeni aleatori e l'impiego delle trasformate Z e di Laplace

Prerequisites

Prerequisites are the theory of probabilities, random processes and the use of Z and Laplace transforms.

Corequisiti

Sono auspicabili conoscenze pregresse sui Sistemi Lineari Invarianti alle traslazioni.

Co-requisites

It is desiderabile a prior knowledge on linear time invariant systems.

Prerequisiti per studi successivi

L’approfondimento della disciplina si sviluppa inoltre tramite conoscenze di base di ricerca operativa e strumenti di ottimizzazione.

Prerequisites for further study

The deepening of the discipline also develops through basic knowledge of operational research and optimization.

Indicazioni metodologiche

Il corso dal punto di vista metodologico intende stimolare un approccio Active Learning in cui dalle conoscenze fondamentali di alcuni strumenti matematici lo studente possa ottenere, ove possano essere applicati degli strumenti per la valutazione delle prestazioni dei sistemi per via analitica utili a stimolare nuove capacità di sintesi "ragionata" di sistemi anche complessi.

Teaching methods

From a methodological point of view, the course aims to stimulate an Active Learning approach in which from the fundamental knowledge of some mathematical tools the student can jurge, where some mathematical tools can be applied for the performance of stochastical systems. This is aimed to the strainghtening of rational/“reasoned” synthesis skills to be applied to the design of complex systems.

Programma (contenuti dell'insegnamento)

1) Processi di Markov a stato discreto a. Processi di Markov a stato discreto e tempo discreto (Catene di Markov) b. Processi di Markov a stato discreto e tempo continuo   2) Processi puntuali a. Processi di sola nascita e di sola morte b. Processo di Bernoulli a tempo continuo e tempo discreto c. Processo di Poisson   3) Processi di nascita e morte a. Condizioni di ergodicità b. Valutazione dei momenti di primo e secondo ordine   4) Generalità sull'analisi del traffico in rete a. Modelli stocastici b. Modelli deterministici c. Non stazionarietà del traffico. Definizioni TCBH, ADPH   5) Code Markoviane a. notazione di Kendall; Geo/Geo/1, M/M/Ns, M/M/Ns/0, M/M/1/Nw; b. Formula B di Erlang, Formula C di Erlang, Formula di Engset. c. Problemi e relative soluzioni per il calcolo numerico delle formule Erlang B e Erlang C.   (Solo Ing. delle Telecomunicazioni) Sviluppo di funzioni MATLAB per il calcolo delle probabilità di perdita in code M/M/1/Ns e M/M/Ns/Nw. Soluzione mediante MATLAB di sistemi a coda M/Cox2/1/Nw, M/H2/1/Nw e M/E2/1/Nw. d. Approccio Matrix-Geometric per la soluzione di Catene di Markov descritte da matrici di Hessenberg a blocchi. Applicazione dell'approccio Matrix-Geometric per lo studio di sistemi a coda M/Cox2/1.   6) Code non Markoviane: a. La trattazione di una semplice coda non markoviana: la coda M/G/1; b. la catena di Markov immersa; analisi della coda in regime asintotico. c. Code M/G/1 con classi di utenza e con priorità   7) Reti di code: a. Reti di code markoviane aperte e chiuse. Reti di code acicliche. b. Teorema di Burke. Teorema di Jackson. c. Teorema di Gordon-Newell. d. Algoritmo della convoluzione e approccio Mean Value Analysis per la soluzione delle reti di code di Gordon-Newell. e. Reti di code BCMP. Indici prestazionali in reti di code markoviane chiuse e BCMP.   (Solo Ing. delle Telecomunicazioni) Sviluppo di funzioni MATLAB per il calcolo delle probabilità di perdita in code M/M/1/Ns e M/M/Ns/Nw. Soluzione mediante MATLAB di sistemi a coda M/Cox2/1/Nw, M/H2/1/Nw e M/E2/1/Nw. d. Approccio Matrix-Geometric per la soluzione di Catene di Markov descritte da matrici di Hessenberg a blocchi. Applicazione dell'approccio Matrix-Geometric per lo studio di sistemi a coda M/Cox2/1. Tecniche numeriche per la soluzione di catene di Markov a. Librerie Matfun e Stats di MATLAB. Generazione di osservazioni di vv.aa. Di Erlang k, iperesponenziale, ipoesponenziale e di Coxn. Grafico quantile-quantile. Decomposizione agli autovalori per il calcolo del transitorio in Catene di Markov. C. Metodi diretti per il calcolo delle probabilità asintotiche di stato di Catene di Markov.

Syllabus

1) Markov processes in discrete state a. Discrete-state Markov processes and discrete time Markov chains b. Discrete-state Markov processes and continuous time 2) Punctual processes a. Pure birth  and pure death Processes b. Bernoulli process with continuous time and discrete time c. Poisson Process 3) Birth and death processes a. Ergodicity conditions b. Evaluation of first and second order momentums 4) Basics on network traffic analysis a. Stochastic models b. Deterministic models c. Not stationary traffic. Definitions TCBH, ADPH 5) Markovian Queues a. Kendall notation; Geo / Geo / 1, M / M / Ns, M / M / Ns / 0, M / M / 1 / Nw; b. Formula B of Erlang, Formula C of Erlang, Formula of Engset. c. Problems and relative solutions for the numerical calculation of the Erlang B and Erlang C formulas.

(Telecommunications Eng. only - Development of MATLAB functions for the calculation of the probability of loss in M / M / 1 / Ns and M / M / Ns / Nw queues. Solution using MATLAB of M / Cox2 / 1 / Nw, M / H2 / 1 / Nw and M / E2 / 1 / Nw queuing systems. d. Matrix-Geometric approach for the solution of Markov chains described by Hessenberg block matrices. Application of the Matrix-Geometric approach for the study of M / Cox2 / 1 queueing systems).

6) Non-Markovian Code: a. The treatment of a simple non-Markovian queue: the M / G / 1 queue; b. the embedded Markov chain; queueing  analysis in asymptotic regime. c. M / G / 1 queues with user classes and priorities  7) networks of queues a. Open and closed Markovian networks of queues. Open Networks of queues. b. Burke theorem. Queues with feedback. Jackson theorem. c. Closed markovian networks of queues. Gordon-Newell theorem.

7) BCMP queueing networks. 

(Only for the Telecommunication Engineering students) a -  Mean Value Analysis approach for the solution of Gordon-Newell's queueing networks. is. Performance indexes in closed Markovian and BCMP queue networks. Development of MATLAB functions for the calculation of the probability of loss in  M / M / 1 / Ns and M / M / Ns / Nw queues. Solution using MATLAB of M / Cox2 / 1 / Nw, M / H2 / 1 / Nw and M / E2 / 1 / Nw queueing systems. d. Matrix-Geometric approach for the solution of Markov chains described by Hessenberg block matrices. Application of the Matrix-Geometric approach for the study of M / Cox2 / 1 tail systems. Numerical techniques for the solution of Markov chains a. MATLAB Matfun and Stats libraries. Generation of samples of random variables Of Erlang k, hyper-exponential, hypo-exponential and Coxn. Quantile-quantile graph. Eigenvalue decomposition for the calculation of the transient in Markov chains. C. Direct methods for the calculation of asymptotic probabilities of Markov Chain status.

Bibliografia e materiale didattico

L. Kleinrock QUEUEING SYSTEMS Vol.1 Theory Wiley Interscience 1975

Stefano Giordano Registrazione di tutte le lezioni in italiano ed in inglese

Stefano Giordano Dispense delle Lezioni

Gregorio Procissi Dispense delle Esercitazioni

Rosario G. Garroppo Tecniche Numeriche per la soluzione di problemi di ingegneria del teletraffico

Bibliography

L. Kleinrock QUEUEING SYSTEMS Vol.1 Theory Wiley Interscience 1975

Stefano Giordano Live Recording of all lessons in English (recording of al the lectures in Italian is also available)

Stefano Giordano Lecture notes on the theoretical part

Gregorio Procissi Lecture notes on the exercises

Rosario G. Garroppo Numerical Techniques for the solution of problems of engineering of teletraffic

Indicazioni per non frequentanti

E' possibile seguire tutte le lezioni teoriche in lingua italiana o inglese mediante l'accesso alla piattaforma Moodle. Questo non intende disincentivare la presenza degli studenti a lezione ed l'aspetto relativo all'apprendimento cooperativo ed alla co-costruzione di conoscenze e competenze.

Modalità d'esame

Prova scritta della durata di 2 ore dove vengono proposti 2 o 3 esercizi. L'esame scritto è superato se la valutazione è superiore a 18/30  

La prova scritta è inoltre considerata superata se si ottiene la sufficienza (18/30) nella media ottenuta su due prove intermedie (midterm) della durata di 2 ore proposti agli studenti durante il semestre  

(Solo per gli ingegneri delle telecomunicazioni)

Prova pratica della durata di 2 ore dove viene richiesto lo sviluppo di una funzione MATLAB per la soluzione di un problema di Ing. del Teletraffico. La prova si considera superata se lo studente ottiene un giudizio almeno sufficiente 18/30.

Prova orale

Assessment methods

Written exam is organised in 2 or 3 exercises that have to be solved in 2 hours . The written exam is passed if the evaluation is higher than 18/30

The written test is also considered passed if the sufficiency (18/30) is obtained in the average obtained on two intermediate tests (midterm) lasting 2 hours proposed to the students during each semester

(Only for telecommunications engineers

Practical test lasting 2 hours where the development of a MATLAB function is required for the solution of a problem of Teletraffic Engineering. The test is considered passed if the student obtains a judgment at least 18/30.)

Oral exam

Stage e tirocini

I contenuti del corso favoriscono il reclutamento degli studenti nell’ambito di stage e tirocini presso operatori o fornitori di servizi in ambito ICT

Work placement

I contenuti del corso favoriscono il reclutamento degli studenti nell’ambito di stage e tirocini presso operatori o fornitori di servizi in ambito ICT

Course contents favour the recruitment of students in stages / Internship at telecommunication operators or ICT service providers 

Pagina web del corso

http://elearn.ing.unipi.it

Ultimo aggiornamento 24/08/2019 20:04