Applicazione del linguaggio ad agenti Jason per la programmazione di alto livello di robot

I sistemi software rivestono nel campo dell'informatica un ruolo di fondamentale importanza. Negli ultimi anni una caratteristica richiesta ai sistemi è la decentralizzazione del controllo, nell'ottica di un sistema visto come connessioni di parti che possono interagire, e dove ciascuna parte possiede un certo grado di autonomia nella scelta delle attività che devono essere compiute. In tale contesto si introduce il paradigma degli agenti, in quanto include sia aspetti relativi ai modelli computazionali, sia aspetti relativi ai linguaggi. Nella tesi si esplora l'applicazione del linguaggio di programmazione Jason applicato alla programmazione dei controllori di robot. In particolare, si esplora ciò che riguarda il comportamento individuale dell'agente.

Programmazione di sistemi multi-agente: la piattaforma Jason come caso di studio

L’obiettivo principale di questo elaborato è di mostrare in un primo momento i concetti fondamentali che stanno alla base del paradigma ad agenti. Una volta introdotti, essi verranno collocati in un determinato ambiente di programmazione attraverso una piattaforma specifica chiamata Jason. Come sarà facile capire dalla lettura di questa trattazione, un sistema ad agenti è costituito dagli agenti stessi e dall’ambiente in cui sono situati. L’ambiente risulta quindi un altro tassello fondamentale ed è stato introdotto allo scopo un nuovo paradigma per la programmazione di ambienti chiamato Agent & Artifact. Nello specifico, verrà ampiamente descritto il framework di riferimento di tale paradigma: CArtAgO. Dopo aver illustrato i concetti e gli strumenti per poter agilmente programmare e progettare sistemi ad agenti, verrà infine mostrato un esempio di applicazione di tale tecnologia attraverso un case study. Il progetto del sistema in questione riguarda un reale caso aziendale e integra la tecnologia RFID con quella ad agenti per fornire la soluzione ad un problema noto come quello del controllo periodico delle scorte.

Tecnologie e framework per la programmazione multi-agente

Negli ultimi anni le tecnologie informatiche sono state al centro di uno sviluppo esponenziale. Fra le incalcolabili innovazioni presentate, ha preso sempre più campo il paradigma per la programmazione ad agenti, che permette la realizzazione di sistemi software complessi, i quali, nell'informatica moderna, ricoprono un ruolo di fondamentale importanza. Questi sistemi, denominati autonomi, mostrano caratteristiche interessanti per scenari dinamici; essi infatti devono essere robusti e resistenti, in grado di adattarsi al contesto ambientale e quindi reagire a determinate modifiche che si verificano nell'ambiente, comportandosi di conseguenza. Indicano perciò la pro-attività dell'entità presa in considerazione. In questa tesi saranno spiegate queste tipologie di sistemi, introdotte le loro caratteristiche e mostrate le loro potenzialità. Tali caratteristiche permettono di responsabilizzare i soggetti, rendendo il sistema auto-organizzato, con una migliore scalabilità e modularità, riducendo quindi le elevate esigenze di calcolo. L'organizzazione di questo documento prevede i primi capitoli atti a introdurre il mondo dei sistemi autonomi, partendo dalle definizioni di autonomia e di agenti software, concludendo con i sistemi multi-agenti, allo scopo di permettere al lettore una comprensione adatta ed esaustiva. I successivi capitoli riguardano le fasi di progettazione delle entità prese in esame, le loro forme di standardizzazione e i modelli che possono adottare, tra i quali il più conosciuto, il modello BDI. Ne seguono due diverse metodologie per l'ingegneria del software orientata agli agenti. Si conclude con la presentazione dello stato dell'arte degli ambienti di sviluppo conosciuti, contenente un'esauriente introduzione ad ognuno di essi ed una visione nel mondo del lavoro del loro apporto negli applicativi in commercio. Infine la tesi terminerà con un capitolo di conclusioni e di riflessioni sui possibili aspetti futuri.

Programmazione ad Agenti - Un Caso di Studio nel Linguaggio Sarl

Agent-oriented programming (AOP) è un paradigma di programmazione che concepisce un software come insieme di agenti che possiedono caratteristiche di autonomia, proattività e che sono in grado di comunicare con altri agenti. Sebbene sia stato impiegato soprattutto nell'ambito dell'intelligenza artificiale questo tipo di programmazione si rivela utile per lo sviluppo di sistemi distribuiti riuscendo a gestire agilmente problemi di concorrenza. Lo scopo di questa tesi è analizzare le caratteristiche del paradigma e dei software basati su agenti, utilizzando come caso di studio Sarl, un linguaggio general-purpose molto recente. La parte principale del lavoro consiste nella descrizione dei modelli teorici che hanno portato alla nascita della programmazione ad agenti, in particolare del modello BDI, e dei principali framework per lo sviluppo di sistemi multi-agente.

