Sistema nervoso enterico e scrapie sperimentale in ovini di razza sarda con diversa suscettibilità genetica nei confronti della malattia

Sebbene il sistema nervoso enterico (“enteric nervous system”, ENS) svolga un ruolo cruciale nella patogenesi della Scrapie ovina, non esistono tuttavia in letteratura dati sulle popolazioni cellulari progressivamente coinvolte nel corso dell’infezione, né sugli eventuali danni morfo-funzionali da esse subiti. Il presente studio è stato condotto sui plessi mienterici e sottomucosi dell’ileo di 46 pecore di razza Sarda, recanti diversi polimorfismi del gene Prnp (ARQ/ARQ, ARQ/AHQ, ARQ/ARR, ARR/ARR). I suddetti animali, infettati per os all’età di 8 mesi con un ceppo di Scrapie precedentemente caratterizzato nel topo, sono stati sacrificati mediante eutanasia a determinati intervalli di tempo post-infezione (p.i.). E’ stata quindi valutata, tramite immunoistochimica ed immunofluorescenza indiretta su sezioni tissutali e su preparati “wholemount”, l’immunoreattività (IR) nei confronti della PrPSc, del “marker” panneuronale Hu C/D, dell’ossido-nitrico sintetasi (nNOS), della calbindina (CALB) e della proteina fibrillare acida gliale (GFAP). In 8 pecore con genotipo ARQ/ARQ, clinicamente sane e sacrificate a 12-24 mesi p.i., nonché in 5 ovini clinicamente affetti (2 con genotipo ARQ/ARQ, 3 con genotipo ARQ/AHQ), questi ultimi sacrificati rispettivamente a 24, 36 e 40 mesi p.i., le indagini immunoistochimiche hanno consentito di dimostrare la presenza di PrPSc a livello sia dell’encefalo (obex), sia dell’ENS, in particolar modo nei plessi mienterici. In tali distretti il deposito della PrPSc risultava pienamente compatibile con un interessamento delle cellule enterogliali (“enteroglial cells”, EGCs), mentre occasionalmente si notava un contestuale coinvolgimento della componente neuronale ivi residente. In conclusione, i dati della presente indagine consentono di ipotizzare un verosimile coinvolgimento delle EGCs e dei neuroni residenti a livello dei plessi dell’ENS nella patogenesi della Scrapie sperimentale realizzata per os in ovini di razza Sarda.

Digital Video Broadcasting: Introduction

Versione preliminare per la lezione del 28/02/2008

Gli effetti della terapia di resincronizzazione cardiaca in pazienti con fibrillazione atriale permanente sulla sopravvivenza a lungo-termine: l'importanza dell'ablazione del nodo atrio-ventricolare

