929 resultados para polinomi trasposizione didattica definizione schemi di definizione


Relevância:

40.00% 40.00%

Publicador:

Resumo:

UML è ampiamente considerato lo standard de facto nella fase iniziale di modellazione di sistemi software basati sul paradigma Object-Oriented; il suo diagramma delle classi è utilizzato per la rappresentazione statica strutturale di entità e relazioni che concorrono alla definizione delle specifiche del sistema; in questa fase viene utilizzato il linguaggio OCL per esprimere vincoli semantici sugli elementi del diagramma. Il linguaggio OCL però soffre della mancanza di una verifica formale sui vincoli che sono stati definiti. Il linguaggio di modellazione Alloy, inserendosi in questa fase, concettualmente può sopperire a questa mancanza perchè può descrivere con le sue entità e relazioni un diagramma delle classi UML e, tramite propri costrutti molto vicini all'espressività di OCL, può specificare vincoli semantici sul modello che verranno analizzati dal suo ambiente l'Alloy Analyzer per verificarne la consistenza. In questo lavoro di tesi dopo aver dato una panoramica generale sui costrutti principali del linguaggio Alloy, si mostrerà come è possibile creare una corrispondenza tra un diagramma delle classi UML e un modello Alloy equivalente. Si mostreranno in seguito le analogie che vi sono tra i costrutti Alloy e OCL per la definizione di vincoli formali, e le differenze, offrendo nel complesso soluzioni e tecniche che il modellatore può utilizzare per sfruttare al meglio questo nuovo approccio di verifica formale. Verranno mostrati anche i casi di incompatibilità. Infine, come complemento al lavoro svolto verrà mostrata, una tecnica per donare una dinamicità ai modelli statici Alloy.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

La tesi approfondisce lo studio della cinta muraria di Rimini, elemento importantissimo per la comprensione della forma urbana e la conoscenza della storia della città. Nella fase iniziale è stata svolta la ricerca bibliografica e archivistica, cercando di capire le motivazioni e le vicende che hanno portato, in più tappe, alla definizione e all’evoluzione del complesso sistema fortificato. Nella seconda fase del lavoro si è studiato il contesto urbano e paesaggistico ed è stato elaborato un masterplan, avente come obiettivo principale la messa a sistema delle risorse storico-culturali e ambientali della città e i suoi spazi collettivi. In seguito si è approfondito lo studio relativo alla sistemazione architettonica e paesaggistica di due specifici ambiti del masterplan: i giardini delle mura di San Giuliano e l’area dell’anfiteatro romano. Procedendo dalla grande scala al dettaglio, sono state studiate le tecniche costruttive e le tipologie ricorrenti dei principali elementi architettonici della cinta muraria, che testimoniano l’evoluzione stessa dell’architettura militare tra XIV e XV secolo. La fase conclusiva dello studio riguarda in primo luogo la conoscenza dello stato di conservazione e dei principali fenomeni di degrado, e in secondo luogo l’elaborazione di un progetto di conservazione relativo ai due tratti del sistema analizzati e di un più generale piano di manutenzione programmata.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Progettazione del telaio di una macchina automatica formatrice per brik. Per giungere a tale risultato è stato fondamentale risalire alla definizione delle leggi di moto e dei sistemi a camme generanti il movimento delle parti, per poter calcolare correttamente i carichi in gioco sollecitanti la struttura.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

