Dalla catalisi all’inibizione della crescita da contatto: le molteplici funzioni di O-acetilserina sulfidrilasi batterica

CysK, uno degli isoenzimi di O-acetilserina sulfidrilasi (OASS) presenti in piante e batteri, è un enzima studiato da molto tempo ed il suo ruolo fisiologico nella sintesi della cisteina è stato ben definito. Recentemente sono state scoperte altre funzioni apparentemente non collegate alla sua funzione enzimatica (moonlighting). Una di queste è l’attivazione di una tossina ad attività tRNAsica, CdiA-CT, coinvolta nel sistema di inibizione della crescita da contatto (CDI) di ceppi patogeni di E. coli. In questo progetto abbiamo studiato il ruolo di CysK nel sistema CDI e la formazione di complessi con due differenti partner proteici: CdiA-CT e CysE (serina acetiltransferasi, l’enzima che catalizza la reazione precedente nella biosintesi della cisteina). I due complessi hanno le stesse caratteristiche spettrofluorimetriche e affinità molto simili, ma la cinetica di raggiungimento dell’equilibrio per il complesso tossina:CysK è più lenta che per il complesso CysE:CysK (cisteina sintasi). In entrambi i casi la formazione veloce di un complesso d’incontro è seguita da un riarrangiamento conformazionale che porta alla formazione di un complesso ad alta affinità. L’efficienza di formazione del complesso cisteina sintasi è circa 200 volte maggiore rispetto al complesso CysK:tossina. Una differenza importante, oltre alla cinetica di formazione dei complessi, è la stechiometria di legame. Infatti mentre CysE riesce a legare solo uno dei due siti attivi del dimero di CysK, nel complesso con CdiA-CT entrambi i siti attivi dell’enzima risultano essere occupati. Le cellule isogeniche esprimono un peptide inibitore della tossina (CdiI), e sono quindi resistenti all’azione tRNAsica. Tuttavia, siccome CdiI non altera la formazione del complesso CdiA-CT:CysK, CdiA-CT può esercitare comunque un ruolo nel metabolismo della cisteina e quindi nella fitness dei batteri isogenici, attraverso il legame e l'inibizione di CysK e la competizione con CysE. La via biosintetica della cisteina, un precursore di molecole riducenti, risulta essere molto importante per i batteri soprattutto in condizioni avverse come all’interno dei macrofagi nelle infezioni persistenti. Perciò questa via metabolica è di interesse per lo sviluppo di nuovi antibiotici, e in particolare le due isoforme dell’OASS negli enterobatteri, CysK e CysM, sono potenziali target per lo sviluppo di nuove molecole ad azione antibatterica. Partendo dall’analisi delle modalità di interazione con CysK del suo partner ed inibitore fisiologico, CysE, si è studiato dapprima l’interazione di pentapeptidi che mimassero la regione C-terminale di quest'ultimo, e in base ai dati ottenuti sono stati sviluppati piccoli ligandi sintetici. La struttura generale di questi composti è costituita da un gruppo acido ed un gruppo lipofilo, separati da un linker ciclopropanico che mantiene questi due gruppi in conformazione trans, ottimale per l’interazione col sito attivo dell’enzima. Sulla base di queste considerazioni, di docking in silico e di dati sperimentali ottenuti con la tecnica dell’STD-NMR e con saggi di binding spettrofluorimetrici, si è potuta realizzare una analisi di relazione struttura-attività che ha portato via via all’ottimizzazione dei ligandi. Il composto più affine che è stato finora ottenuto ha una costante di dissociazione nel range del nanomolare per entrambe le isoforme, ed è un ottimo punto di partenza per lo sviluppo di nuovi farmaci.

Tecnologie per l’analisi in tempo reale di Big Data: prestazioni a confronto

