999 resultados para Teoria de la prova
Resumo:
In questa tesi consideriamo il problema della percezione di immagini, e in particolare la sensibilità al contrasto del nostro sistema visivo. Viene studiato il modello classico di Retinex, che descrive l'immagine percepita come soluzione di un'equazione di Poisson. Questo modello viene reinterpretato utilizzando strumenti di geometria differenziale e derivate covarianti. La controparte neurofisiologica del modello è la descrizione della funzionalità del LGN, e della connettività che le lega. Questa viene modellata come un nucleo soluzione fondamentale dell'equazione di Laplace, con strumenti di teoria delle distribuzioni. L'attività dello strato di cellule è quindi soluzione dell'equazione di Laplace, ovvero la stessa equazione che descrive il Retinex. Questo prova che le cellule sono responsabili della percezione a meno di illuminazione.
Resumo:
Scopo della tesi è presentare alcuni aspetti della teoria spettrale per operatori compatti definiti su spazi di Hilbert separabili. Il primo capitolo è dedicato al Teorema di esistenza di una base numerabile di autovettori, per operatori compatti autoaggiunti. Nel secondo capitolo sono presentate alcune applicazioni dirette al Laplaciano. Viene dimostrato il teorema di immersione di Sobolev, e come conseguenza dell'immersione compatta, si prova che l'inverso del Laplaciano su aperti limitati è un operatore compatto autoaggiunto. Conseguentemente viene determinata la base dei suoi autovettori, che in dimensione uno è la classica serie di Fourier. Nel terzo capitolo vengono determinate le espressioni analitiche delle basi di autovettori sul quadrato e il cerchio unitario.
Resumo:
Questo lavoro si concentra su un particolare aspetto della sfaccettata ricerca scientifica di Johannes Kepler (1571-1630), ossia quello teorico-musicale. I pensieri dell’astronomo tedesco riguardanti tale campo sono concentrati – oltre che in alcuni capitoli del Mysterium cosmographicum (1596) ed in alcune sue lettere – nel Libro III dell’Harmonices mundi libri quinque (1619), che, per la sua posizione mediana all’interno dell’opera, tra i primi due libri geometrici e gli ultimi due astronomici, e per la sua funzione di raccordo tra la «speculazione astratta» della geometria e la concretizzazione degli archetipi geometrici nel mondo fisico, assume la struttura di un vero e proprio trattato musicale sul modello di quelli rinascimentali, nel quale la «musica speculativa», dedicata alla teoria delle consonanze e alla loro deduzione geometrica precede la «musica activa», dedicata alla pratica del canto dell’uomo nelle sue differenze, generi e modi. La tesi contiene la traduzione italiana, con testo latino a fronte, del Libro III dell’Harmonice, e un’ampia introduzione che percorre le tappe fondamentali del percorso biografico e scientifico che hanno portato alla concezione di quest’opera – soffermandosi in particolare sulla formazione musicale ricevuta da Keplero, sulle pagine di argomento musicale del Mysterium e delle lettere, e sulle riflessioni filosofico-armoniche sviluppate negli anni di ricerca – e offre gli elementi fondamentali per poter comprendere l’Harmonice mundi in generale e il Libro III in particolare. A ciò si aggiunge, in Appendice, la traduzione, anch’essa con testo latino a fronte, della Sectio V, dedicata alla musica, del Liber IX dell’Almagestum novum (1651) di Giovanni Battista Riccioli (1598-1671), interessante sia dal punto di vista della recezione delle teorie di Keplero che dal punto di vista della storia delle idee musicali.
Resumo:
Gli ultimi anni hanno visto importanti cambiamenti positivi nella cooperazione interstatale in Asia centrale. Crescenti minacce come il terrorismo internazionale, l'estremismo religioso e politico, il traffico di droga, ecc, causati dagli interessi geopolitici e geo-economici delle potenze mondiali, hanno contribuito alla formazione di una politica estera più coordinata e coerente degli Stati della regione. Questo processo si manifesta nella partecipazione attiva dell’istituzionalizzazione della Shanghai Organizzazione del Commonwealth (SOC), Conferenza sulle misure di costruzione d’interazione e fiducia in Asia (CICA) e Organizzazione del Trattato di Sicurezza Collettiva (CSTO). Problemi moderni di sicurezza in Asia centrale dovrebbero essere risolti in dei nuovi modi, non convenzionali. Le nuove minacce alla sicurezza richiedono modi non standard per risolvere il problema. Considerate le differenze fondamentali dell'Unione europea e degli Stati dell'Asia centrale nei valori e dal punto di vista in materia di sicurezza. I paesi dell'Asia centrale non sono pronti per l'integrazione politica. Nonostante questo, nell’Asia centrale sono state adottate misure per contrastare le minacce non convenzionali. L’esperienza europea di unire gli sforzi della regione per garantire la sicurezza interna, può essere utilizzata dai paesi dell'Asia centrale, soprattutto, in primo luogo sulla formazione del quadro istituzionale e giuridico per la cooperazione operativa delle forze dell'ordine per le seguenti aree: • prevenzione del traffico di droga attraverso gli Stati dell'Asia centrale; • lotta contro nuove forme di terrorismo ed estremismo; • limitare la dimensione della migrazione clandestina; • migliorare la protezione giuridica dei cittadini. Fino a poco tempo fa, questi temi hanno ricevuto poca attenzione, sia nella teoria sia nella pratica, poiché i problemi di sicurezza della società erano principalmente ridotti per evitare il pericolo di guerra.
Resumo:
La cosmologia ha come scopo lo studio di origine ed evoluzione dell’Universo, per averne una comprensione generale attraverso le leggi fisiche conosciute. Il modello del Big Bang, di cui si dà la descrizione teorica nel capitolo 1, è una delle formulazioni più recenti di teoria che mira a spiegare l’inizio e la successiva evoluzione dell’Universo, fino ad avanzare anche ipotesi sul suo destino futuro; è inoltre il modello generalmente accettato dalla comunità scientifica in quanto, di tutti i modelli proposti nel corso degli anni, è quello con più riscontri sperimentali e che meglio si trova in accordo con le osservazioni. I principali successi del modello vengono trattati nel capitolo 2. In particolare: si tratterà di redshift e legge di Hubble, collegati all’espansione dell’Universo, importante prova dell’attendibilità del modello del Big Bang; della radiazione cosmica di fondo, scoperta negli anni ’60 quasi per caso e poi ricondotta a ipotesi teoriche già avanzate anni prima nelle prime formulazioni del modello; della nucleosintesi primordiale, che spiega l’abbondanza attuale dei principali costituenti dell’Universo, H ed He, cosa che altrimenti non sarebbe spiegabile se si considerasse soltanto la formazione di tali elementi nelle stelle. Ovviamente anche questo modello, come si vede nel capitolo 3, non manca di problemi, a cui si è trovata una risoluzione parziale o comunque non definitiva; in questa sede tuttavia, per ragioni di spazio, tali problemi e la loro soluzione verranno soltanto accennati. Si accennerà al problema dell’Universo piatto e al problema dell’orizzonte, e a come essi possano essere spiegati introducendo il concetto di inflazione. Infine, nel capitolo 4, si accenna anche alla materia oscura, soprattutto per quanto riguarda le evidenze sperimentali che ne hanno permesso la scoperta e le prove successive che ne confermano l’esistenza. Tuttora ne ignoriamo natura e composizione, visto che a differenza della materia ordinaria non emette radiazione elettromagnetica, ma i suoi effetti gravitazionali sono evidenti ed è estremamente difficile che la sua esistenza possa essere messa in discussione.
Resumo:
Partendo dallo sviluppo della teoria dell'apprendimento Hebbiano, si delinea un percorso per la creazione di robot in grado di apprendere tramite architettura DAC e Value System.
Resumo:
Lo studio effettuato si inserisce all’interno di una collaborazione tra il DICAM e la Provincia di Bologna ed ha come obiettivo l’analisi di sicurezza della SP26 “Valle del Lavino”, poichè risulta la terza tratta stradale a maggior costo sociale di tutta la rete provinciale. Il rapporto di analisi redatto a seguito del Road Safety Review ha infatti evidenziato numerosi deficit in termini di sicurezza dell’infrastruttura, tra cui gli attraversamenti pedonali. Obiettivo specifico della tesi è stato quello di valutare lo stato attuale di sicurezza degli attraversamenti pedonali presenti lungo il tracciato stradale in esame, in maniera tale da individuare, sulla base di una correlazione fra l’ubicazione degli attraversamenti stessi e il comportamento degli utenti alla guida dei veicoli, le intersezioni pedonali più gravosi, che per questo, in un piano di riqualifica della tratta stradale, richiederebbero opportuni interventi di adeguamento e messa in sicurezza. Con questa finalità è stata programmata ed eseguita una campagna di prove su strada che ha coinvolto un campione di 10 utenti, aventi determinati requisiti di base, del tutto ignari dell’obiettivo che si voleva perseguire e inesperti del tracciato di prova. La sperimentazione ha previsto l’impiego, fondamentale, di metodologie innovative, quali il V-Box e il Mobile Eye Detector, in grado di tener conto del comportamento degli utenti alla guida: il primo permette di rilevare l’andamento delle velocità dei partecipanti lungo il tracciato, il secondo restituisce il tracciamento del punto di vista del conducente alla guida. A ciascun partecipante è stato richiesto di condurre un veicolo, non di loro proprietà, per l’intero tratto della SP26 posto esame, compreso tra la progressiva 0+000, in comune di Zola Predosa, e la progressiva 19+200, in località Badia (comune di Monte San pietro), in andata e in ritorno per un complessivo di 38,4 km di tracciato da esaminare. Al conducente alla guida è stato richiesto di indossare durante tutta la guida l’occhiale Mobile Eye mentre l’auto di prova è stata dotata della strumentazione V-Box.
Resumo:
Il sempre crescente numero di applicazioni di reti di sensori, robot cooperanti e formazioni di veicoli, ha fatto sì che le problematiche legate al coordinamento di sistemi multi-agente (MAS) diventassero tra le più studiate nell’ambito della teoria dei controlli. Esistono numerosi approcci per affrontare il problema, spesso profondamente diversi tra loro. La strategia studiata in questa tesi è basata sulla Teoria del Consenso, che ha una natura distribuita e completamente leader-less; inoltre il contenuto informativo scambiato tra gli agenti è ridotto al minimo. I primi 3 capitoli introducono ed analizzano le leggi di interazione (Protocolli di Consenso) che permettono di coordinare un Network di sistemi dinamici. Nel capitolo 4 si pensa all'applicazione della teoria al problema del "loitering" circolare di più robot volanti attorno ad un obiettivo in movimento. Si sviluppa a tale scopo una simulazione in ambiente Matlab/Simulink, che genera le traiettorie di riferimento di raggio e centro impostabili, a partire da qualunque posizione iniziale degli agenti. Tale simulazione è stata utilizzata presso il “Center for Research on Complex Automated Systems” (CASY-DEI Università di Bologna) per implementare il loitering di una rete di quadrirotori "CrazyFlie". I risultati ed il setup di laboratorio sono riportati nel capitolo 5. Sviluppi futuri si concentreranno su algoritmi locali che permettano agli agenti di evitare collisioni durante i transitori: il controllo di collision-avoidance dovrà essere completamente indipendente da quello di consenso, per non snaturare il protocollo di Consenso stesso.
Resumo:
In questa tesi viene affrontato il problema della stabilità delle strutture stellari da un punto di vista relativistico. La stella è approssimata ad un fluido perfetto a simmetria sferica, e le equazioni che ne governano la struttura vengono ricavate grazie alle risoluzione delle equazioni di campo della relatività generale in questo caso particolare. L'approssimazione di fluido perfetto permette anche di ricavare un'equazione di stato che lega densità di energia e pressione tramite un parametro, detto parametro di rigidità. Un'analisi del comportamento della materia al variare della densità consente di stabilire l'andamento di questo parametro, mentre uno studio delle piccole oscillazioni radiali della stella permette di stabilire quali sono i valori del parametro che consentono un equilibrio stabile. La stabilità risulta possibile in due differenti intervalli di densità, che corrispondono ai due tipici stadi finali dell'evoluzione stellare: nana bianca e stella di neutroni. Grazie alle equazioni che descrivono la struttura stellare è possibile stabilire, nei due intervalli di densità, quale sia il valore che la massa della stella non può superare: si ricavano il limite di Chandrasekhar e il limite di Oppenheimer-Volkoff. Infine viene mostrato come la relatività generale imponga un limite assoluto alla stabilità di una distribuzione di materia, sostenuta da una qualsiasi forza della natura: superato questo confine, la materia non può fare altro che collassare in un buco nero.
Resumo:
La teoria dell'inflazione risolve alcuni problemi fondamentali posti dalla teoria standard dell'origine dell'universo, in particolare chiarisce perché l'universo è piatto e omogeneo quando secondo la cosmologia standard non lo dovrebbe essere (o meglio: lo potrebbe essere solo con probabilità molto bassa). Inoltre la teoria dell'inflazione spiega l'origine delle anisotropie della radiazione cosmica di fondo e in tal modo l'inflazione è responsabile anche dell'origine della struttura a grande scala dell'universo. La teoria inflazionaria presenta la possibilità di una conferma sperimentale. Alcune sue predizioni sono già state verificate e una forte prova era sembrata venire dall'esperimento BICEP2, ma per ora (novembre 2014) non c'è stata una conferma. Nello specifico, l'esperimento BICEP2 aveva dichiarato a marzo 2014 di aver rilevato nella radiazione cosmica di fondo il segnale di onde gravitazionali che potevano essere state provocate soltanto dall'inflazione. La presente tesi descrive gli aspetti classici (non quantistici) della teoria dell'inflazione, riporta i risultati relativi alla trattazione quantistica delle perturbazioni della radiazione cosmica di fondo e illustra la questione delle verifiche sperimentali della teoria dell'inflazione, dedicando particolare rilievo al recente esperimento BICEP2.
Resumo:
L’angiotermografia dinamica (DATG) è una tecnica diagnostica per il tumore al seno non invasiva e che non richiede l'utilizzo di radiazioni ionizzanti. La strumentazione fornisce immagini della vascolarizzazione della mammella rilevate e visualizzate da tre placche a cristalli liquidi. Le immagini, sulla base della teoria della neoangiogenesi, permettono la diagnosi anche precoce del tumore al seno. Inoltre, la DATG può essere impiegata su donne di ogni età e grazie al suo basso costo può coadiuvare le altre tecniche per lo screening. Scopo di questo lavoro è la caratterizzazione della strumentazione e lo studio di un nuovo metodo di elaborazione che permetta di ottenere immagini tridimensionali della vascolarizzazione. Poiché le immagini fornite dalla DATG sono a colori, si è elaborato il calcolo della tonalità (hue) per poter avere un valore da mettere in relazione con la temperatura misurata con una termocamera. Sperimentalmente è stato osservato che le placche rispondono a temperature comprese rispettivamente tra 31,5°C e 34,0°C per quella con cornice bianca, con una risoluzione tra 0,50 e 1,50 mm, tra 32,5oC e 34,5°C per quella con cornice grigia, che è in grado di rivelare dettagli con dimensioni minime dell'ordine di 0,50-2,50 mm e tra 34,0°C e 36,5°C per quella con cornice nera, con una risoluzione compresa tra 0,25 mm e 1,50 mm. Le immagini fornite dalla DATG sono bidimensionali. Per ricavare l’informazione sulla profondità di provenienza del segnale, è stata acquisita una sequenza dinamica angiotermografica in vivo. Per ottenere la distribuzione spaziale della vascolarizzazione in tre dimensioni, sulla base dell’equazione del trasporto del calore di Fourier, è stata ipotizzata una relazione esponenziale tra contributo temporale nella formazione dell’immagine e profondità di provenienza del segnale. I primi test sperimentali mostrano con buona approssimazione che è possibile ottenere immagini tridimensionali angiotermografiche, anche se il metodo andrà ulteriormente affinato. In futuro si cercherà di realizzare dei fantocci dedicati che consentano di verificare ulteriormente la modalità con cui si formano le immagini e di sfruttare i dati raccolti per conoscere con maggior accuratezza la profondità da cui proviene il segnale. Si spera, infine, che questo studio possa contribuire a diffondere la conoscenza di tale metodica e il suo utilizzo sia per la diagnosi che per lo screening del tumore al seno.
Resumo:
Questa tesi si propone di ripensare una parte della città di Bogotà, dopo un’attenta analisi del suo sviluppo storico ed evolutivo. L’intento è sia quello di contrastare lo sprawl urbano e gli effetti negativi che esso produce, sia quello di migliorare la vivibilità delle città, tentando di limitare i problemi della città diffusa. In particolare, studiando i piani urbanistici e il loro concretizzarsi all’interno della città, si sono volute dare soluzioni al crescente bisogno di alloggi, causato dall’aumento di popolazione. L’attenzione si è quindi focalizzata sull’area nord, in cui il carattere urbano è più debole e fortemente frammentato dal passaggio dell’attuale autopista Norte, infrastruttura che separa e divide due parti della città e che il progetto vuole provare a ricollegare dal punto di vista identitario. L’idea del masterplan è stata studiata riferendosi al piano pilota di Le Corbusier e più nello specifico alla sua teoria del settore che prevedeva all’interno di ogni quartiere strutturato da una griglia precisa di strade, differenti funzioni, che il maestro chiama categorie fondamentali dell’urbanistica: abitare, lavorare, circolare e coltivare il corpo e lo spirito; è proprio in relazione a quest’ultima categoria che si è pensato di progettare un nuovo polo accentratore per Bogotá legato alle arti, prevedendo una riconnessione con il centro attraverso, soprattutto, un sistema di aree verdi e pubbliche strutturate a formare un sistema gerarchico di parchi, che vede l’autopista come asse principale di sviluppo. La scelta di progettare un edificio con una vocazione pubblica importante è stata dettata dalla volontà di dislocare in un quartiere meno centrale un nuovo polo attrattore per gli abitanti di tutta la città, in questo modo si è cercato di valorizzare il settore nord, fino ad oggi così marginale e periferico.
Resumo:
Oggetto di questa tesi è stato quello di investigare il consumo di acqua sostenibile in un’organizzazione complessa come è l’Università di Bologna, con particolare riferimento alla realtà della Scuola di Ingegneria ed Architettura di via Terracini. Successivamente viene analizzato l’approccio della transizione, che comprende modalità e strumenti con cui si realizza il cambiamento all’interno della struttura sociale. Tra questi emerge il modello di cambiamento proposto dalla teoria di Transition Management, che sottolinea il ruolo fondamentale svolto dagli esperimenti di transizione nella realizzazione del cambiamento.Viene perciò proposta la teoria del Project management come vero e proprio strumento con il quale analizzare il progetto "Casa dell'acqua".
Resumo:
Nella prima parte di questo progetto di tesi, ho analizzato tutte le nozioni teoriche rilevanti in merito alla teoria della transizione. Il primo concetto condiviso in questa trattazione è quello di transizione. Nella parte finale del capitolo, il focus si sposta sul ruolo, in una generica transizione, delle nicchie. Lo strumento centrale in questa struttura sono gli esperimenti di transizione, i quali forniscono un approccio alternativo ai progetti di innovazione classica che sono incentrati nell'ottenimento di soluzioni a breve termine. Vi è dunque una forte relazione tra nicchia e sperimentazione. Infine la trattazione si concentra sul tema dello Strategic Niche Management. Nel secondo capitolo, analizzo il tema della sostenibilità inserita in un contesto universitario. Questa sezione si focalizza sulle strategie di alto livello richieste per dare avvio alla transizione universitaria verso la sostenibilità, identificando gli ostacoli e gli elementi portanti, e definendo una vision al fine di concretizzarla. Il capitolo guida, passo per passo, le università che tentano di mettere in pratica il proprio obiettivo e la vision di sviluppo sostenibile. Una delle problematiche principali per stimare gli sforzi verso la sostenibilità nelle università è costituita in modo particolare dagli strumenti di valutazione. Per questo motivo, è stata sviluppata la valutazione grafica della sostenibilità nell'università (GASU). Al fine di riassumere quanto detto fin qui ed avere un quadro generale più chiaro dell'organizzazione di un campus universitario che mira a diventare sostenibile, ho utilizzato lo strumento gestionale della SWOT Analysis. Negli ultimi due capitoli, infine, analizzo nel dettaglio il modello Green Office. La teorizzazione di questo modello e l'elaborazione dei 6 principi del Green Office sono state effettuate da rootAbility. Le seguenti pagine presentano 3 casi studio di come i 6 principi dei Green Office sono stati adattati alle 3 unità di sostenibilità guidate da studenti e supportate da staff qualificato. L'oggetto della trattazione sono i principali GO affermatisi nei Paesi Bassi. A seguito dell'introduzione del modello relativo al Green Office e dell'illustrazione degli esempi presi in esame, è stato sfruttato lo strumento della feasibility analysis al fine di giudicare se l'idea di business sia praticabile. Il mezzo con cui ho condotto l'analisi sotto riportata è un questionario relativo al modello di Green Office implementato, nel quale viene chiesto di valutare gli aspetti relativi alla organizational feasibility e alla financial feasibility. Infine nella sezione finale ho considerato i Green Office come fossero un unico movimento. L'analisi mira a considerare l'impatto globale del Green Office Movement nei sistemi universitari e come, a seguito del loro consolidarsi nella struttura accademica, possano divenire prassi comune. La struttura proposta contiene elementi sia da il SNM (Strategic Niche Management) che dal TE (Transition Experiment).
Resumo:
Lo studio svolto mira ad ottenere una comprensione approfondita dell’accessibilità aeroportuale e indaga i meccanismi di interazione tra aeroporti situati nella medesima area, che competono per spartirsi la stessa quota di utenza. Il tentativo è quello di ottenere un quadro completo sulle dinamiche afferenti al sistema aeroportuale bolognese, che permetta di valutarne le potenzialità espansive e gli eventuali limiti di crescita in un mercato parzialmente saturo.