975 resultados para intelligenza artificiale orario sistemi basati sulla conoscenza
Resumo:
La tesi descrive il progetto e il funzionamento di un algoritmo basato su un sistema di visione, studiato allo scopo di eliminare i marker, che vengono utilizzati dai sensori di contrasto nel processo di taglio delle singole etichette a partire dalle bobine che scorrono sul rullo.
Resumo:
Che cos’è il riferimento? La risposta che difendo è che il riferimento è un atto che coinvolge un parlante, un’espressione linguistica e uno specifico oggetto, in una data occasione d’uso. Nel primo capitolo, inquadro storicamente il dibattito sul riferimento opponendo il modello soddisfazionale à la Russell a quello referenziale à la Donnellan. Introduco la teoria russelliana su nomi propri e descrizioni definite e difendo la tesi che gli usi referenziali siano caratterizzati da una direzione di adattamento inversa rispetto al modello soddisfazionale. Nel secondo capitolo, sostengo che il riferimento è un’azione che può essere felice o infelice, a seconda che il parlante ne rispetti i vincoli o meno. Analizzo due condizioni necessarie del riferimento: che vi sia un legame causale tra parlante, espressione e referente, e che le parole siano usate convenzionalmente. Normalmente, si parla di fallimento referenziale solo quando il presunto referente non esiste, mentre io propongo di usare l’espressione per i riferimenti infelici. Secondo e terzo capitolo equiparano più tipi di espressioni in merito al riferimento. Insisto sulla dipendenza contestuale di nomi propri e descrizioni definite (sia usate referenzialmente che attributivamente). Due degli argomenti usati sono basati sui nomi omofoni e omografi e sulle descrizioni definite incomplete. Infine sintetizzo i punti precedenti in una proposta originale. L’atto referenziale, di cui ho difeso la possibilità che fallisca, è dipendente anche dall’essere teso verso la comunicazione. Per illustrare il punto confronto il processo di istituzione di una convenzione con l’uso di una convenzione già istituita. Il progetto è di dare un resoconto del riferimento bilanciato tra l’uso del linguaggio incentrato sul soggetto e i suoi legami con il mondo, da una parte, e le espressioni linguistiche, strumenti per ottenere risultati all’interno di una data comunità, dall’altra parte. L’atto referenziale, sostengo, ha diverse gradazioni di efficacia dipendenti da tutti questi elementi.
Resumo:
Al principio iura novit curia si assegnano tradizionalmente due significati: il giudice conosce le norme, quindi le parti non hanno onori al riguardo, e il giudice non è vincolato dalle indicazioni delle parti, quanto alle norme di diritto da applicare. La tesi delimita inizialmente la nozione di questione di diritto, quindi affronta partitamente due problemi che si pongono con riferimento alle questioni di diritto e che sono soliti essere risolti con il richiamo al principio iura novit curia: la conoscenza delle norme da una parte e la qualificazione giuridica della domanda e quindi della situazione soggettiva dall’altra. Quanto alla conoscenza delle norme, motivata la scelta per l’obbligatorietà della conoscenza ufficiosa di tutte le fonti di diritto, la tesi verifica la regola in relazione alle diverse fonti descrivendone la disciplina. Quanto alla qualificazione giuridica della domanda, la tesi, verificata la vigenza del principio iura novit curia, descrive sul piano processuale le relazioni del potere-dovere di qualificazione giuridica a) individuandone i limiti oggettivi, ricompresi nei limiti della domanda, e risultanti dal confronto con la regola della corrispondenza del chiesto con il pronunciato, del concorso di diritti, della natura autodeterminata dei diritti, b) tracciandone le modalità legittime di esercizio in conformità al principio del contradditorio; c) verificandone i limiti esterni, ravvisati in quegli istituti che impediscono al giudice di formulare un giudizio sulla questione di diritto: le sentenze non definitive su questioni di diritto, il principio di diritto, il giudicato interno e i limiti alla cognizione del giudice dell’impugnazione tra i gradi di giudizio.
Resumo:
Il dibattito sullo sviluppo delle culture dell’età del Bronzo nel territorio dell’Emilia-Romagna sta portando una rinnovata attenzione sull’area romagnola. Le indagini si sono concentrate sull’area compresa tra il fiume Panaro e il Mare Adriatico, riconoscibile nell’odierna Romagna ed in parte della bassa pianura emiliana. Si trattava un territorio strategico, un vero e proprio crocevia socio-economico fra la cultura terramaricola e quelle centro italiche di Grotta Nuova. La presente ricerca di dottorato ha portato alla ricostruzione dei sistemi di gestione e di sfruttamento delle risorse animali in Emilia-Romagna durante l’Età del Bronzo, con particolare attenzione alla definizione della capacità portante ambientale dei diversi territori indagati e delle loro modalità di sfruttamento in relazione alla razionalizzazione della pratiche di allevamento. Sono state studiate in dettaglio le filiere di trasformazione dei prodotti animali primari e secondari definendo, quindi, i caratteri delle paleoeconomie locali nel processo di evoluzione della Romagna durante l’età del Bronzo. La ricerca si è basata sullo studio archeozoologico completo su 13 siti recentemente indagati, distribuiti nelle provincie di: Bologna, Ferrara, Ravenna, Forlì/Cesena e Rimini, e su una revisione completa delle evidenze archeozoologiche prodotte da studi pregressi. Le analisi non si sono limitate al riconoscimento delle specie, ma hanno teso all’individuazione ed alla valutazione di parametri complessi per ricostruire le strategie di abbattimento e le tecniche di sfruttamento e macellazione dei diversi gruppi animali. E’ stato possibile, quindi, valutare il peso ecologico di mandrie e greggi sul territorio e l’impatto economico ed ecologico di un allevamento sempre più sistematico e razionale, sia dal punto di vista dell’organizzazione territoriale degli insediamenti, sia per quanto riguarda le ripercussioni sulla gestione delle risorse agricole ed ambientali in generale.
Resumo:
I sistemi di versionamento moderni quali "git" o "svn" sono ad oggi basati su svariati algoritmi di analisi delle differenze (detti algoritmi di diffing) tra documenti (detti versioni). Uno degli algoritmi impiegati con maggior successo a tal proposito è il celebre "diff" di Unix. Tale programma è in grado di rilevare le modifiche necessarie da apportare ad un documento al fine di ottenerne un altro in termini di aggiunta o rimozione di linee di testo. L'insieme di tali modifiche prende nome di "delta". La crescente richiesta e applicazione dei documenti semi-strutturati (ed in particolar modo dei documenti XML) da parte della comunità informatica soprattutto in ambito web ha motivato la ricerca di algoritmi di diffing più raffinati che operino al meglio su tale tipologia di documenti. Svariate soluzioni di successo sono state discusse; algoritmi ad alte prestazioni capaci di individuare differenze più sottili della mera aggiunta o rimozione di testo quali il movimento di interi nodi, il loro riordinamento finanche il loro incapsulamento e così via. Tuttavia tali algoritmi mancano di versatilità. L'incapsulamento di un nodo potrebbe essere considerata una differenza troppo (o troppo poco) generale o granulare in taluni contesti. Nella realtà quotidiana ogni settore, pubblico o commerciale, interessato a rilevare differenze tra documenti ha interesse nell'individuarne sempre e soltanto un sottoinsieme molto specifico. Si pensi al parlamento italiano interessato all'analisi comparativa di documenti legislativi piuttosto che ad un ospedale interessato alla diagnostica relativa alla storia clinica di un paziente. Il presente elaborato di tesi dimostra come sia possibile sviluppare un algoritmo in grado di rilevare le differenze tra due documenti semi-strutturati (in termini del più breve numero di modifiche necessarie per trasformare l'uno nell'altro) che sia parametrizzato relativamente alle funzioni di trasformazione operanti su tali documenti. Vengono discusse le definizioni essenziali ed i principali risultati alla base della teoria delle differenze e viene dimostrato come assunzioni più blande inducano la non calcolabilità dell'algoritmo di diffing in questione.
Resumo:
Come si evince dal titolo della tesi, la ricerca effettuata dal presente candidato nel corso del dottorato di ricerca ha avuto ad oggetto lo studio della materia relativa ai trasporti nell’ambito di diversi sistemi giuridici europei, con particolare attenzione ai risvolti di carattere pratico che l’interpretazione delle normative uniformi poteva produrre nell’ambito delle diverse giurisdizioni nonché alle diverse impostazioni e alla variegata gamma di soluzioni interpretative che nell’ambito di problemi simili possono essere adottate a seconda che una stessa questione venga discussa in un ordinamento piuttosto che in un altro. Dall’avvento del trasporto marittimo di containers alla necessità di disciplinare l’intera materia attraverso una normativa multimodale il passo è estremamente breve, posto che, proprio in considerazione delle caratteristiche proprie del trasporto containerizzato, gli aventi diritto al carico sono principalmente interessati al completamente del trasferimento door-to-door inteso nella sua globalità, piuttosto che al buon esito del trasporto sulla singola tratta marittima. Il progetto di revisione delle Regole dell’Aja-Visby adottato dall’United Nations Commission on International Trade Law (Uncitral) e il Comité Maritime International (CMI) costituisce per definizione un progetto limitato ad un trasporto multimodale comprendente necessariamente una tratta marittima, ma rappresenta comunque un interessante banco di prova per valutare la funzionalità di strumenti di recente impiego, come ad esempio i cosiddetti e-documents, concetto peraltro già inserito nel progetto UNCITRAL, anche se con scarsi elementi di reale novità rispetto alla tradizionale disciplina relativa ai documenti cartacei. Proprio la parte relativa ai documenti e titoli di viaggio merita particolare attenzione soprattutto in riferimento alle problematiche connesse al traffico containerizzato, con particolare riferimento al concetto di transhipment, e alla conseguente necessità che la polizza garantisca al legittimo portatore una copertura completa sull’intero viaggio della merce, oltre a dargli la possibilità di individuare agevolmente la propria controparte contrattuale, e cioè il vettore.
Resumo:
L'obiettivo della ricerca è di compiere un'analisi dell'impatto della cosiddetta cultura "open" alla luce dell'attuale condizione del World Wide Web. Si prenderà in considerazione, in particolare, la genesi del movimento a partire dalle basi di cultura hacker e la relativa evoluzione nella filosofia del software libero, con il fine ultimo di identificare il ruolo attuale del modello open source nello scenario esistente. L'introduzione al concetto di Open Access completerà la ricerca anche considerando la recente riaffermazione della conoscenza come bene comune all'interno della Società dell'Informazione
Resumo:
Il coordinamento tra sistemi impositivi è una questione originaria e tipica del diritto comunitario. La tesi ne esplora le conseguenze sotto più aspetti.
Resumo:
Al giorno d’oggi, la produzione di energia e di molecole di base per l’industria chimica è completamente dipendente da risorse non rinnovabili come petrolio, carbone e gas naturale ; con tali risorse in via di esaurimento e la sempre crescente domanda di energia e materiali da parte di tutte le economie, risulta obbligatorio sviluppare tecniche per la loro produzione da risorse rinnovabili. Le biomasse, oltre ad essere una fonte rinnovabile, generano minori emissioni di gas serra rispetto ai combustibili fossili, perché la CO2 rilasciata nei processi di utilizzo viene bilanciata da quella consumata nel processo di crescita delle biomasse stesse. Tuttavia, ad oggi, lo sfruttamento di queste fonti risulta ancora sfavorito economicamente a causa di processi industriali non ancora ottimizzati, i cui costi si ripercuotono sul prodotto finale. Le molecole derivanti dagli scarti lignocellulosici possono essere usate come molecole di partenza per industrie chimiche di qualsiasi tipo, da quelle farmaceutiche a quelle plastiche. Queste molecole sono già parzialmente funzionalizzate; ciò significa che la sintesi di prodotti chimici specifici richiede un minor numero di stadi rispetto ai building blocks petroliferi, con conseguente diminuzione di prodotti di scarto e sottoprodotti . Una delle molecole “piattaforma” identificate tra le più importanti per la produzione di diversi prodotti chimici, risulta essere il 5-idrossimetilfurfurale (HMF) , derivante dalla disidratazione di polisaccaridi esosi, da cui si può ottenere tramite ossidazione selettiva, l’acido 2,5-furandicarbossilico (FDCA), potenziale sostituto dell’acido tereftalico nella produzione del PET e molti altri prodotti. Lo scopo di questo lavoro di tesi è stato lo studio della reattività di catalizzatori a base di Pd e Au/Pd utilizzati nella reazione di ossidazione dell’HMF a FDCA. Il lavoro svolto ha avuto come obiettivi principali: • L’ottimizzazione della sintesi di nanoparticelle di Pd e Au/Pd a diverso rapporto molare, e la caratterizzazione delle sospensioni ottenute mediante analisi DLS, XRD e TEM. • La preparazione di catalizzatori supportati su TiO2 e la caratterizzazione dei catalizzatori ottenuti tramite analisi BET, TEM e analisi termiche TGA/DSC. • Lo studio dell’attività catalitica dei catalizzatori preparati nell’ossidazione selettiva in fase liquida del 5-idrossimetilfurfurale (HMF) ad acido 2,5-furandicarbossilico (FDCA) e del meccanismo di reazione.
Resumo:
In this thesis, the development of asymmetric α-alkylation of aldehydes using two new organocatalysts is described. Nowadays organocatalized asymmetric synthesis uses preferentially primary or secondary amines. In our case two new Betti bases derivatives have been used as organocatalysts. We tried to find a method based on resolution to obtain both enantiomers with ee major than 90%. At the end we tried them in an organocatalytic processes which involve indole derivatives and aldehydes as substrates. In questa tesi è descritto lo sviluppo del processo di alfa-alchilazione di aldeidi utilizzando due nuovi catalizzatori organici chirali. Al giorno d’oggi la sintesi asimmetrica organo catalitica sfrutta principalmente ammine primarie e secondarie chirali. Come organo catalizzatori, sono stati utilizzati due nuovi derivati della base di Betti. E’ stato ricercato un metodo che permettesse di risolvere entrambi gli enantiomeri e che permettesse di ottenere un eccesso enantiomerico maggiore del 90%. Infine questi catalizzatori sono stati utilizzati e ottimizzati in micro-processi che utilizzano un substrato indolico e di un’aldeide.
Resumo:
Negli ultimi anni l’interesse nei confronti dell’H2 è cresciuto notevolmente per l’aumento della richiesta energetica mondiale. Uno dei processi più importanti per la produzione di H2 utilizza la reazione di Water-Gas Shift (WGS) per il trattamento delle correnti in uscita dai processi di steam reforming o di ossidazione parziale catalitica. CO + H2O CO2 + H2 ∆H0298 = -41,2 KJ/mol Sono quindi stati sviluppati sistemi catalitici attivi nella reazione di WGS a media temperatura (circa 300 °C). Partendo da sistemi catalitici a base di Cu/Zn/Al, ottenuti da precursori idrotalcitici e sviluppati in lavori di tesi precedenti, sono state effettuate modifiche nella composizione al fine di aumentarne l’attività e la stabilità. L’aggiunta di piccole quantità di Mg ha un effetto positivo sull’attività dei sistemi catalitici, con effetti più evidenti a 250 °C. Tuttavia, l’aumento del contenuto di Mg, sebbene migliori le proprietà fisiche del catalizzatore (area superficiale e dispersione del Cu) sia del campione calcinato che di quello scaricato dopo reazione, peggiora drasticamente l’attività catalitica. L’aggiunta di piccole quantità di Mg sembra portare alla stabilizzazione della specie attiva Cu+ e promuovere un meccanismo redox superficiale (Cu0 e Cu+). E’ possibile correlare la conversione del CO con il rapporto ZnO/Cu, confermando il ruolo nella reazione di WGS dell’interazione Cu0/ZnO libero. La sostituzione di Mg con Ba comporta un miglioramento delle prestazioni catalitiche, in particolare nelle condizioni MTS (300 °C), suggerendo una più facile dissociazione dell’acqua legata alla stabilizzazione degli ossidrili da parte dei siti basici. È però accompagnato da una diminuzione della stabilità nelle condizioni di reazione. L’aggiunta di piccole quantità di La, Ce o Zr (con un rapporto Al/R = 50 mol/mol) incrementa la stabilità termica, sia in termini di proprietà fisiche che di attività catalitica. A seguito dei cicli termici di invecchiamento accelerato, infatti, non si riscontrano importanti diminuzioni di attività catalitica, evidenziando un’elevata stabilità della fase attiva.