Descrizione:
Big Data analytics is one of the major challenges for today’s computing systems, aiming at extracting valuable knowledge and information from an exponentially-increasing amount of data. The distributed and heterogeneous nature of the data sources, as well as the huge computational power that is required, is pushing designers towards novel computing systems that combine HPC, Cloud, and IoT solutions (for efficient and distributed computation closer to the data) with Artificial Intelligence (AI) algorithms (for knowledge extraction and decision making). This thesis will focus on data management, understanding how to create a distributed memory architecture for moving the computation closer to the data in a way that is totally transparent to the user.

Nascondi Descrizione

Descrizione:
The object of this work is to apply techniques based on Operator Precedence (OP) languages for: code verification through model-checking; analysis of massive structured data; runtime verification of critical applications.

Nascondi Descrizione

Descrizione:
Keywords: Green IT, Fog Computing, Machine Learning, Service-Oriented Architectures. Fog computing aims at creating a continuity between the cloud, with ideally unlimited resources and higher performance and storage capabilities, and the edge, characterized by limited capabilities but lower latency. In this context, new opportunities for managing application deployment are raising together with new challenges. Modern applications are supposed to run in a heterogeneous environment where tasks can be executed dynamically in the cloud and/or in the edge according to the context in which the application is running. These two environments are strongly heterogeneous in terms of resources capabilities, performance, energy efficiency, and power sources. Moreover, the quality of the connection between the different nodes can change dynamically, introducing performance issues. This thesis aims at proposing a dynamic workload allocation algorithm in a performance and energy aware mixed cloud-edge environment taking into account performance and energy efficiency of the available resources and providing an automatic mechanism to decide where to execute a given workload according to the current resource and network state.

Nascondi Descrizione

Descrizione:
Keywords: Application Monitoring, Fog Computing, Machine Learning, Service-Oriented Architectures. Fog Computing is a paradigm that exploits computational resources available locally (edge resources) and remotely (cloud resources) according to the features of the application, the availability of computational resources in the different nodes, and the data the application needs to consume during its execution. Fog computing is very effective for managing smart buildings where a huge amount of information is generated every minute and moving data from the edge where it is produced to the cloud where it is needed is very expensive and might impact the quality of service. This thesis aims at exploiting the concept of fog computing for building an adaptive monitoring system for smart buildings where adaptive decisions about which data to monitor and where to deploy the applications involved in consuming the data are taken with the aim of reducing the volume of data that has to be moved from the edge to the cloud.

Nascondi Descrizione

Descrizione:
Discrete event systems (DES) are characterized by a discrete set of states, and state changes are driven by the occurrence of (asynchronous) discrete events. This is a very general class of models, which is often encountered in automated manufacturing, communication and transportation networks, control applications, etc. In timed DES the transitions between activities are further endowed with time bounds in order to represent the duration of activities. A timed control task involves reaching specific states (while avoiding others) within prescribed time limits. The design of a controller for timed DES is a complex and challenging task that requires the development of suitable tools for reachability analysis, path optimization, and control policy design. This thesis aims at the development of a Matlab library of such tools for time Petri nets and its testing on some timed DES control benchmarks.

Nascondi Descrizione

Descrizione:
Hybrid systems are heterogeneous dynamical systems whose behavior can be described by the interaction of several time-driven continuous dynamics (continuous states or modes) indexed by event-driven discrete dynamic (discrete states). They can represent technological systems where continuous models such as differential or difference equations describe the physical and mechanical part, and discrete models such as finite-state machines or Petri nets describe the software and logical behavior. For example, while driving, a car follows different dynamics, depending on the specific phase (acceleration/braking, cornering) or the track characteristics (slope, road surface, weather conditions). The goal of this thesis is the development of a black-box technique to identify both the system modes and the switching mechanism directly from data.

Nascondi Descrizione

Descrizione:
During the paper manufacturing process, some paper break events can occur. If a break happens, the entire process is stopped, any found problem is fixed and the production is resumed. Resuming the process can take more than an hour, which represents a severe cost for the factory. Even a 5% reduction in the break events will yield a significant cost saving. The objective of this thesis is the development of suitable techniques to predict such breaks in advance (early prediction) and identify the potential cause(s) to prevent the break. To build such a prediction model, the applicant will use data collected from a network of sensors deployed to monitor a real manufacturing plant.

