480 resultados para Semantica operazionale strutturale sintassi
Resumo:
Indagine sulla varietà sintattica presente all'interno dei formalismi di specifica della semantica operazionale strutturale (SOS) di linguaggi di programmazione e calcolo di processi. Rassegna di tool di implementazione con attenzione al grado di copertura linguistica.
Resumo:
La programmazione aggregata è un paradigma che supporta la programmazione di sistemi di dispositivi, adattativi ed eventualmente a larga scala, nel loro insieme -- come aggregati. L'approccio prevalente in questo contesto è basato sul field calculus, un calcolo formale che consente di definire programmi aggregati attraverso la composizione funzionale di campi computazionali, creando i presupposti per la specifica di pattern di auto-organizzazione robusti. La programmazione aggregata è attualmente supportata, in modo più o meno parziale e principalmente per la simulazione, da DSL dedicati (cf., Protelis), ma non esistono framework per linguaggi mainstream finalizzati allo sviluppo di applicazioni. Eppure, un simile supporto sarebbe auspicabile per ridurre tempi e sforzi d'adozione e per semplificare l'accesso al paradigma nella costruzione di sistemi reali, nonché per favorire la ricerca stessa nel campo. Il presente lavoro consiste nello sviluppo, a partire da un prototipo della semantica operazionale del field calculus, di un framework per la programmazione aggregata in Scala. La scelta di Scala come linguaggio host nasce da motivi tecnici e pratici. Scala è un linguaggio moderno, interoperabile con Java, che ben integra i paradigmi ad oggetti e funzionale, ha un sistema di tipi espressivo, e fornisce funzionalità avanzate per lo sviluppo di librerie e DSL. Inoltre, la possibilità di appoggiarsi, su Scala, ad un framework ad attori solido come Akka, costituisce un altro fattore trainante, data la necessità di colmare l'abstraction gap inerente allo sviluppo di un middleware distribuito. Nell'elaborato di tesi si presenta un framework che raggiunge il triplice obiettivo: la costruzione di una libreria Scala che realizza la semantica del field calculus in modo corretto e completo, la realizzazione di una piattaforma distribuita Akka-based su cui sviluppare applicazioni, e l'esposizione di un'API generale e flessibile in grado di supportare diversi scenari.
Resumo:
La ricerca di Roberta Frigeni, svolta ad ampio spettro diacronico, è condotta su di una campionatura di specula principum - editi ed inediti - elaborati tra XII e XV secolo, e ne indaga il linguaggio quale referente privilegiato, rilevandone persistenze terminologiche e nuclei sintagmatici ricorrenti, al fine di individuare concetti utili a delineare un lessico politico proprio di questa testualità, in corrispondenza al sorgere dell’entità statale europea nel XIII secolo (con particolare riguardo all’area francese, ai regni di Luigi IX e Filippo il Bello). A partire da un’analisi critica delle tesi di Quentin Skinner circa la ‘ridefinizione paradiastolica’ del sistema delle virtù classiche entro il trattato De principatibus, lo studio innesca un percorso di indagine à rebours che - sondando il linguaggio - rintraccia nella trattatistica delle institutiones regum del XV secolo (Pontano, Patrizi, Carafa, Platina) e degli specula principum medievali (Elinando di Froidmont, Gilberto di Tournai, Vincenzo di Beauvais, Guglielmo Peraldo, Egidio Romano, Guido Vernani) una consonanza di motivi nella sintassi e nell’immaginario preposti ad illustrare le potenzialità semantiche del nome di prudentia, individuata quale unica virtù sopravvissuta alla ‘ridescrizione’ del codice etico operata da Machiavelli. Indagando i progressivi ampliamenti del campo semantico sorto attorno al nome della virtù di prudenza entro la letteratura speculare, la ricerca mostra come il dialettico rapporto con i lessemi di sapientia, astutia, fides ed experientia abbia avuto un ruolo determinante per il sorgere di un’immagine del principe emancipata dalla figura biblica del “rex sapiens”, e per la formazione di un lessico ospitale delle manifestazioni concrete del vivere politico ed economico. I processi di dilatazione e rarefazione del bacino semantico di prudentia sono, infatti, funzionali ad illustrare come il linguaggio della testualità speculare registri l’acquisizione di nuove strumentazioni teoriche grazie al rinnovamento delle fonti a disposizione lungo il secolo XIII, che - sostituendo progressivamente il più recente dossier aristotelico al solo apparato veterotestamentario - permettono di integrare la concezione delle virtù in senso operativo, adattandola alle esigenze politico-economiche dei nuovi contesti istituzionali monarchici.
Resumo:
In questa tesi si è voluta porre l’attenzione sulla suscettibilità alle alte temperature delle resine che li compongono. Lo studio del comportamento alle alte temperature delle resine utilizzate per l’applicazione dei materiali compositi è risultato un campo di studio ancora non completamente sviluppato, nel quale c’è ancora necessità di ricerche per meglio chiarire alcuni aspetti del comportamento. L’analisi di questi materiali si sviluppa partendo dal contesto storico, e procedendo successivamente ad una accurata classificazione delle varie tipologie di materiali compositi soffermandosi sull’ utilizzo nel campo civile degli FRP (Fiber Reinforced Polymer) e mettendone in risalto le proprietà meccaniche. Considerata l’influenza che il comportamento delle resine riveste nel comportamento alle alte temperature dei materiali compositi si è, per questi elementi, eseguita una classificazione in base alle loro proprietà fisico-chimiche e ne sono state esaminate le principali proprietà meccaniche e termiche quali il modulo elastico, la tensione di rottura, la temperatura di transizione vetrosa e il fenomeno del creep. Sono state successivamente eseguite delle prove sperimentali, effettuate presso il Laboratorio Resistenza Materiali e presso il Laboratorio del Dipartimento di Chimica Applicata e Scienza dei Materiali, su dei provini confezionati con otto differenti resine epossidiche. Per valutarne il comportamento alle alte temperature, le indagini sperimentali hanno valutato dapprima le temperature di transizione vetrosa delle resine in questione e, in seguito, le loro caratteristiche meccaniche. Dalla correlazione dei dati rilevati si sono cercati possibili legami tra le caratteristiche meccaniche e le proprietà termiche delle resine. Si sono infine valutati gli aspetti dell’applicazione degli FRP che possano influire sul comportamento del materiale composito soggetto alle alte temperature valutando delle possibili precauzioni che possano essere considerate in fase progettuale.
Resumo:
Il lavoro svolto, in collaborazione con “Ducati Motor Holding”, si propone l’analisi, mediante l’applicazione di un software FEM (HyperWorks 9.0), della struttura rappresentata dai condotti di un girotubi di scarico motociclistico. Il primo obiettivo consiste nell’ottenimento di un modello agli elementi finiti della struttura. In questo senso si è anche compiuta un’indagine sperimentale per la caratterizzazione di un componente chiave del sistema (un supporto antivibrante in gomma). Le simulazioni di calcolo strutturale vogliono coinvolgere gli effetti che i carichi termici hanno nell’alterare le proprietà meccaniche dei materiali e nell’indurre sollecitazioni derivate dalle dilatazioni termiche. Si svolgono inoltre analisi di tipo dinamico per determinare i modi di vibrare della struttura e come le frequenze naturali vengano influenzate dagli effetti termici. Sulla base di ulteriori simulazioni sulla risposta in frequenza del sistema e di un riscontro sperimentale (prova accelerometrica), si è inoltre tentata una prima validazione del modello dal punto di vista dinamico. La finalità del lavoro risiede dunque nella determinazione delle criticità strutturali che il girotubi può manifestare durante il funzionamento, ma anche nell’esplorazione e applicazione delle potenzialità del software applicato, per l’analisi degli aspetti sopra esposti.