Meccanica classica e meccanica quantistica nel formalismo della geometria differenziale

Si fornisce un'introduzione al formalismo geometrico della meccanica classica e quantistica, studiando dapprima lo spazio delle fasi come varietà simplettica ricavando le equazioni di Hamilton. Si descrivono in seguito gli strumenti necessari per operare in uno spazio di Hilbert, i quali risultano più complessi di quelli utilizzati per descrivere lo spazio delle fasi classico. In particolare notiamo l'esigenza di definire anche una struttura riemanniana sugli spazi complessi per poter ivi definire il prodotto scalare, le parentesi e i commutatori simmetrici.

Genesi del principio di induzione matematica

La tesi è dedicata alla storia dell'induzione matematica. Storicamente, il principio di induzione matematica è considerato un traguardo di Blaise Pascal nel XVII secolo, ma alcuni documenti mostrano che l'argomento è molto più articolato e complesso, e come autori precedenti avessero già sviluppato forme simili all'induzione.

Sensing della presenza di scale tramite smartphone

Lo scopo di questa tesi è di usare i sensori dello smartphone per cercare di rilevare alcune tra le attività umane più frequenti, come il salire una scala. Si presenta quindi lo smartphone in termini di hardware elencando i possibili sensori contenuti in esso e descrivendone le qualità. Vengono presentati i principali sistemi operativi mobili adottati per questi tipi di dispositivi mostrando un confronto tra di essi in termini di pregi e difetti e viene narrata un minimo di storia relativa ai dispositivi mobili in generale spiegando come lo smartphone abbia sostituito il classico telefono cellulare. Nel documento di tesi verranno poi presentati i principali strumenti con cui verrà sviluppata l'applicazione di rilevamento e verranno presi in considerazione due programmi di sviluppo per due linguaggi e tipologie di smartphone differenti: Windows Phone e Android. Tuttavia per lo sviluppo del progetto di tesi verrà impiegata solo la strumentazione relativa a Windows Phone. In seguito verrà presentata l'applicazione d'ausilio alla progettazione dei metodi, Scilab. Per il rilevamento dell'attività verranno esposti due diversi metodi e ne verranno mostrati il codice per l'implementazione e i relativi risultati. Questi verranno poi discussi e confrontati per analizzare l'affidabilità di entrambi i metodi.

Geocronologia u-pb del Plutone della Valle del Cervo (Biella)

I complessi intrusivi alcalini, e i loro prodotti di alterazione, costituiscono una delle principali risorse di materie prime ad alto valore economico. Il magmatismo alcalino è di solito associato a fenomeni di rifting continentale che può essere legato o ad un’incipiente divergenza di placche litosferiche (Rift dell’Africa Orientale) o ad eventi distensivi post-collisionali. La caratterizzazione petrografica, geochimica e geocronologia di questi complessi sono prerequisiti essenziali per ogni progetto di prospezione mineraria. In Italia uno dei complessi alcalini più conosciuti è il Plutone Oligocenico della Valle del Cervo (Biella). La petrografia e la composizione degli elementi maggiori e in traccia dei diversi litotipi che lo compongono sono conosciuti nella letteratura geologica. Le datazioni radiometriche disponibili, tuttavia, sono limitate a dati Rb-Sr su separati di biotite e a più recenti dati U-Pb su zircone separato dal piccolo nucleo granitico del Plutone Oligocenico della Valle del Cervo. In entrambi i casi sono state ottenute età radiometriche di circa 30 Ma. Questo lavoro di tesi si basa sull’analisi degli isotopi U-Pb di zirconi separati dalla sienite e dal monzogranito a megacristalli di ortoclasio che costituiscono gran parte del Plutone Oligocenico della Valle del Cervo. Dopo una caratterizzazione petrografica e geochimica dei campioni scelti si è proceduto alla separazione degli zirconi tramite i metodi di routine che includono separazione gravimetrica, magnetica e liquidi pesanti. I rapporti isotopici U-Pb degli zirconi sono stati determinati presso l’Istituto di Geoscienze e Georisorse, Unità di Pavia, usando la tecnica di spettrometria di massa accoppiata ad una microsonda ad ablazione laser (LA ICP-MS). Le età U-Pb medie determinate per la sienite (33 Ma) e per il monzogranito a megacristalli di ortoclasio (29 Ma) sono da considerarsi età magmatiche relative alla cristallizzazione dei fusi che diedero origine a queste rocce.

Stato dell'arte della progettazione automatica di programmi per robot

