A study on set variable representations in constraint programming

Il lavoro presentato in questa tesi si colloca nel contesto della programmazione con vincoli, un paradigma per modellare e risolvere problemi di ricerca combinatoria che richiedono di trovare soluzioni in presenza di vincoli. Una vasta parte di questi problemi trova naturale formulazione attraverso il linguaggio delle variabili insiemistiche. Dal momento che il dominio di tali variabili può essere esponenziale nel numero di elementi, una rappresentazione esplicita è spesso non praticabile. Recenti studi si sono quindi focalizzati nel trovare modi efficienti per rappresentare tali variabili. Pertanto si è soliti rappresentare questi domini mediante l'uso di approssimazioni definite tramite intervalli (d'ora in poi rappresentazioni), specificati da un limite inferiore e un limite superiore secondo un'appropriata relazione d'ordine. La recente evoluzione della ricerca sulla programmazione con vincoli sugli insiemi ha chiaramente indicato che la combinazione di diverse rappresentazioni permette di raggiungere prestazioni di ordini di grandezza superiori rispetto alle tradizionali tecniche di codifica. Numerose proposte sono state fatte volgendosi in questa direzione. Questi lavori si differenziano su come è mantenuta la coerenza tra le diverse rappresentazioni e su come i vincoli vengono propagati al fine di ridurre lo spazio di ricerca. Sfortunatamente non esiste alcun strumento formale per paragonare queste combinazioni. Il principale obiettivo di questo lavoro è quello di fornire tale strumento, nel quale definiamo precisamente la nozione di combinazione di rappresentazioni facendo emergere gli aspetti comuni che hanno caratterizzato i lavori precedenti. In particolare identifichiamo due tipi possibili di combinazioni, una forte ed una debole, definendo le nozioni di coerenza agli estremi sui vincoli e sincronizzazione tra rappresentazioni. Il nostro studio propone alcune interessanti intuizioni sulle combinazioni esistenti, evidenziandone i limiti e svelando alcune sorprese. Inoltre forniamo un'analisi di complessità della sincronizzazione tra minlex, una rappresentazione in grado di propagare in maniera ottimale vincoli lessicografici, e le principali rappresentazioni esistenti.

Una implementazione della Logica Defeasible Temporale per il ragionamento giuridico

La presente tesi descrive l’implementazione in Java di un algoritmo per il ragionamento giuridico che cattura due sue importanti peculiarità: la defeasibility del ragionamento normativo e il concetto di tempo. “Defeasible” significa “ritrattabile” e sta ad indicare, appunto, quegli schemi di ragionamento nei quali è possibile rivedere o ritrattare le conclusioni tratte precedentemente. Il tempo è essenziale per un’accurata rappresentazione degli scenari presenti nel mondo reale e in particolare per gli scenari giuridici. I profili temporali delle norme sono essenzialmente due: (i) tempo esterno della norma, cioè il periodo durante il quale la norma è valida cioè appartiene al sistema giuridico; (ii) tempo interno della norma che fa riferimento al periodo in cui la norma si applica. In particolare quest’ultimo periodo di tempo coincide con il periodo in cui le condizioni presenti nella norma devono presentarsi affinché essa produca i suoi effetti. Inoltre, nella tesi viene presentata un’estensione della logica defeasible in grado di distinguere tra regole con effetti persistenti, che valgono non solo per l’istante in cui si verificano le premesse ma anche per ogni istante successivo, e regole con effetti transitori, che valgono per un singolo istante. L’algoritmo presentato in questa tesi presenta una complessità lineare nelle dimensioni della teoria in ingresso e può interagire con le applicazioni del web semantico poiché elabora teorie scritte in Rule-ML, un linguaggio basato su XML per la rappresentazione di regole.

I sarcofagi tra III e IV secolo d. C.: problemi di iconologia

