Logiche proposizionali polivalenti

In questa tesi si intende presentare le logiche proposizionali polivalenti con alcuni esempi: esse sono estensioni dalla logica classica a insiemi (in generale ancora finiti come in questa tesi) di valori di verità maggiori di due. La sintassi è la stessa ma non la semantica, rappresentata però sempre da tavole di verità o interpretazioni. Nel primo capitolo sono presentate le definizioni e gli elementi della logica classica che serviranno per studiare questo nuovo tipo di logiche. Nel secondo capitolo è esposto l'esempio di una logica a quattro valori. Si dimostra la completezza di questo calcolo, in una forma diversa rispetto alla logica classica usando tecniche simili. Non valgono infatti il principio del terzo escluso e la Legge di Lewis. Si analizza la validità delle regole del calcolo della deduzione naturale e la riscrittura delle leggi di De Morgan. Nell'ultimo capitolo si affrontano le logiche a n valori con n>2 e varianti a tre valori (vero, falso e indefinito) con i principali esempi di Lukasiewicz-Tarski, Kleene, Priest e Bochvar. Nelle conclusioni si ricordano alcune applicazioni di questo tipo di logiche facendo riferimento alla meccanica quantistica, all'informatica e all'elettronica.

Affinamento mediante lagunaggio facoltativo dell'effluente del depuratore di Cesena

Nell’ambito dei trattamenti depurativi delle acque reflue, un ruolo di primaria importanza viene rivestito dalla tecnica di finissaggio. Si tratta di un sistema depurativo definito “naturale” ai sensi di legge, ed è adottato in regioni e luoghi tipicamente sensibili come zone lagunari o porti dove siano presenti particolari e restrittive normative sugli scarichi idrici. Normalmente si tratta di trattamenti appropriati per insediamenti con popolazione compresa tra 50 e 2000 A.E.(abitanti equivalenti), ma laddove il contesto ambientale lo consenta, può risultare opportuno il ricorso a queste tecniche di depurazione, suggerite dallo stesso D.Lgs. 152/99, anche per gli insediamenti di maggiori dimensioni adottando soluzioni integrate con impianti a fanghi attivi o a biomassa adesa a valle del trattamento, con funzione di affinamento dell'effluente. Nel presente lavoro, l’obiettivo è stato quello di analizzare l’entità dell’effetto di finissaggio esercitato su acque reflue in acque di transizione. Nello specifico si è studiato un tratto interno del Canale di Allacciamento (considerato alla stregua di uno stagno facoltativo), fra i comuni di Cesena e Cesenatico, il quale riceve a monte gli effluenti del depuratore di Cesena mentre a valle è influenzato dalle oscillazioni di marea.

Verifica dei requisiti acustici di una scuola media e proposte di miglioramento

L’acustica delle aule scolastiche è uno dei fattori che influenzano principalmente la qualità ed il livello di apprendimento degli alunni. L'obiettivo della tesi è quello di dimostrare come si possono avere miglioramenti in termini di qualità acustica negli edifici scolastici con interventi mirati e dai costi ragionevoli. L’analisi è stata condotta su un edificio esistente che ospita una scuola media. Sono stati misurati in situ tutti gli aspetti acustici rilevanti e richiesti per legge: l’isolamento di facciata, il rumore di calpestio ed il tempo di riverberazione. Sono stati studiati anche altri parametri importanti, ma spesso trascurati o sconosciuti come Sti o Sti-PA, capaci di quantificare il grado di comprensione del parlato in ambienti chiusi. Lo studente, oltre ad aver contribuito allo svolgimento delle misurazioni, ha elaborato i dati e rilevato le criticità presenti nell’edificio scolastico. Attraverso l’uso di software di simulazione ha studiato gli interventi necessari per il ripristino e per il miglioramento dei requisiti acustici dei locali. Le soluzioni adottate sono un compromesso tra un buon livello di prestazioni acustiche ed i costi necessari per gli interventi proposti