La comprensione delle proprietà e delle meccaniche di funzionamento dei sistemi complessi e dinamici che ci circondano è uno degli obiettivi principali delle discipline ingegneristiche e scientifiche. Lo sviluppo nel campo dell'Intelligenza Artificiale ha permesso la creazione di entità robotiche sempre più intelligenti, in grado di manifestare comportamenti notevoli e di raggiungere gli obiettivi prefissati: la progettazione di software di controllo ha velocemente ricevuto una crescente responsabilità. Questo elaborato si propone di inquadrare in generale la situazione della progettazione di software di controllo robotici, focalizzandosi in particolare sulle tecniche di progettazione automatica di programmi per robot: dopo aver inquadrato il background su cui si basa la progettazione automatica ed aver mostrato una panoramica dei principali metodi di progettazione diretta, vengono elencate e spiegate le tecniche più utilizzate ed interessanti della progettazione automatica di programmi per robot.

Smart home: Stato dell'arte della tecnologia

Nella tesi vengono analizzati i diversi aspetti della domotica. Uno sguardo sulla storia, sulle caratteristiche sia funzionali che strutturali. Viene analizzato l'impatto che questa ha sull'uomo e sul suo stile di vita. Vengono messe a confronto Google ed Apple, nello specifico per quel che riguarda la loro risposta alla smart home: Nest ed HomeKit, sia a livello funzionale che di codice. In seguito all'analisi di API e documentazioni è emerso che entrambe le aziende offrono pressoché le medesime funzionalità, ma con piccole particolarità che fanno la differenza, dando inizio così ad una battaglia per il primato.

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.

Funzioni polinomiali negli anelli z_(p^n)

Questa ricerca affronta in maniera interdisciplinare il tema delle funzioni polinomiali definite sugli anelli degli interi modulo la potenza di un numero primo. In primo luogo è stato esaminato il caso particolare del campo Zp, dimostrando che in esso tutte le funzioni sono polinomiali. In seguito è stato calcolato il numero delle funzioni polinomiali negli interi modulo 9 e modulo 25, mostrando un procedimento che può essere esteso a qualsiasi potenza di un numero primo. Esso fa uso di alcuni risultati di teoria dei numeri e di aritmetica e affronta il tema da un punto di vista prettamente algebrico. A queste dimostrazioni è stato affiancato un esperimento di tipo statistico, il cui obiettivo è cercare una regolarità che permetta, dati il numero primo p e il suo esponente n, di calcolare immediatamente il numero delle funzioni polinomiali nell'anello degli interi modulo p^n. Sono state presentate due congetture, ottenute utilizzando strumenti di tipo informatico: un software di calcolo e un linguaggio di programmazione ad alto livello. Gli strumenti della statistica descrittiva, in particolare il test di Pearson, si sono rivelati essenziali per verificare l'adeguatezza delle supposizioni. Questa ricerca può essere considerata il punto di partenza per dimostrare (o confutare) quello che è stato ipotizzato attraverso un'analisi di tipo sperimentale.

Il luogo nella memoria conservazione e valorizzazione della rocca di Modigliana

Nella valle del Marzeno, posta su un’altura che domina e protegge la città, si trova la rocca di Modigliana, una costruzione antica, che si configura come una preziosa occasione per poter leggere e comprendere la storia di un luogo. È infatti un delicato palinsesto, una testimonianza fisica di complesse trasformazioni storiche e sociali, accumulate nel tempo. La cittadina di Modigliana sorge in una posizione geografica di natura strategica, vicina all’attuale confine tra Emilia Romagna e Toscana, teatro di numerosi conflitti e contese politiche nel corso della storia. La rocca viene costruita alla fine del IX secolo, come torre residenziale dei Conti Guidi, una potente famiglia a cui va attribuito un ruolo politico decisivo nell’Italia centrale del medioevo. Sotto il dominio dei Guidi,durato circa quattro secoli, Modigliana diventa capitale del feudo romagnolo e la rocca un palatium, emblema del forte potere politico e militare che i conti detenevano sul territorio. Nel 1377 il Comune di Modigliana viene annesso alla Repubblica Fiorentina e la rocca subisce importanti trasformazioni, perdendo la propria funzione palaziale e acquistando quella militare difensiva, fino ad un definitivo abbondono nel XVI secolo. La rocca, definita ‘Roccaccia’ per la propria imponenza, è divenuta simbolo e identità della cittadina nella percezione collettiva locale. In seguito al crollo di una parte del mastio, la rocca presenta un suggestivo spaccato, visibile da tutto il paese, che permette di osservare l’interno dell’antica costruzione. Purtroppo la mancata attuazione di un progetto di conservazione della rocca, ha lasciato la rovina in uno stato di totale degrado, pericolosità e inaccessibilità, portandola ad un lento declino. Il progetto si pone innanzitutto l’obiettivo di conservare e valorizzare il manufatto, permettendo l’accessibilità e la fruizione della rocca, senza stravolgerne i caratteri naturali e accettando i limiti imposti dal luogo. Sfruttando i percorsi storici e gli spazi esistenti, il progetto è pensato con l’intento di rendere conoscibile la composizione delle parti del manufatto e il suo funzionamento. Queste volontà progettuali hanno portato a maturare l’idea di voler restituire alla città di Modigliana un luogo, che il degrado e l’incuria stanno rubando al tempo.

