An architecture for network acceleration as a service in the cloud continuum

The pervasive availability of connected devices in any industrial and societal sector is pushing for an evolution of the well-established cloud computing model. The emerging paradigm of the cloud continuum embraces this decentralization trend and envisions virtualized computing resources physically located between traditional datacenters and data sources. By totally or partially executing closer to the network edge, applications can have quicker reactions to events, thus enabling advanced forms of automation and intelligence. However, these applications also induce new data-intensive workloads with low-latency constraints that require the adoption of specialized resources, such as high-performance communication options (e.g., RDMA, DPDK, XDP, etc.). Unfortunately, cloud providers still struggle to integrate these options into their infrastructures. That risks undermining the principle of generality that underlies the cloud computing scale economy by forcing developers to tailor their code to low-level APIs, non-standard programming models, and static execution environments. This thesis proposes a novel system architecture to empower cloud platforms across the whole cloud continuum with Network Acceleration as a Service (NAaaS). To provide commodity yet efficient access to acceleration, this architecture defines a layer of agnostic high-performance I/O APIs, exposed to applications and clearly separated from the heterogeneous protocols, interfaces, and hardware devices that implement it. A novel system component embodies this decoupling by offering a set of agnostic OS features to applications: memory management for zero-copy transfers, asynchronous I/O processing, and efficient packet scheduling. This thesis also explores the design space of the possible implementations of this architecture by proposing two reference middleware systems and by adopting them to support interactive use cases in the cloud continuum: a serverless platform and an Industry 4.0 scenario. A detailed discussion and a thorough performance evaluation demonstrate that the proposed architecture is suitable to enable the easy-to-use, flexible integration of modern network acceleration into next-generation cloud platforms.

Le radici del monoteismo israelitico come riflesso dell'idea di regalita divina in epoca pre-esilica