La terapia di resincronizzazione cardiaca (TRC) è un presidio non farmacologico che riduce la mortalità e la morbosità nei pazienti con scompenso refrattario alla terapia medica. La maggior parte dei dati riguardanti gli effetti della TRC coinvolgono i pazienti con le indicazioni consolidate seguenti: classe NYHA III-IV, ritardo della conduzione ventricolare (QRS>opp= 20 msec), disfunzione sistolica ventricolare sinistra (frazione di eiezione ventricolare sinistra >opp= 35%) e ritmo sinusale (RS). Mentre è noto che la fibrillazione atriale permanente (FA) sia presente in una porzione consistente dei pazienti con scompenso cardiaco, vi sono pochi dati riguardanti la sopravvivenza e gli effetti a lungo-termine della TRC in pazienti con scompenso cardiaco e fibrillazione atriale (FA); la maggior parte degli studi sono osservazionali ed hanno dimostrato che la TRC potrebbe conferire dei benefici a corto e medio termine anche in pazienti con FA permanente. Solo recentemente un ampio studio osservazionale ha descritto che, a lungo-termine, la TRC migliora significativamente la capacità funzionale, la frazione di eiezione e induce il rimodellamento inverso del ventricolo sinistro solamente in quei pazienti con FA dove la TRC viene combinata con l’ablazione del nodo atrio-ventricolare (NAV). La strategia ablativa del NAV infatti conferendo una stimolazione completa e costante, permette di eliminare gli effetti del ritmo spontaneo di FA (ritmo irregolare e tendenzialmente tachicardico) cheinterferisce in maniera importante con la stimolazione biventricolare in particolare durante gli sforzi fisici. Sulla base di queste premesse il presente studio si propone di valutare gli effetti a lungo-termine della TRC su pazienti con scompenso cardiaco e FA permanente focalizzando su due aspetti principali: 1) confrontando la sopravvivenza di pazienti con FA permanente rispetto ai pazienti in RS; 2) confrontando la sopravvivenza di pazienti in FA suddivisi secondo la modalità di controllo della frequenza con somministrazione di farmaci antiaritmici (gruppo FA-farm) oppure mediante controllo ablazione del NAV (gruppo FA-abl). Metodi e risultati: Sono presentati i dati di 1303 pazienti sottoposti consecutivamente ad impianto di dispositivo per la TRC e seguiti per un periodo mediano di 24 mesi. Diciotto pazienti sono stati persi durante il follow-up per cui la popolazione dello studio è rappresentata da una popolazione totale di 1295 pazienti di cui 1042 in RS e 243 (19%) in FA permanente. Nei pazienti con FA il controllo della frequenza cardiaca è stato effettuato mediante la somministrazione di farmaci anti-aritmici (gruppo FA-farm: 125 pazienti) oppure mediante ablazione del NAV (FA-abl: 118 pazienti). Rispetto ai pazienti in RS, i pazienti in FA permanente erano significativamente più vecchi, più spesso presentavano eziologia nonischemica, avevano una frazione di eiezione più elevata al preimpianto, una durata del QRS minore e erano più raramente trattati con un defibrillatore. Lungo un follow-up mediano di 24 mesi, 170/1042 pazienti in RS e 39/243 in FA sono deceduti (l’incidenza di mortalità a 1 anno era di 8,4% e 8,9%, rispettivamente). I rapporti di rischio derivanti dall’analisi multivariata con il 95% dell’intervallo di confidenza (HR, 95% CI) erano simili sia per la morte per tutte le cause che per la morte cardiaca (0.9 [0.57-1.42], p=0.64 e 1.00 [0.60-1.66] p=0.99, rispettivamente). Fra i pazienti con FA, il gruppo FA-abl presentava una durata media del QRS minore ed era meno frequentemente trattato con il defibrillatore impiantabile rispetto al gruppo FA-farm. Soli 11/118 pazienti del FA-abl sono deceduti rispetto a 28/125 nel gruppo FA-farm (mortalità cumulativa a 1 anno di 9,3% e 15,2% rispettivamente, p<0.001), con HR, 95% CI per FA-abl vs FA-farm di 0.15 [0.05-0.43],,p<0.001 per la mortalità per tutte le cause, di 0.18 [0.06-0.57], p=0.004 per la mortalità cardiaca, e di 0.09 [0.02-0.42], p<0.002 per la mortalità da scompenso cardiaco. Conclusioni: I pazienti con scompenso cardiaco e FA permanente trattati con la TRC presentano una simile sopravvivenza a lungo-termine di pazienti in RS. Nei pazienti in FA l’ablazione del NAV in aggiunta alla TRC migliora significativamente la sopravvivenza rispetto alla sola TRC; questo effetto è ottenuto primariamente attraverso una riduzione della morte per scompenso cardiaco.

Il nucleotide extracellulare UTP: induzione della migrazione di cellule staminali emopoietiche CD34+