La ricerca ha per oggetto la messa a punto e applicazione di un approccio metaprogettuale finalizzato alla definizione di criteri di qualità architettonica e paesaggistica nella progettazione di aziende vitivinicole medio-piccole, che effettuano la trasformazione della materia prima, prevalentemente di propria produzione. L’analisi della filiera vitivinicola, della letteratura scientifica, della normativa di settore, di esempi di “architetture del vino eccellenti” hanno esplicitato come prevalentemente vengano indagate cantine industriali ed aspetti connessi con l'innovazione tecnologica delle attrezzature. Soluzioni costruttive e tecnologiche finalizzate alla qualità architettonica ed ambientale, attuali dinamiche riguardanti il turismo enogastronomico, nuove funzionalità aziendali, problematiche legate alla sostenibilità dell’intervento risultano ancora poco esplorate, specialmente con riferimento a piccole e medie aziende vitivinicole. Assunto a riferimento il territorio ed il sistema costruito del Nuovo Circondario Imolese (areale rappresentativo per vocazione ed espressione produttiva del comparto vitivinicolo emiliano-romagnolo) è stato identificato un campione di aziende con produzioni annue non superiori ai 5000 hl. Le analisi svolte sul campione hanno permesso di determinare: modalità di aggregazione funzionale degli spazi costruiti, relazioni esistenti con il paesaggio, aspetti distributivi e materico-costruttivi, dimensioni di massima dei locali funzionali alla produzione. Il caso studio relativo alla riqualificazione di un’azienda rappresentativa del comparto è stato utilizzato per la messa a punto e sperimentazione di criteri di progettazione guidati da valutazioni relative alle prestazioni energetiche, alla qualità architettonica e alla sostenibilità ambientale, economica e paesaggistica. L'analisi costi-benefici (pur non considerando le ricadute positive in termini di benessere degli occupanti ed il guadagno della collettività in termini di danni collegati all’inquinamento che vengono evitati in architetture progettate per garantire qualità ambientale interna ed efficienza energetica) ha esplicitato il ritorno in pochi anni dell’investimento proposto, nonostante gli ancora elevati costi di materiali di qualità e dei componenti per il corretto controllo climatico delle costruzioni.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Uno dei temi più discussi ed interessanti nel mondo dell’informatica al giorno d’oggi è sicuramente il Cloud Computing. Nuove organizzazioni che offrono servizi di questo tipo stanno nascendo ovunque e molte aziende oggi desiderano imparare ad utilizzarli, migrando i loro centri di dati e le loro applicazioni nel Cloud. Ciò sta avvenendo anche grazie alla spinta sempre più forte che stanno imprimendo le grandi compagnie nella comunità informatica: Google, Amazon, Microsoft, Apple e tante altre ancora parlano sempre più frequentemente di Cloud Computing e si stanno a loro volta ristrutturando profondamente per poter offrire servizi Cloud adeguandosi così a questo grande cambiamento che sta avvenendo nel settore dell’informatica. Tuttavia il grande movimento di energie, capitali, investimenti ed interesse che l’avvento del Cloud Computing sta causando non aiuta a comprendere in realtà che cosa esso sia, al punto tale che oggi non ne esiste ancora una definizione univoca e condivisa. La grande pressione inoltre che esso subisce da parte del mondo del mercato fa sì che molte delle sue più peculiari caratteristiche, dal punto di vista dell’ingegneria del software, vengano nascoste e soverchiate da altre sue proprietà, architetturalmente meno importanti, ma con un più grande impatto sul pubblico di potenziali clienti. L’obbiettivo che ci poniamo con questa tesi è quindi quello di esplorare il nascente mondo del Cloud Computing, cercando di comprenderne a fondo le principali caratteristiche architetturali e focalizzando l’attenzione in particolare sullo sviluppo di applicazioni in ambiente Cloud, processo che sotto alcuni aspetti si differenzia molto dallo sviluppo orientato ad ambienti più classici. La tesi è così strutturata: nel primo capitolo verrà fornita una panoramica sul Cloud Computing nella quale saranno date anche le prime definizioni e verranno esposti tutti i temi fondamentali sviluppati nei capitoli successivi. Il secondo capitolo costituisce un approfondimento su un argomento specifico, quello dei Cloud Operating System, componenti fondamentali che permettono di trasformare una qualunque infrastruttura informatica in un’infrastruttura Cloud. Essi verranno presentati anche per mezzo di molte analogie con i classici sistemi operativi desktop. Con il terzo capitolo ci si addentra più a fondo nel cuore del Cloud Computing, studiandone il livello chiamato Infrastructure as a Service tramite un esempio concreto di Cloud provider: Amazon, che fornisce i suoi servizi nel progetto Amazon Web Services. A questo punto, più volte nel corso della trattazione di vari temi saremo stati costretti ad affrontare le problematiche relative alla gestione di enormi moli di dati, che spesso sono il punto centrale di molte applicazioni Cloud. Ci è parso quindi importante approfondire questo argomento in un capitolo appositamente dedicato, il quarto, supportando anche in questo caso la trattazione teorica con un esempio concreto: BigTable, il sistema di Google per la gestione della memorizzazione di grandi quantità di dati. Dopo questo intermezzo, la trattazione procede risalendo lungo i livelli dell’architettura Cloud, ricalcando anche quella che è stata l’evoluzione temporale del Cloud Computing: nel quinto capitolo, dal livello Infrastructure as a Service si passa quindi a quello Platform as a Service, tramite lo studio dei servizi offerti da Google Cloud Platform. Il sesto capitolo costituisce invece il punto centrale della tesi, quello che ne soddisfa l’obbiettivo principale: esso contiene infatti uno studio approfondito sullo sviluppo di applicazioni orientate all’ambiente Cloud. Infine, il settimo capitolo si pone come un ponte verso possibili sviluppi futuri, analizzando quali sono i limiti principali delle tecnologie, dei modelli e dei linguaggi che oggi supportano il Cloud Computing. In esso viene proposto come possibile soluzione il modello ad attori; inoltre viene anche presentato il framework Orleans, che Microsoft sta sviluppando negli ultimi anni con lo scopo appunto di supportare lo sviluppo di applicazioni in ambiente Cloud.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

