175 resultados para logica matematica cardinalità insiemi cardinali ordinali ipotesi continuo Cantor
Resumo:
Un artificial surfing reef (di seguito ASR) è un’importante opera che ha come obiettivo principe la riproduzione di onde e correnti ideali per eseguire il surf. Com’è noto, questo spettacolare sport si basa sul processo di frangimento delle onde che si propagano a riva. Ciò nonostante gli ASR possono servire come opere di difesa dall’erosione della spiaggia essendo in grado di smorzare sulla loro cresta l’energia ondosa. In questo lavoro di tesi si andrà ad analizzare quali parametri sono necessari per rendere uno paraggio fruibile dai surfers assieme ad una disamina degli effetti che un ASR può ingenerare sull’idrodinamica della costa, oltre a definire compiutamente i criteri di progettazione di un reef artificiale, basandoci su studi pregressi di progettisti e su evidenze sperimentali condotte su modelli fisici. Applicheremo tali criteri progettuali ad un caso pratico sulle coste emiliano - romagnole, nella provincia di Rimini laddove il fiume Conca sfocia in Adriatico. Ci baseremo su una progettazione di massima dell’ASR ed infine, anche sulla base di una sommaria analisi dei costi, valuteremo quale alternativa meglio si addica allo stato della costa e del litorale della regione.
Resumo:
Il continuo verificarsi di gravi incidenti nei grandi impianti industriali ha spinto gli Stati membri dell’Unione Europea a dotarsi di una politica comune in materia di prevenzione dei grandi rischi industriali. Anche a seguito della pressione esercitata dall’opinione pubblica sono state implementate, nel corso degli ultimi quarant’anni, misure legislative sempre più efficaci per la prevenzione e la mitigazione dei rischi legati ad attività industriali particolarmente pericolose. A partire dagli ultimi anni dello scorso secolo, l’Unione Europea ha emanato una serie di direttive che obbligano gli Stati membri ad essere garanti della sicurezza per l’uomo e per l’ambiente nelle zone circostanti a stabilimenti a rischio di incidente rilevante. In quest’ottica è stata pubblicata nel 1982 la Direttiva Seveso I [82/501/EEC], che è stata ampliata nel 1996 dalla Direttiva Seveso II [96/82/CE] ed infine emendata nel dicembre 2003 dalla Direttiva Seveso III [2003/105/CE]. Le Direttive Seveso prevedono la realizzazione negli Stati membri di una valutazione dei rischi per gli stabilimenti industriali che sono suscettibili a incendi, esplosioni o rilasci di gas tossici (quali, ad esempio, le industrie chimiche, le raffinerie, i depositi di sostanze pericolose). La Direttiva Seveso II è stata trasposta in legge belga attraverso “l’Accord de Coopération” del 21 giugno 1999. Una legge federale nel giugno del 2001 [M.B. 16/06/2001] mette in vigore “l’Accord de Coopération”, che è stato in seguito emendato e pubblicato il 26 aprile del 2007 [M.B. 26/04/2007]. A livello della Regione Vallona (in Belgio), la tematica del rischio di incidente rilevante è stata inclusa nelle disposizioni decretali del Codice Vallone della Pianificazione Territoriale, dell’Urbanismo e del Patrimonio [CWATUP]. In questo quadro la Regione Vallona ha elaborato in collaborazione con la FPMs (Faculté Polytechnique de Mons) una dettagliata metodologia di analisi del rischio per gli stabilimenti a rischio di incidente rilevante. In Italia la Direttiva Seveso II è stata recepita dal Decreto Legislativo n°334 emanato nell’agosto del 1999 [D. Lgs. 334/99], che ha introdotto per la prima volta nel quadro normativo italiano i concetti fondamentali di “controllo dell’urbanizzazione” e “requisiti minimi di sicurezza per la pianificazione territoriale”. Il Decreto Legislativo 334/99 è attualmente in vigore, modificato ed integrato dal Decreto Legislativo n°238 del 21 settembre 2005 [D. Lgs. 238/05], recepimento italiano della Direttiva Seveso III. Tra i decreti attuativi del Decreto Legislativo 334/99 occorre citare il Decreto Ministeriale n°151 del 2001 [D. M. 151/01] relativo alla pianificazione territoriale nell’intorno degli stabilimenti a rischio di incidente rilevante. L’obiettivo di questo lavoro di tesi, che è stato sviluppato presso la Faculté Polytechnique di Mons, è quello di analizzare la metodologia di quantificazione del rischio adottata nella Regione Vallona, con riferimento alla pianificazione territoriale intorno agli stabilimenti a rischio di incidente rilevante, e di confrontarla con quella applicata in Italia. La metodologia applicata in Vallonia è di tipo “probabilistico” ovvero basata sul rischio quale funzione delle frequenze di accadimento e delle conseguenze degli scenari incidentali. Il metodo utilizzato in Italia è “ibrido”, ovvero considera sia le frequenze che le conseguenze degli scenari incidentali, ma non la loro ricomposizione all’interno di un indice di rischio. In seguito al confronto teorico delle due metodologie, se ne è effettuato anche una comparazione pratica tramite la loro applicazione ad un deposito di GPL. Il confronto ha messo in luce come manchino, nella legislazione italiana relativa agli stabilimenti a rischio di incidente rilevante, indicazioni di dettaglio per la quantificazione del rischio, a differenza di quanto accade nella legislazione belga. Ciò lascia all’analista di rischio italiano una notevole arbitrarietà nell’effettuare ipotesi ed assunzioni che rendono poi difficile la comparazione del rischio di stabilimenti differenti. L’auspicio è che tale lacuna possa essere rapidamente superata.
Resumo:
VILLA “CAPELLO - MORA”: PROGETTO DI RESTAURO E RIFUNZIONALIZZAZIONE
Il restauro è da intendere come un intervento diretto sull’opera, e anche come sua eventuale modifica, condotta sempre sotto un rigoroso controllo tecnico-scientifico e storico-critico, se parliamo di conservazione, intendiamo l’operare in un intento di salvaguardia e di prevenzione, da attuare proprio per evitare che si debba poi intervenire con il restauro, che comprende un evento traumatico per il manufatto.
Un seconda parola chiave in questo discorso è la “materia” il restauro interviene sulla materia di un monumento e questa costituisce il tramite dei valori culturali antichi, la sua conservazione e il suo restauro garantisce la trasmissione anche dei significati estetici, storici simbolici del costruito. Ma certamente influisce il tempo sulle cose per cui il progetto di restauro non può astenersi dall’intervenire, in una logica di minimo intervento, di reversibilità, di facile lettura.
Il concetto di nuovo in un opera antica, concetto che a parere personale, pare centrare in pieno il problema. Il nuovo infatti “deve avere carattere di autonomia e di chiara leggibilità: come l’<
Resumo:
In questa tesi si discute di alcuni modelli di pricing per opzioni di tipo europeo e di opportuni metodi perturbativi che permettono di trovare approssimazioni soddisfacenti dei prezzi e delle volatilità implicite relative a questi modelli.
Resumo:
Questa dissertazione si concentra sul dibattito circa l’essenza della matematica a partire dalla nascita delle geometrie non euclidee. Essa è una scienza della natura o una costruzione (e dunque una libera invenzione) della mente umana? Trattando altresì della crisi dei fondamenti, e tenendo a mente le posizioni platoniste e costruttiviste, questa tesi analizza le risposte che, da fine Ottocento in poi, diedero Jules-Henri Poincaré, Bertrand Russell, L.E.J. Brouwer e David Hilbert, e con loro le varie correnti convenzionaliste, logiciste, intuizioniste e formaliste.
Resumo:
La crittografia ha sempre rivestito un ruolo primario nella storia del genere umano, dagli albori ai giorni nostri, e il periodo in cui viviamo non fa certo eccezione. Al giorno d'oggi, molti dei gesti che vengono compiuti anche solo come abitudine (operazioni bancarie, apertura automatica dell'auto, accedere a Facebook, ecc.), celano al loro interno la costante presenza di sofisticati sistemi crittografici. Proprio a causa di questo fatto, è importante che gli algoritmi utilizzati siano in qualche modo certificati come ragionevolmente sicuri e che la ricerca in questo campo proceda costantemente, sia dal punto di vista dei possibili nuovi exploit per forzare gli algoritmi usati, sia introducendo nuovi e sempre più complessi sistemi di sicurezza. In questa tesi viene proposto una possibile implementazione di un particolare tipo di attacco crittoanalitico, introdotto nel 2000 da due ricercatori dell'Università "La Sapienza" di Roma, e conosciuto come "Crittoanalisi Logica". L'algoritmo su cui è incentrato il lavoro è il Data Encryption Standard (DES), ostico standard crittografico caduto in disuso nel 1999 a causa delle dimensioni ridotte della chiave, seppur tuttora sia algebricamente inviolato. Il testo è strutturato nel seguente modo: il primo capitolo è dedicato ad una breve descrizione di DES e della sua storia, introducendo i concetti fondamentali con cui si avrà a che fare per l'intera dissertazione Nel secondo capitolo viene introdotta la Crittoanalisi Logica e viene fornita una definizione della stessa, accennando ai concetti matematici necessari alla comprensione dei capitoli seguenti. Nel capitolo 3 viene presentato il primo dei due software sviluppati per rendere possibile l'attuazione di questo attacco crittoanalitico, una libreria per la rappresentazione e la manipolazione di formule logiche scritta in Java. Il quarto ed ultimo capitolo descrive il programma che, utilizzando la libreria descritta nel capitolo 3, elabora in maniera automatica un insieme di proposizioni logiche semanticamente equivalenti a DES, la cui verifica di soddisfacibilità, effettuata tramite appositi tools (SAT solvers) equivale ad effettuare un attacco di tipo known-plaintext su tale algoritmo.
Resumo:
L'informazione è alla base della conoscenza umana. Senza, non si potrebbe sapere nulla di ciò che esiste, di ciò che è stato o di quello che potrebbe accadere. Ogni giorno si assimilano moltissime informazioni, che vengono registrate nella propria memoria per essere riutilizzate all'occorrenza. Ne esistono di vari generi, ma il loro insieme va a formare quella che è la cultura, educazione, tradizione e storia dell'individuo. Per questo motivo è importante la loro diffusione e salvaguardia, impedendone la perdita che costerebbe la dipartita di una parte di sé, del proprio passato o del proprio futuro. Al giorno d'oggi le informazioni possono essere acquisite tramite persone, libri, riviste, giornali, la televisione, il Web. I canali di trasmissione sono molti, alcuni più efficaci di altri. Tra questi, internet è diventato un potente strumento di comunicazione, il quale consente l'interazione tra chi naviga nel Web (ossia gli utenti) e una partecipazione attiva alla diffusione di informazioni. Nello specifico, esistono siti (chiamati di microblogging) in cui sono gli stessi utenti a decidere se un'informazione possa essere o meno inserita nella propria pagina personale. In questo caso, si è di fronte a una nuova "gestione dell'informazione", che può variare da utente a utente e può defluire in catene di propagazione (percorsi che compiono i dati e le notizie tra i navigatori del Web) dai risvolti spesso incerti. Ma esiste un modello che possa spiegare l'avanzata delle informazioni tra gli utenti? Se fosse possibile capirne la dinamica, si potrebbe venire a conoscenza di quali sono le informazioni più soggette a propagazione, gli utenti che più ne influenzano i percorsi, quante persone ne vengono a conoscenza o il tempo per cui resta attiva un'informazione, descrivendone una sorta di ciclo di vita. E' possibile nel mondo reale trovare delle caratteristiche ricorrenti in queste propagazioni, in modo da poter sviluppare un metodo universale per acquisirne e analizzarne le dinamiche? I siti di microblogging non seguono regole precise, perciò si va incontro a un insieme apparentemente casuale di informazioni che necessitano una chiave di lettura. Quest'ultima è proprio quella che si è cercata, con la speranza di poter sfruttare i risultati ottenuti nell'ipotesi di una futura gestione dell'informazione più consapevole. L'obiettivo della tesi è quello di identificare un modello che mostri con chiarezza quali sono i passaggi da affrontare nella ricerca di una logica di fondo nella gestione delle informazioni in rete.