Nascondi Descrizione

Descrizione:
Drilling is a complex process that consists in boring a hole (that can be several thousands of meters long) in order to create a well for oil (or gas) production. A sticking occurs when the drillstring cannot be neither rotated nor moved along the axis of the wellbore. A pipe is considered stuck if it cannot be freed from the hole without damaging the pipe, and without exceeding the drilling rig’s maximum allowed hook load. This phenomenon can be due to pressure-related issues (if the pressure in the annulus exceeds that in the formation being drilled, the drillstring is pulled against the wall of the borehole and held against it) or to mechanical blocking (e.g., due to incomplete removal of the cuttings, or partial collapse of the borehole). Stuck-pipe phenomena can have disastrous effects on drilling performance, with outcomes that may range from time delays (note that a day of drilling can cost millions of euros) to loss of expensive machinery. This thesis aims at the development (using machine learning techniques) of a data-based prediction model that can be used to anticipate the occurrence of the mentioned events. A large dataset of oil&gas wells can be used to train and validate the model. This work is part of an ongoing collaboration with Eni's Drilling & Completion Risk Analysis Department.

Nascondi Descrizione

Descrizione:
L'elemento base di una matrice di memoria 3D NAND Flash è oggi un transistore MOSFET ultra-scalato con canale in silicio policristallino (polisilicio). La natura granulare di questo materiale e, in particolare, la presenza di una elevata densità di stati trappola ai suoi bordi di grano rende il trasporto di corrente in questi dispositivi molto differente da quello dei dispositivi in silicio monocristallino, ad esempio in termini di mobilità efficace dei portatori di carica e sua dipendenza dalla temperatura. Il lavoro di tesi sarà focalizzato sullo studio mediante simulazione numerica del trasporto di corrente nei dispositivi MOSFET nanometrici con canale in polisilicio, al fine di comprenderne la fisica di base e le limitazioni al funzionamento e all'affidabilità delle odierne tecnologie di memoria 3D NAND Flash. Il lavoro sarà svolto presso il laboratorio di dispositivi elettronici del DEIB.

Nascondi Descrizione

Descrizione:
La continua ricerca di più elevate densità di memorizzazione ha portato la tecnologia NAND Flash ad evolvere verso una integrazione tridimensionale (3D) delle celle di memoria. Questo non solo ha comportato notevoli cambiamenti nella geometria, nella struttura e nei materiali delle celle di memoria, ma ha anche reso rilevanti nuovi fenomeni fisici durante il funzionamento delle celle stesse. In questo quadro, il lavoro di tesi sarà focalizzato sullo studio sperimentale dei fenomeni fisici limitanti il funzionamento e l'affidabilità di matrici di memoria 3D NAND Flash. Il lavoro sarà svolto nell'ambito di una offerta di stage dell'azienda Micron Semiconductor Italia, i cui laboratori di ricerca sono siti in Vimercate (MB). L'inizio della tesi è previsto per Settembre 2020.

Nascondi Descrizione

Descrizione:
L'obiettivo dell'attività di ricerca svolta in collaborazione con l'azienda Loson è lo sviluppo di una nuova famiglia di componenti in fibra di carbonio che sfruttano le proprietà elettro-meccaniche di questi materiali per realizzare sensori integrati direttamente nella struttura meccanica con svariate applicazioni nell'ambito della robotica e dell’industria 4.0. E' disponibile sia una tesi più indirizzata allo sviluppo dei sensori sia una tesi più mirata allo sviluppo dell'elettronica di misura e di controllo. Per maggiori informazioni si veda la pagina web.

Nascondi Descrizione

Descrizione:
The modelling of magnetic components for power electronics plays a key role in the development of high-performance converters. The aim of the thesis is to define concentrated parameter models usable for circuit-type simulations.

Nascondi Descrizione

Descrizione:
Objective: To develop and compare SoC estimators from the existing EV data records using model-based and data-driven techniques. Tasks: - Pre-process the available datasets to select trips starting from full charge condition and estimate the SoC using Coulomb counting - Use the selected dataset and battery nominal parameters to develop an EKF using the information available in the CAN bus - Use the selected datasets and the SoC derived from the Coulomb counting to develop a black-box virtual sensor using the information in the CAN bus. The virtual sensor can be a Neural network, a polynomial model, a Set-Membership model, among others - Compare the performance of the estimators in data not employed in the derivation of the filters

