Traduzione dell'aforisma

L’aforisma è un genere letterario che fa della brevità il suo carattere distintivo, le sue caratteristiche principali, infatti, si rifanno tutte a questa sua natura. Solitamente composto da non più di qualche parola, l’aforisma si contraddistingue per la densità e apertura di significato (Gatica Cote, 2015): densità perché in poche righe si concentra tutto il messaggio espresso, che in generale è breve e intenso, e apertura poiché, proprio per la sua concisione, questa forma testuale è facilmente soggetta a diverse interpretazioni, si richiede infatti al lettore di aforismi di ricostruirne l’intenzione comunicativa, che a volte può apparire oscura, e di rimettere insieme i pezzi per decifrare il messaggio. L’aforisma può essere definito una sorta di minimalismo artistico (Martínez, 2012) in cui il massimo viene espresso con il minimo. La concisione, l’isolamento testuale, l’uso della prosa e l’assenza di narrativa (Gatica Cote, 2015) sono tutte caratteristiche tipiche che si possono associare all’aforisma e che lo definiscono.

Classificazione delle curve ellittiche viste come curve algebriche piane

Nel presente lavoro è affrontato lo studio delle curve ellittiche viste come curve algebriche piane, più precisamente come cubiche lisce nel piano proiettivo complesso. Dopo aver introdotto nella prima parte le nozioni di Superfici compatte e orientabili e curve algebriche, tramite il teorema di classificazione delle Superfici compatte, se ne fornisce una preliminare classificazione basata sul genere della superficie e della curva, rispettivamente. Da qui, segue la definizione di curve ellittiche e uno studio più dettagliato delle loro pricipali proprietà, quali la possibilità di definirle tramite un'equazione affine nota come equazione di Weierstrass e la loro struttura intrinseca di gruppo abeliano. Si fornisce quindi un'ulteriore classificazione delle cubiche lisce, totalmente differente da quella precedente, che si basa invece sul modulo della cubica, invariante per trasformazioni proiettive. Infine, si considera un aspetto computazionale delle curve ellittiche, ovvero la loro applicazione nel campo della Crittografia. Grazie alla struttura che esse assumono sui campi finiti, sotto opportune ipotesi, i crittosistemi a chiave pubblica basati sul problema del logaritmo discreto definiti sulle curve ellittiche, a parità di sicurezza rispetto ai crittosistemi classici, permettono l'utilizzo di chiavi più corte, e quindi meno costose computazionalmente. Si forniscono quindi le definizioni di problema del logaritmo discreto classico e sulle curve ellittiche, ed alcuni esempi di algoritmi crittografici classici definiti su quest'ultime.

Programmazione ad Agenti e Pianificazione: AgentSpeak(PL) come caso di studio

In questa tesi si discutono inizialmente i concetti chiave di agente e sistema multi-agente e si descrivono in ogni dettaglio il linguaggio di programmazione AgentSpeak(L) e la piattaforma Jason, fornendo le basi per poter programmare con il paradigma AOP. Lo scopo centrale di questa tesi è quello di estendere il modello di pianificazione dell’interprete di AgentSpeak(L), considerato come caso specifico, con un approccio che può essere integrato in qualsiasi linguaggio di programmazione ad agenti. Si espone un’evoluzione di AgentSpeak(L) in AgentSpeak(PL), ossia la creazione ed esecuzione di piani automatici in caso di fallimento attraverso l'uso di un algoritmo di planning state-space. L'approccio integrativo modifica il Ciclo di Reasoning di Jason proponendo in fase di pianificazione automatica un riuso di piani già esistenti, atto a favorire la riduzione di tempi e costi nel long-term in un sistema multi-agente. Nel primo capitolo si discute della nozione di agente e delle sue caratteristiche principali mentre nel secondo capitolo come avviene la vera e propria programmazione con AgentSpeak(L). Avendo approfondito questi argomenti base, il terzo capitolo è incentrato sull’interprete Jason e il quarto su una migliore estensione dell'interprete, in grado di superare i limiti migliorando le performance nel tempo. Si delineano infine alcune considerazioni e ringraziamenti nel quinto e ultimo capitolo. Viene proposta con scrittura di carattere divulgativo e non ambiguo.

