Programmazione ad Agenti - Un Caso di Studio nel Linguaggio Sarl

Agent-oriented programming (AOP) è un paradigma di programmazione che concepisce un software come insieme di agenti che possiedono caratteristiche di autonomia, proattività e che sono in grado di comunicare con altri agenti. Sebbene sia stato impiegato soprattutto nell'ambito dell'intelligenza artificiale questo tipo di programmazione si rivela utile per lo sviluppo di sistemi distribuiti riuscendo a gestire agilmente problemi di concorrenza. Lo scopo di questa tesi è analizzare le caratteristiche del paradigma e dei software basati su agenti, utilizzando come caso di studio Sarl, un linguaggio general-purpose molto recente. La parte principale del lavoro consiste nella descrizione dei modelli teorici che hanno portato alla nascita della programmazione ad agenti, in particolare del modello BDI, e dei principali framework per lo sviluppo di sistemi multi-agente.

Progettazione e Implementazione di una piattaforma di Geofencing per il Context-Aware Advertising

La diffusione di smartphone e dispostivi mobili a cui si è assistito nell’ultima decade ha portato con sé lo sviluppo di nuovi sistemi e tecnologie basate sulla localizzazione. Questi sistemi vengono chiamati Location Based Systems (LBS) ed il loro successo è stato reso possibile dai sensori come GPS, antenna WiFi e accelerometro che hanno permesso agli sviluppatori di creare contenuti e servizi basati sulla posizione dell’utente. Una delle tecnologie su cui si basano i LBS è chiamata Geofencing e consiste nella creazione di aree virtuali (dette geofence) per delimitare luoghi di interesse (Point of Interests) e notificare l’utente quando entra, esce o si trova nelle vicinanze di una delle aree delimitate. Questa caratteristica viene utilizzata soprattutto per realizzare applicazioni che ricordano all’utente di svolgere delle azioni, per esempio un’app di promemoria che ricorda all’utente di comprare il latte quando si trova vicino ad un supermercato. Dal punto di vista economico, uno degli utilizzi piu` promettenti `e il co- siddetto Context Aware Advertising: i possessori di dispositivi mobili che si trovano a camminare nelle vicinanze di un negozio o un centro commer- ciale possono essere considerati possibili clienti e ricevere delle notifiche con pubblicit`a o questionari. Nel seguente lavoro verrà analizzato nel dettaglio cos’è il Geofencing, le sue applicazioni e le tecnologie sulla quale si basa. Verranno presi in considerazione alcuni problemi relativi all’utilizzo delle tecnologie di posizionamento, con particolare attenzione ai consumi di batteria. Verrà inoltre descritta la progettazione e l’implementazione di una piattaforma che permette ai possessori di attività commerciali di creare e gestire dei POI nonché di monitorare gli spostamenti dei possibili clienti. Dopo aver installato l’applicazione mobile sul proprio smartphone, i clienti potranno ricevere notifiche una volta oltrepassati i confini di un geofence.

Un sistema di geolocalizzazione basato su geomagnetismo

La geolocalizzazione è l’insieme di metodi e tecniche che permette di mettere in relazione una certa informazione con un punto specifico della superficie terrestre. Il punto è generalmente indicato in maniera assoluta tramite coordinate latitudinali e longitudinali, oppure in maniera relativa ad altri punti noti. Nello specifico il concetto di geolocalizzazione enfatizza l’aspetto dinamico, riferendosi ad informazioni in tempo reale relative alla posizione, direzione e velocità del soggetto analizzato, e la conseguente analisi di percorso e comportamento. Tutto questo rende possibile la realizzazione di un sistema di localizzazione efficiente. La geolocalizzazione è considerata tra i più rivoluzionari campi di sviluppo in ambito sociale ed economico, pur avendo potenziali problemi legati alla privacy e libertà individuale di non semplice soluzione. In particolare è di interesse di ricerca e in ambito di commercio trovare un sistema di localizzazione adeguato non solo per l’esterno ma anche per situazioni indoor. In questa tesi verranno analizzati i vari metodi di posizionamento fino ad oggi studiati, sia indoor che outdoor per arrivare a proporre un sistema di localizzazione indoor basato su geomagnetismo dell’ambiente. Nel primo capitolo il documento presenta una riflessione storica sull’evoluzione del concetto di localizzazione, partendo dai primi tentativi di navigazione, fino ad arrivare ai più moderni sistemi tecnologici. Vedremo quindi nello specifico quali sono gli ultimi studi e tecnologie per un sistema di localizzazione indoor, concentrandosi sull’analisi dei vantaggi offerti da nuovi dispositivi con gli smartphones. Infine verrà descritto nel dettaglio il lavoro effettuato per la realizzazione di un prototipo di sistema di localizzazione indoor basato su geomagnetismo in sede aziendale GetConnected, dove si è svolta l’attività di tesi, e presso un grosso centro commerciale come caso d’uso pratico.

Unmanned Aerial Vehicle: tecnologie e prospettive future

Partendo dalla definizione di UAV e UAS, arrivando a quella di drone, nella tesi saranno definiti i termini precedenti, ossia un sistema aereo senza pilota a bordo, la nascita del termine drone e le tendenze attuali. Dopo una precisa classificazione nelle quattro categorie principali (droni per hobbisti, commerciali e militari di me- dia grandezza, militari specifici di grandi dimensioni e stealth da combattimento) saranno descritti gli ambiti di utilizzo: da un lato quello militare e della sicurezza, dall’altro quello civile e scientifico. I capitoli centrali della tesi saranno il cuore dell’opera: l’architettura dell’UAV sarà descritta analizzando la totalità delle sue componenti, sia hardware che software. Verranno, quindi, analizzati i problemi relativi alla sicurezza, focalizzandosi sull’hacking di un UAV, illustrandone le varie tecniche e contromisure (tra cui anche come nascondersi da un drone). Il lavoro della tesi prosegue nei capitoli successivi con un’attenta trattazione della normativa vigente e dell’etica dei droni (nonché del diritto ad uccidere con tali sistemi). Il capitolo relativo alla tecnologia stealth sarà importante per capire le modalità di occultamento, le tendenze attuali e i possibili sviluppi futuri degli UAV militari da combattimento. Il capitolo finale sugli sviluppi futuri esporrà le migliorie tecnologiche e gli obiettivi degli UAV negli anni a venire, insieme ad eventuali utilizzi sia militari che civili. La ricerca sarà orientata verso sistemi miniaturizzati, multiple UAV e swarming.

La matematica dei frattali

Questa tesi ha lo scopo di descrivere le proprietà matematiche degli insiemi frattali. Nell'introduzione è spiegato brevemente cosa sono i frattali e vengono fatti alcuni esempi di frattali in natura, per poi passare agli aspetti più matematici nei capitoli. Nel capitolo uno si parla della misura e della dimensione di Hausdorff e viene calcolata, seguendo la definizione, per l'insieme di Cantor. Poi nel secondo capitolo viene descrittà l'autosimilarità e viene enunciato un importante teorema che lega l'autosimilarità e la dimensione di Hausdorff. Nel terzo capitolo vengono descritti degli insiemi frattali molto importanti: quelli di Mandelbrot e di Julia.

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.

Modello stocastico per la plasticità sinaptica

Nel sistema nervoso centrale i neuroni comunicano l'uno con l'altro attraverso le connessioni sinaptiche e sono soggetti a centinaia di stimoli, ma hanno la capacità di distinguerli l'uno dall'altro. L'abilità delle sinapsi di interpretare questi cambiamenti morfologici e biochimici è detta \textit{plasticità sinaptica} e l'obiettivo di questa tesi è proprio studiare un modello per le dinamiche di questo affascinante processo, da un punto di vista prima deterministico e poi stocastico. Infatti le reazioni che inducono la plasticità sinaptica sono ben approssimate da equazioni differenziali non lineari, ma nel caso di poche molecole bisogna tener conto delle fluttuazioni e quindi sono necessari dei metodi di analisi stocastici. Nel primo capitolo, dopo aver introdotto gli aspetti fondamentali del sistema biochimico coinvolto e dopo aver accennato ai diversi studi che hanno approcciato l'argomento, viene illustrato il modello basato sull'aggregazione delle proteine (PADP) volto a spiegare la plasticità sinaptica. Con il secondo capitolo si introducono i concetti matematici che stanno alla base dei processi stocastici, strumenti utili per studiare e descrivere la dinamica dei sistemi biochimici. Il terzo capitolo introduce una giustificazione matematica riguardo la modellizzazione in campo medio e vede una prima trattazione del modello, con relativa applicazione, sui moscerini. Successivamente si applica il modello di cui sopra ai mammiferi e se ne studia nel dettaglio la dinamica del sistema e la dipendenza dai parametri di soglia che portano alle varie transizioni di fase che coinvolgono le proteine. Infine si è voluto osservare questo sistema da un punto di vista stocastico inserendo il rumore di Wiener per poi confrontare i risultati con quelli ottenuti dall'approccio deterministico.

Maximum Principle for Elliptic and Parabolic Equations

Nel primo capitolo si riporta il principio del massimo per operatori ellittici. Sarà considerato, in un primo momento, l'operatore di Laplace e, successivamente, gli operatori ellittici del secondo ordine, per i quali si dimostrerà anche il principio del massimo di Hopf. Nel secondo capitolo si affronta il principio del massimo per operatori parabolici e lo si utilizza per dimostrare l'unicità delle soluzioni di problemi ai valori al contorno.

Classe de Mathématiques réalité et communication

Cette étude se concentre sur une expérience d'enseignement exploratoire des mathématiques (EEM), réalisée avec des élèves de 5ème année, dans laquelle on établit une forte connexion avec la réalité et on intensifie la capacité de communication des élèves, tout en promouvant la résolution de problèmes et le raisonnement mathématique. Les leçons de mathématiques sont organisées en quatre phases: (i) Lancement de la tâche aux élèves; (ii) Développement de la tâche; (iii) Discussion de la tâche; et (iv) Systématisation de l’apprentissage mathématique. Afin de préparer la discussion de la tâche, l'enseignante a mis en œuvre la galerie des tâches, grâce à laquelle les élèves ont leur premier contact avec les résolutions de leurs collègues: ils peuvent poser des questions et enregistrer des commentaires dans les feuilles exposées. Cet article présente les résultats d'une leçon sur les pourcentages, dans laquelle les élèves ont travaillé la tâche intitulée « Rabais au Bit-@-Byte ». L'analyse de cette tâche ainsi que les résultats des tâches similaires de la réalité effectuées tout au long de l'année scolaire montrent que le modèle d'enseignement exploratoire des mathématiques (EEM) permet des améliorations dans l'apprentissage des mathématiques au niveau des concepts et aussi des capacités transversales comme le raisonnement, la communication et la résolution de problèmes mathématiques.

Caractérisation de différents mécanismes immunologiques conduisant au dommage glomérulaire chez le greffé rénal avec rejet humoral; les effets des anticorps anti-HLA sur l’expression endothéliale et les niveaux sériques de thrombomoduline chez les patients transplantés

La greffe rénale est le meilleur traitement de l’insuffisance rénale terminale. Par contre, la perte prématurée du greffon est un problème majeur chez les greffés qui est due majoritairement au rejet. La classification de Banff reconnait 2 catégories de rejets : une réaction médiée par les anticorps (ABMR) et/ou une réaction cellulaire (TCMR). L’ABMR est caractérisé par le développement de novo d’anticorps contre le donneur (DSA) en circulation et des dommages histologiques, comme la glomérulopathie du transplant. De novo, les DSA anti-HLA-II sont plus fréquemment associés à la glomérulopathie du transplant que les anti-HLA-I et sont associés à un moins bon pronostic clinique. Toutefois, le mécanisme par lequel les anti-HLA-II sont plus dommageables demeure mal connu. Mon hypothèse est que les anticorps anti-HLA sont suffisants pour perturber l’hémostase de l’endothélium glomérulaire. Plus particulièrement, nous croyons que les anticorps anti-HLA-II, diminuent l’expression de la thrombomoduline (TBM), ce qui pourrait mener aux lésions endothéliales glomérulaires associées à la glomérulopathie du transplant. Pour évaluer cette hypothèse, j’ai utilisé un modèle in vitro d’endothélium glomérulaire humain et du sérum de patients transplantés rénaux. Nous avons observé que l’expression membranaire de la TBM augmentait de manière dosedépendante en présence d‘anti-HLA-I, mais pas anti-HLA-II. Toutefois, lors de la mesure intracellulaire nous avons observé une accumulation cytosolique en réponse à une stimulation par les anti-HLA-II. De plus, nous avons observé une association significative entre la présence de DSA circulants anti-HLA-II dans les patients transplantés rénaux et un faible taux de TBM sérique. Ces résultats indiquent que la liaison des anticorps anti-HLA-I et II produit des effets différents sur l’expression endothéliale de la TBM. Les anticorps anti-HLA-II pourraient être associés à un état prothrombotique qui pourrait expliquer l’occurrence plus élevée de lésions microangiopathiques dans l’allogreffe et la moins bonne condition observée chez les patients ayant ces anticorps.

Influence de la taille et de la gradation des particules sur la résistance au cisaillement et le comportement dilatant des matériaux granulaires

Résumé : Cette étude examine l'impact de la taille et de la gradation de particules sur les corrélations théoriques et empiriques existantes les plus connues entre la résistance au cisaillement et le comportement dilatatant des matériaux granulaires en condition de déformation plane et en compression triaxiale drainée. À cette fin, 276 tests de cisaillements symétriques directs et 35 tests de compressions triaxiales drainées ont été menés sur des échantillons composés de billes de basalte (particules rondes), et de sables constitués de particules angulaires (sable de Péribonka et sable d'Eastmain) sur une échelle de 63 µm à 2000 µm afin d'évaluer leur résistance au cisaillement et leur comportement de dilatance sur une vaste échelle de pressions normales et de densités relatives initiales. Premièrement, la fiabilité et l'applicabilité des limites de mesure à l’aide de tests physiques de cisaillements symétriques directs dans l'interprétation de la résistance au cisaillement frictionnel en déformation plane des matériaux granulaires ont été discutées et confirmées par l'usage du code informatique DEM, SiGran. L'accent a été particulièrement mis sur la validation du modèle DEM au moyen de comparaison des résultats des simulations DEM avec leurs équivalents physiques à une échelle macro. Les résultats virtuels DSA sont abordés du point de vue de la coaxialité entre les principales tensions et les principales directions des paliers de pression ainsi que de la déviation de la direction d'extension nulle à partir de la direction horizontale. Les résultats numériques fournissent également des données quantitatives sur les différentes formes d'énergie consommées durant le cisaillement confirmées par d'autres résultats physiques et numériques publiés. Sur la base des postulats précédents, un examen minutieux des résultats des essais de cisaillements directs et de données issues de la littérature a été accompli afin d'évaluer la fiabilité des formules empiriques bien connues de Bolton et Collins et al. avec leurs constantes couramment employées en condition de déformation plane. L'étude montre qu'une application des relations empiriques de force-dilatation de cisaillement avec les constantes proposées par Bolton (1986) et Collins et al. (1992) aux sables ayant une distribution de taille de particules différente peut conduire à surestimer leurs valeurs en terme de force de cisaillement. Dans cette étude, les coefficients des équations de Bolton et Collins et al. ont donc été ajustée afin de prendre en compte les caractéristiques des particules, en particulier le diamètre médian, D50. De manière analogue, les effets microstructuraux imposés par la géométrie interne des particules (par exemple la taille, la forme et la gradation des particules) sur la relation tension-dilatation très connue, celle de Rowe (1962), et son ajustement empirique en condition triaxiale drainée ont été examinés dans cette étude. Une comparaison des prédictions des formules proposées avec les données de force de cisaillement issues de la littérature fournit de nombreuses preuves en faveur des contraintes mises en place au sein des relations existantes de force-dilatation de cisaillement en condition de déformation plane et triaxiale. Ces comparaisons prouvent également que la prise en compte de la taille des grains conduit à des résultats plus tangibles que lorsque la taille de la particule n'est pas considérée. Les formules de force-dilatation ajustées peuvent se révéler avantageuses pour évaluer indépendamment la cohérence des forces de cisaillement déterminées expérimentalement et pour introduire des lois d’écoulement plus précises dans les analyses géotechniques analytiques et numériques.

A new marker for rapid sex identification of red deer (cervus elaphus) | Un nuovo marcatore per l'identificazione rapida del sesso del cervo (cervus elaphus)

Un nuovo marcatore per l'identificazione rapida del sesso del cervo (Cervus elaphus). Il cervo (Cervus elaphus) è una specie cacciabile economicamente importante che risente di alcuni problemi di conservazione. La conoscenza di parametri di popolazione come il rapporto sessi è importante per la sua gestione e conservazione. In questo studio, utilizzando condizioni poco specifiche per l’amplificazione di un frammento del cromosoma Y già descritto in precedenza, descriviamo un metodo che permette una rapida e corretta identificazione del sesso in questa specie, producendo due amplicons diversi nei maschi e uno nelle femmine. I due frammenti, diversi per il peso molecolare, sono facilmente separabili mediante elettroforesi in gel di agarosio, permettendo l'identificazione del sesso con un unico test in campioni biologici come carcasse, embrioni recuperati da femmine abbattute e, forse, peli o escrementi (se la qualità del DNA è accettabile). Questo metodo può essere di aiuto in studi sul rapporto sessi degli embrioni, sulla mortalità associata al sesso o sul rapporto sessi in popolazioni selvatiche o semiselvatiche, con ricadute applicative per le analisi demografiche, la gestione venatoria e la conservazione

Previsione dell'evoluzione della microstruttura in processi industriali di estrusione delle leghe di alluminio serie AA6XXX

Nell’ambito di questa ricerca sono stati sviluppati modelli in grado di prevedere le dimensioni dei grani dopo il processo di estrusione di alcune leghe serie 6XXX, in particolare AA6060, AA6063 e AA6082. Alcuni modelli matematici proposti in letteratura sono stati presi in considerazione e implementati su Qform, codice FEM in grado di simulare processi di deformazione plastica. Sono state condotte diverse campagne sperimentali, tra cui una di visioplasticità necessaria per ottenere dati sperimentali che permettessero la validazione del Codice (modellazione dell’attrito, dello scambio termico, del flow stress del materiale). Altre prove di microestrusione ed estrusione inversa hanno fornito dati sperimentali che sono stati messi in correlazione con i risultati numerici di una serie di simulazioni. Infine è stata effettuata una campagna sperimentale di estrusione industriale a tutti gli effetti, ottenendo un profilo dalla geometria piuttosto complessa in lega AA6063, i dati ricavati hanno permesso : • la validazione di un modello unico di ricristallizzazione dinamica, • la valutazione di modelli per la predizione del comportamento durante recristallizzazione statica

L'alternanza scuola-lavoro al museo: una ricerca empirico-descrittiva in Emilia-Romagna

La tesi si propone di approfondire il tema dell’Alternanza scuola-lavoro (ASL) al museo, un ambito di interesse che ha ricevuto un’importante attenzione a seguito della promulgazione della L.107/2015. La legge ha, infatti, stabilito l’obbligatorietà per tutti gli studenti del triennio delle scuole secondarie di secondo grado di svolgere dei percorsi di ASL in contesti di lavoro differenti, con un esplicito riferimento a quello museale. Il contesto di riferimento scelto per la ricerca è l’Emilia-Romagna, una scelta fatta tenendo conto dell’impegno che la regione ha portato avanti, già dalla fine degli anni Novanta, in direzione di valorizzazione di percorsi integrati scuola-formazione professionale. La ricerca è partita dall’analisi della letteratura di riferimento sul rapporto istruzione-mondo del lavoro in ambito nazionale e internazionale e ha previsto due successive fasi: la prima con una esplorazione qualitativa del fenomeno su un campione ristretto di testimoni privilegiati, appartenenti all’ambito istituzionale, scolastico e museale mediante interviste; la seconda con un’esplorazione quantitativa del fenomeno tramite survey su un campione più ampio mediante la sommistrazione di questionari rivolti agli studenti e ai referenti e tutor ASL delle scuole e dei musei. Nello specifico l’analisi ha coinvolto 430 studenti di 28 scuole della regione che hanno partecipato a 495 percorsi di alternanza scuola-lavoro realizzati nel corso del triennio e a partire dall’anno scolastico 2015-2016. Inoltre hanno preso parte alla ricerca 56 referenti e tutor ASL di 45 scuole e 86 referenti e tutor ASL provenienti da 83 musei.

La storia di Iefte (Jdc 10,6-12,7). Studi sul testo biblico e sulla sua ricezione nell'Antichità

La tesi tratta la storia veterotestamentaria di Iefte (Jdg 10,6-12,7). Il lavoro è diviso in due parti: la prima concerne la formazione del testo biblico e propone una nuova analisi critico-testuale del passo attraverso il confronto tra TM, LXX, Vg e altre fonti. Questo raffronto esamina i rapporti tra il TM e il modello ebraico dei LXX e le differenze tra le diverse recensioni dei LXX; inoltre, lo studio del lessico e dei temi in esso presenti porta alla formulazione di una nuova ipotesi sul tempo della composizione e sulla contestualizzazione storica e letteraria dell'episodio all'interno del corpus biblico. La seconda parte si concentra sulla storia delle interpretazioni del passo nel mondo latino e greco dal I secolo d.C. all'inizio del V secolo, e ha portato alla costituzione di un dossier di brani, esaminati nel loro contesto, che commentano o citano l'episodio. L'attenzione al contesto ha permesso di risolvere alcuni problemi che finora hanno impedito la ricostruzione del percorso esegetico del brano (attribuzione di alcuni frammenti catenari, datazione del De virginitate di Ambrogio, ecc.) Questo nuovo approccio di ricerca combina un'analisi completa dell'episodio biblico con uno studio approfondito della sua esegesi. Rivela così, da un lato, le scelte effettuate durante la composizione di un testo scritturistico problematico, e, dall'altro, i diversi meccanismi utilizzati dagli esegeti per spiegare il significato di una storia in cui la bontà di Dio, che ha tollerato il sacrificio umano, è messa in discussione.