Il modello di Hopfield: un'applicazione del modello di Ising alle reti neurali

Il Modello di Hopfield è un tentativo di modellizzare il comportamento di una memoria associativa come proprietà emergente di un network costituito da unità a due stati interagenti tra loro, e costituisce un esempio di come gli strumenti della meccanica statistica possano essere applicati anche al campo delle reti neurali. Nel presente elaborato viene esposta l'analogia tra il Modello di Hopfield e il Modello di Ising nel contesto delle transizioni di fase, applicando a entrambi i modelli la teoria di campo medio. Viene esposta la dinamica a temperatura finita e ricavata e risolta l'equazione di punto a sella per il limite di non saturazione del Modello di Hopfield. Vengono inoltre accennate le principali estensioni del Modello di Hopfield.

La enseñanza Bilingüe de la Paleontología en la Universidad Complutense de Madrid. Aplicación android de ayuda para el estudiante

Memoria del Proyecto de Innovación Educativa PIMCD2015-78

Development of a framework to create plugins in Android Apps

The present work aims to allow developers to implement small features on a certain Android application in a fast and easy manner, as well as provide their users to install them ondemand, i.e., they can install the ones they are interested in. These small packages of features are called plugins, and the chosen development language to develop these in was JavaScript. In order to achieve that, an Android framework was developed that enables the host application to install, manage and run these plugins at runtime. This framework was designed to have a very clean and almost readable API, which allowed for better code organization and maintainability. The implementation used the Google’s engine “V8” to interpret the JavaScript code and through a set of JNI calls made that code call certain Android methods previously registered in the runtime. In order to test the framework, it was integrated with the client’s communication application RCS+ using two plugins developed alongside the framework. Although these plugins had only the more common requirements, they were proven to work successfully as intended. Concluding, the framework although successful made it clear that this kind of development through a non-native API has its set of difficulties especially regarding the implementation of complex features.

Aplicativos Android para agricultura: benefícios do desenvolvimento em parceria com o usuário.

RESUMO - Com a popularização de tablets e smartphones e as peculiaridades do desenvolvimento de aplicativos para esses dispositivos, surge a necessidade de adaptar os métodos de avaliação de usabilidade para resultados mais precisos. Este trabalho propõe o método Coldemob para validação de interfaces de aplicativos móveis com a participação de representantes do usuário final, com uma etapa presencial e uma etapa remota após o lançamento do aplicativo, detalhando a aplicação da segunda etapa. O método foi testado com um aplicativo do domínio agrícola e os resultados mostraram que ao incluir o usuário no processo de construção do aplicativo, a compreensão dos desenvolvedores acerca do domínio aumentou. A etapa remota se mostrou complementar à presencial, possibilitando um maior número de problemas identificados.

Machine learning per l'idrologia: applicazione del metodo random forests per la previsione degli eventi di piena fluviale con un approccio probabilistico

Le tecniche di Machine Learning sono molto utili in quanto consento di massimizzare l’utilizzo delle informazioni in tempo reale. Il metodo Random Forests può essere annoverato tra le tecniche di Machine Learning più recenti e performanti. Sfruttando le caratteristiche e le potenzialità di questo metodo, la presente tesi di dottorato affronta due casi di studio differenti; grazie ai quali è stato possibile elaborare due differenti modelli previsionali. Il primo caso di studio si è incentrato sui principali fiumi della regione Emilia-Romagna, caratterizzati da tempi di risposta molto brevi. La scelta di questi fiumi non è stata casuale: negli ultimi anni, infatti, in detti bacini si sono verificati diversi eventi di piena, in gran parte di tipo “flash flood”. Il secondo caso di studio riguarda le sezioni principali del fiume Po, dove il tempo di propagazione dell’onda di piena è maggiore rispetto ai corsi d’acqua del primo caso di studio analizzato. Partendo da una grande quantità di dati, il primo passo è stato selezionare e definire i dati in ingresso in funzione degli obiettivi da raggiungere, per entrambi i casi studio. Per l’elaborazione del modello relativo ai fiumi dell’Emilia-Romagna, sono stati presi in considerazione esclusivamente i dati osservati; a differenza del bacino del fiume Po in cui ai dati osservati sono stati affiancati anche i dati di previsione provenienti dalla catena modellistica Mike11 NAM/HD. Sfruttando una delle principali caratteristiche del metodo Random Forests, è stata stimata una probabilità di accadimento: questo aspetto è fondamentale sia nella fase tecnica che in fase decisionale per qualsiasi attività di intervento di protezione civile. L'elaborazione dei dati e i dati sviluppati sono stati effettuati in ambiente R. Al termine della fase di validazione, gli incoraggianti risultati ottenuti hanno permesso di inserire il modello sviluppato nel primo caso studio all’interno dell’architettura operativa di FEWS.

