Implementazione automatica di protocolli di interazione AUML mediante reti di Petri

Questa tesi si basa su una serie di lavori precedenti, volti ad analizzare la correlazione tra i modelli AUML e le reti di Petri, per riuscire a fornire una metodologia di traduzione dai primi alle seconde. Questa traduzione permetterà di applicare tecniche di model checking alle reti così create, al fine di stabilire le proprietà necessarie al sistema per poter essere realizzato effettivamente. Verrà poi discussa un'implementazione di tale algoritmo sviluppata in tuProlog ed un primo approccio al model checking utilizzando il programma Maude. Con piccole modifiche all'algoritmo utilizzato per la conversione dei diagrammi AUML in reti di Petri, è stato possibile, inoltre, realizzare un sistema di implementazione automatica dei protocolli precedentemente analizzati, verso due piattaforme per la realizzazione di sistemi multiagente: Jason e TuCSoN. Verranno quindi presentate tre implementazioni diverse: la prima per la piattaforma Jason, che utilizza degli agenti BDI per realizzare il protocollo di interazione; la seconda per la piattaforma TuCSoN, che utilizza il modello A&A per rendersi compatibile ad un ambiente distribuito, ma che ricalca la struttura dell'implementazione precedente; la terza ancora per TuCSoN, che sfrutta gli strumenti forniti dalle reazioni ReSpecT per generare degli artefatti in grado di fornire una infrastruttura in grado di garantire la realizzazione del protocollo di interazione agli agenti partecipanti. Infine, verranno discusse le caratteristiche di queste tre differenti implementazioni su un caso di studio reale, analizzandone i punti chiave.

Circuiti per la conversione di micro potenze da gradienti termici ambientali

In questa tesi vengono analizzati alcuni schemi circuitali di convertitori di micro potenze da generatori termoelettrici sottoposti a gradienti di temperatura limitati. I circuiti, basati su oscillatori step-up in grado di innescarsi con tensioni di alimentazione estremamente basse, sono stati analizzati dal punto di vista teorico e mediante successive simulazioni circuitali. Le potenze ottenibili con gradienti di temperatura inferiori a 10K risultano tipicamente comprese tra qualche uW e qualche decina di uW, con efficienze fino a circa il 40%.

Analisi per via simulativa del protocollo tcp a ritrasmissione asimmetrica anticipata su wifi

Viene implementato un algoritmo di ritrasmissione dei pacchetti nel protocollo TCP. Lo studio viene fatt utilizzando il simulatore OMNET++ e il framework INET

Progetto e realizzazione di un sistema di test per sensori a effetto hall a banda larga

Un ambito di largo interesse nel campo dell’elettronica, è quello delle misure di corrente a larga banda, in cui la richiesta per sistemi a basso costo è aumentata sensibilmente nel corso del tempo. La causa di questo interessamento è dovuto al più frequente utilizzo di sistemi switched power ad alta frequenza, che necessitano di sensori di correnti isolati e ad alte prestazioni. L’intero lavoro prende in considerazione un sensore di nuova generazione per le misure di corrente, capace di raggiungere prestazioni oltre lo stato dell’arte. L’elaborato presentato vede, quindi, come obiettivo la creazione di un setup stabile per effettuare misure sui chip prodotti. Partendo dallo studio di fattibilità, della componentistica necessaria e dei compromessi per mantenere i costi, si giunge ad una soluzione flessibile e adatta alle misurazioni richieste. L’elaborato partirà con una introduzione sugli effetti fisici e la descrizione del componente fondamentale, passando a test funzionali effettuati su setup provvisori atti a ottenere informazioni basilari per la prosecuzione del lavoro. Infine verranno concepite e realizzate due schede a circuiti stampati per rispondere alle esigenze di progetto.

Recuperare l'abitare sociale. Riqualificazione dell'edificio acer di via Wolfgang Goethe a Bologna.

Nel volume vengono proposte delle strategie di riqualificazione dell’edificio in via W. Goethe con numero civico 2-10 a Corticella zona Navile. L’edificio fa parte del quartiere PEEP realizzato a partire dagli anni ‘70 circa. L’intera area ricopre una superficie pari a 220.000 m2 di cui edificata 38.000 m2. Della superficie edificata ben 30.400 m2 è stata destinata al residenziale. A seguito delle evoluzioni economiche e sociali e alle restrizioni sempre più severe della normativa, il quartiere ha mostrato delle carenze e delle criticità: – Scarse prestazioni energetiche degli edifici con elevati costi di esercizio; – Inadeguata risposta alle azioni sismiche; – Tagli di alloggi non in grado di soddisfare l’odierna domanda; – Mancanza di efficaci spazi pubblici e di relazione; – Inefficace connessione urbana ai maggiori poli attrattivi e di circolazione. Come primo obbiettivo è stato affrontato il problema della mancanza di connessioni ciclopedonali adeguate al territorio di Corticella. Vi sono infatti alcune aree di nodale importanza che sono sprovviste di questi collegamenti rendendo difficoltoso il link tra i punti attrattivi fondamentali di Corticella e il nostro quartiere. Il progetto intende migliorare questo tipo di servizio in linea con il progetto “bike sharing & ride” promosso dalla Regione Emilia Romagna al fine di incentivare e promuovere la mobilità. Seguono poi gli interventi volti a risolvere le problematiche riscontrate nell’edificio. Interventi atti a riportare l’edificio in una condizione tale da renderlo adeguato alle necessità attuali e in grado di svolgere la sua funzione per gli anni a venire. Si tratta di strategie tecniche e parallelamente di strategie energetiche, con l’obbiettivo di definire spazi confortevoli all’interno degli alloggi. A tale fine sono state realizzate anche valutazioni sull’illuminazione naturale degli ambienti interni per valutare l’efficacia o meno del sistema utilizzato.