calcolo, materiale disponibile:

  • Contributo allo studio dell'apprendimento delle abilità di calcolo

    Autore: Irene Gastaldello

    Abstract: Il numero caratterizza la vita di ciascuno di noi e parlandone dobbiamo tenere in considerazione il fatto che se il contare, inteso come acquisizione di parole-numero, è indubbiamente un’abilità appresa che dipende dal linguaggio, si può avere certo il concetto di numero e possedere il significato della quantità, senza conoscere il simbolismo delle cifre. Per decenni l’ipotesi di Piaget ha sostenuto la dipendenza della competenza numerica dalle strutture dell’intelligenza generale, ma numerose »

  • I Logaritmi

    Autore: Ignazio Cucinotta

    Abstract: Il presente lavoro intende esaminare, nella maniera più completa possibile, il mondo dei logaritmi, la cui scoperta segna indubbiamente una data fondamentale nel cammino della matematica. I logaritmi sono uno strumento potentissimo per il calcolo numerico, dato il loro potere di abbassare di grado le difficoltà di una operazione matematica, specie pri ma dell'avvento delle macchine calcolatrici. Essi vengono anche in soccorso al calcolo differenziale che senza la scoperta dei logaritmi, e »

  • Verifica e ottimizzazione della distribuzione ad ingranaggi dei motori industriali e marini VM serie D, R, MD e MR con i software KISSsoft e KISSsys

    Autore: Stefano Bianchetti

    Abstract: Scopo di questa tesi è l’analisi della distribuzione ad ingranaggi dei motori industriali e marini serie D, R, MD, MR della VM Motori di Cento (FE), con l’ausilio della versione Demo dei software commerciali KISSsoft-KISSsys, per valutarne il possibile acquisto. Gli oggetti di studio sono propulsori diesel, dotati di iniezione diretta, con pompa meccanica o sistema common rail. I motori presentano una struttura modulare, per ottenere una maggiore standardizzazione dei componenti, e ne esistono »

  • Analisi degli item in prove di consapevolezza fonologica e denominazione per bambini di 6 anni

    Autore: Alice Carella

    Abstract: Questo lavoro fa parte di una ricerca più ampia finalizzata alla costruzione e alla standardizzazione di una batteria di test (“PAC-SP1. Prove di abilità cognitive per la prima primaria” di Scalisi, Desimoni e Montessori, in preparazione) composta da un totale di 16 item che valutano la Consapevolezza Fonologica, la Memoria a Breve Termine e la Memoria di Lavoro, l’Abilità di Denominazione e le Abilità Visuo-spaziali, e alla verifica della loro validità predittiva nei confronti della lettura, »

  • Impatto Ambientale della valorizzazione di residui ligno-cellulosici. Caso di una bioraffineria integrata

    Autore: Alberto Nigro

    Abstract: Nella presente tesi viene primariamente descritta la questione energetica globale in materia di fonti fossili e non, successivamente viene elaborato un metodo di valutazione dell’impatto ambientale relativo alla variazione del processo di valorizzazione delle biomasse lignocellulosiche, in particolare nel passaggio dalla combustione diretta del residuo per la produzione di energia elettrica alla produzione di biocombustibili di seconda generazione(etanolo). Il metodo è stato valutato sulla base »

  • Realizzazione di una procedura per determinare le deformazioni di un'imbarcazione a vela

    Autore: Ernesto Desiderio

    Abstract: Nel presente lavoro di Tesi si è realizzata e messa a punto una procedura di calcolo per l'analisi statica strutturale di un’imbarcazione a vela. Sulla base di coordinate numeriche, relative a una barca reale, si è disegnato il modello della scafo con il software CATIA, si è poi importata la geometria all'interno del programma Ansys Workbench dove è stata discretizzata; gli è stato applicato un sistema di carico simulante albero e sartiame, ed infine è stato effettuato il calcolo delle »

  • Realizzazione di una procedura di calcolo strutturale per imbarcazioni a vela

    Autore: Andrea Rosiello

    Abstract: Nella progettazione nautica, l’impiego del software sta assumendo un ruolo sempre più centrale perché dalle potenzialità offerte dalla modellazione tridimensionale deriva la possibilità di gestire una gamma di problematiche eterogenee ma finalizzate a comune obiettivo di ottimizzazione progettuale. L’analisi strutturale mediante software agli elementi finiti dei componenti di un’imbarcazione si colloca in tale ambito, e si avvale delle geometrie tridimensionali sviluppate in ambiente CAD. I »

  • Una macchina di riduzione per il λ-calcolo con valutazione dei costi

    Autore: Leonardo Simone

    Abstract: L’obiettivo della tesi è quello di realizzare un valutatore per il lambda-calcolo e, implementare su di esso, un modello di costi per la beta -regola, in quanto essa non può essere considerata un’operazione primitiva. La macchina realizzata rappresenta un caso particolare della Macchina Universale per il LambdaDelta- calcolo proposta da Simona Ronchi della Rocca e Luca Paolini, poichè è possibile selezionare l’insieme dei valori di input e l’insieme dei valori di output da un sottoinsieme »

  • Calcolo distribuito con MPI sotto Windows: configurazione della rete, implementazione e valutazione di test

    Autore: Angelo Cecere

    Abstract: Recentemente, sotto la spinta di tecnologie dapprima impensabili ora comuni, il trattamento delle informazioni si è fortemente automatizzato. Come un cane che insegue la propria coda, tale automatizzazione spinge alla ricerca di nuovi traguardi da raggiungere, nuove informazioni da trattare e, di riflesso, a nuove esigenze tecnologiche volte a far fronte alla maggiore complessità dei problemi da risolvere. Fino a qualche anno fa, la sempre crescente domanda di maggiori risorse di calcolo veniva »

  • Parole di peso piccolo dei codici Hermitiani

    Autore: Chiara Marcolla

    Abstract: Studio dei codici Hermitani della prima fase. Calcolo del numero di parole di peso d e peso d+1. »