687 resultados para superalgebre Lie algebre sistemi di radici matrici Cartan diagramma Dynkin gruppo Weyl
Resumo:
Le strutture caratterizzate da una non coincidenza tra il baricentro delle masse e quello delle rigidezze, chiamate strutture eccentriche, sviluppano degli effetti torsionali se soggette ad un’eccitazione dinamica. Un’accurata analisi delle equazioni del moto di sistemi lineari e non lineari di strutture ad un singolo piano ha portato allo sviluppo di un metodo, detto metodo ALPHA, che, attraverso un parametro, detto parametro “alpha”, permette di stimare gli spostamenti di rotazione in funzione dei soli spostamenti longitudinali. Il limite di questo metodo, tuttavia, è quello di essere riferito a strutture ad un singolo piano, non comuni nella pratica progettuale: si è reso quindi necessario uno studio per testarne la validità anche per strutture multi piano, partendo da strutture semplici a due e tre piani. Data la semplicità del metodo ALPHA, si è deciso di affrontare questo problema cercando di cogliere il comportamento dei diversi piani della struttura multipiano con delle strutture ad un singolo piano. Sono state svolte numerose analisi numeriche in cui sono stati fatti variare i parametri di rigidezza, massa, eccentricità e distribuzione delle rigidezze dei vari piani; come indice di validità della struttura mono piano scelta si è utilizzato il rapporto tra il parametro “psi” dell’i-esimo piano e quello della struttura mono piano scelta, dove “psi” rappresenta il rapporto tra “R” ed “alpha”; “R” è il rapporto tra la massima rotazione e il massimo spostamento longitudinale per una struttura eccentrica soggetta ad un’eccitazione dinamica. Dai risultati ottenuti si deduce che, nella maggioranza dei casi, la struttura mono piano che meglio rappresenta il comportamento di tutti i piani è caratterizzata da massa e rigidezza dell’intera struttura multipiano, da un’eccentricità pari alla minore tra quelle dei vari piani e presenta la peggiore distribuzione delle rigidezze tra quelle che si riscontrano nei vari piani.
Resumo:
Mappatura dei processo organizzativi, della struttura organizzativa e dei sistemi informativi di supporto. analisi di alcune problematiche riscontrate
Resumo:
Studio delle possibilità di accounting per i servizi di presenza in IMS (IP Multimedia Subsystem)
Resumo:
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.
Resumo:
Con il presente lavoro di tesi si è studiata la possibilità di estrarre informazioni sugli andamenti dei processi biologici dall’osservazione dei segnali di pH, potenziale di ossido riduzione (ORP) e ossigeno disciolto (DO) nelle vasche di processo di un impianto a fanghi attivi a flusso continuo (predenitro/nitro) per verificare la possibilità di utilizzare questo tipo di sonde per lo sviluppo di sistemi per il controllo automatico e la gestione intelligente, eventualmente remota, degli impianti di depurazione. Il lavoro di sperimentazione è stato svolto su un impianto pilota a flusso continuo con schema predenitro – nitro, costruito ed installato presso i laboratori della sede Enea di Bologna (Sezione ACS PROT IDR - Gestione Risorse Idriche). L’obiettivo primario della sperimentazione è stato quello di portare il sistema in uno stato stazionario di equilibrio, così da poter stabilire delle condizioni di funzionamento note e costanti, riscontrabili anche nei segnali di riferimento. Tali condizioni sono state definite prendendo come riferimento un impianto reale noto, funzionante in condizioni di processo costanti e medie, definendo contestualmente test sperimentali che riproducessero condizioni riscontrabili sullo stesso impianto reale. Le condizioni del sistema sono state monitorate costantemente, attraverso il monitoraggio giornaliero dei processi, effettuato con attività di campionamento e di analisi, osservando costantemente i segnali indiretti.
Resumo:
Information technology (IT) is on the verge of another revolution. Driven by the increasing capabilities and ever declining costs of computing and communications devices, IT is being embedded into a growing range of physical devices linked together through networks and will become ever more pervasive as the component technologies become smaller, faster, and cheaper. [..] These networked systems of embedded computers, referred to as EmNets throughout this report, have the potential to change radically the way people interact with their environment by linking together a range of devices and sensors that will allow information to be collected, shared, and processed in unprecedented ways.[..] The use of EmNets throughout society could well dwarf previous milestones in the information revolution.[..] IT will eventually become \textbf{an invisible component of almost everything} in everyone`s surroundings. Con il ridursi dei costi e l'aumentare della capacità di computazione dei componenti elettronici sono proliferate piattaforme che permettono al bambino come all'ingegnere di sviluppare un'idea che trasversalmente taglia il mondo reale e quello virtuale. Una collisione tra due mondi che fino a poco tempo fa era consentita esclusivamente a professionisti. Oggetti che possono acquisire o estendere funzionalità, che ci permettono di estendere la nostra percezione del mondo e di rivalutarne i suoi limiti. Oggetti connessi alla 'rete delle reti' che condividono ed elaborano dati per un nuovo utilizzo delle informazioni. Con questa tesi si vuole andare ad esplorare l'applicazione degli agenti software alle nuove piattaforme dei sistemi embedded e dell'Internet of Things, tecnologie abbastanza mature eppure non ancora esplorate a fondo. Ha senso modellare un sistema embedded con gli agenti?
Resumo:
Il lavoro svolto nella presente tesi di laurea si sviluppa all’interno del progetto di ricerca europeo SmooHs (Smart Monitoring of Historic Structures-Monitoraggio intelligente di edifici e strutture storiche) nell’ambito del 7 Programma Quadro della Commissione Europea. Gli edifici storici sono caratterizzati da elementi architettonici, materiali e soluzioni progettuali uniche e pertanto da valorizzare. Al fine si salvaguardare tali beni storici si richiede una conoscenza approfondita dei processi di deterioramento, legati spesso a fattori ambientali, e una loro rilevazione immediata. Il monitoraggio continuo dei possibili parametri che influenzano i suddetti processi può contribuire significativamente, ma un’applicazione estesa di questa tecnica è finora fallita a causa dei costi elevati di sistemi completi di monitoraggio; per questo sono stati osservati solitamente pochi parametri. L’obiettivo del progetto prevede lo sviluppo di strumenti di monitoraggio e diagnostica competitivi per gli specialisti nel settore che vada al di là del mero accumulo di dati. La normativa, in particolare le Linee Guida per l’applicazione al patrimonio culturale della normativa tecnica di cui all’Ordinanza PCM-3274 del 2005, evidenziano l’importanza di raggiungere un elevato livello di informazione dell’oggetto e del suo comportamento strutturale attraverso un percorso conoscitivo pluriramificato. “Si ha pertanto la necessità di affinare tecniche di analisi ed interpretazione dei manufatti storici mediante fasi conoscitive dal diverso grado di attendibilità, anche in relazione al loro impatto. La conoscenza può infatti essere conseguita con diversi livelli di approfondimento, in funzione dell’accuratezza delle operazioni di rilievo, delle ricerche storiche e delle indagini sperimentali” (Linee guida per l’applicazione all patrimonio culturale della normativa tecnica di cui all’ordinanza PCM-3274, 2005). Per quanto riguarda la caratterizzazione meccanica dei materiali, la normativa cita “Tecniche diagnostiche non distruttive di tipo indiretto, quali prove soniche ed ultrasoniche, consentono di valutare l’omogeneità dei parametri meccanici nelle diverse parti della costruzione, ma non forniscono stime quantitative attendibili dei loro valori, in quanto essi vengono desunti dalla misura di altre grandezze”. Non viene identificata una procedura univoca di prove non distruttive per ciascuna tipologia edilizia, pertanto ci domandiamo quale sia la procedura più idonea da utilizzare, considerando il tipo di risultato che si vuole ottenere. Si richiedono quindi degli studi di fattibilità di diverse tecniche non distruttive, soprattutto tecniche per immagini che diano un risultato più immediato da comprendere. Per questo scopo è stato impostato un programma di ricerca per valutare l’efficacia di una tecnica non distruttiva, la tomografia sonica, su provini in muratura costruiti nei laboratori del LaRM (Laboratorio di Resistenza dei Materiali del DISTART dell’Università di Bologna), reputando questa la strada da percorrere verso una diagnostica strutturale sempre più dettagliata. I provini in muratura di laterizio PNDE e PNDF, presentano al loro interno dei difetti (in polistirolo espanso) di geometria e posizione nota e diverse tessiture murarie (muratura di laterizio tradizionale e muratura a sacco). Nel capitolo 2 vengono descritte le caratteristiche e le basi teoriche delle prove soniche e di altre tecniche non distruttive, al fine di poterne fare un confronto. La tomografia sonica è definita e sono illustrate le sue peculiarità; vengono inoltre riportati alcuni esempi di applicazioni della stessa su strutture storiche lignee e murarie. Nel capitolo 3 sono presentati i provini oggetto di studio ed introdotto qualche accenno sulla natura delle murature di laterizio. Sono specificati i corsi e le sezioni verticali sui quali viene sperimentata la tomografia; essi hanno precise caratteristiche che permettono di eseguire una sperimentazione mirata all’individuazione di anomalie in una sezione e al riconoscimento di diverse tessiture murarie. Nel capitolo 4 è illustrata la procedura di acquisizione dei dati in laboratorio e di rielaborazione degli stessi nella fase di post-processing. Dopo aver scelto, in base alla risoluzione, la distanza che intercorre tra le stazioni di misura, sono stati progettati i vari percorsi uscenti da ogni stazione trasmittente, andando a definire i ray-paths delle sezioni sia orizzontali che verticali. I software per il calcolo dei tempi di volo (in ambiente LabView) e per l’inversione degli stessi (Geotom) sono presentati e vengono definite le istruzioni per l’utilizzo. Il capitolo 5 assieme al capitolo 6, mostra i risultati ottenuti dall’inversione dei tempi di volo. Per i diversi corsi orizzontali e sezioni verticali sono riportate le mappe di velocità ottenute al variare di diversi parametri di settaggio impostati nel software tomografico. Le immagini tomografiche evidenziano le caratteristiche interne delle sezioni studiate, in base alla risoluzione geometrica della tecnica. Nel capitolo 7 e 8 sono mostrati i risultati delle prove soniche dirette applicate sia sui corsi verticali sia sulle sezioni verticali. Le stazioni di misura considerate sono le stesse utilizzate per la tomografia. Il capitolo 9 riporta il confronto tra le mappe di velocità prodotte dalla tomografia sonica e gli istogrammi delle velocità registrate nelle prove soniche dirette. Si evidenziano le differenze nell’individuazione di difetti tra due metodologie differenti. Infine sono riportate le conclusioni sul lavoro svolto. I limiti e i vantaggi della tecnica tomografica vengono desunti dai risultati ottenuti per varie tipologie di sezioni, a confronto anche con risultati di prove soniche dirette. Ciò ci porta a definire la fattibilità di utilizzo della tomografia sonica nella diagnosi delle strutture in muratura.
Resumo:
Lo scopo di questo testo è quello di fornire una panoramica dei diversi aspetti della tecnologia della replicazione dei dati e dei problemi da affrontare durante la realizzazione, la gestione e la valutazione di una qualsiasi soluzione di replicazione dei dati.
Resumo:
La tesi è uno studio di alcuni aspetti della nuova metodologia “deep inference”, abbinato ad una rivisitazione dei concetti classici di proof theory, con l'aggiunta di alcuni risultati originali orientati ad una maggior comprensione dell'argomento, nonché alle applicazioni pratiche. Nel primo capitolo vengono introdotti, seguendo un approccio di stampo formalista (con alcuni spunti personali), i concetti base della teoria della dimostrazione strutturale – cioè quella che usa strumenti combinatoriali (o “finitistici”) per studiare le proprietà delle dimostrazioni. Il secondo capitolo focalizza l'attenzione sulla logica classica proposizionale, prima introducendo il calcolo dei sequenti e dimostrando il Gentzen Hauptsatz, per passare poi al calcolo delle strutture (sistema SKS), dimostrando anche per esso un teorema di eliminazione del taglio, appositamente adattato dall'autore. Infine si discute e dimostra la proprietà di località per il sistema SKS. Un percorso analogo viene tracciato dal terzo ed ultimo capitolo, per quanto riguarda la logica lineare. Viene definito e motivato il calcolo dei sequenti lineari, e si discute del suo corrispettivo nel calcolo delle strutture. L'attenzione qui è rivolta maggiormente al problema di definire operatori non-commutativi, che mettono i sistemi in forte relazione con le algebre di processo.
Resumo:
Lo studio riportato in questa tesi ha come scopo l’osservazione e la comprensione dei processi molecolari associati alla deposizione di CaCO3 nei polimorfi di calcite e aragonite nel mollusco gasteropode Haliotis rufescens. In particolare l’attenzione si è focalizzata sullo strato glicoproteico (green layer) che si trova inserito all’interno dell’ipostraco o strato madreperlaceo. Studi precedenti suggeriscono l’ipotesi che il green layer sia una struttura polifunzionale che svolge un ruolo attivo nell’induzione di crescita dei cristalli di carbonato di calcio nella conchiglia. All’analisi microscopica il green layer si presenta come un foglietto trilaminato. Sugli strati esterni è depositata aragonite nella forma prismatica da una parte e sferulitica dall’altra. All’interno è racchiuso un core proteico, formato da glicoproteine e ricco di chitina. Questa struttura tripartita conferisce al guscio calcareo nuove proprietà meccaniche, come la resistenza alle fratture molto maggiore rispetto al minerale naturale. Il green layer è stato trattato in ambiente alcalino, l’unico in grado di solubilizzarlo. È stato ottenuto del materiale proteico che è stato caratterizzato utilizzando SDS-PAGE, colorato con Blu Comassie e all’argento per visualizzarne la componente peptidica. Il green layer è fluorescente, sono state quindi eseguite analisi spettroscopiche sull’estratto peptidico per determinarne le proprietà chimo fisiche (dipendenza dal pH dell’intensità di fluorescenza). Sono stati eseguiti esperimenti di crescita dei cristalli di CaCO3 in ambiente saturo di CaCl2 in assenza e presenza del peptide e in assenza e presenza di Mg++. I cristalli sono stati osservati al microscopio elettronico a scansione (SEM) e al microscopio confocale. Da un punto di vista spettroscopico si osserva che, eccitando l’estratto alcalino del green layer a 280 nm e 295 nm, lunghezze d’onda caratteristiche degli aminoacidi aromatici, si ottiene uno spettro di emissione che presenta una forte banda centrata a 440 nm e una spalla a circa 350 nm, quest’ultima da ascrivere all’emissione tipica di aminoacidi aromatici. L’emissione di fluorescenza dell’estratto dal green layer dipende dal pH per tutte le bande di emissione; tale effetto è particolarmente visibile per lo spettro di emissione a 440 nm, la cui lunghezza d’onda di emissione e l’intensità dipendono dalla ionizzazione di aminoacidi acidi (pKa = 4) e dell’istidina (pKa = 6.5 L’emissione a 440 nm proviene invece da un’eccitazione il cui massimo di eccitazione è centrato a 350 nm, tipica di una struttura policiclica aromatica. Poiché nessun colorante estrinseco viene isolato dalla matrice del green layer a seguito dei vari trattamenti, tale emissione potrebbe derivare da una modificazione posttraduzionale di aminoacidi le cui proprietà spettrali suggeriscono la formazione di un prodotto di dimerizzazione della tirosina: la ditirosina. Questa struttura potrebbe essere la causa del cross-link che rende resistente il green layer alla degradazione da parte di agenti chimici ed enzimatici. La formazione di ditirosina come fenomeno post-traduzionale è stato recentemente acquisito come un fenomeno di origine perossidativa attraverso la formazione di un radicale Tyr ed è stato osservato anche in altri organismi caratterizzati da esoscheletro di tipo chitinoso, come gli insetti del genere Manduca sexta. Gli esperimenti di cristallizzazione in presenza di estratto di green layer ne hanno provato l’influenza sulla nucleazione dei cristalli. In presenza di CaCl2 avviene la precipitazione di CaCO3 nella fase calcitica, ma la conformazione romboedrica tipica della calcite viene modificata dalla presenza del peptide. Inoltre aumenta la densità dei cristalli che si aggregano a formare strutture sferiche di cristalli incastrati tra loro. Aumentando la concentrazione di peptide, le sfere a loro volta si uniscono tra loro a formare strutture geometriche sovrapposte. In presenza di Mg++, la deposizione di CaCO3 avviene in forma aragonitica. Anche in questo caso la morfologia e la densità dei cristalli dipendono dalla concentrazione dello ione e dalla presenza del peptide. È interessante osservare che, in tutti i casi nei quali si sono ottenute strutture cristalline in presenza dell’estratto alcalino del green layer, i cristalli sono fluorescenti, a significare che il peptide è incluso nella struttura cristallina e ne induce la modificazione strutturale come discusso in precedenza. Si osserva inoltre che le proprietà spettroscopiche del peptide in cristallo ed in soluzione sono molto diverse. In cristallo non si ha assorbimento alla più corta delle lunghezze d’onda disponibili in microscopia confocale (405 nm) bensì a 488 nm, con emissione estesa addirittura sino al rosso. Questa è un’indicazione, anche se preliminare, del fatto che la sua struttura in soluzione e in cristallo è diversa da quella in soluzione. In soluzione, per un peptide il cui peso molecolare è stimato tra 3500D (cut-off della membrana da dialisi) e 6500 D, la struttura è, presumibilmente, totalmente random-coil. In cristallo, attraverso l’interazione con gli ioni Ca++, Mg++ e CO3 -- la sua conformazione può cambiare portando, per esempio, ad una sovrapposizione delle strutture aromatiche, in modo da formare sistemi coniugati non covalenti (ring stacking) in grado di assorbire ed emettere luce ad energia più bassa (red shift).