Matrici ricorsive e successioni polinomiali di tipo intero

Nel seguente elaborato esponiamo la teoria delle matrici ricorsive, ovvero matrici doppiamente infinite in cui ogni riga può essere calcolata ricorsivamente dalla precedente e in particolare mostriamo come questa teoria possa essere utilizzata per ottenere una versione del calcolo umbrale, il quale è idoneo anche allo studio dei polinomi p(x) che assumono valori interi quando la variabile x è un intero. Studieremo alcuni dei risultati del calcolo umbrale come conseguenze delle due principali proprietà delle matrici ricorsive, ovvero la Regola del Prodotto e il Teorema della Doppia Ricorsione.

Successioni di polinomi di tipo binomiale e operatori delta

In questa tesi riportiamo le definizioni ed i risultati principali relativi alla corrispondenza tra le successioni di polinomi di tipo binomiale (particolari basi dello spazio dei polinomi a coefficienti reali) e gli operatori delta, cioè operatori lineari sullo spazio dei polinomi che commutano con gli operatori di traslazione e il cui nucleo è costituito dai polinomi costanti. Nel capitolo 1 richiamiamo i concetti fondamentali sull'algebra delle serie formali e definiamo l'algebra degli operatori lineari invarianti per traslazione, dimostrando in particolare l'isomorfismo tra queste algebre. Nel capitolo 2, dopo aver dimostrato l'unicità della successione di base relativa ad un operatore delta, ricaviamo come esempio le successioni di base di tre operatori delta, che useremo durante tutto il capitolo: l'operatore derivata, l'operatore di differenza in avanti e l'operatore di differenza all'indietro. Arriviamo quindi a dimostrare un importante risultato, il Primo Teorema di Sviluppo, in cui facciamo vedere come le potenze di un operatore delta siano una base per l'algebra degli operatori invarianti per traslazione. Introducendo poi le successioni di Sheffer, possiamo dimostrare anche il Secondo Teorema di Sviluppo in cui esplicitiamo l'azione di un operatore invariante per traslazione su un polinomio, tramite un operatore delta fissato e una sua successione di Sheffer. Nell'ultima parte della tesi presentiamo i formalismi e alcune semplici operazioni del calcolo umbrale, che useremo per determinare le cosiddette costanti di connessione, ovvero le costanti che definiscono lo sviluppo di una successione binomiale in funzione di un'altra successione binomiale usata come base dello spazio dei polinomi.

Analisi dei coefficienti di auto induzione di dispersione nelle macchine elettriche rotanti di tipo multifase

L’obiettivo di questa tesi è l’analisi e la modellizzazione dei flussi dispersi statorici nelle macchine multifase utilizzando la teoria dei vettori di spazio multipli. L’analisi ed il calcolo del coefficiente di auto induzione di dispersione statorica nei vari spazi è cruciale nella progettazione e nel controllo delle macchine elettriche multifase in quanto, per esempio, essa limita il ripple di corrente quando la macchina non è alimentata con una tensione perfettamente sinusoidale. Il fine è pertanto di giungere alla scrittura di un’equazione che leghi il generico vettore di spazio dei flussi dispersi ai vettori di spazio delle correnti che alimentano la macchina elettrica tramite una costante che contenga i coefficienti di auto e mutua induzione di dispersione in cava degli avvolgimenti statorici.

Utilizzo di dispositivi isteretici per l'isolamento di piano: strategie per una progettazione sismica di tipo multi-prestazionale

Con la presente tesi si è inteso studiare le possibilità applicative di una particolare tipologia strutturale dotata di isolamento sismico “di piano”, intendendosi con ciò una struttura in cui l'intero piano terra, tramite l'inserimento di opportuni elementi dissipativi isteretici ed in analogia al consueto isolamento sismico di base, agisce da “strato” di protezione passiva per i piani sovrastanti. A riguardo, fra le possibili soluzioni per realizzare effettivamente tale isolamento "di piano" è stata considerata la disposizione di particolari elementi dissipativi isteretici di controvento detti Crecent-Shaped Braces, caratterizzati da una forma bilatera o curva, tale comunque da presentare un'eccentricità non nulla fra l'asse del controvento stesso e la linea congiungente gli estremi.

