Tabelle di Young e statistiche sulle permutazioni

La presente tesi è suddivisa in due parti: nella prima parte illustriamo le definizioni e i relativi risultati della teoria delle tabelle di Young, introdotte per la prima volta nel 1900 da Alfred Young; mentre, nella seconda parte, diamo la nozione di numeri Euleriani e di Polinomi Euleriani. Nel primo capitolo abbiamo introdotto i concetti di diagramma di Young e di tabelle di Young standard. Inoltre, abbiamo fornito la formula degli uncini per contare le tabelle di Young della stessa forma. Il primo capitolo è focalizzato sul teorema di Robinson-Schensted, che stabilisce una corrispondenza biunivoca tra le permutazioni di Sn e le coppie di tabelle di Young standard della stessa forma. Ne deriva un'importante conseguenza che consiste nel poter trovare in modo efficiente la massima sottosequenza crescente di una permutazione. Una volta definite le operazioni di evacuazione e "le jeu de taquin" relative alle tabelle di Young, illustriamo una serie di risultati riferibili alla corrispondenza biunivoca R-S che variano in base alla permutazione che prendiamo in considerazione. In particolare, enunciamo il teorema di simmetria di M.P.Schüztenberger, che dimostriamo attraverso la costruzione geometrica di Viennot. Nel secondo capitolo, dopo aver dato la definizione di discesa di una permutazione, descriviamo altre conseguenze della corrispondenza biunivoca R-S: vediamo così che esiste una relazione tra le discese di una permutazione e la coppia di tabelle di Young associata. Abbiamo trattato approfonditamente i numeri Euleriani, indicati con A(n,k) = ]{σ ∈ Sn;d(σ) = k}, dove d(σ) indica il numero di discese di una permutazione. Descriviamo le loro proprietà e simmetrie e vediamo che sono i coefficienti di particolari polinomi, detti Polinomi Euleriani. Infine, attraverso la nozione di eccedenza di una permutazione e la descrizione della mappa di Foata arriviamo a dimostrare un importante risultato: A(n,k) conta anche il numero di permutazioni di Sn con k eccedenze.

Functionals for TDDFT description of electron transport in nanostructures

La Teoria di Densità Funzionale (DFT) e la sua versione dipendente dal tempo (TDDFT) sono strumenti largamente usati per simulare e calcolare le proprietà statiche e dinamiche di sistemi con elettroni interagenti. La precisione del metodo si basa su una serie di approssimazioni degli effetti di exchange correlation fra gli elettroni, descritti da un funzionale della sola densità di carica. Nella presente tesi viene testata l'affidabilità del funzionale Mixed Localization Potential (MLP), una media pesata fra Single Orbital Approximation (SOA) e un potenziale di riferimento, ad esempio Local Density Approximation (LDA). I risultati mostrano capacità simulative superiori a LDA per i sistemi statici (curando anche un limite di LDA noto in letteratura come fractional dissociation) e dei progressi per sistemi dinamici quando si sviluppano correnti di carica. Il livello di localizzazione del sistema, inteso come la capacità di un elettrone di tenere lontani da sé altri elettroni, è descritto dalla funzione Electron Localization Function (ELF). Viene studiato il suo ruolo come guida nella costruzione e ottimizzazione del funzionale MLP.

Interfaccia utente per assegnamento missioni e monitoraggio di un trattore automatico

Il presente lavoro consiste nella realizzazione di un'interfaccia utente adibita all'assegnamento di missioni e al monitoraggio remoto di un rover agricolo autonomo. Sfruttando l'informatica per la sua implementazione, tale interfaccia trova invece applicazione nel campo dell'automazione e dell'agricoltura di precisione. L'utilizzatore ha perciò la facoltà di muovere il rover in campo aperto e di demandargli missioni specifiche, ricevendo allo stesso tempo un feedback continuo sul suo operato. L'applicativo software comunica quindi in maniera bidirezionale con il veicolo controllato ed è predisposto per sfruttare diversi canali di comunicazione (antenne seriali, pacchetti udp, socket tcp). La scrittura del codice è stata seguita da una serie di prove di comunicazione con il veicolo, effettuate indoor, e infine da alcuni test completi effettuati outdoor, con il rover in movimento.

