L'informatique moderne est distribuée. La distribution du calcul résulte parfois d'un besoin applicatif lorsque l'objectif est de connecter des ordinateurs distants. Parfois, elle naît du besoin de tolérer des défaillances. En effet, pour éviter qu'une application ne soit à la merci de la défaillance d'une machine, le calcul est dupliqué sur plusieurs machines. Au coeur de tout calcul réparti repose une forme de coordination. Le fait même que des ordinateurs aient une tâche commune implique un besoin de se concerter avant d'accomplir certaines tâches. Nous étudions les problèmes de coordination dans le modèle asynchrone, sans hypothèses sur des bornes de vitesse d'exécution des processeurs ou de transmission des messages. Les processus peuvent défaillir à n'importe quel moment. Le degré de coordination qui peut être atteint en fonction du degré d'incertitude du système est la question principale de cette thèse. Trois formes de coordination sont considérées : l'accord ensembliste, le renommage et le consensus simultané. Dans un premier temps, nous proposons différentes réductions algorithmiques entre ces problèmes, afin de prouver dans quelles conditions une solution à l'un de ces problèmes permet d'obtenir une solution à un autre problème. Nous étudions ensuite des hypothèses nécessaires et suffisantes sur la détection de défaillances permettant de résoudre les problèmes d'accord. Le formalisme utilisé ici est celui des détecteurs de défaillances. Enfin, nous proposons un autre point de vue sur les détecteur de défaillances. Nous caractérisons la puissance de calcul amenée par ces détecteurs par une restriction des exécutions du modèle itéré de Gafni.

Diss. Wirtschaftswiss. St. Gallen, 1991 ; SES 1242.