Lo scopo di questo l'elaborato è l'analisi,lo studio e il confronto delle tecnologie per l'analisi in tempo reale di Big Data: Apache Spark Streaming, Apache Storm e Apache Flink. Per eseguire un adeguato confronto si è deciso di realizzare un sistema di rilevamento e riconoscimento facciale all’interno di un video, in maniera da poter parallelizzare le elaborazioni necessarie sfruttando le potenzialità di ogni architettura. Dopo aver realizzato dei prototipi realistici, uno per ogni architettura, si è passati alla fase di testing per misurarne le prestazioni. Attraverso l’impiego di cluster appositamente realizzati in ambiente locale e cloud, sono state misurare le caratteristiche che rappresentavano, meglio di altre, le differenze tra le architetture, cercando di dimostrarne quantitativamente l’efficacia degli algoritmi utilizzati e l’efficienza delle stesse. Si è scelto quindi il massimo input rate sostenibile e la latenza misurate al variare del numero di nodi. In questo modo era possibile osservare la scalabilità di architettura, per analizzarne l’andamento e verificare fino a che limite si potesse giungere per mantenere un compromesso accettabile tra il numero di nodi e l’input rate sostenibile. Gli esperimenti effettuati hanno mostrato che, all’aumentare del numero di worker le prestazioni del sistema migliorano, rendendo i sistemi studiati adatti all’utilizzo su larga scala. Inoltre sono state rilevate sostanziali differenze tra i vari framework, riportando pro e contro di ognuno, cercando di evidenziarne i più idonei al caso di studio.

La contabilizzazione energetica negli edifici residenziali: aspetti tecnico-progettuali e problematiche di ripartizione costi

Nella tesi sono descritte, a valle di una breve disamina normativa, le modalità di contabilizzazione del calore, con particolare riferimento alle tipologie di strumenti ed agli errori di misura ad essi correlati. Viene inoltre analizzata nel dettaglio la normativa tecnica UNI 10200, relativa ai criteri di ripartizione delle spese di climatizzazione invernale ed acqua calda sanitaria negli impianti termici centralizzati. Con la presentazione di un caso di studio viene affrontata l'applicazione della stessa.

Benefici del long route EGR sulla riduzione dei consumi: studio di fattibilità su motore diesel automobilistico

L'EGR (Exhaust Gas Recirculation) è una tecnica comunemente sfruttata per la riduzione delle emissioni. In questo studio sono stati investigati i benefici, in termini di fuel economy, prodotti dall'aggiunta di un circuito EGR long route su un motore diesel per applicazioni automobilistiche dotato di sistema short route. L'indagine è stata svolta su di un modello motore su software GT-Power, adeguatamente calibrato e validato sui dati da piano quotato. Simulazioni sono state svolte al fine di valutare gli effetti del solo LP-EGR sul motore, per poi considerare un funzionamento combinato dai due sistemi di ricircolo (dual loop). Le maggiori portate che per il sistema long route interessano la turbina determinano un incremento nelle contropressioni. Ciò ha portato a considerare la possibilità di modificare il sistema turbo. Il layout originario comprendeva una turbina a geometria fissa (FGT), a cui ne sono stati affiancati due ulteriori con turbina a geometria variabile (VGT). I risultati sono stati analizzati vincolando la produzione di inquinanti ai valori registrati nei punti di calibrazione relativi al layout originale del motore. Effettivo risparmio di combustibile non è stato riscontrato nell'allestimento con turbina FGT a causa delle elevate contropressioni, mentre con turbine VGT è stata registrata una effettiva fuel economy grazie al sistema LP-EGR senza alcun deterioramento nelle emissioni di NOx e PM. I benefici riscontrati con il LP-EGR sono da attribure ad un incremento del rendimento indicato dovuto alla riduzione delle perdite per scambio termico a seguito di una minore temperatura caratterizzante i gas ricircolati.

Sviluppo di metodologie per la generazione automatica di calibrazioni di guidabilità motore e cambio