La letteratura scientifica degli ultimi anni si è arricchita di un numero sempre crescente di studi volti a chiarire i meccanismi che presiedono ai processi di homing di cellule staminali emopoietiche e del loro attecchimento a lungo termine nel midollo osseo. Tali fenomeni sembrano coinvolgere da un lato, l’interazione delle cellule staminali emopoietiche con la complessa architettura e componente cellulare midollare, e dall’altro la riposta ad un’ampia gamma di molecole regolatrici, tra le quali chemochine, citochine, molecole di adesione, enzimi proteolitici e mediatori non peptidici. Fanno parte di quest’ultimo gruppo anche i nucleotidi extracellulari, un gruppo di molecole-segnale recentemente caratterizzate come mediatori di numerose risposte biologiche, tra le quali l’allestimento di fenomeni flogistici e chemiotattici. Nel presente studio è stata investigata la capacità dei nucleotidi extracellulari ATP ed UTP di promuovere, in associazione alla chemochina CXCL12, la migrazione di cellule staminali umane CD34+. E’ così emerso che la stimolazione con UTP è in grado di incrementare significativamente la migrazione dei progenitori emopoietici in risposta al gradiente chemioattrattivo di CXCL12, nonché la loro capacità adesiva. Le analisi citofluorimetriche condotte su cellule migranti sembrano inoltre suggerire che l’UTP agisca interferendo con le dinamiche di internalizzazione del recettore CXCR4, rendendo così le cellule CD34+ maggiormente responsive, e per tempi più lunghi, al gradiente attrattivo del CXCL12. Saggi di homing competitivo in vivo hanno parallelamente mostrato, in topi NOD/SCID, che la stimolazione con UTP aumenta significativamente la capacità dei progenitori emopoeitci umani di localizzarsi a livello midollare. Sono state inoltre indagate alcune possibili vie di trasduzione del segnale attivate dalla stimolazione di recettori P2Y con UTP. Esperimenti di inibizione in presenza della tossina della Pertosse hanno evidenziato il coinvolgimento di proteine Gαi nella migrazione dipendente da CXCL12 ed UTP. Ulteriori indicazioni sono provenute dall’analisi del profilo trascrizionale di cellule staminali CD34+ stimolate con UTP, con CXCL12 o con entrambi i fattori contemporaneamente. Da questa analisi è emerso il ruolo di proteine della famiglia delle Rho GTPasi e di loro effettori a valle (ROCK 1 e ROCK 2) nel promuovere la migrazione UTP-dipendente. Questi dati sono stati confermati successivamente in vitro mediante esperimenti con Tossina B di C. Difficile (un inibitore delle Rho GTPasi) e con Y27632 (in grado di inibire specificatamente le cinasi ROCK). Nel complesso, i dati emersi in questo studio dimostrano la capacità del nucleotide extracellulare UTP di modulare la migrazione in vitro di progenitori emopoietici umani, nonché il loro homing midollare in vivo. L’effetto dell’UTP su questi fenomeni si esplica in concerto con la chemochina CXCL12, attraverso l’attivazione concertata di vie di trasduzione del segnale almeno parzialmente condivise da CXCR4 e recettori P2Y e attraverso il reclutamento comune di proteine ad attività GTPasica, tra le quali le proteine Gαi e i membri della famiglia delle Rho GTPasi.

Indagine sul coinvolgimento del sistema neuropeptidergico nocicettina/recettore NOP a carico della trasmissione nocicettiva