Lis e Lsf: due lingue dei segni a confronto. Analisi storica, legislativa e linguistica

La presente tesi nasce dal desiderio di effettuare un confronto tra due lingue dei segni che possiedono un'origine comune: la lingua dei segni italiana (LIS) e la langue des signes française (LSF). Si è cercato di capire quanto queste ultime possano essere analoghe tutt'oggi effettuando un confronto tra le loro principali strutture sintattiche, dopo aver passato in rassegna gli avvenimenti storici ed i provvedimenti legislativi più influenti in entrambi i paesi. La pecularietà di questa tesi risiede essenzialmente nel suo carattere inedito poiché finora nessun confronto del genere era stato realizzato tra queste due lingue. Nel primo capitolo, si è deciso di passare in rassegna le varie definizioni proposte dall'OMS circa l'handicap e la disabilità in modo da distinguere due concetti che spesso vengono considerati sinonimi. Vediamo inoltre quanto è importante l'impatto dell'ambiente circostante e della società nei confronti dell'handicap, dopodiché viene rivolta particolare attenzione alla sordità. Nel secondo capitolo, ripercorriamo i sentieri della storia, dai pensatori dell'Antichità fino al giorno d'oggi, al fin di vedere quali sono state le varie correnti di pensiero riguardo la sordità e le lingue dei segni attraverso i secoli. In seguito, ci focalizziamo sull'aspetto legislativo riportando i vari disegni di legge e provvedimenti legislativi che hanno segnato un decisivo progresso nel campo del riconoscimento delle lingue dei segni in Francia ed in Italia. Nel terzo capitolo, dopo una breve introduzione sulle lingue dei segni, vengono scomposti i parametri formazionali della LIS e della LSF, soffermandoci sulle differenze circa la dattilologia e le configurazioni in LSF e in LIS. Infine, viene effettuato il confronto tra le principali strutture sintattiche in LSF e in LIS allo scopo di verificare l'ipotesi alla base della presente tesi. Dopo aver esposto l'obiettivo, ciò che emerge dal confronto, sebbene vi siano alcune piccole differenze, conferma l'ipotesi all'origine della ricerca.

Le onde elettromagnetiche per la diagnostica non distruttiva sui beni culturali

La mole di reperti e manufatti definiti, al momento, dalla legge come “bene culturale” è immensa e in continua espansione. La definizione di bene culturale copre un'infinità di oggetti, di variabili datazioni, materiali e dimensioni ed è ovvio immaginare che la quantità di manufatti da conservare e restaurare andrà, col tempo, ampliandosi essendo logico supporre che, con l'evolversi del genere umano, gli oggetti attualmente di uso e consumo andranno ad aggiungersi a quanto già viene conservato e tutelato diventando anch'essi reperti storici. La necessità di conoscere quanto più possibile del bene e di massimizzarne la durata mantenendo al contempo la sua integrità e una sua accessibilità al pubblico ha portato alla ricerca di soluzioni sempre più efficaci per adempiere allo scopo. Il fortunato evolversi della tecnologia ha ben risposto a questa richiesta permettendo l'utilizzo di una grande quantità di strumenti per far fronte alle più varie necessità del restauratore, dello studioso e del conservatore che cercano risposte sull'oggetto in esame volendo al contempo incidere il meno possibile sul bene stesso. Al momento di questa trattazione ci troviamo di fronte ad un'enorme quantità di dati ottenibili dalle più svariate forme di indagine. Ciò che tuttavia accomuna molti degli strumenti di indagine non distruttiva utilizzati da chi lavora nel campo dello studio, della conservazione e del restauro è il basarsi sull'impiego delle onde elettromagnetiche nelle diverse bande spettrali. Questa trattazione ha quindi lo scopo di fare il punto su quali tipologie, con quali metodi e con quali risultati le onde elettromagnetiche rispondono alle esigenze della conservazione e dello studio dei beni culturali.