Sviluppo di un sistema per allocazione e scheduling di applicazioni periodiche

In questa tesi, viene illustrato un metodo risolutivo al problema dell’allocazione e schedulazione, su risorse eterogenee con capacità unaria rinnovabile e cumulativa non rinnovabile, di applicazioni multitask periodiche, con periodi in relazione armonica, strutturate in attività indipendenti o sottoposte a vincoli di precedenza e con durate dipendenti dalla specifica risorsa di allocazione. L’obiettivo è quello di fornire un’implementazione del modello in grado di gestire l’allocazione e la schedulazione di istanze (i.e. insieme di applicazioni) variabili, caratterizzate da una serie di parametri. La struttura implementativa, realizzata secondo la Logic-based Benders decomposition, prevede la suddivisione del problema in due moduli. Il primo in grado di generare un’allocazione e realizzato con tecniche di programmazione lineare intera mista, il secondo con lo scopo di controllare l’ammissibilità di tale allocazione attraverso una schedulazione ottima e realizzato mediante tecniche di programmazione a vincoli. Il meccanismo di comunicazione tra i due moduli avviene mediante vincoli lineari, denominati tagli di Benders, che vengono aggiunti dopo ogni iterazione del sistema. L’efficacia del modello sarà valutata confrontando i risultati ottenuti attraverso una serie di test, con i valori forniti da un metodo di allocazione e schedulazione alternativo.

Comparazione strutturale di componenti realizzati a terra e nello spazio mediante tecniche additive

Questo lavoro di tesi mira ad indagare, a livello preliminare, quali siano i vantaggi e gli svantaggi a livello strutturale legati alla possibilità di realizzare componenti per mezzi spaziali con tecnologie di Rapid Prototyping direttamente nello spazio: questa possibilità verrà confrontata con il caso in cui gli stessi componenti siano realizzati a terra e poi inviati nello spazio con un lanciatore. Nonostante si siano riscontrati dei limiti derivanti dalla carenza di dati tecnici sulle caratteristiche meccaniche dei materiali, è stata sviluppata una metodologia che ha fornito l’opportunità, seppur con grandi approssimazioni, di valutare il problema. Il punto di partenza dell’attività è stato quello di visionare figure ed immagini di mezzi spaziali e di scegliere alcuni componenti che possano essere oggetto di manutenzione o sostituzione in volo. Sei componenti sono stati poi modellati al CAD, ed è stata condotta un’analisi ad elementi finiti (FEM) mediante il software MSC Patran/Nastran, con lo scopo di simulare la risposta strutturale nelle diverse condizioni di carico prese in considerazione. Seppur a livello qualitativo e del tutto preliminare, sono stati svolti dei confronti in termini di massa e tensioni per valutare in quali casi sembra sia conveniente realizzare un componente a terra con tecnologie tradizionali, e in quali sembra sia vantaggioso utilizzare nuove tecnologie di prototipazione rapida stampando direttamente il componente nello spazio.

Potenzialità applicative delle alte pressioni di omogeneizzazione nel settore alimentare

Le alte pressioni di omogeneizzazione sono considerate una tecnologia non termica basata sull’applicazione di pressioni comprese tra 60 e 400 MPa ad alimenti fluidi o fluidificabili, con un tempo di trattamento di pochi millisecondi. Questa tecnologia permette di ottenere una serie di effetti sull’alimento che variano in rapporto all’entità del trattamento applicato e alla matrice fluida considerata. Pertanto, le alte pressioni di omogeneizzazione rappresentano una delle tecnologie maggiormente studiate in ragione delle loro buone opportunità applicative a livello industriale. Tale tecnologia viene comunemente applicata per modificare le proprietà funzionali di alcune macromolecole caratteristiche degli alimenti ed ha permesso l’ottenimento di prodotti di origine lattiero-casearia ed anche succhi di frutta caratterizzati da migliore texture, gusto, flavour e aumentata shelf-life. L’omogeneizzazione ad alta pressione, considerata come trattamento di sanitizzazione a freddo, è in grado di disattivare sia microrganismi patogeni che degradativi presenti in un determinato sistema, contribuendo a ridurre o contenere quindi lo sviluppo microbico nei prodotti alimentari. L’effetto di tale tecnologia, quando applicata a livelli compresi tra 60-200 MPa bar è stato valutato nei confronti di diversi patogeni quali Escherichia coli, Listeria monocytogenes, Yersinia enterocolitica, Staphylococcus aureus, Salmonella typhimurium microrganismi degradativi, come Bacillus subtilis e lieviti, deliberatamente inoculati in prodotti diversi.

