928 resultados para ricorsività macchina di Turing algoritmi di Markov
Resumo:
Progetto, sperimentazione, modifica e messa a punto di una macchina automatica basata su attuatori pneumatici comandati elettricamente tramite PLC, in grado di assemblare i ganci di chiusura per valigeria tecnica destinata ad impieghi in condizioni estreme. Discussione del progetto a partire dai disegni di massima, e descrizione delle successive modifiche progettuali e delle relative verifiche funzionali.
Resumo:
La tesi tratta dell'ottimizzazione di alcune tipologie di strutture reticolari. Per sviluppare i problemi analizzati ci si è avvalsi del software Grasshopper, conducendo poi l'ottimizzazione mediante un algoritmo genetico.
Resumo:
Nella tesi si è studiata una macchina automatica per l'industria farmaceutica: l'Adapta 100, un'opercolatrice (macchina riempi-capsule) prodotta da IMA SpA. Gli scopi della tesi erano chiarire il flusso di potenza dei vari assi e valutare un possibile risparmio energetico. La macchina infatti ha diversi motori: uno, collegato all'asse master, che comanda i gruppi non rimovibili e gli altri che comandano i gruppi di dosaggio. Tali motori in generale, per qualche tratto del ciclo della macchina, potranno lavorare come generatori, anche considerando il solo funzionamento a regime: si avrà cioè, in qualche istante, che le forze esterne tendono ad accelerare il motore, che così assorbe energia meccanica e produce energia elettrica. Attualmente tale energia viene dissipata in apposite resistenze collegate ai motori; ci si è chiesti se non si potesse invece immagazzinare l'energia prodotta, ad esempio per usarla in caso di black-out, per frenare delicatamente la macchina senza che gli assi perdano la fase. Un'alternativa è quella di ridistribuire la potenza generata istante per istante collegando i motori a un comune bus DC. Prima però è necessario conoscere gli andamenti di coppia e velocità di ciascun motore: per questo ci si è ricondotti al modello della macchina a 1 gdl, riducendo tutte le coppie e le inerzie all'asse motore. Si sono studiati i due assi più importanti in termini di coppie e potenze di picco: questi sono l'asse master e l'asse di dosaggio della polvere farmaceutica. Il modello è stato concretamente implementato con degli script MATLAB. Il modello risulta flessibile, per considerare le varie modalità di funzionamento della macchina, e considera i principali termini di coppia, inclusi attriti (inseriti sotto forma di rendimenti) e forze esterne di lavorazione. Tra queste è particolarmente importante la forza di compattazione della polvere, che è stata modellata con la formula di Kawakita, nota dalla letteratura.
Resumo:
Descrizione e utilizzi di algoritmi di fotoritocco per modificare immagini in cui è presente un disturbo.
Resumo:
Il lavoro svolto in questa tesi consiste nell'implementare un'applicazione Android per lo streaming video, conforme allo standard MPEG-DASH. L'obiettivo è quello di fornire un valido strumento al fine di eseguire delle analisi sperimentali su algoritmi particolari, detti di rate adaptation. MPEG-Dynamic Adaptive Streaming over Http è uno standard emergente ed è considerato da molti il futuro dello streaming multimediale. Questa tecnologia consente di auto-regolare la qualità del video in base alle condizioni della rete, la capacità del dispositivo o le preferenze dell'utente. Inoltre, essendo uno standard, permette di rendere interoperabili i server e i device dei vari fornitori di contenuti multimediali. Nei primi capitoli introduttivi verrà presentato lo standard e i lavori correlati, successivamente verrà descritta la mia proposta applicativa: DashPlayer. In conclusione, verrà compiuta una valutazione sperimentali sugli algoritmi sopracitati che costituiscono la parte logico-funzionale dell'applicazione.
Resumo:
Studio di fattibilità per la realizzazione di un organo di presa con regolazione rapida del formato.
Resumo:
La tesi da me svolta durante questi ultimi sei mesi è stata sviluppata presso i laboratori di ricerca di IMA S.p.a.. IMA (Industria Macchine Automatiche) è una azienda italiana che naque nel 1961 a Bologna ed oggi riveste il ruolo di leader mondiale nella produzione di macchine automatiche per il packaging di medicinali. Vorrei subito mettere in luce che in tale contesto applicativo l’utilizzo di algoritmi di data-mining risulta essere ostico a causa dei due ambienti in cui mi trovo. Il primo è quello delle macchine automatiche che operano con sistemi in tempo reale dato che non presentano a pieno le risorse di cui necessitano tali algoritmi. Il secondo è relativo alla produzione di farmaci in quanto vige una normativa internazionale molto restrittiva che impone il tracciamento di tutti gli eventi trascorsi durante l’impacchettamento ma che non permette la visione al mondo esterno di questi dati sensibili. Emerge immediatamente l’interesse nell’utilizzo di tali informazioni che potrebbero far affiorare degli eventi riconducibili a un problema della macchina o a un qualche tipo di errore al fine di migliorare l’efficacia e l’efficienza dei prodotti IMA. Lo sforzo maggiore per riuscire ad ideare una strategia applicativa è stata nella comprensione ed interpretazione dei messaggi relativi agli aspetti software. Essendo i dati molti, chiusi, e le macchine con scarse risorse per poter applicare a dovere gli algoritmi di data mining ho provveduto ad adottare diversi approcci in diversi contesti applicativi: • Sistema di identificazione automatica di errore al fine di aumentare di diminuire i tempi di correzione di essi. • Modifica di un algoritmo di letteratura per la caratterizzazione della macchina. La trattazione è così strutturata: • Capitolo 1: descrive la macchina automatica IMA Adapta della quale ci sono stati forniti i vari file di log. Essendo lei l’oggetto di analisi per questo lavoro verranno anche riportati quali sono i flussi di informazioni che essa genera. • Capitolo 2: verranno riportati degli screenshoot dei dati in mio possesso al fine di, tramite un’analisi esplorativa, interpretarli e produrre una formulazione di idee/proposte applicabili agli algoritmi di Machine Learning noti in letteratura. • Capitolo 3 (identificazione di errore): in questo capitolo vengono riportati i contesti applicativi da me progettati al fine di implementare una infrastruttura che possa soddisfare il requisito, titolo di questo capitolo. • Capitolo 4 (caratterizzazione della macchina): definirò l’algoritmo utilizzato, FP-Growth, e mostrerò le modifiche effettuate al fine di poterlo impiegare all’interno di macchine automatiche rispettando i limiti stringenti di: tempo di cpu, memoria, operazioni di I/O e soprattutto la non possibilità di aver a disposizione l’intero dataset ma solamente delle sottoporzioni. Inoltre verranno generati dei DataSet per il testing di dell’algoritmo FP-Growth modificato.
Resumo:
Molti metodi di compressione lossless si basano sulle idee che nel 1977 i ricercatori israeliani Abraham Lempel e Jacob Ziv hanno presentato nell’articolo “A universal Algorithm for sequential Data Compression”. In questa tesi viene descritto il metodo di fattorizzazione LZ77, illustrato appunto da Lempel e Ziv, e vengono esposte le strutture dati fondamentali per la sua realizzazione. Sono inoltre descritti due algoritmi CPS1 e CPS2 che realizzano LZ77. Infine, sfruttando i dati raccolti sperimentalmente da Al-Haffedh et al. in “A Comparison of Index-Based Lempel-Ziv LZ77 Factorization Algorithms” [2012], gli algoritmi descritti vengono confrontati in termini di spazio e tempo.
Resumo:
Nel campo della Ricerca Operativa e dei problemi di ottimizzazione viene presentato un problema, denominato Bus Touring Problem (BTP), che modella una problematica riguardante il carico e l’instradamento di veicoli nella presenza di di vincoli temporali e topologici sui percorsi. Nel BTP, ci si pone il problema di stabilire una serie di rotte per la visita di punti di interesse dislocati geograficamente da parte di un insieme di comitive turistiche, ciascuna delle quali stabilisce preferenze riguardo le visite. Per gli spostamenti sono disponibili un numero limitato di mezzi di trasporto, in generale eterogenei, e di capacitá limitata. Le visite devono essere effettuate rispettando finestre temporali che indicano i periodi di apertura dei punti di interesse; per questi, inoltre, é specificato un numero massimo di visite ammesse. L’obiettivo é di organizzare il carico dei mezzi di trasporto e le rotte intraprese in modo da massimizzare la soddisfazione complessiva dei gruppi di turisti nel rispetto dei vincoli imposti. Viene presentato un algoritmo euristico basato su Tabu Search appositamente ideato e progettato per la risoluzione del BTP. Vengono presentati gli esperimenti effettuati riguardo la messa appunto dei parametri dell'algoritmo su un insieme di problemi di benchmark. Vengono presentati risultati estesi riguardo le soluzioni dei problemi. Infine, vengono presentate considerazioni ed indicazioni di sviluppo futuro in materia.
Resumo:
Questo progetto è stato ideato con lo scopo di implementare e simulare un algoritmo di stima della posizione di una sorgente sonora. E' stato scelto di utilizzare MATLAB come strumento di sviluppo. Tutti i dispositivi hardware utilizzati sono compatibili, interfacciabili tra loro ed ampiamente descritti all'interno di questo elaborato.
Resumo:
Le superfici di suddivisione sono un ottimo ed importante strumento utilizzato principalmente nell’ambito dell’animazione 3D poichè consentono di definire superfici di forma arbitraria. Questa tecnologia estende il concetto di B-spline e permette di avere un’estrema libertà dei vincoli topologici. Per definire superfici di forma arbitraria esistono anche le Non-Uniform Rational B-Splines (NURBS) ma non lasciano abbastanza libertà per la costruzione di forme libere. Infatti, a differenza delle superfici di suddivisione, hanno bisogno di unire vari pezzi della superficie (trimming). La tecnologia NURBS quindi viene utilizzata prevalentemente negli ambienti CAD mentre nell’ambito della Computer Graphics si è diffuso ormai da più di 30 anni, l’utilizzo delle superfici di suddivisione. Lo scopo di questa tesi è quello di riassumere, quindi, i concetti riguardo questa tecnologia, di analizzare alcuni degli schemi di suddivisione più utilizzati e parlare brevemente di come questi schemi ed algoritmi vengono utilizzati nella realt`a per l’animazione 3D.
Resumo:
L’oggetto di studio della presente tesi è una macchina utensile ad altra produttività con tavola rotante (transfer) che presenta numerosi elementi di innovazione rispetto a versioni precedenti. In particolare è stata ottimizzata la scelta dei materiali che compongono i vari elementi della struttura, sono stati ripensati gli impianti di servizio e, infine, è stato reso possibile l’impiego di tecnologie di lavorazione che permettono una notevole riduzione del consumo elettrico. Il transfer è costituito da una stazione di carico/scarico e da numerose stazioni di lavoro equipaggiate con moduli a tre assi che permettono di eseguire le diverse operazioni da realizzare sul componente in lavorazione. Le unità a tre assi vengono impiegate per movimentare gli elettromandrini che mettendo in rotazione gli utensili permettono l’esecuzione delle diverse lavorazioni. L’attività svolta è stata suddivisa in diverse fasi: nella prima è stata realizzata un’analisi funzionale che ha permesso di valutare (i) la rigidezza dell’unità a tre assi che equipaggia ogni stazione di lavoro e (ii) l’errore di posizionamento indotto dal riscaldamento delle viti di manovra che permettono la movimentazione dei tre assi della macchina. Nella seconda fase sono state valutate le potenzialità della tecnologia Minimum Quantity Lubrication (MQL) come alternativa ecologica ed economica alla tradizionale tecnica di lubrorefrigerazione con emulsione. La tecnica MQL consiste nel nebulizzare nella zona di taglio un aerosol composto da aria e olio. In particolare è stato calibrato il sistema di generazione dell’aerosol stesso ed è stata indagata l’influenza dei diversi parametri di taglio sulla qualità della lavorazione. Infine è stata effettuata un’analisi economica che ha permesso di valutare il vantaggio economico in termini di potenza installata e consumo di energia elettrica del transfer in relazione ad una macchina utensile di pari taglia che presenta le soluzioni costruttive standard per questa tipologia di dispositivo.
Resumo:
In questo lavoro di tesi sono state studiate le caratteristiche di una macchina per tomosintesi Fujifilm AMULET Innovality in uso presso l'Istituto Scientifico Romagnolo per lo Studio e la Cura dei Tumori (I.R.S.T.) di Meldola. Le valutazioni sono state fatte utilizzando diversi fantocci, uno dei quali costruito durante il lavoro di tesi. Per la valutazione delle immagini di mammografia digitale e di tomosintesi sono state seguite le linee guida della International Electrotechnical Commission (IEC) e della European Reference Organisation for Quality Assured Breast Screening and Diagnostic Services (EUREF). Per lo studio delle mammografie digitali sono stati valutati, utilizzando i software COQ e ImageJ, i parametri di NPS, MTF e DQE. Per lo studio delle immagini di tomosintesi sono stati appositamente sviluppati degli algoritmi in linguaggio Java, integrati poi all'interno del software COQ. Il programma sviluppato ha permesso di valutare ASF, MTF, NPS e omogeneità delle immagini ricostruite.
Resumo:
L'obiettivo di questo elaborato è quello di realizzare un sistema di acquisizione real-time e low cost, in grado di stimare la posizione di una sorgente sonora. Per acquisizione real-time si intende un sistema in grado di seguire gli spostamenti della sorgente audio nell'ambiente, limitando il più possibile i tempi di latenza fra un'acquisizione e l'altra. A tal fine si sfrutteranno due coppie di microfoni, che concorrereranno in maniera sequenziale alla stima dell'angolo di arrivo del suono (e quindi della retta su cui giace il punto di provenienza del suono). Combinando i dati raccolti dai quattro microfoni sarà dunque possibile risalire alla posizione di provenienza della sorgente sonora. Il software (implementato in MATLAB) verrà ampiamente discusso nei seguenti capitoli, il suo scopo sarà quello di gestire l'acquisizione dati, garantire il funzionamento real-time e fornire una stima di posizione della sorgente sonora, mostrando il relativo errore commesso durante la misura, nel caso in cui si conosca a priori la posizione della sorgente.
Resumo:
Progettazione e dimensionamento di un inversore di marcia in una macchina agricola ibrida di piccola potenza dotata di cambio a uso continuo.