1000 resultados para estensioni trascendenti basi di trascendenza teorema degli zeri di Hilbert teorema di Lüroth
Resumo:
È ormai noto che numerosi organismi marini, dalle alghe unicellulari ai pesci coabitino con diverse specie di spugne, con un rapporto che varia, secondo i casi, dal semplice inquilinismo facoltativo alle più complesse simbiosi obbligate. All’interno di molte spugne si trovano degli endobionti, alcuni organismi rappresentano degli ospiti puramente occasionali, altri manifestano una notevole costanza e l’esistenza in associazione alla spugna sembra rappresenti la norma. In Adriatico settentrionale, nell’area compresa tra Grado ed il delta del fiume Po, sono presenti degli affioramenti rocciosi organogeni carbonatici che prendono il nome di tegnùe. In questi affioramenti è stata riscontrata una grande varietà di specie macrobentoniche sia sessili che vagili. Tra queste specie, è presente con elevate abbondanze e grandi dimensioni, fuori dal comune, la spugna massiva Geodia cydonium, oggetto del nostro studio. Lo scopo del presente lavoro è di caratterizzare la diversità della fauna associata alla demospongia Geodia cydonium, cercando di mettere in evidenza l’importante ruolo ecologico legato proprio all’elevato numero di inquilini che ospita. Sono stati prelevati campioni di spugna, con la relativa fauna associata, da tre siti presenti all’interno della Zona di Tutela Biologica di Chioggia. Date le grandi dimensioni degli esemplari e per non danneggiare la popolazione naturale di questa rara specie protetta, sono stati prelevati in immersione delle porzioni di spugna, incidendo verticalmente gli esemplari. Nei campioni sono stati riscontrati 28 taxa, tra cui prevalgono per abbondanza i policheti come Ceratonereis costae e Sphaerosyllis bulbosa e piccoli crostacei come Apseudopsis acutifrons e Leptochelia savignyi. Per molte specie prevalgono individui giovanili rispetto agli adulti. L’abbondanza e la ricchezza dei popolamenti associati alla spugna non risultano variare ne tra i siti di campionamento ne in relazione alle dimensioni degli esemplari da cui provengono i campioni. Questo fa supporre che la spugna crei un ambiente ideale per alcune specie, almeno nelle fasi giovanili, creando così associazioni relativamente stabili, più di quanto non sia la naturale variabilità dei popolamenti circostanti. Queste relazioni meritano di essere approfondite, investigando i cicli vitali e i comportamenti delle singole specie.
Resumo:
Nella definizione di incidente rilevante presente nelle Direttive Seveso, come pure nel loro recepimento nella legislazione italiana, rientrano eventi incidentali che abbiano conseguenze gravi per il bersaglio “ambiente”, sia in concomitanza sia in assenza di effetti dannosi per l’uomo. Tuttavia, a fronte di questa attenzione al bersaglio “ambiente” citata dalle norme, si constata la mancanza di indici quantitativi per la stima del rischio di contaminazione per i diversi comparti ambientali e, conseguentemente, anche di metodologie per il loro calcolo. Misure di rischio quantitative consolidate e modelli condivisi per la loro stima riguardano esclusivamente l’uomo, con la conseguenza che la valutazione di rischio per il bersaglio “ambiente” rimane ad un livello qualitativo o, al più, semi-quantitativo. Questa lacuna metodologica non consente di dare una piena attuazione al controllo ed alla riduzione del rischio di incidente rilevante, secondo l’obiettivo che le norme stesse mirano a raggiungere. E d‘altra parte il verificarsi periodico di incidenti con significativi effetti dannosi per l’ambiente, quali, ad esempio lo sversamento di gasolio nel fiume Lambro avvenuto nel febbraio 2010, conferma come attuale e urgente il problema del controllo del rischio di contaminazione ambientale. La ricerca presentata in questo lavoro vuole rappresentare un contributo per colmare questa lacuna. L’attenzione è rivolta al comparto delle acque superficiali ed agli sversamenti di liquidi oleosi, ovvero di idrocarburi insolubili in acqua e più leggeri dell’acqua stessa. Nel caso in cui il rilascio accidentale di un liquido oleoso raggiunga un corso d’acqua superficiale, l’olio tenderà a formare una chiazza galleggiante in espansione trasportata dalla corrente e soggetta ad un complesso insieme di trasformazioni fisiche e chimiche, denominate fenomeni di “oil weathering”. Tra queste rientrano l’evaporazione della frazione più volatile dell’olio e la dispersione naturale dell’olio in acqua, ovvero la formazione di una emulsione olio-in-acqua nella colonna d’acqua al di sotto della chiazza di olio. Poiché la chiazza si muove solidale alla corrente, si può ragionevolmente ritenere che l’evaporato in atmosfera venga facilmente diluito e che quindi la concentrazione in aria dei composti evaporati non raggiunga concentrazioni pericolose esternamente alla chiazza stessa. L’effetto fisico dannoso associato allo sversamento accidentale può pertanto essere espresso in doversi modi: in termini di estensione superficiale della chiazza, di volume di olio che emulsifica nella colonna d’acqua, di volume della colonna che si presenta come emulsione olio-in-acqua, di lunghezza di costa contaminata. In funzione di questi effetti fisici è possibile definire degli indici di rischio ambientale analoghi alle curve di rischio sociale per l’uomo. Come una curva di rischio sociale per l’uomo esprime la frequenza cumulata in funzione del numero di morti, così le curve di rischio sociale ambientale riportano la frequenza cumulata in funzione dell’estensione superficiale della chiazza, ovvero la frequenza cumulata in funzione del volume di olio che emulsifica in acqua ovvero la frequenza cumulata in funzione del volume di colonna d’acqua contaminato ovvero la frequenza cumulata in funzione della lunghezza di costa contaminata. Il calcolo degli indici di rischio così definiti può essere effettuato secondo una procedura analoga al calcolo del rischio per l’uomo, ovvero secondo i seguenti passi: 1) descrizione della sorgente di rischio; 2) descrizione del corso d’acqua che può essere contaminato in caso di rilascio dalla sorgente di rischio; 3) identificazione, degli eventi di rilascio e stima della loro frequenza di accadimento; 4) stima, per ogni rilascio, degli effetti fisici in termini di area della chiazza, di volume di olio emulsificato in acqua, di volume dell’emulsione olio-in-acqua, lunghezza di costa contaminata; 5) ricomposizione, per tutti i rilasci, degli effetti fisici e delle corrispondenti frequenze di accadimento al fine di stimare gli indici di rischio sopra definiti. Al fine di validare la metodologia sopra descritta, ne è stata effettuata l’applicazione agli stabilimenti a rischio di incidente rilevante presenti nei bacini secondari che fanno parte del bacino primario del Po. E’ stato possibile calcolare gli indici di rischio per ogni stabilimento, sia in riferimento al corso d’acqua del bacino secondario a cui appartengono, sia in riferimento al Po, come pure ottenere degli indici di rischio complessivi per ogni affluente del Po e per il Po stesso. I risultati ottenuti hanno pienamente confermato la validità degli indici di rischio proposti al fine di ottenere una stima previsionale del rischio di contaminazione dei corsi d’acqua superficiali, i cui risultati possano essere utilizzati per verificare l’efficacia di diverse misure di riduzione del rischio e per effettuare una pianificazione d’emergenza che consenta, in caso di incidente, di contenere, recuperare e favorire la dispersione dell’olio sversato.
Resumo:
Oggi, grazie al continuo progredire della tecnologia, in tutti i sistemi di produzione industriali si trova almeno un macchinario che permette di automatizzare determinate operazioni. Alcuni di questi macchinari hanno un sistema di visione industriale (machine vision), che permette loro di osservare ed analizzare ciò che li circonda, dotato di algoritmi in grado di operare alcune scelte in maniera automatica. D’altra parte, il continuo progresso tecnologico che caratterizza la realizzazione di sensori di visione, ottiche e, nell’insieme, di telecamere, consente una sempre più precisa e accurata acquisizione della scena inquadrata. Oggi, esigenze di mercato fanno si che sia diventato necessario che macchinari dotati dei moderni sistemi di visione permettano di fare misure morfometriche e dimensionali non a contatto. Ma le difficoltà annesse alla progettazione ed alla realizzazione su larga scala di sistemi di visione industriali che facciano misure dimensioni non a contatto, con sensori 2D, fanno sì che in tutto il mondo il numero di aziende che producono questo tipo di macchinari sia estremamente esiguo. A fronte di capacità di calcolo avanzate, questi macchinari necessitano dell’intervento di un operatore per selezionare quali parti dell’immagine acquisita siano d’interesse e, spesso, anche di indicare cosa misurare in esse. Questa tesi è stata sviluppata in sinergia con una di queste aziende, che produce alcuni macchinari per le misure automatiche di pezzi meccanici. Attualmente, nell’immagine del pezzo meccanico vengono manualmente indicate le forme su cui effettuare misure. Lo scopo di questo lavoro è quello di studiare e prototipare un algoritmo che fosse in grado di rilevare e interpretare forme geometriche note, analizzando l’immagine acquisita dalla scansione di un pezzo meccanico. Le difficoltà affrontate sono tipiche dei problemi del “mondo reale” e riguardano tutti i passaggi tipici dell’elaborazione di immagini, dalla “pulitura” dell’immagine acquisita, alla sua binarizzazione fino, ovviamente, alla parte di analisi del contorno ed identificazione di forme caratteristiche. Per raggiungere l’obiettivo, sono state utilizzate tecniche di elaborazione d’immagine che hanno permesso di interpretare nell'immagine scansionata dalla macchina tutte le forme note che ci siamo preposti di interpretare. L’algoritmo si è dimostrato molto robusto nell'interpretazione dei diametri e degli spallamenti trovando, infatti, in tutti i benchmark utilizzati tutte le forme di questo tipo, mentre è meno robusto nella determinazione di lati obliqui e archi di circonferenza a causa del loro campionamento non lineare.
Resumo:
Nel trasporto di cose si registra l’intervento nella fase di riconsegna della merce di un soggetto diverso dall’originario contraente con il vettore: il destinatario. Tale contratto si caratterizza per uno sfasamento tra il momento della stipulazione del contratto tra mittente e vettore e quello della riconsegna delle merci, nel quale al destinatario viene riconosciuta facoltà di esercitare i diritti nascenti dal contratto di trasporto nei confronti del vettore; tale sfasamento temporale fra l’inizio e la fine della prestazione del vettore comporta una scissione in seno alla figura del creditore del trasporto nei confronti del vettore fra mittente e destinatario. Questo elemento crea una particolare situazione giuridica che è stata variamente inquadrata. Si verifica, infatti, un fenomeno di successione del destinatario al mittente nell’acquisto e nel conseguente esercizio dei diritti nascenti dal contratto di trasporto, ossia un trasferimento dei diritti dal mittente al destinatario, di portata apparentemente eversiva del principio della relatività degli effetti del contratto codificato dall’art. 1372 c.c. Si pone, dunque, il problema di individuare quali diritti nei confronti del vettore siano esercitabili dal destinatario, ossia quale sia il contenuto di tali diritti. In secondo luogo, si pone il problema di accertare con quali modalità temporali il destinatario acquisti tali diritti. Bisogna, poi, stabilire a quale titolo tale acquisto avvenga. Inoltre è necessario stabilire come si concili la legittimazione all’esercizio di tali diritti con i poteri di disposizione del carico e, in definitiva, di modifica del contratto del trasporto, riconosciuti al mittente e determinare a chi spetti la legittimazione ad esercitare le azioni derivanti dal contratto di trasporto verso il vettore. Questi quesiti toccano un problema di più ampia portata riguardante la configurazione giuridica della posizione negoziale assunta dal destinatario all’interno della complessa fattispecie contrattuale che vincola fra loro i tre soggetti e la determinazione del meccanismo giuridico che rende possibile il trasferimento dei diritti che nascono dal contratto di trasporto al destinatario, il quale si sostituisce al mittente nella titolarità degli stessi. La disciplina del trasporto non si presta ad una interpretazione univoca, ponendo problemi applicativi di non facile soluzione. Le esigenze di un’idonea configurazione giuridica del contratto di trasporto e dei rapporti intercorrenti fra i soggetti intorno ad esso interagiscono, quelle di un equo contemperamento degli interessi delle parti e quelle di una compiuta risposta ai problemi pratici connessi all’attuale realtà dei traffici non hanno trovato risposte condivise. La dottrina e la giurisprudenza hanno fornito diverse soluzioni, per lo più basate su un’interpretazione sistematica del contratto di trasporto, a margine del codice di commercio del 1882, prima, e del codice civile del 1942, poi. Si è dunque dato vita alla ricerca, all’interno delle norme generali in tema di obbligazioni e contratti, delle logiche e degli istituti ai quali può essere ricondotto l’acquisto da parte del destinatario del risultato della prestazione del vettore nella fase finale della riconsegna del carico. L’elaborato analizza tutte le teorie sviluppate dagli interpreti. In particolare viene esaminata la tesi accolta dalla dottrina e dalla giurisprudenza maggioritarie, volta a qualificare il trasporto come un contratto a favore a terzi, la tesi che qualifica tale contratto come un’ipotesi di indicazione o di delegazione di pagamento e la tesi che qualifica il trasporto come di cose come contratto naturalmente suscettibile di cessione al destinatario. Di tali teorie vengono indagate le conseguenze applicative, con particolare riferimento al contenuto dei diritti, delle azioni e delle eccezioni esercitabili dei soggetti che partecipano al contratto, per concludere che la teoria che fornisce il più ampio contemperamento degli interessi delle parti, alla luce dell’attuale realtà dei traffici, è quella che riconduce il trasferimento dei diritti inerenti al contratto di trasporto di cose all’istituto della cessione.
Resumo:
Nonostante negli ultimi anni si sia verificato un generale abbassamento degli infortuni sul lavoro, si rileva che gli incidenti legati alle esplosioni sono rimasti pressoché stazionari. Questo indica la necessità, sia di una maggiore aderenza delle soluzioni di limitazione dei rischi adottate, alle direttive nazionali ed europee pur introdotte in campo legislativo, sia – soprattutto – di asseverare processi di valutazione dei rischi medesimi, caso per caso presentati dalle differenti realtà produttive. Nel lavoro qui presentato si è proceduto, quindi, dopo un'introduzione sulle dinamiche dei fenomeni fisico-chimici che portano all’esplosione, a proporre ed illustrare una metodologia di analisi ed adeguamento alle principali normative in materia di ATEX, ovvero alle Direttive europee di riferimento e alle norme tecniche CEI specialistiche mediante un approccio classico di analisi del rischio. Fine ultimo di tale metodologia sarà la definizione del livello di riduzione del rischio ottenuto grazie all’adeguamento alle predette Direttive. Preliminarmente viene definita una procedura di ottimizzazione per l’individuazione e classificazione le sorgenti di emissione, sia di gas e vapori, che di polveri. Analogo ragionamento viene, poi, condotto per le principali fonti d’innesco delle nubi. Utilizzando opportuni software nel continuo si definisce il livello di rischio pre-adeguamento, le aree di maggiore criticità (in cui procedere agli interventi di prevenzione e protezione, materiali e organizzativi) e il livello di rischio residuo post-adeguamento. La metodologia è stata applicata al caso reale di un impianto per la distillazione dell’etanolo.
Resumo:
I moderni sistemi embedded sono equipaggiati con risorse hardware che consentono l’esecuzione di applicazioni molto complesse come il decoding audio e video. La progettazione di simili sistemi deve soddisfare due esigenze opposte. Da un lato è necessario fornire un elevato potenziale computazionale, dall’altro bisogna rispettare dei vincoli stringenti riguardo il consumo di energia. Uno dei trend più diffusi per rispondere a queste esigenze opposte è quello di integrare su uno stesso chip un numero elevato di processori caratterizzati da un design semplificato e da bassi consumi. Tuttavia, per sfruttare effettivamente il potenziale computazionale offerto da una batteria di processoriè necessario rivisitare pesantemente le metodologie di sviluppo delle applicazioni. Con l’avvento dei sistemi multi-processore su singolo chip (MPSoC) il parallel programming si è diffuso largamente anche in ambito embedded. Tuttavia, i progressi nel campo della programmazione parallela non hanno mantenuto il passo con la capacità di integrare hardware parallelo su un singolo chip. Oltre all’introduzione di multipli processori, la necessità di ridurre i consumi degli MPSoC comporta altre soluzioni architetturali che hanno l’effetto diretto di complicare lo sviluppo delle applicazioni. Il design del sottosistema di memoria, in particolare, è un problema critico. Integrare sul chip dei banchi di memoria consente dei tempi d’accesso molto brevi e dei consumi molto contenuti. Sfortunatamente, la quantità di memoria on-chip che può essere integrata in un MPSoC è molto limitata. Per questo motivo è necessario aggiungere dei banchi di memoria off-chip, che hanno una capacità molto maggiore, come maggiori sono i consumi e i tempi d’accesso. La maggior parte degli MPSoC attualmente in commercio destina una parte del budget di area all’implementazione di memorie cache e/o scratchpad. Le scratchpad (SPM) sono spesso preferite alle cache nei sistemi MPSoC embedded, per motivi di maggiore predicibilità, minore occupazione d’area e – soprattutto – minori consumi. Per contro, mentre l’uso delle cache è completamente trasparente al programmatore, le SPM devono essere esplicitamente gestite dall’applicazione. Esporre l’organizzazione della gerarchia di memoria ll’applicazione consente di sfruttarne in maniera efficiente i vantaggi (ridotti tempi d’accesso e consumi). Per contro, per ottenere questi benefici è necessario scrivere le applicazioni in maniera tale che i dati vengano partizionati e allocati sulle varie memorie in maniera opportuna. L’onere di questo compito complesso ricade ovviamente sul programmatore. Questo scenario descrive bene l’esigenza di modelli di programmazione e strumenti di supporto che semplifichino lo sviluppo di applicazioni parallele. In questa tesi viene presentato un framework per lo sviluppo di software per MPSoC embedded basato su OpenMP. OpenMP è uno standard di fatto per la programmazione di multiprocessori con memoria shared, caratterizzato da un semplice approccio alla parallelizzazione tramite annotazioni (direttive per il compilatore). La sua interfaccia di programmazione consente di esprimere in maniera naturale e molto efficiente il parallelismo a livello di loop, molto diffuso tra le applicazioni embedded di tipo signal processing e multimedia. OpenMP costituisce un ottimo punto di partenza per la definizione di un modello di programmazione per MPSoC, soprattutto per la sua semplicità d’uso. D’altra parte, per sfruttare in maniera efficiente il potenziale computazionale di un MPSoC è necessario rivisitare profondamente l’implementazione del supporto OpenMP sia nel compilatore che nell’ambiente di supporto a runtime. Tutti i costrutti per gestire il parallelismo, la suddivisione del lavoro e la sincronizzazione inter-processore comportano un costo in termini di overhead che deve essere minimizzato per non comprometterre i vantaggi della parallelizzazione. Questo può essere ottenuto soltanto tramite una accurata analisi delle caratteristiche hardware e l’individuazione dei potenziali colli di bottiglia nell’architettura. Una implementazione del task management, della sincronizzazione a barriera e della condivisione dei dati che sfrutti efficientemente le risorse hardware consente di ottenere elevate performance e scalabilità. La condivisione dei dati, nel modello OpenMP, merita particolare attenzione. In un modello a memoria condivisa le strutture dati (array, matrici) accedute dal programma sono fisicamente allocate su una unica risorsa di memoria raggiungibile da tutti i processori. Al crescere del numero di processori in un sistema, l’accesso concorrente ad una singola risorsa di memoria costituisce un evidente collo di bottiglia. Per alleviare la pressione sulle memorie e sul sistema di connessione vengono da noi studiate e proposte delle tecniche di partizionamento delle strutture dati. Queste tecniche richiedono che una singola entità di tipo array venga trattata nel programma come l’insieme di tanti sotto-array, ciascuno dei quali può essere fisicamente allocato su una risorsa di memoria differente. Dal punto di vista del programma, indirizzare un array partizionato richiede che ad ogni accesso vengano eseguite delle istruzioni per ri-calcolare l’indirizzo fisico di destinazione. Questo è chiaramente un compito lungo, complesso e soggetto ad errori. Per questo motivo, le nostre tecniche di partizionamento sono state integrate nella l’interfaccia di programmazione di OpenMP, che è stata significativamente estesa. Specificamente, delle nuove direttive e clausole consentono al programmatore di annotare i dati di tipo array che si vuole partizionare e allocare in maniera distribuita sulla gerarchia di memoria. Sono stati inoltre sviluppati degli strumenti di supporto che consentono di raccogliere informazioni di profiling sul pattern di accesso agli array. Queste informazioni vengono sfruttate dal nostro compilatore per allocare le partizioni sulle varie risorse di memoria rispettando una relazione di affinità tra il task e i dati. Più precisamente, i passi di allocazione nel nostro compilatore assegnano una determinata partizione alla memoria scratchpad locale al processore che ospita il task che effettua il numero maggiore di accessi alla stessa.
Resumo:
Questo lavoro di tesi è finalizzato fondamentalmente allo studio di un’importante problematica che caratterizza gli impianti fotovoltaici: il mismatching, ovvero la disomogeneità nelle caratteristiche elettriche delle celle e quindi dei pannelli fotovoltaici, dal quale scaturisce che la potenza massima, risultante dal collegamento in serie/parallelo dei vari pannelli, è sempre inferiore alla somma delle potenze massime dei pannelli fotovoltaici prima della connessione. In particolare, si è realizzato con il software Simulink un modello flessibile che consente, attraverso una rappresentazione compatta di pochissimi blocchi, di simulare un campo fotovoltaico del tutto arbitrario, in una qualunque condizione operativa di temperatura e di ombreggiamento solare dei pannelli che compongono il campo stesso. A fronte di ciò si è condotta un’analisi approfondita degli effetti del mismatching in un generico campo fotovoltaico sottoposto a diverse disomogeneità per quanto concerne le condizioni operative di temperatura e irraggiamento solare dei vari pannelli. Il software ha permesso, inoltre, di evidenziare l’importanza delle protezioni da impiegare opportunamente negli impianti fotovoltaici; ad esempio, a livello di simulazioni, si è visto come il collegamento di un diodo di by-pass in antiparallelo ai pannelli in ombra permetta di limitare notevolmente l’impatto degli ombreggiamenti. Infine è stato condotto uno studio analitico del mismatching per difformità di fabbricazione di una serie di pannelli dei quali erano noti solo i punti di funzionamento di massima potenza, con la finalità di valutare la possibilità di migliorare la disposizione dei pannelli, e quindi ottimizzare la massima potenza erogabile dal corrispondente campo fotovoltaico.
Resumo:
La dieta, nell’antica medicina greca, rappresentava il complesso delle norme di vita, come l’alimentazione, l’attività fisica, il riposo, atte a mantenere lo stato di salute di una persona. Al giorno d’oggi le si attribuisce un significato fortemente legato all’alimentazione, puo` riferirsi al complesso di cibi che una persona mangia abitualmente oppure, con un messaggio un po' più moderno, ad una prescrizione di un regime alimentare da parte di un medico. Ogni essere umano mangia almeno tre volte al giorno, ognuno in base al proprio stile di vita, cultura, età, etc. possiede differenti abitudini alimentari che si ripercuotono sul proprio stato di salute. Inconsciamente tutti tengono traccia degli alimenti mangiati nei giorni precedenti, chi più chi meno, cercando di creare quindi una pianificazione di cosa mangiare nei giorni successivi, in modo da variare i pasti o semplicemente perchè si segue un regime alimentare particolare per un certo periodo. Diventa quindi fondamentale tracciare questa pianificazione, in tal modo si puo' tenere sotto controllo la propria alimentazione, che è in stretta relazione con il proprio stato di salute e stress, e si possono applicare una serie di aggiustamenti dove necessario. Questo è quello che cerca di fare il “Menu Planning”, offrire una sorta di guida all’alimentazione, permettendo così di aver sotto controllo tutti gli aspetti legati ad essa. Si pensi, ad esempio, ai prezzi degli alimenti, chiunque vorrebbe minimizzare la spesa, mangiare quello che gli piace senza dover per forza rinunciare a quale piccolo vizio quotidiano. Con le tecniche di “Menu Planning” è possibile avere una visione di insieme della propria alimentazione. La prima formulazione matematica del “Menu Planning” (allora chiamato diet problem) nacque durante gli anni ’40, l’esercito Americano allora impegnano nella Seconda Guerra Mondiale voleva abbassare i costi degli alimenti ai soldati mantenendo però inalterata la loro dieta. George Stingler, economista americano, trovò una soluzione, formulando un problema di ottimizzazione e vincendo il premio Nobel in Economia nel 1982. Questo elaborato tratta dell’automatizzazione di questo problema e di come esso possa essere risolto con un calcolatore, facendo soprattutto riferimento a particolari tecniche di intelligenza artificiale e di rappresentazione della conoscenza, nello specifico il lavoro si è concentrato sulla progettazione e sviluppo di un ES case-based per risolvere il problema del “Menu Planning”. Verranno mostrate varie tecniche per la rappresentazione della conoscenza e come esse possano essere utilizzate per fornire supporto ad un programma per elaboratore, partendo dalla Logica Proposizionale e del Primo Ordine, fino ad arrivare ai linguaggi di Description Logic e Programmazione Logica. Inoltre si illustrerà come è possibile raccogliere una serie di informazioni mediante procedimenti di Knowledge Engineering. A livello concettuale è stata introdotta un’architettura che mette in comunicazione l’ES e un Ontologia di alimenti con l’utilizzo di opportuni framework di sviluppo. L’idea è quella di offrire all’utente la possibilità di vedere la propria pianificazione settimanale di pasti e dare dei suggerimenti su che cibi possa mangiare durante l’arco della giornata. Si mostreranno quindi le potenzialità di tale architettura e come essa, tramite Java, riesca a far interagire ES case-based e Ontologia degli alimenti.