La teoria dei numeri transfiniti nei suoi aspetti matematici e filosofici

La presente tesi si occupa, da un punto di vista matematico e filosofico, dello studio dei numeri transfiniti introdotti da Georg Cantor. Vengono introdotti i concetti di numero cardinale ed ordinale, la loro aritmetica ed i principali risultati riguardo al concetto di insieme numerabile. Si discutono le nozioni di infinito potenziale ed attuale e quella di esistenza secondo la concezione di Cantor. Viene infine presentata l'induzione transfinita, una generalizzazione al caso transfinito del principio di induzione matematica.

La sicurezza della posta elettronica e il sistema PGP

Visto il sempre più frequente utilizzo della posta elettronica aumenta sempre più la richiesta di sevizi di segretezza e autenticazione. La tesi spiega il funzionamento del crittosistema PGP, che si utilizza per garantire sicurezza alla posta elettronica, e le controversie politiche affrontate dal suo creatore Phil Zimmermann per averlo reso pubblico gratuitamente.

Il metodo della parametrice per equazioni integro-differenziali

In questa tesi è esposta un'applicazione del metodo della parametrice a equazioni integro-differenziali. E' stata calcolata la soluzione fondamentale per l'operatore associato ad un processo Wiener-Poisson e, in seguito, lo stesso metodo è stato applicato ad equazioni stocastiche lineari.

Il sillogismo e il “Gioco della Logica” di L. Carroll

La tesi è suddivisa in due capitoli. Nel primo capitolo è data una definizione di sillogismo, la sua classificazione nelle 4 figure e la sua interpretazione mediante il calcolo delle classi. Inoltre è spiegato il calcolo predicativo monadico ed è dimostrata la sua decidibilità. Nel secondo capitolo è illustrato il “Gioco della Logica” di L. Carroll descrivendo le regole del gioco e riportando diversi esempi. Inoltre è evidenziata una discrepanza nell'interpretazione del quantificatore universale tra la logica di Carroll e la logica moderna.

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.

La figura della donna nella società giapponese: dal Giappone moderno alla società contemporanea

L’idea del presente elaborato nasce da due elementi principali: l’attualità del tema in Giappone ma anche in Europa, e l’esistenza nella lingua giapponese di strutture grammaticali e sintattiche propriamente “maschili”. L’analisi della figura della donna nella società giapponese moderna è trattata attraverso un breve excursus che va dalla mitologia alla Seconda Guerra Mondiale. Il mito presenta la femminilità come valore, e genera una società matriarcale. Tuttavia, l’influenza delle religioni e lo sviluppo del sistema feudale ben presto orientano la società verso un rigido patriarcato. Nonostante la Restaurazione Meiji abbia dato impulso ai primi movimenti di riforma in materia di diritti delle donne, è solo durante il periodo Taishō che la società assimila influenze progressiste e vedute più aperte, e lo status della donna diviene oggetto di riforme e conquiste. Nella seconda metà degli anni Trenta il clima oppressivo in vista della Seconda Guerra Mondiale predilige ancora una volta il ruolo femminile tradizionale plasmato dalla cultura patriarcale. Per la prima volta, durante l’Occupazione statunitense viene proposto un modello femminile alternativo, che sembra promuovere un’immagine diversa della donna. Tuttavia, tale fenomeno indietreggia non appena mutano le priorità degli Stati Uniti in Giappone. In seguito, lo studio della figura della donna nella società è trattata tramite l’analisi della Costituzione del 1946 e delle leggi in materia di famiglia, istruzione e occupazione. Tale analisi risulta interessante in quanto riflette l’andamento altalenante che caratterizza la società giapponese nell'ambito dell’eguaglianza di genere. Inoltre, è riportata l’analisi critica delle leggi in materia di eguaglianza di genere e pari opportunità in ambito lavorativo. L’analisi delle leggi permette di comprendere le tendenze delle nuove generazioni emerse negli ultimi anni, in particolare lo stile di vita della donna del Giappone contemporaneo.