Il presente progetto ha riguardato lo studio e lo sviluppo di metodologie per la generazione automatica di calibrazioni di guidabilità motore cambio, dove con guidabilità si intende il legame intercorrente tra le richieste del conducente ed il reale comportamento del veicolo. La prima parte della tesi si è concentrata sullo studio delle calibrazioni motore e delle calibrazioni del cambio automatico attualmente sfruttate dai software di produzione, sviluppando un modello di simulazione in grado di verificare come queste calibrazioni influenzino il comportamento del veicolo, concentrandosi sugli andamenti delle accelerazioni e dei regimi motore risultanti. Dopo la validazione del modello, è stato creato uno strumento, in ambiente Matlab, che restituisce la calibrazione di guidabilità del cambio automatico, ovvero la mappa sfruttata dalla relativa centralina per gestire il cambio della marcia, ricevendo in ingresso le seguenti informazioni: le grandezze fisiche del veicolo nel suo complesso, quali la massa, i rapporti di trasmissione, il rapporto del differenziale, il raggio di rotolamento dinamico e tutte le inerzie dei componenti della driveline; le calibrazioni di guidabilità motore, costituite da otto mappe, una per ogni marcia, che definiscono la coppia motrice che si richiede al motore di erogare, in funzione della posizione del pedale acceleratore e del regime motore; il piano quotato del motore. Il codice, note queste informazioni, genera automaticamente la mappa di cambio marcia con le linee di Upshift (marcia innestata crescente) e Downshift (marcia innestata decrescente), in funzione della posizione del pedale e dei giri in uscita dal cambio. Infine, si è valutata una possibile strategia per la calibrazione delle otto mappe pedale con cui viene gestito il controllo motore. Si sono generate mappe a potenza costante in cui il pedale assume la funzione di regolatore di velocità.

Mediatori invisibili: la pratica del Child Language Brokering al centro di aggregazione giovanile “Welcome” di Forlì

Questo lavoro si prefigge di analizzare il fenomeno del Child Language Brokering (CLB), ossia la mediazione linguistica interculturale ad opera di bambini e adolescenti, immigrati o figli di immigrati, che si trovano spesso a tradurre per i genitori, i membri della propria comunità etnica di appartenenza e i rappresentati delle istituzioni locali del paese ospitante. L’obiettivo principale è quello di mettere in luce questo fenomeno, ancora pressoché invisibile e trascurato, sulla scia del progetto In MediO PUER(I) realizzato dall’Università di Bologna. Nel primo capitolo si propone una panoramica sulla situazione migratoria a livello nazionale e internazionale e si traccia un breve excursus sullo stato dell’arte della ricerca in materia di CLB. Nel secondo capitolo, invece, ci si concentra su episodi reali di mediazione a opera di bambini avvenuti nell’ambito del centro “Welcome”, realtà forlivese che opera nell’ambito dell’integrazione, del sociale e dell’educazione. Dopo aver analizzato gli aspetti più peculiari delle interazioni, nel terzo capitolo si illustreranno le conclusioni tratte dall’analisi dei dati presentati, sottolineando maggiormente la necessità di ulteriori approfondimenti del fenomeno del CLB, sia a livello nazionale che internazionale.

Magia e medicina in Burkina Faso. Proposta di traduzione del testo scientifico La médecine des traditions africaines.

Il presente elaborato nasce dalla volontà di far conoscere, attraverso una proposta di traduzione del primo capitolo, il libro del farmacista e traditerapeuta Pascal Nadembega, originario del Burkina Faso. Come indica il titolo stesso, il libro tratta della medicina tradizionale africana, nei suoi aspetti magici e scientifici. Il testo è anche pretesto per tracciare una breve panoramica storica della medicina in Africa, dalle origini al giorno d'oggi, con ostacoli e relative soluzioni appartenenti a ogni epoca. Nella proposta di traduzione si cerca di mantenere lo stile oralizzato tipico del francese delle popolazioni africane, con l'aggiunta di note a piè di pagina per facilitare la comprensione di culturemi. L'analisi del testo di partenza e il commento alla proposta di traduzione si propongono di studiare le difficoltà incontrate durante il processo di traduzione, nonché di metterle in relazione con la natura ibrida dell'argomento trattato dall'autore.

Valutazione del Beta Carba test per il rapido rilevamento di enterobatteri produttori di carbapenemasi (CPE)

