Rex prudens et sapiens. Semantica della regalità negli specula principum d'epoca tardomedievale (secoli XII-XV)

La ricerca di Roberta Frigeni, svolta ad ampio spettro diacronico, è condotta su di una campionatura di specula principum - editi ed inediti - elaborati tra XII e XV secolo, e ne indaga il linguaggio quale referente privilegiato, rilevandone persistenze terminologiche e nuclei sintagmatici ricorrenti, al fine di individuare concetti utili a delineare un lessico politico proprio di questa testualità, in corrispondenza al sorgere dell’entità statale europea nel XIII secolo (con particolare riguardo all’area francese, ai regni di Luigi IX e Filippo il Bello). A partire da un’analisi critica delle tesi di Quentin Skinner circa la ‘ridefinizione paradiastolica’ del sistema delle virtù classiche entro il trattato De principatibus, lo studio innesca un percorso di indagine à rebours che - sondando il linguaggio - rintraccia nella trattatistica delle institutiones regum del XV secolo (Pontano, Patrizi, Carafa, Platina) e degli specula principum medievali (Elinando di Froidmont, Gilberto di Tournai, Vincenzo di Beauvais, Guglielmo Peraldo, Egidio Romano, Guido Vernani) una consonanza di motivi nella sintassi e nell’immaginario preposti ad illustrare le potenzialità semantiche del nome di prudentia, individuata quale unica virtù sopravvissuta alla ‘ridescrizione’ del codice etico operata da Machiavelli. Indagando i progressivi ampliamenti del campo semantico sorto attorno al nome della virtù di prudenza entro la letteratura speculare, la ricerca mostra come il dialettico rapporto con i lessemi di sapientia, astutia, fides ed experientia abbia avuto un ruolo determinante per il sorgere di un’immagine del principe emancipata dalla figura biblica del “rex sapiens”, e per la formazione di un lessico ospitale delle manifestazioni concrete del vivere politico ed economico. I processi di dilatazione e rarefazione del bacino semantico di prudentia sono, infatti, funzionali ad illustrare come il linguaggio della testualità speculare registri l’acquisizione di nuove strumentazioni teoriche grazie al rinnovamento delle fonti a disposizione lungo il secolo XIII, che - sostituendo progressivamente il più recente dossier aristotelico al solo apparato veterotestamentario - permettono di integrare la concezione delle virtù in senso operativo, adattandola alle esigenze politico-economiche dei nuovi contesti istituzionali monarchici.

Modellazione della famiglia di linguaggi SOS

Indagine sulla varietà sintattica presente all'interno dei formalismi di specifica della semantica operazionale strutturale (SOS) di linguaggi di programmazione e calcolo di processi. Rassegna di tool di implementazione con attenzione al grado di copertura linguistica.

Crittoanalisi Logica di DES

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.

L'Azienda USL di Bologna: analisi dell'impatto della fusione delle tre precedenti Aziende sugli assetti organizzativi