Sviluppo e test di un sistema BCI SSVEP-based

Una Brain Computer Interface (BCI) è un dispositivo che permette la misura e l’utilizzo di segnali cerebrali al fine di comandare software e/o periferiche di vario tipo, da semplici videogiochi a complesse protesi robotizzate. Tra i segnali attualmente più utilizzati vi sono i Potenziali Evocati Visivi Steady State (SSVEP), variazioni ritmiche di potenziale elettrico registrabili sulla corteccia visiva primaria con un elettroencefalogramma (EEG) non invasivo; essi sono evocabili attraverso una stimolazione luminosa periodica, e sono caratterizzati da una frequenza di oscillazione pari a quella di stimolazione. Avendo un rapporto segnale rumore (SNR) particolarmente favorevole ed una caratteristica facilmente studiabile, gli SSVEP sono alla base delle più veloci ed immediate BCI attualmente disponibili. All’utente vengono proposte una serie di scelte ciascuna associata ad una stimolazione visiva a diversa frequenza, fra le quali la selezionata si ripresenterà nelle caratteristiche del suo tracciato EEG estratto in tempo reale. L’obiettivo della tesi svolta è stato realizzare un sistema integrato, sviluppato in LabView che implementasse il paradigma BCI SSVEP-based appena descritto, consentendo di: 1. Configurare la generazione di due stimoli luminosi attraverso l’utilizzo di LED esterni; 2. Sincronizzare l’acquisizione del segnale EEG con tale stimolazione; 3. Estrarre features (attributi caratteristici di ciascuna classe) dal suddetto segnale ed utilizzarle per addestrare un classificatore SVM; 4. Utilizzare il classificatore per realizzare un’interfaccia BCI realtime con feedback per l’utente. Il sistema è stato progettato con alcune delle tecniche più avanzate per l’elaborazione spaziale e temporale del segnale ed il suo funzionamento è stato testato su 4 soggetti sani e comparato alle più moderne BCI SSVEP-based confrontabili rinvenute in letteratura.

Analisi di una stazione permanente GNSS posta sul Plateau Antartico

Attraverso lo studio di serie temporali di coordinate è possibile studiare l'entità degli spostamenti, nel tempo, di punti materializzati sulla Terra. In particolare, si incentra l'attenzione sull'analisi della stazione permanente GNSS DCRU collocata presso la base italo-francese Concordia, così da valutare il campo di velocità di deflusso superficiale del ghiaccio in una porzione di plateau dell’Antartide orientale sede della perforazione profonda in ghiaccio del progetto European Project for Ice Coring in Antarctica (EPICA) . Tale stazione è stata inserita in una rete di inquadramento dell'IGS e ha acquisito dati satellitari dal 2005 a oggi, raccolti giornalmente in file RINEX. Tramite l'utilizzo del software Bernese versione 5.2 è stato possibile ottenere dai file RINEX i file SINEX contenenti le soluzioni giornaliere, che costituiscono la serie temporale, e le relative varianze e covarianze. Avvalendosi del programma Tsview implementato per GGMatlab si sono poi valutate le componenti principali che caratterizzano una serie temporale, quali il trend, le componenti stagionali ed i rumori che giocano, talvolta, un ruolo importante nella valutazione dell'incertezza legata alle misure. Infine si è cercato di dare un'interpretazione fisica ai risultati che sono tutt'ora oggetto di studio. In questa tesi, quindi, si delinea un quadro generale delle procedure e delle problematiche da affrontare, sia per ottenere dall'acquisizione satellitare le soluzioni giornaliere costituenti la serie temporale, sia per analizzare la serie stessa.