Diabete mellito nel cane: terapia, monitoraggio e aspetti prognostici

Il diabete mellito (DM) è una delle malattie endocrine più comuni nel cane. Una volta raggiunta la diagnosi di DM, è necessario iniziare un trattamento insulinico nonché una dieta specifica, al fine di controllare i livelli di glucosio nel sangue e di conseguenza i segni clinici. Inoltre, al fine di ottenere un buon controllo glicemico, è essenziale garantire uno stretto monitoraggio terapeutico. Nella presente tesi sono riportati numerosi studi relativi a trattamento, monitoraggio e prognosi dei cani con DM. Il capitolo 2 è una review che illustra i principali aspetti terapeutici e di monitoraggio del DM. Il capitolo 3 riporta uno studio che confronta l'efficacia e la sicurezza dell'insulina Lenta e dell'insulina Neutra Protamine Hagedorn (NPH). I metodi di monitoraggio per cani con DM possono essere classificati in diretti od indiretti. I metodi di monitoraggio diretto includono misurazioni serali della glicemia o monitoraggio continuo del glucosio interstiziale tramite appositi dispositivi (Continuous Glucose Monitoring System, CGMS). Le modalità indirette comprendono la valutazione dell'assunzione di acqua e del peso corporeo, la quantificazione del glucosio/chetoni nelle urine e la misurazione delle concentrazioni di proteine glicate. Il capitolo 4 mostra uno studio volto a valutare l'accuratezza e la precisione di un glucometro e un glucometro/chetometro nel cane. Il Flash Glucose Monitoring system è un CGMS recentemente validato per l'uso nel cane; la sua utilità clinica nel monitoraggio del DM canino è esaminata nel capitolo 5. Il capitolo 6 descrive uno studio in cui si validano 2 metodi analitici per la misurazione delle fruttosamine sieriche e dell'emoglobina glicata nel cane e confronta l’utilità delle due proteine glicate nel definire il controllo glicemico. Infine, il capitolo 7 riporta uno studio finalizzato a determinare il tempo di sopravvivenza e ad identificare il valore prognostico di diverse variabili cliniche e clinico-patologiche nei cani con DM.

Criteri e strumenti per l'applicazione dell'H-BIM. La gestione digitalizzata dei processi tra teoria e prassi

La ricerca si pone l’obiettivo di analizzare strumenti e metodi per l’applicazione dell’H-BIM comprendendone le criticità e fornendo soluzioni utili in questo campo. Al contempo la finalità non è circoscrivibile alla semplice produzione di modelli 3D semanticamente strutturati e parametrici a partire da una nuvola di punti ottenuta con un rilievo digitale, ma si propone di definire i criteri e le metodiche di applicazione delle H-BIM all’interno dell’intero processo. L’impostazione metodologica scelta prevede un processo che parte dalla conoscenza dello stato dell’arte in tema di H-BIM con lo studio dell’attuale normativa in materia e i casi studio di maggior rilevanza. Si è condotta una revisione critica completa della letteratura in merito alla tecnologia BIM e H-BIM, analizzando esperienze di utilizzo della tecnologia BIM nel settore edile globale. Inoltre, al fine di promuovere soluzioni intelligenti all’interno del Facility Management è stato necessario analizzare le criticità presenti nelle procedure, rivedere i processi e i metodi per raccogliere e gestire i dati, nonché individuare le procedure adeguate per garantire il successo dell’implementazione. Sono state evidenziate le potenzialità procedurali e operative legate all’uso sistematico delle innovazioni digitali nell’ottica del Facility Management, oltre che allo studio degli strumenti di acquisizione ed elaborazione dei dati e di post-produzione. Si è proceduto al testing su casi specifici per l’analisi della fase di Scan-to-BIM, differenziati per tipologia di utilizzo, data di costruzione, proprietà e localizzazione. Il percorso seguito ha permesso di porre in luce il significato e le implicazioni dell’utilizzo del BIM nell’ambito del Facility Management, sulla base di una differenziazione delle applicazioni del modello BIM al variare delle condizioni in essere. Infine, sono state definite le conclusioni e formulate raccomandazioni riguardo al futuro utilizzo della tecnologia H-BIM nel settore delle costruzioni. In particolare, definendo l’emergente frontiera del Digital Twin, quale veicolo necessario nel futuro della Costruzione 4.0.

