La scala delle distanze in astrofisica

In questo elaborato vengono descritti i principali metodi per il calcolo delle distanze in astrofisica. Viene trattato il fenomeno della parallasse, il funzionamento e alcuni tipi di stelle variabili oltre alle supernove di tipo thermonuclear. Infine sono brevemente discussi alcuni indicatori secondari: le relazioni di Faber-Jackson, Tully-Fisher e la legge di Hubble.

Onde gravitazionali - teoria e rivelazione

Nel redarre la tesi si è perseguito l'intento di illustrare la teoria alla base delle onde gravitazionali e dei metodi che ne consentono la rivelazione. È bene tenere presente che con il seguente elaborato non si sta proponendo, in alcun modo, una lettura da sostituire ad un testo didattico. Pur tuttavia, si è cercato di presentare gli argomenti in maniera tale da emulare l'itinerario formativo di uno studente che, per la prima volta, si approcci alle nozioni, non immediatamente intuitive, ivi descritte. Quindi, ogni capitolo è da interpretarsi come un passo verso la comprensione dei meccanismi fisici che regolano produzione, propagazione ed infine rivelazione delle perturbazioni di gravità. Dopo una concisa introduzione, il primo capitolo si apre con il proposito di riepilogare i concetti basilari di geometria differenziale e relatività generale, gli stessi che hanno portato Einstein ad enunciare le famose equazioni di campo. Nel secondo si introduce, come ipotesi di lavoro standard, l'approssimazione di campo debole. Sotto questa condizione al contorno, per mezzo delle trasformazioni dello sfondo di Lorentz e di gauge, si manipolano le equazioni di Einstein, ottenendo la legge di gravitazione universale newtoniana. Il terzo capitolo sfrutta le analogie tra equazioni di campo elettromagnetiche ed einsteiniane, mostrando con quanta naturalezza sia possibile dedurre l'esistenza delle onde gravitazionali. Successivamente ad averne elencato le proprietà, si affronta il problema della loro propagazione e generazione, rimanendo sempre in condizioni di linearizzazione. È poi la volta del quarto ed ultimo capitolo. Qui si avvia una dissertazione sui processi che acconsentono alla misurazione delle ampiezze delle radiazioni di gravità, esibendo le idee chiave che hanno condotto alla costruzione di interferometri all'avanguardia come LIGO. Il testo termina con uno sguardo alle recenti scoperte e alle aspettative future.

Analisi sperimentale e numerica del comportamento delle connessioni per strutture in XLAM

La tesi ha lo scopo di determinare una correlazione tra lo spostamento laterale e la riduzione di resistenza a trazione per le connessioni di tipo holdown per pareti in legno massiccio XLam. Per raggiungere questo obiettivo è stata condotta un’indagine sperimentale, nella quale sono state eseguite prove cicliche a trazione in controllo di spostamento assiale, con imposizione di uno spostamento a taglio iniziale. Sono state eseguite inoltre prove monotone combinate, caratterizzate da contemporaneo spostamento a taglio e assiale legati da rapporto diverso per ogni tipologia di prova. Si è ricavata una legge di danno che correla lo spostamento laterale alla riduzione di resistenza assiale: per scorrimenti entro 15 mm il danno è contenuto (10%), ma arrivando a 30-45mm la riduzione di resistenza è del 20%. Mettendo insieme invece le monotone ottenute variando il suddetto rapporto di velocità si è definito un dominio di resistenza. La seconda parte verte sulla modellazione numerica in OpenSEES delle connessioni come molle di un materiale isteretico, tarate sulla base delle curve sperimentali cicliche ottenute. Queste sono state poi utilizzate per la modellazione di una parete a molle disaccoppiate, che considera solo la resistenza a trazione per hold-down e a taglio per angolari (sottostima resistenza reale). Una seconda modellazione a molle accoppiate considera la resistenza in entrambe le direzioni: questo sovrastima la resistenza globale reale, poiché non tiene conto della contemporanea applicazione del carico nelle due direzioni. E’ stata quindi applicata la suddetta legge di danno attraverso un procedimento iterativo che in base agli spostamenti laterali riduce la resistenza assiale e riesegue l’analisi con i parametri corretti, per rivalutare spostamenti e resistenze: la progettazione attuale sovradimensiona gli angolari, il collasso della struttura avviene per rottura non bilanciata, con hold-down plasticizzati e angolari in campo elastico (meccanismo di rocking).

Analisi qualitativa del moto unidimensionale e oscillazioni non lineari

