La corrispondenza di Galois

In questa tesi viene studiata la corrispondenza di Galois. Tale corrispondenza mette in relazione particolari sottogruppi con sottocampi intermedi di un'estensione finita.

Implementazione del processo di miglioramento continuo nello stabilimento produttivo di Forlimpopoli di Marcegaglia S.p.A.

Questo lavoro è svolto nell’ambito di un progetto di “miglioramento continuo” avviato all’interno dello stabilimento di Forlimpopoli dell’azienda Marcegaglia S.p.A. con lo scopo di migliorare l’efficienza e le condizioni di lavoro lungo le linee produttive. L’elaborato inizia con una breve introduzione all’approccio “kaizen” di miglioramento continuo. Il secondo capitolo descrive lo stabilimento di Forlimpopoli e in particolare le tre linee pilota. Il capitolo tre descrive la pianificazione del progetto. Nel quarto capitolo si illustra a livello sia teorico che pratico l’implementazione del motodo 5S, lo strumento della lean production approntato all’organizzazione e la pulizia dell’area di lavoro. I capitoli cinque e sei trattano rispettivamente le fasi di raccolta e analisi dati, punto di partenza per definire le contromisure e le azioni di miglioramento. Nel settimo capitolo si riportano le contromisure identificate per diminuire i fermi macchina, mentre l’ottavo capitolo tratta l’applicazione della metodologia SMED sulle linee TX001 e TX003. L’ultimo capitolo riassume brevemente i risultati e le azioni svolte.

La corrispondenza di Galois per polinomi di terzo e quarto grado

Nella tesi viene studiata tramite un certo numero di esempi la corrispondenza di Galois per polinomi di terzo e quarto grado.

Dal biogas al biometano, analisi tecnico-economica di un'applicazione su scala reale e prospettive di sviluppo. Studio di fattibilita per l'impianto di digestione anaerobica di Etra S.P.A.

L’emanazione del Decreto 5 dicembre 2013, ha inaugurato una nuova stagione per il settore energetico italiano, dando vita anche in Italia, in linea con gli altri paesi europei, alla possibilità di valorizzare il biogas, prodotto a seguito di un processo di digestione anaerobica, come biometano, un gas con maggiore contenuto energetico che a seguito di opportuni trattamenti, può essere paragonabile al gas naturale. Il lavoro svolto pertanto si pone come obiettivo quello di individuare gli elementi peculiari che potrebbero favorire lo sviluppo e la crescita del biometano nel contesto italiano.

Teoria di Galois e polinomi ciclotomici

Questa tesi tratta di argomenti di Teoria di Galois. In essa sono presenti alcuni richiami fondamentali della teoria di Galois, come il gruppo di Galois di una estensione di campi di Galois e la corrispondenza di Galois. Prosegue con lo studio delle radici m-esime primitive dell'unità e dei polinomi ciclotomici. Infine si studia il gruppo di Galois di un polinomio ciclotomico.

Gruppi risolubili

I gruppi risolubili sono tra gli argomenti più studiati nella storia dell'algebra, per la loro ricchezza di proprietà e di applicazioni. Questa tesi si prefigge l'obiettivo di presentare tali gruppi, in quanto argomento che esula da quelli usualmente trattati nei corsi fondamentali, ma che diventa fondamentale in altri campi di studio come la teoria delle equazioni. Il nome di tale classe di gruppi deriva infatti dalla loro correlazione con la risolubilità per formule generali delle equazioni di n-esimo grado. Si ha infatti dalla teoria di Galois che un'equazione di grado n è risolubile per radicali se e solo se il suo gruppo di Galois è risolubile. Da questo spunto di prima e grande utilità, la teoria dei gruppi risolubili ha preso una propria strada, tanto da poter caratterizzare tali gruppi senza dover passare dalla teoria di Galois. Qui viene infatti presentata la teoria dei gruppi risolubili senza far uso di tale teoria: nel primo capitolo esporrò le definizioni fondamentali necessarie per lo studio dei gruppi risolubili, la chiusura del loro insieme rispetto a sottogruppi, quozienti, estensioni e prodotti, e la loro caratterizzazione attraverso la serie derivata, oltre all'esempio più caratteristico tra i gruppi non risolubili, che è quello del gruppo simmetrico. Nel secondo capitolo sono riportati alcuni esempi e controesempi nel caso di gruppi non finiti, tra i quali vi sono il gruppo delle isometrie del piano e i gruppi liberi. Infine nel terzo capitolo viene approfondito il caso dei gruppi risolubili finiti, con alcuni esempi, come i p-gruppi, con un’analisi della risolubilità dei gruppi finiti con ordine minore o uguale a 100.

