946 resultados para Deep Inference, Proof Theory, Teoria della Dimostrazione, Cut elimination, Gentzen Hauptsatz


Relevância:

40.00% 40.00%

Publicador:

Resumo:

Per Viollet-le-Duc lo “stile” «è la manifestazione di un ideale fondato su un principio» dove per principio si intende il principio d’ordine della struttura, quest’ultimo deve rispondere direttamente alla Legge dell’”unità” che deve essere sempre rispettata nell’ideazione dell’opera architettonica. A partire da questo nodo centrale del pensiero viollettiano, la presente ricerca si è posta come obiettivo quello dell’esplorazione dei legami fra teoria e prassi nell’opera di Viollet-le-Duc, nei quali lo “stile” ricorre come un "fil rouge" costante, presentandosi come una possibile inedita chiave di lettura di questa figura protagonista della storia del restauro e dell’architettura dell’Ottocento. Il lavoro di ricerca si é dunque concentrato su una nuova lettura dei documenti sia editi che inediti, oltre che su un’accurata ricognizione bibliografica e documentaria, e sullo studio diretto delle architetture. La ricerca archivistica si é dedicata in particolare sull’analisi sistematica dei disegni originali di progetto e delle relazioni tecniche delle opere di Viollet-le- Duc. A partire da questa prima ricognizione, sono stati selezionati due casi- studio ritenuti particolarmente significativi nell’ambito della tematica scelta: il progetto di restauro della chiesa della Madeleine a Vézelay (1840-1859) e il progetto della Maison Milon in rue Douai a Parigi (1857-1860). Attraverso il parallelo lavoro di analisi dei casi-studio e degli scritti di Viollet- le-Duc, si è cercato di verificare le possibili corrispondenze tra teoria e prassi operativa: confrontando i progetti sia con le opere teoriche, sia con la concreta testimonianza degli edifici realizzati.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Nell'elaborato si analizzano aspetti della teoria dei giochi e della multi-criteria decision-making. La riflessione serve a proporre le basi per un nuovo modello di protocollo di routing in ambito Mobile Ad-hoc Networks. Questo prototipo mira a generare una rete che riesca a gestirsi in maniera ottimale grazie ad un'acuta tecnica di clusterizzazione. Allo stesso tempo si propone come obiettivo il risparmio energetico e la partecipazione collaborativa di tutti i componenti.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

La recente Direttiva 31/2010 dell’Unione Europea impone agli stati membri di riorganizzare il quadro legislativo nazionale in materia di prestazione energetica degli edifici, affinchè tutte le nuove costruzioni presentino dal 1° gennaio 2021 un bilancio energetico tendente allo zero; termine peraltro anticipato al 1° gennaio 2019 per gli edifici pubblici. La concezione di edifici a energia “quasi” zero (nZEB) parte dal presupposto di un involucro energeticamente di standard passivo per arrivare a compensare, attraverso la produzione preferibilmente in sito di energia da fonti rinnovabili, gli esigui consumi richiesti su base annuale. In quest’ottica la riconsiderazione delle potenzialità dell’architettura solare individua degli strumenti concreti e delle valide metodologie per supportare la progettazione di involucri sempre più performanti che sfruttino pienamente una risorsa inesauribile, diffusa e alla portata di tutti come quella solare. Tutto ciò in considerazione anche della non più procrastinabile necessità di ridurre il carico energetico imputabile agli edifici, responsabili come noto di oltre il 40% dei consumi mondiali e del 24% delle emissioni di gas climalteranti. Secondo queste premesse la ricerca pone come centrale il tema dell’integrazione dei sistemi di guadagno termico, cosiddetti passivi, e di produzione energetica, cosiddetti attivi, da fonte solare nell’involucro architettonico. Il percorso sia analitico che operativo effettuato si è posto la finalità di fornire degli strumenti metodologici e pratici al progetto dell’architettura, bisognoso di un nuovo approccio integrato mirato al raggiungimento degli obiettivi di risparmio energetico. Attraverso una ricognizione generale del concetto di architettura solare e dei presupposti teorici e terminologici che stanno alla base della stessa, la ricerca ha prefigurato tre tipologie di esito finale: una codificazione delle morfologie ricorrenti nelle realizzazioni solari, un’analisi comparata del rendimento solare nelle principali aggregazioni tipologiche edilizie e una parte importante di verifica progettuale dove sono stati applicati gli assunti delle categorie precedenti