Oggetto di studio in questa tesi è stato il ruolo modulatorio svolto dal neuropeptide nocicettina/orfanina FQ a carico della trasmissione nocicettiva. A scopo introduttivo, sono state illustrate le conoscenze attuali sul sistema nocicettina-NOP; sono state descritte le funzioni, la struttura e la distribuzione del recettore NOP, le azioni farmacologiche finora note e la distribuzione della nocicettina stessa al livello del S.N.C. e in periferia. Lo studio è stato condotto principalmente con due approcci differenti A) E’ stata studiata la capacità della nocicettina esogena o di suoi analoghi agonisti e antagonisti, di modificare la trasmissione nocicettiva. B) Sono state studiate le variazioni a carico del sistema endogeno nocicettina/recettore NOP in seguito a trattamenti di tipo farmacologico. A) E’ stata indagata la capacità della nocicettina e degli analoghi sintetici [Arg14, Lys15]N/OFQ e UFP-101 di modificare la soglia nocicettiva nel ratto, rilevata con il test del tail-flick, a seguito di somministrazione diretta nello spazio subaracnoideo, in confronto con la nocicettina stessa. La somministrazione intratecale del neuropeptide nocicettina (10 nmol/ratto) ha determinato un innalzamento statisticamente significativo delle latenze di risposta al test del tail-flick. L’analogo [Arg14, Lys15]N/OFQ è stato somministrato alla dose di 1 nmole/ratto i.t. provocando un innalzamento massimale delle soglie di latenza per tutto il periodo di osservazione, mentre alla dose 0,2 nmoli/ratto i.t ha provocato un effetto antinocicettivo sottomassimale pur dimostrandosi significativo rispetto ai controlli (p < 0,05 vs controlli a tutti i tempi di rilevazione). Il composto antagonista UFP-101 è risultato capace di antagonizzare l’azione sulla soglia analgesica sia della nocicettina sia dell’analogo [Arg14, Lys15]N/OFQ nel suo dosaggio minore, mentre contro la dose di 1 nmole/ratto i.t ha prodotto solamente una riduzione di effetto. Anche la somministrazione intratecale di MAP-N/OFQ si è dimostrata in grado di modificare la soglia nocicettiva determinata mediante il test del tail-flick, nel ratto, in modo dose dipendente. differentementeuna seconda somministrazione di MAP-N/OFQ dopo 24 ore, si è dimostrata totalmente inefficace nel modificare la soglia nocicettiva nei ratti precedentemente trattati, pur permanendo la loro suscettibilità all’azione analgesica della morfina, mostrando quindi il rapido sviluppo di tolerance al potente peptide nocicettinergico somministrato per via i.t.. Inoltre l’antagonista UFP-101 oltre ad essere ingrado di antagonizzare l’effetto della MAP-N/OFQ, ha mostrato la capacità di ridurre la tolerance sviluppata nei confronti del dendrimero. La somministrazione di MAP-N/OFQ per via i.c.v. ha prodotto variazione della soglia nocicettiva, producendo un innalzamento del volore soglia, dato contrastante con la maggior parte dei dati riguardanti la nocicettina in letteratura. Ha invece replicato l’effetto di antagonismo funzionale nei confronti della morfina, la quale dopo somministrazione di MAP-N/OFQ è risultata essere incapace di modificare la soglia nocicettiva nel ratto. Tale effetto perdura dopo 24 ore, quando una somministrazione di morfina produce un effetto analgesico inversamente proporzionale alla dose ricevuta di MAP-N/OFQ 24 ore prima. E’stato indagato il possibile ruolo neuromodulatorio del neuropeptide nocicettina esogeno, nell’analgesia prodotta da un farmaco di natura non oppiacea. In tal senso si è proceduto ad indagare l’eventuale capacità della nocicettina esogena, somministrata per via intracerebroventricolare e del suo analogo [Arg14, Lys15]N/OFQ, di antagonizzare l’analgesia prodotta dal farmaco paracetamolo. La nocicettina ha evidenziato la capacità di antagonizzare il potere antinocicettivo del paracetamolo fino a bloccarne completamente l’effetto al dosaggio più elevato, mostrando quindi proprietà antagonista dose-dipendente. Inoltre l’UFP-101, che di per se non altera l’analgesia indotta da paracetamolo, è ingrado di antagonizzare l’effetto della nocicettina sul paracetamolo in maniera dose-dipendente. Medesimo è risultato il comportamento dell’analogo della nocicettina, la Arg-Lys nocicettina. B) Sono state indagate le relazioni tra il sistema nocicettina/NOP e le proprietà farmacologiche di un noto farmaco oppiaceo quale la buprenorfina, le cui peculiari caratteristiche farmacodinamiche sano state recentemente collegate alla sua capacità di agire come agonista diretto al recettore NOP. In tal senso si è proceduto ad osservare l’effetto della somministrazione di buprenorfina sull’ assetto recettoriale di NOP, inseguito ad un trattamento prolungato con somministrazione sottocutanea mediante minipompe osmotiche nel ratto, rilevando successivamente, tramite uno studio di binding, le variazioni della densità recettoriale di NOP in alcune aree di interesse per la trasmissione nocicettiva. Sia nell’ippocampo che nel talamo e nella frontal cortex, la somministrazione prolungata di buprenorfina ha causato una riduzione significativa della densità recettoriale di NOP. Come ultimo aspetto indagato, al fine di determinare la presenza del neuropeptide nel liquido cerebrospinale e le sue eventuali modificazioni a seguito di manipolazioni farmacologiche e non farmacologiche, è stata messa a punto una metodica di perfusione dello spazio subaracnoideo nel ratto, che consentisse di ottenere materiale biologico su cui compiere la ricerca e quantificazione della presenza di nocicettina mediante dosaggio radioimmunologico. La perfusione di CSF artificiale arricchito di ione potassio ad una concentrazione pari a 60 mM ha evidenziato la possibilità di stimolare la liberazione della nocicettina nel liquido cerebrospinale di ratto, suggerendo quindi una sua provenienza da elementi eccitabili. E’ stato quindi possibile osservare l’andamento dei livelli di peptide a seguito della stimolazione nocicettiva prodotta da due agenti irritanti con caratteristiche differenti, la carragenina e la formalina. La somministrazione sottocutanea di carragenina (100 µl al 3 %) nella regione subplantare di entrambe le zampe posteriori del ratto non ha determinato alterazioni significative dei livelli di neuropeptide. Invece, la somministrazione di formalina (50 µl al 5 %), dopo un iniziale periodo di 30 minuti, ha causato un incremento significativo della liberazione di N/OFQ a partire dal terzo intervallo di raccolta seguente la somministrazione della sostanza. Questo rispecchia l’andamento di risposta al formalin test ottenuto anche mediante test di natura differente dagli analgesimetrici (es. comportamentale, elettrofisiologico), in quest’ottica l’aumento di nocicettina può essere interpretato come un evento dovuto alla sensibilizzazione centrale all’effetto pronocicettivo.

