Diese Arbeit beschäftigt sich mit zwei miteinander verbundenen Themen: einer einzigartigen Laser-Testanlage für die Erforschung von gasgefüllten Detektoren sowie der Untersuchungen von Widerstandsplatten-Zählern (RPC) und der Messung von Gasparametern unter realistischen Bedingungen der Timing-RPC. Eine gepulste UV-Laser-Testanlage wurde im HZDR aufgebaut. Der Fokus des Pikosekunden-Lasers wird in einem mit Zählergas gefüllten Detektor an einer bestimmten Stelle platziert, um ein Laser-Plasma zu erzeugen, wobei eine definierte Anzahl freier Elektronen durch Gas-Ionisation in einem Gas-Volumen mit einer Genauigkeit im Mikrometerbereich erzeugt wird. Es ist eine von Beschleunigern unabhängige Methode, um Untersuchungen an gasgefüllten Detektoren im Labor durchzuführen. Proben von RPC-Detektoren wurden für Experimente mit der Laser-Testanlage entworfen und gefertigt. Es wurden Verfahren entwickelt, um die Wellenformen von Elektronenlawinen für verschiedene Elektronen-Driftlängen zu erfassen und die wichtigsten Gasparameter zu bestimmen: den effektiven Townsend-Koeffizienten und die Elektronendriftgeschwindigkeit. Erstmalig wurden die Gasparameter direkt für die hohe Feldstärke des Timings-RPC bei Atmosphärendruck unter Experimentbedingungen gemessen. Es wurde gezeigt, dass sich die Laser-Testanlage für präzise Messungen der Gasparameter eignet und das Potenzial besitzt, um zur Öko-Gas-Forschung für zukünftige RPCs beizutragen. Der Messbereich des elektrischen Feldes der Gasparameter bei Atmosphärendruck wurde verdoppelt, vom Bereich des Trigger-RPC bis zu dem des Timing-RPC. Die Experimente haben einige grundlegende Mechanismen offenbart, die das Verständnis für die Eigenschaften von RPC und den Prozess der Elektronenlawine erweitern werden.:1 Introduction 2 Background 3 The Resistive Plate Chambers 4 The laser test facility 5 Experimental study on laser ionization 6 Experimental study on gas parameters with RPC 7 Analysis study of timing RPC waveforms 8 Conclusions and discussions 106

Programmer en un langage de programmation peut être une tâche ardue. Même les plus chevronnés ne sont pas à l’abri de commettre des erreurs. Il est donc important pour les programmeurs d’avoir des aides pour écrire leur code plus efficacement et plus rapidement. Typer est un jeune langage de programmation en développement. Actuellement, le langage a beaucoup de limitations d’aides pour les programmeurs. En effet, on ne peut coder en Typer que dans un terminal, dans un fichier et compiler le fichier ou dans des environnements primitifs. On apporte une solution à ce problème en offrant, dans ce travail, un serveur LSP au langage qui va offrir des fonctionnalités comme la complétion de code, le surlignement des erreurs, etc, pour permettre aux programmeurs Typer de coder plus facilement et de pouvoir le faire dans leur éditeur/IDE préféré. / Programming in a programming language can be a daunting task. Even the most seasoned are not immune to make mistakes. It is therefore important for programmers to have helpers to write their code more efficiently and quickly. Typer is a young programming language in development. Currently, the language has a lot of helper limitations for programmers. Indeed, we can code in Typer only in a terminal, in a file and compile the file or in primitive environments. We solve this problem by offering in this work, an LSP server to the language which will offer features such as code completion, error highlighting...etc, to allow Typer programmers to code more easily and efficiently, and also, to be able to do it in their favorite editor/IDE.

No description available.

In recent years geopolitical developments which involve powerful states clashing have demonstrated the fragility of small states and their positions within the international system. It is evident that changing hegemony has a greater impact on small states than the most powerful ones. This paper aims to research how one can understand - to a certain extent - the intractable situation between the People's Republic of China and Republic of China Taiwan through a Singaporean narrative. The objective is to further develop critical thinking on the issue by applying and testing neorealism as well as defensive realism as a theoretical approach. Realism is considered as the most sufficient theoretical framework to examine the research topic with. The critical assesment is based on empirical research and relevant circumstances as well as a historical dimensions. By analyzing the case of Singapore as a small state in southeast Asia with core elements within realism such as neorealism and defensive realism, it generates further understanding of the Singaporean standpoint in the China-Taiwan issue. The study found with regards to ethnical history as well as military and economic power that China possess, it is evident that further tension and possible escalation of the conflict would have a major impact on Singapore both economically and politically.

