The Alpha Magnetic Spectrometer (AMS-02) is a cosmic ray detector operating aboard the International Space Station (ISS) since May 2011. The identification of cosmic ray deuterium and hydrogen particles is the main goal of this work. Using the data collected by the AMS-02 experiment between May 2011 and May 2014 we provide the measurement of the 2H to the 1H ratio between 0.7 and 7 GeV/n. Cosmic rays are mainly composed of hydrogen nuclei. No significant amount of deuterium nuclei is expected to be released from galactic sources since they are destroyed rather than formed in thermonuclear reactions inside stars. As a consequence of their production history, they are part of a class of secondary stable nuclei that provide information on the propagation of cosmic rays in the galaxy. Despite their relevance for propagation studies, very few measurements of deuterium exist above 1 GeV/n, due to the poor isotopic separation capacity of previous experiments. For this reason, the deuterium to hydrogen flux ratio is a very important measurement to be carried out using the data collected by the AMS-02 experiment. The mass and the isotopic composition of cosmic-rays nuclei can be measured by the AMS-02 experiment using measurements of the momentum (provided by the tracker) and velocity of the particles (provided by the Time-of-Flight and the RICH). This analysis is one of the first to be focused on hydrogen isotopic composition with AMS-02 data, and our results are in fair agreement with a similar and independent analysis that has been carried out within the Collaboration. / O Espectômetro Magnético Alpha (AMS-02) é um detetor de raios cósmicos operando na Estação Espacial Internacional (ISS) desde maio de 2011. O principal objetivo deste trabalho é a identificação de deutério e hidrogênio nos raios cósmicos. Usando dados coletados pelo experimento AMS-02 entre maio de 2011 e maio de 2014 foi medida a razão entre os fluxos de 2H e 1H entre 0.7 e 7 GeV/n. Raios cósmicos são compostos, principalmente, por núcleos de hidrogênio. Não é esperado que fontes galácticas de raios cósmicos liberem uma quantidade significativa de núcleos de deutério, já que eles são destruidos, em vez de formados, nas reações termonucleares no interior de estrelas. Assim, eles fazem parte de uma classe de partículas secundárias estáveis que fornecem informações acerca da propagação de raios cósmicos na galáxia. Apesar da relevância para o estudo da propagação de raios cósmicos, poucas medidas da sua quantidade acima de 1 GeV/n existem, devido à baixa capacidade de separação de isótopos de prévios experimentos. Por isso a razão entre os fluxos de deutério e hidrogênio é uma importante medida a ser feita com os dados do AMS-02. A massa, e portanto a composição isotópica dos raios cósmicos, pode ser medida pelo AMS-02 a partir das medições de momento (realizada pelo tracker) e velocidade (realizadas pelo ToF e RICH). Essa análise é uma das primeiras a focar na composição isotópica do hidrogênio com dados do AMS-02, e os resultados estão razoavelmente em acordo com análises independendes semelhantes realizadas na colaboração AMS.

第22回名古屋大学年代測定総合研究センターシンポジウム平成21(2009)年度報告

