La logica del secondo ordine e la prova ontologica di Gödel

Nel mio lavoro ho deciso di dedicare il primo capitolo all'evoluzione della prova ontologica nella storia della filosofia e della logica e all'analisi, da un punto di vista logico, della prova di Gödel. Nella prima sezione, quindi, ho riportato l'argomentazione di Anselmo d'Aosta, il primo a proporre una prova ontologica, e a seguire quelle di Scoto, Spinoza, Leibniz e Russell, evidenziando dove opportuno le critiche ad esse apportate. Nella seconda sezione ho ripercorso le tappe della prova ontologica di Gödel e ho riportato e analizzato alcuni dei passaggi logici tratti da uno dei suoi taccuini. Nel secondo capitolo ne ho analizzato in particolare la logica del secondo ordine. Inoltre ho dedicato la prima sezione a un breve richiamo di logica modale S5. Ho infine brevemente trattato un caso particolare della logica del secondo ordine, vale a dire la logica del secondo ordine debole.

Progetto e sviluppo di un banco prova per articolazioni protesiche attive ad un grado di libertà basato su programmable automation controller e motion capture

L'elaborato descrive il lavoro svolto in cinque mesi presso il Centro Protesi INAIL di Budrio (BO), che ha portato allo sviluppo di un banco prova per testare articolazioni elettromeccaniche. I dispositivi target, in particolare, sono stati due gomiti mioelettrici: il primo di produzione interna INAIL e il secondo prodotto da Selex ES in collaborazione con il Centro Protesi stesso. Per il controllo del movimento e l'acquisizione dei segnali elettrici si è scelto il PAC CompactRIO (National Instruments), mentre per le acquisizioni cinematiche di angolo e velocità angolare si è sfruttata la stereofotogrammetria.

Studio e ottimizzaziore di un dispositivo per variare la quota in banchi prova terrestri

Banco prova innovativo per motori a pistoni in alta quota.

Studio e ottimizzazione di un banco prova per alta quota

Ottimizzazione di banco prova per motore a pistoni in alte quote.

Definizione del sistema di acquisizione e controllo di una sala prova motori

L’obiettivo della tesi è l’integrazione di alcuni dispositivi AVL e di un motore elettrico passo-passo lineare all’interno di un sistema di controllo e acquisizione dati per una sala prova motori. La sala prove in cui è svolto il lavoro è quella del laboratorio Hangar del Dipartimento di Ingegneria Industriale di Forlì. Inizialmente viene proposta una breve descrizione della sala prove; essa è divisa in una parte hardware, in cui vengono spiegati i principali device utilizzati per il controllo, e in una parte software, in cui vengono descritti i programmi utilizzati (LabView e TestIT). Successivamente, i capitoli centrali, si occuperanno dei componenti AVL e del motore lineare utilizzati in sala. Per quanto riguarda AVL i dispositivi da integrare sono la bilancia per il carburante 733s e lo smoke meter 415s. Si traccia quindi una descrizione degli impianti e si indicano i principi operativi. Entrambi sfruttano il linguaggio seriale, quindi si procede con la creazioni di un’interfaccia grafica in grado di convertire i comandi desiderati dall’utente in codice ASCII. Allo stesso modo viene affrontato il motore lineare NEMA. In questo caso il dialogo avviene tramite una connessione Ethernet. La parte centrale si conclude con un capitolo nel quale si spiega l’introduzione dei VI all’interno di TestIT e le problematiche che ne possono scaturire. Nell’appendice finale saranno descritte brevemente le connessioni pratiche e gli interventi di progettazione avvenuti per organizzare il rack.

Progettazione e realizzazione di un banco prova di misura delle caratteristiche elettromeccaniche di sistemi propulsivi per droni elettrici

La tesi in esame ha come obiettivo la progettazione e la realizzazione di un banco prova per la misura delle caratteristiche elettromeccaniche di sistemi propulsivi per droni elettrici.

Progetto e sviluppo di un banco di prova per sistemi di determinazione e controllo d'assetto di CubeSat