Studio delle proprietà reologiche di poliuretani termoplastici

Il poliuretano termoplastico (TPU) è un materiale polimerico molto versatile che, se formulato in maniera opportuna può assumere un’ampia gamma di caratteristiche chimico-fisiche e proprietà meccaniche. Per questo motivo negli ultimi decenni sono state studiate estesamente le sue applicazioni e i metodi di sintesi. Il lavoro presentato ha come scopo la valutazione delle proprietà reologiche dei fusi polimerici di una serie di TPUs, mediante l'ausilio di un reometro capillare. A tal proposito lo scopo del progetto è stato quello di incrementare la conoscenza dei fenomeni reologici che avvengono in un fuso polimerico in fase di lavorazione per ottenere un determinato prodotto finito e commercializzabile e che sanciscono l'effettiva realizzazione del processo in funzione delle caratteristiche del TPU in questione. Con l’utilizzo del reometro capillare si ha la possibilità di simulare le condizioni termiche e di stress meccanico delle più comuni tecnologie di formatura dei materiali polimerici: dall’estrusione allo stampaggio ad iniezione, passando per lo stampaggio a compressione. Questa importante caratteristica strumentale risulta utile in fase di assistenza al cliente, in modo da proporre una tipologia di materiale adatta alla tecnologia disponibile e, in alcuni casi, suggerire le condizioni più opportune per la lavorazione dello stesso.

Double Fourier analysis for Emotion Identification in Voiced Speech

We propose a novel analysis alternative, based on two Fourier Transforms for emotion recognition from speech -- Fourier analysis allows for display and synthesizes different signals, in terms of power spectral density distributions -- A spectrogram of the voice signal is obtained performing a short time Fourier Transform with Gaussian windows, this spectrogram portraits frequency related features, such as vocal tract resonances and quasi-periodic excitations during voiced sounds -- Emotions induce such characteristics in speech, which become apparent in spectrogram time-frequency distributions -- Later, the signal time-frequency representation from spectrogram is considered an image, and processed through a 2-dimensional Fourier Transform in order to perform the spatial Fourier analysis from it -- Finally features related with emotions in voiced speech are extracted and presented

Il vulcanismo esplosivo : l'isola Ferdinandea: eruzione del 1831 nel mar di Sicilia