In questo lavoro verrà analizzato lo sviluppo di una nuova modellazione matematica per la simulazione della dinamica del flusso all’interno del sistema di aspirazione per motori sovralimentati. Tale modellazione si basa sulla risoluzione numerica mediante la formulazione proposta da Courant, Isaacson e Rees (CIR) nel 1952 per il set delle equazioni non conservative di Eulero per il caso monodimensionale. L’applicazione attraverso il software Matlab-Simulink di tali discretizzazioni numeriche garantisce la possibilità di calcolare la dinamica del flusso all’interno del condotto. L’innovazione proposta da questo lavoro consiste nel considerare l’intero stato da iterare come un vettore, permettendo di gestire parte delle operazioni da compiere con delle matrici. Questo approccio è stato adottato sia per una maggior velocità di calcolo, sia per rendere più agevole la modifica della geometria, ad esempio in fase di progettazione. La routine di lancio del nuovo modello, infatti, gestirà autonomamente la scrittura delle matrici, a partire dai pochi parametri necessari per la definizione della geometria all’interno del codice. Si andranno quindi a presentare i passaggi più importanti che hanno portato alla scrittura del codice, con particolare attenzione poi alla fase di validazione del modello. Essa sarà basata sia su un altro codice presente in letteratura, modellato anch’esso attraverso risoluzione CIR, sia mediante dati sperimentali utilizzati per la validazione di tale implementazione. Seguirà infine un’analisi dettagliata sui fattori che influenzano, positivamente e negativamente, l’esito delle simulazioni realizzate, come la discretizzazione spaziale e quella temporale, prestando sempre particolare attenzione alla stabilità del metodo.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Obiettivo generale dello studio è rivolto alla definizione di linee d’indirizzo volte alla riqualificazione paesaggistica, per l’integrazione ed il recupero delle corti e degli edifici moderni dei centri aziendali agricoli a carattere multifunzionale in territorio rurale, attraverso soluzioni appropriate sia sul piano tecnologico-formale che su quello economico-funzionale. Con riferimento ad un’area studio sovracomunale della provincia di Bologna (Regione Emilia-Romagna), si è determinato, quale obiettivo specifico, l’individuazione delle possibili soluzioni di riqualificazione, da realizzarsi in economia, cioè primariamente attraverso i mezzi e le competenze normalmente disponibili in un’azienda agricola di questo tipo. A seguito del riconoscimento dei caratteri specifici e dei tipi edilizi degli edifici rurali tradizionali nella pianura emiliano romagnola, dell’identificazione delle metodologie d’indagine dei caratteri degli edifici rurali in letteratura, nonché dell’analisi della normativa di riferimento in materia di aziende multifunzionali, sono state definite le aziende studio, appartenenti ad aree geografiche differenti. La metodologia d’indagine individuata è stata condotta per la determinazione delle tipologie costruttive, dei materiali utilizzati e dei requisiti delle aziende, in relazione alle diverse specificità, alla definizione funzionale degli spazi costruiti, degli spazi aperti e delle differenti relazioni fra essi e l’identificazione ed analisi dei percorsi delle diverse tipologie di fruitori. L’identificazione delle criticità dei caratteri architettonici riscontrate, sia negli edifici agricoli sia nella corte, ha condotto al riconoscimento degli ambiti di intervento per la progettazione delle soluzioni di riqualificazione funzionale e paesaggistica, attraverso lo studio delle possibili soluzioni per la schermatura o rivalorizzazione sia degli edifici moderni di servizio all’agricoltura (analizzando le potenzialità progettuali offerte dalle pareti verdi, dai brise soleil, dalle facciate ventilate o da intonaci e tinteggiature), sia per la riqualificazione dei percorsi e degli aspetti paesaggistici (intervenendo sulla proposta di materiali da pavimentazione, e delle essenze da utilizzare), da realizzarsi in economia, ma comparati con alternative proposte di tipo commerciale.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Il lavoro di ricerca descrive il percorso che ha portato alla redazione del Piano Strutturale del Verde del Comune di Senigallia (AN), quale strumento capace di migliorare la qualità di vita ed il benessere della città, intesa come ecosistema, e dei cittadini, quali parte integrante e, al tempo stesso, fruitori di suddetto ecosistema. Lo studio ha pertanto previsto dapprima un'analisi approfondita e dettagliata dell’intero territorio comunale e, successivamente, la stesura di linee guida e la definizione di soluzioni progettuali tipo indirizzate ad una pianificazione e gestione sostenibile del territorio. Il lavoro svolto non si limita alla descrizione del Piano Strutturale del Verde, ma illustra anche un caso studio francese, quale modello di analisi dell'iter successivo, che è consigliabile seguire dopo l'approvazione di questo tipo di Piani, al fine di renderli concreti ed operativi ed attuare, quindi, le linee guida da essi definite. L’obiettivo risulta dunque quello di evitare che questo importante strumento di pianificazione e gestione del territorio sia dimenticato in un cassetto degli Uffici Comunali.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

