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.

Dispersioni di inquinanti in acque costiere dal porto canale di Cesenatico. Modellazione e misure.

La presente dissertazione si apre con l’analisi della costa dell’Emilia Romagna, in particolare quella antistante la città di Cesenatico. Nel primo capitolo si è voluto fare un breve inquadramento delle problematiche che affliggono le acque costiere a debole ricambio. Il Mare Adriatico e in particolare le acque costiere, ormai da più di trent’anni, sono afflitti da una serie di problemi ambientali correlati all’inquinamento. Sulla costa romagnola, già verso la metà degli anni settanta, le prime estese morie di organismi viventi acquatici avevano posto sotto gli occhi dell’opinione pubblica l’insorgenza di situazioni drammatiche per l’ambiente, per la salute pubblica e per due importanti settori dell’economia regionale e nazionale quali il turismo e la pesca. Fino ad allora aveva dominato la diffusa convinzione che la diluizione nell’enorme quantità di acqua disponibile avrebbe consentito di immettere nel mare quantità crescenti di sostanze inquinanti senza intaccare in misura apprezzabile la qualità delle acque. Questa teoria si rivelò però clamorosamente errata per i mari interni con scarso ricambio di acqua (quali per esempio il Mare Adriatico), perché in essi le sostanze che entrano in mare dalla terraferma si mescolano per lungo tempo solo con un volume limitato di acqua antistante la costa. Solo se l’immissione di sostanze organiche è limitata, queste possono essere demolite agevolmente attraverso processi di autodepurazione per opera di microrganismi naturalmente presenti in mare. Una zona molto critica per questo processo è quella costiera, perché in essa si ha la transizione tra acque dolci e acque salate, che provoca la morte sia del plancton d’acqua dolce che di quello marino. Le sostanze estranee scaricate in mare giungono ad esso attraverso tre vie principali: • dalla terraferma: scarichi diretti in mare e scarichi indiretti attraverso corsi d’acqua che sfociano in mare; • da attività svolte sul mare: navigazione marittima e aerea, estrazione di materie prime dai fondali e scarico di rifiuti al largo; • dall’atmosfera: tramite venti e piogge che trasportano inquinanti provenienti da impianti e attività situati sulla terraferma. E’ evidente che gli scarichi provenienti dalla terraferma sono quelli più pericolosi per la salvaguardia delle acque costiere, in particolare vanno considerati: gli scarichi civili (enormemente accresciuti nel periodo estivo a causa del turismo), gli scarichi agricoli e gli scarichi industriali. Le sostanze estranee scaricate in mare contengono una grande abbondanza di sali nutrienti per i vegetali (in particolare nitrati e fosfati) che provengono dai concimi chimici, dai residui del trattamento biologico negli impianti di depurazione e dall’autodepurazione dei fiumi. Queste sostanze una volta giunte in mare subiscono un nuovo processo di autodepurazione che genera ulteriori quantità di nutrienti; i sali di fosforo e azoto così formati si concentrano soprattutto nelle acque basse e ferme della costa e vengono assimilati dalle alghe che possono svilupparsi in modo massivo: tale fenomeno prende il nome di eutrofizzazione. La produzione eccessiva di biomasse vegetali pone seri problemi per la balneazione in quanto può portare a colorazioni rossastre, brune, gialle o verdi delle acque; inoltre la decomposizione delle alghe impoverisce di ossigeno l’acqua, soprattutto sul fondo, provocando morie della fauna ittica. Nello specifico, in questo lavoro di tesi, si prende in considerazione il Porto Canale di Cesenatico, e come le acque da esso convogliate vadano ad influenzare il recettore finale, ovvero il Mar Adriatico. Attraverso l’uso di un particolare software, messo a mia disposizione dal D.I.C.A.M. è stata portata avanti un’analisi dettagliata, comprendente svariati parametri, quali la velocità dell’acqua, la salinità, la concentrazione dell’inquinante e la temperatura, considerando due possibili situazioni. A monte di ciò vi è stata una lunga fase preparatoria, in cui dapprima sono state recepite, attraverso una campagna di misure progettata ad hoc, ed elaborate le informazione necessarie per la compilazione del file di input; in seguito è stato necessario calibrare e tarare il programma, in quanto sono state apportate numerose variazioni di recepimento tutt’altro che immediato; dopodiché è stata introdotta la geometria rappresentante l’area presa in esame, geometria molto complessa in quanto trattasi di una zona molto ampia e non uniforme, infatti vi è la presenza di più barriere frangiflutti, sommerse ed emerse, che alterano in svariati punti la profondità del fondale. Non è stato semplice, a tal proposito, ricostruire l’area e ci si è avvalsi di una carta nautica riportante la batimetria del litorale antistante Cesenatico. Come è stato già detto, questa fase iniziale ha occupato molto tempo e si è dimostrata molto impegnativa. Non sono state comunque da meno le fasi successive. Inoltre, tale simulazione è stata effettuata su due scenari differenti, per poter valutare le differenti conclusioni alle quali essi hanno indotto. Dopo molti “tentativi”, l’eseguibile ha girato ed è arrivato al termine ricoprendo un lasso di tempo pari a ventiquattro ore. I risultati ottenuti in output, sono stati tradotti e vagliati in modo da essere graficati e resi più interpretabili. Segue infine la fase di analisi che ha portato alle deduzioni conclusive. Nei prossimi capitoli, si riporta nel dettaglio quello che in questo paragrafo è stato sinteticamente citato.

Riparazione del danno ischemico ostruttivo del miocardio mediante cellule staminali mesenchimali sottoposte a stimolazione elettromeccanica in bioreattore