Les systèmes sur puce sont de plus en plus complexes : ils intègrent des parties numériques, desparties analogiques et des capteurs ou actionneurs. SystemC et son extension SystemC AMSpermettent aujourd’hui de modéliser à haut niveau d’abstraction de tels systèmes. Ces outilsconstituent de véritables atouts dans une optique d’étude de faisabilité, d’exploration architecturale etde vérification du fonctionnement global des systèmes complexes hétérogènes et multiphysiques. Eneffet, les durées de simulation deviennent trop importantes pour envisager les simulations globales àbas niveau d’abstraction. De plus, les simulations basées sur l’utilisation conjointe de différents outilsprovoquent des problèmes de synchronisation. Les modèles de bas niveau, une fois crées par lesspécialistes des différents domaines peuvent toutefois être abstraits afin de générer des modèles dehaut niveau simulables sous SystemC/SystemC AMS en des temps de simulation réduits. Une analysedes modèles de calcul et des styles de modélisation possibles est d’abord présentée afin d’établir unlien avec les durées de simulation, ceci pour proposer un style de modélisation en fonction du niveaud’abstraction souhaité et de l’ampleur de la simulation à effectuer. Dans le cas des circuits analogiqueslinéaires, une méthode permettant de générer automatiquement des modèles de haut niveaud’abstraction à partir de modèles de bas niveau a été proposée. Afin d’évaluer très tôt dans le flot deconception la consommation d’un système, un moyen d’enrichir les modèles de haut niveaupréalablement générés est présenté. L’attention a ensuite été portée sur la modélisation à haut niveaudes systèmes multiphysiques. Deux méthodes y sont discutées : la méthode consistant à utiliser lecircuit équivalent électrique puis la méthode basée sur les bond graphs. En particulier, nous proposonsune méthode permettant de générer un modèle équivalent au bond graph à partir d’un modèle de basniveau. Enfin, la modélisation d’un système éolien est étudiée afin d’illustrer les différents conceptsprésentés dans cette thèse. / Systems on chip are more and more complex as they now embed not only digital and analog parts, butalso sensors and actuators. SystemC and its extension SystemC AMS allow the high level modeling ofsuch systems. These tools are efficient for feasibility study, architectural exploration and globalverification of heterogeneous and multiphysics systems. At low level of abstraction, the simulationdurations are too important. Moreover, synchronization problems appear when cosimulations areperformed. It is possible to abstract the low level models that are developed by the specialists of thedifferent domains to create high level models that can be simulated faster using SystemC/SystemCAMS. The models of computation and the modeling styles have been studied. A relation is shownbetween the modeling style, the model size and the simulation speed. A method that generatesautomatically the high level model of an analog linear circuit from its low level representation isproposed. Then, it is shown how to include in the high level model some information allowing thepower consumption estimation. After that, the multiphysics systems modeling is studied. Twomethods are discussed: firstly, the one that uses the electrical equivalent circuit, then the one based onthe bond graph approach. It is shown how to generate a bond graph equivalent model from a low levelrepresentation. Finally, the modeling of a wind turbine system is discussed in order to illustrate thedifferent concepts presented in this thesis.

Made available in DSpace on 2014-12-17T14:55:40Z (GMT). No. of bitstreams: 1 AdautoLT.pdf: 2061017 bytes, checksum: 12a139ba25174e3b22d08cf31c934500 (MD5) Previous issue date: 2009-09-04 / Coordena??o de Aperfei?oamento de Pessoal de N?vel Superior / This work proposes a new methodology to verify those analog circuits, providing an automated tools to help the verifiers to have a more truthful result. This work presents the development of new methodology for analog circuits verification. The main goal is to provide a more automated verification process to certify analog circuits functional behavior. The proposed methodology is based on the golden model technique. A verification environment based on this methodology was built and results of a study case based on the validation of an operational amplifier design are offered as a confirmation of its effectiveness. The results had shown that the verification process was more truthful because of the automation provided by the tool developed / O presente trabalho tem como objetivo desenvolver uma ferramenta de verifica??o para circuitos anal?gicos. O principal objetivo desta ? aumentar a automa??o dos processos de verifica??o. Al?m disso, proporcionar a constru??o de um ambiente de verifica??o capaz de gerar relat?rios ao longo deste processo. Esta metodologia ? baseada na t?cnica do Modelo de Ouro, no entanto, ela tamb?m prop?e uma segunda t?cnica para verificar o modelo de refer?ncia, para se obter resultados mais confi?veis. A metodologia foi utilizada, como estudo de caso, na verifica??o de um amplificador operacional

