Messung der Lebensdauer des 0 -Hyperons mit dem NA48-Detektor

Zu den Hauptcharakteristika von Teilchen gehoert - neben der Masse - die Lebensdauer. Die mittlere Lebensdauer des Xi0-Hyperons, die sich aus der mittleren Lebensdauer des Xi--Hyperons ueber die Delta I=1/2-Regel theoretisch voraussagen laesst, wurde bereits mehrfach experimentell bestimmt. Die neueste Messung aus dem Jahr 1977 besitzt jedoch eine relative Unsicherheit von 5%, was sich mit Daten neuerer Experimente deutlich verbessern laesst. Die mittlere Lebensdauer ist ein wichtiger Parameter bei der Bestimmung des Matrixelements Vus der Cabibbo-Kobayashi-Maskawa-Matrix in semileptonischen Xi0-Zerfaellen. Im Jahre 2002 wurde mit dem NA48-Detektor eine Datennahme mit hoher Intensitaet durchgefuehrt, bei der unter anderem etwa 10^9 Xi0-Zerfallskandidaten aufgezeichnet wurden. Davon wurden im Rahmen dieser Arbeit 192000 Ereignisse des Typs "Xi0 nach Lambda pi0" rekonstruiert und 107000 Ereignisse zur Bestimmung der mittleren Lebensdauer durch Vergleich mit simulierten Ereignissen verwendet. Zur Vermeidung von systematischen Fehlern wurde die Lebensdauer in zehn Energieintervallen durch Vergleich von gemessenen und simulierten Daten ermittelt. Das Ergebnis ist wesentlich genauer als bisherige Messungen und weicht vom Literaturwert (tau=(2,90+-0,09)*10^(-10)s) um (+4,99+-0,50(stat)+-0,58(syst))% ab, was 1,7 Standardabweichungen entspricht. Die Lebensdauer ergibt sich zu tau=(3,045+-0,015(stat)+-0,017(syst))*10^(-10)s. Auf die gleiche Weise konnte mit den zur Verfuegung stehenden Daten erstmals die Lebensdauer des Anti-Xi0-Hyperons gemessen werden. Das Ergebnis dieser Messung ist tau=(3,042+-0,045(stat)+-0,017(syst))*10^(-10)s.

Synthese und Photochemie von Dendrimeren mit stilbenoiden Chromophoren