Nell’ambito dell’ingegneria dei tessuti, la possibilità di rigenerazione del miocardio post-infartuale è un argomento “caldo”, che suscita grandi speranze ma solleva altrettanto grandi interrogativi - sostenuti dal sussistere di dubbi di base sulle scelte operative praticabili. Esiste tuttavia concordanza nel considerare fondamentale l’utilizzo di un “supporto” che possa mantenere nella sede peri-infartuale le cellule competenti. Infatti, la semplice iniezione di cellule staminali per via endovenosa o direttamente nell’area infartuata non si è dimostrata particolarmente efficace, soprattutto a causa della cospicua perdita cellulare che si verifica rapidamente dopo il trapianto. Ci si orienta quindi verso la strategia di seminare cellule in grado di transdifferenziare in senso muscolare cardiaco su un materiale biocompatibile in vitro e di impiantare successivamente il costrutto ottenuto in vivo dove ci si attende il riassorbimento del biomateriale e l’integrazione delle cellule. Tuttavia, mentre in altri settori della medicina - quali ortopedia e dermatologia - l’impiego di pseudotessuti ingegnerizzati ha già permesso di conseguire ottimi risultati nella rigenerazione di tessuti danneggiati, allo stato attuale, i progressi ottenuti nell’ambito della rigenerazione del miocardio infartuato appaiono ancora aneddotici e distanti dall’ottenere protocolli condivisi per l’impiego in clinica. Il lavoro presentato in questa ricerca, condotto grazie alla sinergia di competenze interdisciplinari negli ambiti chimico, biologico e dell’ingegneria biomedica meccanica ed elettronica, è uno studio di fattibilità di una metodica standardizzata in grado di indirizzare cellule staminali mesenchimali (MSCs) indifferenziate verso l’acquisizione in vitro di caratteri fenotipici confrontabili con quelli delle cellule muscolari cardiache attraverso il paradigma della coltura dinamica in bioreattore. Il prototipo di bioreattore impiegato, in quanto sviluppato originalmente nel corso di questa attività di ricerca, presenta rispetto ad altri strumenti descritti l’innovazione e il vantaggio di non richiedere l’utilizzo di un incubatore, in quanto esso stesso permette di coltivare cellule al suo interno in condizioni controllate di temperatura, pH e concentrazione di CO2. La sua flessibilità operativa consente di impostare e controllare da personal computer leggi di moto di qualsiasi forma anche con cicliche molto veloci. Infine, la presenza di estensimetri in grado di misurare finemente la variazione di tensione esercitata sulla matrice polimerica utilizzata, posta in trazione tra due afferraggi, permette di applicare nel tempo una forza di stiramento costante, ottenendo deformazioni controllate e risultati riproducibili in termini di modificazioni cellulari. Il superamento delle problematiche sorte durante la fase di messa a punto del sistema, che deve essere ritenuto parte integrante del lavoro di sviluppo condotto, ha permesso di studiare l’adattamento di MSCs allo stiramento ciclico, mostrando che questo effettivamente determina alcune differenze fenotipiche rispetto al controllo statico. Inoltre le cellule hanno acquistato una disposizione orientata lungo l’asse longitudinale delle fibre, dato questo particolarmente importante se si considera la disposizione ordinata delle cellule del miocardio, le quali costituiscono un vero e proprio sincizio, indispensabile per una diffusione sincrona dell’impulso elettrico di contrazione. La creazione di uno pseudotessuto cardiaco ottimale richiederà ovviamente ulteriore lavoro, ma la metodica qui presentata si propone al tempo stesso come uno strumento di studio e come una strategia operativa per un approccio innovativo e standardizzabile alla medicina rigenerativa del miocardio.

Studio Sperimentale e Modellazione della Separazione di Proteine con Membrane di Affinità

Chromatography represents one of the most important and widely used unit operation in the biotechnology industry. However this technique suffers from several limitations such as high pressure drop, slow mass transfer through the diffusive pores and strong dependence of the binding capacity on flow rate. In this work, affinity membranes with improved capacity have been considered as an alternative technology for the capturing step in antibody manufacturing. Several affinity membranes have been prepared starting from various membrane supports. Different affinity ligands have been utilized like Protein A, the natural ligand of choice for antibodies, as well as synthetic ligands that exhibit affinity for the Fc portion of antibodies. The membranes have been characterized in detail: binding and elution performance was evaluated in adsorption experiments using pure IgG solutions, while membrane selectivity was evaluated using complex solutions like a cell culture supernatant. The most promising affinity membranes were extensively tested in dynamic experiments. The effects of operating parameters like feed concentration and flow rate on separation performances like binding capacity, selectivity and process yield have been studied in detail in order to find the optimal conditions for binding and elution steps. The membranes have been used over several complete chromatographic cycles to evaluate the effects of ageing and of membrane regeneration on dynamic binding capacity. A novel mathematical model is proposed that can describe all the chromatographic steps involved in the membrane affinity chromatography process for protein purification. The mathematical description is based on the species continuity equation coupled with a proper binding kinetic equation, and suitable to describe adequately the dispersion phenomena occurring both in the micro-porous membranes as well as in the extra-column devices used in the system. The model considers specifically all the different chromatographic steps, namely adsorption, washing and elution. The few relevant fitting parameters of the model were derived from a calibration with the experimental affinity cycles performed with pure IgG solutions, then the model is used to describe experimental data obtained in chromatographic cycles carried out with complex feeds as the cell culture supernatant. Simulations reveal a good agreement with experimental data in all the chromatography steps, both in the case of pure IgG solutions and for the cell culture supernatant considered.