Materiale Laboratorio III

File di dati usati durante l'eserciatazione di laboratorio di lunedì 3 marzo 2008

Linguaggio e numero: traiettorie evolutive e relazioni tra competenze in bambini con sviluppo tipico e a rischio

Linguaggio e numero rappresentano due aspetti centrali nella storia del genere umano, dal momento che competenze precoci sono già descritte a partire dalla preistoria, accompagnano l’uomo durante la sua esistenza e non sono condivise pienamente da altre specie. I neonati mostrano già delle predisposizioni per gli stimoli linguistici e numerici, queste abilità si sviluppano precocemente nei primi anni di vita e accompagnano il bambino durante l’iter scolastico e l’adulto nella vita di tutti i giorni. Linguaggio e numero condividono, quindi, molte caratteristiche e lo studio di tali competenze e delle loro relazioni aggiunge importanti riflessioni alle teorie dello sviluppo. Inoltre lo studio di questi aspetti in popolazioni con sviluppo tipico, atipico e a rischio permette una migliore comprensione della complessità dinamica dello sviluppo all’interno di una prospettiva neurocostruttivista interessata ai processi sottostanti e non agli esiti finali. La tesi analizza la letteratura sulle competenze linguistiche (orali: cap. 1; scritte: cap. 2; relazioni: cap. 3), numeriche (sistema numerico approssimativo: cap. 4; sistema numerico esatto: cap. 5; relazioni: cap. 6) e sulle loro relazioni (cap. 7), descrivendo le ricerche che si sono occupate delle popolazioni con sviluppo tipico, atipico e a rischio. In ogni singolo capitolo sono confrontate le competenze linguistiche e numeriche e le loro reciproche relazioni in bambini con sviluppo tipico (nati a termine) e bambini nati pretermine sani, caratterizzati da un’elevata immaturità neonatale. I dati sono stati raccolti alla fine della scuola dell’infanzia e dopo due anni di scolarizzazione per comprendere le traiettorie evolutive in due momenti rilevanti di transizione. I risultati emersi hanno aggiunto nuove considerazioni interessanti per i bambini con sviluppo tipico, soprattutto rispetto alle relazioni tra linguaggio e numero che rappresentano un campo non ancora esplorato. I dati emersi con i nati pretermine hanno mostrato che questi bambini non presentano un ritardo cognitivo generalizzato, ma difficoltà specifiche e relazioni diverse da quelle descritte nello sviluppo tipico, indicando la presenza di una traiettoria che possiamo definire atipica. I risultati ottenuti aggiungono importanti considerazioni teoriche rispetto alle relazioni tra competenze innate ed apprese e tra fasi di acquisizione e di consolidamento delle abilità. Al tempo stesso emergono importanti indicazioni cliniche per la programmazione di interventi specifici per il recupero delle competenze maggiormente compromesse nei nati pretermine.