Caratterizzazione biomeccanica di vertebre umane

Le fratture vertebrali sono tra le principali cause dell’incremento della mortalità. Queste sono dovute principalmente a traumi, tumori o particolari patologie metaboliche che colpiscono l’osso. Il tratto maggiormente interessato è quello toraco-lombare in quanto deve sopportare la maggior parte dei carichi. Risulta quindi necessario comprendere come la colonna vertebrale risponde ai carichi così da studiare e sviluppare nuovi protocolli e trattamenti per disordini del tratto spinale. Informazioni quantitative possono essere ottenute mediante test in vitro. Questi hanno alcune limitazioni dovute principalmente alla difficoltà di misurare le tensioni e le deformazioni in zone diverse dalla superficie, alla complessità e al costo delle prove. Un altro limite delle prove in vitro è rappresentato dal fatto che ciascun campione può essere testato a rottura una volta sola. Queste problematiche possono essere superate con l’utilizzo contemporaneo di modelli matematici e test in vitro. In particolare i test in vitro sono utilizzati in fase di validazione del modello matematico, ovvero nella determinazione di quanto il modello è una rappresentazione del comportamento reale che si sta simulando. Il presente lavoro di tesi si inserisce in un progetto di caratterizzazione di vertebre toraco-lombari utilizzate per la validazione di un modello agli elementi finiti. In particolare l’obiettivo dello studio è stata la realizzazione di prove meccaniche in modo da replicare l’anterior wedge fracture. Tali prove sono state effettuate presso il Laboratorio di Biomeccanica del Dipartimento di Ingegneria Industriale dell’Università di Bologna. Gli spostamenti registrati durante le prove sono stati utilizzati dal Laboratorio di Tecnologia Medica dell’Istituto Ortopedico Rizzoli come condizioni al contorno per la realizzazione di un modello FE. Una volta validato e messo a punto, il modello sarà utilizzato per valutare lo stato di salute della colonna vertebrale in vivo.

Programming Robots with an Agent-Oriented BDI-based Control Architecture: Explorations using the JaCa and Webots Platforms

La crescente disponibilità di dispositivi meccanici e -soprattutto - elettronici le cui performance aumentano mentre il loro costo diminuisce, ha permesso al campo della robotica di compiere notevoli progressi. Tali progressi non sono stati fatti unicamente per ciò che riguarda la robotica per uso industriale, nelle catene di montaggio per esempio, ma anche per quella branca della robotica che comprende i robot autonomi domestici. Questi sistemi autonomi stanno diventando, per i suddetti motivi, sempre più pervasivi, ovvero sono immersi nello stesso ambiente nel quale vivono gli essere umani, e interagiscono con questi in maniera proattiva. Essi stanno compiendo quindi lo stesso percorso che hanno attraversato i personal computer all'incirca 30 anni fa, passando dall'essere costosi ed ingombranti mainframe a disposizione unicamente di enti di ricerca ed università, ad essere presenti all'interno di ogni abitazione, per un utilizzo non solo professionale ma anche di assistenza alle attività quotidiane o anche di intrattenimento. Per questi motivi la robotica è un campo dell'Information Technology che interessa sempre più tutti i tipi di programmatori software. Questa tesi analizza per prima cosa gli aspetti salienti della programmazione di controllori per robot autonomi (ovvero senza essere guidati da un utente), quindi, come l'approccio basato su agenti sia appropriato per la programmazione di questi sistemi. In particolare si mostrerà come un approccio ad agenti, utilizzando il linguaggio di programmazione Jason e quindi l'architettura BDI, sia una scelta significativa, dal momento che il modello sottostante a questo tipo di linguaggio è basato sul ragionamento pratico degli esseri umani (Human Practical Reasoning) e quindi è adatto alla implementazione di sistemi che agiscono in maniera autonoma. Dato che le possibilità di utilizzare un vero e proprio sistema autonomo per poter testare i controllori sono ridotte, per motivi pratici, economici e temporali, mostreremo come è facile e performante arrivare in maniera rapida ad un primo prototipo del robot tramite l'utilizzo del simulatore commerciale Webots. Il contributo portato da questa tesi include la possibilità di poter programmare un robot in maniera modulare e rapida per mezzo di poche linee di codice, in modo tale che l'aumento delle funzionalità di questo risulti un collo di bottiglia, come si verifica nella programmazione di questi sistemi tramite i classici linguaggi di programmazione imperativi. L'organizzazione di questa tesi prevede un capitolo di background nel quale vengono riportare le basi della robotica, della sua programmazione e degli strumenti atti allo scopo, un capitolo che riporta le nozioni di programmazione ad agenti, tramite il linguaggio Jason -quindi l'architettura BDI - e perché tale approccio è adatto alla programmazione di sistemi di controllo per la robotica. Successivamente viene presentata quella che è la struttura completa del nostro ambiente di lavoro software che comprende l'ambiente ad agenti e il simulatore, quindi nel successivo capitolo vengono mostrate quelle che sono le esplorazioni effettuate utilizzando Jason e un approccio classico (per mezzo di linguaggi classici), attraverso diversi casi di studio di crescente complessità; dopodiché, verrà effettuata una valutazione tra i due approcci analizzando i problemi e i vantaggi che comportano questi. Infine, la tesi terminerà con un capitolo di conclusioni e di riflessioni sulle possibili estensioni e lavori futuri.

