Presentazioni di gruppi con generatori e relazioni

La struttura di gruppo è una delle strutture algebriche più semplici e importanti della matematica. Un gruppo si può descrivere in vari modi: uno dei più interessanti è la presentazione per generatori e relazioni. Sostanzialmente presentare un gruppo per generatori e relazioni significa dire quali specifiche ”regole di calcolo” e semplificazione valgono nel gruppo in considerazione oltre a quelle che derivano dagli assiomi di gruppo. Questo porta in particolare alla definizione di gruppo libero. Un gruppo libero non ha regole di calcolo oltre quelle derivanti dagli assiomi di gruppo. Ogni gruppo è un quoziente di un gruppo libero su un appropriato insieme di generatori per un sottogruppo normale, generato dalle relazioni. In questa tesi si ricordano le definizioni più importanti ed elementari della teoria dei gruppi e si passa in seguito a discutere il gruppo libero e le presentazioni di gruppi con generatori e relazioni, dando alcuni esempi. La tesi si conclude illustrando l’algoritmo di Coxeter e Todd, per enumerare le classi laterali di un sottogruppo quando si ha un gruppo presentato per generatori e relazioni.

Sistemi naturali di fitodepurazione a flusso orizzontale sub-superficiale: Analisi teorico-sperimentale

Il lavoro di tesi riguarda i sistemi naturali di fitodepurazione, focalizzandosi in particolare sui sistemi a flusso orizzontale sub-superficiale. Vengono esposte la loro applicabilità e diffusione e le principali normative di riferimento. Vengono trattati i principali parametri progettuali e metodi di dimensionamento e inoltre si svolge lo studio di uno specifico sito sperimentale.

Mycelium tectonics: studio di comportamenti morfologico-costruttivi attraverso sistemi biologici e simulazioni al computer

Mycelium Tectonics è un lavoro multidisciplinare che interseca l’architettura con la biologia e con la tecnologia. Il concetto di tettonica - qui definito come il territorio in cui si costruiscono le relazioni tra l’organizzazione formale e i processi di funzionamento endogeni - viene indagato partendo da un punto di vista materico, dai limiti fisici e meccanici della materia e dalle differenze che ne possono emergere attraverso il cambio di scala. Procedendo dunque dal basso, sono stati studiati fenomeni quali l’auto-organizzazione e le intelligenze collettive, costituite da elementi con comportamenti autonomi, in cui l’organizzazione globale non è pianificata a priori ma emerge dalle interrelazioni degli elementi stessi. Si è tentato di descrivere una tettonica in cui fosse proprio la differenziazione e la variazione, di cui il sistema è intrinsecamente capace, a produrre una propria forma di organizzazione tettonica ed estetica su cui la funzionalità potesse essere mappata in modi non convenzionali. La biologia fornisce in questo diversi stimoli circa il concetto di costruire in termini di articolazione spaziale e adattabilità: in natura ogni struttura viene generata mediante processi di crescita intrinsecamente coerenti, e le relazioni che la regolano rendono impossibile scindere le parti dal tutto; una logica profondamente differente dai processi produttivi - e costruttivi – odierni, che racchiude in questo il potenziale per superarne i limiti. L’esperienza di laboratorio ha permesso un’ indagine approfondita sulle capacità esplorative e di morfogenesi del micelio: un organismo pluricellulare molto semplice formato da numerosi filamenti (ife), capaci di ramificarsi e riconnettersi tra loro per formare una rete biologica di trasporto. Le strategie messe in atto durante la crescita, poi simulate digitalmente, si sono evidenziate durante tutto il percorso di ricerca pratica, fornendo non solo motivo di dibattito teorico, quanto stimoli e possibilità a livello operativo. Partendo dagli esperimenti in vitro, lo studio si è poi soffermato sulla possibilità di far crescere il micelio (della specie Pleurotus Ostreatus) su strutture fibrose di canapa. Queste sono state simulate ed indagate digitalmente, al fine di costruire prototipi fisici da far colonizzare attraverso una crescita controllata del micelio. I modelli, lasciati essiccare, mostrano caratteristiche e performance emergenti, coerentemente alle premesse architettoniche. Considerando i risultati - seppur parziali - dell’attività teorico-sperimentale condotta, diviene necessario considerare un significato più esteso del termine sostenibilità, oltre ad un esame più approfondito delle ripercussioni a scala ecologica conseguenti l’applicazione di soluzioni qui soltanto ipotizzate.

Sintesi e caratterizzazione di macromolecole ramificate per la funzionalizzazione di scaffolds osteocondrali

