474 resultados para domini di Dedekind domini a ideali principali moduli proiettivi localizzazione


Relevância:

100.00% 100.00%

Publicador:

Resumo:

Questo elaborato tratta le espressioni idiomatiche cinesi a quattro caratteri, i cosiddetti 成语 chéngyŭ. La tesi è divisa in tre capitoli. Nel primo, che costituisce la parte teorica, si spiega cosa sono i chéngyŭ, oltre a presentarne una breve analisi linguistica, delle possibili strategie di apprendimento e, infine, le principali difficoltà al momento della traduzione. Dato che l'argomento di questa tesi è già stato trattato ed esaminato da tanti studiosi, cinesi e non, per reperire le informazioni necessarie alla stesura di questo capitolo ho usato come fonti diversi articoli accademici, che vengono puntualmente citati nel testo e riportati in bibliografia. Il secondo capitolo è costituito dalle proposte di traduzione di cinque storie di chéngyŭ, selezionate dal libro di testo sopracitato. Dei diciotto brani presenti nel libro, ho selezionato i cinque che, a mio parere, si presentavano come i più emblematici ed esplicativi di questo fenomeno e, più in generale, della cultura cinese. Il terzo e ultimo capitolo, strettamente legato al secondo, è dedicato al commento traduttivo. In esso si illustrano le principali difficoltà di traduzione riscontrate nei brani cinesi e le strategie traduttive adottate, oltre ad alcuni brevi approfondimenti linguistici e culturali ove necessario.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Nella tesi è analizzata nel dettaglio una proposta didattica sulla Fisica Quantistica elaborata dal gruppo di ricerca in Didattica della Fisica dell’Università di Bologna, in collaborazione con il gruppo di ricerca in Fisica Teorica e con ricercatori del CNR di Bologna. La proposta è stata sperimentata in diverse classi V di Liceo scientifico e dalle sperimentazioni sono emersi casi significativi di studenti che non sono riusciti ad accettare la teoria quantistica come descrizione convincente ad affidabile della realtà fisica (casi di non accettazione), nonostante sembrassero aver capito la maggior parte degli argomenti e essersi ‘appropriati’ del percorso per come gli era stato proposto. Da questa evidenza sono state formulate due domande di ricerca: (1) qual è la natura di questa non accettazione? Rispecchia una presa di posizione epistemologica o è espressione di una mancanza di comprensione profonda? (2) Nel secondo caso, è possibile individuare precisi meccanismi cognitivi che possono ostacolare o facilitare l’accettazione della fisica quantistica? L’analisi di interviste individuali degli studenti ha permesso di mettere in luce tre principali esigenze cognitive (cognitive needs) che sembrano essere coinvolte nell’accettazione e nell’apprendimento della fisica quantistica: le esigenze di visualizzabilità, comparabilità e di ‘realtà’. I ‘cognitive needs’ sono stati quindi utilizzati come strumenti di analisi delle diverse proposte didattiche in letteratura e del percorso di Bologna, al fine di metterne in luce le criticità. Sono state infine avanzate alcune proposte per un suo miglioramento.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

Analisi delle fasi per la realizzazione di uno strumento di supporto gli agricoltori, dalla creazione di un dataset, all'addestramento e test di una rete neurale artificiale, con obiettivo la localizzazione del prodotto agricolo all'interno delle immagini.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

L’elaborato illustra come il cambiamento delle abitudini quotidiane, nel corso degli anni, ha portato alla nascita di un tipo di ristorazione capace di conciliare i bisogni di tipo nutrizionale e relazionale con l’aspetto qualitativo fondato sulla salubrità degli alimenti. Il settore della ristorazione collettiva è disciplinato dai Reg. CE 178\02 e 852\04, i quali stabiliscono rispettivamente i principi ed i requisiti generali della legislazione alimentare e le linee guida sull'igiene dei prodotti alimentari. Le principali categorie di ristorazione collettiva sono quella aziendale, scolastica e sociosanitaria che soddisfano le esigenze di un numero ampio di persone accomunate dall’esigenza di usufruire dei pasti, al di fuori della propria abitazione (lavoratori-studenti- degenti di un ospedale). Le fasi principali da affrontare nell’analisi della ristorazione sono la preparazione e la distribuzione dei pasti con attenzione alla prevenzione delle tossinfezioni alimentari e la salubrità degli alimenti prodotti, trasformati e somministrati. La qualità non deve rappresentare un costo bensì un investimento: le aziende che operano nel settore alimentare hanno necessità di certificare ufficialmente il proprio adeguamento alla Normativa HACCP,al fine di aumentare la trasparenza, fornire sicurezza al consumatore e diminuirne l’incertezza, nel rispetto di quanto previsto dalle Leggi. I centri di produzione durante l’intero ciclo di lavorazione dei pasti, dalla preparazione alla commercializzazione, si affidano all’autocontrollo igienico fondato sui principi del modello HACCP che racchiude tute le misure da adottare per garantire la sicurezza igienico sanitaria e l’integrità degli alimenti. L’adempimento dei principi dell’HACCP nelle catene ristorative viene garantito dai controlli ufficiali svolti dalle autorità sanitarie con programmi ed interventi di vigilanza atti a ridurre i pericoli fisici-biologici che possono rendere dannoso un alimento per il consumatore.