Il contenuto di questo volume non vuole rappresentare un testo didattico per lo studio in generale della vulcanologia in quanto in esso si tratta unicamente quell’a-spetto della disciplina che riguarda il vulcanismo esplosivo. In tal senso l’autore ritiene che questo testo possa essere utile per gli studenti di Scienze Geologiche che, vivendo nelle aree vulcaniche italiane di età quaternaria ed anche attive, possano, da laureati, svolgere attività professionali mirate alla individuazione e definizione di Pericolosità, Vulnerabilità e Rischio Vulcanico. Trattare gli argomenti che seguono non è stato facile e forse si poteva, in alcuni casi, renderli più semplici, ma talvolta la semplicità non sempre è sinonimo di precisione; inoltre, per descrivere certi aspetti non quantitativi si è costretti ad utilizzare un linguaggio quanto più possibile “ad hoc”. L’autore ha svolto la propria attività di ricerca in aree vulcaniche, sia in Italia che all’estero. Le ricerche in Italia sono state da sempre concentrate nelle aree di vulcanismo attivo in cui l’attività del vulcanologo è finalizzata fondamentalmente alla definizione della Pericolosità Vulcanica supporto indispensabile per la definizione dell’aree a Rischio Vulcanico, intendendo per Rischio il prodotto della Pericolosità per il Danno in termini, questo, di numero di vite umane ovvero di valore monetario dei beni a rischio nell’area vulcanica attiva. Le ricerche svolte dall’autore in Africa Orientale (Etiopia e Somalia) e nello Yemen hanno contribuito ad assimilare i concetti di vulcanologia regionale, rappresentata dall’ampia diffusione del vulcanismo di plateau, variabile per spessore dai 1500 ai 3000 metri, fra i quali si inseriscono, nella depressione dell’Afar, catene vulcaniche inquadrabili, dal punto di vista geodinamico, come “oceaniche” alcune delle quali attive e che si sviluppano per decine/centinaia di chilometri. Nelle aree vulcaniche italiane le difficoltà che sorgono durante il rilevamento risiedono nella scarsa continuità di affioramenti, talvolta incompleti per la descrizione delle variazioni di facies piroclastiche, non disgiunta dalla fitta vegetazione ovvero ur banizzazione specialmente nelle aree di vulcanismo attivo. Il rilevamento vulcanologico richiede competenze e l’adozione di scale adatte a poter cartografare le variazioni di facies piroclastiche che, a differenza dalle assise sedimentarie, in un’area vulcanica possono essere diffuse arealmente soltanto per alcune centinaia di metri. I metodi di studio delle rocce piroclastiche sono del tutto simili a quelli che si usano per le rocce clastiche, cioè dall’analisi delle strutture e delle tessiture alla litologica fino a quella meccanica; su questi clasti inoltre le determinazioni della densità, della mineralogia e della geochimica (Elementi in tracce e Terre Rare), ottenute sulla frazione vetrosa, rappresentano parametri talvolta identificativi di un’area vulcanica sorgente. Non esistono testi nei quali venga descritto come si debba operare nelle aree vulcaniche per le quali l’unica certezza unificante è rappresentata dall’evidenza che, nelle sequenze stratigrafiche, il termine al top rappresenta quello più relativamente recente mentre quello alla base indica il termine relativo più vecchio. Quanto viene riportato in questo testo nasce dall’esperienza che è stata acquisita nel tempo attraverso una costante azione di rilevamento che rappresenta l’uni- ca sorgente di informazione che un vulcanologo deve ricavare attraverso un attento esame dei depositi vulcanici (dalla litologia alla mineralogia, alla tessitura, etc.) la cui distribuzione, talvolta, può assumere un carattere interegionale in Italia nell’ambito dell’Olocene. Soltanto l’esperienza acquisita con il rilevamento produce, in un’area di vulcanismo attivo, risultati positivi per la definizione della Pericolosità, sapendo però che le aree vulcaniche italiane presentano caratteristiche ampiamente differenti e di conseguenza il modo di operare non può essere sempre lo stesso. Un esempio? Immaginate di eseguire un rilevamento vulcanico prima al Somma-Vesuvio e poi nei Campi Flegrei: sono mondi completamente differenti. L’autore desidera ribadire che questo testo si basa sulla esperienza acquisita sia come geologo sia come docente di Vulcanologia; pertanto il libro potrà forse risultare più o meno bilanciato, in forza dell’argomento trattato, in quanto durante l’attività di ricerca l’autore, come tutti, ha affrontato alcuni argomenti più di altri. Questo approccio può essere considerato valido per chiunque voglia scrivere un libro in maniera autonoma e originale, non limitandosi, come molte volte avviene, a tradurre in italiano un libro su tematiche analoghe diffuso, ad esempio, nel mondo anglosassone.Diversamente, si sarebbe potuto concepire un libro come un collage di capitoli scritti da vari autori, che magari avevano esperienza più specifica nei singoli argomenti, ma in tal senso si sarebbe snaturato lo spirito con cui si è impostato il progetto. L’autore, infine, ha fatto ricorso al contributo di altri autorevoli colleghi solo per temi importantissimi, ma in qualche modo complementari rispetto al corpus costitutivo del Vulcanismo Esplosivo.

Engins de pêche pour l'ichthyoplancton : résultats des essais comparatifs réalisés en 1974 et 1975

The results of comparisons between several zooplankton samplers are summarised.

Demolizione delle costruzioni in calcestruzzo armato: tecniche, teoria ed analisi dei rischi.