Cosa e’ stato fatto e il fine della ricerca in questi tre anni si è esaminato il materiale edito sui sarcofagi del periodo in esame, sui culti funerari, i problemi religiosi ed artistici. Per trovare confronti validi si sono resi necessari alcuni viaggi sia in Italia che all’estero. Lo scopo della ricerca è stato quello di “leggere” i messaggi insiti nelle figurazioni delle casse dei sarcofagi, per comprendere meglio la scelta dei committenti verso determinati temi e la ricezione di questi ultimi da parte del pubblico. La tomba, infatti, è l’ultima traccia che l’uomo lascia di sé ed è quindi importante cercare di determinare l’impatto psicologico del monumento funerario sul proprietario, che spesso lo acquistava quando ancora era in vita, e sui familiari in visita alla tomba durante la celebrazione dei riti per i defunti. Nell’ultimo anno, infine, si è provveduto a scrivere la tesi suddivindendo i capitoli e i pezzi in base all’argomento delle figurazioni (mitologici, di virtù, etc.). I capitoli introduttivi Nel primo capitolo di introduzione si è cercato di dare un affresco per sommi capi del periodo storico in esame da Caracalla a Teodosio e della Chiesa di III e IV secolo, mettendo in luce la profonda crisi che gravava sull’Impero e le varie correnti che frammentavano il cristianesimo. In particolare alcune dispute, come quella riguardante i lapsi, sarà alla base di ipotesi interpretative riguardanti la raffigurazione del rifiuto dei tre giovani Ebrei davanti a Nabuchodonosor. Nel capitolo seguente vengono esaminati i riti funerari e il ruolo dei sarcofagi in tali contesti, evidenziando le diverse situazioni emotive degli osservatori dei pezzi e, quindi, l’importanza dei temi trattati nelle casse. I capitolo Questo capitolo tratta dei sarcofagi mitologici. Dopo una breve introduzione, dove viene spiegata l’entrata in uso dei pezzi in questione, si passa alla discussione dei temi, suddivisi in paragrafi. La prima classe di materiali è qualla con la “caduta di Fetonte” la cui interpretazione sembra chiara: una tragedia familiare. Il compianto sul corpo di un ragazzo morto anzi tempo, al quale partecipa tutto il cosmo. L’afflizione dei familiari è immane e sembra priva di una possibile consolazione. L’unico richiamo a riprendere a vivere è solo quello del dovere (Mercurio che richiama Helios ai propri impegni). La seconda classe è data dalle scene di rapimento divino visto come consolazione e speranza in un aldilà felice, come quelle di Proserpina e Ila. Nella trasposizione della storia di Ila è interessante anche notare il fatto che le ninfe rapitrici del giovane – defunto abbiano le sembianze delle parenti già morte e di un fanciullo, probabilmente la madre, la nonna e un fratello deceduto anzi tempo. La terza classe presenta il tema del distacco e dell’esaltazione delle virtù del defunto nelle vesti dei cacciatori mitici Mealeagro, Ippolito e Adone tutti giovani, forti e coraggiosi. In questi sarcofagi ancor più che negli altri il motivo della giovinezza negata a causa della morte è fondamentale per sottolineare ancora di più la disperazione e il dolore dei genitori rimasti in vita. Nella seguente categoria le virtù del defunto sono ancora il tema dominante, ma in chiave diversa: in questo caso l’eroe è Ercole, intento ad affrontare le sue fatiche. L’interpretazione è la virtù del defunto che lo ha portato a vincere tutte le difficoltà incontrate durante la propria vita, come dimostrerebbe anche l’immagine del semidio rappresentato in età diverse da un’impresa all’altra. Vi è poi la categoria del sonno e della morte, con i miti di Endimione, Arianna e Rea Silvia, analizzato anche sotto un punto di vista psicologico di aiuto per il superamento del dolore per la perdita di un figlio, un marito, o, ancora, della sposa. Accanto ai sarcofagi con immagini di carattere narrativo, vi sono numerosi rilievi con personaggi mitici, che non raccontano una storia, ma si limitano a descrivere situazioni e stati d’animo di felicità. Tali figurazioni si possono dividere in due grandi gruppi: quelle con cortei marini e quelle con il tiaso dionisiaco, facendo dell’amore il tema specifico dei rilievi. Il fatto che quello del tiaso marino abbia avuto così tanta fortuna, forse, per la numerosa letteratura che metteva in relazione l’Aldilà con l’acqua: l’Isola dei Beati oltre l’Oceano, viaggi per mare verso il mondo dei morti. Certo in questo tipo di sarcofagi non vi sono esplicitate queste credenze, ma sembrano più che altro esaltare le gioie della vita. Forse il tutto può essere spiegato con la coesistenza, nei familiari del defunto, della memoria retrospettiva e della proiezione fiduciosa nel futuro. Sostanzialmente era un modo per evocare situazioni gioiose e di godimento sensibile, riferendole ai morti in chiave beneaugurale. Per quanto rigurda il tiaso di Bacco, la sua fortuna è stata dettata dal fatto che il suo culto è sempre stato molto attivo. Bacco era dio della festa, dell’estasi, del vino, era il grande liberatore, partecipe della crescita e della fioritura, il grande forestiero , che faceva saltare gli ordinamenti prestabiliti, i confini della città con la campagna e le convenzioni sociali. Era il dio della follia, al quale le menadi si abbandonavano nella danza rituale, che aggrediva le belve, amante della natura, ma che penetra nella città, sconvolgendola. Del suo seguito facevano parte esseri ibridi, a metà tra l’ordine e la bestialità e animali feroci ammansiti dal vino. I suoi nemici hanno avuto destini orribili di indicibile crudeltà, ma chi si è affidato anima e corpo a lui ha avuto gioia, voluttà, allegria e pienezza di vita. Pur essendo un valente combattente, ha caratteri languidi e a tratti femminei, con forme floride e capelli lunghi, ebbro e inebriante. Col passare del tempo la conquista indiana di alessandro si intrecciò al mito bacchico e, a lungo andare, tutti i caratteri oscuri e minacciosi della divinità scomparirono del tutto. Un esame sistematico dei temi iconografici riconducibili al mito di Bacco non è per nulla facile, in quanto l’oggetto principale delle raffigurazioni è per lo più il tiaso o come corteo festoso, o come gruppi di figure danzanti e musicanti, o, ancora, intento nella vendemmia. Ciò che interessava agli scultori era l’atmosfera gioiosa del tiaso, al punto che anche un episodio importante, come abbiamo visto, del ritrovamento di Arianna si pèerde completamente dentro al corteo, affollatissimo di personaggi. Questo perché, come si è detto anche al riguardo dei corte marini, per creare immagini il più possibile fitte e gravide di possibilità associative. Altro contesto iconografico dionisiaco è quello degli amori con Arianna. Sui sarcofagi l’amore della coppia divina è raffigurato come una forma di stupore e rapimento alla vista dell’altro, un amore fatto di sguardi, come quello del marito sulla tomba della consorte. Un altro tema , che esalta l’amore, è senza ombra di dubbio quello di Achille e Pentesilea, allegoria dell’amore coniugale. Altra classe è qualla con il mito di Enomao, che celebra il coraggio virile e l’attitudine alla vittoria del defunto e, se è presente la scena di matrimonio con Ippodamia, l’amore verso la sposa. Infine vi sono i sarcofagi delle Muse: esaltazione della cultura e della saggezza del morto. II capitolo Accanto ad i grandi ambiti mitologici dei due tiasi del capitolo precedente era la natura a lanciare un messaggio di vita prospera e pacifica. Gli aspetti iconografici diq uesto tema sono due: le stagioni e la vita in un ambiente bucolico. Nonostante la varietà iconografica del soggetto, l’idea di fondo rimane invariata: le stagioni portano ai morti i loro doni affinchè possano goderne tutto l’anno per l’eternità. Per quanto riguarda le immagini bucoliche sono ispirate alla vita dei pastori di ovini, ma ovviamente non a quella reale: i committenti di tali sarcofagi non avevano mai vissuto con i pastori, né pensavano di farlo i loro parenti. Le immagini realistiche di contadini, pastori, pescatori, tutte figure di infimo livello sociale, avevano assunto tratti idilliaci sotto l’influsso della poesia ellenistica. Tutte queste visioni di felicità mancano di riferimenti concreti sia temporali che geografici. Qui non vi sono protagonisti e situazioni dialogiche con l’osservatore esterno, attraverso la ritrattistica. I defunti se appaiono sono all’interno di un tondo al centro della cassa. Nei contesti bucolici, che andranno via, via, prendendo sempre più piede nel III secolo, come in quelli filosofici, spariscono del tutto le scene di lutto e di cordoglio. Le immagini dovevano essere un invito a godersi la vita, ma dovevano anche dire qualcosa del defunto. In una visione retrospettiva, forse, si potrebbero intendere come una dichiarazione che il morto, in vita, non si era fatto mancare nulla. Nel caso opposto, poteve invece essere un augurio ad un’esistenza felice nell’aldilà. III capitolo Qui vengono trattati i sarcofagi con l’esaltazione e l’autorappresentazione del defunto e delle sue virtù in contesti demitizzati. Tra i valori ricorrenti, esaltati nei sarcofagi vi è l’amore coniugale espresso dal tema della dextrarum iunctio, simbolo del matrimonio, la cultura, il potere, la saggezza, il coraggio, esplicitato dalle cacce ad animali feroci, il valore guerriero e la giustizia, dati soprattutto dalle scene di battaglia e di giudizio sui vinti. IV capitolo In questo capitolo si è provato a dare una nuova chiave di lettura ai sarcofagi imperiali di S. Elena e di Costantina. Nel primo caso si tratterebbe della vittoria eterna sul male, mentre nel secondo era un augurio di vita felice nell’aldilà in comunione con Dio e la resurrezione nel giorno del giudizio. V capitolo Il capitolo tratta le mediae voces, quei pezzi che non trovano una facile collocazione in ambito religioso poiché presentano temi neutri o ambivalenti, come quelli del buon pastore, di Prometeo, dell’orante. VI capitolo Qui trovano spazio i sarcofagi cristiani, dove sono scolpite varie scene tratte dalle Sacre Scritture. Anche in questo caso si andati al di là della semplice analisi stilistica per cercare di leggere il messaggio contenuto dalle sculture. Si sono scoperte preghiere, speranze e polemiche con le correnti cristiane considerate eretiche o “traditrici” della vera fede, contro la tradizionale interpretazione che voleva le figurazioni essenzialmente didascaliche. VII capitolo Qui vengono esposte le conclusioni da un punto di vista sociologico e psicologico.