McMaster Model of Family Functioning: adattamento alla realtà italiana, implicazioni cliniche e di ricerca

Il presente lavoro comincia con una descrizione dettagliata del “McMaster Model of Family Functionig” (MMFF), modello che al suo interno integra una teoria multidimensionale sul funzionamento familiare, diversi strumenti di auto ed etero valutazione e chiare indicazioni terapeutiche racchiuse all’interno della “Problem Centered System Therapy of the Family” (PCSTF). Grazie alla sua completezza il Modello fornisce ai clinici metodi coerenti, pratici ed empiricamente validi per valutare e trattare le famiglie, essi inoltre, sono stati formulati in modo da essere adattabili a differenti setting clinici e di ricerca, applicabili ad un’ampia gamma di problematiche e verificabili empiricamente. Obiettivo finale della presente ricerca è stato quello di porre le basi per l’esportazione del MMFF in Italia e poter quindi procedere alla sua applicazione in ambito clinico. La ricerca è cominciata alla Brown University con la traduzione dall’inglese all’italiano del Family Assessment Device (FAD), uno degli strumenti di autovalutazione compresi nel MMFF, ed è in seguito continuata con la validazione del suddetto strumento in un campione di 317 soggetti appartenenti alla popolazione generale italiana. Il FAD si è dimostrato uno strumento valido ed affidabile, in grado quindi di fornire valutazioni stabili e coerenti anche nella sua versione italiana. Il passo successivo è stato caratterizzato dalla somministrazione di FAD, Symptom Questionnaire (SQ) e delle Psychological Well-Being scales (PWB) a 289 soggetti reclutati nella popolazione generale. In accordo con il modello bipsicosociale che vede l’ambiente familiare come il più immediato gruppo di influenza psicosociale dello stato di benessere o malessere dell’individuo, i nostri dati confermano una stretta relazione tra scarso funzionamento familiare, spesso espresso attraverso difficoltà di comunicazione, di problem solving e scarso coinvolgimento affettivo e distress psicologico esperito con sintomi depressivi, ansiogeni ed ostilità. I nostri dati sottoliano inoltre come un funzionamento familiare positivo sia altamente correlato ad elevati livelli di benessere psicologico. Obiettivo della parte finale del lavoro ed anche il più importante, è stato quello di esplorare l’efficacia della Problem Centered Systems Therapy of the Family nella gestione della perdita di efficacia degli antidepressivi nel trattamento della depressione ricorrente. 20 soggetti con diagnosi di depressione maggiore ricorrente secondo il DSM-IV sono stati randomizzati a due diverse condizioni di trattamento: 1) aumento del dosaggio dell’antidepressivo e clinical management, oppure 2) mantenimento dello stesso dosaggio di antidepressivo e PCSTF. I dati di questo studio mettono in evidenza come, nel breve termine, PCSTF e farmacoterapia sono ugualmente efficaci nel ridurre la sintomatologia depressiva. Diversamente, ad un follow-up di 12 mesi, la PCSTF si è dimostrata altamente superiore all’aumento del farmaco ner prevenire le ricadute. Nel gruppo sottoposto all’aumento del farmaco infatti ben 6 soggetti su 7 ricadono entro l’anno. Nel gruppo assegnato a terapia familiare invece solo 1 soggetto su 7 ricade. Questi risultati sono in linea con i dati della letteratura che sottolineano l’elevata probabilità di una seconda ricaduta dopo l’aumento dell’antidepressivo all’interno di una farmacoterapia di mantenimento e suggeriscono l’efficacia dell’utilizzo di strategie psicoterapiche nella prevenzione della ricaduta in pazienti con depressione ricorrente.

