Sustainable Sardinia
Sustainable Sardinia è un’iniziativa che vuole mettere insieme tutti coloro che lavorano allo sviluppo sostenibile in Sardegna utilizzando le tecniche di data science. Vuole essere una rete di tecnici e un contenitore di progetti interessanti. Ho fondato questa iniziativa e ne sono il coordinatore.
AMSLA
Algorithm-architecture matching for sparse linear algebra. AMSLA è una libreria di algebra lineare sparsa per processory many-core e multi-core che ottimizza automaticamente le strutture dati e i loro parametri a seconda dell’architettura del processore.
AMSLA analizza la performance e il comportamento numerico degli algorithmi di algebra lineare sparsa su processori many-core e multi-core. Quando questi algorithmi vengono eseguiti all’interno di tali processori, il pattern di accesso alla memoria è irregolare e perciò la performance dell’applicazione è completamente dipendente dalla struttura del problema.
AMSLA seleziona la migliore struttura dati che rappresenti la matrice sparsa del problema, e ne ottimizza i parametri compatibilmente all’architettura del processore, ottenendo alte performance.
Problemi di ottimizzazione per edifici intelligenti
Una collezione di problemi matematici sugli edifici intelligenti (smart building).
Si tratta di problemi di ottimizzazione misti interi-lineari (MILP) in cui si vuole minimizzare il costo della potenzia per una singola abitazione o un insieme di appartamenti. Nel primo caso, la casa è fornita di un pannello fotovoltaico e di una batteria, mentre nel secondo caso il pannello fotovoltaico è comune a tutti gli appartamenti, ma ogni appartamento ha la propria battiera.
I parametri dei problemi si possono cambiare per esplorare la complessità del problema e il tempo di soluzione.
Visualizzazione di dati: studiando la struttura dietro la matematica
Un progetto di visualizzazione dati basato su matrici sparse.
Gli strumenti di visualizzazione dati possono aiutare a migliorare la comprensione delle matrici sparse per ciò che riguarda la loro rappresentazione in grafo. Utilizzando questi strumenti, ho rappresentato e studiato la struttura di alcune matrici che compaiono quando si risolvono alcuni problemi di ottimizzazione.
Possiedo il copyright su tutte le immagini di questa galleria. Tutti i diritti sono riservati.