L’Azienda USL di Bologna è la più grande della regione ed è una delle più grandi in Italia: serve una popolazione di 836.697 abitanti ed è distribuita su 50 comuni. E’ stata istituita il 1° gennaio 2004 con la Legge della Regione Emilia Romagna n. 21 del 20/10/2003 che ha unificato i Comuni di tre Aziende USL: “Città di Bologna”, “Bologna Sud” e “Bologna Nord” (ad eccezione del Comune di Medicina che dall’Area Nord è entrato a far parte dell’Azienda USL di Imola che ha mantenuto un’autonoma configurazione giuridica). Il territorio dell’Azienda USL di Bologna si estende per 2915,4 Kmq ed è caratterizzato dalla particolare ubicazione geografica dei suoi distretti. Al Distretto prettamente urbano, quale quello di Bologna Città si affiancano nell’Area Nord i Distretti di pianura quali Pianura Est e Pianura Ovest, mentre nell’Area Sud si collocano i Distretti con territorio più collinare, quali quelli di Casalecchio di Reno e San Lazzaro di Savena ed il Distretto di Porretta Terme che si caratterizza per l’alta percentuale di territorio montuoso. L’unificazione di territori diversi per caratteristiche orografiche, demografiche e socioeconomiche, ha comportato una maggiore complessità rispetto al passato in termini di governo delle condizioni di equità. La rimodulazione istituzionale ed organizzativa dell’offerta dei sevizi sanitari ha comportato il gravoso compito di razionalizzarne la distribuzione, tenendo conto delle peculiarità del contesto. Alcuni studi di fattibilità precedenti l’unificazione, avevano rilevato come attraverso la costituzione di un’Azienda USL unica si sarebbero potuti più agevolmente perseguire gli obiettivi collegati alle prospettive di sviluppo e di ulteriore qualificazione del sistema dei servizi delle Aziende USL dell’area bolognese, con benefici per il complessivo servizio sanitario regionale. Le tre Aziende precedentemente operanti nell’area bolognese erano percepite come inadeguate, per dimensioni, a supportare uno sviluppo dei servizi ritenuto indispensabile per la popolazione ma, che, se singolarmente realizzato, avrebbe condotto ad una inutile duplicazione di servizi già presenti. Attraverso l’integrazione delle attività di acquisizione dei fattori produttivi e di gestione dei servizi delle tre Aziende, si sarebbero potute ragionevolmente conseguire economie più consistenti rispetto a quanto in precedenza ottenuto attraverso il coordinamento volontario di tali processi da parte delle tre Direzioni. L’istituzione della nuova Azienda unica, conformemente al Piano sanitario regionale si proponeva di: o accelerare i processi di integrazione e di redistribuzione dell’offerta dei servizi territoriali, tenendo conto della progressiva divaricazione fra i cambiamenti demografici, che segnavano un crescente deflusso dal centro storico verso le periferie, ed i flussi legati alle attività lavorative, che si muovevano in senso contrario; o riorganizzare i servizi sanitari in una logica di rete e di sistema, condizione necessaria per assicurare l’equità di accesso ai servizi e alle cure, in stretta interlocuzione con gli Enti Locali titolari dei servizi sociali; o favorire il raggiungimento dell’equilibrio finanziario dell’Azienda e contribuire in modo significativo alla sostenibilità finanziaria dell’intero sistema sanitario regionale. L’entità delle risorse impegnate nell’Area bolognese e le dimensioni del bilancio della nuova Azienda unificata offrivano la possibilità di realizzare economie di scala e di scopo, attraverso la concentrazione e/o la creazione di sinergie fra funzioni e attività, sia in ambito ospedaliero, sia territoriale, con un chiaro effetto sull’equilibrio del bilancio dell’intero Servizio sanitario regionale. A cinque anni dalla sua costituzione, l’Azienda USL di Bologna, ha completato una significativa fase del complessivo processo riorganizzativo superando le principali difficoltà dovute alla fusione di tre Aziende diverse, non solo per collocazione geografica e sistemi di gestione, ma anche per la cultura dei propri componenti. La tesi affronta il tema dell’analisi dell’impatto della fusione sugli assetti organizzativi aziendali attraverso uno sviluppo così articolato: o la sistematizzazione delle principali teorie e modelli organizzativi con particolare attenzione alla loro contestualizzazione nella realtà delle organizzazioni professionali di tipo sanitario; o l’analisi principali aspetti della complessità del sistema tecnico, sociale, culturale e valoriale delle organizzazioni sanitarie; o l’esame dello sviluppo organizzativo dell’Azienda USL di Bologna attraverso la lettura combinata dell’Atto e del Regolamento Organizzativo Aziendali esaminati alla luce della normativa vigente, con particolare attenzione all’articolazione distrettuale e all’organizzazione Dipartimentale per cogliere gli aspetti di specificità che hanno caratterizzano il disegno organizzativo globalmente declinato. o l’esposizione degli esiti di un questionario progettato, in accordo con la Direzione Sanitaria Aziendale, allo scopo di raccogliere significativi elementi per valutare l’impatto della riorganizzazione dipartimentale rispetto ai tre ruoli designati in “staff “alle Direzioni degli otto Dipartimenti Ospedalieri dell’AUSL di Bologna, a tre anni dalla loro formale istituzione. La raccolta dei dati è stata attuata tramite la somministrazione diretta, ai soggetti indagati, di un questionario costituito da numerosi quesiti a risposta chiusa, integrati da domande aperte finalizzate all’approfondimento delle dimensioni di ruolo che più frequentemente possono presentare aspetti di criticità. Il progetto ha previsto la rielaborazione aggregata dei dati e la diffusione degli esiti della ricerca: alla Direzione Sanitaria Aziendale, alle Direzioni Dipartimentali ospedaliere ed a tutti i soggetti coinvolti nell’indagine stessa per poi riesaminare in una discussione allargata i temi di maggiore interesse e le criticità emersi. Gli esiti sono esposti in una serie di tabelle con i principali indicatori e vengono adeguatamente illustrati.