Accrescimento di Chamelea gallina (Linneo, 1758) in Adriatico

La vongola Chamelea gallina è un mollusco appartenente alla famiglia Veneridae avente un'ampia distribuzione nel Mediterraneo. L’animale vive su fondali sabbiosi o sabbiosi – fangosi, con distribuzione aggregata, in prossimità della costa, a bassa profondità da 0 a 15metri. Nel presente studio è stata stimata sia la biomassa di Chamelea gallina espressa in kg/mq che la distribuzione di taglia, per valutare l’accrescimento della specie. L’accrescimento della vongola, così come per altre specie fossorie è influenzato da fattori biotici e abiotici, come la temperatura, lo stato trofico delle acque, la natura dei sedimenti ed infine la densità. Lo scopo di questa tesi è stato quello di monitorare l’attività di pesca delle vongole nel Compartimento di Rimini e raccogliere gli elementi conoscitivi esistenti a fine di ottimizzare la gestione della risorsa. A tal fine sono state realizzate a Rimini due campagne di pesca nel mese di Luglio e Dicembre 2014, utilizzando una draga idraulica di tipo commerciale conforme agli standard previsti dalla legge. Il campionamento è stato effettuato su 9 transetti perpendicolari alla costa con stazioni a 0,25-0,50-0,75 e proseguendo 1 Miglio qualora nei campioni vi sia ancora la presenza di vongole. A fine di valutare la frazione di individui con taglia inferiore a quella commerciale (25mm), all’interno della draga è stato posto un retino campionatore. Il materiale contenuto nella draga è stato selezionato al vibro-vaglio installato a bordo, attrezzato con griglie aventi fori del diametro di 19mm di apertura. Tutte le vongole trattenute dal vaglio sono state analizzate per ottenere una distribuzione di taglia. I risultati acquisiti nel corso della presente indagine hanno evidenziato una generale situazione di sofferenza per la taglia commerciale. In particolare sono state catturate molte vongole della prima maturità sessuale (14mm). Tutto ciò potrebbe essere proprio un’indicazione di banco in ricostituzione e ripresa dopo una situazione di crisi. Per quanto riguarda le forme giovanili i risultati ottenuti dalle due campagne di pesca indicano una notevole differenza di densità dei banchi di Chamelea gallina. Tali risultati sono stati ottenuti con il software ImageJ, il quale è in grado di rilevare la larghezza massima delle singole vongole. Infine sono stati registrati i valori di biomassa espressi in kg/mq, evidenziando una discreta oscillazione di valori tra le stazioni campionate. Infatti in entrambi i campionamenti le stazioni situate all’ interno degli strati più costieri presentano nella maggior parte dei casi valori, sia in biomassa che in numero, maggiori rispetto a quelle di largo. Concludendo, l’insieme dei dati raccolti ha evidenziato la necessità di urgenti misure di controllo e regolamentazione della risorsa, dei parametri eco-ambientali e della pesca esercitata, al fine di acquisire quelle informazioni utili per avviare un corretto piano di gestione della risorsa.

Sviluppo di una architettura di controllo per velivoli di tipo multi-rotore

Studio e Progettazione di un sistema di sicurezza ed una legge di controllo per UAV di tipo quadcopter.

Ottimizzazione di microcanali con condizioni al contorno diverse