L’osteoartrosi è la malattia delle articolazioni più comune al mondo ed è spesso causa di condizioni fortemente disabilitanti. Date le limitazioni dei trattamenti attualmente proposti per la gestione dei pazienti osteoartrosici è di grande interesse la ricerca di soluzioni alternative. A tal fine Fin-Ceramica S.p.A. desidera progettare un innovativo sostituto osteocondrale in collagene attivato con un’emergente classe di macromolecole polimeriche: i dendrimeri. Questi polimeri offrono un’unica opportunità di mostrare all’interfaccia con il tessuto naturale una pluralità di gruppi funzionali favorendo, con un’adeguata ingegnerizzazione, le interazioni biologiche e sostenendo la vitalità e l’attività cellulare. In questo lavoro di tesi, con in mente una futura convalida di processo necessaria a garantire la sicurezza e l’affidabilità del prodotto, sono stati sviluppati nuovi metodi per verificare ed ottimizzare la reazione di sintesi del dendrimero, per caratterizzare il materiale ottenuto e per creare legami covalenti fra collagene e dendrimero attivando potenzialmente il sostituto osteocondrale. Il primo obiettivo è stato conseguito sfruttando la presenza o l’assenza di gruppi amminici disponibili ai terminali del dendrimero in crescita e la formazione di un prodotto di scarto cromoforo durante la sintesi. In relazione a questi elementi sono stati individuati metodi semplici ed efficaci, quali la spettrofotometria ultravioletta ed i saggi colorimetrici con TNBS e ninidrina, per monitorare ogni step di reazione portandolo a compimento e ricavare i tempi necessari a tale scopo. Il dendrimero ottenuto è stato quindi caratterizzato tramite spettrometria infrarossa in trasformata di Fourier. Nota la composizione teorica della nostra macromolecola quest’analisi ha consentito l’identificazione del materiale prodotto ed ha inoltre permesso di dimostrare la ripetibilità dello specifico processo di sintesi dendrimerica. Infine per individuare una possibile procedura di funzionalizzazione del collagene con il dendrimero sono stati sperimentati due differenti metodi relativi a due diversi agenti crosslinkanti. Per rilevare un’eventuale modifica delle proprietà superficiali dei campioni realizzati, conseguente alla presenza dei dendrimeri, ne è stata valutata la bagnabilità attraverso la misura dell’angolo di contatto. La determinazione per uno dei due metodi di un significativo aumento di idrofilicità rispetto al campione di controllo ha verificato la fattibilità della reazione di funzionalizzazione del collagene con il dendrimero sintetizzato in questa ricerca identificando un possibile reagente ed una relativa procedura. I risultati ottenuti da queste ricerche costituiscono informazioni necessarie all’attività di convalida del processo di sintesi del dendrimero ed alla realizzazione del sostituto osteocondrale attivato progettato da Fin-Ceramica.

Specifica e sintesi automatica di sistemi software: Una notazione in linguaggio z

L'attuale processo di sviluppo del software è abbastanza lontano dai canoni di sistematicità e correttezza propri di altre aree dell'ingegneria. L'obiettivo di questa Tesi è quello di fornire metodologie e strumenti realmente ingegneristici per la costruzione del software, attraverso l'introduzione di linguaggi general purpose per l'analisi e la progettazione, di robustezza industriale e con semantica formalmente definita. A partire da frasi corrette in tali linguaggi, le quali costituiscono a tutti gli effetti modelli di sistemi software, ci si propone la completa generazione del codice corrispondente.

Sviluppo di un tool per lo studio di configurazioni architetturali nell'ambito di un simulatore orbitale e di assetto per microsatelliti

La realizzazione della componentistica satellitare è una disciplina innovativa e sempre in aggiornamento, capitanata dall’obiettivo di minimizzare il peso e il volume delle componenti e concretizzare così missioni satellitari affidabili ma sempre più economiche. Questo lavoro di tesi viene svolto nell’ambito di strumenti per la simulazione di sistemi di controllo di assetto di un satellite in orbita bassa terrestre. Il lavoro è volto ad ottenere uno strumento per compiere studi preliminari di missioni di microsatelliti, che sia dotato della possibilità di scegliere più combinazioni di attuatori e sensori e che permetta di valutare la bontà e i vantaggi derivanti dalla scelta di tali configurazioni scelte. Il punto di partenza è stato un simulatore realizzato in ambiente Matlab/Simulink per il monitoraggio di uno specifico microsatellite, ALMASat-1 dell’Università di Bologna. Vi sono stati aggiunti dei tools allo scopo di aggiornare il simulatore a nuove tecnologie e di consentire di realizzare diverse combinazioni di determinazione e controllo in assetto. Si presenterà inizialmente l’interfaccia grafica realizzata per facilitare l’utilizzo del simulatore e si mostreranno successivamente le modifiche apportate in concomitanza con l’aggiornamento del simulatore. Tra le innovazioni applicate al simulatore si annoverano la possibilità di far iniziare la simulazione in precisi stadi di assetto, permettendo all’utente di discriminare solo le fasi ad egli utili, e il miglioramento del sistema di determinazione dell’assetto, compiuto aggiungendo al sistema un simulatore di sensore di stelle, il più accurato tra tutti i sensori e il cui utilizzo, tipicamente riservato a missioni ad elevato budget, si è reso recentemente compatibile, in termini di dimensioni peso e costi, anche a piattaforme satellitari di dimensioni ridotte. Per entrambi gli aspetti verranno mostrate le rispettive modalità di realizzazione, ponendo particolare attenzione all’analisi posta per l’implementazione di uno strumento di misura. Infine sarà presente una discussione sui vantaggi offerti dal simulatore rinnovato.