Risolubilità per radicali

Lo scopo di questa tesi è di esporre il cuore centrale della teoria di Galois, la risolubilità per radicali delle equazioni polinomiali nel caso in cui il campo di partenza abbia caratteristica 0. L’operato è articolato in tre capitoli. Nel primo capitolo vengono introdotte le nozioni fondamentali della teoria dei campi e della teoria di Galois. Nel secondo capitolo, si sviluppa il problema della risolubilità per radicali. Vengono prima introdotti i gruppi risolubili e alcune loro particolarità. Poi vengono introdotte le nozioni di estensioni radicali e risolubili e relativi teoremi. Nel paragrafo 2.3 viene dimostrato il teorema principale della teoria, il teorema di Galois, che identifica la risolubilità del gruppo di Galois con la risolubilità dell’estensione. Infine l’ultimo paragrafo si occupa della risolubilità dei polinomi, sfruttando il loro campo di spezzamento. Nel terzo ed ultimo capitolo, viene discussa la risolubilita` dell’equazione polinomiale generale di grado n. Vengono inoltre riportati diversi esempi ed infine viene presentato un esempio di estensione di Galois di grado primo p non risolubile in caratteristica p.

Integrazione p-adica e teorema di Igusa

Questa tesi si prefigge lo scopo di dimostrare il teorema di Igusa. Inizia introducendo algebricamente i numeri p-adici e ne dà una rappresentazione grafica. Sviluppa poi un integrale definito dalla misura di Haar, invariante per traslazione e computa alcuni esempi. Utilizza il blow up come strumento per la risoluzione di alcuni integrali ed enuncia un'applicazione del teorema di Hironaka sulla risolubilità delle singolarità. Infine usa questi risultati per dimostrare il teorema di Igusa.

Risolubilità per radicali di equazioni polinomiali

Lo scopo di questa tesi è lo studio della risolubilità per radicali di equazioni polinomiali nel caso in cui il campo dei coefficienti del polinomio abbia caratteristica zero. Nel primo capitolo vengono richiamati i principali risultati riguardanti la teoria di Galois. Nel secondo capitolo si introducono le nozioni di gruppo risolubile e gruppo semplice analizzandone le proprietà. Nel terzo capitolo si definiscono le estensioni di campi radicali e risolubili. Viene inoltre dimostrato il teorema di Galois che mette in evidenza il legame tra gruppi risolubili ed estensioni risolubili. Infine, nell'ultimo capitolo, si applicano i risultati ottenuti al problema della risolubilità per radicali delle equazioni polinomiali dando anche diversi esempi. In particolare viene analizzato il caso del polinomio universale di grado n.

Applicazione di tecniche di Reliability, Availability e Maintainability analysis in un’azienda produttrice di macchine automatiche. Il caso Ima S.p.A.

Il seguente lavoro di tesi è nato durante un’attività di stage della durata di 7 mesi svolto all’interno della divisione Tea&Coffe di IMA S.p.A., azienda leader mondiale nella produzione di macchine automatiche per il confezionamento di prodotti farmaceutici, cosmetici, alimentari, tè e caffè. Le attività svolte si collocano all’interno di un progetto avviato da IMA per promuovere il passaggio ad un modello di industria necessariamente più evoluta, facendo leva sull’attitudine ad integrare e sviluppare nuove conoscenze e nuove tecnologie interdisciplinari e, allo stesso tempo, di massimizzare la sinergia tra le dimensioni tecnica ed economica, comportando una reale riduzione di sprechi nella filiera produttiva, commerciale ed ambientale. I moderni impianti di produzione devono infatti affrontare una sfida che li vede alla continua ricerca della produttività, ovvero di una produzione che remuneri velocemente e con ampi margini gli investimenti effettuati, della qualità dei prodotti e dei processi di produzione, ovvero della garanzia di soddisfacimento delle aspettative espresse ed inespresse del cliente, e della sicurezza per la salvaguardia della collettività e dell’ambiente. L’obiettivo di questo elaborato è stato quello di effettuare lo studio affidabilistico di una macchina automatica per la produzione di bustine di tè al fine di poterne studiare il suo comportamento al guasto e di elaborare in un secondo momento le politiche manutentive ottimizzate che ne permettano una gestione più efficiente. In questo ambito la macchina è stata scomposta in gruppi e sono stati esaminati tutti i pezzi di ricambio che sono stati richiesti in un arco temporale di durata pari a dieci anni, il fine è quello di poter individuare ed effettuare un’analisi affidabilistica dei componenti critici per poi procedere, attraverso l’uso di piattaforme software quali Weibull++ e Blocksim, col modellarne le distribuzioni statistiche e simulare il funzionamento del sistema nel suo complesso.

Risolubilità delle equazioni polinomiali

Scopo di questo elaborato è studiare la risolubilità per radicali di un polinomio a coefficienti in un campo di caratteristica zero attraverso lo studio del gruppo di Galois del suo campo di spezzamento. Dopo aver analizzato alcuni risultati su gruppi risolubili e gruppi semplici, vengono studiate le estensioni radicali e risolubili. Viene inoltre dimostrato su un campo K di caratteristica zero il Teorema di Galois, che caratterizza i polinomi risolubili per radicali f a coefficienti in K attraverso la risolubilità del gruppo di Galois G(L/K), dove L è il campo di spezzamento di f. La tesi contiene anche un'esposizione sintetica del metodo introdotto da Lagrange per la risoluzione di equazioni polinomiali di cui si conosca il gruppo di Galois.

Compatibilità aeronautica. Definizione dei vincoli fisici per le aree limitrofe all'Aeroporto "G. Marconi" di Bologna

Per garantire la sicurezza di tutte le operazioni in volo (avvicinamento, decollo, holding, ecc..) il decreto legge del 15 marzo del 2006 n. 151 ha imposto la redazione di opportune cartografie basate sul Regolamento ENAC per la Costruzione e l’Esercizio degli Aeroporti e sulla normativa internazionale ICAO così da poterle annettere agli Strumenti Urbanistici del territorio e governare lo sviluppo delle costruzioni. La sicurezza delle operazioni in volo è garantita attraverso delle Superfici di Delimitazione Ostacoli che impongono dei vincoli plano-altimetrici nelle aree limitrofe agli Aeroporti, quindi costruzioni, alberi e lo stesso terreno non devono forare queste superfici altrimenti diventerebbero “Ostacoli” alla navigazione aerea. Per gli ostacoli già presenti sono definiti dei provvedimenti da adottarsi in funzione della superficie che questi forano: potranno essere abbattuti se ricadenti in aree critiche come in prossimità delle piste oppure essere segnalati in mappe in uso ai piloti e anche con segnali visivi posizionati sugli stessi. Per quanto riguarda le future costruzioni, queste non potranno mai diventare Ostacolo in quanto sarà obbligatorio rispettare i vincoli plano-altimetrici. La tesi di laurea in questione vuole illustrare come si è arrivati alla redazione delle sopraccitate mappe nel caso specifico dell'Aeroporto Guglielmo Marconi di Bologna; sono analizzate nel primo capitolo le caratteristiche fisiche degli Aeroporti per acquisire una certa padronanza su termini tecnici che compaiono nei capitoli successivi (è inoltre presente un glossario). Nel secondo capitolo è individuato il percorso normativo che ha portato alla redazione dell’ultima revisione al Codice della Navigazione. Il capitolo 3 introduce le superfici di delimitazione ostacoli secondo quanto esposto nel Regolamento per la Costruzione e l’Esercizio degli Aeroporti di ENAC; il capitolo 4 è dedicato al lay-out dell’Aeroporto Guglielmo Marconi di Bologna. Infine la tesi si conclude con il capitoli 5 nel quale sono esposte le fasi e le metodologie usate per la realizzazione delle planimetrie e con il capitolo 6 in cui si discute delle problematiche sorte a causa dell’orografia del territorio che deve tenersi nella giusta considerazione per la definizione dei suddetti vincoli aeronautici.

Applicazione di una metodologia LCA all'impiego di biomasse legnose a fini energetici: un confronto tra la produzione di energia termica da cippato e da pellet

Con questo studio si è volto effettuare un confronto tra la generazione di energia termica a partire da cippato e da pellet, con particolare riferimento agli aspetti di carattere ambientale ed economico conseguenti la produzione delle due differenti tipologie di combustibile. In particolare, si sono ipotizzate due filire, una di produzione del cippato, una del pellet, e per ciascuna di esse si è condotta un'Analisi del Ciclo di Vita, allo scopo di mettere in luce, da un lato le fasi del processo maggiormente critiche, dall'altro gli impatti sulla salute umana, sugli ecosistemi, sul consumo di energia e risorse. Quest'analisi si è tradotta in un confronto degli impatti generati dalle due filiere al fine di valutare a quale delle due corrisponda il minore. E' stato infine effettuato un breve accenno di valutazione economica per stimare quale tipologia di impianto, a cippato o a pellet, a parità di energia prodotta, risulti più conveniente.