L’obiettivo del presente lavoro è verificare l’affidabilità di una parte di macchina radiologica di Cefla Dentale, nello specifico del gruppo di fissaggio paziente, attraverso la valutazione sperimentale della risposta strutturale della stessa. Partendo dall’analisi dell’architettura e del funzionamento dei singoli sottosistemi del gruppo, sono stati definiti gli obiettivi (in relazione alle prestazioni desiderate) e la tipologia di prova; a seguire, si è passati alla pianificazione dei test, comprendente l’individuazione dei parametri da monitorare per la verifica finale, la definizione dei carichi nominali, del numero di cicli di funzionamento (corrispondenti alla vita utile media) e la definizione di attrezzature idonee allo scopo specifico. L’intento è stato quello di eseguire i test con contrazione dei tempi di prova, utilizzando come fattori di accelerazione la frequenza di funzionamento unitamente all’applicazione di opportuni sovraccarichi, con il duplice scopo di fare emergere eventuali elementi critici ma in un tempo nettamente inferiore a quello reale di funzionamento della macchina.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Scopo della tesi è la realizzazione di una carta della vegetazione su base fisionomica del SIC “IT4080008 Balze di Verghereto, Monte Fumaiolo, Ripa della Moia” (Provincia di Forlì-Cesena). Tale area, di rilevante interesse naturalistico, è stata fino ad ora scarsamente indagata dal punto di vista vegetazionale. La carta della vegetazione è stata ottenuta mediante interpretazione a video delle Ortofoto AGEA 2008 digitali e successiva restituzione cartografica con il software ArcGIS 9.3. Per la delimitazione delle abieti-faggete sono state utilizzate anche le immagini ad infrarosso del medesimo volo. I poligoni ottenuti dall’interpretazione sono stati verificati a terra mediante opportuni sopralluoghi. Sono stati inoltre eseguiti campionamenti mediante la tecnica del transetto per valutare le dinamiche della vegetazione con particolare riguardo al margine boscoprato/ pascolo, le tipologie più diffuse nel SIC. I dati raccolti hanno riguardato l’identificazione e la localizzazione degli individui nel transetto, l’altezza, il diametro, l’estensione della chioma e la determinazione dell’età per le specie arboree. L’elaborazione dei transetti è accompagnata da una restituzione grafica con il posizionamento delle diverse specie, delle loro altezze e dell’estensione delle chiome, consentendo l’effettuazione di ulteriori considerazioni sulle aree indagate. Di particolare interesse è l’acquisizione dei dati relativi alla rinnovazione di Fagus sylvatica e Quercus cerris,le specie che danno la fisionomia alle principali formazioni forestali del SIC. La definizione della carta fisionomica rappresenta un documento di base indispensabile per una successiva elaborazione di una carta della vegetazione su base fitosociologica, mentre l’analisi sui transetti ha evidenziato come i fenomeni evolutivi della vegetazione siano diffusi, seppur con modalità e gradi diversi.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Questa tesi di laurea nasce dall’esperienza maturata presso la VM Motori S.p.A., ufficio CRM (Centro Ricerca Motori) di ingegneria, divisione del reparto R&D (Research and Development) situato a Cento di Ferrara. Durante tale esperienza sono state affrontate le problematiche inerenti al settore automotive riguardo la ricerca e lo sviluppo dei motori endotermici diesel. Dopo un approccio introduttivo, che definisce l’ambito lavorativo in cui opera VM Motori S.p.A. e l’oggetto della tesi, si passa alla definizione ed alla calibrazione di un circuito low pressure EGR di un propulsore diesel da 200HP@3800rpm di potenza e 500Nm@1600rpm di coppia per uso automobilistico, mediante l’ausilio dei software AδαMO, INCA, Controldesk Next Generation, DoE, DIAdem ed INDICOM, software per lo studio della calibrazione al banco sviluppo. Si analizzano gli aspetti che contraddistinguono la VM Motori S.p.A. dalle altre aziende specializzate nel settore automotive, facendo riferimento ai campi produttivi in cui si applica l’ingegneria meccanica ed analizzandone gli aspetti tecnici, metodici e gestionali. Da notare il ruolo fondamentale delle automotive nell’economia mondiale in riferimento alla produzione dei principali propulsori diesel, primarie fonti produttive della VM.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

