matematica del traffico ferroviario · 2020-05-28 · introduzione rmafore un treno deadlocks...
TRANSCRIPT
![Page 1: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/1.jpg)
Introduzione Formare un treno Deadlocks
Matematica del Tra�co Ferroviario
Dal Sasso Veronica
27/05/2020
![Page 2: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/2.jpg)
Introduzione Formare un treno Deadlocks
Matematicae treni
Gestione
in tempo
reale
Dispatching
Identi�cazione
di piani
non validi
CoincidenzePiani�cazione
Orario
Routing
Formazione
treni•Optrail
•Dal Sasso, DeGiovanni, Labbé
•Optrail
•Optrail
![Page 3: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/3.jpg)
Introduzione Formare un treno Deadlocks
Cos'è la Ricerca Operativa?
è una branca della matematica applicata
trova la soluzione migliore possibile ad un problema
è tutta attorno a voi, anche se non ve ne accorgete (GoogleMaps! la spesa a domicilio che arriva all'ora stabilita! )
![Page 4: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/4.jpg)
Introduzione Formare un treno Deadlocks
Metodologia
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
![Page 5: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/5.jpg)
Introduzione Formare un treno Deadlocks
Come scegliere con quali vagoni formare un treno
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
Un venditore manda ad una acciaieriavagoni di carbone e ferro. Li puòtrasportare con un solo treno.
ci sono 8 vagoni di carbone a disposizione delvenditore,
per lavorare 1 vagone di ferro ho bisogno di 2 vagoni dicarbone
l'acciaieria è interessata a comperare più ferro possibile,se può anche comperare il carbone per lavorarlo
l'acciaieria ha già 9 vagoni di carbone
la motrice del treno può trasportare al massimo 12vagoni
Il venditore guadagna 100$ per ognivagone di carbone venduto e 200$ perogni vagone di ferro. Come sarà formatoil treno, per massimizzare il pro�tto delvenditore?
![Page 6: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/6.jpg)
Introduzione Formare un treno Deadlocks
Le incognite del problema
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
Quali sono le variabili?
numero di vagoni di carbone (x)
numero di vagoni di ferro (y)
Qual è il dominio delle variabili?
l'insieme dei numeri interi positivi
![Page 7: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/7.jpg)
Introduzione Formare un treno Deadlocks
Programmazione lineare intera
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
Aaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
max 100x + 200y
s.t.
x + 9 ≥ 2y
x , y ∈ N+
![Page 8: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/8.jpg)
Introduzione Formare un treno Deadlocks
Programmazione lineare intera
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
Ci sono 8 vagoni di carbone adisposizione del venditoreaaaaaaaaaaaaaaaaaa
max 100x + 200y
s.t. x ≤ 8
x + 9 ≥ 2y
x , y ∈ N+
![Page 9: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/9.jpg)
Introduzione Formare un treno Deadlocks
Programmazione lineare intera
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
Per lavorare 1 vagone di ferro hobisogno di 2 vagoni di carbone el'acciaieria ha già 9 vagoni di carbone
max 100x + 200y
s.t. x ≤ 8
x + 9 ≥ 2y
x , y ∈ N+
![Page 10: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/10.jpg)
Introduzione Formare un treno Deadlocks
Programmazione lineare intera
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
La motrice del treno può trasportareal massimo 12 vagoniaaaaaaaaaaaaaaaaaa
max 100x + 200y
s.t. x ≤ 8
x + 9 ≥ 2y
x + y ≤ 12
x , y ∈ N+
![Page 11: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/11.jpg)
Introduzione Formare un treno Deadlocks
Programmazione lineare intera
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
Massimizziamo il guadagnoaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaaa
max 100x + 200y
s.t. x ≤ 8
x + 9 ≥ 2y
x + y ≤ 12
x , y ∈ N+
![Page 12: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/12.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
x
![Page 13: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/13.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
xx ≤ 8
![Page 14: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/14.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
xx ≤ 8
![Page 15: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/15.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
xx ≤ 8
x +9 ≥
2y
![Page 16: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/16.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
xx ≤ 8
x +9 ≥
2y
![Page 17: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/17.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
xx ≤ 8
x +9 ≥
2yx+y ≤
12
![Page 18: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/18.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
xx ≤ 8
x +9 ≥
2yx+y ≤
12
![Page 19: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/19.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
x
![Page 20: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/20.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
x
(2, 5)
100x + 200y = 1200
![Page 21: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/21.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
x
100x + 200y = 1600
![Page 22: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/22.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
x
100x + 200y = 2400
![Page 23: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/23.jpg)
Introduzione Formare un treno Deadlocks
Risoluzione gra�ca
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
x +9 ≥
2y
y
x
100x + 200y = 1900
(5, 7)
![Page 24: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/24.jpg)
Introduzione Formare un treno Deadlocks
Abbiamo la soluzione!
Problema
Traduzione in lin-guaggio matematico
Modello
Risoluzione
Risposta al problema
Il venditore formerà il treno con:
5 vagoni di carbone,
7 vagoni di ferro,
per un pro�tto totale di 1900$.
![Page 25: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/25.jpg)
Introduzione Formare un treno Deadlocks
E se l'acciaieria avesse avuto
solo 8 vagonidi carbone in rimanenza?
![Page 26: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/26.jpg)
Introduzione Formare un treno Deadlocks
Piani di taglio
x +8 ≥
2y
y
xx = 8
x +8 ≥
2yx+y ≤
12
(20/3, 16/3)
![Page 27: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/27.jpg)
Introduzione Formare un treno Deadlocks
Piani di taglio
x +8 ≥
2y
y
x
aggiungiamodisequazioni perdescrivere meglio laregione ammissibile
i vertici sono di nuovotutti interi
! Non sono semprefacili da individuare
![Page 28: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/28.jpg)
Introduzione Formare un treno Deadlocks
Piani di taglio
x +8 ≥
2y
y
x
y ≤ 6
aggiungiamodisequazioni perdescrivere meglio laregione ammissibile
i vertici sono di nuovotutti interi
! Non sono semprefacili da individuare
![Page 29: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/29.jpg)
Introduzione Formare un treno Deadlocks
Piani di taglio
x +8 ≥
2y
y
x
(6, 6)
aggiungiamodisequazioni perdescrivere meglio laregione ammissibile
i vertici sono di nuovotutti interi
! Non sono semprefacili da individuare
![Page 30: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/30.jpg)
Introduzione Formare un treno Deadlocks
Branch-and-bound
x +8 ≥
2y
y
xx = 8
x +8 ≥
2yx+y ≤
12
(20/3, 16/3)Branch-and-bound:
dividiamo insottoproblemi
troviamo la soluzionedi ogni sottoproblemae prendiamo lamigliore
![Page 31: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/31.jpg)
Introduzione Formare un treno Deadlocks
Branch-and-bound
x +8 ≥
2y
y
x
x ≤ 5 x ≥ 6
Branch-and-bound:
dividiamo insottoproblemi
troviamo la soluzionedi ogni sottoproblemae prendiamo lamigliore
![Page 32: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/32.jpg)
Introduzione Formare un treno Deadlocks
Branch-and-bound
x +8 ≥
2y
y
x
Branch-and-bound:
dividiamo insottoproblemi
troviamo la soluzionedi ogni sottoproblemae prendiamo lamigliore
![Page 33: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/33.jpg)
Introduzione Formare un treno Deadlocks
Branch-and-bound
x +8 ≥
2y
y
x
y ≤ 6
y ≥ 7
Branch-and-bound:
dividiamo insottoproblemi
troviamo la soluzionedi ogni sottoproblemae prendiamo lamigliore
![Page 34: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/34.jpg)
Introduzione Formare un treno Deadlocks
Branch-and-bound
x +8 ≥
2y
y
x
Branch-and-bound:
dividiamo insottoproblemi
troviamo la soluzionedi ogni sottoproblemae prendiamo lamigliore
![Page 35: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/35.jpg)
Introduzione Formare un treno Deadlocks
Branch-and-bound
x +8 ≥
2y
y
x
(6, 6)
Branch-and-bound:
dividiamo insottoproblemi
troviamo la soluzionedi ogni sottoproblemae prendiamo lamigliore
![Page 36: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/36.jpg)
Introduzione Formare un treno Deadlocks
Gestione in tempo reale
![Page 37: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/37.jpg)
Introduzione Formare un treno Deadlocks
Cosa sono i deadlocks
Deadlock: un insieme di treni si trova in deadlock se nessun trenopuò continuare il suo percorso, a meno che uno degli altri treni nonvenga prima tirato indietro.
![Page 38: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/38.jpg)
Introduzione Formare un treno Deadlocks
Cosa sono i deadlocks
Deadlock: un insieme di treni si trova in deadlock se nessun trenopuò continuare il suo percorso, a meno che uno degli altri treni nonvenga prima tirato indietro.
![Page 39: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/39.jpg)
Introduzione Formare un treno Deadlocks
Come individuare i deadlocks
Partiamo sempre da un piano senza deadlocks.Cosa succede?
si veri�cano eventi inattesi,
i dispatchers possono decidere di modi�care i percorsi dei treni.
"Ma c'è un deadlock?"
Se riesco a trovare una sequenza di mossevalide, la risposta è no!
![Page 40: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/40.jpg)
Introduzione Formare un treno Deadlocks
Come individuare i deadlocks
Partiamo sempre da un piano senza deadlocks.Cosa succede?
si veri�cano eventi inattesi,
i dispatchers possono decidere di modi�care i percorsi dei treni.
"Ma c'è un deadlock?"
Se riesco a trovare una sequenza di mossevalide, la risposta è no!
![Page 41: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/41.jpg)
Introduzione Formare un treno Deadlocks
Come individuare i deadlocks
Partiamo sempre da un piano senza deadlocks.Cosa succede?
si veri�cano eventi inattesi,
i dispatchers possono decidere di modi�care i percorsi dei treni.
"Ma c'è un deadlock?"
Se riesco a trovare una sequenza di mossevalide, la risposta è no!
![Page 42: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/42.jpg)
Introduzione Formare un treno Deadlocks
Come individuare i deadlocks
Partiamo sempre da un piano senza deadlocks.Cosa succede?
si veri�cano eventi inattesi,
i dispatchers possono decidere di modi�care i percorsi dei treni.
"Ma c'è un deadlock?"
Se riesco a trovare una sequenza di mossevalide, la risposta è no!
![Page 43: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/43.jpg)
Introduzione Formare un treno Deadlocks
Come individuare i deadlocks
Partiamo sempre da un piano senza deadlocks.Cosa succede?
si veri�cano eventi inattesi,
i dispatchers possono decidere di modi�care i percorsi dei treni.
"Ma c'è un deadlock?"
Se riesco a trovare una sequenza di mossevalide, la risposta è no!
![Page 44: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/44.jpg)
Introduzione Formare un treno Deadlocks
Come individuare i deadlocks
Partiamo sempre da un piano senza deadlocks.Cosa succede?
si veri�cano eventi inattesi,
i dispatchers possono decidere di modi�care i percorsi dei treni.
"Ma c'è un deadlock?"
Se riesco a trovare una sequenza di mossevalide, la risposta è no!
![Page 45: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/45.jpg)
Introduzione Formare un treno Deadlocks
Come individuare i deadlocks
Partiamo sempre da un piano senza deadlocks.Cosa succede?
si veri�cano eventi inattesi,
i dispatchers possono decidere di modi�care i percorsi dei treni.
"Ma c'è un deadlock?"
Se riesco a trovare una sequenza di mossevalide, la risposta è no!
![Page 46: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/46.jpg)
Introduzione Formare un treno Deadlocks
Come individuare i deadlocks
Partiamo sempre da un piano senza deadlocks.Cosa succede?
si veri�cano eventi inattesi,
i dispatchers possono decidere di modi�care i percorsi dei treni.
"Ma c'è un deadlock?"
Se riesco a trovare una sequenza di mossevalide, la risposta è no!
![Page 47: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/47.jpg)
Introduzione Formare un treno Deadlocks
Variabili (binarie 0/1)
xt,r ,i : dove si trova la locomotiva del treno t all'istante i
yt,r ,i : altri binari occupati dai vagoni del treno
1
2
3 4
5
6 7
8
9 10
11
12 13
Locomotiva del treno:istante 1 2 3 4 5 6 7 8 9 10 11 12 13
1 0 0 0 1 0 0 0 0 0 0 0 0 02 0 0 0 0 0 1 0 0 0 0 0 0 0
Vagoni del treno:istante 1 2 3 4 5 6 7 8 9 10 11 12 13
1 0 0 1 0 0 0 0 0 0 0 0 0 02 0 0 0 1 0 0 0 0 0 0 0 0 0
![Page 48: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/48.jpg)
Introduzione Formare un treno Deadlocks
Variabili (binarie 0/1)
x1,4,1 : dove si trova la locomotiva del treno 1 all'istante 1
yt,r ,i : altri binari occupati dai vagoni del treno
1
2
3 4
5
6 7
8
9 10
11
12 13
Locomotiva del treno:istante 1 2 3 4 5 6 7 8 9 10 11 12 13
1 0 0 0 1 0 0 0 0 0 0 0 0 02 0 0 0 0 0 1 0 0 0 0 0 0 0
Vagoni del treno:istante 1 2 3 4 5 6 7 8 9 10 11 12 13
1 0 0 1 0 0 0 0 0 0 0 0 0 02 0 0 0 1 0 0 0 0 0 0 0 0 0
![Page 49: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/49.jpg)
Introduzione Formare un treno Deadlocks
Variabili (binarie 0/1)
xt,r ,i : dove si trova la locomotiva del treno t all'istante i
yt,r ,i : altri binari occupati dai vagoni del treno
1
2
3 4
5
6 7
8
9 10
11
12 13
Locomotiva del treno:istante 1 2 3 4 5 6 7 8 9 10 11 12 13
1 0 0 0 1 0 0 0 0 0 0 0 0 02 0 0 0 0 0 1 0 0 0 0 0 0 0
Vagoni del treno:istante 1 2 3 4 5 6 7 8 9 10 11 12 13
1 0 0 1 0 0 0 0 0 0 0 0 0 02 0 0 0 1 0 0 0 0 0 0 0 0 0
![Page 50: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/50.jpg)
Introduzione Formare un treno Deadlocks
Variabili (binarie 0/1)
xt,r ,i : dove si trova la locomotiva del treno t all'istante i
yt,r ,i : altri binari occupati dai vagoni del treno
1
2
3 4
5
6 7
8
9 10
11
12 13
Locomotiva del treno:istante 1 2 3 4 5 6 7 8 9 10 11 12 13
1 0 0 0 1 0 0 0 0 0 0 0 0 02 0 0 0 0 0 1 0 0 0 0 0 0 0
Vagoni del treno:istante 1 2 3 4 5 6 7 8 9 10 11 12 13
1 0 0 1 0 0 0 0 0 0 0 0 0 02 0 0 0 1 0 0 0 0 0 0 0 0 0
![Page 51: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/51.jpg)
Introduzione Formare un treno Deadlocks
Vincoli
Posizione iniziale all'istante 0:
x1,4,0 = 1,
x2,10,0 = 1,
y1,3,0 = 1
Posizione �nale (8 istanti totali):
x1,13,8 + x1,4,8 = 1,
x2,1,8 + x2,10,8 = 1
1
2
3 4
5
6 7
8
9 10
11
12 13
![Page 52: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/52.jpg)
Introduzione Formare un treno Deadlocks
Vincoli
Al massimo un solo treno su ogni risorsa r e istante i :
x1,7,3 + x2,7,3 ≤ 1
Ad ogni istante i , la locomotiva del treno si trova in un posto solo:
x1,1,2 + x1,2,2 + x1,3,2 + x1,4,2 + x1,5,2 + x1,6,2 + x1,7,2 + x1,8,2 +x1,9,2 + x1,10,2 + x1,11,2 + x1,12,2 + x1,13,2 = 1
1
2
3 4
5
6 7
8
9 10
11
12 13
![Page 53: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/53.jpg)
Introduzione Formare un treno Deadlocks
Vincoli
Al massimo un solo treno su ogni risorsa r e istante i :
x1,7,3 + y1,7,3 + x2,7,3 + y2,7,3 ≤ 1
Ad ogni istante i , la locomotiva del treno si trova in un posto solo:
x1,1,2 + x1,2,2 + x1,3,2 + x1,4,2 + x1,5,2 + x1,6,2 + x1,7,2 + x1,8,2 +x1,9,2 + x1,10,2 + x1,11,2 + x1,12,2 + x1,13,2 = 1
1
2
3 4
5
6 7
8
9 10
11
12 13
![Page 54: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/54.jpg)
Introduzione Formare un treno Deadlocks
Vincoli
Al massimo un solo treno su ogni risorsa r e istante i :
x1,r ,i + y1,r ,i + x2,r ,i + y2,r ,i ≤ 1
Ad ogni istante i , la locomotiva del treno si trova in un posto solo:
x1,1,2 + x1,2,2 + x1,3,2 + x1,4,2 + x1,5,2 + x1,6,2 + x1,7,2 + x1,8,2 +x1,9,2 + x1,10,2 + x1,11,2 + x1,12,2 + x1,13,2 = 1
1
2
3 4
5
6 7
8
9 10
11
12 13
![Page 55: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/55.jpg)
Introduzione Formare un treno Deadlocks
Vincoli
Al massimo un solo treno su ogni risorsa r e istante i :
x1,r ,i + y1,r ,i + x2,r ,i + y2,r ,i ≤ 1
Ad ogni istante i , la locomotiva del treno si trova in un posto solo:∑13
r=1xt,r ,i = 1
i
1
2
3 4
5
6 7
8
9 10
11
12 13
![Page 56: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/56.jpg)
Introduzione Formare un treno Deadlocks
Vincoli
Avanzamento delle locomotive:
x1,4,1 ≤ x1,4,2 + x1,5,2 + x1,6,2
x2,7,2 + y2,7,2 ≤ 1− x1,7,3
Occupazione dei binari da parte dei vagoni:
basata sulle lunghezze dei treni
x1,5,4 ≤ y1,4,4
1
2
3 4
5
6 7
8
9 10
11
12 13
![Page 57: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/57.jpg)
Introduzione Formare un treno Deadlocks
Vincoli
Avanzamento delle locomotive:
xt,r ,i ≤ xt,r ,i+1 +∑
sseguenti xt,s,i+1
x2,7,2 + y2,7,2 ≤ 1− x1,7,3
Occupazione dei binari da parte dei vagoni:
basata sulle lunghezze dei treni
x1,5,4 ≤ y1,4,4
1
2
3 4
5
6 7
8
9 10
11
12 13
![Page 58: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/58.jpg)
Introduzione Formare un treno Deadlocks
Vincoli
Avanzamento delle locomotive:
xt,r ,i ≤ xt,r ,i+1 +∑
sseguenti xt,s,i+1
x2,r ,i + y2,r ,i ≤ 1− x1,r ,i+1 e x1,r ,i + y1,r ,i ≤ 1− x2,r ,i+1
Occupazione dei binari da parte dei vagoni:
basata sulle lunghezze dei treni
x1,5,4 ≤ y1,4,4
1
2
3 4
5
6 7
8
9 10
11
12 13
![Page 59: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/59.jpg)
Introduzione Formare un treno Deadlocks
Funzione obiettivo
Scelta preferita: il treno riesce ad attraversare la rete ferroviaria.
Scelta di ripiego: il treno rimane fermo.
max 10x1,13,8 + 10x2,1,8 + x1,4,8 + x2,10,8
1
2
3 4
5
6 7
8
9 10
11
12 13
![Page 60: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/60.jpg)
Introduzione Formare un treno Deadlocks
(2× 13× 9)× 2 = 468 variabili!
Cosa dobbiamo ricordare della risoluzione gra�ca:
la soluzione ottima si trova su un vertice della regioneammissibile
un vertice è la soluzione di un sistema di equazioni lineari
scegliendo diversi sottoinsiemi di equazioni, trovo diversi vertici
Algoritmo del simplesso
![Page 61: Matematica del Traffico Ferroviario · 2020-05-28 · Introduzione rmaFore un treno Deadlocks Matematica del ra coT Ferroviario Dal Sasso Veronica 27/05/2020. Introduzione rmaFore](https://reader034.vdocuments.pub/reader034/viewer/2022042401/5f1014ed7e708231d4475b26/html5/thumbnails/61.jpg)
Introduzione Formare un treno Deadlocks
"Io studio matematica"
Oh che bello! Mi é semprepiaciuta la matematica!
Ah, io la matematica non l'homai capita...