Tecniche numeriche di studio della sicurezza stradale: il caso della provincia di Bologna

La tesi dottorale in oggetto prende spunto da alcune considerazioni di base relative alla salute di una comunità. Infatti quest’ultima si fonda sulla sicurezza dell’ambiente in cui vive e sulla qualità delle relazioni tra i suoi componenti. In questo ambito la mobilità rappresenta uno degli elementi di maggior criticità, sia per la sicurezza delle persone, che per la salute pubblica, che per le conseguenze sull’ambiente che ne derivano. Negli ultimi anni la circolazione stradale è notevolmente aumentata è questo ha portato a notevoli aspetti negativi, uno dei quali è connesso agli incidenti stradali. In tale ambito viene ricordato che l’Unione Europea ha da tempo indicato come obiettivo prioritario il miglioramento della sicurezza stradale e nel 2001 ha fissato il traguardo di dimezzare entro il 2010 il numero delle vittime degli incidenti stradali. Non ultima, l’approvazione da parte del Parlamento europeo e del Consiglio di un atto legislativo (d’imminente pubblicazione sulla GU Europea) relativo alla gestione della sicurezza in tutte le fasi della pianificazione, della progettazione e del funzionamento delle infrastrutture stradali, in cui si evidenzia l’esigenza di una quantificazione della sicurezza stradale. In tale contesto viene sottolineato come uno dei maggiori problemi nella gestione della sicurezza stradale sia la mancanza di un metodo affidabile per stimare e quantificare il livello di sicurezza di una strada esistente o in progetto. Partendo da questa considerazione la tesi si sviluppa mettendo in evidenza le grandezza fondamentali nel problema della sicurezza stradale, (grado di esposizione, rischio d’incidente e le possibili conseguenze sui passeggeri) e analizzando i sistemi adottati tradizionalmente per effettuare analisi di sicurezza: • Statistiche dei dati storici d’incidente; • Previsione da modelli basati su analisi di regressione dei dati incidentali; • Studi Before-After; • Valutazione da giudizi di esperti. Dopo aver analizzato gli aspetti positivi e negativi delle alternative in parola, viene proposto un nuovo approccio, che combina gli elementi di ognuno dei metodi sopra citati in un algoritmo di previsione incidentale. Tale nuovo algoritmo, denominato Interactive Highway Safety Design Model (IHSDM) è stato sviluppato dalla Federal Highway Administration in collaborazione con la Turner Fairbank Higway Research Center ed è specifico per le strade extraurbane a due corsie. Il passo successivo nello sviluppo della tesi è quello di un’analisi dettagliata del modello IHSDM che fornisce il numero totale di incidenti previsti in un certo intervallo temporale. Viene analizzata la struttura del modello, i limiti d’applicabilità, le equazioni che ne sono alla base e i coefficienti moltiplicativi relativi ad ogni caratteristica geometrica e funzionale. Inoltre viene presentata un’ampia analisi di sensibilità che permette di definire quale sia l’influenza d’ogni singolo Fattore di Previsione incidentale (Accident Predication Factor) sul risultato finale. Dai temi trattati, emerge chiaramente come la sicurezza è legata a più sistemi tra loro interconnessi e che per utilizzare e migliorare i modelli previsionali è necessario avere a disposizione dati completi, congruenti, aggiornati e facilmente consultabili. Infatti, anche quando sono disponibili elementi su tutti gli incidenti avvenuti, spesso mancano informazioni di dettaglio ma fondamentali, riguardanti la strada come ad esempio il grado di curvatura, la larghezza della carreggiata o l’aderenza della pavimentazione. In tale ottica, nella tesi viene presentato il Sistema Informativo Stradale (SIS) della Provincia di Bologna, concepito come strumento di gestione delle problematiche inerenti la viabilità e come strumento di supporto per la pianificazione degli interventi e la programmazione delle risorse da investire sulla rete. Viene illustrato come il sistema sia in grado di acquisire, elaborare ed associare dati georeferenziati relativi al territorio sia sotto forma di rappresentazioni grafiche, sia mediante informazioni descrittive di tipo anagrafico ed alfanumerico. Quindi viene descritto il rilievo ad alto rendimento, effettuato con l’ausilio di un laboratorio mobile multifunzionale (Mobile Mapping System), grazie al quale è stato possibile definire con precisione il grafo completo delle strade provinciali e il database contenente i dati relativi al patrimonio infrastrutturale. Tali dati, relativi alle caratteristiche plano-altimetriche dell’asse (rettifili, curve planimetriche, livellette, raccordi altimetrici, ecc...), alla sezione trasversale (numero e larghezza corsie, presenza di banchine, ecc..), all’ambiente circostante e alle strutture annesse vengono presentati in forma completa specificando per ognuno la variabilità specifica. Inoltre viene evidenziato come il database si completi con i dati d’incidentali georeferenziati sul grafo e compresivi di tutte le informazioni contenute nel modello ISTAT CTT/INC spiegandone le possibili conseguenze sul campo dell’analisi di sicurezza. La tesi si conclude con l’applicazione del modello IHSDM ad un caso reale, nello specifico la SP255 di S.Matteo Decima. Infatti tale infrastruttura sarà oggetto di un miglioramento strutturale, finanziato dalla Regione Emilia Romagna, che consistente nell’allargamento della sede stradale attraverso la realizzazione di una banchina pavimentata di 1.00m su entrambi i lati della strada dalla prog. km 19+000 al km 21+200. Attraverso l’utilizzo dell’algoritmo di previsione incidentale è stato possibile quantificare gli effetti di questo miglioramento sul livello di sicurezza dell’infrastruttura e verificare l’attendibilità del modello con e senza storia incidentale pregressa. Questa applicazione ad un caso reale mette in evidenza come le informazioni del SIS possano essere sfruttate a pieno per la realizzazione di un analisi di sicurezza attraverso l’algoritmo di previsione incidentale IHSDM sia nella fase di analisi di uno specifico tronco stradale che in quella fondamentale di calibrazione del modello ad una specifica rete stradale (quella della Provincia di Bologna). Inoltre viene sottolineato come la fruibilità e la completezza dei dati a disposizione, possano costituire la base per sviluppi di ricerca futuri, come ad esempio l’indagine sulle correlazioni esistenti tra le variabili indipendenti che agiscono sulla sicurezza stradale.