Applicazione del sistema di gestione per la salute e sicurezza sul lavoro in conformità al nuovo standard ISO 45001:2018, un caso di studio in Rosetti Marino SpA.

L’implementazione di un sistema di gestione può rappresentare un’opportunità di crescita per quelle organizzazioni che riescono ad integrare efficacemente la gestione degli aspetti di salute e sicurezza con gli altri sistemi presenti, quali il sistema di gestione strategica o il sistema di comunicazione interno. Un sistema di gestione non garantisce, in modo diretto, performance migliori, ma se utilizzato con coerenza rispetto ai valori aziendali, stabiliti nella politica di gruppo, permette di gestire le responsabilità, i processi, le tempistiche di attuazione e le non conformità rilevate in maniera adeguata. Alla luce di quanto esposto, l’obiettivo di questo lavoro è stato quello di: 1. esaminare i requisiti del nuovo Standard ISO 45001:2018 e della OHSAS 18001:2007 in via di sostituzione; 2. effettuare la gap analysis, ovvero un’analisi degli scostamenti relativa ai contenuti della ISO 45001:2018 a partire dal sistema di gestione salute e sicurezza aziendale certificato OHSAS 18001:2007; 3. definire le azioni necessarie ad assicurare la transizione della certificazione dall’attuale Standard OHSAS 18001:2007 al suddetto ISO 45001:2018. Il lavoro è scaturito nel corso dello svolgimento di un tirocinio presso Rosetti Marino S.p.A. all’interno del reparto HSSE-Q che si occupa di salute e sicurezza sul lavoro, protezione dell’ambiente e qualità dei processi produttivi.

Sviluppo e applicazione di un reattore di prepolimerizzazione in continuo

Presso lo stabilimento DOW di Correggio (che è una system house per la produzione di prepolimeri poliuretanici) la ricerca è attualmente incentrata sullo sviluppo su scala industriale di un reattore pilota continuo di tipo plug flow che andrà a sostituire i tradizionali processi BATCH, con un guadagno in termini di sicurezza e costi di investimento. In particolare, il progetto prevedeva di sperimentare le “ricette” attuali di prepolimeri per applicazioni nel settore della calzatura per valutarne l’equivalenza con quelli fatti in BATCH, e di calibrare un modello del reattore pilota che permetta di prevedere le prestazioni del reattore e supporti lo scale-up attraverso la raccolta di dati sperimentali (profili di temperatura, tempi di residenza, titolo di NCO del prodotto, ecc...). Alla conclusione del progetto è possibile affermare che la tecnologia è robusta, scalabile e rispetto ai sistemi di produzione attuale presenta una maggiore produttività, sicurezza e minori costi di investimento. At the DOW plant in Correggio, which is a system house for the production of polyurethane prepolymers, the research is currently focused on the develompment and application of a plug flow type continuos reactor that will replace the traditional BATCH processes, with advantages in terms of process safety an investment costs. In particular, the project aims were to test in the pilot plant the prepolymer receipts for footwear application, find out if the result products were similar or better than the ones made with BATCH reactor and harvest experimental data (such as temperatures profiles, reaction time, residual NCO value, etc...) in order to calibrate a model that will support the scale-up to the industrial plant. Now that the project is ended, it is possibile to assert that this tecnology is reliable, scalable, safer and cheaper than the old processes.

