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.

Cambiamento organizzativo e tecnologie it abilitanti: analisi di un caso aziendale nel settore meccanico

L’elaborato proposto analizza le fasi del cambiamento in seguito all’introduzione del modulo per la gestione del magazzino del sistema informativo Business Net all’interno dell’officina meccanica Ghisellini Giuseppe, una piccola azienda operante nel settore dell’artigianato con una competenza maturata negli anni nel settore delle pompe e dei motori idraulici e dei motori marini. In seguito ad un’analisi delle forze resistenti e delle spinte al cambia-mento, viene ricercata la causa delle inefficienze del sistema basandosi sul metodo delle otto fasi proposto da Kotter. Dal momento che l’inefficienza maggiore viene ritrovata nella scarsa circolazione di informazioni, si ritiene necessario una riprogettazione dei processi aziendali, attraverso una mappatura dei processi “as is” e “to be”, in cui viene proposta una soluzione che permette una maggiore circolazione delle informazioni. Tale soluzione proposta è infine valutata economicamente.

Analisi chinesiologica della risposta muscolare indotta in una varietà di esercizi di core training

Il concetto di "core training" è ampiamente diffuso nelle moderne metodologie di allenamento, nonostante sia spesso collegato a pratiche da campo non pienamente supportate dalla ricerca scientifica. Il termine "core" identifica il "centro funzionale del corpo" in grado di garantire una "adeguata stabilità prossimale al fine di ottimizzare la mobilità distale", sostenendo il complesso lombo-pelvico e permettendo la connessione funzionale tra arti e tronco. La muscolatura del core, cositutita principalmente dalla regione addominale e paraspinale, è ben condizionabile dall'utilizzo di superfici instabili quali Bosu e Fitball, strumenti comuni nel settore sportivo e rieducativo ma sui quali esistono teorie e conoscenze altamente eterogenee. Obiettivo della presente tesi è, dunque, da un lato quello di confrontare una varietà di esercizi eseguibili su entrambe le superfici instabili precedentemente citate al fine di determinare le attivazioni muscolari a livello del "core", dall'altro quello di valutare gli effetti indotti da un "core training" di 8 settimane su parametri performance-specifici. Lo studio, effettuato su atleti aventi una elevata esperienza in tale settore, evidenzia valori elettromiografici superiori nella Fitball e Bosu rispetto al tappeto, seppure in maniera non significativa; circa il legame con aspetti prestativi, emerge invece come un allenamento specifico ad alto impatto nervoso, modulato secondo un target razionale, consenta di incrementare l'endurance della muscolatura addominale, l'equilibrio funzionale dinamico e la capacità di trasmissione di forze arti-tronco, giustificandone un utilizzo in vari settori dell'attività motoria.

Analisi dell'utilizzo dell'effetto Coanda come metodo di sostentazione su corpi assialsimmetrici

Il presente documento affronta l’impiego dell’effetto Coanda come metodo di sostentamento per velivoli UAV/UAS. A tal proposito è stato valutato il dimostratore costruito presso la facoltà mediante l’ottimizzazione del sistema propulsivo impiegato e la variazione di configurazioni atte a ricercare l’influenza sulla trazione, di alcuni parametri individuati dalla bibliografia. I dati raccolti sono stati posti a confronto con quelli pubblicati e in parte stimati, con alcuni dimostratori attualmente volanti. Dalle conclusioni elaborate dalla sperimentazione con il dimostratore, si è analizzato l’effetto Coanda su un semi-modello a profilo ellittico, variando la collocazione e la portata della sorgente, dandone una prima descrizione analitica.