Una semantica distribuita per il Multi-CCS utilizzando reti di Petri

Questa tesi descrive e approfondisce l'algebra di processo Multi-CCS, le fornisce una semantica basata sulle reti di Petri non limitate - a correzione e miglioramento della precedente - e una dimostrazione dettagliata della sua correttezza, ovvero della bisimilitudine tra la marcatura ottenuta dalla uova semantica e da un generico processo Multi-CCS e lo stesso processo nella semantica di default definita sugli LTS

Ripartire dall'esistente Riqualificazione di un quartiere di edilizia residenziale pubblica a Faenza

L’intenzione che ha mosso la ricerca è stata quella di ridare valore alla casa pubblica, perché è un’opportunità per la popolazione, soprattutto per le fasce sociali più deboli e perché non può non essere espressione di qualità architettonica, urbanistica e sociale. A ciò si aggiunge la scelta di un modo di operare sostenibile, dove alle nuove costruzioni si predilige l’idea del recupero. Ecco da dove nasce l’idea di ripartire dall’esistente, scegliendo un’area del sistema urbano di proprietà pubblica, per definire, in una prospettiva di miglioramento, un sistema di strategie di intervento e un progetto di riqualificazione. Capire come agire su un’area di questo tipo, ha stimolato ad una lettura degli interventi statali sul tema dell’edilizia pubblica attraverso le azioni in campo legislativo. La ricerca ha preso poi avvio da una lettura dell’evoluzione del quadro normativo nazionale in materia, per poi concentrarsi sul contesto locale con il racconto dei fatti storici della città di Faenza fino ai giorni nostri attraverso le sue vicende urbanistiche. Una considerazione sulla legislazione passata dà la possibilità di vedere come lo Stato abbia nel tempo prestato attenzione e risposto in maniera diversa al problema della casa. In ogni periodo le iniziative dell’Amministrazione in merito alla programmazione, si mostrano come risultati di una risposta sociale e culturale, rilanciando poi, a seconda del momento, varie tematiche, ieri la carenza degli alloggi, oggi il tema della qualità urbana, del recupero e la necessità di contenere i costi e i consumi energetici. Lo studio si è quindi spostato e concentrato sulle tappe ed i risvolti della programmazione a livello locale, cercando di comprendere, anche sulle carte, il risultato di queste azioni amministrative, si legge come il susseguirsi delle diverse politiche urbanistiche abbia lasciato tracce e segni nel disegno della città. Nel loro esito formale gli interventi hanno assunto un valore nella vicenda della città poiché ne hanno determinato l’espansione in un certo modo. Dopo un lavoro di ricerca di documenti, consultando anche diversi archivi, gli interventi in materia di edilizia residenziale pubblica presenti a Faenza sono stati schedati al fine di creare un repertorio di informazioni riguardanti la localizzazione, la data di costruzione e informazioni riguardanti il tipo di intervento a livello normativo, in questo modo si è potuto inquadrare ciascun quartiere in una determinata stagione di politiche abitative. Queste informazioni sono state poi tradotte in schemi che comprendono tutto il territorio della città fino ad ottenere una visione d’insieme e cogliere le relazioni che i singoli interventi intrattengono con il resto della città. Si esplorano poi le relazioni in base alle stagioni delle politiche abitative e in base ai soggetti che ne hanno promosso la costruzione. La ricerca si propone quindi di riflettere sugli strumenti con cui agire nei casi di degrado, assecondando la logica del recupero e del riuso. Il processo per definire il "come" intervenire ha portato alla creazione di un abaco di possibili strategie di riqualificazione suddivise per grandi tematiche (connessione e mobilità, mixitè funzionale e verde, risparmio energetico, nuovi modi dell’abitare e relazioni e identità). Ogni tematica viene poi declinata in sottotemi che descrivono le operazioni possibili per la rigenerazione, correlati da una definizione e da piccoli progetti applicativi. Ciascun progetto schematizzato è pensato su un’area di edilizia residenziale pubblica di Faenza. Le strategie vengono poi effettivamente applicate ad un caso studio: il PEEP Orto Paganella. Il progetto di riqualificazione si struttura in due parti. Una riguarda l’impianto del quartiere, inserendo un nuovo volume destinato a servizi, l’altra si concentra su un edificio esistente per un progetto di recupero allo scopo di ridare valore al manufatto, riscattarne l’immagine e creare un’offerta abitativa adeguata, che assicuri abitazioni in affitto e tipi di alloggi destinati a nuovi soggetti della popolazione, con le loro specifiche esigenze. Il progetto di riqualificazione si sviluppa a partire dall’orientamento dell’edificio e dei suoi affacci. Viene sviluppato il tema dell’involucro, che circonda l’edificio e si declina sui diversi fronti in modo diverso. La proposta della facciata verso sud, trasparente e aperta sul parco pubblico ritrova la giusta considerazione per l’orientamento, sfruttandone le potenzialità e aprendosi alla vista del parco, mentre il fronte a nord rimane chiuso e protetto. Creando nuovi spazi e nuovi affacci e restituendo una nuova immagine dell’edificio si cerca di stimolare una riappropriazione del senso di appartenenza al quartiere.