Negli ultimi due decenni i microcanali hanno un'ampia gamma di applicazioni pratiche in ambiti specializzati, come le micropompe, l’ingegneria biomedica, la microfluidica, ecc. Quindi il miglioramento della capacità di scambio termico è molto significativo e, per questo motivo, è interessante studiare come influisce sullo scambio termico la variazione della geometria dei microcanali. Per descrivere le prestazioni associate ad una superficie di scambio termico ci si riferisce a dei parametri adimensionali. Ad esempio, si possono utilizzare numero di Poiseuille fRe e numero di Nusselt Nu, a cui sono associate, rispettivamente, le prestazioni in termini di attrito meccanico e di scambio termico convettivo della superficie. E si vedrà il comportamento termoidraulico al variare di parametri geometrici come il fattore di forma ed il raggio di curvatura degli spigoli della sezione attraverso simulazioni effettuate tramite FlexPDE. L’ottimizzazione delle sezioni di microcanali attraverso i Performance Evaluation Criteria (PEC) è basata su un’analisi condotta dal punto di vista della prima legge della termodinamica: l'ottimizzazione della funzione obiettivo è il suo unico scopo. Ma non ha tenuto conto dell’entropia generata nello scambiatore, che varia dopo l’ottimizzazione. Poiché l’entropia prodotta da un generico sistema termodinamico è direttamente legata alle perdite per irreversibilità nello stesso, quindi coincide l’efficienza del sistema dal punto di vista termodinamico. Per questo motivo, Bejan propone una procedura di ottimizzazione basata sulla seconda legge della termodinamica, in cui anche l’entropia è trattata come una funzione obiettivo che dovrà essere sempre minimizzata. Dopo una prima fase di analisi dal punto di vista fisico, il modello è stato applicato a casi concreti, in cui funzione obiettivo e numero di generazione entropica sono stati espressi in dipendenza dell’incognita geometrica da valutare.

Tadao ando in italia. Il confronto con l'antico.

La ricerca ha l’intento di cercare di comprendere come l'architetto giapponese Tadao Ando, proveniente da una formazione autodidatta, da una cultura orientale e da una realtà in cui solo architetti con una specifica formazione possono intervenire su architetture vincolate dalla locale Legge sulla Tutela dei Beni Culturali, si approcci ad una materia di certo per lui nuova, realizzando progetti su edifici dichiarati di interesse dal Ministero dei Beni Culturali o da istituzioni equivalenti. Quindi comprendere, in modo specifico, con quale spirito e/o con quale filosofia Tadao Ando ha approcciato i progetti di restauro su edifici esistenti e quale sforzo interiore ha dovuto affrontare per adeguare la sua idea istintiva ai vincoli storici, culturali, paesaggistici e urbanistici, propri della nostra nazione. Operando, inoltre, in un Paese nel quale l’architettura costituisce una parte cospicua della memoria solida dell’umanità e il recupero dell’esistente patrimonio architettonico è uno degli elementi fondamentali che lega la comunità al territorio, il passato al presente, garantendo a quest’ultimo il futuro; in un Paese nel quale le architetture contemporanee devono, o avrebbero dovuto, dialogare in modo armonico con il preesistente. Per analizzare il suo “modus operandi” si studiano e analizzano tutte le opere che l’architetto ha realizzato o sta realizzando in Italia su edifici di interesse storico-architettonico, tenendo sempre presenti, oltre agli aspetti culturali, anche gli obiettivi della committenza, lo stato di fatto delle architetture oggetto di intervento, l'analisi delle scelte progettuali iniziali, l'indagine di tutti i cambiamenti avvenuti nel corso della progettazione e dell’esecuzione dell’opera e i rapporti che intercorrono tra l’architetto e le Soprintendenze, al fine di comprendere le circostanze in base alle quali Tadao Ando abbia avviato le sue riflessioni progettuali su edifici “antichi”; sulle quali egli è stato in grado di relazionare la sua architettura con l’architettura l’"antica".

Punti razionali di ordine finito su una curva ellittica