Progettazione di dettaglio di un banco di prova per testare sistemi ADCS per CubeSat: Alma Test-Bed. Ci si è concentrati sul progetto di un primo nucleo di AlmaTB in grado di testare il controllo di tipo magnetico. Fanno parte di AlmaTB una gabbia di Helmholtz, un air-bearing system, un CubeSat di test, un metrology system. La gabbia di Helmholtz è un apparato costituito da tre coppie di bobine, una per ogni asse spaziale, che serve ad annullare il campo magnetico locale e simulare quello che si troverà in orbita attorno alla Terra. Un software ricava i dati del campo magnetico terrestre da modello IGRF a determinate coordinate e quota e fornisce agli alimentatori del set di bobine l'indicazione della corrente da distribuire. L'air-bearing system è un cuscinetto d'aria generato da un compressore che serve a ricreare le caratteristiche condizioni dell'ambiente spaziale di microgravità e attrito quasi-zero. Il CubeSat di test sarà montato su questo sistema. Il CubeSat di test, nella prima versione di AlmaTB, contiene i sensori e gli attuatori di tipo magnetico per determinare e controllare l'assetto di un nanosatellite. Il magnetometro presente all'interno è utilizzato anche come controllo del funzionamento della gabbia di Helmholtz. Il metrology system traccia i movimenti e l'inclinazione del CubeSat. Questo fornisce il riferimento di assetto vero, in modo da capire se il sistema ADCS lavora correttamente. Una volta che il banco di prova sarà completato e operativo sarà possibile testare algoritmi di determinazione e controllo di assetto che utilizzano diversi dispositivi tra sensori e attuatori disponibili nel mock-up. Su una workstation sono installati i software di controllo ed elaborazione dati. Si è scelto di procedere con un approccio di tipo "chiavi in mano", cioè scegliendo, quando disponibile, sistemi già completi e disponibili sul mercato. La prima versione di AlmaTB nasce dall'importante, vasto lavoro di matching tra i diversi apparati.

L'influenza della precompressione nella prova a taglio dei campioni in muratura: uno studio sperimentale

Essendo l’Italia un territorio soggetto a violenti e frequenti sismi, ed avendo un importante patrimonio in muratura, è interessante studiare il rapporto tra i due. La muratura è maggiormente resistente contro forze che agiscono nel suo piano, che generano quindi uno sforzo di taglio. Si andrà dunque a valutare sperimentalmente la resistenza a taglio delle murature. Tale campagna sperimentale sarà svolta su campioni di muratura sotto forma di triplette confezionate con due tipi di malta diversi a tre livelli di precompressione differenti. I risultati così ottenuti saranno infine rielaborati in un grafico, il grafico della legge di Coulomb, che mira a cercare un legame lineare tra le tau e le sigma di precompressione. Un valore aggiunto dello studio sta nel monitoraggio costante della prova, dal quale si nota che la precompressione durante questa varia. Portando dunque a due risultati diversi: il primo è un legame tau-sigma con livelli di sigma normativi e uno con legami di sigma effettivi della rottura. La campagna sperimentale, inoltre, comprende anche la valutazione del modulo elastico per i singoli campioni di laterizio e di malta. La malta sarà provata anche per la resistenza a flessione e compressione.

Layout e confronto prestazioni di banchi prova di micro-ORC

Nell’elaborato presentato è stato analizzato il sistema ORC, presente nel laboratorio DIN della Facoltà di Ingegneria, e confrontato con alcuni banchi prova estratti dalla letteratura. Sono stati studiati gli elementi caratterizzanti del sistema, definendone le loro caratteristiche, le loro dimensioni e la loro collocazione all’interno dell’impianto. Inseguito è stato fatto un confronto con degli impianti di simile taglia che sfruttano fonti di calore differenti. Infine è stato esaminato nel dettaglio il layout del sistema ORC definendone la sua struttura 3D per avere una maggiore chiarezza sulla composizione di questo impianto e sul posizionamento reciproco dei suoi elementi.

Set-up di banchi prova per l'analisi strutturale della parte ciclistica di un motoveicolo da competizione

Il lavoro della tesi si compone di due parti principali: 1) progettazione del banco prova statico e set up dei banchi prova per la caratterizzazione a rigidezza. 2) Analisi dei risultati di spostamento e deformazione. Il fine ultimo del lavoro di tesi è stato quello di validare la moto progettata all'interno del Team UBM Motostudent di cui faccio parte, ed ottenere spunti per la riprogettazione degli elementi in fibra di carbonio. Inoltre i banchi progettati sono stati riutilizzati per testare i nuovi elementi, da telaio e telaietto riprogettati al nuovo forcellone.

Studio delle ruote di reazione per il controllo di assetto e progetto di un banco prova per CubeSat