Dall'automazione alla telematica

Lucidi per i quiz

Analisi di immagini aerofotogrammetriche e telerilevate per la caratterizzazione qualitativa e quantitativa di ecosistemi forestali e della loro evoluzione

L’obiettivo della tesi riguarda l’utilizzo di immagini aerofotogrammetriche e telerilevate per la caratterizzazione qualitativa e quantitativa di ecosistemi forestali e della loro evoluzione. Le tematiche affrontate hanno riguardato, da una parte, l’aspetto fotogrammetrico, mediante recupero, digitalizzazione ed elaborazione di immagini aeree storiche di varie epoche, e, dall’altra, l’aspetto legato all’uso del telerilevamento per la classificazione delle coperture al suolo. Nel capitolo 1 viene fatta una breve introduzione sullo sviluppo delle nuove tecnologie di rilievo con un approfondimento delle applicazioni forestali; nel secondo capitolo è affrontata la tematica legata all’acquisizione dei dati telerilevati e fotogrammetrici con una breve descrizione delle caratteristiche e grandezze principali; il terzo capitolo tratta i processi di elaborazione e classificazione delle immagini per l’estrazione delle informazioni significative. Nei tre capitoli seguenti vengono mostrati tre casi di applicazioni di fotogrammetria e telerilevamento nello studio di ecosistemi forestali. Il primo caso (capitolo 4) riguarda l’area del gruppo montuoso del Prado- Cusna, sui cui è stata compiuta un’analisi multitemporale dell’evoluzione del limite altitudinale degli alberi nell’arco degli ultimi cinquant’anni. E’ stata affrontata ed analizzata la procedura per il recupero delle prese aeree storiche, definibile mediante una serie di successive operazioni, a partire dalla digitalizzazione dei fotogrammi, continuando con la determinazione di punti di controllo noti a terra per l’orientamento delle immagini, per finire con l’ortorettifica e mosaicatura delle stesse, con l’ausilio di un Modello Digitale del Terreno (DTM). Tutto ciò ha permesso il confronto di tali dati con immagini digitali più recenti al fine di individuare eventuali cambiamenti avvenuti nell’arco di tempo intercorso. Nel secondo caso (capitolo 5) si è definita per lo studio della zona del gruppo del monte Giovo una procedura di classificazione per l’estrazione delle coperture vegetative e per l’aggiornamento della cartografia esistente – in questo caso la carta della vegetazione. In particolare si è cercato di classificare la vegetazione soprasilvatica, dominata da brughiere a mirtilli e praterie con prevalenza di quelle secondarie a nardo e brachipodio. In alcune aree sono inoltre presenti comunità che colonizzano accumuli detritici stabilizzati e le rupi arenacee. A questo scopo, oltre alle immagini aeree (Volo IT2000) sono state usate anche immagini satellitari ASTER e altri dati ancillari (DTM e derivati), ed è stato applicato un sistema di classificazione delle coperture di tipo objectbased. Si è cercato di definire i migliori parametri per la segmentazione e il numero migliore di sample per la classificazione. Da una parte, è stata fatta una classificazione supervisionata della vegetazione a partire da pochi sample di riferimento, dall’altra si è voluto testare tale metodo per la definizione di una procedura di aggiornamento automatico della cartografia esistente. Nel terzo caso (capitolo 6), sempre nella zona del gruppo del monte Giovo, è stato fatto un confronto fra la timberline estratta mediante segmentazione ad oggetti ed il risultato di rilievi GPS a terra appositamente effettuati. L’obiettivo è la definizione del limite altitudinale del bosco e l’individuazione di gruppi di alberi isolati al di sopra di esso mediante procedure di segmentazione e classificazione object-based di ortofoto aeree in formato digitale e la verifica sul campo in alcune zone campione dei risultati, mediante creazione di profili GPS del limite del bosco e determinazione delle coordinate dei gruppi di alberi isolati. I risultati finali del lavoro hanno messo in luce come le moderne tecniche di analisi di immagini sono ormai mature per consentire il raggiungimento degli obiettivi prefissi nelle tre applicazioni considerate, pur essendo in ogni caso necessaria una attenta validazione dei dati ed un intervento dell’operatore in diversi momenti del processo. In particolare, le operazioni di segmentazione delle immagini per l’estrazione di feature significative hanno dimostrato grandi potenzialità in tutti e tre i casi. Un software ad “oggetti” semplifica l’implementazione dei risultati della classificazione in un ambiente GIS, offrendo la possibilità, ad esempio, di esportare in formato vettoriale gli oggetti classificati. Inoltre dà la possibilità di utilizzare contemporaneamente, in un unico ambiente, più sorgenti di informazione quali foto aeree, immagini satellitari, DTM e derivati. Le procedure automatiche per l’estrazione della timberline e dei gruppi di alberi isolati e per la classificazione delle coperture sono oggetto di un continuo sviluppo al fine di migliorarne le prestazioni; allo stato attuale esse non devono essere considerate una soluzione ottimale autonoma ma uno strumento per impostare e semplificare l’intervento da parte dello specialista in fotointerpretazione.