Interfaccia web per un sistema di condivisione semantica dell'informazione: studio e implementazione

Questa tesi progettuale nasce per integrare gli sforzi attuali sullo sviluppo del web semantico. La piattaforma di riferimento sulla quale è stato svolto il presente lavoro è SMART-M3. Questa piattaforma mette a disposizione uno spazio condiviso di informazioni, rappresentate e accessibili secondo le tecnologie del web semantico. In questo scenario, nasce la necessità di disporre di un'interfaccia web capace di interagire con la piattaforma - in grado di risolvere la complessità intrinseca dei dati semantici - allo scopo di averne un completo controllo; ricerche precedenti a questo proposito hanno dato come frutto una libreria PHP che mi è stata consegnata come strumento per lo sviluppo dell'interfaccia. La tesi si è articolata in 3 fasi principali: una fase iniziale di documentazione sull'argomento, eseguita principalmente sul libro “A developer's guide to the semantic web” di Liyang Yu e sulla tesi “Ontologie per il web semantico: un'analisi comparativa.” di Indrit Beqiri; una seconda fase, quella principale, di sviluppo del progetto informatico; una terza fase, infine, di sviluppo di questo elaborato di tesi, da considerarsi come la trattazione di tutto il percorso soprascritto, dall'inizio alla fine, secondo l'ordine cronologico in cui si svolto l'intero processo della tesi.