1000 resultados para grado di Brouwer grado di Leray-Schauder
Resumo:
Il lavoro di tesi è stato svolto presso Datalogic ADC, azienda attiva nel campo dell'automazione industriale. La divisione presso cui mi sono recato per 6 mesi ha sede a Pasadena (California, USA) e si occupa principalmente di sistemi di visione e riconoscimento oggetti, con particolare applicazione al settore della grande distribuzione. L'azienda ha in catalogo diversi prodotti finalizzati ad automatizzare e velocizzare il processo di pagamento alle casse da parte dei clienti. In questo contesto, al mio arrivo, era necessario sviluppare un software che permettesse di riconoscere i comuni carrelli per la spesa quando sono inquadrati dall'alto, con posizione verticale della camera. Mi sono quindi occupato di sviluppare ed implementare un algoritmo che permetta di riconoscere i carrelli della spesa sotto ben precise ipotesi e dati iniziali. Come sarà spiegato più dettagliatamente in seguito, è necessario sia individuare la posizione del carrello sia il suo orientamento, al fine di ottenere in quale direzione si stia muovendo. Inoltre, per i diversi impieghi che si sono pensati per il software in oggetto, è necessario che l'algoritmo funzioni sia con carrelli vuoti, sia con carrelli pieni, anche parzialmente. In aggiunta a ciò il programma deve essere in grado di gestire immagini in cui siano presenti più di un carrello, identificando correttamente ciascuno di essi. Nel Capitolo 1 è data una più specifica introduzione al problema e all'approccio utilizzato per risolverlo. Il Capitolo 2 illustra nel dettaglio l'algoritmo utilizzato. Il Capitolo 3 mostra i risultati sperimentali ottenuti e il procedimento seguito per l'analisi degli stessi. Infine il Capitolo 4 espone alcuni accorgimenti che sono stati apportati all'algoritmo iniziale per cercare di velocizzarlo in vista di un possibile impiego, distinguendo i cambiamenti che introducono un leggero degrado delle prestazioni da quelli che non lo implicano. Il Capitolo 5 conclude sinteticamente questa trattazione ricordando i risultati ottenuti.
Resumo:
Il suolo è soggetto all’attacco di svariati contaminanti rilasciati nell’ambiente da parte dell’uomo, fra questi troviamo i metalli pesanti. Alcuni metalli pesanti risultano tossici per organismi animali e vegetali se superano certe soglie di concentrazione. Nei suoli i metalli pesanti si trovano sia per cause naturali che antropiche. La fonte naturale dei metalli è legata alla struttura, composizione mineralogica, granulometrica dei sedimenti, e al grado di alterazione dovuta ai vari processi pedogenetici da cui è nato il suolo. In questo lavoro di tesi ho realizzato un campionamento che fosse rappresentativo dell’area presa in esame. In base alle geologia della zona, sono state individuate 32 stazioni dove è stata effettuata la perforazione, ottenendo un totale di 58 campioni. Lo scopo di questa tesi consiste nella determinazione e caratterizzazione cartografica del contenuto dei metalli pesanti nei suoli posti a ovest di Mantova. Per ogni campione è stata eseguita l’analisi per la determinazione del contenuto totale degli elementi maggiori e di quelli in traccia tramite fluorescenza a raggi X (XRF) ,il calcolo della LOI. Dai dati ottenuti dall’analisi XRF è stato applicato l’indice di geoaccumulo, il quale ha fornito il livello di arricchimento superficiale per Cromo, Nichel, Rame, Zinco, Piombo, Arsenico e Vanadio, permettendo di effettuare una stima della contaminazione puntiforme dell’area. Lo studio si è concluso con la realizzazione di mappe di concentrazione di metalli pesanti. La creazione di mappe pedogeochimiche diviene sempre più importante per una completa gestione territoriale ed ambientale.
Resumo:
Il lavoro svolto in questa tesi si colloca nell’area della robotica aerea e della visione artificiale attraverso l’integrazione di algoritmi di visione per il controllo di un velivolo senza pilota. Questo lavoro intende dare un contributo al progetto europeo SHERPA (Smart collaboration between Humans and ground-aErial Robots for imProving rescuing activities in Alpine environments), coordinato dall’università di Bologna e con la compartecipazione delle università di Brema, Zurigo, Twente, Leuven, Linkopings, del CREATE (Consorzio di Ricerca per l’Energia e le Applicazioni Tecnologiche dell’Elettromagnetismo), di alcune piccole e medie imprese e del club alpino italiano, che consiste nel realizzare un team di robots eterogenei in grado di collaborare con l’uomo per soccorrere i dispersi nell’ambiente alpino. L’obiettivo di SHERPA consiste nel progettare e integrare l’autopilota all’interno del team. In tale contesto andranno gestiti problemi di grande complessità, come il controllo della stabilità del velivolo a fronte di incertezze dovute alla presenza di vento, l’individuazione di ostacoli presenti nella traiettoria di volo, la gestione del volo in prossimità di ostacoli, ecc. Inoltre tutte queste operazioni devono essere svolte in tempo reale. La tesi è stata svolta presso il CASY (Center for Research on Complex Automated Systems) dell’università di Bologna, utilizzando per le prove sperimentali una PX4FLOW Smart Camera. Inizialmente è stato studiato un autopilota, il PIXHAWK, sul quale è possibile interfacciare la PX4FLOW, in seguito sono stati studiati e simulati in MATLAB alcuni algoritmi di visione basati su flusso ottico. Infine è stata studiata la PX4FLOW Smart Camera, con la quale sono state svolte le prove sperimentali. La PX4FLOW viene utilizzata come interfaccia alla PIXHAWK, in modo da eseguire il controllo del velivolo con la massima efficienza. E’ composta da una telecamera per la ripresa della scena, un giroscopio per la misura della velocità angolare, e da un sonar per le misure di distanza. E’ in grado di fornire la velocità di traslazione del velivolo, e quest’ultima, integrata, consente di ricostruire la traiettoria percorsa dal velivolo.
Resumo:
Nel lavoro di Tesi ci si è occupati dello studio delle sorgenti appenniniche di Mulino delle Vene, site a Carpineti, in Provincia di Reggio Emilia, e della modellazione dei deflussi sotterranei nell’acquifero fratturato che le alimenta. In particolare, sono state eseguite delle analisi idrologiche con l'obiettivo di quantificare la variazione di risorsa idrica nell'area in risposta al trend di variazione dell'uso del suolo. Successivamente si sono caratterizzate le sorgenti di Mulino delle Vene e l'acquifero che le alimeta per mezzo di analisi idrogeologiche. Infine, si è realizzato un modello numerico agli elementi finiti in grado di simulare i deflussi sotterranei nel periodo di scarico delle sorgenti e in assenza di ricarica.
Resumo:
Il presente lavoro si incentra sulla parziale caratterizzazione del sito attivo del dominio PHP della subunità alpha, componente fondamentale dell'Oloenzima polimerasi III di E. coli. E' stato messo in luce il coinvolgimento di questo dominio nel meccanismo di idrolisi del pirofosfato generato dalla reazione polimerasica, valutando inoltre il grado di associazione tra queste due attività.
Resumo:
In questa tesi viene mostrata l'uguaglianza tra la dimensione di un anello affine, definita come grado di trascendenza del suo campo delle frazioni sul campo base, e il grado del polinomio di Hilbert associato alla sua localizzazione rispetto a un qualsiasi ideale massimale.
Resumo:
Il presente studio ha indagato e valutato alcune abilità cognitive del cane: la capacità di discriminare quantità e le capacità di apprendimento mediante imitazione; quest’ultima è poi stata messa in relazione con l’attaccamento nei confronti del proprietario. Per l’esecuzione della prima indagine sono stati messi appunto due test: il primo si è basato esclusivamente sulla presentazione di uno stimolo visivo: diversi quantitativi di cibo, differenti tra loro del 50%, sono stati presentati al cane; la scelta effettuata dai soggetti testati è stata premiata con differenti tipi di rinforzo differenziale o non differenziale. Il secondo test è stato diviso in due parti: sono stati presentati al cane diversi quantitativi di cibo sempre differenti tra loro del 50% ma nella prima parte del test l’input sensoriale per il cane è stato esclusivamente uditivo mentre nella seconda parte è stato sia uditivo che visivo. Ove è stato possibile è stato applicato ai cani un cardiofrequenzimetro al fine di eseguire una valutazione delle variazioni della frequenza cardiaca nel corso del test. Lo scopo è stato quello di valutare se i soggetti testati erano in grado di discriminare la quantità maggiore. La seconda indagine ha analizzato le capacità di apprendimento di 36 soggetti che sono stati suddivisi in cani da lavoro e pet. I soggetti protagonisti dello studio hanno eseguito il Mirror Test per la valutazione dell’apprendimento per imitazione. I soggetti presi in considerazione, sono stati sottoposti a scansione termografica all’inizio ed al termine del test ed è stata rilevata la loro frequenza respiratoria nella fase iniziale e finale del test. In 11 soggetti che hanno eseguito il precedente test è stato possibile eseguire anche il Strange Situation Test per la valutazione dell’attaccamento al proprietario; i test in questione sono stati videoregistrati ed analizzati per mezzo di un software preposto (OBSERVER XT 10).
Resumo:
La nostra ricerca si è focalizzata sul tema dell’identità di Cavezzo, risorsa preziosa che la catastrofe ha distrutto in un attimo, insieme alle vite umane e ai beni materiali. La perdita di identità comporta infatti negli abitanti la percezione di vivere la propria quotidianità in una sorta di “non luogo”. Poiché il nostro progetto non può essere in grado di risolvere il dolore umano provocato da questo evento, abbiamo agito sulla città per quella che è o che dovrebbe essere, ovvero un agglomerato di architetture, spazi pubblici e privati, capaci di restituire riconoscibilità, e dunque senso di appartenenza, ai suoi cittadini. L’obiettivo principale è stato quindi quello di dare agli abitanti un’immagine diversa ma chiara del proprio paese. L’evento del terremoto non viene infatti congelato, musealizzato o usato come pretesto per ricostruire “com’era dov’era”, ma diventa l’occasione per ripensare la città nella sua interezza e per affrontare riflessioni sulla gerarchia fra spazi collettivi e individuali, e sulla capacità di questi elementi di tenere insieme la comunità. Abbiamo deciso di chiamare la nostra tesi “Cavezzo, isola di pietra. Percorsi di identità urbana” innanzitutto perché il nostro progetto si è focalizzato su uno degli isolati urbani maggiormente sedimentati di Cavezzo, uno dei pochi luoghi radicati nella storia della città. Esso conserva il nucleo originario, nato a partire dalla chiesa di Sant’Egidio, attorno al quale si è poi sviluppato tutto l’aggregato urbano, e detiene una forte e radicata relazione con gli elementi naturali della Bassa, in quanto l’acqua del canalino che vi sorgeva è generatrice di forme e il verde instaura relazioni con la campagna limitrofa. Questi segni casuali di una natura che agisce incontrollata e plasma la forma di queste terre diventano il pretesto iniziale che dà vita a tutto il nostro progetto, sia per la sua forma, sia per la sua collocazione ed il significato che esso assume all’interno della città. Questo progetto, radicato nella storia, si snoda in diversi percorsi paralleli che vedono il susseguirsi di tre interventi che, nonostante la loro diversità, possono essere comunque letti in modo unitario. Queste tre operazioni vengono infatti tenute insieme da alcuni principi condivisi che rafforzano la leggibilità dell’intervento complessivo; in particolare una relazione rimane sempre imprescindibile per tutti: quella con la città e con le preesistenze. Tutti e tre i progetti lavorano sulla gerarchia tra spazi pubblici e privati, indagando tematiche diverse, seppur legate, come quelle della casa e del teatro.
Resumo:
Questa tesi è nata all'interno dell'ufficio tecnico di I.P.M. Engineering, dove ho potuto analizzare le diverse fasi del processo di formatura dei tubi plastici. I tubi di materiale plastico già da molti anni vengono utilizzati in moltissimi campi, come ad esempio l’edilizia; questo comporta la nascita di linee automatiche in grado di produrre una grande quantità di tubi. Per portare il tubo dal luogo di produzione a quello di utilizzo si è reso necessario il taglio dei tubi e per realizzare reti per il trasporto di gas, liquidi o cavi, si è rivelata fondamentale la nascita del “bicchiere”, una svasatura che consente di collegare due spezzoni tra loro. Nel mio lavoro di tesi sono partito analizzando le varie fasi del processo produttivo dei tubi in materiale plastico e poi mi sono focalizzato sul processo di bicchieratura, che è un processo fondamentale e molto delicato. In seguito all’analisi della bicchieratrice standard, ho studiato una soluzione innovativa, eliminando l’impianto oleodinamico, in modo da renderla più prestazionale, più solida e diminuire i costi di manutenzione. È stato eseguito uno studio della nuova struttura adattata per poter inserire la nuova componentistica. La tipologia di macchina scelta produce tubi di diametro 250 mm, dimensioni intermedie nella gamma prodotta da I.P.M., perché è quella più significativa dal punto di vista della adattabilità. Il nuovo metodo di movimentazione elettromeccanico potrà poi essere utilizzato anche nelle altre macchine di taglia diversa.
Resumo:
L'esame clinico della palpazione manuale dei tessuti è ancora oggi l'indagine preliminare più diffusa per l'identificazione e la diagnosi delle lesioni superficiali. L'esame è infatti in grado di fornire al medico esaminatore una valutazione qualitativa circa le proprietà meccaniche dei tessuti indagati, in particolare per quanto concerne la rigidità. I limiti fondamentali e intrinseci della palpazione sono l'impossibilità di raggiungere i tessuti in profondità, limitando quindi l'analisi agli elementi anatomici superficiali, e la grandezza delle lesioni rilevabili. L'elastografia si inserisce in tale contesto come strumento diagnostico in grado di valutare le proprietà meccaniche dei tessuti in funzione della profondità, con una risoluzione spaziale non ottenibile attraverso la semplice palpazione. L'elastosonografia rappresenta la metodologia elastografica attualmente più diffusa, caratterizzata da numerose tecnologie specializzate nell'indagine di diversi elementi anatomici. Il vantaggio fondamentale dell'elastosonografia rispetto ad altre metodiche come l'elastografia a risonanza magnetica o l'elastografia tattile risiede nell'integrazione efficace con la tradizionale indagine ecografica. L'elaborato si pone l'obiettivo di descrivere e valutare le varianti implementative dell'elastosonografia e la loro efficacia come strumento diagnostico. La prima parte (parte I) riassume i concetti fondamentali alla base dell'indagine ecografica, fornendo le nozioni teoriche ed un contesto adeguato alla comprensione dell'elastosonografia. Entrambe le indagini sono infatti basate principalmente sull'emissione e ricezione di ultrasuoni. La parte centrale (parte II) dell'elaborato analizza le principali tecniche elastosonografiche attualmente esistenti. I metodi descritti, a prescindere dal principio di funzionamento specifico, sono accomunati dalla medesima dinamica fondamentale che comprende una eccitazione meccanica del tessuto e l'osservazione della relativa risposta, per fornire una misura qualitativa o quantitativa della rigidità del tessuto in esame. L'ultima parte (parte III) analizza alcuni casi applicativi di particolare rilevanza, soffermandosi sulla valutazione dal punto di vista statistico del contributo fornito dalla specifica tecnica elastosonografica rispetto alle indagini tradizionali.
Resumo:
Questo elaborato di tesi si propone di indicare due esempi di strutture in grado di misurare con una certa precisione i coefficienti di attrito che agiscono su un giunto filettato distinguendoli tra coefficiente di attrito nel sottotesta della vite e coefficiente di attrito sul filetto. I macchinari ideati saranno anche in grado di misurare la forza di precarico applicata e permetteranno l’analisi dei segni d’usura attorno ai fori che ospiteranno le viti.
Resumo:
L’elaborato ha ad oggetto lo studio della conciliazione e dell’arbitrato con riferimento alle controversie individuali di lavoro privato e pubblico. Vengono trattati i diversi profili che caratterizzano gli strumenti di risoluzione delle liti alternativi al processo, al fine di comprenderne la disciplina e l’effettiva portata, e di evidenziarne le criticità. L’elaborato si occupa, in primo luogo, di ricostruire il percorso di sviluppo della disciplina legislativa dei due istituti, partendo dalla configurazione del quadro della sua evoluzione storica e affrontando, poi, approfonditamente le più recenti tappe di tale evoluzione. Nella ricostruzione della disciplina della conciliazione e dell’arbitrato viene dato conto dell’assetto delle fonti, legislativa e contrattuale, definendone i rispettivi ruoli e competenze in materia: la tesi si sofferma quindi sul ruolo che il legislatore attribuisce all’autonomia collettiva e sulle modalità con le quali questo ruolo viene concretamente esercitato in sede di contrattazione. Successivamente, viene compiuta una valutazione delle conciliazioni e dell’arbitrato diretta a comprenderne l’efficacia e l’effettività. L’analisi pone in rilievo taluni elementi che sono ritenuti indispensabili per lo sviluppo delle predette caratteristiche e, quindi, per l’opzione e per la fiducia delle parti verso gli strumenti di composizione stragiudiziale delle liti. L’attenzione viene poi focalizzata sui regimi di impugnazione dei provvedimenti con cui si concludono le procedure stragiudiziali, sulla base della riflessione per la quale la diffusione di uno strumento di composizione delle controversie postula necessariamente un certo grado di stabilità degli atti che esso genera. L’ultima parte dell’elaborato è dedicata alla disamina delle ipotesi applicative di successo nell’esperienza italiana di Alternative Dispute Resolution, ossia il tentativo obbligatorio di conciliazione nei licenziamenti economici introdotto dalla Riforma Fornero, la conciliazione monocratica e l’arbitrato per l’impugnazione delle sanzioni disciplinari, anche con l’intento di comprendere quali caratteristiche ne abbiano favorito la diffusione, in rapporto alle altre tipologie di conciliazione e arbitrato di lavoro.
Resumo:
Implementazione di uno strumento in Matlab in grado di analizzare i tracciati di potenziali d'azione cardiaci e di valutarne dei potenziali d'azione in risposta a variazioni di parametri del modello cardiaco della corrente di ripolarizzazione rapida di potassio.
Resumo:
Al giorno d’oggi il World Wide Web non è più un semplice strumento per la condivisione di informazioni. Le tecnologie nate nel corso dell’ultimo decennio hanno permesso lo sviluppo di vere e proprie applicazioni Web (Web App) complesse, indipendenti e multi-utente in grado di fornire le stesse funzionalità delle normali applicazioni desktop. In questa tesi verranno trattate le caratteristiche di una Web App moderna, analizzandone l’evoluzione e il processo produttivo. Particolare attenzione sarà posta alle Web App distribuite e ai meccanismi di comunicazione client-server che queste nuove tecnologie hanno reso disponibili. I WebSocket, la tecnologia di riferimento di HTML5, saranno riportati come caso di studio e relazionati allo standard precedente ad HTML5, cioè Ajax e Long Polling.
Resumo:
La sonnolenza durante la guida è un problema di notevole entità e rappresenta la causa di numerosi incidenti stradali. Rilevare i segnali che precedono la sonnolenza è molto importante in quanto, é possibile mettere in guardia i conducenti dei mezzi adottando misure correttive e prevenendo gli incidenti. Attualmente non esiste una metodica efficace in grado di misurare la sonnolenza in maniera affidabile, e che risulti di facile applicazione. La si potrebbe riconoscere da mutazioni di tipo comportamentale del soggetto come: presenza di sbadigli, chiusura degli occhi o movimenti di caduta della testa. I soggetti in stato di sonnolenza presentano dei deficit nelle loro capacità cognitive e psicomotorie. Lo stesso vale per i conducenti i quali, quando sono mentalmente affaticati non sono in grado di mantenere un elevato livello di attenzione. I tempi di reazione si allungano e la capacità decisionale si riduce. Ciò è associato a cambiamenti delle attività delta, theta e alfa di un tracciato EEG. Tramite lo studio dei segnali EEG è possibile ricavare informazioni utili sullo stato di veglia e sull'insorgenza del sonno. Come strumento di classificazione per elaborare e interpretare tali segnali, in questo studio di tesi sono state utilizzate le support vector machines(SVM). Le SVM rappresentano un insieme di metodi di apprendimento che permettono la classicazione di determinati pattern. Necessitano di un set di dati di training per creare un modello che viene testato su un diverso insieme di dati per valutarne le prestazioni. L'obiettivo è quello di classicare in modo corretto i dati di input. Una caratteristica delle SVM è una buona capacità di generalizzare indipendentemente dalla dimensione dello spazio di input. Questo le rende particolarmente adatte per l'analisi di dati biomedici come le registrazioni EEG multicanale caratterizzate da una certa ridondanza intrinseca dei dati. Nonostante sia abbastanza semplice distinguere lo stato di veglia dallo stato di sonno, i criteri per valutarne la transizione non sono ancora stati standardizzati. Sicuramente l'attività elettro-oculografica (EOG) riesce a dare informazioni utili riguardo l'insorgenza del sonno, in quanto essa è caratterizzata dalla presenza di movimenti oculari lenti rotatori (Slow Eye Movements, SEM) tipici della transizione dalla veglia alla sonno. L'attività SEM inizia prima dello stadio 1 del sonno, continua lungo tutta la durata dello stesso stadio 1, declinando progressivamente nei primi minuti dello stadio 2 del sonno fino a completa cessazione. In questo studio, per analizzare l'insorgere della sonnolenza nei conducenti di mezzi, sono state utilizzate registrazioni provenienti da un solo canale EEG e da due canali EOG. Utilizzare un solo canale EEG impedisce una definizione affidabile dell'ipnogramma da parte dei clinici. Quindi l'obiettivo che ci si propone, in primo luogo, è quello di realizzare un classificatore del sonno abbastanza affidabile, a partire da un solo canale EEG, al fine di verificare come si dispongono i SEM a cavallo dell'addormentamento. Quello che ci si aspetta è che effettivamente l'insorgere della sonnolenza sia caratterizzata da una massiccia presenza di SEM.