The Alpha Magnetic Spectrometer (AMS-02) is a cosmic ray detector operating aboard the International Space Station (ISS) since May 2011. The identification of cosmic ray deuterium and hydrogen particles is the main goal of this work. Using the data collected by the AMS-02 experiment between May 2011 and May 2014 we provide the measurement of the 2H to the 1H ratio between 0.7 and 7 GeV/n. Cosmic rays are mainly composed of hydrogen nuclei. No significant amount of deuterium nuclei is expected to be released from galactic sources since they are destroyed rather than formed in thermonuclear reactions inside stars. As a consequence of their production history, they are part of a class of secondary stable nuclei that provide information on the propagation of cosmic rays in the galaxy. Despite their relevance for propagation studies, very few measurements of deuterium exist above 1 GeV/n, due to the poor isotopic separation capacity of previous experiments. For this reason, the deuterium to hydrogen flux ratio is a very important measurement to be carried out using the data collected by the AMS-02 experiment. The mass and the isotopic composition of cosmic-rays nuclei can be measured by the AMS-02 experiment using measurements of the momentum (provided by the tracker) and velocity of the particles (provided by the Time-of-Flight and the RICH). This analysis is one of the first to be focused on hydrogen isotopic composition with AMS-02 data, and our results are in fair agreement with a similar and independent analysis that has been carried out within the Collaboration. / O Espectômetro Magnético Alpha (AMS-02) é um detetor de raios cósmicos operando na Estação Espacial Internacional (ISS) desde maio de 2011. O principal objetivo deste trabalho é a identificação de deutério e hidrogênio nos raios cósmicos. Usando dados coletados pelo experimento AMS-02 entre maio de 2011 e maio de 2014 foi medida a razão entre os fluxos de 2H e 1H entre 0.7 e 7 GeV/n. Raios cósmicos são compostos, principalmente, por núcleos de hidrogênio. Não é esperado que fontes galácticas de raios cósmicos liberem uma quantidade significativa de núcleos de deutério, já que eles são destruidos, em vez de formados, nas reações termonucleares no interior de estrelas. Assim, eles fazem parte de uma classe de partículas secundárias estáveis que fornecem informações acerca da propagação de raios cósmicos na galáxia. Apesar da relevância para o estudo da propagação de raios cósmicos, poucas medidas da sua quantidade acima de 1 GeV/n existem, devido à baixa capacidade de separação de isótopos de prévios experimentos. Por isso a razão entre os fluxos de deutério e hidrogênio é uma importante medida a ser feita com os dados do AMS-02. A massa, e portanto a composição isotópica dos raios cósmicos, pode ser medida pelo AMS-02 a partir das medições de momento (realizada pelo tracker) e velocidade (realizadas pelo ToF e RICH). Essa análise é uma das primeiras a focar na composição isotópica do hidrogênio com dados do AMS-02, e os resultados estão razoavelmente em acordo com análises independendes semelhantes realizadas na colaboração AMS.