Relevância:

100.00% 100.00%

Publicador:

Resumo:

I serpenti robot sono una classe di meccanismi iper-ridondanti che appartiene alla robotica modulare. Grazie alla loro forma snella ed allungata e all'alto grado di ridondanza possono muoversi in ambienti complessi con elevata agilità. L'abilità di spostarsi, manipolare e adattarsi efficientemente ad una grande varietà di terreni li rende ideali per diverse applicazioni, come ad esempio attività di ricerca e soccorso, ispezione o ricognizione. I robot serpenti si muovono nello spazio modificando la propria forma, senza necessità di ulteriori dispositivi quali ruote od arti. Tali deformazioni, che consistono in movimenti ondulatori ciclici che generano uno spostamento dell'intero meccanismo, vengono definiti andature. La maggior parte di esse sono ispirate al mondo naturale, come lo strisciamento, il movimento laterale o il movimento a concertina, mentre altre sono create per applicazioni specifiche, come il rotolamento o l'arrampicamento. Un serpente robot con molti gradi di libertà deve essere capace di coordinare i propri giunti e reagire ad ostacoli in tempo reale per riuscire a muoversi efficacemente in ambienti complessi o non strutturati. Inoltre, aumentare la semplicità e ridurre il numero di controllori necessari alla locomozione alleggerise una struttura di controllo che potrebbe richiedere complessità per ulteriori attività specifiche. L'obiettivo di questa tesi è ottenere un comportamento autonomo cedevole che si adatti alla conformazione dell'ambiente in cui il robot si sta spostando, accrescendo le capacità di locomozione del serpente robot. Sfruttando la cedevolezza intrinseca del serpente robot utilizzato in questo lavoro, il SEA Snake, e utilizzando un controllo che combina cedevolezza attiva ad una struttura di coordinazione che ammette una decentralizzazione variabile del robot, si dimostra come tre andature possano essere modificate per ottenere una locomozione efficiente in ambienti complessi non noti a priori o non modellabili.

Relevância:

50.00% 50.00%