No description available.

L'expérience ALICE est l'une des quatre grandes expériences du LHC (Large Hadron Collider). Elle est dédiée à l'étude d'un nouvel état de la matière : le Plasma de Quarks et de Gluons dans lequel les quarks et les gluons ne sont plus confinés au sein des hadrons. Dans ce document sont décrits les enjeux physiques qui ont motivé la réalisation du spectromètre dimuons d'ALICE. Ensuite est abordée la R&D sur le spectromètre dimuons. Les différents absorbeurs sont présentés ainsi que les tests qui ont permis leur dimensionnement. Le trigger dimuons, composé de RPC fonctionnant en mode streamer, est ensuite décrit. Les différents tests sur faisceau et en cosmique qui ont été menés sur les RPC sont présentés. Enfin, le système de trajectographie est décrit en détail et plus particulièrement toute son électronique ainsi que la première station. Les contraintes apportées par la physique sur les performances attendues de l'ensemble de ces systèmes sont clairement définies.

This paper describes four tools for verification security protocols Athena, Casper, Isabelle and Murphi. Each tool is briefly characterized and implementation of protocol Needham Schroeder. One part of this paper is comparing of selected tools. The second part of this paper describes in detail a tool Athena and mentions examples of verified protocols. By each protocol is stated a specifications of communication, a detected attack and results of own verification. At the end compares this paper verification results with already publicated attacks.

L’objet de ce travail est une réinterprétation de l’histoire des premiers contacts entre le nouveau gouvernement communiste chinois, le gouvernement tibétain et la population tibétaine, ainsi que de l’introduction progressive de l’idéologie léniniste sur le plateau tibétain, en exploitant pour cela des sources principalement officielles, parfois officieuses, publiées en RPC, et pour l’essentiel non encore utilisées à ce jour. Cette étude montre qu’il est souvent impossible de séparer tant la politique du nouveau gouvernement chinois dans le Tibet du Dalaï-lama et dans les autres régions de culture tibétaine, qu’également la réaction des populations locales dans les différents terrains du monde tibétain. Seront entre autre étudiés les motivations derrière la volonté des responsables de la RPC d’occuper le plus rapidement possible le Tibet, les innombrables difficultés liées à cette tentative, le fait qu’il sera matériellement impossible à l’APL, à la veille de la bataille de Chamdo, en octobre 1950, d’avancer plus avant en territoire tibétain, et comment Mao Zedong va réussir à transformer une déconvenue militaire en une victoire politique. Sera également analysé la politique en 1949-1951 du PCC dans les autres régions tibétaines, en quoi cette politique a pu être différente d’une région à l’autre, mais en quoi il pourrait quand même y avoir, dans cette diversité, une vision globale idéologique. Comment la victoire (incomplète) de l’APL à Chamdo aura été obtenue in extremis, l’état major de la 18e armée, comme les dirigeants de la RPC, ayant des doutes réels sur cette victoire jusqu’à la fin. Comment les responsables de la RPC, bien qu’à l’origine en position de faiblesse, vont réussir non seulement à empêcher le Dalaï-lama de partir à l’étranger, mais même à obtenir qu’une délégation soit envoyée à Pékin pour « négocier ». L’utilisation de documents chinois inédits va permettre également d’apporter des éléments nouveaux sur le déroulement des « négociations » aboutissant à l’ « Accord en 17 points ». Le dernier acte, se traduira par l’arrivée, extrêmement difficile, des premiers détachements des forces de l’APL à Lhassa et comment la capitulation du gouvernement tibétain a pu être obtenue. / The object of this study is a reinterpretation of the history of the first contacts between the new Chinese Communist government, the Tibetan government and the Tibetan population, as well as the gradual introduction of Leninist ideology on the Tibetan plateau, using for that official or sometimes semi-official sources published in the PRC, most of them not used until now. This study shows that it is often impossible to separate the politics of the new Chinese government in Tibet of the Dalai Lama and the politics of the Chinese government in other regions of Tibetan culture, as well as the reaction of local populations in the different areas of the Tibetan world. This study for example analyses the motivations behind the willingness of the leaders of the PRC to occupy Tibet as quickly as possible, the countless difficulties associated with this attempt, the fact that it will be physically impossible for the PLA, on the eve of the Battle of Chamdo in October 1950, to advance further into Tibetan territory, and how Mao will succeed in transforming a military failure into a political victory. It will also analyze the policy of the CCP in 1949-1951 in the other Tibetan regions, how this policy may have been different from one region to another, but how could there be in this diversity a global ideological vision. How the (incomplete) victory of the PLA in Chamdo was obtained in extremis, the staff of the 18th Army, like the leaders of the PRC, having real doubts about this victory until the end. How the leaders of the PRC, although originally in a weak position, will succeed not only in preventing the Dalai Lama from going abroad, but even obtain that a delegation will be sent to Beijing to " to negotiate ". The use of unpublished Chinese documents will also bring new elements on course of the "negotiations" leading to the "17-point Agreement". The final act will result in the extremely difficult arrival of the first detachments of PLA forces in Lhasa and how the capitulation of the Tibetan government will be obtained.