Dendrimere spielen als strukturtreue Nanopartikel eine herausragende Rolle. Ziel dieser Arbeit war, Dendrimere mit einer hohen Dichte an photoaktiven Chromophoren herzu-stellen und zu untersuchen. Dazu wurden die terminalen Aminogruppen von Poly(propylenimin)dendrimeren 1. und 2. Generation, Astramol DAB-Am-4R und DAB-Am-8R, mit Stilbenen und Styrylstilbenen als Chromophor verknüpft. Mittels Wittig-Horner- und Heck-Reaktion wurden (E)-Stilbene aufgebaut, die auf der einen Seite drei Propoxygruppen zur Verbesserung der Löslichkeit und auf der anderen Seite eine passende Funktionalität zur Verknüpfung mit dem dendritischen Core tragen. Als Verknüpfungsmethoden wurden die Verknüpfung als Amid (PSDA), Schiffsche Base (PSDS) und Harnstoff (PSDH) getestet. Die Schiffschen Basen wurden außerdem zur Erhöhung der Hydrolysestabilität zum sekundären Amin reduziert (PSDR und PQDR). Durch die Verknüpfung mit dem Core werden die stilbenoiden Chromophore sehr stark photoaktiviert. Das beruht auf einem Singulett-Energietransfer (Förster-Mechanismus) von Chromophor zu Chromophor. Dieser Prozeß konkurriert zu den Deaktivierungsprozessen, verlängert die mittlere S1-Lebensdauer und erhöht somit die Chancen der Photochemie. Der Styrylstilben-Chromophor hat darüber hinaus einen erheblichen Teil seiner UV-Absorbtion bereits im Tageslicht und photopolymerisiert daher bereits im Tageslicht. Vor allem bei den Dendrimeren 2. Generation stellte sich die Frage nach der vollständigen, d.h. achtfachen Umsetzung; das Core sollte als Knäuel vorliegen, die Arme zum Teil nach innen gefaltet und somit dem Reaktand nur bedingt zugänglich. Auch dort konnten unter optimierten Reaktionsbedingungen alle Aminogruppen umgesetzt werden. Die vollständige Umsetzung der Dendrimere wurde mittels NMR und massenspektroskopischen Methoden untersucht. Bei den Absorptionsspektren der Dendrimere 1. Generation ändert sich die Lage der Maxima je nach Art der Verknüpfung der Chromophore mit dem Core. Die Verlängerung des Chromophors um eine Styryleinheit bedingt eine beträchtliche Rotverschiebung. Die Lage der Emissionsmaxima differiert stärker als die Lage der Absorptionsmaxima. Den geringsten Stokes-Shift weist der Harnstoff auf, dann folgt das sekundäre Amin, dann die Schiffsche Base. Dies weist auf unterschiedlich relaxierte S1-Geometrien hin. Die Verbindungen PSDS1, PSDR1 und PSDH1 aus 3,4,5-Tripropoxystilbeneinheit und Astramol-Core 1. Generation DAB-Am-4 wurden in einer Konzentration von 10-5 mol/L belichtet. Der vollständige Photoabbau durch Belichtung in Chloroform mit einer Xenon-Lampe erfolgte ohne jeglichen Filter innerhalb von zehn Minuten (PSDH1), 20 Minuten (PSDR1) und einer Stunde (PSDS1). Allen drei Verbindungen gemeinsam ist das Entstehen eines intermediären neuen Maximums geringer Intensität, das um etwa 100 nm bathochrom verschoben ist. Das Harnstoffsystem weist außerdem ein weiteres intermediäres Maximum bei 614 nm auf. Diese Maxima können (laut früherer Untersuchungen) durch Oxidation entstandenen chinoiden Strukturen zugeordnet werden, deren Lebensdauer (im Sekundenbereich) zu kurz für eine NMR-Charakterisierung ist. PSDR1 wurde außerdem bei höheren Konzentrationen (10-4 und 10-3 mol/L) mit einer Quecksilberlampe mit Pyrex-Filter (lambda > 300 nm) belichtet. Dabei wird, wie erwartet, eine Verbreiterung der NMR-Signale beobachtet. Es bildet sich zunächst cis-Stilben. Außerdem läßt sich bei 4.3 ppm ein Signal beobachten, das von inter- oder intramolekular gebildeten Methinprotonen herrührt. Auch wenn laut MOPAC- und Kraftfeldrechnung die Doppelbindungen ungünstig für eine [pi2s + pi2s]-Cyclodimerisierung zueinander stehen, kann im photochemisch angeregten Zustand eine Geometrie vorherrschen, die die intramolekulare Kopf-Kopf-Cyclobutanbildung ermöglicht. Die massenspektrometrischen Untersuchungen der Belichtungsprodukte (FD, ESI, MALDI-TOF) zeigen als höchste Masse lediglich das Monomer. Allerdings kann dadurch nicht auf eine rein intramolekulare Reaktion geschlossen werden. Die fortschreitende statistische CC-Verknüpfung kann schnell zu vernetzten Nanopartikeln führen, die im Massenspektrometer nicht fliegen. Die NMR-Spektren der mit zunehmender Vernetzung immer schlechter löslich werdenden Teilchen belegen die Oligomerisierung.

Untersuchungen zur Funktion und Regulation der Rezeptor-Tyrosin-Phosphatase RPTPlambda bei der Entwicklung des Mittel- und Hinterhirns