Letteratura postmoderna e comunicazione pubblicitaria, problemi teorici e analisi testuali

Premise: In the literary works of our anthropological and cultural imagination, the various languages and the different discursive practices are not necessarily quoted, expressly alluded to or declared through clear expressive mechanisms; instead, they rather constitute a substratum, a background, now consolidated, which with irony and intertextuality shines through the thematic and formal elements of each text. The various contaminations, hybridizations and promptings that we find in the expressive forms, the rhetorical procedures and the linguistic and thematic choices of post-modern literary texts are shaped as fluid and familiar categories. Exchanges and passages are no longer only allowed but also inevitable; the post-modern imagination is made up of an agglomeration of discourses that are no longer really separable, built up from texts that blend and quote one another, composing, each with its own specificities, the great family of the cultural products of our social scenario. A literary work, therefore, is not only a whole phenomenon, delimited hic et nunc by a beginning and an ending, but is a fragment of that complex, dense and boundless network that is given by the continual interrelations between human forms of communication and symbolization. The research hypothesis: A vision is delineated of comparative literature as a discipline attentive to the social contexts in which texts take shape and move and to the media-type consistency that literary phenomena inevitably take on. Hence literature is seen as an open systematicity that chooses to be contaminated by other languages and other discursive practices of an imagination that is more than ever polymorphic and irregular. Inside this interpretative framework the aim is to focus the analysis on the relationship that postmodern literature establishes with advertising discourse. On one side post-modern literature is inserted in the world of communication, loudly asserting the blending and reciprocal contamination of literary modes with media ones, absorbing their languages and signification practices, translating them now into thematic nuclei, motifs and sub-motifs and now into formal expedients and new narrative choices; on the other side advertising is chosen as a signification practice of the media universe, which since the 1960s has actively contributed to shaping the dynamics of our socio-cultural scenarios, in terms which are just as important as those of other discursive practices. Advertising has always been a form of communication and symbolization that draws on the collective imagination – myths, actors and values – turning them into specific narrative programs for its own texts. Hence the aim is to interpret and analyze this relationship both from a strictly thematic perspective – and therefore trying to understand what literature speaks about when it speaks about advertising, and seeking advertising quotations in post-modern fiction – and from a formal perspective, with a search for parallels and discordances between the rhetorical procedures, the languages and the verifiable stylistic choices in the texts of the two different signification practices. The analysis method chosen, for the purpose of constructive multiplication of the perspectives, aims to approach the analytical processes of semiotics, applying, when possible, the instruments of the latter, in order to highlight the thematic and formal relationships between literature and advertising. The corpus: The corpus of the literary texts is made up of various novels and, although attention is focused on the post-modern period, there will also be ineludible quotations from essential authors that with their works prompted various reflections: H. De Balzac, Zola, Fitzgerald, Joyce, Calvino, etc… However, the analysis focuses the corpus on three authors: Don DeLillo, Martin Amis and Aldo Nove, and in particular the followings novels: “Americana” (1971) and “Underworld” (1999) by Don DeLillo, “Money” (1984) by Martin Amis and “Woobinda and other stories without a happy ending” (1996) and “Superwoobinda” (1998) by Aldo Nove. The corpus selection is restricted to these novels for two fundamental reasons: 1. assuming parameters of spatio-temporal evaluation, the texts are representative of different socio-cultural contexts and collective imaginations (from the masterly glimpses of American life by DeLillo, to the examples of contemporary Italian life by Nove, down to the English imagination of Amis) and of different historical moments (the 1970s of DeLillo’s Americana, the 1980s of Amis, down to the 1990s of Nove, decades often used as criteria of division of postmodernism into phases); 2. adopting a perspective of strictly thematic analysis, as mentioned in the research hypothesis, the variations and the constants in the novels (thematic nuclei, topoi, images and narrative developments) frequently speak of advertising and inside the narrative plot they affirm various expressions and realizations of it: value ones, thematic ones, textual ones, urban ones, etc… In these novels the themes and the processes of signification of advertising discourse pervade time, space and the relationships that the narrator character builds around him. We are looking at “particle-characters” whose endless facets attest the influence and contamination of advertising in a large part of the narrative developments of the plot: on everyday life, on the processes of acquisition and encoding of the reality, on ideological and cultural baggage, on the relationships and interchanges with the other characters, etc… Often the characters are victims of the implacable consequentiality of the advertising mechanism, since the latter gets the upper hand over the usual processes of communication, which are overwhelmed by it, wittingly or unwittingly (for example: disturbing openings in which the protagonist kills his or her parents on the basis of a spot, former advertisers that live life codifying it through the commercial mechanisms of products, sons and daughters of advertisers that as children instead of playing outside for whole nights saw tapes of spots.) Hence the analysis arises from the text and aims to show how much the developments and the narrative plots of the novels encode, elaborate and recount the myths, the values and the narrative programs of advertising discourse, transforming them into novel components in their own right. And also starting from the text a socio-cultural reference context is delineated, a collective imagination that is different, now geographically, now historically, and from comparison between them the aim is to deduce the constants, the similarities and the variations in the relationship between literature and advertising.