Questa tesi nasce dal voler approfondire lo studio delle curve piane di grado 3 iniziato nel corso di Geometria Proiettiva. In particolare si andrà a studiare la legge di gruppo che si può definire su tali curve e i punti razionali di ordine finito appartenenti alle curve ellittiche. Nel primo capitolo si parla di equazioni diofantee, dell’Ultimo Teorema di Fermat, dell'equazione e della formula di duplicazione di Bachet. Si parla inoltre dello stretto rapporto tra la geometria, l'algebra e la teoria dei numeri nella teoria delle curve ellittiche e come le curve ellittiche siano importanti nella crittografia. Nel secondo capitolo vengono enunciate alcune definizioni, proposizioni e teoremi, riguardanti polinomi e curve ellittiche. Nel terzo capitolo viene introdotta la forma normale di una cubica. Nel quarto capitolo viene descritta la legge di gruppo su una cubica piana non singolare e la costruzione geometrica che porta ad essa; si vede il caso particolare della legge di gruppo per una cubica razionale in forma normale ed inoltre si ricavano le formule esplicite per la somma di due punti appartenenti ad una cubica. Nel capitolo cinque si iniziano a studiare i punti di ordine finito per una curva ellittica con la legge di gruppo dove l'origine è un flesso: vengono descritti e studiati i punti di ordine 2 e quelli di ordine 3. Infine, nel sesto capitolo si studiano i punti razionali di ordine finito qualsiasi: viene introdotto il concetto di discriminante di una cubica e successivamente viene enunciato e dimostrato il teorema di Nagell-Lutz.

Dynamics of the Heisenberg XXZ model across the ferromagnetic transition

In questa tesi viene presentata un'analisi numerica dell'evoluzione dinamica del modello di Heisenberg XXZ, la cui simulazione è stata effettuata utilizzando l'algoritmo che va sotto il nome di DMRG. La transizione di fase presa in esame è quella dalla fase paramagnetica alla ferromagnetica: essa viene simulata in una catena di 12 siti per vari tempi di quench. In questo modo si sono potuti esplorare diversi regimi di transizione, da quello istantaneo al quasi-adiabatico. Come osservabili sono stati scelti l'entropia di entanglement, la magnetizzazione di mezza catena e lo spettro dell'entanglement, particolarmente adatti per caratterizzare la fisica non all'equilibrio di questo tipo di sistemi. Lo scopo dell'analisi è tentare una descrizione della dinamica fuori dall'equilibrio del modello per mezzo del meccanismo di Kibble-Zurek, che mette in relazione la sviluppo di una fase ordinata nel sistema che effettua la transizione quantistica alla densità di difetti topologici, la cui legge di scala è predicibile e legata agli esponenti critici universali caratterizzanti la transizione.

Non-Gaussianities from a sudden change in the inflaton speed of sound

Il concetto di inflazione e' stato introdotto nei primi anni ’80 per risolvere alcuni problemi del modello cosmologico standard, quali quello dell’orizzonte e quello della piattezza. Le predizioni dei piu' semplici modelli inflazionari sono in buon accordo con le osservazioni cosmologiche piu'recenti, che confermano sezioni spaziali piatte e uno spettro di fluttuazioni primordiali con statistica vicina a quella gaussiana. I piu' recenti dati di Planck, pur in ottimo accordo con una semplice legge di potenza per lo spettro a scale k > 0.08 Mpc−1 , sembrano indicare possibili devi- azioni a scale maggiori, seppur non a un livello statisticamente significativo a causa della varianza cosmica. Queste deviazioni nello spettro possono essere spiegate da modelli inflazionari che includono una violazione della condizione di lento rotolamento (slow-roll ) e che hanno precise predizioni per lo spettro. Per uno dei primi modelli, caratterizzato da una discontinuita' nella derivata prima del potenziale proposto da Starobinsky, lo spettro ed il bispettro delle fluttuazioni primordiali sono noti analiticamente. In questa tesi estenderemo tale modello a termini cinetici non standard, calcolandone analiticamente il bispettro e confrontando i risultati ottenuti con quanto presente in letteratura. In particolare, l’introduzione di un termine cinetico non standard permettera' di ottenere una velocita' del suono per l’inflatone non banale, che consentira' di estendere i risultati noti, riguardanti il bispettro, per questo modello. Innanzitutto studieremo le correzioni al bispettro noto in letteratura dovute al fatto che in questo caso la velocita' del suono e' una funzione dipendente dal tempo; successivamente, cercheremo di calcolare analiticamente un ulteriore contributo al bispettro proporzionale alla derivata prima della velocita' del suono (che per il modello originale e' nullo).