Ce travail vise la modélisation au niveau système, en langage SystemC-AMS, et la simulation d'un émetteur-récepteur au standard Bluetooth Low Energy (BLE). L'objectif est d'analyser la relation entre les performances, en termes de BER et la consommation d'énergie du transceiver. Le temps de simulation d’un tel système, à partir de cas d’étude (use case) réaliste, est un facteur clé pour le développement d’une telle plateforme. De plus, afin d’obtenir des résultats de simulation le plus précis possible, les modèles « haut niveau » doivent être raffinés à partir de modèles plus bas niveau où de mesure. L'approche dite Meet-in-the-Middle, associée à la méthode de modélisation équivalente en Bande Base (BBE, BaseBand Equivalent), a été choisie pour atteindre les deux conditions requises, à savoir temps de simulation « faible » et précision des résultats. Une simulation globale d'un système de BLE est obtenue en intégrant le modèle de l'émetteur-récepteur dans une plateforme existante développée en SystemC-TLM. La simulation est basée sur un système de communication de deux dispositifs BLE, en utilisant différents scénarios (différents cas d'utilisation de BLE). Dans un premier temps nous avons modélisé et validé chaque bloc d’un transceiver BT. Devant le temps de simulation prohibitif, les blocs RF sont réécrits en utilisant la méthodologie BB, puis raffinés afin de prendre en compte les non-linéarités qui vont impacter le couple consommation, BER. Chaque circuit (chaque modèle) est vérifié séparément, puis une première simulation système (point à point entre un émetteur et un récepteur) est effectuée / This work aims at system-level modelling a defined transceiver for Bluetooth Low energy (BLE) system using SystemC-AMS. The goal is to analyze the relationship between the transceiver performance and the accurate energy consumption. This requires the transceiver model contains system-level simulation speed and the low-level design block power consumption and other RF specifications. The Meet-in-the-Middle approach and the Baseband Equivalent method are chosen to achieve the two requirements above. A global simulation of a complete BLE system is achieved by integrating the transceiver model into a SystemC-TLM described BLE system model which contains the higher-than-PHY levels. The simulation is based on a two BLE devices communication system and is run with different BLE use cases. The transceiver Bit-Error-Rate and the energy estimation are obtained at the end of the simulation. First, we modelled and validated each block of a BT transceiver. In front of the prohibitive simulation time, the RF blocks are rewritten by using the BBE methodology, and then refined in order to take into account the non-linearities, which are going to impact the couple consumption, BER. Each circuit (each model) is separately verified, and then a first BLE system simulation (point-to-point between a transmitter and a receiver) has been executed. Finally, the BER is finally estimated. This platform fulfills our expectations, the simulation time is suitable and the results have been validated with the circuit measurement offered by Riviera Waves Company. Finally, two versions of the same transceiver architecture are modelled, simulated and compared

Le développement des systèmes multiprocesseurs intégrés sur puce (MPSoC) répond au besoin grandissant des architectures de calcul intensif. En revanche, l'évolution de leurs performances est entravée par leurs réseaux de communication sur puce (NoC) à cause de leur consommation d'énergie ainsi que du retard. C'est dans ce contexte que les NoC à base d'interconnexions RF et filaires (RFNoC) ont émergé. Afin de gérer au mieux et d'optimiser la conception d'un RFNoC, il est indispensable de développer une plateforme de simulation intégrant à la fois des circuits analogiques et numériques.Dans un premier temps, la simulation temporelle d'un RFNoC avec des composants dont les modèles sont idéaux est utilisée pour optimiser l'allocation des ressources spectrales disponibles. Le cas échéant, nous proposons des solutions pour améliorer la qualité de signal transmis. Dans un deuxième temps, nous avons développé en VHDL-AMS des modèles comportementaux et précis de chacun des composants du RFNoC. Les modèles de l'amplificateur faible bruit (LNA) et du mélangeur, prennent en compte les paramètres concernant, l'amplification, les non-linéarités, le bruit et la bande passante. Le modèle de l'oscillateur local considère les paramètresconventionnels, notamment le bruit de phase. Quant à la ligne de transmission, un modèle fréquentiel précis, incluant l'effet de peau est adapté pour les simulations temporelles. Ensuite, l'impact des paramètres des composants sur les performances du RFNoC est évalué afin d'anticiper les contraintes qui s'imposeront lors de la conception du RFNoC. / The development of multiprocessor systems integrated on chip (MPSoC) respondsto the growing need for intensive computation systems. However, the evolutionof their performances is hampered by their communication networks on chip(NoC) due to their energy consumption and delay. It is in this context that the wired RF network on chip (RFNoC) was emerged. In order to better manage and optimize the design of an RFNoC, it is necessary to develop a simulation platform adressing both analog and digital circuits.First, a time domaine simulation of an RFNoC with components whose modelsare ideal is used to optimize the allocation of the available spectrum resources. Where appropriate, we provide solutions to improve the quality of transmitted signal. Secondly, we have developed, in VHDL-AMS, behavioral and accurate models of all RFNoC components. The models of the low noise amplifier (LNA) and the mixer take into account the parameters for the amplification, nonlinearities, noise and bandwidth. The model of the local oscillator considers the conventional parameters, including its phase noise. Concerning the transmission line, an accurate frequency model, including the skin effect is adapted for time domaine simulations. Then, the impact of component parameters on RFNoC performances is evaluatedto anticipate constraints of the RFNoC design.