Relevância:

40.00% 40.00%

Publicador:

Resumo:

This work seeks to understand what kind of impact educational policies have had on the secondary school students among internally displaced persons (IDPs) and their identity reconstruction in Georgia. The study offers a snapshot of the current situation based on desk study and interviews conducted among a sample of secondary school IDP pupils. In the final chapter, the findings will be reflected against the broader political context in Georgia and beyond. The study is interdisciplinary and its methodology is based on social identity theory. I shall compare two groups of IDPs who were displaced as a result of two separate conflicts. The IDPs displaced as a result of conflict in Abkhazia in 1992–1994 are named as old caseload IDPs. The second group of IDPs were displaced after a conflict in South Ossetia in 2008. Additionally, I shall touch upon the situation of the pupils among the returnees, a group of Georgian old caseload IDPs, who have spontaneously returned to de facto Abkhazia. According to the interviews, the secondary school student IDPs identify themselves strongly with the Georgian state, but their group identities are less prevailing. Particularly the old case load IDP students are fully integrated in local communities. Moreover, there seems not to be any tangible bond between the old and new caseload IDP students. The schools have neither tried nor managed to preserve IDP identities which would, for instance, make political mobilisation likely along these lines. Right to education is a human right enshrined in a number of international conventions to which the IDPs are also entitled. Access to education or its denial has a deep impact on individual and societal development. Furthermore, education has a major role in (re)constructing personal as well as national identity.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

La tesi di dottorato ha come oggetto il pensiero sociologico di Georg Simmel con particolare riferimento alla sua interpretazione nei diversi indirizzi di ricerca della sociologia relazionale contemporanea. In particolare, si propone una rilettura del contributo simmeliano alla luce del paradigma relazionale della sociologia di Pierpaolo Donati. Il lavoro di ricerca è stato condotto secondo una rigorosa ricognizione testuale dell’opus simmeliano e della bibliografia critica internazionale sull'argomento in oggetto. A partire dalla nozione di relazione sociale, si dipana l’analisi della proposta sociologica simmeliana: il termine tedesco Wechselwirkung (azione reciproca) racchiude la complessa semantica con cui assume senso l’intera teoria sociologica simmeliana. Simmel è il primo "sociologo relazionale", come sostenuto da Donati, e in questa ricerca si cerca di mostrare le evidenze della validità di tale asserzione. Nella formulazione simmeliana si trovano importanti indizi teorici che permettono di rielaborare la relazione nei termini di una “forma sociale vitale”. Questo significa che la relazione sociale trova la sua ragion d’essere in quanto fenomeno umano che si determina a partire dalle nozioni di “spirito” (Geist) e “vita”(Leben). Nel primo capitolo si chiarisce la natura di questa relazione sociale in rapporto alle varie proposte sociologiche relazionali in campo internazionale. Nel secondo capitolo si analizza in maniera critica la (ri)formulazione simmeliana della relazione come scambio (nella forma simbolica del denaro) e le interpretazioni relazionali che si sono succedute a partire da questo cambio di rotta. Nel terzo capitolo vengono passate in rassegna le principali figure relazionali (la vita della metropoli, la moda, il conflitto, il povero, lo straniero) con le quali si confronta il sociologo berlinese. Nel quarto capitolo si propone di rileggere fenomeni sociali e culturali come forme relazionali in riferimento alla sfera dell’arte e della teologia (religione).

Relevância:

40.00% 40.00%

Publicador:

Resumo:

L'elaborato consiste in una sottotitolazione, dallo spagnolo verso l'italiano, del cortometraggio spagnolo "Diez minutos". La parte pratica precede una parte teorica sulla traduzione audiovisiva in generale, con particolare attenzione alla sottotitolazione.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

La Skopos Theory è una teoria introdotta nel mondo della traduzione dal linguista tedesco Hans Joseph Vermeer. Skopos è una parola di derivazione greca che significa “fine” o “scopo”. La teoria elaborata da Vermeer si basa sull’idea che ogni testo abbia uno skopos che determina i metodi e le strategie secondo le quali esso debba essere tradotto. Oltre alla Skopos Theory, che sarà la base della tesi, i testi a seguire verranno analizzati seguendo altri autori, quali Mona Baker e Laurence Venuti, che si rifanno all’idea di skopos e analizzano molto dettagliatamente la figura del traduttore come de-coder e re-encoder del testo.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

La simulazione di un sistema quantistico complesso rappresenta ancora oggi una sfida estremamente impegnativa a causa degli elevati costi computazionali. La dimensione dello spazio di Hilbert cresce solitamente in modo esponenziale all'aumentare della taglia, rendendo di fatto impossibile una implementazione esatta anche sui più potenti calcolatori. Nel tentativo di superare queste difficoltà, sono stati sviluppati metodi stocastici classici, i quali tuttavia non garantiscono precisione per sistemi fermionici fortemente interagenti o teorie di campo in regimi di densità finita. Di qui, la necessità di un nuovo metodo di simulazione, ovvero la simulazione quantistica. L'idea di base è molto semplice: utilizzare un sistema completamente controllabile, chiamato simulatore quantistico, per analizzarne un altro meno accessibile. Seguendo tale idea, in questo lavoro di tesi si è utilizzata una teoria di gauge discreta con simmetria Zn per una simulazione dell'elettrodinamica quantistica in (1+1)D, studiando alcuni fenomeni di attivo interesse di ricerca, come il diagramma di fase o la dinamica di string-breaking, che generalmente non sono accessibili mediante simulazioni classiche. Si propone un diagramma di fase del modello caratterizzato dalla presenza di una fase confinata, in cui emergono eccitazioni mesoniche ed antimesoniche, cioè stati legati particella-antiparticella, ed una fase deconfinata.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

L'indagine ha riguardato il profilo del vento nei primi 30 metri dello strato limite atmosferico stabile nell'ambito della teoria di similarità locale. Ad oggi, diversi esperimenti hanno confermato la validità della teoria per strati-limite su terreni livellati e superfici omogenee. Tali condizioni ideali sono però infrequenti nella realtà ed è perciò importante capire quali siano i limiti della similarità locale per strati-limite su terreni complessi e superfici disomogenee. Entrambe le condizioni sono presenti a Ny-Alesund (Svalbard, Norvegia) dove il Consiglio Nazionale delle Ricerche (CNR), nel 2009, ha installato una torre di 30 m, la Amudsen-Nobile Climate Change Tower (CCT), per lo studio dello strato-limite artico. Il lavoro di tesi ha riguardato misure di vento e turbolenza acquisite sulla CCT da maggio 2012 a maggio 2014. Il confronto tra le velocità del vento misurate dagli anemometri installati sulla CCT, ha rivelato criticità nel dato sonico manifestatesi con sovrastime sistematiche e maggiore erraticità rispetto alle misure provenienti dagli anemometri a elica. Un test condotto fra diversi metodi per il calcolo dei gradienti verticali della velocità del vento ha rivelato scarsa sensibilità dei risultati ottenuti al particolare metodo utilizzato. Lo studio ha riguardato i gradienti verticali adimensionali della velocità del vento nei primi 30-m dello strato limite stabile. Deviazioni significative tra i tra le osservazioni e i valori predetti dalla similarità locale sono state osservate in particolare per i livelli più distanti dal suolo e per valori crescenti del parametro di stabilità z/L (L, lunghezza di Obukhov locale). In particolare, si sono osservati gradienti adimensionali inferiori a quelli predetti dalle più usate relazioni di flusso-gradiente. Tali deviazioni, presenti perlopiù per z/L>0.1, sono state associate ad un effetto di accentuazione della turbolenza da parte delle irregolarità del terreno. Per condizioni meno stabili, z/L<0.1, scarti positivi tra i gradienti osservati e quelli attesi sono stati attribuiti alla formazione di strati limite interni in condizioni di vento dal mare verso la costa. Sono stati proposti diversi metodi per la stima dell'effetto della self-correlazione nella derivazione delle relazioni di flusso-gradiente, dovuta alla condivisione della variabile u*. La formula per il coefficiente lineare di self correlazione e le sue distribuzioni di probabilità empiriche sono state derivate e hanno permesso di stimare il livello di self-correlazione presente nel dataset considerato.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Studio dell'applicabilità della teoria dei grafi nei parchi d'attrazioni.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