Complessità tecnologica, trasferimento di tecnologia e innovazione

Il presente lavoro ha come obiettivo la definizione e la misura della complessità tecnologica, al fine di costruire strumenti a supporto di tutti gli operatori che si occupano dello sviluppo e della fabbricazione di un prodotto industriale, quali progettisti di prodotto e responsabili di produzione. La ricerca è stata sviluppata attraverso le fasi di seguito descritte. Analisi dello stato dell’arte su definizioni e misure della complessità in ambito industriale attraverso l’individuazione e studio di oltre un centinaio di pubblicazioni al riguardo. Classificazione dei metodi proposti in letteratura per la misura della complessità in cinque categorie e analisi critica dei punti di forza e di debolezza dei differenti metodi, ai fini di orientare la elaborazione di un nuovo metodo. Sono stati inoltre analizzati i principali metodi di Intelligenza Artificiali quali potenziali strumenti di calcolo della complessità. Indagine su tematiche correlate alla complessità quali indicatori, trasferimento tecnologico e innovazione. La complessità viene misurata in termini di un indice che appartiene alla categoria degli indicatori, utilizzati in molti ambiti industriali, in particolare quello della misura delle prestazioni di produzione. In particolare si è approfondito significato e utilizzo dell’OEE (Overall Equipment Effectiveness), particolarmente diffuso nelle piccole medie imprese emilianoromagnole e in generale dalle aziende che utilizzano un sistema produttivo di tipo job-shop. È stato implementato un efficace sistema di calcolo dell’OEE presso una azienda meccanica locale. L’indice di complessità trova una delle sue più interessanti applicazioni nelle operazioni di trasferimento tecnologico. Introdurre un’innovazione significa in genere aumentare la complessità del sistema, quindi i due concetti sono connessi. Sono stati esaminati diversi casi aziendali di trasferimento di tecnologia e di misura delle prestazioni produttive, evidenziando legami e influenza della complessità tecnologica sulle scelte delle imprese. Elaborazione di un nuovo metodo di calcolo di un indice di complessità tecnologica di prodotto, a partire dalla metodologia ibrida basata su modello entropico proposta dai Prof. ElMaraghy e Urbanic nel 2003. L’attenzione è stata focalizzata sulla sostituzione nella formula originale a valori determinati tramite interviste agli operatori e pertanto soggettivi, valori oggettivi. Verifica sperimentale della validità della nuova metodologia attraverso l’applicazione della formula ad alcuni componenti meccanici grazie alla collaborazione di un’azienda meccanica manifatturiera. Considerazioni e conclusioni sui risultati ottenuti, sulla metodologia proposta e sulle applicazioni del nuovo indice, delineando gli obiettivi del proseguo della ricerca. In tutto il lavoro si sono evidenziate connessioni e convergenze delle diverse fonti e individuati in diversi ambiti concetti e teorie che forniscono importanti spunti e considerazioni sul tema della complessità. Particolare attenzione è stata dedicata all’intera bibliografia dei Prof. ElMaraghy al momento riconosciuti a livello internazionale come i più autorevoli studiosi del tema della complessità in ambito industriale.