Identificazione delle Lamine di tipo A come nuovi substrati della protein chinasi Akt/PKB

Akt (also called PKB) is a 63 kDa serine/threonine kinase involved in promotion of cell survival, proliferation a nd metabolic responses downstream the phosphoinositide-3-kinase (PI 3-kinase) signaling pathway. In resting cells, Akt is a predominantly cytosolic enzyme; however generation of PI 3-kinase lipid products recruits Akt to the plasma membrane, resulting in a conformational change which confers full enzymatic activity through the phosphorylation of the membrane-bound protein at two residues, Thr308, and Ser473. Activated Akt redistributes to cytoplasm and nucleus, where phosphorylation of specific substrates occurs. Both the presence and the activity of Akt in the nucleus have been described. An interesting mechanism that mediates nuclear translocation of Akt has been described in human mature T-cell leukemia: the product of TCL1 gene, Tcl1, interacts with the PH domain of phosphorylated Akt, thus driving Akt to the nucleus. In this context, Tcl1 may act as a direct transporter of Akt or may contribute to the formation of a complex that promotes the transport of active Akt to the nucleus, where it can phosphorylate nuclear substrates. A well described nuclear substrate if Foxo. IGF-1 triggers phosphorylation of Foxo by Akt inside the nucleus, where phospho-Foxo associates to 14.3.3 proteins that, in turn, promote its export to the cytoplasm where it is sequestered. Remarkably, Foxo phosphorylation by Akt has been shown to be a crucial event in Akt-dependent myogenesis. However, most Akt nuclear substrates have so far remained elusive, as well as nuclear Akt functions. This lack of information prompted us to undertake a search of substrates of Akt in the nucleus, by the combined use of 2D-separation/mass spectrometry and anti-Akt-phosphosubstrate antibody. This study presents evidence of A-type lamins as novel nuclear substrates of Akt. Lamins are type V intermediate filaments proteins found in the nucleus of higher eukaryotes where, together with lamin-binding proteins, they form the lamina at the nuclear envelope, providing mechanical stability for the nuclear membrane. By coimmunoprecipitation, it is demonstrated here that endogenous lamin A and Akt interact, and that A-type lamins are phosphorylated by Akt both in vitro and in vivo. Moreover, by phosphoaminoacid analysis and mutagenesis, it is further demonstrated that Akt phosphorylates lamin A at Ser404, and, more importantly, that while lamin A/C phosphorylation is stable throughout the cell cycle, phosphorylation of the precursor prelamin A becomes detectable as cells enter the G2 phase, picking at G2/M. This study also shows that lamin phosphorylation by Akt creates a binding site for 14.3.3 adaptors which, in turn, promote prelamin A degradation. While this mechanism is in agreement with a general role of Akt in the regulation of a subset of its substrates, opposite to what has been described, degradation is not mediated through a ubiquitination and proteasomal mechanism but through a lysosomal pathway, as indicated by the reverting action of the lysosomal inhibitor cloroquine. Phosphorylation is a key event in the mitotic breakdown of the nuclear lamina. However, the kinases and the precise sites of phosphorylation are scarcely known. Therefore, these results represent an important breakthrough in this very significant but understudied area. The phosphorylation of the precursor protein prelamin A and its subsequent degradation at G2/M, when both the nuclear envelop and the nuclear lamina disassemble, can be view as part of a mechanism to dispose off the precursor that is not needed in this precise context. The recently reported finding that patients affected by Emery-Dreifuss muscular dystrophy carry a mutation at Arg 401, in the Akt phosphorylation motif, open new perspective that warrant further investigation in this very important field.

Identificazione dei parametri meccanici del ponte metallico ferroviario a Pontelagoscuro attraverso un algoritmo di ottimizzazione di tipo evolutivo