Strumento per la diagnosi di carcinoma bcc basato su spettroscopia di impedenza

Il presente lavoro di tesi ha l’obiettivo di sviluppare uno strumento di aiuto alla diagnosi tumorale basato sull’analisi dell’impedenza a diverse frequenze. L’impedenza di un tessuto è intesa come l’opposizione che esso offre nell’essere attraversato da un’eccitazione in corrente o in tensione, pertanto lo strumento prevede l’applicazione di una tensione mediante elettrodi e la conseguente lettura della corrente. Da un’analisi delle tecniche utilizzate per individuare l’impedenza si è scelta un’eccitazione sinusoidale e si è quindi progettata una catena analogica di acquisizione del segnale. Si è utilizzato un microcontrollore per l’elaborazione dei dati e per inserire sistemi di controllo nel circuito . Sono stati realizzati inoltre elettrodi ad hoc per lo strumento al fine di soddisfare esigenze di dimensioni e di adattamento al progetto circuitale. Per validare il dispositivo sono state realizzate prove in laboratorio al fine di ricercare l’accuratezza delle misure, inoltre sono previsti dei test sperimentali su pazienti a breve .

Progettazione della sala di controllo missione della stazione di ricetrasmissione satellitare di Forlì

In questo lavoro di tesi si è voluto rappresentare, mediante l'utilizzo del software SolidWorks, quella che sarà la nuova stazione di ricetrasmissione satellitare di Forlì, già esistente presso il laboratorio di radioscienza ed esplorazione planetaria sotto il nome di Alma Mater Ground Station (AMGS), la quale lavorerà come sala di controllo missione nel nuovo progetto della European Space Agency (ESA), ovvero la missione ESEO, progetto educativo che vede il contributo di studenti provenienti da varie facoltà europee. È stato inizialmente ampliato il lavoro di tirocinio svolto dal candidato, il quale ha riguardato la rappresentazione in SolidWorks delle antenne che saranno utilizzate dalla stazione di ricetrasmissione e del loro futuro posizionamento, mediante uno studio strutturale dei tralicci che sosterranno le antenne, quindi ponendo attenzione al carico del vento al quale potrà essere sottoposta l'antenna parabolica del diametro di 3 metri. Successivamente è stato svolto uno studio generale dell'attrezzatura necessaria alla comunicazione satellitare,e quindi dell'interconnessione dei vari componenti. Quindi è stata disegnata in SolidWorks la sala di controllo missione, che sarà ubicata presso il nuovo tecnopolo che sorgerà nelle vicinanze della Scuola di ingegneria, il quale sarà sede del CIRI Aeronautica, Spazio e Mobilità di Forlì. Sono state importate le antenne, già disegnate nel lavoro di tirocinio, e sono stati disegnati i vari componenti e arredamenti della sala di controllo, disponendoli in modo tale da creare una visione vicina alla realtà.

Modulazione reversibile dell'attivita catalitica di sistemi tioureidici chirali mediante interazioni con anioni

In questo lavoro di tesi viene proposto un approccio semplice e innovativo allo sviluppo di un sistema catalitico modulabile in maniera reversibile, basato su catalizzatori tioureidici chirali. La modulazione dell’attività catalitica avviene attraverso interazioni tra un determinato anione e i due protoni tioureidici di questi catalizzatori. A seconda del carattere coordinante di un anione, l’interazione che si viene a creare con le tiouree può essere forte, nel caso di anioni coordinanti come gli alogenuri, o debole, nel caso di anioni debolmente coordinanti quali borati. Una forte interazione da parte dell’anione con il catalizzatore si traduce in una inibizione dell’attività catalitica, dal momento che il sito tioureidico non è più disponibile per promuovere eventuali reazioni. Al contrario, un anione debolmente coordinante lascia l’attività catalitica fondamentalmente inalterata, anche in termini di stereoselezione. La reversibilità di questa modulazione è ottenuta sfruttando reazioni di metatesi tra due sali che, risultando nella precipitazione di un sale insolubile, riescono a rimuovere un determinato anione dall’ambiente di reazione per sostituirlo con un altro.