Un sistema meccanico è descritto da equazioni differenziali spesso non lineari. Nel maggior numero dei casi tali equazioni non sono risolubili per via analitica e quindi si ricorre all'analisi qualitativa del moto che permette di ricavare informazioni su di esso senza integrare le equazioni. Nell’approccio qualitativo il metodo più utilizzato è la discussione alla Weierstrass che permette di ricavare informazioni sul moto di un punto materiale, che si muove di moto unidimensionale, soggetto a forze conservative, a partire dalla legge di conservazione dell'energia totale. Un altro metodo molto efficace è la costruzione del diagramma di fase, che nel caso di un punto materiale si riduce allo studio delle curve di livello dell’energia totale e permette di rappresentare lo stato del sistema in ogni istante di tempo. Infine altri due metodi analitici che si utilizzano nel caso di oscillazioni non lineari sono il metodo delle approssimazioni successive e delle perturbazioni. In questa tesi viene illustrato ampiamente il primo metodo e si danno alcuni cenni degli altri due, corredandoli con esempi.

Electrically tunable piezoelectric bimorph cantilever for energy harvesting

Con la presente tesi viene esaminato un metodo per modificare la frequenza di risonanza di trasduttori piezoelettrici mediante applicazione di carichi elettrici esterni. L'elaborato inizia con la presentazione dei cristalli utilizzati nel lavoro di tesi, concentrandosi sul processo di fabbricazione di un bimorph cantilever impiegato come convertitore elettromeccanico di energia, la cui frequenza di risonanza è modellizzata analiticamente mediante la legge di Newton e il modello di Euler-Bernoulli. Su tale struttura vengono condotte misure mediante shaker elettrodinamico e analizzatore d'impedenza, ai fini di giusticare il modello analitico presentato. Con lo scopo di sincronizzare la frequenza di risonanza del cantilever con la vibrazione dell'ambiente per massimizzare la potenza disponibile, viene proposto un algoritmo MPPT secondo l'approccio Perturba e Osserva (P&O), al quale è fornita in ingresso la tensione efficace di un layer di materiale piezoelettrico. Valutare la sua risposta in tensione, presenta dei limiti applicativi che hanno portato a prendere in considerazione un approccio totalmente diff�erente, basato sullo sfasamento tra la tensione di un trasduttore piezoelettrico e il segnale di accelerazione impiegato come eccitazione. Misure sperimentali sono state condotte con l'obiettivo di validare l'efficacia di quest'ultimo approccio qualora si voglia sincronizzare la frequenza di risonanza dei piezo con segnali di vibrazione reali.

Breakdown nei gas a bassa pressione

Studio della crescita della scarica elettrica nei gas a bassa pressione con trattazioni teoriche, risultati sperimentali e rimandi ai principali studi sull'argomento. Indice: 1 Introduzione 2 Breakdown nei Gas a Bassa Pressione 2.1 Criterio di Townsend e Legge di Paschen 2.2 Tensione di Breakdown in Campi Uniformi 2.3 Scostamenti dalla Legge di Paschen 2.4 Breakdown in Campi Non Uniformi 2.5 Time Lags per il Breakdown 2.6 Breakdown nel Vuoto 2.7 Scariche Intermittenti post-Breakdown 3 Breakdown nei Contatori Geiger 3.1 Contatori Geiger 3.2 Conteggio Proporzionale 3.3 Conteggio Non-Proporzionale 3.4 Propagazione della Scarica A Sviluppi Successivi

Studio multi-banda dal sub-parsec al kilo-parsec dell'emissione del getto nella radio galassia IC 1531

In questo lavoro di tesi si presenta il primo studio multi-scala e multi-frequenza focalizzato sul getto della radiogalassia IC1531 (z=0.026) con i satelliti Chandra, XMM-Newton e Fermi con l’obiettivo di tracciarne l’emissione alle alte energie; definire i processi radiativi responsabili dell’emissione osservata e stimare i principali parametri fisici del getto; stimare l’energetica del getto alle diverse scale. La sorgente è stata selezionata per la presenza di un getto esteso (≈5’’) osservato in radio e ai raggi X, inoltre, era riportata come possibile controparte della sorgente gamma 3FGLJ0009.6-3211 presente nel terzo catalogo Fermi (3FGL). La presenza di emissione ai raggi γ, confermata dal nostro studio, è importante per la modellizzazione della SED della regione nucleare. L’emissione X del nucleo è dominata da una componente ben riprodotta da una legge di potenza con indice spettrale Γ=2.2. L’analisi dell’emissione in banda gamma ha evidenziato una variabilità su scale di 5 giorni, dalla quale è stato possibile stimare le dimensioni delle regione emittente. Inoltre viene presentato lo studio della distribuzione spettrale dell’energia della regione nucleare di IC 1531 dalla banda radio ai raggi γ. I modelli ci permettono di determinare la natura dell’emissione gamma e stimare la potenza cinetica del getto a scale del su-pc. Gli osservabili sono stati utilizzati per ottenere le stime sui parametri del modello. La modellizzazione così ottenuta ha permesso di stimare i parametri fisici del getto e la potenza trasportata del getto a scale del sub-pc. Le stime a 151MHz suggerisco che il getto abbia basse velocita' (Γ≤7) e angolo di inclinazione rispetto alla linea di vista 10°<ϑ<20°; nel complesso, il trasporto di energia da parte del getto risulta efficiente. L’origine dell’emissione X del getto a grandi scale è consistente con un’emissione di sincrotrone, che conferma la classificazione di IC1531 come sorgente di bassa potenza MAGN.