Der isthmische Organisator liegt an der Grenze zwischen dem sich entwickelnden Mittel- und Hinterhirn und kontrolliert Wachstum und Musterbildung dieser beiden Hirnregionen. In der vorliegenden Arbeit wird die räumliche und zeitliche Expression der Rezeptor-ähnlichen Protein Tyrosin Phosphatase lambda aus dem Huhn (cRPTPλ, auch als cRPTPψ bekannt) während der Entwicklung dieser Struktur beschrieben. Nach einer anfänglich weitläufigen Expression im kaudalen Vorderhirn und in der Mittelhirnregion, beschränkt sich die Expression von cRPTPλ zwischen dem embryonalen Tag E2 und E3.5 auf die ventrale Mittellinie des Neuralrohrs, den Bereich der späteren neuralen Retina und Linse und auf einen schmalen Ring anterior der isthmischen Einschnürung, welcher der molekularen Mittel- / Hinterhirngrenze (MHO) entspricht. Ab dem embryonalen Tag E3.5 wird RPTPλ dann auch im gesamten Mittelhirn gebildet. Um Hinweise auf die Funktion von cRPTPλ zu bekommen, wurde die Regulation dieses Moleküls untersucht. Die Expression von cRPTPλ am MHO wird von dem Fibroblasten Wachstumsfaktor Fgf8 und dem Transkriptionsfaktor Lmx1b, nicht aber von dem sezernierten Glykoprotein Wnt1 induziert. Der Transkriptionsfaktor En-1 unterdrückt die Expression von cRPTPλ am MHO. cRPTPλ-Expression im Mittelhirn wird negativ durch das sezernierte Protein Sonic Hedgehog reguliert, während Lmx1b und En-1 dort keinen Einfluss auf das Expressionsmuster von cRPTPλ haben. Fgf8 und Wnt1 sind maßgeblich an der Regulation von Wachstum und Musterbildung des embryonalen Mittelhirns beteiligt. Funktionelle Studien zu RPTPλ deuten darauf hin, dass dieses Protein als negativer Rückkopplungsmechanismus beider Signalwege wirken kann. RNAi- und Überexpressionsstudien am MHO lieferten Hinweise darauf, dass RPTPλ der Induktion der Wnt1-Expression durch Fgf8 entgegenwirkt. Dies scheint durch Interaktion noch unbekannter Faktoren mit der Juxtamembrandomäne von RPTPλ vermittelt zu werden. Auf das Expressionsmuster von Fgf8 selbst, oder einer Reihe anderer Faktoren, die ebenfalls von Fgf8 reguliert werden, hat RPTPλ allerdings keinen Einfluss. Des Weiteren konnte in dieser Arbeit gezeigt werden, dass eine „künstliche“ Aufrechterhaltung der Expression von cRPTPλ im Mittelhirn zwischen dem embryonalen Tag E2 und E3.5 zu einem stark verkleinerten Mesenzephalon führt. RPTPλ bindet in vivo an β-Catenin, ein zentrales Protein des kanonischen Wnt-Signalweges, und moduliert dadurch vermutlich das Wnt-Signal, welches seinerseits Proliferation im Mesenzephalon fördert. Durch diesen Mechanismus könnte cRPTPλ als „Bremse“ des kanonischen Wnt-Signalweges im Mittelhirn wirken.

Hydrodynamical simulations of galaxy clusters in dark energy cosmologies