Il seguente elaborato, che riporta il lavoro di tesi svolto presso il Laboratorio di microsatelliti e microsistemi spaziali dell’Università di Bologna, parte dallo studio e dallo sviluppo di un modello relativo all’attuazione di ruote di reazione montate a bordo di un nanosatellite tramite l’utilizzo del software Matlab. Successivamente tali concetti sono stati utilizzati per lo sviluppo di una piattaforma testbed adibita alla valutazione del sottosistema di determinazione e controllo di assetto di un satellite, in questo caso delle dimensioni standard 1U. Si è partiti da un progetto di base già presente in laboratorio con la necessità però di aggiornarlo, introducendo miglioramenti su alcuni aspetti tecnici. Per fare ciò, si sono valutati i requisiti fondamentali di progetto, per poi valutare le molteplici soluzioni riguardanti tutti gli aspetti, dalle guide di scorrimento ai sistemi di fissaggio per il satellite, ognuna di esse considerando pro e contro attentamente analizzati al fine di giungere al miglior compromesso. Molte delle scelte progettuali sono scaturite a seguito di analisi quantitative al fine di garantire il corretto funzionamento della piattaforma ed ottenere, quindi, risultati quanto più affidabili a seguito dei test.

Progettazione di un sistema per la movimentazione del simulatore di Sole di un banco di prova per la determinazione e il controllo d'assetto di nanosatelliti

Nel presente documento si discute la progettazione di una guida lineare curva allo scopo di permettere la movimentazione di un simulatore di Sole per nanosatelliti. Vengono presentati i nanosatelliti e vengono introdotti alcuni metodi di rappresentazione d’assetto, per proseguire con una descrizione dei sensori di Sole per la determinazione d’assetto. Si descrive, poi, il banco di prova per il controllo e la determinazione d’assetto presente nel Laboratorio di Microsatelliti e Microsistemi Spaziali e, di seguito, il progetto delle guide con il confronto tra le opzioni commerciali disponibili. Infine, si descrive la progettazione degli elementi di collegamento tra il simulatore e i cursori.

Valutazioni per il dimensionamento degli impianti di condizionamento aria-acqua-olio in un banco prova motore

Il lavoro svolto, inizialmente, si proponeva di ricercare e approfondire gli strumenti fondamentali per il funzionamento di una sala prova, con l’obbiettivo di riunire in un unico elaborato informazioni sia sulla teoria che sul dimensionamento. A tal fine, sono stati presi in esame il ventilatore cella, l’aspiratore dei gas di scarico, l’unità di trattamento aria, la torre di raffreddamento e gli scambiatori di calore. Successivamente, l’attività di tesi si è focalizzata sulla creazione di un modello tramite Microsoft Excel che, in base ai dati di partenza selezionati, restituisse un dimensionamento delle componenti precedentemente analizzate. Questo modello è stato poi impiegato durante l’allestimento di una nuova sala di prova presso l’azienda AlmaAutomotive. La scelta delle condizioni di esercizio è stata fatta sulla base delle specifiche richieste dell’azienda. I risultati ottenuti dal modello sono stati quindi confrontati con i dati di dimensionamento presenti su preventivi richiesti ad aziende terze e con i dati di targa di apparecchiature montate su celle, analoghe a quella in realizzazione, presenti in azienda. Questo confronto, nei casi esaminati, ha evidenziato una buona correlazione. È stato inoltre creato un modello Simscape che rappresentasse il funzionamento dei due scambiatori (liquido motore e olio motore) in condizione stazionaria a regime. I risultati ottenuti dal modello sono stati paragonati con i dati ottenuti dalle formule teoriche (utilizzando Matlab): il confronto ha evidenziato che il modello Simscape è stato strutturato e definito correttamente.

Industrializzazione banco prova componenti oleodinamici

Il percorso ha inizio con una prima parte prettamente teorica che ha come obiettivo quello di far apprendere i concetti base, sia dei componenti che dei circuiti ovvero degli elementi cardine di un impianto. La parte finale di questa prima fase è stata quella di analizzare ed interpretare schemi idraulici inerenti banchi di collaudo già esistenti. La parte pratica vera e propria è iniziata, in base a quanto appreso, dall’analisi critica dello schema idraulico di un banco di collaudo già esistente da reingegnerizzare. In particolare, l’obiettivo principale era quello di aumentare la produttività riducendo al contempo quelli che sono i rischi sulla salute e sicurezza per l’operatore. Come vedremo per realizzare una modifica strutturale di tale banco, è stato necessario intervenire a priori sullo schema idraulico ed in base a quello si è potuto scegliere la soluzione costruttiva migliore per ottenere i risultati cercati. La successiva fase di ingegnerizzazione del prodotto è prettamente tecnica poiché ha visto la modifica e realizzazione ex novo di gruppi (morsa) e particolari meccanici; pertanto, non solo è stata richiesta una buona conoscenza teorica ma anche l’utilizzo di strumenti informatici a cui fa affidamento l’azienda.