Analisi sperimentale del funzionamento di un sistema micro-ORC

Questa tesi tratta nello specifico lo studio di un impianto micro-ORC, capace di sfruttare acqua alla temperatura di circa 70-90°C come sorgente termica. Questo sistema presenta una potenza dichiarata dal costruttore pari a 3kW e un rendimento del 9%. In primo luogo, si descrivono le caratteristiche principali dei fluidi organici, in particolare quelle del freon R134a, impiegato nel banco prova. Vengono illustrati dettagliatamente l’impianto e la sensoristica utilizzata per le misurazioni delle varie grandezze fisiche. Tramite esse, con l’utilizzo di un programma di acquisizione dati appositamente relizzato in ambiente LabVIEW, è stato possibile calcolare in tempo reale tutti i parametri di funzionamento, necessari per la caratterizzazione del sistema. Per una veloce ed efficiente elaborazione dei dati registrati durante le prove in laboratorio, è stato realizzato un programma in linguaggio VBA. L’utilizzo di questo codice ha permesso, in primo luogo, di individuare e correggere eventuali errori di calcolo e acquisizione presenti in ambiente LabVIEW e, in secondo luogo, si è reso indispensabile per comprendere il funzionamento dell’impianto nelle varie fasi, come accensione, spegnimento e produzione di potenza. Sono state inoltre identificate le modalità di risposta del sistema al variare dei comandi impostabili dall’utente, quali il numero di giri della pompa e la variazione della temperatura della sorgente calda. Si sono poi osservate le risposte del sistema al variare delle condizioni esterne, come ad esempio la temperatura dell’acqua di condensazione. Una specifica prova è stata analizzata in questo elaborato. Durante tale prova il sistema ha lavorato in forte off-design, erogando una potenza elettrica pari a 255 W, raggiungendo un basso valore del rendimento (pari a 1.8%). L’analisi dei dati ha portato ad identificare nuovi limiti di funzionamento, legati ad esempio alla quantità di fluido interna al sistema.

Tecnologie digitali per la catalogazione dei Beni Culturali: Villa Adriana. L'architettura contro il tempo.

Villa Adriana presenta un ampio spettro di possibili casi studio finalizzati ad approfondire il tema della documentazione e della catalogazione dei Beni Culturali. La diffusione della rete Internet ha oggi determinato la necessità di gestire le informazioni in forma distribuita. Nel settore dei B.C., per anni le informazioni relative agli stessi venivano riassunte in schede, “beni schedati” per l’appunto, in modo da facilitarne la consultabilità e l’organizzazione manuale. Nel primo periodo della informatizzazione il processo è stato perfettamente uguale: schede, unità di misura e campi rimasero gli stessi, ma digitalizzati. È chiaro che oggi un sistema del genere appare poco appropriato rispetto alle proprietà dei sistemi digitali, per consentirne lo studio e/o la fruizione. Quindi è nata l’esigenza di migliorare la gestione dei dati raccolti e aggiornare la scheda tenendo conto dell’esperienza sia di coloro che lavorano nel campo della catalogazione dei beni culturali sia di coloro che operano nelle Soprintendenze e nelle Università. Tutto ciò ha spinto il Ministero per i Beni e le Attività Culturali a pensare una soluzione al fine di creare un processo evolutivo dei cittadini. L’“innovazione tecnologica”, oltre ad essere un’implementazione di una nuova regola organizzativa, miglio9ra il supporto alla salvaguardia dei beni artistici e archeologici, mettendo a disposizione dei tecnici delle soprintendenze e delle forze dell’ordine strumenti che semplificano l’attività nella tutela del patrimonio culturale. È innegabile il fatto che oggi i nuovi “media” siano il fulcro di un “movimento” verso i modelli rinnovati di comunicazione della conoscenza che offrono le forme più rapide e immediate dell’offerta culturale. Il sistema informativo permette di incrociare le informazioni di carattere tecnico con i dati relativi alla conoscenza del bene e alla sua storia, mettendoli in relazione alla specifica area a cui si riferiscono.