Huge amounts of anthropogenic 129I have been and still are released to the environment through liquid and gaseous discharges from the nuclear fuel reprocessing facilities worldwide and in particular the ones in Europe. Most of this 129I signal has been accumulated in the marine environment which plays a major role in the iodine natural pool.  In this thesis, an overview of available 129I concentrations in waters of the oceans and marginal seas together with new data about 129I and 127I spatial distribution in surface seawater along a transect between the North Sea and the northeastern Atlantic Ocean are presented. After comprehensive chemical separation, the concentrations of iodine isotopes (127I and 129I) and their species (iodide and iodate) were analysed using accelerator mass spectrometry and inductively-coupled plasma mass spectrometry. The results show that, generally, changes in the 127I and 127I-/127IO3- are comparable to data from other marine waters which are related to natural distribution patterns. A considerable variation of 129I along the transect is observed with the highest values occurring in the eastern English Channel and relatively low values obtained in the northeastern Atlantic Ocean. Inventory estimations of 129I in the North Sea and the English Channel are 147 kg and 78 kg, respectively, where more than 90% resides in the Southern Bight and the eastern English Channel. Iodate is the dominant iodine species for both 127I and 129I in most seawater samples from the North Sea to the Atlantic Ocean. 129I species variability suggests a slow process of 129I- oxidation in the open sea. It takes at least 10 years for the 129I-/129IO3- pair to reach their natural equilibrium as the water is transported from the English Channel. The results suggest a main transport of 129I from the western English Channel via the Biscay Bay into the northeastern Atlantic Ocean. Further, high 129I/127I and distinctive 129I-/129IO3- values south of 40°N indicate possible contribution of 129I through Mediterranean Outflow Water. The environmental radioactive impact of 129I and possible applications in ecosystem studies are also discussed.

We consider the problem of testing whether r (>=2) samples are drawn from the same continuous distribution F(x). The test statistic we will study in some detail is defined as the maximum of the circular differences of the empirical distribution functions, a generalization of the classical 2-sample Kolmogorov-Smirnov test to r (>=2) independent samples. For the case of equal sample sizes we derive the exact null distribution by counting lattice paths confined to stay in the scaled alcove $\mathcal{A}_r$ of the affine Weyl group $A_{r-1}$. This is done using a generalization of the classical reflection principle. By a standard diffusion scaling we derive also the asymptotic distribution of the test statistic in terms of a multivariate Dirichlet series. When the sample sizes are not equal the reflection principle no longer works, but we are able to establish a weak convergence result even in this case showing that by a proper rescaling a test statistic based on a linear transformation of the circular differences of the empirical distribution functions has the same asymptotic distribution as the test statistic in the case of equal sample sizes. / Series: Research Report Series / Department of Statistics and Mathematics

Recursive partitioning algorithms separate a feature space into a set of disjoint rectangles. Then, usually, a constant in every partition is fitted. While this is a simple and intuitive approach, it may still lack interpretability as to how a specific relationship between dependent and independent variables may look. Or it may be that a certain model is assumed or of interest and there is a number of candidate variables that may non-linearly give rise to different model parameter values. We present an approach that combines generalized linear models with recursive partitioning that offers enhanced interpretability of classical trees as well as providing an explorative way to assess a candidate variable's in uence on a parametric model. This method conducts recursive partitioning of a generalized linear model by (1) fitting the model to the data set, (2) testing for parameter instability over a set of partitioning variables, (3) splitting the data set with respect to the variable associated with the highest instability. The outcome is a tree where each terminal node is associated with a generalized linear model. We will show the method's versatility and suitability to gain additional insight into the relationship of dependent and independent variables by two examples, modelling voting behaviour and a failure model for debt amortization, and compare it to alternative approaches.