Valutazione della applicazione del ciclo Miller a motori a benzina ad iniezione diretta ad alta potenza specifica

Negli ultimi decenni nuove e sempre più restrittive normative antiinquinamento son state introdotte nei paesi maggiormente industrializzati dettando un aumento degli sforzi progettuali imposti all’industria automobilistica per cercare di contenere l’impatto ambientale esercitato dai motori a combustione interna. E’ evidente quindi l’importanza di possedere una profonda conoscenza dei fenomeni fisici e chimici che influenzano i processi di combustione così come avere a disposizione modelli quanto più accurati per la loro corretta rappresentazione tramite CFD. Per i motori ad accensione comandata gli studi si sono focalizzati sulla ricerca dell’efficienza evitando di incorrere in rischi di detonazione. Numerose sono le tecnologie che permettono di assolvere alle funzioni richieste, tra le più affermate vi sono i sistemi a fasatura variabile, in particolare le strategie che prendono il nome di ciclo Miller. Tale sistema, implementabile facilmente senza l’utilizzo di alcun sistema aggiuntivo, permette di ridurre sensibilmente temperature e pressioni in camera. Il seguente lavoro di tesi studierà, attraverso simulazione numerica tridimensionale condotta con software CONVERGE®, gli aspetti fisici e fluidodinamici indotti dalle diverse strategie REF, EIVC e LIVC applicate ad un motore GDI con tecnologia downsizing e turbocharging (modellato in ambiente CAD, tramite PTC CREO®). Successivamente, allo stesso motore, saranno apportate modifiche progettuali con lo scopo di comprendere in che modo un aumento di un punto del rapporto di compressione, che equivale a spostarsi verso zone a prestazioni più elevate, impatti sull’entità di pressione, temperatura e comportamento fluidodinamico e fisico a pari condizioni operative e di alzata. L’analisi ed il confronto con gli altri casi sancirà se questa nuova configurazione possa essere accettabile o rischiosa ai fini della detonazione.

Applicazione di tecniche untarget molecolari e chimiche per la ricerca di allergeni vegetali in alimenti

I frutti secchi ed i semi commestibili hanno comprovati benefici per la salute, essendo il loro consumo relazionato con la riduzione del rischio di malattie croniche. Tuttavia, questi alimenti hanno un elevato potenziale allergico per una parte della popolazione mondiale. A causa del fatto che le allergie alimentari sono in aumento, diventa importante conoscere tutti i componenti presenti in un alimento, anche se in tracce. Il Regolamento UE n°1169/2011 ha normalizzato le leggi sull’etichettatura delle sostanze che causano allergie ed intolleranze alimentari. Di conseguenza, vi è l'urgente necessità di metodi specifici e affidabili in grado di rilevare allergeni negli alimenti che permettano di garantire la sicurezza alimentare e la conformità delle etichette, migliorando così la vita dei consumatori allergici. Sebbene le tecniche immunologiche siano più specifiche per l’identificazione di proteine allergeniche, le tecniche basate sul DNA sono più adatte per matrici alimentari molto complesse o nel caso di alimenti che hanno subito numerosi processi di trasformazione, mostrandosi come metodi alternativi affidabili. L’obiettivo di questo lavoro di tesi è stato quello di sviluppare una metodica per il rilevamento di specie allergeniche vegetali (frutta a guscio e semi commestibili) in matrici alimentari usando la tecnica del DNA Barcoding e la tecnica della Real-Time PCR. I vantaggi di queste tecniche sono, oltre alla necessità di quantità minime di campione, la possibilità di identificare varie specie allergeniche in simultaneo, anche dopo che queste abbiano subito processi di lavorazione. Si è inoltre fatta un’analisi fingerprinting dei composti volatili su matrici alimentari attraverso il gascromatografo HERACLES II. Le metodiche sviluppate possono fungere come metodi di screening veloci ed affidabili nella riduzione di possibili contaminazioni dei prodotti alimentari, rilevando la presenza o confermando l'assenza di allergeni.