Publicador:

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Oggetto di questa tesi è lo studio della qualità del servizio di trasporto erogato che condiziona la qualità percepita dall’utente, poiché spesso proprio a causa di un errato processo di pianificazione e gestione della rete, molte aziende non sono in grado di consolidare un alto livello di efficienza che permetta loro di attrarre e servire la crescente domanda. Per questo motivo, si è deciso di indagare sugli aspetti che determinano la qualità erogata e sui fattori che la influenzano, anche attraverso la definizione di alcuni indicatori rappresentativi del servizio erogato. L’area di studio considerata è stata quella urbana di Bologna, e sono state prese in esame due linee di ATC, la 19 e la 27, caratterizzate entrambe da una domanda di trasporto molto elevata. L’interesse è ricaduto in modo particolare sugli aspetti legati alla regolarità del servizio, ovvero al rispetto della cadenza programmata delle corse e alla puntualità, ossia il rispetto dell’orario programmato delle stesse. Proprio da questi due aspetti, infatti, dipende in larga misura la percezione della qualità che gli utenti hanno del servizio di trasporto collettivo. Lo studio è stato condotto sulla base di dati raccolti attraverso due campagne di rilevamento, una effettuata nel mese di maggio dell’anno 2008 e l’altra nel mese di settembre dello stesso anno. La scelta del periodo, della zona e delle modalità di rilevamento è strettamente connessa all’obiettivo prefissato. Il servizio è influenzato dalle caratteristiche del sistema di trasporto: sia da quelle legate alla domanda che da quelle legate all’offerta. Nel caso della domanda di trasporto si considera l’influenza sul servizio del numero di passeggeri saliti e del tempo di sosta alle fermate. Nel caso dell’offerta di trasporto si osservano soprattutto gli aspetti legati alla rete di trasporto su cui si muovono gli autobus, analizzando quindi i tempi di movimento e le velocità dei mezzi, per vedere come le caratteristiche dell’infrastruttura possano condizionare il servizio. A tale proposito è opportuno dire che, mentre i dati della prima analisi ci sono utili per lo studio dell’influenza del tempo di sosta sull’intertempo, nella seconda analisi si vuole cercare di effettuare ulteriori osservazioni sull’influenza del tempo di movimento sulla cadenza, prendendo in esame altri elementi, come ad esempio tratti di linea differenti rispetto al caso precedente. Un’attenzione particolare, inoltre, verrà riservata alla verifica del rispetto della cadenza, dalla quale scaturisce la definizione del livello di servizio per ciò che riguarda la regolarità. Per quest’ultima verrà, inoltre, determinato anche il LOS relativo alla puntualità. Collegato al problema del rispetto della cadenza è il fenomeno dell’accodamento: questo si verifica quando i mezzi di una stessa linea arrivano contemporaneamente ad una fermata uno dietro l’altro. L’accodamento ha, infatti, origine dal mancato rispetto della cadenza programmata tra i mezzi ed è un’evidente manifestazione del mal funzionamento di un servizio di trasporto. Verrà infine condotta un’analisi dei fattori che possono influenzare le prestazioni del servizio di trasporto pubblico, così da collocare i dati ottenuti dalle operazioni di rilevamento in un quadro più preciso, capace di sottolineare alcuni elementi di criticità e possibili rapporti di causalità.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Determinazione del Documento Preliminare relativamente alle fasi di sintesi del QC, di individuazione degli obiettivi, e di definizione delle misure da adottare per il risanamento della risorsa idrica nel territorio ferrarese.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Studio di fattibilità per la realizzazione di un modulo ERP con l'utilizzo di Apache Struts 2.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Il lavoro presentato in questa tesi si colloca nel contesto della programmazione con vincoli, un paradigma per modellare e risolvere problemi di ricerca combinatoria che richiedono di trovare soluzioni in presenza di vincoli. Una vasta parte di questi problemi trova naturale formulazione attraverso il linguaggio delle variabili insiemistiche. Dal momento che il dominio di tali variabili può essere esponenziale nel numero di elementi, una rappresentazione esplicita è spesso non praticabile. Recenti studi si sono quindi focalizzati nel trovare modi efficienti per rappresentare tali variabili. Pertanto si è soliti rappresentare questi domini mediante l'uso di approssimazioni definite tramite intervalli (d'ora in poi rappresentazioni), specificati da un limite inferiore e un limite superiore secondo un'appropriata relazione d'ordine. La recente evoluzione della ricerca sulla programmazione con vincoli sugli insiemi ha chiaramente indicato che la combinazione di diverse rappresentazioni permette di raggiungere prestazioni di ordini di grandezza superiori rispetto alle tradizionali tecniche di codifica. Numerose proposte sono state fatte volgendosi in questa direzione. Questi lavori si differenziano su come è mantenuta la coerenza tra le diverse rappresentazioni e su come i vincoli vengono propagati al fine di ridurre lo spazio di ricerca. Sfortunatamente non esiste alcun strumento formale per paragonare queste combinazioni. Il principale obiettivo di questo lavoro è quello di fornire tale strumento, nel quale definiamo precisamente la nozione di combinazione di rappresentazioni facendo emergere gli aspetti comuni che hanno caratterizzato i lavori precedenti. In particolare identifichiamo due tipi possibili di combinazioni, una forte ed una debole, definendo le nozioni di coerenza agli estremi sui vincoli e sincronizzazione tra rappresentazioni. Il nostro studio propone alcune interessanti intuizioni sulle combinazioni esistenti, evidenziandone i limiti e svelando alcune sorprese. Inoltre forniamo un'analisi di complessità della sincronizzazione tra minlex, una rappresentazione in grado di propagare in maniera ottimale vincoli lessicografici, e le principali rappresentazioni esistenti.

Relevância:

40.00% 40.00%

Publicador:

Resumo:

Lo scopo del seguente lavoro sara' quello di illustrare i mezzi utilizzati in ambito amministrativo per garantire la privacy delle comunicazioni: stiamo parlando della PEC, ovvero della posta elettronica certificata. Inizialmente si tratteranno aspetti piu' tecnici legati a tale strumento, dandone una definizione e illustrando i metodi di funzionamento; successivamente si affronteranno invece aspetti legati piu' nel dettaglio all’ambito giuridico,