L’intento di questa ricerca è stato quello di cercare di riordinare ed approfondire il settore delle demolizioni, campo vasto e in costante crescita, dove saranno necessari tecnici sempre più specializzati in materia di statica, ambiente, sicurezza ed esplosivistica civile. Nella prima parte della ricerca è stata analizzata l'errata concezione odierna delle demolizioni viste solamente come un mero intervento di distruzione e sono state descritte le principali tecniche di demolizione tradizionali per costruzioni in calcestruzzo armato, suddividendole nelle due famiglie riguardanti le demolizioni parziali e le demolizioni totali, analizzando i vantaggi e gli svantaggi di ognuna di esse e nello specifico evidenziando il grado di compatibilità della singola tecnica in relazione all'intervento da svolgere. Descritte le tecniche sono state studiate le principali verifiche statiche che vengono solitamente effettuate per le demolizioni con esplosivo e le demolizioni meccaniche. Nella seconda parte della tesi si è voluto prestare attenzione riguardo alle origini della demolizione guardando in che modo si sia evoluta sino ad oggi, in particolare le imprese odierne le quali sono attualmente in grado di affrontare qualsiasi problema seguendo il programma del processo demolitivo. L'ultima parte della ricerca consiste nella valutazione e descrizione dei principali fattori di rischio di questi interventi sottolineando ogni tipo di soluzione per poterli evitare, è stato inoltre analizzato molto schematicamente il caso di studio del Palazzo di Giustizia dell'Aquila distrutto a causa del sisma e rinnovato grazie ad interventi demolitivi.

Strategie di calcolo tra studenti discalculici e non

Sono stati analizzati i circuiti neurali addetti all'elaborazione matematica, a partire da quelli di start-up neurocognitivo per l'apprendimento del numero e del calcolo, capacità innate e già presenti alla nascita. I protagonisti sono il sistema della stima approssimativa del numero e quello di individuazione degli oggetti multipli e, spesso, le difficoltà che si incontrano durante un compito matematico (o la lentezza per portarlo a termine) sono date dalla difficile interazione tra questi e le loro sottocomponenti, continuamente riprogrammate dall'esecutivo centrale per poter supervisionare i processi di problem solving. Per la costruzione e lo sviluppo del calcolo più elevato, occorrono alcune capacità di base come il concetto di corrispondenza biunivoca, quello di ordinamento di un insieme, di maggioranza, di raddoppio e di dimezzamento, per mezzo delle quali ogni procedura si può ridurre ad una serie di operazioni più semplici. Queste funzioni vengono controllate e coordinate dal Sistema Attentivo Esecutivo che presiede tutte le attività di problem solving. I ragazzi che presentano deficit altamente specifici in una o più abilità matematiche di base vengono definiti discalculici e tra i loro tratti caratteristici vi sono l'incapacità di comprendere le numerosità, i principi delle operazioni e di elaborare strategie risolutive adatte ad ogni esercizio. Non tutti i ragazzi che presentano difficoltà in matematica sono discalculici: a tal proposito ho svolto una sperimentazione didattica in 10 classi di un I.T.I.S. , per cercare di capire se i concetti reputati consolidati alla scuola secondaria di 1° grado, lo sono realmente in quella di 2° e per mostrare le diverse tipologie di errori compiuti dai ragazzi clinici e non. I risultati sono stati largamente al di sotto delle aspettative, anche negli esercizi in cui è stato permesso l'uso della calcolatrice, lasciandomi presagire che gli errori commessi siano perlopiù di concetto piuttosto che di calcolo.

Studio e sviluppo di un simulatore ed ottimizzatore di traiettoria per aerei da competizione

L'obbiettivo principale di questa tesi è la creazione di un particolare strumento capace di calcolare, dati in input le coordinate geografiche in latitudine e longitudine dei vari gates di passaggio del velivolo e delle caratteristiche principali di quest'ultimo, la traiettoria ottimale, ovvero la più veloce, restando pur sempre nei limiti strutturali e in quelli stabiliti dal regolamento, oltre che ad una serie di valori utili per effettuare tale percorso, quali la variazione di potenza, di coefficiente di portanza, di velocità, ecc. Dopo una prima fase di raccolta delle informazioni (regolamento della competizione, dati tecnici dei velivoli usati, del motore e dell'elica) ne è seguita una seconda in cui, partendo dall'analisi dei risultati ottenuti da un precedente tool di calcolo in Excel, si è provveduto a scriverne uno nuovo operante in ambiente MatLab.