Nel periodo storico compreso tra la seconda metà dell’Ottocento ed il primo ventennio del Novecento, un’ondata di innovazioni tecnologiche e scientifiche, unitamente all’espansione dell’industria siderurgica e la conseguente diffusione del ferro come materiale da costruzione, portarono alla realizzazione di strutture metalliche grandiose. Ciò fu reso possibile grazie ad una fervida attività di ricerca che permise la risoluzione di problematiche tecniche di assoluto rilievo, come la progettazione di grandi coperture o di ponti destinati al traffico ferroviario in grado di coprire luci sempre maggiori. In questo contesto si sviluppò il sistema della chiodatura come metodo di unione per il collegamento rigido e permanente dei vari elementi che compongono la struttura portante metallica. Ad oggi il sistema della chiodatura è stato quasi completamente sostituito dalla bullonatura di acciaio ad alta resistenza e dalla saldatura, che garantendo gli stessi standard di affidabilità e sicurezza, offrono vantaggi in termini economici e di rapidità esecutiva. Tuttavia lo studio delle unioni chiodate continua a rivestire notevole importanza in tutti quei casi in cui il progettista debba occuparsi di restauro, manutenzione o adeguamento di strutture esistenti che in molti casi continuano ad assolvere le funzioni per le quali erano state progettate. La valutazione delle strutture esistenti, in particolare i ponti, ha assunto un’importanza sempre crescente. L’incremento della mobilità e del traffico sulle infrastrutture di trasporto ha portato ad un incremento contemporaneo di carichi e velocità sui ponti. In particolare nelle ferrovie, i ponti rappresentano una parte strategica della rete ferroviaria e in molti casi, essi hanno già raggiunto i loro limiti di capacità di traffico, tanto è vero che l’età media del sessanta percento dei ponti metallici ferroviari è di un centinaio di anni. Pertanto i carichi di servizio, i cicli di sforzo accumulati a causa dei carichi da traffico e il conseguente invecchiamento delle strutture esistenti, inducono la necessità della valutazione della loro rimanente vita a fatica. In questo contesto, la valutazione delle condizioni del ponte e le conseguenti operazioni di manutenzione o sostituzione diventano indispensabili. Negli ultimi decenni sono state effettuate numerose iniziative di ricerca riguardo il comportamento a fatica dei ponti ferroviari chiodati, poiché le passate esperienze hanno mostrato che tali connessioni sono suscettibili di rotture per fatica. Da uno studio dell’ASCE Committee on Fatigue and Fracture Reliability è emerso che l’ottanta, novanta percento delle crisi nelle strutture metalliche è da relazionarsi ai fenomeni di fatica e frattura. Il danno per fatica riportato dai ponti chiodati è stato osservato principalmente sulle unioni tra elementi principali ed è causato dagli sforzi secondari, che si possono sviluppare in diverse parti delle connessioni. In realtà riguardo la valutazione della fatica sui ponti metallici chiodati, si è scoperto che giocano un ruolo importante molti fattori, anzitutto i ponti ferroviari sono soggetti a grandi variazioni delle tensioni indotte da carichi permanenti e accidentali, così come imperfezioni geometriche e inclinazioni o deviazioni di elementi strutturali comportano sforzi secondari che solitamente non vengono considerati nella valutazione del fenomeno della fatica. Vibrazioni, forze orizzontali trasversali, vincoli interni, difetti localizzati o diffusi come danni per la corrosione, rappresentano cause che concorrono al danneggiamento per fatica della struttura. Per questo motivo si studiano dei modelli agli elementi finiti (FE) che riguardino i particolari delle connessioni e che devono poi essere inseriti all’interno di un modello globale del ponte. L’identificazione degli elementi critici a fatica viene infatti solitamente svolta empiricamente, quindi è necessario che i modelli numerici di cui si dispone per analizzare la struttura nei particolari delle connessioni, così come nella sua totalità, siano il più corrispondenti possibile alla situazione reale. Ciò che ci si propone di sviluppare in questa tesi è un procedimento che consenta di affinare i modelli numerici in modo da ottenere un comportamento dinamico analogo a quello del sistema fisico reale. Si è presa in esame la seguente struttura, un ponte metallico ferroviario a binario unico sulla linea Bologna – Padova, che attraversa il fiume Po tra le località di Pontelagoscuro ed Occhiobello in provincia di Ferrara. Questo ponte fu realizzato intorno agli anni che vanno dal 1945 al 1949 e tra il 2002 e il 2006 ha subito interventi di innalzamento, ampliamento ed adeguamento nel contesto delle operazioni di potenziamento della linea ferroviaria, che hanno portato tra l’altro all’affiancamento di un nuovo ponte, anch’esso a singolo binario, per i convogli diretti nella direzione opposta. Le travate metalliche del ponte ferroviario sono costituite da travi principali a traliccio a gabbia chiusa, con uno schema statico di travi semplicemente appoggiate; tutte le aste delle travi reticolari sono formate da profilati metallici in composizione chiodata. In particolare si è rivolta l’attenzione verso una delle travate centrali, della quale si intende affrontare un’analisi numerica con caratterizzazione dinamica del modello agli Elementi Finiti (FEM), in modo da conoscerne lo specifico comportamento strutturale. Ad oggi infatti l’analisi strutturale si basa prevalentemente sulla previsione del comportamento delle strutture tramite modelli matematici basati su procedimenti risolutivi generali, primo fra tutti il Metodo agli Elementi Finiti. Tuttavia i risultati derivanti dal modello numerico possono discostarsi dal reale comportamento della struttura, proprio a causa delle ipotesi poste alla base della modellazione. Difficilmente infatti si ha la possibilità di riscontrare se le ipotesi assunte nel calcolo della struttura corrispondano effettivamente alla situazione reale, tanto più se come nella struttura in esame si tratta di una costruzione datata e della quale si hanno poche informazioni circa i dettagli relativi alla costruzione, considerando inoltre che, come già anticipato, sforzi secondari e altri fattori vengono trascurati nella valutazione del fenomeno della fatica. Nel seguito si prenderanno in esame le ipotesi su masse strutturali, rigidezze dei vincoli e momento d’inerzia delle aste di parete, grandezze che caratterizzano in particolare il comportamento dinamico della struttura; per questo sarebbe ancora più difficilmente verificabile se tali ipotesi corrispondano effettivamente alla costruzione reale. Da queste problematiche nasce l’esigenza di affinare il modello numerico agli Elementi Finiti, identificando a posteriori quei parametri meccanici ritenuti significativi per il comportamento dinamico della struttura in esame. In specifico si andrà a porre il problema di identificazione come un problema di ottimizzazione, dove i valori dei parametri meccanici vengono valutati in modo che le caratteristiche dinamiche del modello, siano il più simili possibile ai risultati ottenuti da elaborazioni sperimentali sulla struttura reale. La funzione costo è definita come la distanza tra frequenze proprie e deformate modali ottenute dalla struttura reale e dal modello matematico; questa funzione può presentare più minimi locali, ma la soluzione esatta del problema è rappresentata solo dal minimo globale. Quindi il successo del processo di ottimizzazione dipende proprio dalla definizione della funzione costo e dalla capacità dell’algoritmo di trovare il minimo globale. Per questo motivo è stato preso in considerazione per la risoluzione del problema, l’algoritmo di tipo evolutivo DE (Differential Evolution Algorithm), perché gli algoritmi genetici ed evolutivi vengono segnalati per robustezza ed efficienza, tra i metodi di ricerca globale caratterizzati dall’obiettivo di evitare la convergenza in minimi locali della funzione costo. Obiettivo della tesi infatti è l’utilizzo dell’algoritmo DE modificato con approssimazione quadratica (DE-Q), per affinare il modello numerico e quindi ottenere l’identificazione dei parametri meccanici che influenzano il comportamento dinamico di una struttura reale, il ponte ferroviario metallico a Pontelagoscuro.