Comparazione performance di un'applicazione enterprise basata su service mesh

Ultimamente si stanno sviluppando tecnologie per rendere più efficiente la virtualizzazione a livello di sistema operativo, tra cui si cita la suite Docker, che permette di gestire processi come se fossero macchine virtuali. Inoltre i meccanismi di clustering, come Kubernetes, permettono di collegare macchine multiple, farle comunicare tra loro e renderle assimilabili ad un server monolitico per l'utente esterno. Il connubio tra virtualizzazione a livello di sistema operativo e clustering permette di costruire server potenti quanto quelli monolitici ma più economici e possono adattarsi meglio alle richieste esterne. Data l'enorme mole di dati e di potenza di calcolo necessaria per gestire le comunicazioni e le interazioni tra utenti e servizi web, molte imprese non possono permettersi investimenti su un server proprietario e la sua manutenzione, perciò affittano le risorse necessarie che costituiscono il cosiddetto "cloud", cioè l'insieme di server che le aziende mettono a disposizione dei propri clienti. Il trasferimento dei servizi da macchina fisica a cloud ha modificato la visione che si ha dei servizi stessi, infatti non sono più visti come software monolitici ma come microservizi che interagiscono tra di loro. L'infrastruttura di comunicazione che permette ai microservizi di comunicare è chiamata service mesh e la sua suddivisione richiama la tecnologia SDN. È stato studiato il comportamento del software di service mesh Istio installato in un cluster Kubernetes. Sono state raccolte metriche su memoria occupata, CPU utilizzata, pacchetti trasmessi ed eventuali errori e infine latenza per confrontarle a quelle ottenute da un cluster su cui non è stato installato Istio. Lo studio dimostra che, in un cluster rivolto all'uso in produzione, la service mesh offerta da Istio fornisce molti strumenti per il controllo della rete a scapito di una richiesta leggermente più alta di risorse hardware.

Arricchimento semantico nel contesto dell'Existing Building Information Modelling: aspetti metodologici e applicazione al caso della Rocca Estense di San Felice sul Panaro.

(ITA) L’industria mondiale odierna nel campo dell’architettura e dell’ingegneria si esprime quasi esclusivamente mediante l’approccio BIM, Building Information Modeling. Anche se sviluppato pensando alle nuove costruzioni ed ancora in via di perfezionamento, è entrato prepotentemente nei capitoli normativi di molti stati all’urlo dell“interoperability”. Su questo tema è recente l’interesse e la possibilità di adozione per l’intervento sul costruito, ovvero di Existing Building Information Modelling, eBIM. Gli studi applicativi-sperimentali in questo ambito sono sempre più numerosi e convergono, purtroppo, sulla delicata correlazione tra la gestione del contenuto semantico e la perdita di interoperabilità. Questa tesi si incentra sull’analisi di tale correlazione valutando in particolare l’aspetto metodologico-applicativo dell’arricchimento semantico adottando come caso studio la Torre Nord della Rocca Estense di San Felice sul Panaro. (ENG)Today's global industry in architecture and engineering fields, expresses itself almost entirely focusing on BIM, Building Information Modeling. Even though it was developed taking in consideration new buildings and the ones that are in the process of improvement, it has entered the regulatory chapters of many states in the hymn of "interoperability". Concerning this topic is recent the interest and possibility of adopting a process to intervene on the already built constructions, Existing Building Information Modeling, eBIM. Application-experimental studies in this area are increasingly numerous and unfortunately converge, on the delicate correlation between the management of the semantic content and the loss of interoperability. This thesis focuses on the analysis of this correlation by evaluating in particular the methodological-applicative aspect of semantic enrichment by adopting the North Tower of the Rocca Estense in San Felice sul Panaro as a case study.

Sintesi, caratterizzazione e nano-strutturazione di politiofeni e loro applicazione in celle solari