Previsione del comportamento dinamico e sismico di un edificio a tre piani in scala reale costituito da pareti sandwich in C.A. gettato in opera da provare su tavola vibrante

INDICE INTRODUZIONE 1 1. DESCRIZIONE DEL SISTEMA COSTRUTTIVO 5 1.1 I pannelli modulari 5 1.2 Le pareti tozze in cemento armato gettate in opera realizzate con la tecnologia del pannello di supporto in polistirene 5 1.3 La connessione tra le pareti e la fondazione 6 1.4 Le connessioni tra pareti ortogonali 7 1.5 Le connessioni tra pareti e solai 7 1.6 Il sistema strutturale così ottenuto e le sue caratteristiche salienti 8 2. RICERCA BIBLIOGRAFICA 11 2.1 Pareti tozze e pareti snelle 11 2.2 Il comportamento scatolare 13 2.3 I muri sandwich 14 2.4 Il “ferro-cemento” 15 3. DATI DI PARTENZA 19 3.1 Schema geometrico - architettonico definitivo 19 3.2 Abaco delle sezioni e delle armature 21 3.3 Materiali e resistenze 22 3.4 Valutazione del momento di inerzia delle pareti estese debolmente armate 23 3.4.1 Generalità 23 3.4.2 Caratteristiche degli elementi provati 23 3.4.3 Formulazioni analitiche 23 3.4.4 Considerazioni sulla deformabilità dei pannelli debolmente armati 24 3.4.5 Confronto tra rigidezze sperimentali e rigidezze valutate analiticamente 26 3.4.6 Stima di un modulo elastico equivalente 26 4. ANALISI DEI CARICHI 29 4.1 Stima dei carichi di progetto della struttura 29 4.1.1 Stima dei pesi di piano 30 4.1.2 Tabella riassuntiva dei pesi di piano 31 4.2 Analisi dei carichi da applicare in fase di prova 32 4.2.1 Pesi di piano 34 4.2.2 Tabella riassuntiva dei pesi di piano 35 4.3 Pesi della struttura 36 4.3.1 Ripartizione del carico sulle pareti parallele e ortogonali 36 5. DESCRIZIONE DEL MODELLO AGLI ELEMENTI FINITI 37 5.1 Caratteristiche di modellazione 37 5.2 Caratteristiche geometriche del modello 38 5.3 Analisi dei carichi 41 5.4 Modello con shell costituite da un solo layer 43 5.4.1 Modellazione dei solai 43 5.4.2 Modellazione delle pareti 44 5.4.3 Descrizione delle caratteristiche dei materiali 46 5.4.3.1 Comportamento lineare dei materiali 46 6. ANALISI DEL COMPORTAMENTO STATICO DELLA STRUTTURA 49 6.1 Azioni statiche 49 6.2 Analisi statica 49 7. ANALISI DEL COMPORTAMENTO DINAMICO DELLA STRUTTURA 51 7.1 Determinazione del periodo proprio della struttura con il modello FEM 51 7.1.1 Modi di vibrare corrispondenti al modello con solai e pareti costituiti da elementi shell 51 7.1.1.1 Modi di vibrare con modulo pari a E 51 7.1.1.2 Modi di vibrare con modulo pari a 0,5E 51 7.1.1.3 Modi di vibrare con modulo pari a 0,1E 51 7.1.2 Modi di vibrare corrispondenti al modello con solai infinitamente rigidi e pareti costituite da elementi shell 52 7.1.2.1 Modi di vibrare con modulo pari a E 52 7.1.2.2 Modi di vibrare con modulo pari a 0,5E 52 7.1.2.3 Modi di vibrare con modulo pari a 0,1E: 52 7.1.3 Modi di vibrare corrispondenti al modello con solai irrigiditi con bielle e pareti costituite da elementi shell 53 7.1.3.1 Modi di vibrare con modulo pari a E 53 7.1.3.2 Modi di vibrare con modulo pari a 0,5E 53 7.1.3.3 Modi di vibrare con modulo pari a 0,1E 53 7.2 Calcolo del periodo proprio della struttura assimilandola ad un oscillatore semplice 59 7.2.1 Analisi svolta assumendo l’azione del sisma in ingresso in direzione X-X 59 7.2.1.1 Analisi svolta assumendo il modulo elastico E pari a 300000 Kg/cm2 59 7.2.1.1.1 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H e modulo elastico assunto pari ad E 59 7.2.1.1.2 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H e modulo elastico assunto pari ad E 61 7.2.1.1.3 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H, modulo elastico assunto pari ad E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 63 7.2.1.1.4 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H, modulo elastico assunto pari ad E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 66 7.2.1.2 Analisi svolta assumendo il modulo elastico E pari a 150000 Kg/cm2 69 7.2.1.2.1 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H e modulo elastico assunto pari a 0,5E 69 7.2.1.2.2 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H e modulo elastico assunto pari a 0,5E 71 7.2.1.2.3 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H, modulo elastico assunto pari a 0,5 E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 73 7.2.1.2.4 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H, modulo elastico assunto pari a 0,5 E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 76 7.2.1.3 Analisi svolta assumendo il modulo elastico E pari a 30000 Kg/cm2 79 7.2.1.3.1 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H e modulo elastico assunto pari a 0,1E 79 7.2.1.3.2 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H e modulo elastico assunto pari a 0,1E 81 7.2.1.3.3 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H, modulo elastico assunto pari a 0,1E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 83 7.2.1.3.4 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H, modulo elastico assunto pari a 0,1E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 86 7.2.2 Analisi svolta assumendo l’azione del sisma in ingresso in direzione Y-Y 89 7.2.2.1 Analisi svolta assumendo il modulo elastico E pari a 300000 Kg/cm2 89 7.2.2.1.1 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H e modulo elastico assunto pari ad E 89 7.2.2.1.2 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H e modulo elastico assunto pari ad E 91 7.2.2.1.3 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H, modulo elastico assunto pari ad E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 93 7.2.2.1.4 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H, modulo elastico assunto pari ad E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 98 7.2.2.1.5 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H e modulo elastico assunto pari ad E 103 7.2.2.1.6 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H e modulo elastico assunto pari ad E 105 7.2.2.1.7 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H, modulo elastico assunto pari ad E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 107 7.2.2.1.8 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H, modulo elastico assunto pari ad E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 112 7.2.2.2 Analisi svolta assumendo il modulo elastico E pari a 150000 Kg/cm2 117 7.2.2.2.1 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H e modulo elastico assunto pari a 0,5E 117 7.2.2.2.2 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H e modulo elastico assunto pari a 0,5E 119 7.2.2.2.3 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H, modulo elastico assunto pari a 0,5 E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 121 7.2.2.2.4 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H, modulo elastico assunto pari a 0,5 E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 126 7.2.2.2.5 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H e modulo elastico assunto pari a 0,5 E 131 7.2.2.2.6 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H e modulo elastico assunto pari ad E 133 7.2.2.2.7 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H, modulo elastico assunto pari a 0,5E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 135 7.2.2.2.8 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H, modulo elastico assunto pari a 0,5E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 140 7.2.2.3 Analisi svolta assumendo il modulo elastico E pari a 30000 Kg/cm2 145 7.2.2.3.1 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H e modulo elastico assunto pari a 0,1E 145 7.2.2.3.2 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H e modulo elastico assunto pari a 0,1E 147 7.2.2.3.3 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H, modulo elastico assunto pari a 0,1E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 149 7.2.2.3.4 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H, modulo elastico assunto pari a 0,1E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 154 7.2.2.3.5 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H e modulo elastico assunto pari a 0,1 E 159 7.2.2.3.6 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H e modulo elastico assunto pari ad E 161 7.2.2.3.7 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 2/3 H, modulo elastico assunto pari a 0,1E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 163 7.2.2.3.8 Determinazione del periodo proprio della struttura considerando la massa complessiva concentrata a 1/2 H, modulo elastico assunto pari a 0,1E, e struttura resistente costituita dai soli “maschi murari” delle pareti parallele all’azione del sisma 168 7.3 Calcolo del periodo proprio della struttura approssimato utilizzando espressioni analitiche 174 7.3.1 Approssimazione della struttura ad una mensola incastrata di peso Q=ql avente un peso P gravante all’estremo libero 174 7.3.1.1 Riferimenti teorici: sostituzione di masse distribuite con masse concentrate 174 7.3.1.2 Applicazione allo specifico caso di studio in esame con modulo elastico E=300000 kg/cm2 177 7.3.1.3 Applicazione allo specifico caso di studio in esame con modulo elastico E=30000 kg/cm2 179 7.3.2 Approssimazione della struttura ad una mensola incastrata alla base, di peso Q=ql, avente un peso P gravante all’estremo libero e struttura resistente costituita dai soli “maschi murari”delle pareti parallele all’azione del sisma 181 7.3.2.1 Applicazione allo specifico caso di studio in esame con modulo elastico E=300000 kg/cm2 181 7.3.2.2 Applicazione allo specifico caso di studio in esame con modulo elastico E=30000 kg/cm2 186 7.3.3 Approssimazione della struttura ad un portale avente peso Qp = peso di un piedritto, Qt=peso del traverso e un peso P gravante sul traverso medesimo 191 7.3.3.1 Riferimenti teorici: sostituzione di masse distribuite con masse concentrate 191 7.3.3.2 Applicazione allo specifico caso di studio in esame con modulo ellastico E=300000 kg/cm2 192 7.3.3.3 Applicazione allo specifico caso di studio in esame con modulo ellastico E=30000 kg/cm2 194 7.3.4 Approssimazione della struttura ad un portale di peso Qp = peso di un piedritto, Qt=peso del traverso e avente un peso P gravante sul traverso medesimo e struttura resistente costituita dai soli “maschi murari”delle pareti parallele all’azione del sisma 196 7.3.4.1 Applicazione allo specifico caso di studio in esame con modulo elastico E=300000 kg/cm2 196 7.3.4.2 Applicazione allo specifico caso di studio in esame con modulo elastico E=30000 kg/cm2 201 7.3.5 Approssimazione della struttura ad una mensola incastrata di peso Q=ql avente le masse m1,m2....mn concentrate nei punti 1,2….n 206 7.3.5.1 Riferimenti teorici: metodo approssimato 206 7.3.5.2 Applicazione allo specifico caso di studio in esame con modulo elastico E=300000 kg/cm2 207 7.3.5.3 Applicazione allo specifico caso di studio in esame con modulo elastico E=30000 kg/cm2 209 7.3.6 Approssimazione della struttura ad un telaio deformabile con tavi infinitamente rigide 211 7.3.6.1 Riferimenti teorici: vibrazioni dei telai 211 7.3.6.2 Applicazione allo specifico caso di studio in esame con modulo elastico E=300000 kg/cm2 212 7.3.6.3 Applicazione allo specifico caso di studio in esame con modulo elastico E=30000 kg/cm2 215 7.3.7 Approssimazione della struttura ad una mensola incastrata di peso Q=ql avente masse m1,m2....mn concentrate nei punti 1,2….n e studiata come un sistema continuo 218 7.3.7.1 Riferimenti teorici: metodo energetico; Masse ripartite e concentrate; Formula di Dunkerley 218 7.3.7.1.1 Il metodo energetico 218 7.3.7.1.2 Masse ripartite e concentrate. Formula di Dunkerley 219 7.3.7.2 Applicazione allo specifico caso di studio in esame con modulo elastico E=300000 kg/cm2 221 7.3.7.3 Applicazione allo specifico caso di studio in esame con modulo elastico E=30000 kg/cm2 226 7.4 Calcolo del periodo della struttura approssimato mediante telaio equivalente 232 7.4.1 Dati geometrici relativi al telaio equivalente e determinazione dei carichi agenti su di esso 232 7.4.1.1 Determinazione del periodo proprio della struttura assumendo diversi valori del modulo elastico E 233 7.5 Conclusioni 234 7.5.1 Comparazione dei risultati relativi alla schematizzazione dell’edificio con una struttura ad un grado di libertà 234 7.5.2 Comparazione dei risultati relativi alla schematizzazione dell’edificio con una struttura a più gradi di libertà e a sistema continuo 236 8. ANALISI DEL COMPORTAMENTO SISMICO DELLA STRUTTURA 239 8.1 Modello con shell costituite da un solo layer 239 8.1.1 Analisi dinamica modale con spettro di risposta avente un valore di PGA pari a 0,1g 239 8.1.1.1 Generalità 239 8.1.1.2 Sollecitazioni e tensioni sulla sezione di base 242 8.1.1.2.1 Combinazione di carico ”Carichi verticali più Spettro di Risposta scalato ad un valore di PGA pari a 0,1g” 242 8.1.1.2.2 Combinazione di carico ”Spettro di Risposta scalato ad un valore di 0,1g di PGA” 245 8.1.1.3 Spostamenti di piano 248 8.1.1.4 Accelerazioni di piano 248 8.1.2 Analisi Time-History lineare con accelerogramma caratterizzato da un valore di PGA pari a 0,1g 249 8.1.2.1 Generalità 249 8.1.2.2 Sollecitazioni e tensioni sulla sezione di base 251 8.1.2.2.1 Combinazione di carico ” Carichi verticali più Accelerogramma agente in direzione Ye avente una PGA pari a 0,1g” 251 8.1.2.2.2 Combinazione di carico ” Accelerogramma agente in direzione Y avente un valore di PGA pari a 0,1g ” 254 8.1.2.3 Spostamenti di piano assoluti 257 8.1.2.4 Spostamenti di piano relativi 260 8.1.2.5 Accelerazioni di piano assolute 262 8.1.3 Analisi dinamica modale con spettro di risposta avente un valore di PGA pari a 0,3g 264 8.1.3.1 Generalità 264 8.1.3.2 Sollecitazioni e tensioni sulla sezione di base 265 8.1.

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.

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.

