Forma cohomológica do Teorema de Cauchy

Pós-graduação em Matemática Universitária - IGCE

A característica de Euler

Pós-graduação em Matemática em Rede Nacional - IBILCE

O número de Lefschetz e teoremas do tipo Borsuk-Ulam

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Decomposição de grupos de dualidade de Poincaré, obstruções sing e invariantes cohomológicos

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sobre a equivalência de contato topológica

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Algumas considerações sobre Espaços de Eilenberg

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Sequências espectrais e aplicações aos cálculos de cohomologias de espaços fibrados

Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP)

Cohomologia de grupos e invariante algébricos

Pós-graduação em Matemática - IBILCE

Grupo topológico

Pós-graduação em Matemática Universitária - IGCE

Algumas generalizações do teorema clássico de Borsuk-Ulam

Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES)

Valutazione del comportamento differito di una trave inflessa realizzata in due fasi

La presente tesi analizza il comportamento differito in una prova di flessione su quattro punti su una trave prefabbricata con getto di soletta integrativa in opera. Sono riportati i risultati della prova di carico e di rottura sulla trave. Le prove sono state eseguite presso il Laboratorio di Prove Strutture (DISTART) dell'Università di Bologna. La trave è composta di due tipi di calcestreuzzo, realizzati in tempi diversi e con proprietà meccaniche diverse. L'obiettivo della campagna sperimentale è studiare l'effetto delle fasi di costruzione sull'evoluzione delle tensioni e delle deformazioni nel tempo e sulla resistenza ultima della trave. Il comportamento sperimentale è stato confrontato con i risultati numerici ottenuti con un modello a fibre in grado di cogliere anche i fenomeni legati al creep.

L’impatto degli incentivi sull’efficienza delle imprese manifatturiere

Produttività ed efficienza sono termini comunemente utilizzati per caratterizzare l’abilità di un’impresa nell’utilizzazione delle risorse, sia in ambito privato che pubblico. Entrambi i concetti sono legati da una teoria della produzione che diventa essenziale per la determinazione dei criteri base con i quali confrontare i risultati dell’attività produttiva e i fattori impiegati per ottenerli. D’altronde, le imprese scelgono di produrre e di investire sulla base delle proprie prospettive di mercato e di costi dei fattori. Quest’ultimi possono essere influenzati dalle politiche dello Stato che fornisce incentivi e sussidi allo scopo di modificare le decisioni riguardanti l’allocazione e la crescita delle imprese. In questo caso le stesse imprese possono preferire di non collocarsi nell’equilibrio produttivo ottimo, massimizzando produttività ed efficienza, per poter invece utilizzare tali incentivi. In questo caso gli stessi incentivi potrebbero distorcere quindi l’allocazione delle risorse delle imprese che sono agevolate. L’obiettivo di questo lavoro è quello di valutare attraverso metodologie parametriche e non parametriche se incentivi erogati dalla L. 488/92, la principale politica regionale in Italia nelle regioni meridionali del paese nel periodo 1995-2004, hanno avuto o meno effetti sulla produttività totale dei fattori delle imprese agevolate. Si è condotta una ricognizione rispetto ai principali lavori proposti in letteratura riguardanti la TFP e l’aiuto alle imprese attraverso incentivi al capitale e (in parte) dell’efficienza. La stima della produttività totale dei fattori richiede di specificare una funzione di produzione ponendo l’attenzione su modelli di tipo parametrico che prevedono, quindi, la specificazione di una determinata forma funzionale relativa a variabili concernenti i fattori di produzione. Da questa si è ricavata la Total Factor Productivity utilizzata nell’analisi empirica che è la misura su cui viene valutata l’efficienza produttiva delle imprese. Il campione di aziende è dato dal merge tra i dati della L.488 e i dati di bilancio della banca dati AIDA. Si è provveduto alla stima del modello e si sono approfonditi diversi modelli per la stima della TFP; infine vengono descritti metodi non parametrici (tecniche di matching basate sul propensity score) e metodi parametrici (Diff-In-Diffs) per la valutazione dell’impatto dei sussidi al capitale. Si descrive l’analisi empirica condotta. Nella prima parte sono stati illustrati i passaggi cruciali e i risultati ottenuti a partire dalla elaborazione del dataset. Nella seconda parte, invece, si è descritta la stima del modello per la TFP e confrontate metodologie parametriche e non parametriche per valutare se la politica ha influenzato o meno il livello di TFP delle imprese agevolate.

Modellazione numerica del comportamento viscoso fessurato di elementi in CCA

Questo studio mira ad affinare modelli numerici a fibre che siano in grado di valutare il comportamento differito viscoso fessurato di elementi in conglomerato cementizio armato. Il modello numerico iterativo a fibre è stato calibrato e raffrontato con due campagne sperimentali che hanno studiato il fenomeno del creep in due travi in ca gettate in due fasi. E' in grado di valutare le deformzioni differite di sezioni e travi gettate e caricate in più fasi.

