175 resultados para logica matematica cardinalità insiemi cardinali ordinali ipotesi continuo Cantor


Relevância:

20.00% 20.00%

Publicador:

Resumo:

Introduzione a tecniche di web semantico e realizzazione di un approccio in grado di ricreare un ambiente familiare di un qualsiasi motore di ricerca con funzionalità semantico-lessicali e possibilità di estrazione, in base ai risultati di ricerca, dei concetti e termini chiave che costituiranno i relativi gruppi di raccolta per i vari documenti con argomenti in comune.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

In questo studio si esamina la ricostruzione di Porta Aurea a Ravenna, edificio di epoca romana ormai scomparsa ma di cui rimangono molti documenti sia a livello di tradizione storica locale che per quanto riguarda disegni di illustri architetti come Andrea Palladio. Il processo di ricostruzione si articola sull’uso di materiale distintamente catalogato a seconda di diversi gradi di incertezza. Per giungere alla costruzione sono state effettuate anche due campagne di rilievo con la tecnica di acquisizione del Laser Scanner Leica C10 all-in-one. La prima presso il Museo Nazionale di Ravenna, dove sono tutt’oggi conservati alcuni frammenti architettonici di pregio provenienti da Porta Aurea. Una seconda indagine di rilievo è stata invece effettuata presso le mura di Ravenna in Via di Porta Aurea ove rimangono i resti delle porzioni di mura o meglio torrioni verticali che incorniciavano il monumento ravennate. Sintesi finale di questo lavoro è il raggiungimento di un modello “possibile” ma comunque ideale desunto dall’intreccio di diverse fonti iconografiche al fine di una possibile fruizione museale presso lo stesso Museo Nazionale di Ravenna.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Lo studio in esame si pone l'obiettivo di fornire dati sintetici ma rappresentativi del comportamento statico e sismico dell'Istituto di Matematica di Bologna (1965). Nella prima parte vengono descritte le fasi di conoscenza della geometria degli elementi e delle caratteristiche meccaniche dei materiali componenti la struttura in calcestruzzo armato. Nella seconda parte vengono descritte le verifiche condotte (SLE, SLU) e proposti i risultati sotto forma di istogrammi. Viene posta particolare attenzione alle verifiche sismiche allo SLV per le quali l' edificio mostra un comportamento critico.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Percorso didattico alternativo dall'insieme alla struttura matematica con analisi di libri di testo di scuole superiori.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

All'interno della tesi si tratta il modello del calore, di cui si trova una rappresentazione integrale della soluzione fondamentale e da questa, attraverso la seconda identità di Green, vengono ricavate le formule di media superficiali e di volume sugli insiemi di livello su cui è definita la soluzione fondamentale.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