Negli ultimi decenni i polimeri coniugati, grazie alla loro peculiarità di essere dei semiconduttori organici, hanno attirato l’attenzione della ricerca scientifica, e tra questi composti rientrano i politiofeni. Versatilità, robustezza chimica strutturale e fluorescenza sono alcune delle proprietà che caratterizzano tali composti e che hanno permesso di esplorare nuovi materiali da un punto di vista scientifico e tecnologico. Recentemente molto interessanti sono risultate essere le nanoparticelle politiofeniche poiché permettono di modulare le proprietà chimico-fisiche dei relativi polimeri, ampliandone le potenzialità a trovare applicazione in molteplici dispositivi elettronici, tra cui le celle solari (CS) organiche. Infatti, molto attivo è l’interesse della comunità scientifica per ottimizzare questi dispositivi ricercando nuovi prodotti che soddisfino diversi requisiti, come riduzione dell’impatto ambientale, la facilità di preparazione e compatibilità con substrati flessibili. In tale contesto, uno degli obiettivi della ricerca attualmente si focalizza sulla preparazione di nuovi accettori da usare in CS organiche alternativi ai derivati fullerenici, i quali presentano diversi svantaggi. Alla luce dei più recenti risultati si è visto che i politiofeni push-pull, caratterizzati dall’alternanza di gruppi accettori (A) e gruppi donatori (D), hanno una notevole potenzialità a rimpiazzare tali materiali e ad essere usati come accettori non-fullerenici. Infatti, questi hanno permesso di ottenere buoni risultati in termini di conversioni ed efficienze delle celle fotovoltaiche. Lo scopo di questo lavoro di tesi è sintetizzare sei nuovi polimeri a base tiofenica (quattro con sequenza A-D e due con sequenza A-A) per studiarne le possibili applicazioni come materiali accettori non-fullerenici e la loro organizzazione in strutture ordinate di nanoparticelle.

Il segnale di bioimpedenza per il monitoraggio remoto multiparametrico dei pazienti affetti da COVID-19: il sistema MySIGN

Il CoViD-19, infezione dell’apparato respiratorio causata dal virus SARS-COV-2, può indurre una congestione polmonare acuta caratterizzata da dispnea, bassa saturazione di ossigeno e, spesso, infiltrazioni di liquido nei polmoni. In letteratura sono presenti diversi studi sul monitoraggio della congestione polmonare, seppur di diversa eziologia, per mezzo del segnale di bioimpedenza transtoracica. Questa grandezza quantifica la resistenza opposta dai tessuti al passaggio di una minima corrente alternata che diminuisce in relazione al maggiore contenuto di liquido nel tessuto polmonare patologico. Il monitoraggio remoto dello stato polmonare del paziente CoViD-19 mediante bioimpedenza transtoracica rappresenterebbe una soluzione ottimale in termini di pervasività, semplicità di sistema, sicurezza dal contagio e non invasività. Questo studio, inquadrato in un più ampio progetto regionale, MySIGN, si pone come obiettivo quello di caratterizzare il funzionamento di una scheda prototipale e individuare il setup sperimentale più idoneo per l’acquisizione dei segnali ECG e di bioimpedenza. Per confermare le ipotesi sulla variazione di impedenza è stato scelto come gold standard un sistema commerciale (Edema Guard Monitor) del quale sono state valutate la ripetibilità e sensibilità nell’effettuare misure di impedenza. Vengono perciò riportate le principali soluzioni progettuali per l’acquisizione dei segnali bioimpedenziometrici ed elettrocardiografici, le relative elaborazioni e gli algoritmi che permettono di ricavare stime di frequenza respiratoria, battito cardiaco e intervallo QT. Tali informazioni saranno poi integrate con misure di temperatura ed SpO2 in modo tale da fornire al personale sanitario una panoramica completa dello stato del paziente. La scheda di acquisizione verrà integrata nel dispositivo di telemonitoraggio del progetto MySIGN, il quale sarà impiegato in uno studio di sperimentazione clinica e successivamente andrà incontro all’iter di marcatura CE.