L’antibiotico resistenza negli enterobatteri produttori di carbapenemasi (CPE) rappresenta una problematica emergente in sanità pubblica, dato che le opzioni alternative per il trattamento di pazienti infetti sono limitate. L’andamento epidemiologico di CPE a livello globale appare ad oggi molto variegato con differenze significative tra paesi. In Italia la diffusione di K. pneumoniae produttrice di KPC è endemica ed è stimata essere un terzo (32,9%) delle infezioni invasive (sangue e liquor) da K. pneumoniae. Pertanto, diventa indispensabile implementare gli studi di farmaco-resistenza per valutare e ridurre il potenziale di crescita di tali microrganismi. Questo studio presenta come fine la valutazione del Beta Carba test, metodo cromogeno, per il rapido rilevamento di CPE in confronto con il metodo standard di riferimento. Lo studio è stato svolto presso l’U.O. Microbiologia AUSL della Romagna ed è di natura retrospettiva, di tipo esclusivamente qualitativo. Sono stati analizzati 412 campioni completamente anonimizzati: 50 emocolture, 250 urine e 112 tamponi rettali di sorveglianza. La valutazione del test è stata condotta sia direttamente a partire dalle matrici biologiche (emocolture e urinocolture positive) che dalle colonie isolate di CPE da tamponi rettali di sorveglianza, urine o emocolture. I risultati sperimentali ottenuti in vitro con il β Carba, mostrano una totale concordanza con i metodi sia fenotipici che genotipici utilizzati come riferimento: sono state ottenute sensibilità e specificità del 100%. Inoltre, a favore del test si inserisce il parametro fondamentale della rapidità, consentendo quindi una celere rilevazione di CPE direttamente su campioni clinici con un tempo di risposta piuttosto veloce e affidabile pari a 15-30 minuti. In definitiva, grazie alla performance dimostrata in vitro, il test può rappresentare un valido strumento per arginare e limitare lo spreading di CPE, svolgendo un buon ruolo nella gestione dei pazienti infetti.

Modello di simulazione del processo di gestione ordini e di outbound in linguaggio Arena

La tesi ha l'obiettivo di analizzare e tradurre in un modello di simulazione il processo di evasione di ordini dal sito di stoccaggio di un’azienda di e-commerce al fine di valutarne le possibili evoluzioni. In prima analisi sono stati evidenziati i principali motivi che spingono i clienti a preferire gli store online rispetto a quelli fisici e come alcuni dei vantaggi siano il frutto dell’efficienza della gestione dell’outbound. Si è passati, quindi, all’esame del caso di studio, alla scomposizione delle singole fasi di lavorazione degli ordini e alla loro traduzione in linguaggio Arena. Il modello ottenuto è stato valutato grazie alla comparazione dei risultati di statistiche automatiche e manuali, frutto della simulazione, con i dati reali. La fase finale ha riguardato, invece, la valutazione in termini di efficienza di una possibile evoluzione del sistema che consiste nell’introduzione di un robot addetto al packing: il modello è stato modificato e le statistiche del caso as-is sono state confrontate con quelle frutto della nuova simulazione. Con i dati utilizzati è stato dimostrato come un unico robot garantisca prestazioni superiori rispetto allo stato attuale e risulti più che sufficiente per la mole di lavoro di una giornata tipo. Nei periodi dell’anno caratterizzati da un aumento esponenziale degli acquisti, tuttavia, potrebbe essere necessario affiancare alla soluzione automatica quella manuale.

Gestione del magazzino di un provider logistico: modello e simulazione in linguaggio Arena

La tesi si pone l'obiettivo di mappare le attività all'interno del magazzino di un operatore logistico, dalla consegna della merce da parte dei committenti, al flusso di ritorno dei pallet vuoti dai punti di consegna, attraverso la modellazione e la simulazione in linguaggio Arena. Dopo aver analizzato il ruolo e la posizione occupata da un provider logistico lungo la catena distributiva, è esposto il caso preso in considerazione, mediante lo studio dei committenti e dei punti di consegna serviti. Viene poi mappato nel dettaglio il processo di gestione all'interno del magazzino e approfonditi due aspetti principali: i costi di gestione e trasporto a carico dell'operatore e la gestione dei mezzi utilizzati per effettuare le consegne. Chiarito il sistema reale, si passa al modello in Arena. Al termine della simulazione, svoltasi in un adeguato orizzonte temporale, dall'analisi dei risultati sarà possibile trarre delle conclusioni al fine di migliorare l'efficienza del processo.

Bed management: studio di fattibilità per la creazione di un modello applicabile al sistema sanitario emiliano-romagnolo