Este trabalho apresenta uma ferramenta de apoio ao desenvolvimento de aplicações distribuídas, baseadas em RPCs, para o ambiente Windows 95. Discute, ainda, algumas aplicações construídas para validar o sistema, as quais seguem o paradigma cliente-servidor. É feita uma revisão bibliográfica dos assuntos mais relevantes relacionados ao tema e apresentados os detalhes de implementação da ferramenta. Esta foi implementada com técnicas de orientação a objetos, sendo composta por um Gerador Automático de Stubs e uma Biblioteca RPC, além de possibilitar a utilização de um Serviço de Binding. As aplicações construídas procuram explorar as potencialidades da ferramenta, sendo fornecidas também orientações gerais para o desenvolvimento de aplicações distribuídas no ambiente Windows 95. / This work presents a tool to support the development of RPC-based distributed applications in the Windows 95 environment. It also discusses some applications built to validate the system, which follow the client-server model. A theoretical review of the most relevant topics related to the field is done and the tool’s implementation details are presented. This tool was implemented with object-oriented techniques and comprises an automatic Stub Generator and an RPC Library, together with a Binding Service. The distributed applications that were built try to explore the tool’s full potential. General guidelines regarding the development of distributed applications for the Windows 95 environment are also provided.

Associé au Grand Collisionneur de Hadrons (LHC) du CERN, le détecteur ALICE sera, à partir<br />de 2006, dédié à l'étude du Plasma de Quarks et de Gluons, un état de dé-confinement de la matière.<br />Le système de déclenchement du spectromètre dimuons de ALICE sera constitué de 72 chambres à plaques<br />résistives (RPC) fonctionnant en mode streamer, fournissant près de 21 000 voies de mesure. Un premier<br />prototype de circuit intégré spécifique effectuant la mise en forme des signaux délivrés a été étudié. Son rôle<br />est de fournir une information logique précise en temps lorsque le signal d'entrée correspond au type<br />d'impulsion attendu. Réalisé en technologie AMS BiCMOS 0,8<br />µm, il intègre les fonctions suivantes : une technique de double discrimination nommée ADULT, un système de verrouillage évitant tout re-déclenchement sur une durée de 100ns, un délai variable et une mise en forme et un étage de sortie ECL.<br />Le schéma général a été divisé en plusieurs cellules qui ont été élaborées et simulées. La saisie des masques nécessaires à la fabrication par le fondeur a fait l'objet de beaucoup de soins pour optimiser les performances et la surface de silicium utilisée.<br />Quinze circuits prototypes ont été testés en laboratoire et sous faisceau de particules. Les résultats prouvent que les cellules implantées réalisent les fonctions demandées, et que le système ADULT améliore sensiblement la résolution temporelle. La consommation sera ramenée en dessous de la limite des 100 mW par voie en implantant dans le circuit un étage de sortie LVDS.<br />Ce travail a montré la faisabilité d'un circuit intégré spécifique adapté aux signaux particuliers délivrés par les RPC en mode streamer, dans les tolérances du cahier des charges notamment au niveau des coûts et de la consommation.