L'influenza della precompressione nella prova a taglio dei campioni in muratura: uno studio sperimentale

Essendo l’Italia un territorio soggetto a violenti e frequenti sismi, ed avendo un importante patrimonio in muratura, è interessante studiare il rapporto tra i due. La muratura è maggiormente resistente contro forze che agiscono nel suo piano, che generano quindi uno sforzo di taglio. Si andrà dunque a valutare sperimentalmente la resistenza a taglio delle murature. Tale campagna sperimentale sarà svolta su campioni di muratura sotto forma di triplette confezionate con due tipi di malta diversi a tre livelli di precompressione differenti. I risultati così ottenuti saranno infine rielaborati in un grafico, il grafico della legge di Coulomb, che mira a cercare un legame lineare tra le tau e le sigma di precompressione. Un valore aggiunto dello studio sta nel monitoraggio costante della prova, dal quale si nota che la precompressione durante questa varia. Portando dunque a due risultati diversi: il primo è un legame tau-sigma con livelli di sigma normativi e uno con legami di sigma effettivi della rottura. La campagna sperimentale, inoltre, comprende anche la valutazione del modulo elastico per i singoli campioni di laterizio e di malta. La malta sarà provata anche per la resistenza a flessione e compressione.

Il cielo stellato sopra di me e la legge morale in me. Osservazioni sul sublime e sulla logica dell’irrazionale in Kant

«Duas coisas enchem o ânimo de uma admiração e veneração sempre nova e tanto mais crescente quanto mais frequente e mais demoradamente a reflexão se ocupa delas: o céu estrelado acima de mim e a lei moral em mim.” Com estas famosíssimas palavras escritas no papel e incisas em pedra, Immanuel Kant conclui a Crítica da razão prática. No presente artigo pretendo mostrar como esta frase está estreitamente ligada: 1) à doutrina kantiana do sublime e 2) à fundação da lógica do irracional na Critica do Juízo.

Introduzione alla logica e alla matematica intuizioniste

L'elaborato propone un'introduzione alla matematica intuizionista e alla sua formalizzazione. Dopo aver inquadrato storicamente il movimento e averne tratteggiato il pensiero, si approfondiscono la sintassi e la semantica ad esso associate grazie ai lavori di Heyting e Kripke, si confronta la teoria con quella classica, e si indica il legame tra la logica intuizionista e quella modale. Il capitolo conclusivo è dedicato alla costruzione dei numeri naturali e reali, con particolare attenzione alle conseguenze metodologiche del pensiero intuizionista, ai concetti originali e alle nozioni più fini in cui si suddividono alcune nozioni fondamentali della matematica tradizionale.

Torah Nidrescet: studi critici sulla veracità della divina legge : preceduti da filosofici ragionamenti ed indagini sulla logica ; versione dall'Ebraico

opera postuma di S. D. Luzzatto

Impossibilità di pensare Dio non esistente : il Proslogion di Anselmo d'Aosta come applicazione implicita dei moderni procedimenti di logica aletica

Resumen: La vera intenzione teologica di Anselmo d’Aosta nello scrivere il Proslogion e il vero significato del suo celebre unum argumentum vanno visti nella funzione che la ragione svolge necessariamente all’interno della vita di fede del cristiano. Anselmo, come Tommaso d’Aquino, non sostiene che l’esistenza di Dio sia un “articulus fidei” ma piuttosto uno dei “praeambula fidei”. La ragione naturale ha la certezza che Dio esiste, ancora prima della dimostrazione metafisica, e questo non fa che confermare l’assurdità di pensare che non esista il fondamento reale di tutte le cose esistenti.

Interpretazione in una logica n-dimensionale di Metafisica 4,4

Il Principio di non contraddizione (PNC) così come tradizionalmente inteso sembra minare alla base la possibilità di un'alterità « assoluta », di un'alterità, cioè che non sia in nessun modo riconducibile ad un'ipseità che la conosca. [...]