Da qualche anno gli standard di posti letto ospedalieri tendono a ridursi. È in corso un processo di ristrutturazione e riorganizzazione dell’azione ospedaliera che trova le sue ragioni nella necessità di calare la spesa del servizio sanitario. Questo fatto porta alla conclusione che la risorsa “posti letto” stia diventando sempre di più una risorsa limitata, che necessiti di una gestione attenta, precisa e ponderata. Da un punto di vista manageriale, capire le inefficienze e i modi in cui questa risorsa si interfaccia con la restante realtà ospedaliera è cruciale per poter attuare giuste politiche sanitarie. L’obiettivo di questa tesi consiste nella valutazione delle specifiche per la costruzione di un modello da applicare al sistema sanitario emiliano-romagnolo, compiendo una gap analysis su dati ufficiali forniti direttamente dal SS dell’Emilia-Romagna. Per la creazione del modello applicato ai posti letto ospedalieri il lavoro è proceduto prendendo in considerazione l’attuale modello in uso in regione [3] “Pianificazione tattica delle sale operatorie: un modello di ottimizzazione in ambito regionale. Margherita Vitali. 2014”. La creazione del modello oggetto di questa tesi è avvenuta attraverso l’ampliamento del modello [3]. Le modifiche proposte hanno avuto come scopo l’ottenimento di un modello dipendente dalla risorsa posti letto a valle delle sale operatorie. I vincoli aggiuntivi conferiscono una maggiore completezza al modello [3] ampliandone le vedute sulla filiera ospedaliera.

Derivazione di un meccanismo con amplificazione inerziale per lo smorzamento delle vibrazioni

Questa Tesi si occupa di una derivazione di un meccanismo con amplificazione inerziale per lo smorzamento delle vibrazioni, il quale è stato usato come un meccanismo costituente di un oscillatore semplice, ovvero di un modello matematico fondamentale su cui è basata la dinamica strutturale, aumentandogli notevolmente la sua complessità geometrica. Viene studiata la risposta dinamica ottenuta dall’analisi armonica, in quanto lo stesso è soggetto alla forzante passiva. Lo studio del comportamento dinamico ingloba un percorso, il quale parte dalla descrizione matematica dell’equilibrio dinamico, nonché delle condizioni al contorno, tramite l’uso di analisi matriciale delle strutture e del calcolo complesso, e si conclude, derivando le grandezze cinematiche e dinamiche, necessarie affinché si possa determinare, in un modo chiaro e privo di ambiguità, lo stato del sistema dinamico. Il passo successivo risiede nell’analisi analitica e numerica dei risultati ottenuti e anche della visualizzazione grafica ed interpretazione degli stessi. Affinché i risultati possano essere considerati validi, occorre che gli stessi passino la procedura di validazione tramite l’uso degli esempi numerici. Successivamente, i risultati validati vengono confrontati con la stessa tipologia dei risultati derivati per gli oscillatori classici o gli oscillatori di riferimento, il quale comportamento è già noto nell’ambito della dinamica strutturale. La Tesi procede con l’applicazione pratica degli oscillatori per lo smorzamento delle vibrazioni. In particolare si studia la loro capacità di alterare la risposta dinamica complessiva del sistema di cui fanno parte, rispetto al caso in cui la stessa struttura è priva di essi. In fine la Tesi si conclude, mettendo in evidenza i vantaggi e gli svantaggi dell’oscillatore dotato di un meccanismo con amplificazione inerziale rispetto agli altri oscillatori classici.

la fabbrica automatica e i sistemi di controllo integrati

Lo scopo della presente tesi è quello di illustrare alcuni dei principali strumenti messi a disposizione dai controlli automatici a servizio dell’ingegneria, in particolare analizzando la struttura generale di una fabbrica automatica e descrivendone i principali sistemi di controllo. L’elaborato è suddiviso in tre macro parti: la prima ha l’obiettivo di inquadrare quella che è la fabbrica automatica, partendo dal precedente concetto di fabbrica tradizionale fino ad arrivare alla fabbrica moderna, caratterizzata da una spinta flessibilità produttiva determinata da una politica di produzione per lotti con elevati livelli di caratterizzazione. Della fabbrica automatica viene poi approfondita l’integrazione con i calcolatori attraverso il sistema concettuale del CIM, Computer Integrated Manufacturing, e l’impiego di celle di fabbricazione flessibili, ovvero le FMS, Flexible Manufacturing System. La seconda parte è incentrata sull’analisi delle logiche di controllo impiegate all’interno di tutto il processo di progettazione e di produzione, suddivise in tre gruppi: il primo focalizzato sui sistemi per la produzione automatica, NC e DNC; il secondo sui sistemi di simulazione e testing del prodotto, CAD, CAM e CAT; il terzo sui sistemi di controllo e sviluppo dati, SCADA, MES e DCS. La terza ed ultima parte è circoscritta all’approfondimento di un particolare sistema di controllo per la gestione dei processi, ovvero sull’uso del PLC, il Controllore Logico Programmabile. Vengono analizzate le componenti fisiche che lo costituiscono, il funzionamento base, i tempi di esecuzione delle istruzioni, i criteri di scelta e di dimensionamento ed altri aspetti rilevanti. Infine è presente un esempio applicativo di alcuni aspetti sovra citati con il caso dell’azienda bolognese G.D, leader del settore delle macchine automatiche a controllo numerico per la fabbricazione e l’impacchettamento delle sigarette.