In this work we investigate the influence of dark energy on structure formation, within five different cosmological models, namely a concordance $\Lambda$CDM model, two models with dynamical dark energy, viewed as a quintessence scalar field (using a RP and a SUGRA potential form) and two extended quintessence models (EQp and EQn) where the quintessence scalar field interacts non-minimally with gravity (scalar-tensor theories). We adopted for all models the normalization of the matter power spectrum $\sigma_{8}$ to match the CMB data. For each model, we perform hydrodynamical simulations in a cosmological box of $(300 \ {\rm{Mpc}} \ h^{-1})^{3}$ including baryons and allowing for cooling and star formation. We find that, in models with dynamical dark energy, the evolving cosmological background leads to different star formation rates and different formation histories of galaxy clusters, but the baryon physics is not affected in a relevant way. We investigate several proxies for the cluster mass function based on X-ray observables like temperature, luminosity, $M_{gas}$, and $Y_{X}$. We confirm that the overall baryon fraction is almost independent of the dark energy models within few percentage points. The same is true for the gas fraction. This evidence reinforces the use of galaxy clusters as cosmological probe of the matter and energy content of the Universe. We also study the $c-M$ relation in the different cosmological scenarios, using both dark matter only and hydrodynamical simulations. We find that the normalization of the $c-M$ relation is directly linked to $\sigma_{8}$ and the evolution of the density perturbations for $\Lambda$CDM, RP and SUGRA, while for EQp and EQn it depends also on the evolution of the linear density contrast. These differences in the $c-M$ relation provide another way to use galaxy clusters to constrain the underlying cosmology.

An optimal estimator for the correlation of CMB anisotropies with Large Scale Structures and its application to WMAP-7year and NVSS

In the thesis we present the implementation of the quadratic maximum likelihood (QML) method, ideal to estimate the angular power spectrum of the cross-correlation between cosmic microwave background (CMB) and large scale structure (LSS) maps as well as their individual auto-spectra. Such a tool is an optimal method (unbiased and with minimum variance) in pixel space and goes beyond all the previous harmonic analysis present in the literature. We describe the implementation of the QML method in the {\it BolISW} code and demonstrate its accuracy on simulated maps throughout a Monte Carlo. We apply this optimal estimator to WMAP 7-year and NRAO VLA Sky Survey (NVSS) data and explore the robustness of the angular power spectrum estimates obtained by the QML method. Taking into account the shot noise and one of the systematics (declination correction) in NVSS, we can safely use most of the information contained in this survey. On the contrary we neglect the noise in temperature since WMAP is already cosmic variance dominated on the large scales. Because of a discrepancy in the galaxy auto spectrum between the estimates and the theoretical model, we use two different galaxy distributions: the first one with a constant bias $b$ and the second one with a redshift dependent bias $b(z)$. Finally, we make use of the angular power spectrum estimates obtained by the QML method to derive constraints on the dark energy critical density in a flat $\Lambda$CDM model by different likelihood prescriptions. When using just the cross-correlation between WMAP7 and NVSS maps with 1.8° resolution, we show that $\Omega_\Lambda$ is about the 70\% of the total energy density, disfavouring an Einstein-de Sitter Universe at more than 2 $\sigma$ CL (confidence level).

Towards a new test of time dilation: Laser spectroscopy on lithium ions stored at a velocity of 33.8 % of the speed of light

The subject of the presented thesis is the accurate measurement of time dilation, aiming at a quantitative test of special relativity. By means of laser spectroscopy, the relativistic Doppler shifts of a clock transition in the metastable triplet spectrum of ^7Li^+ are simultaneously measured with and against the direction of motion of the ions. By employing saturation or optical double resonance spectroscopy, the Doppler broadening as caused by the ions' velocity distribution is eliminated. From these shifts both time dilation as well as the ion velocity can be extracted with high accuracy allowing for a test of the predictions of special relativity. A diode laser and a frequency-doubled titanium sapphire laser were set up for antiparallel and parallel excitation of the ions, respectively. To achieve a robust control of the laser frequencies required for the beam times, a redundant system of frequency standards consisting of a rubidium spectrometer, an iodine spectrometer, and a frequency comb was developed. At the experimental section of the ESR, an automated laser beam guiding system for exact control of polarisation, beam profile, and overlap with the ion beam, as well as a fluorescence detection system were built up. During the first experiments, the production, acceleration and lifetime of the metastable ions at the GSI heavy ion facility were investigated for the first time. The characterisation of the ion beam allowed for the first time to measure its velocity directly via the Doppler effect, which resulted in a new improved calibration of the electron cooler. In the following step the first sub-Doppler spectroscopy signals from an ion beam at 33.8 %c could be recorded. The unprecedented accuracy in such experiments allowed to derive a new upper bound for possible higher-order deviations from special relativity. Moreover future measurements with the experimental setup developed in this thesis have the potential to improve the sensitivity to low-order deviations by at least one order of magnitude compared to previous experiments; and will thus lead to a further contribution to the test of the standard model.

