127 resultados para DIDATTICA DELLA LINGUA ITALIANA,15317,Scienze della Formazione,0013,Scienze della formazione primaria,1313,ESAME INTEGRATO DI LINGUISTICA ITALIANA - DIDATTICA DELLA LINGUA ITALIANA (II MODULO),22123,SCUOLA ELEMENTARE,253,MAIOR LINGUA STRANIERA,229,2007,3
Resumo:
I potenziali evocati visivi steady state (ssVEPs) consistono in una perturbazione dell’attività elettrica cerebrale spontanea e insorgono in presenza di stimoli visivi come luci monocromatiche modulate sinusoidalmente. Nel tracciato EEG si instaurano oscillazioni di piccola ampiezza ad una frequenza pari a quella dello stimolo. L’analisi nel dominio delle frequenze permette di mettere in evidenza queste oscillazioni che si presentano con un picco ben distinto in corrispondenza della frequenza dello stimolo. L’obiettivo di questo lavoro è quello di capire se la stimolazione transcranica in corrente continua (tDCS) ha degli effetti a breve e a medio termine sui SSVEPs. Si è studiato gli effetti della stimolazione anodica utilizzando un montaggio di stimolazione extra-cefalico (anodo posizionato su Oz e catodo sul braccio destro). L’esperimento prevede il flickering a 3 frequenze di interesse (12, 15, 20 Hz) di 3 quadrati colorati (rosso e giallo) su sfondo nero. Sono state quindi messe a confronto 4 condizioni operative: baseline, stimolazione sham, stimolazione anodica, condizione Post Anodica.L’esperimento è stato sottoposto a 6 soggetti di età tra i 21 e i 51 anni. Il segnale è stato acquisito da due canali bipolari localizzati nella regione occipitale (O1-PO7 e O2-PO8). È stato effettuato un filtraggio tra 3-60 Hz e a 50 Hz. Si sono stimate le PSD normalizzate rispetto alla condizione di riposo in baseline e le potenze nell’intorno della frequenze di interesse (12,15,20 Hz). I dati chiaramente artefattuali sono stati scartati mediante un’analisi esplorativa. Da qui è stato deciso di non includere nella statistica la stimolazione anodica. L’analisi statistica considera tre aspetti: effetto stimolazione, effetto frequenza ed effetto colore. In alcune configurazioni la stimolazione post anodica si è rivelata significativamente differente con ranghi medi delle colonne inferiori alle altre stimolazioni. Non ci sono differenze significative tra le frequenze. Il colore giallo è risultato significativamente maggiore al colore rosso.
Resumo:
La lingua varia nel corso del tempo sia in maniera autonoma, poiché esposta a vari fattori di cambiamento, sia a causa di scelte concrete imposte dal potere politico. Tali decisioni prese dall’alto prendono il nome di politiche linguistiche e talvolta possono assumere pericolosi risvolti antidemocratici. Molto spesso, infatti, i regimi totalitari fanno leva sulla sfera linguistico-comunicativa per assoggettare il popolo: orientare le scelte linguistiche di una comunità di parlanti equivale di fatto a modificare l’identità della società in questione. Un esempio che fa parte del mondo della letteratura è la logocrazia descritta nelle pagine del romanzo 1984 di George Orwell, in cui il potere politico si impone soprattutto grazie alla creazione di una nuova lingua. Purtroppo, la storia pullula anche di esempi reali e il fascismo rientra pienamente in questa categoria. La politica linguistica fascista mirava a purificare l’italiano eliminando tutti quegli elementi che ne minacciavano l’integrità. In particolare, Mussolini lanciò una campagna contro i prestiti linguistici, che impedivano all’Italia di affermare la propria indipendenza dallo straniero. Uno dei manifesti della lotta ai forestierismi è l’articolo La difesa della lingua italiana scritto nel 1926 dal diplomatico Tommaso Tittoni, in cui l’autore, mosso da patriottismo purista, auspicava l’emanazione di un decreto che regolasse l’uso delle parole straniere. Le tappe storiche dell’accanimento fascista contro gli esotismi sono numerose e spaziano dai primi segni di intolleranza, primo fra tutti il decreto del 1923 che imponeva una tassa quadrupla sulle insegne in lingua straniera, fino ai provvedimenti dei primi anni quaranta, quando i forestierismi furono definitivamente vietati in ambito commerciale e sostituiti da termini corrispondenti italiani proposti dall’Accademia d’Italia.
Resumo:
Questo elaborato ha come obiettivo il rilevamento geologico di dettaglio di alcuni affioramenti del basamento polimetamorfico della Falda del Tonale, nella zona del Passo Val Clapa (Alta Val di Non, TN), e di verificare l’attribuzione delle litologie all’Unità d’Ultimo, di alto grado metamorfico, o a quella del Tonale, di più basso grado. In due affioramenti nelle immediate vicinanze del Passo Val Clapa sono stati rinvenuti principalmente gneiss e gneiss migmatitici a granato e cianite, anfiboliti e miloniti, mentre in un affioramento a E del passo gneiss migmatitici a granato e cianite, migmatiti (stromatiti e nebuliti) e ultramafiti. Le foliazioni, definite dall’orientazione preferenziale dei minerali, indicano due direzioni principali: un’orientazione NNE-SSW, immergente verso ESE, rilevata nelle rocce milonitiche, che è stata correlata alla presenza della linea della Val Clapa; un’orientazione NW-SE, immergente verso NE, insieme ad una blanda piega con asse orientato NNE-SSW, rilevata nelle ultramafiti e nelle loro rocce incassanti. Sono state inoltre misurate le giaciture dei principali set di fratture che interessano gli ammassi ed è stata documentata la presenza di pseudotachiliti all’interno delle miloniti. Il corpo ultramafico è stato cartografato al contatto fra stromatiti e nebuliti e quindi all’interno dell’Unità d’Ultimo. Le miloniti, invece, rimangono di attribuzione incerta, anche se il loro ritrovamento in associazione con anfiboliti retrocesse in facies scisti verdi e di pegmatiti faccia propendere per un’assegnazione all’Unità del Tonale. Un’analisi di dettaglio degli gneiss affioranti nelle vicinanze delle miloniti permetterebbe di classificarli come paragneiss a sillimanite, caratteristici dell’Unità del Tonale, o come paragneiss a granato e cianite, diagnostici dell’Unità d’Ultimo, contribuendo alla corretta attribuzione geologica di questi terreni.
Resumo:
Partendo dalle analisi condotte sulla relazione esistente tra il divertimento ed un migliore apprendimento, e sui concetti di Edutainment e Gamification, si è realizzata una applicazione per dispositivi mobili che riproduce in formato digitale il gioco cinese del Tangram al fine di utilizzarlo come strumento di edutainment volto all'apprendimento di alcune nozioni di geometria ed all'allenamento delle abilità legate alla logica. Nello sviluppo di tale applicazione si è fatto riferimento alla metodologia di progettazione delle applicazioni ibride, in modo da semplificare la portabilità cross-platform tra i dispositivi, e si è prestata particolare attenzione alla creazione di un sistema che possa essere inserito come modulo all'interno di una applicazione multi-gioco di più ampio respiro. Per la progettazione si è fatto riferimento al paradigma ad oggetti e ad una gestione delle dinamiche di gioco event-driven.
Resumo:
Scopo di questa tesi è argomentare l’utilità dello shadowing nella formazione degli interpreti, basandosi sulla Teoria motoria della percezione del linguaggio di Alvin Liberman e muovendosi all’interno del quadro teorico della più ampia embodied cognition, che include teorie sullo sviluppo del linguaggio e sull’acquisizione di seconde lingue. Nella formazione degli interpreti, lo shadowing è un esercizio che consiste nell’immediata ripetizione di quanto udito in cuffia, parola per parola e nella medesima lingua del testo di partenza ed è generalmente utilizzato come esercizio propedeutico alla simultanea, in quanto permette sia di “imparare” ad ascoltare e a parlare contemporaneamente, sia di migliorare la pronuncia e la fluidità in lingua straniera. Tuttavia, all’interno degli Interpreting Studies, ci sono studiosi che lo ritengono un esercizio inutile e, per certi versi, pericoloso poiché porrebbe l’accento su un processo eccessivamente “meccanico” dell’interpretazione. Per argomentare la sua utilità nella didattica dell’interpretazione, in questa tesi, dopo aver presentato le principali teorie sullo sviluppo del linguaggio e sull’acquisizione di seconde lingue, si passeranno in rassegna i risultati di ricerche condotte non solo all’interno degli Interpreting Studies, ma anche nella più ampia prospettiva della didattica delle lingue straniere/seconde, e soprattutto in neurolinguistica e psicologia cognitiva, dove lo shadowing è utilizzato per analizzare i processi cognitivi che sono alla base della ricezione e produzione del linguaggio (articolazione motoria, memoria di lavoro, attenzione selettiva, ecc.). L’ultimo capitolo di questo lavoro sarà dedicato alla descrizione di un approccio estremamente recente sulla percezione e sulla produzione del linguaggio, che coniuga la Teoria motoria della percezione del linguaggio di Liberman (1967) con la recente scoperta dei neuroni specchio, e che getta una luce nuova sull’utilità dello shadowing nella formazione degli interpreti.
Resumo:
Il crescente bisogno di infrastrutture di trasporto va inevitabilmente a collidere con la penuria di spazi che caratterizzano le città metropolitane. Per questo motivo ci si orienta sempre più spesso verso soluzioni che riescono a minimizzare lo spazio urbano utilizzato per sopperire ai bisogni legati alla mobilità. Il presente lavoro di tesi è incentrato sul tema del comportamento di scavi a cielo aperto in ambiente urbano, con particolare riferimento agli spostamenti delle strutture perimetrali di sostegno e del terreno a monte, nonché alla caratterizzazione geotecnica dei terreni interessati. In contesti edificati infatti, il controllo degli spostamenti è di fondamentale importanza per ridurre il più possibile il rischio di effetti indesiderati sulle strutture preesistenti. Il lavoro è stato strutturato come segue: Il capitolo 2 è dedicato ai risultati di evidenze sperimentali raccolte da diversi ricercatori con riferimento a un gran numero di casi di studio, che hanno portato alla definizione di correlazioni empiriche tra gli spostamenti, le caratteristiche del terreno e dell'opera di sostegno. Queste costituiscono un primo riferimento per una previsione qualitativa degli spostamenti indotti dagli scavi. Nel capitolo 3 si affronta il caso studio della stazione Dateo della metropolitana M4 di Milano, particolare attenzione viene rivolta alla caratterizzazione tecnologica degli elementi fondamentali, strutturali e geotecnici, che qualificano questo tipo di opere. Nel capitolo 4 vengono sintetizzati i risultati delle campagne geognostiche, ed esposta la caratterizzazione geotecnica dei terreni dell'area in esame. Il capitolo 5 è dedicato alla descrizione di semplici metodi empirici per la stima dei massimi spostamenti indotti dalla realizzazione di scavi profondi. Nel capitolo 6 si presentano le conclusioni del lavoro svolto.
Resumo:
All'interno della presente dissertazione vengono illustrate le scelte progettuali e l'implementazione dell'applicazione "PhiloEditor 3.0", un web editor per lo studio filologico delle variati d'autore.
Resumo:
Si danno la definizione formale e alcune proprietà elementari della funzione zeta di Hasse-Weil. Si forniscono poi alcuni esempi di calcolo della stessa, in particolare si esaurisce il caso delle coniche affini.
Resumo:
Il presente studio ha avuto l’obiettivo di indagare la produzione di bioetanolo di seconda generazione a partire dagli scarti lignocellulosici della canna da zucchero (bagassa), facendo riscorso al processo enzimatico. L’attività di ricerca è stata svolta presso il Dipartimento di Ingegneria Chimica dell’Università di Lund (Svezia) all’interno di rapporti scambio con l’Università di Bologna. Il principale scopo è consistito nel valutare la produzione di etanolo in funzione delle condizioni operative con cui è stata condotta la saccarificazione e fermentazione enzimatica (SSF) della bagassa, materia prima che è stata sottoposta al pretrattamento di Steam Explosion (STEX) con aggiunta di SO2 come catalizzatore acido. Successivamente, i dati ottenuti in laboratorio dalla SSF sono stati utilizzati per implementare, in ambiente AspenPlus®, il flowsheet di un impianto che simula tutti gli aspetti della produzione di etanolo, al fine di studiarne il rendimento energetico dell’intero processo. La produzione di combustibili alternativi alle fonti fossili oggigiorno riveste primaria importanza sia nella limitazione dell’effetto serra sia nel minimizzare gli effetti di shock geopolitici sulle forniture strategiche di un Paese. Il settore dei trasporti in continua crescita, consuma nei paesi industrializzati circa un terzo del fabbisogno di fonti fossili. In questo contesto la produzione di bioetanolo può portare benefici per sia per l’ambiente che per l’economia qualora valutazioni del ciclo di vita del combustibile ne certifichino l’efficacia energetica e il potenziale di mitigazione dell’effetto serra. Numerosi studi mettono in risalto i pregi ambientali del bioetanolo, tuttavia è opportuno fare distinzioni sul processo di produzione e sul materiale di partenza utilizzato per comprendere appieno le reali potenzialità del sistema well-to-wheel del biocombustibile. Il bioetanolo di prima generazione ottenuto dalla trasformazione dell’amido (mais) e delle melasse (barbabietola e canna da zucchero) ha mostrato diversi svantaggi: primo, per via della competizione tra l’industria alimentare e dei biocarburanti, in secondo luogo poiché le sole piantagioni non hanno la potenzialità di soddisfare domande crescenti di bioetanolo. In aggiunta sono state mostrate forti perplessità in merito alla efficienza energetica e del ciclo di vita del bioetanolo da mais, da cui si ottiene quasi la metà della produzione di mondiale di etanolo (27 G litri/anno). L’utilizzo di materiali lignocellulosici come scarti agricolturali e dell’industria forestale, rifiuti urbani, softwood e hardwood, al contrario delle precedenti colture, non presentano gli svantaggi sopra menzionati e per tale motivo il bioetanolo prodotto dalla lignocellulosa viene denominato di seconda generazione. Tuttavia i metodi per produrlo risultano più complessi rispetto ai precedenti per via della difficoltà di rendere biodisponibili gli zuccheri contenuti nella lignocellulosa; per tale motivo è richiesto sia un pretrattamento che l’idrolisi enzimatica. La bagassa è un substrato ottimale per la produzione di bioetanolo di seconda generazione in quanto è disponibile in grandi quantità e ha già mostrato buone rese in etanolo se sottoposta a SSF. La bagassa tal quale è stata inizialmente essiccata all’aria e il contenuto d’acqua corretto al 60%; successivamente è stata posta a contatto per 30 minuti col catalizzatore acido SO2 (2%), al termine dei quali è stata pretrattata nel reattore STEX (10L, 200°C e 5 minuti) in 6 lotti da 1.638kg su peso umido. Lo slurry ottenuto è stato sottoposto a SSF batch (35°C e pH 5) utilizzando enzimi cellulolitici per l’idrolisi e lievito di birra ordinario (Saccharomyces cerevisiae) come consorzio microbico per la fermentazione. Un obiettivo della indagine è stato studiare il rendimento della SSF variando il medium di nutrienti, la concentrazione dei solidi (WIS 5%, 7.5%, 10%) e il carico di zuccheri. Dai risultati è emersa sia una buona attività enzimatica di depolimerizzazione della cellulosa che un elevato rendimento di fermentazione, anche per via della bassa concentrazione di inibitori prodotti nello stadio di pretrattamento come acido acetico, furfuraldeide e HMF. Tuttavia la concentrazione di etanolo raggiunta non è stata valutata sufficientemente alta per condurre a scala pilota un eventuale distillazione con bassi costi energetici. Pertanto, sono stati condotti ulteriori esperimenti SSF batch con addizione di melassa da barbabietola (Beta vulgaris), studiandone preventivamente i rendimenti attraverso fermentazioni alle stesse condizioni della SSF. I risultati ottenuti hanno suggerito che con ulteriori accorgimenti si potranno raggiungere gli obiettivi preposti. E’ stato inoltre indagato il rendimento energetico del processo di produzione di bioetanolo mediante SSF di bagassa con aggiunta di melassa in funzione delle variabili più significative. Per la modellazione si è fatto ricorso al software AspenPlus®, conducendo l’analisi di sensitività del mix energetico in uscita dall’impianto al variare del rendimento di SSF e dell’addizione di saccarosio. Dalle simulazioni è emerso che, al netto del fabbisogno entalpico di autosostentamento, l’efficienza energetica del processo varia tra 0.20 e 0.53 a seconda delle condizioni; inoltre, è stata costruita la curva dei costi energetici di distillazione per litro di etanolo prodotto in funzione delle concentrazioni di etanolo in uscita dalla fermentazione. Infine sono già stati individuati fattori su cui è possibile agire per ottenere ulteriori miglioramenti sia in laboratorio che nella modellazione di processo e, di conseguenza, produrre con alta efficienza energetica bioetanolo ad elevato potenziale di mitigazione dell’effetto serra.
Resumo:
La gestione delle risorse idriche è una questione fondamentale da affrontare alla luce di problemi sempre più attuali quali la scarsità della risorsa in determinati periodi dell’anno e la tutela dei corpi idrici rispetto ad approvvigionamenti che ne possano intaccare il naturale equilibrio. In effetti, gli ultimi anni sono stati caratterizzati da episodi di magra piuttosto rilevanti e con pochi paragoni nell’intero novecento...
Resumo:
Nella protezione idraulica del territorio la previsione e il controllo delle piene sono di fondamentale importanza. I territori sono sempre più antropizzati, pertanto la riduzione dei rischi connessi a eventi idrometeorologici estremi è di notevole interesse. La previsione delle piene è resa difficile dall’innumerevole quantità di variabili che intervengono nel processo della loro formazione. Nelle attività di progettazione e nella verifica di opere idrauliche la identificazione dell’idrogramma di progetto spesso riveste un’importanza fondamentale. Un idrogramma di progetto è definito come un’onda di piena, realmente osservata o sintetica, associata ad un determinato livello di rischio, quantificato usualmente in termini di tempo di ritorno. Con il presente lavoro si cerca di verificare la possibilità di applicazione una metodologia per la stima degli idrogrammi di progetto associati ad un determinato tempo di ritorno, recentemente proposta dalla letteratura scientifica (Maione et al., 2001, Una metodologia per la stima indiretta degli idrogrammi sintetici per il progetto di opere di difesa idraulica del territorio). Il lavoro è riferito al Fiume Secchia, un affluente importante del Po che scorre tra le provincie di Modena e Reggio Emilia.
Resumo:
Per migliorare la lettura del territorio, al fine di facilitare gli interventi di pronto intervento, in seguito a sopralluoghi sul territorio, sono stati eseguiti interventi di riqualificazione della segnaletica d'indicazione e di miglioramento dell'accessibilità in alcune zone di Casalecchio di Reno, in collaborazione con 118 e 115.
Resumo:
Il tema del risparmio energetico nell'industria ceramica sta assumendo una crescente importanza a livello mondiale, non solo in ambito europeo. Data l'importanza dell'efficienza energetica nel settore delle piastrelle ceramiche, negli ultimi anni sono cresciute e si sono sviluppate notevoli proposte tenologiche ed impiantistiche ottimali ed efficienti, a seconda dei processi produttivi. Si è ritenuto interessante, in un momento in cui l'analisi dei costi di produzione nelle industrie italiane diventa determinante per restare competitivi sul mercato, procedere ad un approfondimento sul tema, facendo il punto della situazione sull'efficienza energetica degli impianti, effettuando, nello specifico, una diagnosi, con il Centro Ceramico di Bologna, di uno stabilimento produttivo presso la Ceramica Castelvetro di Solignano.
Resumo:
Il presente studio si occupa di indagare lo stato delle popolazioni di alici, Engraulis encrasicolus, e sardine, Sardina pilchardus, presenti nel Mar Adriatico Centrale e Settentrionale attraverso l’utilizzo di metodi di dinamica di popolazione. L’attenzione per queste specie è dovuta alla loro importanza commerciale; sono, infatti, specie “target” della flotta peschereccia italiana, in particolare nell’area adriatica. I metodi di dinamica di popolazione sono uno degli aspetti più importanti delle scienze della pesca. Attraverso lo stock assessment si possono acquisire informazioni sull’abbondanza in mare delle risorse nel tempo e nello spazio, nonché sulla mortalità dovuta all’attività di pesca, che sono di primaria importanza per l’adozione di misure gestionali. I metodi di dinamica di popolazione esaminati e confrontati in questa tesi sono stati due: Virtual Population Analysis (VPA) e Integrated Catch-at-Age Analysis (ICA). Prima, però, è stato necessario esaminare le modalità con cui ottenere i dati di “input”, quali: tassi di crescita delle specie, mortalità naturale, sforzo di pesca, dati di cattura. Infine, è stato possibile ricostruire nel tempo la storia dello stock in questione e il suo stato attuale, dando indicazioni per lo sfruttamento futuro in un’ottica di conservazione dello stock stesso. Attraverso la determinazione della curva di crescita si sono potuti ottenere i parametri di crescita delle specie in esame, necessari per definire i tassi di mortalità naturale. L’abbondanza di questi stock è stata valutata con i programmi Age Length Key (ALK) e Iterative Age Length Key (IALK). Nei programmi di stock assessment utilizzati si è preferito utilizzare la stima di abbondanza calcolata con il primo metodo, in quanto più rappresentativo dello stock in esame. Un parametro di fondamentale importanza e di difficile stima è la mortalità; in particolare, in questo studio ci siamo occupati di determinare la mortalità naturale. Questa è stata determinata utilizzando due programmi: ProdBiom (Abella et al., 1998) e il sistema ideato da Gislason et al. (2008). Nonostante l’approccio conservativo suggerisca l’utilizzo dei valori ricavati da ProdBiom, in quanto più bassi, si è preferito utilizzare i tassi di mortalità naturale ricavati dalla seconda procedura. Questa preferenza è stata determinata dal fatto che il programma ProdBiom consegna indici di mortalità naturale troppo bassi, se confrontati con quelli presentati in letteratura per le specie in esame. Inoltre, benché nessuno dei due programmi sia stato costruito appositamente per le specie pelagiche, è comunque preferibile la metodologia ideata da Gislason et al. (2008), in quanto ottenuta da un esame di 367 pubblicazioni, in alcune delle quali erano presenti dati per queste specie. Per quanto riguarda i dati di cattura utilizzati in questo lavoro per il calcolo della Catch Per Unit Effort (CPUE, cioè le catture per unità di sforzo), si sono utilizzati quelli della marineria di Porto Garibaldi, in quanto questa vanta una lunga serie temporale di dati, dal 1975 ad oggi. Inoltre, in questa marineria si è sempre pescato senza imposizione di quote e con quantitativi elevati. Determinati questi dati è stato possibile applicare i programmi di valutazione degli stock ittici: VPA e ICA. L’ICA risulta essere più attendibile, soprattutto per gli anni recenti, in quanto prevede un periodo nel quale la selettività è mantenuta costante, riducendo i calcoli da fare e, di conseguenza, diminuendo gli errori. In particolare, l’ICA effettua i suoi calcoli considerando che i dati di cattura e gli indici di “tuning” possono contenere degli errori. Nonostante le varie differenze dei programmi e le loro caratteristiche, entrambi concordano sullo stato degli stock in mare. Per quanto riguarda l’alice, lo stock di questa specie nel Mar Adriatico Settentrionale e Centrale, altamente sfruttato in passato, oggi risulta moderatamente sfruttato in quanto il livello di sfruttamento viene ottenuto con un basso livello di sforzo di pesca. Si raccomanda, comunque, di non incrementare lo sforzo di pesca, in modo da non determinare nuove drastiche diminuzioni dello stock con pesanti conseguenze per l’attività di pesca. Le sardine, invece, presentano un trend diverso: dalla metà degli anni ottanta lo stock di Sardina pilchardus ha conosciuto un continuo e progressivo declino, che solo nell’ultimo decennio mostra un’inversione di tendenza. Questo, però, non deve incoraggiare ad aumentare lo pressione di pesca, anzi bisogna cercare di mantenere costante lo sforzo di pesca al livello attuale in modo da permettere il completo ristabilimento dello stock (le catture della flotta italiana sono, infatti, ancora relativamente basse). Questo lavoro, nonostante i vari aspetti da implementare (quali: il campionamento, le metodologie utilizzate, l’introduzione di aspetti non considerati, come ad es. gli scarti,… etc.) e le difficoltà incontrate nel suo svolgimento, ha fornito un contributo di approfondimento sugli spinosi aspetti della definizione del tasso di mortalità naturale, individuando una procedura più adatta per stimare questo parametro. Inoltre, ha presentato l’innovativo aspetto del confronto tra i programmi ICA e VPA, mostrando una buon accordo dei risultati ottenuti. E’ necessario, comunque, continuare ad approfondire questi aspetti per ottenere valutazioni sempre più precise e affidabili, per raggiungere una corretta gestione dell’attività di pesca e ai fini della preservazione degli stock stessi.
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.