Potenzialità di utilizzo di strutture urbane marine per la conservazione di specie minacciate: uno studio sperimentale sulle strutture di difesa costiera lungo le coste del Nord Adriatico

La proliferazione di strutture di difesa costiere ha determinato un interesse crescente circa l’ecologia di questi ambienti artificiali. Ricerche precedenti svolte lungo le coste del Nord Adriatico avevano evidenziato che mentre i substrati naturali in questa regione sono abbondantemente colonizzati da specie algali, i substrati artificiali tendono ad essere quantitativamente poveri di specie algali e dominati da specie di invertebrati. La seguente tesi ha analizzato l’ipotesi che tali differenze nella crescita di alghe tra habitat naturali ed artificiali potessero essere legate ad una iversa pressione da parte di organismi erbivori. Il lavoro si è focalizzato sulla specie Cystoseira barbata che è naturalmente presente nella regione di studio, ma che negli ultimi 70 anni ha subito una significativa regressione. Si volevano pertanto analizzare i fattori che possono favorire o inibire la crescita di Cystoseira su strutture artificiali di difesa costiera, al fine di poter valutare la possibilità di utilizzare questi substrati artificiali come mezzo per la conservazione di questa specie. I principali obiettivi del lavoro erano: 1. individuare e caratterizzare le potenziali specie erbivore presenti nei siti di studio che potessero limitare la crescita di C. barbata 2. analizzare se ci sono differenze nell’abbondanza di erbivori tra i siti artificiali e quelli naturali. 3. testare se il diverso stadio di sviluppo dell’alga o le modalità di trapianto potessero influenzarne la suscettibilità alla predazione. Mediante esperimenti in campo ho testato gli effetti dell’esclusione di erbivori sulla sopravvivenza e la crescita di Cystoseira barbata. Ho inoltre effettuato test in laboratorio determinare per individuare il potenziale ruolo come erbivori di varie tipologie di organismi, quali anfipodi, paguri e pesci. I risultati confermano l’importanza dell’erbivoria nel determinare il successo dei trapianti e ci dicono che gli erbivori da ricercare superano 1 cm di grandezza. In più, si è osservato che modalità di trapianto che distanzino i talli dal fondo aumentano la sopravvivenza dei talli, mentre non sono state osservate differenze in funzione della taglia dell’alga. Attraverso i test di laboratorio è stato possibile escludere gli Anfipodi come potenziali erbivori mentre Pagurus bernardus ha dimostrato un’effettiva azione di consumo dell’alga. Al contrario, i tests effettuati per approfondire la dieta di alcune specie di blennidi, composta almeno in parte da alghe, non hanno fornito conferme, almeno per il momento. Mediante visual census, si è inoltre escluso il ruolo di grandi erbivori quali ricci e salpe, scarsi nei siti di studio. Il lavoro fino a qui svolto indica, tuttavia, chiaramente che gli ambienti artificiali possono essere influenzati dall’azione di organismi predatori in maniera maggiore rispetto agli ambienti rocciosi circostanti. Questa ipotesi è particolarmente interessante in quanto rappresenterebbe una differenza fondamentale nel funzionamento delle strutture artificiali rispetto agli ambienti rocciosi naturali.

Indagini in Deep Inference

La tesi è uno studio di alcuni aspetti della nuova metodologia “deep inference”, abbinato ad una rivisitazione dei concetti classici di proof theory, con l'aggiunta di alcuni risultati originali orientati ad una maggior comprensione dell'argomento, nonché alle applicazioni pratiche. Nel primo capitolo vengono introdotti, seguendo un approccio di stampo formalista (con alcuni spunti personali), i concetti base della teoria della dimostrazione strutturale – cioè quella che usa strumenti combinatoriali (o “finitistici”) per studiare le proprietà delle dimostrazioni. Il secondo capitolo focalizza l'attenzione sulla logica classica proposizionale, prima introducendo il calcolo dei sequenti e dimostrando il Gentzen Hauptsatz, per passare poi al calcolo delle strutture (sistema SKS), dimostrando anche per esso un teorema di eliminazione del taglio, appositamente adattato dall'autore. Infine si discute e dimostra la proprietà di località per il sistema SKS. Un percorso analogo viene tracciato dal terzo ed ultimo capitolo, per quanto riguarda la logica lineare. Viene definito e motivato il calcolo dei sequenti lineari, e si discute del suo corrispettivo nel calcolo delle strutture. L'attenzione qui è rivolta maggiormente al problema di definire operatori non-commutativi, che mettono i sistemi in forte relazione con le algebre di processo.