Percezione della direzione del proprio movimento: dalla registrazione dell'attività corticale al modello computazionale.

The main aim of this thesis is strongly interdisciplinary: it involves and presumes a knowledge on Neurophysiology, to understand the mechanisms that undergo the studied phenomena, a knowledge and experience on Electronics, necessary during the hardware experimental set-up to acquire neuronal data, on Informatics and programming to write the code necessary to control the behaviours of the subjects during experiments and the visual presentation of stimuli. At last, neuronal and statistical models should be well known to help in interpreting data. The project started with an accurate bibliographic research: until now the mechanism of perception of heading (or direction of motion) are still poorly known. The main interest is to understand how the integration of visual information relative to our motion with eye position information happens. To investigate the cortical response to visual stimuli in motion and the integration with eye position, we decided to study an animal model, using Optic Flow expansion and contraction as visual stimuli. In the first chapter of the thesis, the basic aims of the research project are presented, together with the reasons why it’s interesting and important to study perception of motion. Moreover, this chapter describes the methods my research group thought to be more adequate to contribute to scientific community and underlines my personal contribute to the project. The second chapter presents an overview on useful knowledge to follow the main part of the thesis: it starts with a brief introduction on central nervous system, on cortical functions, then it presents more deeply associations areas, which are the main target of our study. Furthermore, it tries to explain why studies on animal models are necessary to understand mechanism at a cellular level, that could not be addressed on any other way. In the second part of the chapter, basics on electrophysiology and cellular communication are presented, together with traditional neuronal data analysis methods. The third chapter is intended to be a helpful resource for future works in the laboratory: it presents the hardware used for experimental sessions, how to control animal behaviour during the experiments by means of C routines and a software, and how to present visual stimuli on a screen. The forth chapter is the main core of the research project and the thesis. In the methods, experimental paradigms, visual stimuli and data analysis are presented. In the results, cellular response of area PEc to visual stimuli in motion combined with different eye positions are shown. In brief, this study led to the identification of different cellular behaviour in relation to focus of expansion (the direction of motion given by the optic flow pattern) and eye position. The originality and importance of the results are pointed out in the conclusions: this is the first study aimed to investigate perception of motion in this particular cortical area. In the last paragraph, a neuronal network model is presented: the aim is simulating cellular pre-saccadic and post-saccadic response of neuron in area PEc, during eye movement tasks. The same data presented in chapter four, are further analysed in chapter fifth. The analysis started from the observation of the neuronal responses during 1s time period in which the visual stimulation was the same. It was clear that cells activities showed oscillations in time, that had been neglected by the previous analysis based on mean firing frequency. Results distinguished two cellular behaviour by their response characteristics: some neurons showed oscillations that changed depending on eye and optic flow position, while others kept the same oscillations characteristics independent of the stimulus. The last chapter discusses the results of the research project, comments the originality and interdisciplinary of the study and proposes some future developments.