Asta medio inferiore del fiume Po: modello matematico per la valutazione delle condizioni di pericolosità idraulica delle aree di pianura

La presente dissertazione illustra lo studio, svolto in ambito di Tesi di Laurea Specialistica, della difesa delle aree di pianura prospicienti il tratto medio inferiore del Fiume Po dalle cosiddette piene al limite della prevedibilità, ovvero quelle aventi intensità al di sopra della quale le procedure di stima statistica perdono di significato a causa della mancanza di eventi osservati confrontabili (Majone, Tomirotti, 2006). In questo contesto si è definito come evento di piena al limite della prevedibiltà un evento con tempo di ritorno pari a cinquecento anni. Lo studio ha necessariamente preso in considerazione e riprodotto attraverso una schematizzazione concettuale le esondazioni all'esterno delle arginature maestre che si verificherebbero in conseguenza ad un evento estremo, quale quello preso in esame, nei comparti idraulici prospicienti l'asta fluviale. Detti comparti sono costituiti dalle zone di pianura latistanti l’asta fluviale, classificate dall'Autorità di Bacino come Fascia C e suddivise in base alla presenza degli affluenti principali del fiume Po e delle principali infrastrutture viarie e ferroviarie situate in tale fascia. Il presente studio persegue l’obiettivo di analizzare alcune politiche di intervento per la mitigazione del rischio alluvionale alternative al sovralzo e ringrosso arginale e ricade all'interno delle linee strategiche individuate dall' AdB-Po per la mitigazione del rischio residuale, ossia quello che permane anche in presenza di opere di difesa progettate e verificate con riferimento ad un ben preciso tempo di ritorno (nel caso in esame Trit = 200 anni). Questa linea di intervento si traduce praticamente individuando sul territorio aree meno "sensibili", in virtù del minor valore o dell'inferiore vulnerabilità dei beni in esse presenti, e dunque adatte ad accogliere i volumi di piena esondabili in occasione di quegli eventi di piena incompatibili con i presidi idraulici preesistenti, le sopra richiamate piene al limite della prevedibilità. L'esondazione controllata dei volumi di piena in tali aree avrebbe infatti il fine di tutelare le aree di maggior pregio, interessate da centri abitati, infrastrutture e beni di vario tipo; tale controllo è da considerarsi auspicabile in quanto sedici milioni di persone abitano la zona del bacino del Po e qui sono concentrati il 55% del patrimonio zootecnico italiano, il 35% della produzione agricola e il 37% delle industrie le quali però sostengono il 46% dei posti di lavoro (fonte AdB-Po). Per questi motivi il Po e il suo bacino sono da considerare come zone nevralgiche per l’intera economia italiana e una delle aree europee con la più alta concentrazione di popolazione, industrie e attività commerciali. Dal punto di vista economico, l’area è strategica per il Paese garantendo un PIL che copre il 40% di quello nazionale, grazie alla presenza di grandi industrie e di una quota rilevante di piccole e medie imprese, nonché d’attività agricole e zootecniche diffuse. Il punto di partenza è stato il modello numerico quasi-bidimensionale precedentemente sviluppato dal DISTART nel 2008 con il software HEC-RAS, la cui schematizzazione geometrica copriva unicamente l'alveo del Fiume (Fasce A e B secondo la denominazione adottata dall'AdB-Po) e le cui condizioni iniziali e al contorno rispecchiavano un evento con tempo di ritorno pari a duecento anni. Si è proceduto dunque alla definizione di nuove sollecitazioni di progetto, volte a riprodurre nelle sezioni strumentate del Po gli idrogrammi sintetici con tempo di ritorno di cinquecento anni messi a punto dal D.I.I.A.R. (Dipartimento di Ingegneria Idraulica, Ambientale e del Rilevamento, DIIAR, 2001) del Politecnico di Milano. Il modello stesso è stato poi aggiornato e considerevolmente modificato. Il risultato consiste in un nuovo modello matematico idraulico di tipo quasi-bidimensionale che, attraverso una schematizzazione concettuale, riproduce il comportamento idraulico in occasione di eventi di piena al limite della prevedibilità per tutte e tre le Fasce Fluviali considerate nel Piano stralcio per l’Assetto Idrogeologico redatto dall'AdB-Po (Fasce A, B C, v. PAI, 1999). I diversi comparti idraulici in cui può essere suddivisa la Fascia C sono stati inseriti nel modello e geometricamente descritti in termini di curve di riempimento, ricavate a partire dal DTM del Bacino del Po attraverso opportune elaborazioni in ambiente GIS (Geographic Information System). Una volta predisposto il modello sono state condotte due tipologie di simulazioni. Una prima serie è stata volta alla definizione in maniera iterativa dei punti critici degli argini maestri, ovvero quelli nei quali si prevedeva avvenisse la tracimazione, e alla modellazione in essi della formazione di brecce, decisive per una corretta riproduzione del fenomeno di esondazione all'esterno delle arginature maestre nell'attuale configurazione; bisogna infatti considerare che le arginature maestre vengono comunemente progettate con il solo fine di contenere le portate di piena in alveo, e che dunque un’eventuale tracimazione induce fenomeni erosivi che solitamente portano all'apertura di una breccia nel manufatto (rotta arginale). Un'ulteriore simulazione ha permesso di valutare l'evoluzione del fenomeno sotto l'ipotesi di un intervento di consolidamento degli argini maestri nei tratti critici (interessati dai sormonti) e quindi di rotta arginale impedita. Il confronto dei risultati ottenuti ha evidenziato i benefici associati ad una laminazione controllata dell'evento di piena all'esterno delle arginature. In questo contesto il termine "controllata" è esclusivamente associato al fenomeno di rotta arginale, come detto inibita per lo scenario ipotetico. I benefici di tale controllo si hanno in termini di volumi, di portate esondate e di tiranti attesi nei comparti idraulici. Lo strumento modellistico predisposto nell’ambito della Tesi di Laurea Specialistica si presta ad essere utilizzato a supporto dell’identificazione su ampia scala delle zone della Fascia C meno “sensibili”, in quanto meno vulnerabili ai fenomeni di allagamento. Questo ulteriore passaggio costituisce il punto di partenza per delineare le strategie ottimali di laminazione controllata in Fascia C degli eventi al limite della prevedibilità al fine della riduzione del rischio idraulico nelle aree di pianura prospicienti il Po, aspetto che verrà affrontato in sviluppi successivi del presente lavoro.

Struttura e distorsioni del processo decisionale nella dinamica competitiva

Nel mondo reale il comportamento umano si rivela essere fallace e distorto, sia a livello individuale che ambientale. L'organizzazione a sua volta non è esente da tali limiti; composta da esseri umani, interagisce con l'ambiente in modo fortemente soggettivo, basandosi sull'intuizione, su informazioni di breve periodo e senza riuscire a comprenderlo pienamente. Il presente lavoro di tesi si occupa di esplorare un ambiente di mercato, in presenza di organizzazioni caratterizzate da un processo decisionale fortemente soggettivo. Tramite alcuni esperimenti su un modello di simulazione, saranno studiate le interazioni delle organizzazioni con l'ambiente. L'obiettivo è quello di ottenere una migliore comprensione del comportamento delle organizzazioni nella dinamica competitiva, soprattutto in relazione a ciò che può garantire un vantaggio competitivo.

Studio parametrico del comportamento di opere di sostegno flessibili mediante modellazione numerica

Oggetto di questa tesi è lo studio parametrico del comportamento di paratie mediante modellazione numerica agli elementi finiti. Si è anche analizzato l’aspetto normativo relativo ad esse ed in particolare si è applicato il D.M. 2008 ad una paratia sottolineando le innovazioni nella progettazione geotecnica. Le paratie sono opere di sostegno flessibili interagenti con i fronti di scavo e costituite da una porzione fuori terra, soggetta a condizioni di spinta attiva, e una porzione interrata che contrappone la resistenza passiva del terreno. Le opere di sostegno flessibile si dividono in due categorie: diaframmi e palancole che differiscono molto fra loro sia per il materiale con cui sono realizzate, sia per la tecnica di messa in opera, sia per la geometria, ma hanno in comune il meccanismo di funzionamento. Sono stati illustrati i metodi di calcolo per lo studio delle paratie: metodi dell’equilibrio limite a rottura, metodi a molle e metodi agli elementi finiti. I metodi agli elementi finiti negli ultimi anni hanno avuto maggior successo grazie alla possibilità di definire il modello costitutivo sforzi-deformazioni, le condizioni al contorno e le condizioni iniziali. Esistono numerosi programmi di calcolo che si basano sul metodo agli elementi finiti, tra i quali è da annoverare il programma Plaxis che viene molto usato grazie alla presenza di vari modelli costitutivi in grado di simulare il comportamento del terreno. Tra i legami costitutivi presenti nel programma Plaxis, sono stati presi in esame il modello Mohr-Coulomb, l’Hardening model e il Soft Soil Creep model e sono poi stati applicati per eseguire uno studio parametrico del comportamento delle paratie. Si è voluto comprendere la sensibilità dei modelli al variare dei parametri inseriti nel programma. In particolare si è posta attenzione alla modellazione dei terreni in base ai diversi modelli costitutivi studiando il loro effetto sui risultati ottenuti. Si è inoltre eseguito un confronto tra il programma Plaxis e il programma Paratie. Quest’ultimo è un programma di calcolo che prevede la modellazione del terreno con molle elasto-plastiche incrudenti. Il lavoro di tesi viene illustrato in questo volume come segue: nel capitolo 1 si analizzano le principali caratteristiche e tipologie di paratie mettendo in evidenza la complessità dell’analisi di queste opere e i principali metodi di calcolo usati nella progettazione, nel capitolo 2 si è illustrato lo studio delle paratie secondo le prescrizioni del D.M. 2008. Per comprendere l’argomento è stato necessario illustrare i principi base di questo decreto e le caratteristiche generali del capitolo 6 dedicato alla progettazione geotecnica. Le paratie sono poi state studiate in condizioni sismiche secondo quanto previsto dal D.M. 2008 partendo dall’analisi degli aspetti innovativi nella progettazione sismica per poi illustrare i metodi pseudo-statici utilizzati nello studio delle paratie soggette ad azione sismica. Nel capitolo 3 si sono presi in esame i due programmi di calcolo maggiormente utilizzati per la modellazione delle paratie: Paratie e Plaxis. Dopo aver illustrato i due programmi per comprenderne le potenzialità, i limiti e le differenze, si sono analizzati i principali modelli costituitivi implementati nel programma Plaxis, infine si sono mostrati alcuni studi di modellazione presenti in letteratura. Si è posta molta attenzione ai modelli costitutivi, in particolare a quelli di Mohr-Coulomb, Hardening Soil model e Soft Soil Creep model capaci di rappresentare il comportamento dei diversi tipi di terreno. Nel capitolo 4, con il programma Plaxis si è eseguita un’analisi parametrica di due modelli di paratie al fine di comprendere come i parametri del terreno, della paratia e dei modelli costitutivi condizionino i risultati. Anche in questo caso si è posta molta attenzione alla modellazione del terreno, aspetto che in questa tesi ha assunto notevole importanza. Dato che nella progettazione delle paratie è spesso utilizzato il programma Paratie (Ceas) si è provveduto ad eseguire un confronto tra i risultati ottenuti con questo programma con quelli ricavati con il programma Plaxis. E’ stata inoltra eseguita la verifica della paratia secondo le prescrizioni del D.M. 2008 dal momento che tale decreto è cogente.

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.

Dinamica della ricchezza in un mercato finanziario con agenti eterogenei

Scopo della tesi è studiare la co-evoluzione nei mercati finanziari tra agenti eterogenei, analizzare l’andamento dei prezzi delle azioni e la ricchezza individuale di ciascun agente dopo un periodo di tempo non specificato. Il mercato finanziario è costituito da un numero arbitrario di agenti eterogenei che investono sui titoli parte della loro ricchezza adottando strategie che vadano ad ottimizzare il ritorno economico dopo ogni periodo di tempo. Consideriamo un sistema dinamico con uno scheletro deterministico. Il sistema che descrive questo modello è un sistema di equazioni non lineari e studiamo le condizioni di stabilità per ciascun stato di equilibrio. Consideriamo in particolare due tipologie di agenti; Il primo, cosiddetto cartista ed il secondo, cosiddetto fondamentalista. Ci riferiamo poi alla teoria delle biforcazioni, cioè allo studio del cambio di stabilità del sistema rispetto ad un parametro. Chi tra i due agenti avrà la meglio?? A quali condizioni sopravviverà l’uno o l’altro?

Modello di calcolo per la valutazione delle prestazioni propulsive di un motore ibrido

Questo lavoro di tesi, svolto presso AVIO S.P.A, sede di Colleferro (RM), divisione spazio, si inserisce all'interno del progetto Theseus, che ha come scopo finale lo sviluppo di un dimostratore di un motore ibrido a combustibile solido e ossidante gassoso. In particolare, in questo momento è richiesto un codice di calcolo, preciso ma allo stesso tempo abbastanza contenuto nei tempi di calcolo, che permetta l'analisi e le previsioni della balistica interna di tale motore ibrido. Il codice di calcolo si basa su una versione già esistente per i motori a solido (CUBIC) scritto in ambiente FORTRAN, ed è stato riadattato ai motori ibridi. In particolare è stata scritta una routine per il calcolo della velocità di combustione che tiene conto di diversi fattori, tra cui blowing e il fenomeno di entrainment presente in superficie. Sempre per quanto riguarda la velocità di combustione, nel suo calcolo si tiene conto dell'impingement dell'iniettore sul grano e del valore locale (per quanto riguarda la temperatura di fiamma) dell'O/F. Inoltre è stato anche modellato il comportamento termodinamico delle eventuali protezioni termiche presenti internamente al motore, considerando tutti i fenomeni di pirolisi e ablazione che caratterizzano tali materiali. In fine il modello completo è stato testato e validato grazie al fatto che si disponeva di alcuni tiri al banco di un motore ibrido, effettuati presso il dipartimento di Ingegneria Aerospaziale dell'Università di Napoli Federico II.