La letteratura mostra come siano innumerevoli le difficoltà e gli ostacoli nell'apprendimento del concetto di limite: la ricerca è volta ad ipotizzare un possibile aiuto e supporto alla didattica con l'utilizzo della storia della matematica relativa al concetto di limite.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Il teorema della mappa di Riemann è un risultato fondamentale dell'analisi complessa che afferma l'esistenza di un biolomorfismo tra un qualsiasi dominio semplicemente connesso incluso strettamente nel piano ed il disco unità. Si tratta di un teorema di grande importanza e generalità, dato che non si fa alcuna ipotesi sul bordo del dominio considerato. Inoltre ha applicazioni in diverse aree della matematica, ad esempio nella topologia: può infatti essere usato per dimostrare che due domini semplicemente connessi del piano sono tra loro omeomorfi. Presentiamo in questa tesi due diverse dimostrazioni del teorema.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Il mercato, in questi ultimi dieci anni, si è modificato in un qualcosa di più globale e competitivo. Questa trasformazione ha imposto alle imprese l’adozione di strategie orientate all’innovazione di prodotto e di processo, e all’efficienza industriale “Environmentally friendly” di lungo periodo. Le aziende, infatti, per competere sia nel territorio nazionale sia in quello internazionale, sono alla costante ricerca di una continua ottimizzazione, attraverso il processo “deming” del miglioramento continuo, delle proprie prestazioni; spesso però capita che massimizzino esclusivamente la performance produttiva, che è stata migliorata con l’introduzione, oramai da circa 35 anni, della Lean production e oggi quindi presenta limitati margini di miglioramento. È alla luce di questo ragionamento che le aziende, quelle più lungimiranti, stanno cercando di dirigersi verso un’altra direzione, ovvero quella che mira a ridurre gli sprechi e le perdite, di risorse naturali, nei processi produttivi, in accordo coi principi della sostenibilità ambientale. Considerando le quantità di risorse naturali messe in gioco in grandi aziende quali la VM Motori S.p.A. possiamo intuire quanta marginalità di miglioramento potremmo ottenere con l’attuazione di processi di miglioramento focalizzati sui singoli aspetti. I primi due capitoli trattano il tema dello sviluppo sostenibile e del S.G.A. in Italia e all’estero. Nel capitolo 3 introduco l’Azienda, descrivo tutte le fasi di processo per la fabbricazione di varie tipologie di motori rigorosamente diesel, l’impianto elettrico, termico e di aria compressa. Nel capitolo 4 faccio l’analisi di tutti gli aspetti e gli impatti ambientali; inoltre, per ogni fattore d’impatto ambientale, verrà compilata la cosiddetta VIA che sarà riassunta nell’ultimo paragrafo. Nel capitolo 5 affronto il concetto del miglioramento continuo applicando la filosofia del World Class Manufacturing che è stato implementato in Azienda.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Considerando l'elevato grado di inquinamento del pianeta e la forte dipendenza delle attività antropiche dai combustibili fossili, stanno avendo notevole sviluppo e incentivazione gli impianti per la produzione di energia elettrica da fonti rinnovabili. In particolare, la digestione anaerobica è in grande diffusione in Italia. Lo studio in oggetto si prefigge l'obiettivo di determinare, mediante analisi di Life Cycle Assessment (LCA), i carichi ambientali di un impianto di digestione anaerobica, e della sua filiera, per valutarne l'effettiva ecosostenibilità. L'analisi considera anche gli impatti evitati grazie all'immissione in rete dell'energia elettrica prodotta e all'utilizzo del digestato in sostituzione dell'urea. Lo studio analizza sei categorie d'impatto: Global warming potential (GWP), Abiotic depletion potential (ADP), Acidification potential (AP), Eutrophication potential (EP), Ozone layer depletion potential (ODP) e Photochemical oxidant formation potential (POFP). I valori assoluti degli impatti sono stati oggetto anche di normalizzazione per stabilire la loro magnitudo. Inoltre, è stata effettuata un'analisi di sensitività per investigare le variazioni degli impatti ambientali in base alla sostituzione di differenti tecnologie per la produzione di energia elettrica: mix elettrico italiano, carbone e idroelettrico. Infine, sono stati analizzati due scenari alternativi all'impianto in esame che ipotizzano la sua conversione ad impianto per l'upgrading del biogas a biometano. I risultati mostrano, per lo scenario di riferimento (produzione di biogas), un guadagno, in termini ambientali, per il GWP, l'ADP e il POFP a causa dei notevoli impatti causati dalla produzione di energia elettrica da mix italiano che la filiera esaminata va a sostituire. I risultati evidenziano anche quanto gli impatti ambientali varino in base alla tipologia di alimentazione del digestore anaerobica: colture dedicate o biomasse di scarto. I due scenari alternativi, invece, mostrano un aumento degli impatti, rispetto allo scenario di riferimento, causati soprattutto dagli ulteriori consumi energetici di cui necessitano sia i processi di purificazione del biogas in biometano sia i processi legati alla digestione anaerobica che, nel caso dello scenario di riferimento, sono autoalimentati. L'eventuale conversione dell'attuale funzione dell'impianto deve essere fatta tenendo anche in considerazione i benefici funzionali ed economici apportati dalla produzione del biometano rispetto a quella del biogas.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Studio del riprofilarsi di due sezioni di spiaggia (protetta e non) secondo diverse condizioni meteo-marine (scenario presente e scenario a breve termine) nella località di Cesenatico. Tale lavoro è stato svolto tramite il software XBeach, riscontrando la sua validità e gettando solide basi per lavori futuri in altre località.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Questa tesi riguarda la formula di Eulero per i poliedri: F - S + V = 2 dove F indica il numero di facce, S il numero di spigoli e V quello dei vertici di un poliedro. Nel primo capitolo tratteremo i risultati ottenuti da Cartesio: egli fu il primo a considerare non solo le caratteristiche geometriche ma anche metriche di un solido. Partendo dall'analogia con le figure piane, riuscì a ricavare importanti relazioni nei solidi convessi, riguardanti il numero e la misura degli angoli piani, degli angoli solidi e delle facce. Non arrivò mai alla formulazione conosciuta oggi ma ne intuì le caratteristiche topologiche, che però non dimostrò mai. Nel secondo capitolo invece ci occuperemo di ciò che scoprì Eulero. Il manoscritto contenente i risultati di Cartesio era scomparso e quindi questi non erano più conosciuti dai matematici; Eulero, in accordo con quanto avviene per i poligoni, desiderava ottenere un metodo di classificazione per i poliedri e si mise a studiare le loro proprietà. Oltre alla sua formula, in un primo articolo ricavò importanti relazioni, e in un secondo lavoro ne propose una dimostrazione. Riportiamo in breve anche un confronto tra il lavoro di Cartesio e quello di Eulero. Il terzo capitolo invece riguarda il metodo e il rigore nella formulazione di teoremi e dimostrazioni: I. Lakatos ne fa un esame critico nel libro "Dimostrazioni e Confutazioni - la logica della scoperta matematica", simulando una lezione dove a tema compaiono la Formula di Eulero e le sue dimostrazioni. Noi cercheremo di analizzare questo suo lavoro. Su questi tre autori e i loro lavori riportiamo alcune considerazioni biografiche e storiche che possono offrire interessanti spunti didattici: infatti nel quarto e ultimo capitolo ci occuperemo di alcune considerazioni didattiche a proposito della Formula. La struttura sarà quella di un'ipotetica lezione a studenti di Scuola Media Inferiore e utilizzeremo i risultati ottenuti nei precedenti capitoli e una personale esperienza di tirocinio.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Questo lavoro è svolto nell’ambito di un progetto di “miglioramento continuo” avviato all’interno dello stabilimento di Forlimpopoli dell’azienda Marcegaglia S.p.A. con lo scopo di migliorare l’efficienza e le condizioni di lavoro lungo le linee produttive. L’elaborato inizia con una breve introduzione all’approccio “kaizen” di miglioramento continuo. Il secondo capitolo descrive lo stabilimento di Forlimpopoli e in particolare le tre linee pilota. Il capitolo tre descrive la pianificazione del progetto. Nel quarto capitolo si illustra a livello sia teorico che pratico l’implementazione del motodo 5S, lo strumento della lean production approntato all’organizzazione e la pulizia dell’area di lavoro. I capitoli cinque e sei trattano rispettivamente le fasi di raccolta e analisi dati, punto di partenza per definire le contromisure e le azioni di miglioramento. Nel settimo capitolo si riportano le contromisure identificate per diminuire i fermi macchina, mentre l’ottavo capitolo tratta l’applicazione della metodologia SMED sulle linee TX001 e TX003. L’ultimo capitolo riassume brevemente i risultati e le azioni svolte.

Relevância:

20.00% 20.00%

Publicador:

Resumo:

Nell'elaborato si introduce il calcolo delle equazioni, un particolare linguaggio predicativo contenente come unico simbolo predicativo quello di uguaglianza. Vengono analizzate le funzioni derivabili in questo linguaggio: le funzioni ricorsive parziali e le funzioni ricorsive primitive. Si accenna al lambda-calcolo che è un particolare linguaggio con cui è possibile, per la sua semplicità, esprimere molte teorie, come quella del calcolo delle equazioni. Infine, si studiano i problemi legati alla ricorsività: il problema della fermata e il problema dell'indecidibilità della logica dei predicati.