41199 research outputs found
Sort by
Three-objective optimization studies of an S-duct
Get PDFIn this work the CFD analysis and the MOO are combined. In particular the MOO is focused on the optimisation of an S-duct intake while the CFD analysis is a study of the interaction between dierent s-duct, obtained by the MOO, with the rotor 67. The S-duct intake create inlet distorsions to the fan and many studies have been done to replicate these inlet distorsions. In literature total pressure and swirl distorsion are analised separatly but in reality the two distorsions coesist toge
Incendi in stoccaggi di rifiuti. Modellazione quantitativa di scenari di incendio con codice di calcolo FDS
Get PDFmodellazione di scenari di incendio all'aperto con codice di calcolo fds, combustione di materiale plastico polimeric
Analisi LCA di sistemi per la produzione di energia elettrica integrati con accumulatori elettrochimici e FER
Get PDFAnalisi LCA di accumulatori elettrochimici, impianti per la produzione elettrica e Fonti elettriche rinnovabil
Analisi LCA di un impianto a Ciclo Rankine Organico alimentato a biogas. LCA analysis of an Organic Rankine Cycle plant powered by biogas
Get PDFAnalisi LCA di un impianto a biogas con motore termico e ciclo Rankine organico
Note sulla biografia scientifica di Ettore Majorana, il Grande Inquisitore
Get PDFEttore Majorana, uomo di scienza vissuto nella prima meà del secolo scorso, è stato membro per una parte della sua vita del famoso gruppo di ricerca in ambito fisico " I ragazzi di via Panisperna", in cui ha collaborato attivamente nei panni di teorico puro. Il soprannome attribuitogli dai compagni e dagli amici dell' epoca, il "Grande Inquisitore", gli calzava particolarmente a pennello: egli aveva la dote di essere un critico straordinariamente attento sia riguardo al proprio lavoro, che verso quello altrui, e un' attitudine di matematico che gli ha permesso di vedere lontano nello sviluppo della fisica teorica, e di esserne così un pioniere.
Questo elaborato si prefigge inizialmente di tratteggiare la personalità e il temperamento di Ettore Majorana, che si delineano a partire sia dalle lettere alla famiglia e agli amici, sia dalle testimonianze di chi in prima persona lo ha conosciuto raccolte negli anni. Secondariamente, la tesi vuole tracciare i punti essenziali degli studi di Majorana, scientifici e non, in un contesto storico di ampio respiro, basandosi sia su fonti primarie, come articoli ufficiali e materiale inedito mai pubblicato, che su fonti secondarie, elaborate da diversi autori dopo la sua misteriosa scomparsa, avvenuta la notte fra il 25 e il 26 marzo 1938
Collecting operational abstract interpreters
Get PDFThe theory of abstract interpretation, introduced by Cousot and Cousot in
1977, is a general theory of the approximation of formal program semantics. It is a useful tool to prove the accuracy of static analysis and permits to express mathematically the link between the output of practical, approximate analysis and the original uncomputable program semantics.
Given a programming language, abstract interpretation consists of giving
several semantics linked by a relation of abstraction; a semantics is intended to be the mathematical characterization of a program’s possible behavior. There are several approaches to semantics each one focused on different properties of a given program. For instance, operational semantics focuses on how to execute a program, and in particular, structural operational semantics deals with how the single step of the computation takes place. On the other hand, the denotational approach is merely interested in the effect of the program’s computation, i.e., to find a relationship between input and output data passing through mathematical structures. It is clear that, since these two approaches are different, the final results must be coherent with each other, and this induces to speculate they may be considered equivalent in a suitable sense. Thanks to its streamlined notions and proofs, the denotational approach to abstract interpretation has already been studied many times, and many properties have been developed and well formalized. Instead, the operational correspondent versions have rarely been strictly formalized and proved, even if intuitively accepted as true. The main purpose of this work is to fill this gap: to study in detail the operational approach to abstract interpretation and to formalize in this particular setting some of the
well-known denotational properties, providing mathematical proofs
Gruppi di omotopia superiori e omotopia delle sfere
No full textLa topologia algebrica può essere definita a grandi linee come lo studio di
tecniche che permettono di costruire invarianti algebrici di spazi
topologici. Tra le costruzioni più utili a questo scopo spiccano i gruppi
di omotopia, generalizzazione a dimensioni superiori del gruppo
fondamentale di uno spazio topologico. Di facile definizione, risultano
essere estremamente difficili da calcolare, anche nel caso di spazi
semplici come le sfere. Nella tesi studiamo i primi risultati riguardo a
questi oggetti di grande interesse, per la loro importanza teorica e per
alcuni problemi aperti a loro collegati
Previsione dei prezzi zonali del mercato italiano tramite tecniche di machine learning
Get PDFLo scopo di questo lavoro di tesi è la realizzazione di un modello di machine learning, in particolare una rete neurale LSTM, in grado di effettuare previsioni del prezzo zonale del mercato elettrico sardo, sia su base oraria che giornaliera. L'obiettivo è quello di fornire uno strumento utile a venditori ed acquirenti che operano nel mercato elettrico, affinchè possano prendere decisioni più consapevoli ed efficaci, il tutto in un'ottica di massimizzazione dei profitti
Gestione della Safety: differenze tra sistemi complessi e sistemi non complessi
Get PDFNella stesura dell'elaborato sono prese in esame le principali attività necessarie per comprendere lo sviluppo di una Gestione della Safety. Il primo passo è stato definire i concetti di Safety e Security e le Normative a cui i due sistemi devono fare riferimento per attuare e garantire un Sistema di Gestione della Sicurezza. Successivamente, sono stati individuati i fattori a maggior rischio, per entrambi i sistemi, per procedere ad un corretto Risk Management
Soluzione integrata per l'efficientamento sismico ed energetico. Caso studio e valutazione della sicurezza nella fase di posa in opera
Get PDFNella tesi si è analizzata la sicurezza del prodotto Cappotto Sismico. Partendo da un caso studio si sono individuati e stimati i rischi principali si è proceduto all'analisi di diverse modalità operative attuabili per la posa in opera. Si sono quindi indicate le maggiori criticità riscontrate e le proposte migliorative dal punto di vista della sicurezza: alcune adottabili dal produttore nella fase di prefabbricazione, altre relative al ruolo dei coordinatori nei singoli cantieri