Questa tesi è un contributo al dibattito meta-terminologico sull'uso scientifico del termine "monoteismo" in relazione alla religione dell'Israele antico. L'attenzione è rivolta principalmente a un tema specifico: l'esplorazione della nozione teistica di "esistenza" divina (implicita nell'uso di "monoteismo" come lente di osservazione) e il problema della sua applicazione alle concettualizzazioni della divinità che emergono nella Bibbia ebraica. In primo luogo, il "monoteismo" come termine e concetto viene ricondotto alle sue origini storiche nell'ambiente intellettuale del platonismo di Cambridge nell'Inghilterra del XVII secolo. Poi, si affronta il dibattito contemporaneo sull'uso del termine "monoteismo" in relazione alla religione dell'Israele antico e si evidenzia il ruolo dell'"esistenza" teistica come lente distorcente nella lettura dei testi biblici. La maggior parte della tesi sostiene questo assunto con una lettura esegetica dettagliata di tre passi biblici scelti come casi di studio: Sal 82; 1Re 18,20-40* e Zc 14,9. Queste analisi mostrano come la nozione teistica di un'esistenza divina astratta non sia in grado di spiegare la rappresentazione del divino che emerge da questi testi. Allo stesso tempo, il potere divino come categoria euristica viene proposto come un'alternativa più adatta a spiegare queste concettualizzazioni della divinità. L'ultima sezione elabora ulteriormente questi risultati. Qui la regalità di YHWH, come immagine metaforica del suo potere, viene utilizzata per descrivere i cambiamenti nella concettualizzazione di questa divinità. L'argomentazione finale è che in nessuna parte del materiale biblico affrontato in questa tesi si trova una nozione simile a quella di esistenza divina astratta. Poiché tale nozione è implicita nell'uso del termine "monoteismo", questi risultati richiedono una considerazione ancora più attenta del suo uso nel dibattito scientifico.

analisi degli attacchi mitm (man-in-the-middle) in una rete aziendale e come prevenirli

In questa tesi sperimentale si vuole evidenziare le vulnerabilità informatiche dell’architettura di rete TCP/IP. Nella sicurezza informatica spesso si dà grande rilevanza a software come gli antivirus, o ai dispositivi come i firewall, mentre si sottovaluta di mettere in sicurezza l’architettura di rete stessa. Di fatto nonostante un utente possa utilizzare un sistema operativo o un browser ritenuto estremamente sicuro, se l’amministratore di una rete non ha messo in sicurezza la rete stessa, qualunque operazione di protezione del sistema operativo (OS) o del browser risulta vana. Oltre a dimostrare che qualunque OS e browser possa essere facilmente infettato se non è stata messa in sicurezza la rete in cui naviga, si dimostrerà anche che i protocolli ritenuti sicuri come HTTPS non siano esenti da vulnerabilità. Gli attacchi informatici che si andranno a sperimentare fanno parte della tipologia Man In The Middle. L’attaccante sarà inserito all’interno della rete locale, è per questo motivo che il firewall non potrà effettuare qualunque azione di controllo. In una media/grande impresa è abbastanza frequente avere l’accesso al Wi-Fi, ad esempio come cliente nella sala d’aspetto. Spesso questa connessione Wi-Fi non è isolata dalla rete utilizzata dalla stessa azienda. In questa tesi si andranno ad evidenziare le gravi criticità di cui una configurazione del genere è afflitta. In conclusione, dopo aver analizzato le vulnerabilità dell’architettura di rete TCP/IP, si andranno ad analizzare quali funzioni attivare, e come attivarle, all’interno di switch professionali come Aruba 2930F o router board semiprofessionali come il Mikrotik 750, per mettere in sicurezza una rete locale da questo tipo di attacchi informatici.

Studio e progettazione di edificio industriale in carpenteria metallica

La tesi ha come oggetto lo studio e la progettazione di un edificio industriale in carpenteria metallica localizzato a Bologna. Definizione ed analisi dei carichi con successiva progettazione e verifica del manto di copertura costituito da un doppio laminato in acciaio strutturale zincato preverniciato che racchiude uno strato di poliuretano espanso ad alta densità con funzione isolante. Progettazione e verifica degli arcarecci in base alla larghezza della fascia di loro pertinenza e ai carichi gravanti sulla copertura. Progettazione e verifica della trave reticolare calcolando singolarmente ed in modo distinto le prime 3 capriate come rappresentative di tutte le tipologie di combinazione di carico a seconda che gli arcarecci che gravano sulla capriata appoggino su 2 o 3 capriate. Progettazione e verifica delle aste della trave reticolare che in relazione all’estesa luce di interasse dei portali verrà realizzata in parte tramite l’adozione di saldature ed in parte tramite bullonature.Progettazione e verifica della baraccatura laterale con scelta del pacchetto coibentato, dell’arcareccio di gronda e di parete e dimensionamento del rompitratta. Progettazione e verifica delle colonne laterali sulle quali grava il peso della sovrastante trave reticolare in combinazione all’azione di taglio e momento provocato dal vento. Progettazione e verifica dei montanti di facciata, o false colonne. Verifica della colonna angolare che sarà soggetta ad uno stato di sollecitazione pluriassiale dovuta all’azione del vento. Progetto e verifica del controventamento di falda e dei controventamenti di parete per limitare il più possibile l’inflessione e lo sbandamento dei correnti superiori delle capriate. Verifica di tutti i collegamenti della capriata: per facilitare le operazioni di trasporto e montaggio si è scelto di dividere la capriata in due metà interamente saldate.Verifica del collegamento di base tra pilastro e plinto di fondazione. Progetto e verifica del plinto di fondazione.

Caratterizzazione qualitativa delle carni di sovracoscia delle principali categorie di pollo commercializzate in Italia

Lo scopo di questa tesi è stato quello di analizzare le caratteristiche qualitative delle carni di sovracoscia di pollo appartenenti alle principali categorie commerciali presenti sul mercato nazionale per caratterizzarne i principali parametri qualitativi. A tale scopo, sono stati campionati un totale 12 lotti di carne avicola che differivano in termini di peso alla macellazione, tipo di alimentazione e sistema di allevamento. Per ogni lotto, sono state selezionate 20 sovracosce, suddivise in 3 gruppi sperimentali (n=80/gruppo) in funzione della categoria commerciale di appartenenza e corrispondente peso di macellazione: pollo medio convenzionale (PMC) 3,5-3,8 kg, pollo pesante convenzionale (PPC) 2,5-2,8 kg e pollo leggero allevato all’aperto (PLA) 1,8-2 kg. I campioni sono stati utilizzati per l’analisi del pH, del colore e dell’ossidazione lipidica e proteica, tramite la valutazione del contenuto di TBARs e carbonili, rispettivamente. Dai risultati ottenuti è possibile evidenziare come il gruppo PLA abbia fatto registrare variazioni significative in termini di colore e ossidazione lipidica rispetto agli altri gruppi sperimentali oggetto di tesi. Nel dettaglio, il gruppo PLA ha mostrato valori di b* più che raddoppiati rispetto alle altre categorie commerciali: ciò potrebbe essere un aspetto favorevole in quei mercati in cui vi è una consolidata abitudine a questa pigmentazione della carne. Inoltre, i risultati dell’analisi dei TBARs indicano un livello di ossidazione lipidica significativamente superiore nel gruppo PLA rispetto a PMC e PPC: ciò potrebbe essere correlato ad uno scadimento qualitativo della carne, specialmente quando questa viene macinata ed utilizzata nella formulazione di prodotti trasformati. Dunque, i risultati ottenuti potrebbero essere di particolare interesse per l’industria avicola, in quanto potrebbero suggerire l’idoneità della carne proveniente da una particolare categoria commerciale per il consumo fresco anziché per la trasformazione.

"Assisted factorial experimental design" per l'ottimizzazione della determinazione di benzene ematico in gc-fid

La quantificazione del benzene ematico è un tema di grande interesse nell'ambito della tossicologia occupazionale. La determinazione dell'analita, estratto nello spazio di testa di un vial, è eseguita mediante l'utilizzo di un gascromatografo con rilevatore a ionizzazione di fiamma (GC-FID). Si è cercato di ottimizzare il processo di estrazione del benzene dal sangue allo spazio di testa ed il successivo trasferimento dell'analita nella colonna cromatografica, mediante l'applicazione di un disegno sperimentale fattoriale a tre fattori e due livelli (DoE). I fattori individuati per impostare il piano sperimentale sono stati: variazione della temperatura di incubazione (A) del vial contenente il campione di sangue, pH del campione (B), modulato mediante aggiunta di una soluzione di H2SO4 e forza ionica (C), regolata mediante una soluzione acquosa di NaCl. I livelli scelti per ciascuna variabile sono stati: per A 40 e 60 °C; per B pH naturale del campione e pH a seguito dell'aggiunta di 1 mL di H2SO4 1.8 M; per C FI naturale del campione e FI dovuta all'aggiunta di una soluzione acquosa di sodio cloruro (5 g/L). Dall'analisi dei risultati forniti dal DoE, si è osservato che A, B e C hanno effetti tra loro contrastanti, per questo motivo non sembra essere vantaggioso combinare variabili differenti. In compenso, sia l'aumento di temperatura che l'aggiunta di acido solforico portano a significativi miglioramenti nell'estrazione di benzene dal sangue. Tra i tre trattamenti risulta essere B quello più efficace, motivo per il quale si ritiene che l'aggiunta di una soluzione acquosa di H2SO4 al campione di sangue porti ad una maggiore sensibilità e risoluzione strumentale. Sicuramente la sensibilità del metodo elaborato non può essere paragonata alle tradizionali determinazioni con spettrometro di massa, ma si ritiene possa essere sufficientemente soddisfacente per valutare l'esposizione a benzene dei lavoratori a rischio e come analisi di screening rapida ed economica.

Indicatori di rischio di scompenso cardiaco in pazienti con dispositivi impiantabili e in monitoraggio remoto

L'incidenza complessiva dell'insufficienza cardiaca a livello globale sta aumentando, sia a causa della crescente aspettativa di vita per i pazienti che ricevono una diagnosi, sia per un progressivo invecchiamento della popolazione. Nonostante i continui progressi clinici, questa patologia continua ad avere una alta mortalità e a causare una forte sintomatologia nei pazienti che ne sono affetti. Per questo motivo e per il forte peso che questa patologia ha sulla sanità si è reso necessario cercare di prevenire eventi di scompenso cardiaco o di peggioramento della condizione di insufficienza cardiaca. Questo elaborato si sofferma inizialmente sull'insufficienza cardiaca, sulla sua patologia, le sue classificazioni, la sua epidemiologia e sui dispostivi impiantabili utilizzati nel trattamento di quest'ultima. Successivamente sono stati analizzati cinque studi clinici longitudinali, di cui uno monoparametrico e gli altri multiparametrici, caratterizzati dal monitoraggio remoto di alcuni parametri vitali con l'obiettivo di individuare, e quindi prevenire, eventi avversi o un peggioramento della condizione di insufficienza cardiaca.

Sul comportamento delle orbite di onde interne in biliardi di forma parabolica

Si studia il comportamento di particelle in un tipo particolare di biliardo dinamico, in cui le riflessioni sul bordo avvengono attraverso l’inversione dell’angolo che la traiettoria compie rispetto a una direzione verticale fissata, invece della solita normale alla curva à la Fresnel. L'interesse in questo argomento deriva dall'evidenza sperimentale di un comportamento simile nella propagazione di onde entro fluidi stratificati: questa tipologia di biliardo è quindi spesso detta biliardo di onde interne. Lo studio di questi oggetti, sebbene puramente matematico, può dare luogo a peculiari considerazioni fisiche ed applicative. Notevolmente, la frequente presenza di attrattori in tali modelli suggerisce che fenomeni di concentrazione delle onde interne dovuti a tale regola di riflessione potrebbero avere un ruolo in alcuni sistemi reali, come la circolazione oceanica. Dopo aver passato in rassegna alcuni elementi della teoria di Poincaré degli omeomorfismi del cerchio, e alcuni risultati specifici sui biliardi di onde interne, si studia il caso particolare di un biliardo di forma parabolica, tagliato da un segmento normale al suo asse di simmetria. In quest'ultimo contesto, si dimostrano alcuni risultati originali sul comportamento delle traiettorie.

La traduzione in ambito economico-finanziario: proposta di traduzione dall’italiano in francese del quaderno sull’educazione finanziaria

La tesi tratta della traduzione economico-finanziaria. Saranno analizzati il linguaggio di questo settore e le principali sfide e difficoltà che il traduttore deve affrontare in questo ambito. Inoltre, sarà presentata la proposta di traduzione dall'italiano in francese del Quaderno "Educazione Finanziaria #quello che conta sapere".

Il framing politico in Italia e in Germania: analisi e confronto di frames ricorrenti in ambito immigrazione

Questo elaborato ha come obiettivo quello di mettere a confronto alcuni dei frames ricorrenti nei dibattiti politici tedeschi e italiani, per poi analizzare in che modo essi riescano a influenzare il nostro pensiero. Data l’impossibilità di trattare il fenomeno del framing politico a tutto tondo, l’ambito da cui provengono i frames scelti per l’analisi è quello dell’immigrazione e dei fenomeni migratori. In un primo momento verrà fornita una breve introduzione su alcuni concetti fondamentali alla base del framing, come la simulazione cognitiva e gli stessi frames. Ogni parola, infatti, è inserita all’interno di una “cornice” di significato, che comprende altri concetti ad essa collegati. L’attivazione di quei concetti a livello mentale da un lato ne permette la comprensione, ma dall’altro è in grado di influenzare le nostre scelte e le nostre azioni. Il fatto che politici e media scelgano con molta attenzione le parole da usare per ottenere l’effetto desiderato sulla popolazione prende il nome di framing. Per quanto riguarda i termini ricorrenti in ambito immigrazione, sia in Italia che in Germania si fa largo uso di metafore legate a masse d’acqua e a catastrofi naturali, che hanno l’effetto di disumanizzare i migranti, i quali vengono inoltre percepiti come un pericolo. Alcuni esempi in italiano sono ondata di migranti e tsunami di migranti, che corrispondono ai tedeschi Flüchtlingsflut e Flüchtlings-Tsunami.

Identificazione di caratteristiche rilevanti in capi di abbigliamento mediante deep-learning

Il mondo della moda è in continua e costante evoluzione, non solo dal punto di vista sociale, ma anche da quello tecnologico. Nel corso del presente elaborato si è studiata la possibilità di riconoscere e segmentare abiti presenti in una immagine utilizzando reti neurali profonde e approcci moderni. Sono state, quindi, analizzate reti quali FasterRCNN, MaskRCNN, YOLOv5, FashionPedia e Match-RCNN. In seguito si è approfondito l’addestramento delle reti neurali profonde in scenari di alta parallelizzazione e su macchine dotate di molteplici GPU al fine di ridurre i tempi di addestramento. Inoltre si è sperimentata la possibilità di creare una rete per prevedere se un determinato abito possa avere successo in futuro analizzando semplicemente dati passati e una immagine del vestito in questione. Necessaria per tali compiti è stata, inoltre, una approfondita analisi dei dataset esistenti nel mondo della moda e dei metodi per utilizzarli per l’addestramento. Il presente elaborato è stato svolto nell’ambito del progetto FA.RE.TRA. per il quale l'Università di Bologna svolge un compito di consulenza per lo studio di fattibilità su reti neurali in grado di svolgere i compiti menzionati.

Progettazione ed Implementazione Front-End di un Sistema Integrato di Customer Assistance in ambito Industry 4.0

Al giorno d'oggi, l'industry 4.0 è un movimento sempre più prominente che induce ad equipaggiare gli impianti industriali con avanzate infrastrutture tecnologiche digitali, le quali operano sinergicamente con l'impianto, al fine di controllare ed aumentare la produttività, monitorare e prevenire i futuri guasti, ed altro ancora. In questo ambito, gli utenti sono parte integrante della struttura produttiva, in cui ricoprono ruoli strategici e flessibili, collaborano fra loro e con le macchine, con l’obiettivo di affrontare e risolvere proattivamente una vasta gamma di problemi complessi. In particolare, la customer assistance nel settore industriale può certamente variare in relazione a molteplici elementi: il tipo di produzione e le caratteristiche del prodotto; l'organizzazione ed infrastruttura aziendale interna; la quantità di risorse disponibili che possono essere impiegate; il grado di importanza ricoperto dalla customer assistance nel settore industriale di riferimento; altri eventuali fattori appartenenti ad un dominio specifico. Per queste ragioni, si è cercato di individuare e categorizzare nel modo più accurato possibile, il lavoro svolto in questo elaborato ed il contesto nel quale è stato sviluppato. In questa tesi, viene descritta un'applicazione web per erogare assistenza al cliente in ambito di industria 4.0, attraverso il paradigma di ticketing o ticket di supporto/assistenza. Questa applicazione è integrata nel sistema Mentor, il quale è attivo già da anni nel settore industriale 4.0. Il progetto Mentor è una suite di applicazioni cloud-based creata dal gruppo Bucci Industries, una multinazionale attiva nell'industria e nell'automazione con sede a Faenza. In questo caso di studio, si presenta la progettazione ed implementazione della parte front-end del suddetto sistema di assistenza, il quale è integrato ed interconnesso con un paio di applicazioni tipiche di industria 4.0, presenti nella stessa suite di applicazioni.

Integrazione di reti neurali con approcci simbolici per problemi di ragionamento deduttivo in linguaggio naturale

Uno degli obiettivi più ambizioni e interessanti dell'informatica, specialmente nel campo dell'intelligenza artificiale, consiste nel raggiungere la capacità di far ragionare un computer in modo simile a come farebbe un essere umano. I più recenti successi nell'ambito delle reti neurali profonde, specialmente nel campo dell'elaborazione del testo in linguaggio naturale, hanno incentivato lo studio di nuove tecniche per affrontare tale problema, a cominciare dal ragionamento deduttivo, la forma più semplice e lineare di ragionamento logico. La domanda fondamentale alla base di questa tesi è infatti la seguente: in che modo una rete neurale basata sull'architettura Transformer può essere impiegata per avanzare lo stato dell'arte nell'ambito del ragionamento deduttivo in linguaggio naturale? Nella prima parte di questo lavoro presento uno studio approfondito di alcune tecnologie recenti che hanno affrontato questo problema con intuizioni vincenti. Da questa analisi emerge come particolarmente efficace l'integrazione delle reti neurali con tecniche simboliche più tradizionali. Nella seconda parte propongo un focus sull'architettura ProofWriter, che ha il pregio di essere relativamente semplice e intuitiva pur presentando prestazioni in linea con quelle dei concorrenti. Questo approfondimento mette in luce la capacità dei modelli T5, con il supporto del framework HuggingFace, di produrre più risposte alternative, tra cui è poi possibile cercare esternamente quella corretta. Nella terza e ultima parte fornisco un prototipo che mostra come si può impiegare tale tecnica per arricchire i sistemi tipo ProofWriter con approcci simbolici basati su nozioni linguistiche, conoscenze specifiche sul dominio applicativo o semplice buonsenso. Ciò che ne risulta è un significativo miglioramento dell'accuratezza rispetto al ProofWriter originale, ma soprattutto la dimostrazione che è possibile sfruttare tale capacità dei modelli T5 per migliorarne le prestazioni.

Tolerance optimization with statistical approach in the CAT environment

Nowadays, product development in all its phases plays a fundamental role in the industrial chain. The need for a company to compete at high levels, the need to be quick in responding to market demands and therefore to be able to engineer the product quickly and with a high level of quality, has led to the need to get involved in new more advanced methods/ processes. In recent years, we are moving away from the concept of 2D-based design and production and approaching the concept of Model Based Definition. By using this approach, increasingly complex systems turn out to be easier to deal with but above all cheaper in obtaining them. Thanks to the Model Based Definition it is possible to share data in a lean and simple way to the entire engineering and production chain of the product. The great advantage of this approach is precisely the uniqueness of the information. In this specific thesis work, this approach has been exploited in the context of tolerances with the aid of CAD / CAT software. Tolerance analysis or dimensional variation analysis is a way to understand how sources of variation in part size and assembly constraints propagate between parts and assemblies and how that range affects the ability of a project to meet its requirements. It is critically important to note how tolerance directly affects the cost and performance of products. Worst Case Analysis (WCA) and Statistical analysis (RSS) are the two principal methods in DVA. The thesis aims to show the advantages of using statistical dimensional analysis by creating and examining various case studies, using PTC CREO software for CAD modeling and CETOL 6σ for tolerance analysis. Moreover, it will be provided a comparison between manual and 3D analysis, focusing the attention to the information lost in the 1D case. The results obtained allow us to highlight the need to use this approach from the early stages of the product design cycle.

Analisi di un giunto in ambito industriale

Nella tesi è stata effettuata un'analisi di un giunto strutturale, ponendo particolare attenzione ad alcuni aspetti teorici riguardanti i bulloni, la saldatura MIG/MAG e gli estensimetri. Si è, poi, passati alla struttura vera e propria, illustrando il giunto fornito dall'azienda Cepi, con i relativi calcoli.