Sistemi per la gestione dei sistemi di avvitatura complessi all'interno di un processo di produzione. Il caso Caterpillar Prodotti Stradali S.R.L..

Questo elaborato di tesi si propone di illustrare il lavoro svolto presso Caterpillar Global Paving di Minerbio, finalizzato all’analisi del fabbisogno della gestione e dell’utilizzo di sistemi di avvitatura complessi tramite l’applicazione di principi di ingegnerizzazione di processo e di Change Management.

Estrazione di parametri cinematici e dinamici per la progettazione di un esoscheletro motorizzato.

L'obiettivo di questa tesi è l'estrazione di parametri cinematici e dinamici per la progettazione di un esoscheletro motorizzato. Sono state effettuate analisi per il dimensionamento dei motori e vagliate ipotesi di tuning di ortesi motorizzate e non.

Il processo di compostaggio - studio di un metodo alternativo di screening e valutazione del compost

Il processo di compostaggio è il metodo più antico ed al tempo stesso innovativo di trasformazione dei rifiuti. La trasformazione in impianti di compostaggio industriale ricrea lo stesso processo semplice ma in scala maggiore processando molte tonnellate/anno di rifiuto con particolare riguardo a quello proveniente da raccolta differenziata. Il presente elaborato, oltre ad illustrare le nuove tecnologie di produzione nelle realtà locali della zona Romagnola, ha inteso indagare un aspetto alternativo ed innovativo di valutazione del compost. A supporto di quanto già previsto alla specifica normativa di settore e nell'ottica dell'ottimizzazione del processo, è stata valutata la possibilità di uso della tecnica analitica di microestrazione in fase solida (SPME) e della tecnica strumentale con naso elettronico. Si è inteso verificare anche come l'utilizzo di carbone vegetale, aggiunto alla fase di maturazione, possa apportare un contributo significativo nel controllo delle emissioni odorigene, problematica diffusa nelle aree limitrofe ad impianti di compostaggio. L'utilizzo delle tecniche di estrazione in fase solida (SPME) ha dimostrato che durante il processo le componenti odorigene tendono a ridursi notevolmente modificandosi in modo apprezzabile e valutabile mediante analisi GC-MS. L'aggiunta di carbone vegetale alla fase di maturazione contribuisce alla riduzione delle emissioni odorigene. I risultati ottenuti evidenziano come l'utilizzo dei sistemi proposti possa portare ad un'economicità qualora si riscontrassero tempi di maturazione variabili per le tipologie di materiale trattato, riducendo così i tempi di permanenza nei tunnel di maturazione e come le tecniche SPME e naso elettronico possano essere accoppiate per ottenere risultati complementari così da costruire un'informazione complessiva completa. Possibili sviluppi dello studio potrebbero essere improntati alla verifica puntuale del grado di maturazione in relazione alla tipologia del materiale in ingresso ed alla stagionalità nonché all'utilizzo di tali tecniche ad altre matrici e nell'ambito dell'individuazione della presenza di composti indesiderati in matrici ambientali.

Azioni di gruppi topologici su varietà

Studio dei gruppi topologici, ovvero degli spazi topologici che possiedono anche una struttura di gruppo; le due strutture sono legate dal fatto che le applicazioni di gruppo sono continue.

Invarianti polinomiali sotto l'azione di gruppi finiti

Il teorema di Chevalley-Shephard-Todd è un importante risultato del 1954/1955 nella teoria degli invarianti polinomiali sotto l'azione del gruppo delle matrici invertibili. Lo scopo di questa tesi è presentare e dimostrare il teorema nella versione in cui l'anello dei polinomi ha come campo base R e di vedere alcuni esempi concreti di applicazione del teorema. Questa dimostrazione può essere generalizzata facilmente avendo come campo base un qualsiasi campo K di caratteristica 0.

Applicazione di sistemi ocr in contatori di consumo domestico

La tesi parla dei software OCR, della loro storia e di come si sono evoluti nel tempo, come sono strutturati e come funziona la logica alla base del loro funzionamento, inoltre studia come questi software vengano utilizzati nella lettura dei contatori di consumo domestici.