Definizione del modello geotecnico e valutazione delle condizioni di stabilità di un tratto di argine del fiume Po, in località Viadana (MN).

Questa tesi si prefigge di analizzare le condizioni di stabilità di un argine inferiore del fiume Po situato presso il comune di Viadana (MN), più volte interessato da eventi franosi che si sono ripetuti con una certa frequenza nel corso degli ultimi anni. L'argomento proposto nella tesi prende spunto dall’esperienza presso il Polo Scientifico e Tecnologico di AIPO a Boretto (RE), nell’ambito del tirocinio formativo, durante il quale ho portato a termine un programma di prove geotecniche su campioni indisturbati prelevati nel sito interessato da fenomeni di instabilità, allo scopo di migliorare le conoscenze sulla risposta meccanica dei terreni arginali e del substrato di fondazione. Utilizzando i risultati delle prove di laboratorio, unitamente alle informazioni provenienti dai sondaggi e dalle prove penetrometriche (CPT/CPTU), è stato possibile innanzitutto identificare le unità stratigrafiche presenti nel sistema arginale e determinarne i parametri meccanici, per poi procedere alla costruzione del modello geotecnico di riferimento per le analisi di stabilità. Pertanto la tesi si pone come obiettivi principali la messa a punto di un modello geotecnico affidabile dell'argine, la verifica della stabilità globale delle scarpate lato fiume e l'individuazione dei fattori scatenanti i fenomeni di scorrimento osservati, nonché la scelta di possibili interventi per la messa in sicurezza delle sponde, valutandone i benefici in termini del fattore di sicurezza ed i relativi costi. L'insieme dei risultati conseguiti in questo studio permette di fornire utili indicazioni a coloro che sono preposti alla manutenzione e messa in sicurezza delle strutture arginali del fiume Po.

La gestione di una flotta automobilistica per il trasporto pubblico locale, con particolare riferimento alla sostenibilità ambientale e allo sviluppo del modello delle gare per l'affidamento del servizio.

Il lavoro sviluppato intende affrontare in modo integrato la problematica ambientale relativamente allo sviluppo della flotta di veicoli di un grande operatore del trasporto pubblico. In prima istanza il lavoro si è focalizzato sull’analisi approfondita della flotta esistente, ed accanto ai dati tradizionali è stata sviluppata anche un’analisi dei costi totali comprensive anche delle esternalità calcolate come da direttiva 2009/33/CE. Sono state sviluppate numerose elaborazioni di uso aziendale relativamente alla metodologia del costo del ciclo di vita, LCC, che è in uso presso TPER S.p.A. sin dal 2001. Successivamente sono stati sviluppati gli scenari evolutivi della flotta automobilistica individuando per il confronto finale tre scenari distinti in ottica 2020: - Il primo scenario inerziale senza nessuna modifica della flotta consolidato al 31.12.2015, tale scenario è definito dai veicoli presenti, dai costi di gestione della manutenzione, dai costi di carburante e dai costi esterni come suddetto; - Il secondo con orizzonte 2016 prevede l’inserimento in servizio dei n. 49 filosnodati Crealis e viene consolidato al 31.12.2016; - Il terzo scenario è quello obiettivo e considera nel 2020 l’entrata in parco via via degli acquisti che TPER S.p.A. ha già programmato per il 2017, 2018 e compresi i n.55 snodati con alimentazione elettrica del progetto PIMBO. Le comparazioni di questi scenari permettono in modo molto realistico di individuare gli effetti su una flotta reale delle politiche di investimento reali e non simulate e di poter quantificare quindi l’andamento dei costi esterni in relazione alla modifica della flotta di TPER S.p.A.