L’oggetto dell’analisi si situa all’intersezione di diversi ambiti disciplinari: letteratura, scienze dell’educazione, sociologia, psicologia. Nel presente lavoro, viene privilegiata un’analisi tematica della narrativa e la definizione identitaria delle “infanzie migranti” viene declinata seguendo percorsi di lettura che mettano in risalto alcune prospettive ricorrenti nei romanzi. Il corpus letterario selezionato include alcuni romanzi scritti in lingua inglese da sei scrittrici di origine indiana, in particolare Jamila Gavin, Rachna Gilmore, Anjali Banerjee, Rukhsana Khan, Ravinder Randhawa e Meera Syal. Nel primo capitolo si tracciano le premesse teoriche e metodologiche del lavoro, definendo il genere della letteratura per l’infanzia e interrogandoci sulle sue specificità in un contesto postcoloniale qual è quello indiano. Il secondo capitolo è dedicato alla definizione identitaria delle seconde generazioni, in particolar modo di quelle indo-britanniche e indo-canadesi, cui appartengono i protagonisti dei romanzi presi in esame. Nel terzo capitolo viene posta attenzione agli elementi che concorrono alla definizione identitaria dei giovani protagonisti dei romanzi, i quali si interrogano sul loro essere e sull’appartenenza interculturale. I dialoghi intergenerazionali tra i protagonisti e i nonni - o altre figure di guida - permettono alle scrittrici di raccontare la storia dell’India coloniale e della lotta per l’indipendenza dal punto di vista degli esclusi dalla storiografia ufficiale. Nel capitolo conclusivo si argomenta invece come la definizione identitaria si attui per mezzo dello spazio, tramite l’appartenenza ai luoghi, spazi caricati di significato, e per mezzo del viaggio, che può essere reale, immaginario o iniziatico. In tutti i casi, il viaggio porta alla scoperta del Sé, di un’identità ibrida e molteplice da parte dei personaggi.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Questa tesi di laurea nasce dall’approfondimento del progetto che abbiamo sviluppato nel laboratorio di progettazione architettonica frequentato presso la Middle East Technical University, METU, di Ankara, Turchia, durante l’anno accademico 2011-12. La prima parte del corso, tenuto dai professori S. Özkan e Z. Mennan, consisteva nello studio e analisi critica dei progetti in concorso per il bando “Istanbul Theme Park” e nella riproposizione, da presentare a gruppi, di uno dei masterplan studiati, con le modifiche ritenute necessarie a fronte delle considerazioni fatte e di nuove idee progettuali. Lo step successivo è stato quello di approfondire individualmente la progettazione architettonica di un area di almeno 100.000 mq in scala 1:500 e di un edificio in dettaglio 1:200. Date le tempistiche molto ridotte del corso, che si completava in tredici settimane, abbiamo scelto di continuare il lavoro e approfondire, con l’aiuto della prof.ssa V. Orioli e dell’arch. E. Brighi, l’elaborazione del masterplan arrivando ad una definizione maggiore di tutta l’area e non solamente delle aree di interesse approfondite durante la permanenza in Turchia. Il progetto presentato è quindi il frutto di un anno di lavoro sulla riqualificazione di un area di 150 ettari precedentemente adibita a discarica, situata nella parte occidentale di Istanbul. L’obiettivo che abbiamo perseguito è stato quello di ricreare nella periferia della metropoli turca uno stralcio di città con caratteri più “europei”, comprendendo in un solo grande ambito di progetto tutte le funzioni necessarie alla vita di un quartiere cittadino ma anche le grandi strutture attrattive richieste dal concorso. Durante il nostro percorso abbiamo cercato anche di non perdere di vista il contesto in cui lavoravamo e le abitudini della società turca con cui ci andavamo a confrontare. Nonostante la forte occidentalizzazione delle zone ricche delle grandi città come Istanbul, Ankara e Izmir, gli stili di vita europeo e turco sono fondamentalmente differenti e progettare una città, o uno stralcio di essa, per un popolo diverso necessita la conoscenza dei suoi valori fondamentali e delle abitudini che ne scandiscono le giornate.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Il progetto di tesi vede come oggetto l’insediamento minerario zolfifero di Formignano. Il lotto si trova in un parco naturalistico di grande bellezza, all’interno di un fitto sistema di itinerari cicloturistici che attirano appassionati da tutta Italia. La storia di questo luogo è stata ricostruita grazie ai rilievi effettuati nel 1985 da Giordano Conti e grazie alle fonti dell’Archivio Storico di Cesena, che hanno permesso uno studio approfondito del complesso di edifici, dei suoi momenti di accrescimento e del rapporto con il parco circostante. L’analisi è proseguita con una fase di ricerca puntuale sulla consistenza materica dei fabbricati e di indagine dello stato di conservazione. Il complesso sistema di edifici si trova in uno stato di conservazione precario dove le strutture sono fortemente compromesse. Questo ha portato all’elaborazione di un programma di rifunzionalizzazione dell’insediamento e alla definizione di molteplici interventi che si adattassero ad ogni caso specifico. L’idea di base prevede una valorizzazione del lotto e del parco naturalistico che lo circonda, realizzando un centro polifunzionale. Da queste ricerche e questi studi sull’insediamento sono emerse le principali criticità che hanno portato alla definizione di un progetto che vede l’utilizzo di due macrocategorie di interventi, applicati a due edifici, e applicabili a tutto il lotto: da una parte, per gli edifici in buono stato di conservazione, si prevedono operazioni dedicate alla manutenzione e al restauro vero e proprio delle strutture; dall’altra parte, per gli edifici di cui rimangono solo pochi resti, si prevedono opere legate alla riprogettazione. Secondo questa logica si è realizzato un progetto che miri alla valorizzazione, al recupero e alla riprogettazione dell’insediamento, e che possa avere sempre un atteggiamento di rispetto per l’identità dei manufatti e del parco in cui è inserito.