Combinatoria e topologia di arrangiamenti di iperpiani

In questo elaborato vengono studiati gli arrangiamenti di iperpiani prima di tutto dal punto di vista combinatorio e, in seguito, dal punto di vista topologico. Particolare attenzione verrà riposta nello studio della coomologia del complemento di arrangiamenti complessi. Per giungere ad una completa descrizione coomologica si sfrutterà la costruzione e lo studio di particolari algebre esterne basate sulle caratteristiche combinatorie degli arrangiamenti.

Il linguaggio Alloy come ausilio nella specifica formale di modelli UML

UML è ampiamente considerato lo standard de facto nella fase iniziale di modellazione di sistemi software basati sul paradigma Object-Oriented; il suo diagramma delle classi è utilizzato per la rappresentazione statica strutturale di entità e relazioni che concorrono alla definizione delle specifiche del sistema; in questa fase viene utilizzato il linguaggio OCL per esprimere vincoli semantici sugli elementi del diagramma. Il linguaggio OCL però soffre della mancanza di una verifica formale sui vincoli che sono stati definiti. Il linguaggio di modellazione Alloy, inserendosi in questa fase, concettualmente può sopperire a questa mancanza perchè può descrivere con le sue entità e relazioni un diagramma delle classi UML e, tramite propri costrutti molto vicini all'espressività di OCL, può specificare vincoli semantici sul modello che verranno analizzati dal suo ambiente l'Alloy Analyzer per verificarne la consistenza. In questo lavoro di tesi dopo aver dato una panoramica generale sui costrutti principali del linguaggio Alloy, si mostrerà come è possibile creare una corrispondenza tra un diagramma delle classi UML e un modello Alloy equivalente. Si mostreranno in seguito le analogie che vi sono tra i costrutti Alloy e OCL per la definizione di vincoli formali, e le differenze, offrendo nel complesso soluzioni e tecniche che il modellatore può utilizzare per sfruttare al meglio questo nuovo approccio di verifica formale. Verranno mostrati anche i casi di incompatibilità. Infine, come complemento al lavoro svolto verrà mostrata, una tecnica per donare una dinamicità ai modelli statici Alloy.

Studio comparato sull'uso dell'accusativo preposizionale in spagnolo, italiano e dialetto di Montemesola

In questa tesi parlo del fenomeno del complemento oggetto preposizionale. Nel primo capitolo definirò e descriverò il fenomeno grazie alle posizioni assunte da molti grammatici e linguisti nei loro studi; riporterò le varie ipotesi sorte nel campo della linguistica circa l’origine del fenomeno e come si giunge all’uso della preposizione “a” per tale marcatura; evidenzierò, infine, i vari approcci da parte dei linguisti di fronte al fenomeno in spagnolo, italiano e nelle sue varianti in diatopia. Nel secondo capitolo, focalizzerò l’attenzione sull’aspetto normativo esposto nelle grammatiche riguardo un uso corretto della marca riportando le casistiche d’uso in spagnolo, in italiano, e descrivendo come e dove alcuni linguisti rintracciano il fenomeno tra le varianti dialettali e di italiano regionale. Nel terzo e ultimo capitolo, riporto i dati di una indagine condotta tra parlanti di due fasce d’età distinte (studenti e over 30) a Granada, per quanto concerne lo spagnolo, e Montemesola (piccolo paese della provincia di Taranto), per una verifica dell’uso della marca preposizionale in italiano e dialetto. Cercherò di evidenziare: quanto e in che modo i parlanti siano consapevoli delle loro scelte linguistiche analizzando, non solo statisticamente la frequenza d’uso della “a”, confrontandola tra le fasce d’età, ma considerando anche, di volta in volta, le motivazioni date dai parlanti nell’effettuare le loro scelte. La grammatica non è il perno centrale delle considerazioni del parlante nel momento in cui sceglie dei ricorsi linguistici piuttosto che altri, ma esistono altri criteri nella scelta altrettanto rilevanti, quali fattori soprasegmentali, contesto linguistico ed extralinguistico, e conoscenza enciclopedica del mondo, che intervengono anche a giustificazione dell’assenza della preposizione, rendendola significativa.

Circuiti per il miglioramento della qualità di sorgenti dc

Tutti gli apparati elettronici richiedono un'alimentazione in tensione continua. Qualunque sia la fonte di energia elettrica, una batteria (in DC) o la rete di distribuzione (in AC), l’alimentatore ha il compito di regolare la tensione continua di uscita per consentire il corretto funzionamento del dispositivo alimentato. La stabilizzazione della tensione DC in uscita deve avvenire nonostante la presenza di ripple e di disturbi sulla alimentazione primaria, di ampie variazioni sulle correnti assorbite dal carico, di ampie escursioni di temperatura e deve essere garantita nel tempo, anche a fronte di sostituzione di alcuni componenti del circuito. In questa tesi si prenderanno in considerazione i regolatori lineari. Sebbene si tratti di circuiti che operano in condizioni di linearità e quindi, quasi per definizione, poco efficienti, in realtà il loro impiego diventa quasi obbligatorio per applicazioni in cui è richiesta una tensione di alimentazione poco rumorosa. Se utilizzati a valle di un alimentatore switching possono aumentare notevolmente la qualità della tensione di uscita operando con livelli di efficienza e di dissipazione del tutto accettabili e con minimo aumento di costo del sistema. Gli alimentatori lineari non sono dunque “superati” dai più recenti alimentatori switching ma sono, piuttosto, “alternativi” e, in molti alimentatori moderni, di complemento. Per questo motivo, anche di recente, sono stati sviluppati e trovano importanti quote di mercato innovative architetture di regolatori lineari dalle prestazioni molto migliorate e vi sono circuiti come il regolatore di John Linsley Hood che non possono non suscitare il più vivo interesse della comunità audiofila