Coating bioattivi su zirconia per applicazioni in campo biomedicale: stato dell'arte e prospettive

I materiali bioceramici, in base alla loro capacità d’interazione con l’osso e i tessuti del corpo umano, possono essere classificati in bioinerti e bioattivi. I materiali bioinerti, una volta impiantati, formano uno strato fibroso, non aderente, all’interfaccia con l’osso. Tale strato è una forma naturale di protezione che l’organismo adotta per isolare il materiale che viene, inizialmente, percepito come estraneo. Al contrario, i materiali bioattivi, una volta impiantati, mostrano una risposta biologica immediata, creando un legame attivo con l’osso e i tessuti nel quale vengono impiantati, favorendo e velocizzando la guarigione. La zirconia è un materiale ceramico altamente biocompatibile, definito come bioinerte per la sua scarsa capacità d’integrazione con l’osso ed i tessuti dell’organismo umano. Questa sua particolarità può, nel lungo termine, comprometterne la funzione fino ad arrivare, in alcuni casi, al totale malfunzionamento dell’impianto. Negli ultimi anni, diversi studi sono stati condotti con lo scopo di aumentare la capacità di biointegrazione della zirconia ed alcuni brevetti sono stati depositati. L’obiettivo del presente lavoro è quello di condurre un’analisi bibliografica ed una ricerca brevettuale sul tema dei coating bioattivi su zirconia per impianti dentali ed ortopedici. La necessità di condurre questo studio deriva dalla crescente richiesta di utilizzo della zirconia, in particolare, nel settore dentale. La zirconia rappresenta, infatti, ad oggi, il migliore candidato per la sostituzione dei metalli negli impianti dentali. Le buone proprietà meccaniche, l’eccellente biocompatibilità e l’aspetto estetico molto simile a quello dei denti naturali, rendono questo materiale particolarmente adatto a questo genere di applicazioni. La possibilità di rendere la sua superficie bioattiva rappresenta un importante miglioramento delle prestazioni in termini di biointegrazione, durabilità, sicurezza ed affidabilità.

Implementazione e benchmarking dell'algoritmo QDANet PRO per l'analisi di big data genomici

Dato il recente avvento delle tecnologie NGS, in grado di sequenziare interi genomi umani in tempi e costi ridotti, la capacità di estrarre informazioni dai dati ha un ruolo fondamentale per lo sviluppo della ricerca. Attualmente i problemi computazionali connessi a tali analisi rientrano nel topic dei Big Data, con databases contenenti svariati tipi di dati sperimentali di dimensione sempre più ampia. Questo lavoro di tesi si occupa dell'implementazione e del benchmarking dell'algoritmo QDANet PRO, sviluppato dal gruppo di Biofisica dell'Università di Bologna: il metodo consente l'elaborazione di dati ad alta dimensionalità per l'estrazione di una Signature a bassa dimensionalità di features con un'elevata performance di classificazione, mediante una pipeline d'analisi che comprende algoritmi di dimensionality reduction. Il metodo è generalizzabile anche all'analisi di dati non biologici, ma caratterizzati comunque da un elevato volume e complessità, fattori tipici dei Big Data. L'algoritmo QDANet PRO, valutando la performance di tutte le possibili coppie di features, ne stima il potere discriminante utilizzando un Naive Bayes Quadratic Classifier per poi determinarne il ranking. Una volta selezionata una soglia di performance, viene costruito un network delle features, da cui vengono determinate le componenti connesse. Ogni sottografo viene analizzato separatamente e ridotto mediante metodi basati sulla teoria dei networks fino all'estrapolazione della Signature finale. Il metodo, già precedentemente testato su alcuni datasets disponibili al gruppo di ricerca con riscontri positivi, è stato messo a confronto con i risultati ottenuti su databases omici disponibili in letteratura, i quali costituiscono un riferimento nel settore, e con algoritmi già esistenti che svolgono simili compiti. Per la riduzione dei tempi computazionali l'algoritmo è stato implementato in linguaggio C++ su HPC, con la parallelizzazione mediante librerie OpenMP delle parti più critiche.