300 resultados para Logica
Resumo:
Obiettivo del lavoro è migliorare la lettura della ruralità europea. A fronte delle profonde trasformazioni avvenute, oggi non è più possibile analizzare i territori rurali adottando un mero approccio dicotomico che semplicemente li distingua dalle città. Al contrario, il lavoro integra l’analisi degli aspetti socio-economici con quella degli elementi territoriali, esaltando le principali dimensioni che caratterizzano le tante tipologie di ruralità oggi presenti in Europa. Muovendo dal dibattito sulla classificazione delle aree rurali, si propone dapprima un indicatore sintetico di ruralità che, adottando la logica fuzzy, considera congiuntamente aspetti demografici (densità), settoriali (rilevanza dell’attività agricola), territoriali e geografici (accessibilità e uso del suolo). Tale tecnica permette di ricostruire un continuum di gradi di ruralità, distinguendo così, all’interno dell’Unione Europea (circa 1.300 osservazioni), le aree più centrali da quelle progressivamente più rurali e periferiche. Successivamente, attraverso un’analisi cluster vengono individuate tipologie di aree omogenee in termini di struttura economica, paesaggio, diversificazione dell’attività agricola. Tali cluster risentono anche della distribuzione geografica delle aree stesse: vengono infatti distinti gruppi di regioni centrali da gruppi di regioni più periferiche. Tale analisi evidenzia soprattutto come il binomio ruralità-arretratezza risulti ormai superato: alcune aree rurali, infatti, hanno tratto vantaggio dalle trasformazioni che hanno interessato l’Unione Europea negli ultimi decenni (diffusione dell’ICT o sviluppo della manifattura). L’ultima parte del lavoro offre strumenti di analisi a supporto dell’azione politica comunitaria, analizzando la diversa capacità delle regioni europee di rispondere alle sfide lanciate dalla Strategia Europa 2020. Un’analisi in componenti principali sintetizza le principali dimensioni di tale performance regionale: i risultati sono poi riletti alla luce delle caratteristiche strutturali dei territori europei. Infine, una più diretta analisi spaziale dei dati permette di evidenziare come la geografia influenzi ancora profondamente la capacità dei territori di rispondere alle nuove sfide del decennio.
Resumo:
Il presente lavoro si pone l'obiettivo di fornire una rilettura filologica delle fonti numismatiche sui membri femminili della domus imperiale romana da Livia a Matidia Maggiore, supportata da una schedatura informatizzata del documento monetale. La compilazione è stata condotta tramite lo spoglio dei repertori di maggiore consultazione (RIC, BMCRE, BNCMER, HCC) e ha posto l'attenzione sia sugli elementi iconografici che su quelli epigrafici che vanno a comporre l'aspetto estrinseco della moneta. La scelta di tali elementi nelle emissioni imperiali è l'espressione di un vero e proprio linguaggio dotato di una logica comunicativa ben precisa e finalizzata a garantire la comprensibilità del messaggio. La sua decodifica consente di individuare possibili linee di definizione del ruolo pubblico e politico delle Auguste nel quadro dell'ideologia imperiale. A veicolare questo significato contribuiscono ugualmente gli elementi iconografici, con valore connotativo rispetto al soggetto raffigurato, e quelli epigrafici, con valore esplicativo ai fini della comprensione del dato visivo. La moneta rappresenta dunque un documento complesso, che necessita di una specifica metodologia di indagine volta a interpretarne tutti gli elementi.
Non-normal modal logics, quantification, and deontic dilemmas. A study in multi-relational semantics
Resumo:
This dissertation is devoted to the study of non-normal (modal) systems for deontic logics, both on the propositional level, and on the first order one. In particular we developed our study the Multi-relational setting that generalises standard Kripke Semantics. We present new completeness results concerning the semantic setting of several systems which are able to handle normative dilemmas and conflicts. Although primarily driven by issues related to the legal and moral field, these results are also relevant for the more theoretical field of Modal Logic itself, as we propose a syntactical, and semantic study of intermediate systems between the classical propositional calculus CPC and the minimal normal modal logic K.
Resumo:
Trattazione del metodo delle tavole semantiche come modello per la ricerca della validità logica o insoddisfacibilità di un enunciato sia proposizionale che predicativo.
Resumo:
Nel corso degli ultimi anni si è assistito ad un ampio dibattito sull’uso della valutazione della ricerca nelle università e nelle strutture di ricerca. Nell’ambito di tale dibattito, nella presente tesi, vengono analizzate le più importanti metodologie per la valutazione della ricerca presenti a livello internazionale, i principali strumenti qualitativi di valutazione della ricerca (in particolare la peer review), gli strumenti quantitativi, quali la bibliometria, e le caratteristiche dei più importanti archivi bibliografici citazionali (es. Scopus, Web of Science), approfondendo i principali indicatori citazionali utilizzati nelle scienze umane e sociali (es. Indice H). Inoltre la tesi affronta il tema dell’impatto socio-economico della ricerca e le principali criticità di questo innovativo strumento, attraverso uno studio di caso realizzato nel Regno Unito. Una successiva analisi empirica riguarda le principali liste di riviste realizzate a livello internazionale e nazionale, nel settore scientifico di Storia e Filosofia della scienza. I risultati degli studi mostrano che le liste internazionali di riviste possono rappresentare, un punto di partenza a cui devono necessariamente essere affiancati altri strumenti di valutazione (peer review, analisi citazionali, etc); mentre le liste nazionali rischiano, invece, di essere uno strumento poco utile ed in alcuni casi inadeguato al fine di una corretta valutazione della ricerca, a causa della scarsa internazionalizzazione dei repertori e dei giudizi generalmente troppo elevati attribuiti alle riviste. Un ulteriore risultato raggiunto nella presente tesi riguarda la valutazione della ricerca nelle diverse discipline scientifiche: nelle Scienze umane e sociali risulta esserci uno scarso grado di presenza di pubblicazioni scientifiche nei principali archivi bibliografici e citazionali internazionali. Questa situazione limita fortemente l’attendibilità delle analisi statistiche basate su indici e indicatori quantitativi, per valutare la produttività scientifica di un ricercatore, oppure di una istituzione di ricerca.
Resumo:
Il seguente elaborato rappresenta un'applicazione della ringegnerizzazione di processo nel settore creditizio, in particolare nel processo di erogazione del leasing. Il lavoro è stato strutturato attraverso la descrizione delle attività operative e decisionali dell'azienda in esame, attraverso lo sviluppo di mappature di processo con logica BPMN.
Resumo:
La tesi è finalizzata ad una preliminare fase di sperimentazione di un algoritmo che, a partire da dati di acustica, sia in grado di classificare le specie di pesce presenti in cale mono e plurispecifiche. I dati sono stati acquisiti nella fascia costiera della Sicilia meridionale, durante alcune campagne di ricerca effettuate tra il 2002 e il 2011, dall’IAMC – CNR di Capo Granitola. Sono stati registrati i valori delle variabili ambientali e biotiche tramite metodologia acustica e della composizione dei banchi di pesci catturati tramite cale sperimentali: acciughe, sardine, suri, altre specie pelagiche e pesci demersali. La metodologia proposta per la classificazione dei segnali acustici nasce dalla fusione di logica fuzzy e teorema di Bayes, per dar luogo ad un approccio modellistico consistente in un compilatore naïve Bayes operante in ambiente fuzzy. Nella fattispecie si è proceduto alla fase di training del classificatore, mediante un learning sample di percentuali delle categorie ittiche sopra menzionate, e ai dati di alcune delle osservazioni acustiche, biotiche e abiotiche, rilevate dall’echosurvey sugli stessi banchi. La validazione del classificatore è stata effettuata sul test set, ossia sui dati che non erano stati scelti per la fase di training. Per ciascuna cala, sono stati infine tracciati dei grafici di dispersione/correlazione dei gruppi ittici e le percentuali simulate. Come misura di corrispondenza dei dati sono stati considerati i valori di regressione R2 tra le percentuali reali e quelle calcolate dal classificatore fuzzy naïve Bayes. Questi, risultando molto alti (0,9134-0,99667), validavano il risultato del classificatore che discriminava con accuratezza le ecotracce provenienti dai banchi. L’applicabilità del classificatore va comunque testata e verificata oltre i limiti imposti da un lavoro di tesi; in particolare la fase di test va riferita a specie diverse, a condizioni ambientali al contorno differenti da quelle riscontrate e all’utilizzo di learning sample meno estesi.
Resumo:
Nel caso di un centro storico, ovvero di fronte a un patrimonio edilizio diffuso di interesse storico e architettonico, sia il processo di conoscenza che il rilievo della vulnerabilità sismica, richiedono l’utilizzo di un metodo che tenga opportunamente conto del valore e dei caratteri architettonici del tessuto edilizio, della presenza di una tradizione costruttiva e dell’evoluzione storica dei manufatti. Scopo del presente lavoro quindi vuole essere quello di fornire gli strumenti e un metodo per una corretta valutazione della vulnerabilità sismica a scala dell’aggregato attraverso la lettura delle sue caratteristiche costruttive e attraverso l’individuazione delle precarietà strutturali. Fondamentale a questo scopo è la conoscenza delle trasformazioni subite dall’aggregato, perché solo tramite lo studio delle successive stratificazioni e modifiche è possibile capire la successione logica che ha portato l’impianto originale alla configurazione attuale e quindi individuare le carenze strutturali.
Resumo:
In questo elaborato viene studiato un nuovo strumento satellitare chiamato MIPAS2k: uno spettrometro a trasformata di Fourier, in grado di misurare gli spettri di emissione dei gas atmosferici attraverso la tecnica di misure al lembo. Lo scopo di MIPAS2k è quello di determinare la distribuzione spaziale di quantità atmosferiche tra cui il VMR delle specie chimiche: ozono, acqua, acido nitrico e protossido di azoto. La necessità di idearne un successore è nata dopo la perdita di contatto con lo strumento MIPAS da cui MIPAS2k, pur preservandone alcune caratteristiche, presenta differenze fondamentali quali: i parametri osservazionali, il tipo di detector utilizzato per eseguire le scansioni al lembo e la logica attraverso cui vengono ricavate le distribuzioni dei parametri atmosferici. L’algoritmo attraverso cui viene effettuata l’inversione dei dati di MIPAS2k, chiamato FULL2D, usa la stessa logica di base di quello utilizzato per MIPAS chiamato Geo-Fit. La differenza fondamentale tra i due metodi risiede nel modo in cui i parametri sono rappresentati. Il Geo-Fit ricostruisce il campo atmosferico delle quantità da determinare tramite profili verticali mentre il FULL2D rappresenta i valori del campo atmosferico all’interno degli elementi della discretizzazione bidimensionale dell’atmosfera. Non avendo a disposizione misure del nuovo strumento si è dovuto valutarne le performance attraverso l’analisi su osservati simulati creati ricorrendo al modello diretto del trasferimento radiativo e utilizzando un’atmosfera di riferimento ad alta risoluzione. Le distribuzioni bidimensionali delle quantità atmosferiche di interesse sono state quindi ricavate usando il modello di inversione dei dati FULL2D applicato agli osservati simulati di MIPAS2k. I valori dei parametri ricavati sono stati confrontati con i valori dell’atmosfera di riferimento e analizzati utilizzando mappe e quantificatori. Con i risultati di queste analisi e' stato possibile determinare la risoluzione spaziale e la precisione dei prodotti di MIPAS2k per due diverse risoluzioni spettrali.
Resumo:
La tesi tematizza come proprio oggetto di indagine i percorsi di partecipazione politica e civica dei giovani nei contesti di transizione alla vita adulta, concentrandosi sull’influenza delle relazioni tra generazioni su tali espressioni di coinvolgimento. L’approfondimento empirico consiste in una ricerca qualitativa condotta presso il quartiere Navile di Bologna nel 2012. Basandosi sull’approccio metodologico della grounded theory, essa ha coinvolto un campione di giovani e un campione di adulti per loro significativi attraverso interviste semistrutturate. Dall’analisi emerge una rilevante disaffezione giovanile nei confronti della politica che, tuttavia, non traduce in un rifiuto del coinvolgimento, ma in una “partecipazione con riserva” espressa attraverso atteggiamenti tutt’altro che passivi nei confronti della politica formale - basati sulla logica della riforma, della resistenza o della ribellione - e mediante un forte investimento in attività partecipative non convenzionali (associazionismo e coinvolgimento). A fare da sfondo all’interesse partecipativo dei giovani si colloca una lettura negativa della propria condizione presente ed un conseguente conflitto intergenerazionale piuttosto manifesto, che si riflette sulle stesse modalità di attivazione. La politica, nelle sue espressioni più strettamente formali, viene interpretata come un ‘territorio adulto’, gestito secondo logiche che lasciano poco spazio ai giovani i quali, per tale ragione, scelgono di attivarsi secondo modalità alternative in cui il confronto con l’altro, quando presente, avviene prevalentemente tra pari o su basi avvertite come più paritarie. Il distanziamento dei giovani dalla politica formale riflette quindi una parallela presa di distanza dagli adulti, i quali risultano smarriti nello svolgimento delle loro funzioni di modello e di riconoscimento. La loro ambivalenza rispetto ai giovani - ossia il continuo oscillare tra il profondo pessimismo e il cieco ottimismo, tra la guida direttiva e la deresponsabilizzazione - si traduce in un riconoscimento parziale delle reali potenzialità ed esigenze dei giovani come cittadini ed adulti emergenti.
Resumo:
Il continuo sdoppiamento e la riverberazione sono le matrici di sviluppo di questa tesi, in cui le ricerche di Grotowski legate al Parateatro e al Teatro delle Fonti sono indagate e interpretate a partire da un pensiero polivalente che prende avvio nella sociologia della cultura e si radica in un terreno antropologico. La ricerca si configura come un’interpretazione possibile delle scelte operate da Grotowski e, complessivamente, dal Teatro Laboratorio, nel contesto delle trasformazioni socio-culturali successive agli anni Sessanta verificando come nel periodo dal '70 all'82 le scelte stesse rispecchino i valori culturali dell’epoca.La ricerca ricorre alla categoria della “festa” - intesa come realtà quotidiana elevata alla forma rituale, attraverso gli elementi culturali e identitari del gruppo di appartenenza - e, a partire da essa, sovrappone criticamente la logica dell’“identità in performance” con la nozione di “Incontro” elaborata da Grotowski. Questa logica è, successivamente, problematizzata attraverso il “diamante culturale”, un dispositivo di analisi della sociologia della culturache, a sua volta, è discusso eridimensionato a partire dalpresuppostodi “Decostruzione” e dall’idea di “Decondizionamento”legata al lavoro del Performer, inteso come individuo.Tre immagini e un’incognita rivelano i campi d’azioneed i principi che permeano l’intera ricerca raddoppiandosi e congiungendo l’immagine del Performer come individuo riflessivo. L’immagine riflessa si configura nel contrasto fra apparenza e presenza: nella domanda posta da Grotowski “che si può fare con la propria solitudine?” si evidenzia uno dei problemi a cui deve far fronte l’individuo in una determinata struttura culturale e, al contempo, viene suggerita una possibilità di amplificazione della percezione di “se stesso” da parte dell’Attore-Performer come Individuo.
Resumo:
In questo lavoro di tesi abbiamo ideato e implementato un nuovo social network combinando in una sola applicazione per dispositivi mobili alcune nuove idee con altre già esistenti, ma ancora poco sviluppate. Dopo aver analizzato le app attualmente esistenti, si sono definite le caratteristiche dell'applicazione che si vuole creare, traendo ispirazione da Snapchat, Foursquare e Whisper. L'obiettivo è un'applicazione che permette agli utenti di inviare messaggi con testo e immagini geotaggati sulla loro posizione. Essi saranno anonimi, dato che gli utenti avranno la possibilità di creare e utilizzare facilmente più identità. I messaggi potranno essere votati e commentati e avranno una durata definita dall'autore, dopo di che si autodistruggeranno. Tutti i messaggi saranno visibili su una mappa che li mostrerà nel punto in cui l'autore si trovava quando li ha inviati. Gli utenti riceveranno una notifica per i nuovi messaggi inviati nelle loro vicinanze. I primi mesi di lavoro sul progetto sono stati dedicati al perfezionamento dell'idea originale e alla realizzazione della parte server. In questa fase è stato acquisito e configurato un Virtual Private Server, è stato progettato e creato il database MySql, ed è stata implementata la logica applicativa lato server in PHP. Successivamente, ci si è concentrati sulla progettazione e realizzazione dell'applicazione stessa, scegliendo la piattaforma Android e programmando in linguaggio Java. In questa fase si è definita e implementata l'interfaccia utente e la logica applicativa lato client. Giunti ad un buon livello di sviluppo, si è cominciato a distribuire limitatamente una versione alpha dell'applicazione per ottenere feedback dagli utenti, soprattutto riguardanti l'usabilità. La seguente tesi descrive in dettaglio l'idea di partenza, l'architettura del progetto e le funzionalità realizzate, per concludersi con una previsione degli sviluppi futuri. Vi è inoltre in allegato il codice sorgente dell'applicazione Android realizzata.
Resumo:
In questa Tesi di laurea, si è affrontato il problema della mobilità veicolare in caso di nebbie. Si è quindi sviluppato un prototipo con architettura Client-Server, che si è soffermato maggiormente sull’analisi dei dati per la creazione di un percorso alternativo. Si è preso in considerazione il sistema operativo mobile di Apple, iOS7 che rappresenta uno dei Sistemi Operativi mobili maggiormente presenti sul mercato oggigiorno e che possiede un buon bacino di utenze. La parte Server è stata sviluppata secondo l’architettura REST; è presente un Server HTTP che riceve richieste e risponde in modo adeguato ai Client tramite lo scambio bidirezionale di dati in formato JSON. Nella parte Server è inclusa la base di dati: un componente molto importante poiché implementa al suo interno, parte della logica di Sistema tramite stored procedure. La parte Client è un’applicazione per dispositivi iPad e iPhone chiamata Fog Escaping; essa è stata sviluppata secondo il pattern MVC (Model- View-Controller). Fog Escaping implementa un algoritmo Greedy di ricerca del percorso alternativo, che può essere utilizzato per diverse tipologie di applicazioni.
Resumo:
La tesi affronta il concetto di esposizione al rischio occupazionale e il suo scopo è quello di indagare l’ambiente di lavoro e il comportamento dei lavoratori, con l'obiettivo di ridurre il tasso di incidenza degli infortuni sul lavoro ed eseguire la riduzione dei rischi. In primo luogo, è proposta una nuova metodologia denominata MIMOSA (Methodology for the Implementation and Monitoring of Occupational SAfety), che quantifica il livello di "salute e sicurezza" di una qualsiasi impresa. Al fine di raggiungere l’obiettivo si è reso necessario un approccio multidisciplinare in cui concetti d’ingegneria e di psicologia sono stati combinati per sviluppare una metodologia di previsione degli incidenti e di miglioramento della sicurezza sul lavoro. I risultati della sperimentazione di MIMOSA hanno spinto all'uso della Logica Fuzzy nel settore della sicurezza occupazionale per migliorare la metodologia stessa e per superare i problemi riscontrati nell’incertezza della raccolta dei dati. La letteratura mostra che i fattori umani, la percezione del rischio e il comportamento dei lavoratori in relazione al rischio percepito, hanno un ruolo molto importante nella comparsa degli incidenti. Questa considerazione ha portato ad un nuovo approccio e ad una seconda metodologia che consiste nella prevenzione di incidenti, non solo sulla base dell'analisi delle loro dinamiche passate. Infatti la metodologia considera la valutazione di un indice basato sui comportamenti proattivi dei lavoratori e sui danni potenziali degli eventi incidentali evitati. L'innovazione consiste nell'applicazione della Logica Fuzzy per tener conto dell’"indeterminatezza" del comportamento umano e del suo linguaggio naturale. In particolare l’applicazione è incentrata sulla proattività dei lavoratori e si prefigge di impedire l'evento "infortunio", grazie alla generazione di una sorta d’indicatore di anticipo. Questa procedura è stata testata su un’azienda petrolchimica italiana.
Resumo:
We introduce labelled sequent calculi for indexed modal logics. We prove that the structural rules of weakening and contraction are height-preserving admissible, that all rules are invertible, and that cut is admissible. Then we prove that each calculus introduced is sound and complete with respect to the appropriate class of transition frames.