Specification, execution and verification of interaction protocols: an approach based on computational logic

Interaction protocols establish how different computational entities can interact with each other. The interaction can be finalized to the exchange of data, as in 'communication protocols', or can be oriented to achieve some result, as in 'application protocols'. Moreover, with the increasing complexity of modern distributed systems, protocols are used also to control such a complexity, and to ensure that the system as a whole evolves with certain features. However, the extensive use of protocols has raised some issues, from the language for specifying them to the several verification aspects. Computational Logic provides models, languages and tools that can be effectively adopted to address such issues: its declarative nature can be exploited for a protocol specification language, while its operational counterpart can be used to reason upon such specifications. In this thesis we propose a proof-theoretic framework, called SCIFF, together with its extensions. SCIFF is based on Abductive Logic Programming, and provides a formal specification language with a clear declarative semantics (based on abduction). The operational counterpart is given by a proof procedure, that allows to reason upon the specifications and to test the conformance of given interactions w.r.t. a defined protocol. Moreover, by suitably adapting the SCIFF Framework, we propose solutions for addressing (1) the protocol properties verification (g-SCIFF Framework), and (2) the a-priori conformance verification of peers w.r.t. the given protocol (AlLoWS Framework). We introduce also an agent based architecture, the SCIFF Agent Platform, where the same protocol specification can be used to program and to ease the implementation task of the interacting peers.