La scala delle distanze in astrofisica

In questo elaborato vengono descritti i principali metodi per il calcolo delle distanze in astrofisica. Viene trattato il fenomeno della parallasse, il funzionamento e alcuni tipi di stelle variabili oltre alle supernove di tipo thermonuclear. Infine sono brevemente discussi alcuni indicatori secondari: le relazioni di Faber-Jackson, Tully-Fisher e la legge di Hubble.

I reati informatici. Analisi critica di alcune fattispecie ed esame di relativi casi giuridici

Lo sviluppo tecnologico e la nascita di Internet ha portato alla costituzione di un nuovo canale di comunicazione il quale costituisce, insieme all'uso dei sistemi informatici, un veicolo per la realizzazione di illeciti. Lo scopo di questa tesi di laurea è di presentare e analizzare in modo critico i principali reati informatici. Le ricerche sono state effettuate attraverso diverse banche dati, lettura di libri e vari articoli. La tesi espone al primo capitolo una panoramica storica e generale sui reati informatici. Nel secondo capitolo viene esaminata la Legge 23 dicembre 1993 n. 547. Il terzo capitolo è il cuore della tesi e analizza i principali reati informatici insieme a relativi casi giuridici. Il quarto ed ultimo capitolo, esamina l'esigenza di avere una normativa comune tra i vari stati del mondo. La trattazione fornisce un quadro d'insieme sul dilagante fenomeno dei crimini informatici, seguito da un'analisi approfondita dei singoli reati. La ricerca e lo studio dei casi reali hanno consentito di concretizzare la normativa teorica.

Determinazione empirica delle variazioni dimensionali in fase di calibratura di componenti prodotti per metallurgia delle polveri

La tecnologia MdP odierna risente di grosse limitazioni a causa di una inadeguata divulgazione, soprattutto a livello universitario, delle conoscenze sulle teorie dei processi e della progettazione di impianti ad essa legati. La conseguenza è l’accentramento del know-how all’interno delle aziende del settore (progettazione presse e impianti di sinterizzazione, sviluppo materie prime, progettazione stampi e cicli produttivi…) le quali, nel tempo, hanno creato al loro interno tecnici specializzati, laboratori di ricerca e sofisticati reparti R&D. Nonostante il risultato evidente oggi in Europa sia una buona preparazione tecnica da parte delle aziende operanti nel settore, la scarsa diffusione di conoscenze anche negli altri ambiti dell’ingegneria e della progettazione meccanica rende spesso difficile l’incontro tra due realtà che potrebbero invece aprire nuovi settori di produzione e/o il miglioramento di progetti noti. Questo lavoro è fondato sulla base di tali considerazioni e svolto interamente all’interno di una delle più importanti realtà industriali nazionali in questo campo: Sinteris S.p.A. (Bologna). Dopo una descrizione del processo classico, si passerà ad analizzare, tramite prove in laboratorio, il processo di calibratura di rotori pompa per circuiti lubrificanti in campo automotiv. Lo studio riguarda il rilievo e il confronto delle variazioni dimensionali ottenute a diverse percentuali di calibratura su rotori di diverse altezze (entro e oltre i limiti progettuali fino ad oggi realizzati in Sinteris) allo scopo di far luce sulle deformazioni plastiche che condizionano la conformità dei pezzi sinterizzati sottoposti a calibratura entro stampi rigidi di dimensioni note. Lo scopo ideale di questa ricerca è trovare una legge su base empirica che consenta all’Engineering di progettare stampi di calibratura e percentuali di schiacciamento che garantiscano, ad ogni montaggio, la conformità dimensionale di attuali e futuri progetti di pompe a lobi.