Ottimalità dell'ottimalità - Complessità della riduzione su grafi di condivisione

Trent’anni or sono il concetto di ottimalità venne formulato in senso teorico da Lévy, ma solo un decennio dopo Lamping riesce a darne elegante implementazione algoritmica. Realizza un sistema di riduzione su grafi che si scoprirà poi avere interessanti analogie con la logica lineare presentata nello stesso periodo da Girard. Ma l’ottimalità è davvero ottimale? In altre parole, l’implementazione ottimale del λ calcolo realizzata attraverso i grafi di condivisione, è davvero la migliore strategia di riduzione, in termini di complessità? Dopo anni di infondati dubbi e di immeritato oblìo, alla conferenza LICS del 2007, Baillot, Coppola e Dal Lago, danno una prima risposta positiva, seppur parziale. Considerano infatti il caso particolare delle logiche affini elementare e leggera, che possiedono interessanti proprietà a livello di complessità intrinseca e semplificano l’arduo problema. La prima parte di questa tesi presenta, in sintesi, la teoria dell’ottimalità e la sua implementazione condivisa. La seconda parte affronta il tema della sua complessità, a cominciare da una panoramica dei più importanti risultati ad essa legati. La successiva introduzione alle logiche affini, e alle relative caratteristiche, costituisce la necessaria premessa ai due capitoli successivi, che presentano una dimostrazione alternativa ed originale degli ultimi risultati basati appunto su EAL e LAL. Nel primo dei due capitoli viene definito un sistema intermedio fra le reti di prova delle logiche e la riduzione dei grafi, nel secondo sono dimostrate correttezza ed ottimalità dell’implementazione condivisa per mezzo di una simulazione. Lungo la trattazione sono offerti alcuni spunti di riflessione sulla dinamica interna della β riduzione riduzione e sui suoi legami con le reti di prova della logica lineare.

Problemi di diritto e di privacy nell’uso delle nuove tecnologie di rilevamento per immagini in ambito civile.

La presente tesi, pur senza avere pretese di completezza e rimanendo in un ambito di raccolta di informazioni e dati, intende approfondire ed analizzare gli aspetti legati alla normativa vigente ed alle problematiche di diritto e privacy per il rilevamento di immagini in ambito civile, partendo dalla descrizione generale dei più comuni sistemi di rilevamento e attraverso l’analisi di casi di studio e di esempi d’applicazione.