Implicit computational complexity and probabilistic classes

The thesis applies the ICC tecniques to the probabilistic polinomial complexity classes in order to get an implicit characterization of them. The main contribution lays on the implicit characterization of PP (which stands for Probabilistic Polynomial Time) class, showing a syntactical characterisation of PP and a static complexity analyser able to recognise if an imperative program computes in Probabilistic Polynomial Time. The thesis is divided in two parts. The first part focuses on solving the problem by creating a prototype of functional language (a probabilistic variation of lambda calculus with bounded recursion) that is sound and complete respect to Probabilistic Prolynomial Time. The second part, instead, reverses the problem and develops a feasible way to verify if a program, written with a prototype of imperative programming language, is running in Probabilistic polynomial time or not. This thesis would characterise itself as one of the first step for Implicit Computational Complexity over probabilistic classes. There are still open hard problem to investigate and try to solve. There are a lot of theoretical aspects strongly connected with these topics and I expect that in the future there will be wide attention to ICC and probabilistic classes.

Aufbau und Simulation des KAOS-Spektrometers für Koinzidenzmessungen in der assoziierten Kaonproduktion

Mit der Erweiterung des Elektronenbeschleunigers MAMI um eine dritte Stufe ist es möglich geworden, am Institut für Kernphysik Teilchen mit offener Strangeness zu produzieren. Für deren Nachweis ist die Drei-Spektrometeranlage der Kollaboration A1 um das von der GSI in Darmstadt übernommene KAOS-Spektrometer erweitert worden. Untersucht wird damit die elementare Reaktion p(e,e' K+)Lambda/Sigma0 wobei das auslaufende Elektron und das Kaon nachgewiesen werden müssen. Wird als Target nicht Wasserstoff verwendet, besteht die Möglichkeit dass sich ein Hyperkern bildet. Spektroskopische Untersuchungen an diesen bieten die Möglichkeit das Potential von Hyperonen in Atomkernen und die Hyperon-Nukleon-Wechselwirkung zu untersuchen. Aufgrund der hervorragenden Strahlqualität bei der Elektroproduktion können hier Massenauflösungen von einigen hundert keV/c² erreicht werden. Mit Hilfe von GEANT4 wurden die Detektoren und die Abbildungseigenschaften des Spektrometers simuliert. Geeignete Ereignisgeneratoren wurden implementiert. Es wurde untersucht, wie mögliche Treffermuster in den Detektoren aussehen, die von einem Trigger auf FPGA-Basis selektiert werden müssen. Ebenso konnte hieraus eine erste Abbildung der Spurkoordinaten auf die Targetkoordinaten und den Teilchenimpuls gewonnen werden. Für das Hyperkernprogramm muss KAOS unter 0° Vorwärtsrichung betrieben werden und der Primärstrahl mit Hilfe einer Schikane durch den Dipol gelenkt werden. Die Simulation zeigt hier eine nur moderate Erhöhung der Strahlenbelastung, vor allem im Bereich des Strahlfängers. Somit ist es möglich, KAOS als doppelseitiges Spektrometer in der Spektrometerhalle zu betreiben. Im Rahmen dieser Arbeit wurden die für sämtliche Detektoren nötige Auslese- und Steuerungselektronik in das vorhandene Datenerfassungssystem und das Steuerungssystem eingebunden. In zwei Strahlzeiten im Herbst 2008 wurden Kaonen im Winkelbereich von 20°-40° mit Impulsen zwischen 400MeV/c und 600MeV/c nachgewiesen. Die aus der Simulation gewonnenen Daten zum Trigger und zur Abbildung kamen zum Einsatz. Es konnte die für eine gute Teilchenidentifikation nötige Zeitauflösung von ca. 1ns FWHM erreicht werden. Die erreichte Winkel- und Impulsauflösung war ausreichend um Lambda und Sigma0-Hyperonen im Spektrum der fehlenden Masse leicht trennen zu können.

Sviluppo di una strategia per l’individuazione di squilibri di titolo tra cilindri di un motore a combustione interna

L’oggetto di questa tesi è l’individuazione di un metodo in grado di rilevare uno squilibrio cilindrico rilevante in un motore a combustione interna ad accensione comandata, sovralimentato dinamicamente. Il progetto si basa sull’osservazione sperimentale di un forte incremento dei valori assunti da indici basati sulla differenza dei tempi dente della ruota fonica, al manifestarsi di un brusco squilibrio di titolo in uno dei quattro cilindri. Ciò ha permesso di rilevare eventuali sbilanciamenti di titolo mediante una diagnosi intrusiva in grado di esaltarli. Questa metodologia a differenza di quelle basate sul segnale proveniente dalla sonda lambda, non risente del problema del mixing dei pacchetti di gas combusti all’interno della turbina. Il lavoro di tesi è consistito nel concepire un indice di rilevamento capace di esaltare il fenomeno sopra descritto, nel creare in ambiente Matlab-Simulink un modello che simuli la strategia in questione e renda possibile la realizzazione di un prototipo, per mezzo del quale è stata validata la strategia a bordo del veicolo. This thesis proposes a methodology to detect a relevant cylinder imbalance by means of flywheel speed fluctuation analysis in a turbocharged internal combustion engine. The main idea behind this project is the evidence that every time a significant cylinder imbalance is present, it is noticed an important increase of index based on tooth time sampled via flywheel. For this reason, it is possible to develop an intrusive strategy, which higliaghts a possible cylinder imbalance presence, in order to detect it. This method, unlike others based on the signal coming from Lambda sensor, doesn’t suffer from the presence of exhaust gases mixing effect inside the turbine. The objective of this thesis is to conceive a detection index able to put in evidence the phenomena described above, and to design a model inside the Matlab-Simulink environment, able to simulate the strategy and to make possible tests on the vehicle by means of a prototype.

Effizientes Vierwellenmischen durch Ausnutzen von Resonanzen in Quecksilber

In dieser Arbeit wird eine kohärente, kontinuierliche Strahlungsquelle im vakuum-ultravioletten (VUV) Spektrum vorgestellt. Sie basiert auf einem Vierwellenmischprozess in Quecksilberdampf mit Fundamentalstrahlen bei 253,7 nm, 407,9 nm und 545,5 nm Wellenlänge. Diese fundamentalen Strahlen werden durch frequenzverdoppelte bzw. frequenzvervierfachte Festkörperlasersysteme bereit gestellt. Durch das Ausnutzen der 6^1S-7^1S Zweiphotonenresonanz und zusätzlich der 6^1S-6^3P Einphotonenresonanz kann der Vierwellenmischprozess deutlich effizienter betrieben werden als zuvor. Eine nahe Einphotonenresonanz verringert die optimale Phasenanpassungstemperatur des Vierwellenmischprozesses, wodurch Druck- und Stoßverbreiterungen des Quecksilbers verkleinert und damit der nichtlineare Prozess effizienter wird. So können Leistungen bis zu 0,3 nW bei 121,56 nm, dem 1S-2P Lyman-alpha Übergang von Wasserstoff, erzeugt werden. Diese Lyman-alpha Quelle soll für die zukünftige Laserkühlung von Antiwasserstoff genutzt werden. rnrnNeben der Generierung von Strahlung bei Lyman-alpha kann, durch Veränderung der dritten Fundamentalwellenlänge, auch Strahlung in der Nähe zu einer Einphotonresonanz im VUV bei dem 6^1S-12^1P Übergang in Quecksilber durch Vierwellenmischen erzeugt werden. Durch diese weitere Einphotonresonanz kann die nichtlineare Suszeptibilität, verantwortlich für das Vierwellenmischen, stark vergrößert werden, ohne Einfluss auf die Phasenanpassung zu haben. Damit lässt sich der Mischprozess um drei Größenordnungen effizienter gestalten und Leistungen von 6 µW im VUV konnten realisiert werden. Dies entspricht einer Leistungsteigerung um einen Faktor 30 im Vergleich zu früheren Quellen. rnrnDarüberhinaus konnte die Zweiphotonenresonanz in Quecksilber ausführlich untersucht werden. Man erhält bei kleinen Rabifrequenzen der Fundamentalstrahlen eine geschwindigkeitsselektive Doppelresonanz, die den gleichen Ursprung wie Dunkelresonanzen in Lambda-Systemen hat. Bei hohen Rabifrequenzen kann die Anregung in das Zweiphotonenniveau so stark werden, dass auf dem 7^1S-6^1P Übergang ein Laserprozess initiiert wird. Dieser Prozess wurde hier zum ersten Mal mit kontinuierlichen Fundamentallasern nachgewiesen. Es wird gezeigt, dass der zusätzliche Laserprozess das Vierwellenmischen nicht beeinträchtigt.

Extending Implicit Computational Complexity and Abstract Machines to Languages with Control

The Curry-Howard isomorphism is the idea that proofs in natural deduction can be put in correspondence with lambda terms in such a way that this correspondence is preserved by normalization. The concept can be extended from Intuitionistic Logic to other systems, such as Linear Logic. One of the nice conseguences of this isomorphism is that we can reason about functional programs with formal tools which are typical of proof systems: such analysis can also include quantitative qualities of programs, such as the number of steps it takes to terminate. Another is the possiblity to describe the execution of these programs in terms of abstract machines. In 1990 Griffin proved that the correspondence can be extended to Classical Logic and control operators. That is, Classical Logic adds the possiblity to manipulate continuations. In this thesis we see how the things we described above work in this larger context.

Calcolo delle equazioni e ricorsività

Nell'elaborato si introduce il calcolo delle equazioni, un particolare linguaggio predicativo contenente come unico simbolo predicativo quello di uguaglianza. Vengono analizzate le funzioni derivabili in questo linguaggio: le funzioni ricorsive parziali e le funzioni ricorsive primitive. Si accenna al lambda-calcolo che è un particolare linguaggio con cui è possibile, per la sua semplicità, esprimere molte teorie, come quella del calcolo delle equazioni. Infine, si studiano i problemi legati alla ricorsività: il problema della fermata e il problema dell'indecidibilità della logica dei predicati.

The scintillating fiber focal plane detector for the use of Kaos as a double arm spectrometer

The upgrade of the Mainz Mikrotron (MAMI) electron accelerator facility in 2007 which raised the beam energy up to 1.5,GeV, gives the opportunity to study strangeness production channels through electromagnetic process. The Kaon Spectrometer (KAOS) managed by the A1 Collaboration, enables the efficient detection of the kaons associated with strangeness electroproduction. Used as a single arm spectrometer, it can be combined with the existing high-resolution spectrometers for exclusive measurements in the kinematic domain accessible to them.rnrnFor studying hypernuclear production in the ^A Z(e,e'K^+) _Lambda ^A(Z-1) reaction, the detection of electrons at very forward angles is needed. Therefore, the use of KAOS as a double-arm spectrometer for detection of kaons and the electrons at the same time is mandatory. Thus, the electron arm should be provided with a new detector package, with high counting rate capability and high granularity for a good spatial resolution. To this end, a new state-of-the-art scintillating fiber hodoscope has been developed as an electron detector.rnrnThe hodoscope is made of two planes with a total of 18432 scintillating double-clad fibers of 0.83 mm diameter. Each plane is formed by 72 modules. Each module is formed from a 60deg slanted multi-layer bundle, where 4 fibers of a tilted column are connected to a common read out. The read-out is made with 32 channels of linear array multianode photomultipliers. Signal processing makes use of newly developed double-threshold discriminators. The discriminated signal is sent in parallel to dead-time free time-to-digital modules and to logic modules for triggering purposes.rnrnTwo fiber modules were tested with a carbon beam at GSI, showing a time resolution of 220 ps (FWHM) and a position residual of 270 microm m (FWHM) with a detection efficiency epsilon>99%.rnrnThe characterization of the spectrometer arm has been achieved through simulations calculating the transfer matrix of track parameters from the fiber detector focal plane to the primary vertex. This transfer matrix has been calculated to first order using beam transport optics and has been checked by quasielastic scattering off a carbon target, where the full kinematics is determined by measuring the recoil proton momentum. The reconstruction accuracy for the emission parameters at the quasielastic vertex was found to be on the order of 0.3 % in first test realized.rnrnThe design, construction process, commissioning, testing and characterization of the fiber hodoscope are presented in this work which has been developed at the Institut für Kernphysik of the Johannes Gutenberg - Universität Mainz.

Algoritmi e ricorsività: macchine di Turing e algoritmi di Markov

In questa questa tesi vengono presentate alcune delle più importanti definizioni di funzione computabile mediante un algoritmo: una prima descrizione è quella data tramite le funzioni ricorsive, un secondo approccio è dato in termini di macchine di Turing, infine, vengono considerati gli algoritmi di Markov. Si dimostra che tutte queste definizioni sono equivalenti. Completa la tesi un breve cenno al lambda-K-calcolo.

Progettazione del sistema di controllo di una vettura di formula sae

Il seguente lavoro di tesi è finalizzato alla realizzazione dell’elettronica di controllo per una vettura prototipo, Nel Capitolo 1 della tesi viene descritto più nel dettaglio il progetto Formula SAE, introducendo gli aspetti peculiari della competizione; successivamente segue una breve descrizione del team UniBo Motorsport. Il Capitolo 2 descrive l’elettronica implementata nella stagione 2013 evidenziandone i punti di forza e le debolezze al fine di poter trarre delle conclusioni per comprendere la direzione intrapresa con questo lavoro di tesi. Nel Capitolo 3 viene presentata la soluzione proposta,motivandone le scelte e la necessità di suddividere il lavoro in più unità distinte, mantenendo le peculiarità tecniche del già eccellente lavoro effettuato nel corso degli anni da chi mi ha preceduto ed aggiungendo quelle funzionalità che permettono di mantenere la soluzione in una posizione dominante nel panorama della Formula Student. La progettazione dell’hardware che compone la soluzione proposta è descritta nel Capitolo 4, introducendo dapprima la metodologia adottata per la progettazione partendo dalle specifiche fino ad arrivare al prodotto finito ed in seguito ne viene descritta l’applicazione ad ogni unità oggetto del lavoro. Sono state progettate da zero tre unità: una centralina di controllo motore (ECU), una di controllo veicolo (VCU) ed un controller lambda per la gestione di sonde UEGO. Un aiuto fondamentale nella progettazione di queste tre unità è stato dato da Alma Automotive, azienda che fin dal principio ha supportato, anche economicamente, le varie evoluzioni dell’hardware e del software della vettura. Infine viene descritto nel capitolo 5 il software che verrà eseguito sulle unità di controllo, ponendo particolare risalto al lavoro di adattamento che si è reso necessario per riutilizzare il software in uso negli anni precedenti.