Nascondi Descrizione

Descrizione:
Objective: To develop and compare SoC estimators from existing EV data records using model-based and data-driven techniques. Tasks: - Pre-process the available datasets to select trips starting from full charge condition and estimate the SoC using Coulomb counting - Use the selected dataset and battery nominal parameters to develop an EKF using the information available in the CAN bus - Use the selected datasets and the SoC derived from the Coulomb counting to develop a black-box virtual sensor using the information in the CAN bus. The virtual sensor can be a Neural network, a polynomial model, a Set-Membership model, among others - Compare the performance of the estimators in data not employed in the derivation of the filters

Nascondi Descrizione

Descrizione:
L’obiettivo della tesi è lo sviluppo di un sistema di acquisizione, elaborazione e controllo per esperimenti di spettroscopia ottica risolta nel tempo. Questa tecnica permette di studiare la dinamica ultra-veloce (<1ps) dei processi attivati dalla luce in svariati materiali con importanti applicazioni in fisica, chimica e biologia. Un primo impulso di luce eccita il campione e un secondo impulso, inviato con un ritardo variabile di 10fs-1ps, permette di monitorare l’evoluzione del sistema grazie a un assorbimento condizionato dallo stato del materiale. Dato che le variazioni dell’intensità del secondo impulso sono molto piccole (parti per milione) è necessario mediare molte misure per ottenere un rapporto segnale-rumore soddisfacente. L’esperimento è inoltre ripetuto per molte lunghezze d’onda e con ritardi differenti per ottenere uno spettro completo, rendendo questa tecnica spesso molto lenta (decine di minuti per un singolo spettro). Per superare le attuali limitazioni il laboratorio I3N del dipartimento di elettronica in collaborazione con i Proff. Cerullo e Polli del dipartimento di fisica sta sviluppando uno spettrometro basato su un circuito integrato in grado di leggere in parallelo un array di fotodiodi e di realizzare una pre-elaborazione molto veloce dei segnali permettendo di ridurre i tempi di acquisizione di uno spettro di almeno un ordine di grandezza. Lo scopo della tesi è la realizzazione dell’elettronica su scheda in grado di leggere i segnali in uscita dal circuito integrato, completare l’elaborazione dei segnali per poter visualizzare uno spettro completo, generare i segnali di controllo necessari al circuito integrato e ai componenti ottici (laser e ritardatori).

Nascondi Descrizione

Descrizione:
La tesi prevede lo sviluppo di un circuito integrato per controllare con estrema precisione un nanodiodo in silicio affinché emetta singoli fotoni. L’ambito in cui si colloca questo lavoro di tesi è il progetto QUASIX recentemente avviato dall’Agenzia Spaziale Italiana e coordinato dal Consiglio Nazionale delle Ricerche che si pone l’obiettivo di realizzare una sorgente di singoli fotoni in silicio per comunicazioni quantistiche tra satelliti. I fotoni così generati saranno utilizzati per implementare sistemi di crittografia quantistica che garantiscono una comunicazione sicura e inaccessibile a soggetti esterni. Il ruolo del Politecnico di Milano (DEIB) è quello di realizzare un driver in tecnologia CMOS capace di fornire impulsi di opportuna ampiezza e durata per ottenere in modo controllato un fotone ogni 100ns da un nanodiodo drogato con Erbio. Dato che il progetto è per applicazioni spaziali, una sfida aggiuntiva è quella di creare un sistema in grado funzionare correttamente in un ampissimo intervallo di temperatura, da 77K a 300K, ben oltre gli standard elettronici.

Nascondi Descrizione

Descrizione:
Due to the peculiar transport properties of organic semiconductors, ad-hoc codes, currently commercially unavailable, are necessary to properly simulate organic-based devices. In the framework of a collaboration with Dipartimento di Matematica and IIT-CNST, the candidate will employ a specially designed 2D code to simulate organic devices, and will validate numerical findings by means of experimental measurements. The final aim is the measurement of the shape of the density of states by means of simple measurements on transistor structures, extending and simplifying previous studies of the group (https://www.nature.com/articles/s41598-017-03882-8).

Nascondi Descrizione