Ce travail de thèse s'inscrit dans le cadre des recherches sur la chimie prébiotique. Il est étroitement lié avec les trois expériences d'exposition en orbite terrestre UVolution, AMINO, PROCESS du projet EXPOSE. Il a pour objet d'étudier la photostabilité et la photochimie de molécules organiques dans un contexte exobiologique. Ces expériences consistent à exposer des molécules en phase solides ou des mélanges gazeux concernant l'étude des comètes (dans le cadre de la préparation à l'interprétation des résultats de la mission ROSETTA), la chimie organique de Titan (mission CASSINI-HUYGENS), ou encore la chimie organique dans l'environnement martien (futures missions in situ). Les analyses en spectrométrie infrarouge et en chromatographie en phase gazeuse couplée à la spectrométrie de masse, sur les échantillons de retour de l'expérience UVolution (14-26/09/2007) sont comparées avec des simulations expérimentales menées parallèlement en laboratoire. De nouvelles données sur la photostabilité de composés organiques dans les environnements extraterrestres ont ainsi pu être mesurées. Les temps de demi-vie à une distance du soleil de 1 UA varient entre quelques jours et quelques dizaines de jours pour les plus photorésistants (ex. adénine, guanine, hypoxanthine). Pour les composés photolysés dans le domaine VUV, à partir de 120 nm (simulant la photochimie des comètes et la surface des petits corps, ainsi que la haute atmosphère de Titan), les temps de vie mesurés en orbite sont très différents de ceux calculés à partir des expériences de laboratoire. Ces résultats nous confirment qu'il est difficile de simuler en laboratoire le spectre solaire dans ce domaine de longueurs d'ondes.Par contre, pour les composés photolysés dans une gamme de longueur d'onde moins énergétique (>190 nm, simulant la photochimie à la surface de Mars), les résultats des mesures en orbite et en laboratoire sont relativement cohérents. Il est aussi montré, que la présence d'analogues de sol martien augmente la vitesse de photodestruction de certaines molécules (acide phtalique et acide amino isobutyrique). Pour ce qui concerne l'analyse de la phase gazeuse, des analyses chromatographiques ont mis en évidence la formation de petits hydrocarbures (C2H6, C2H4) dans les cellules contenant du méthane (mélangé avec de l'azote ou de l'argon pour simuler la chimie du méthane dans l'atmosphère de Titan). Ces composés ont aussi été produits par des échantillons de tholins (analogue des aérosols de Titan). Ces résultats sont discutés, et mettent en avant la nécessité de réaliser des expériences en orbite de plus longue durée, où l'évolution des échantillons est mesurée en continue. Il apparait aussi clairement que les mesures de laboratoires effectuées dans le domaine VUV doivent être extrapolées avec précaution aux différents environnements qu'elles sont sensées simuler / Pas de résumé en anglais

Les colicines sont des toxines protéiques sécrétées par Escherichia coli ou des espèces apparentées. Leur mécanisme d'action se décompose en plusieurs étapes impliquant des domaines structurellement distincts de la toxine : le domaine central interagit avec un récepteur spécifique de membrane externe, le domaine N-terminal est transloqué à travers la membrane externe via un translocateur, puis transite dans le périplasme et le domaine C-terminal porte l’activité létale. L’étape de transit des colicines dites du groupe A implique l'interaction du domaine N-terminal de la colicine avec les protéines du système Tol. Ce système est formé de cinq protéines : TolQ, TolR, TolA, TolB et Pal. Le système TonB, composé des protéines TonB, ExbB et ExbD, est quant à lui parasité par les colicines dites du groupe B. La combinaison de techniques in vivo et in vitro, nous a permis de mettre en évidence pour la première fois l’interaction d’une colicine avec la protéine TolQ. Nous avons également montré que le clivage protéolytique de la protéine TolA, une protéine clé du système Tol, contrôle les interactions séquentielles engagées entre les colicines du groupe A et les composants de leur machinerie d’import chez E. coli. La colicine interagit avec TolB, puis TolA et finalement avec TolR et/ou TolQ. Nous avons également pu attribuer un rôle à la protéase FtsH dans ce mécanisme de dégradation. Parallèlement, nous avons entrepris de caractériser la colicine TonB-dépendante appelée colicine M (ColM), la seule colicine connue à ce jour capable de perturber la synthèse de peptidoglycane et dont l’activité nécessite la présence de la protéine périplasmique FkpA, un chaperon possédant une activité peptidyl-prolyl isomérase. Nous avons proposé une nouvelle approche pour étudier la ColM et délimiter plus précisément ses domaines afin d’identifier la séquence minimale requise pour sa toxicité. Nous avons montré que dans E. coli, la production périplasmique de la ColM (sp-ColM) est toxique et que son activité dépend de FkpA. Le domaine minimal requis pour cette toxicité correspond aux 153 derniers acides aminés C-terminaux deColM. Contrairement à la ColM entière, la toxicité de ce domaine C-terminal dans le périplasme d’ E. coline requiert pas FkpA.L’ensemble des données montrent que les colicines sont capables de parasiter des systèmes bactériens pour pénétrer dans la cellule et aussi de détourner la fonction physiologique de certaines protéines pour atteindre leurs cibles. / Colicins are toxin proteins secreted by Escherichia coli or related bacteria species. The actionmechanism of the colicins can be divided into several steps that involve distinct structural domains: thebinding of its central domain to an outer membrane specific receptor, the translocation of its N-terminaldomain through the outer membrane, the transit of this same domain through the periplasm and the lethalactivity carried by the C-terminal domain. The transit step of the group A colicins requires the interactionof colicin N-terminal domain with the Tol system which is composed of five proteins: TolQ, TolR, TolA,TolB and Pal. The TonB system, composed of TonB, ExbB and ExbD, is parasitized by the group Bcolicins. Using a combination of in vitro and in vivo experiments, we identified for the first time aninteraction between a colicin and the TolQ protein. We have also shown that the proteolytic cleavage ofthe TolA protein, a key protein of the Tol system, controls the sequential interactions of the group Acolicins with the components of their import machinery in E. Coli and we assigned a role to FtsH proteasein this degradation mechanism. We defined that the colicin interacts first with the TolB protein, then withTolA, and finally with TolR and/or TolQ.In parallel, we undertook the characterization of the TonB-dependent colicin M (ColM), the only colicinknown to be able to disrupt the peptidoglycan synthesis and that requires for its toxic activity the presenceof FkpA, a chaperone and peptidyl propyl isomerase protein located in the periplasm. We proposed a newapproach to investigate the in vivo activity of ColM designed to identify the different domains of ColMand the minimal sequence that retains toxic activity. We have shown that in E. coli, the periplasmicproduction of ColM is toxic and that its activity is FkpA dependent. The minimal domain required fortoxicity corresponds to the C-terminal last 153 amino acids of ColM. Unlike the full-length protein, thisdomain produced in the E. coli periplasm does not require FkpA for toxic activity.All these data show that colicins are able to parasitize bacterial systems to enter the cell and also to divertthe physiological function of certain proteins to achieve their targets

ON ETUDIE LA RESOLUTION DES SOUS-PROBLEMES INDEPENDAMMENT LES UNS DES AUTRES POUR ARRIVER A LA SOLUTION DU PROBLEME GLOBAL EN FAISANT LA SYNTHESE D'UNE LOI ADAPTATIVE DECENTRALISEE, MOYENNANT DES CONDITIONS PAS TROP RESTRICTIVES, SUR LA MATRICE D'INTERCONNEXION. LES LOIS DE COMMANDE ADAPTATIVE DECENTRALISEES DEVELOPPEES SONT APPLIQUEES EN SIMULATION A UNE CENTRALE SOLAIRE A TURBINE A GAZ (PROJET SIROCCO), PROCESSUS COMPOSE DE QUATRE SOUS-SYSTEMES INTERCONNECTES

Die Common Object Request Broker Architecture (CORBA) der Object Management Group (OMG) bietet die Chance, nicht nur eine Plattform fuer neue verteilte Anwendungen zu sein, sondern erlaubt es auch, bestehende Anwendungen und Altsoftware hersteller- und systemuebergreifend zu integrieren. Diese Eigenschaft hebt CORBA von anderen Programmierplattformen ab und gibt CORBA das Potential, eine aussichtsreiche Basis fuer kuenftige Anwendungssysteme zu sein. Das Ziel dieser Studienarbeit besteht darin, die Umsetzbarkeit verschiedener Interaktionsarten in CORBA zu untersuchen und an Beispielen praktisch auszuprobieren. Moegliche Ablaufformen aus der Literatur, aus den Systemen DCE und MPI und anhand eigener Ueberlegungen werden im ersten Teil dieser Arbeit systematisch zusammengefasst. Danach folgt eine ausfuerliche Behandlung der Architektur von CORBA und der hier moeglichen Ablaufformen und Interaktionsszenarien. Abschliessend werden acht verschiedene Versionen eines einfachen verteilten Woerterbuches vorgestellt, um einige der in CORBA realisierten Konzepte am praktischen Beispiel zu verdeutlichen. Als CORBA-Plattform stand Orbix-MT 2.0.1 (multi-threaded) der Firma IONA Technologies Ltd. unter Solaris 2.x zur Verfuegung.

Entnommen aus: „Henke, Klaus-Dietmar: Vorbemerkung” (S. 7): „Die Sektion „Totalitarismus“ auf dem 42. Deutschen Historikertag in Frankfurt am Main diente dem Meinungsaustausch darüber, welche Aspekte der totalitarismustheoretischen Debatte für die zeitgeschichtlich orientierte Diktaturforschung nutzbar gemacht werden könnten. Die nachstehenden Aufsätze gehen auf Vorträge zurück, die von den Autoren am 9. September 1998 dort gehalten und für den Druck teils erheblich, teils geringfügig überarbeitet wurden.”

Die jedes Frühjahr stattfindende »Dresdner Arbeitstagung Schaltungs- und Systementwurf« wird traditionell vom Fraunhofer-Institut für Integrierte Schaltungen, Institutsteil Entwurfsautomatisierung (EAS) und vom Sächsischen Arbeitskreis Informationstechnik des VDE Bezirksvereins Dresden ausgerichtet. Die Arbeitstagung hat bereits eine über 30-jährige Tradition und wird von Wissenschaftlern aus Forschungsinstituten und Ingenieuren aus der Industrie für einen regen fachlichen Austausch genutzt. Gegenstand der Tagung sind aktuelle Ergebnisse und neue Erkenntnisse aus Forschung und Entwicklung sowie Erfahrungsberichte und Problemdiskussionen auf dem Gebiet des Entwurfs analoger, digitaler und hybrider Systeme. Das Tagungsprogramm bietet den Teilnehmern wieder interessante Beiträge über neue Lösungen zum Entwurf komplexer Schaltungen und Systeme, die auch Themen wie Rekonfigurierbarkeit, Architekturen, Performance, Hardware-Software, Test und Optimierung behandeln. Begleitend zur Tagung wird von der Firma Mentor Graphics ein Workshop zum Thema »Advanced Verification Methodology« angeboten. Hier werden an einem Beispiel die Vorteile der zukünftigen Design Verifikation mit System Verilog und Assertions erläutert. Der vorliegende Tagungsband enthält die Langfassungen der Beiträge, für deren Form und Inhalt die Autoren verantwortlich sind. Als Veranstalter bedanken wir uns bei den Autoren für die Bereitstellung dieser Beiträge, die als Grundlage für die fachlichen Diskussionen dienen, und bei den Teilnehmern für ihr Interesse an unserer Arbeitstagung.

Indisponible

Cyber-physikalische Systeme (CPS) sind eine erweitere Sicht auf eingebettete Systeme, die die konkreten umgebenden Elemente in das Systemdesign einbeziehen. Das Design solcher Systeme erfordert neue Herangehensweisen: Während beispielsweise in "normalen" verteilten Systemen Aspekte wie "Bewegung" oder "Ort" möglichst transparent und damit für den Nutzer unsichtbar gestaltet werden, benötigen CPS-Anwendungen häufig Bewusstsein für Bewegung oder Ort, d.h., sie sind _motion aware_ oder _location aware_. Die Professur "Betriebssysteme" der TUC hat sich die Frage gestellt, wie eine generische Unterstützung für solche verteilte mobile Systeme aussehen könnte. Im Vortrag werden Probleme, Konzepte und erste Lösungsansätze für ein künftiges Betriebssystem für diese Art von Systemen vorgestellt.