A partire dal concept ideato dall’ing. Emanuele Gruppioni, ricercatore presso il Centro Protesi stesso, l’obiettivo del lavoro è rappresentato dallo studio di fattibilità, dalla realizzazione e dalla messa in opera della suddetta mano, che presenta come caratteristica peculiare e innovativa un azionamento bilaterale che le consente di essere ambidestra. Questo azionamento è attuato da due cavi posti in ogni dito, che grazie all’azione dei motori inseriti nel palmo vengono riavvolti su delle pulegge consentendo la flessione delle dita in una direzione o nell’altra, in una struttura di mano nella quale non sono quindi individuabili a priori le tipiche ragioni palmare e dorsale. Questo tipo di azionamento in futuro potrebbe essere rielaborato nell’ottica di avere un’unica protesi di mano che possa essere utilizzata sia da pazienti destrimani sia mancini, o, in alternativa, di avere un dispositivo protesico che ampli le funzionalità di presa rispetto alla mano umana.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

In questa tesi vengono presentati i piu recenti risultati relativi all'estensione della teoria dei campi localmente covariante a geometrie che permettano di descrivere teorie di campo supersimmetriche. In particolare, si mostra come la definizione assiomatica possa essere generalizzata, mettendo in evidenza le problematiche rilevanti e le tecniche utilizzate in letteratura per giungere ad una loro risoluzione. Dopo un'introduzione alle strutture matematiche di base, varieta Lorentziane e operatori Green-iperbolici, viene definita l'algebra delle osservabili per la teoria quantistica del campo scalare. Quindi, costruendo un funtore dalla categoria degli spazio-tempo globalmente iperbolici alla categoria delle *-algebre, lo stesso schema viene proposto per le teorie di campo bosoniche, purche definite da un operatore Green-iperbolico su uno spazio-tempo globalmente iperbolico. Si procede con lo studio delle supervarieta e alla definizione delle geometrie di background per le super teorie di campo: le strutture di super-Cartan. Associando canonicamente ad ognuna di esse uno spazio-tempo ridotto, si introduce la categoria delle strutture di super-Cartan (ghsCart) il cui spazio-tempo ridotto e globalmente iperbolico. Quindi, si mostra, in breve, come e possibile costruire un funtore da una sottocategoria di ghsCart alla categoria delle super *-algebre e si conclude presentando l'applicazione dei risultati esposti al caso delle strutture di super-Cartan in dimensione 2|2.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

In questo lavoro vogliamo studiare l'evoluzione dell'elettromagnetismo classico ed i fondamenti teorici della teoria classica del campo elettromagnetico. Riprenderemo i risultati sperimentali principali costruendo una teoria coerente dell'interazione elettromagnetica sfruttando il formalismo Lagrangiano già sviluppato per i sistemi meccanici. Lo studio delle proprietà del campo elettromagnetico è di fondamentale importanza per la fisica teorica: la sua relativa semplicità lo rende un buon candidato per lo sviluppo del formalismo necessario alla descrizione dei sistemi ad infiniti gradi di libertà. Questo servirà inoltre come punto di partenza per lo sviluppo di teorie di campo quantistiche più avanzate.