11 |
Derrière le consensus : coordination faiblement contrainte dans les systèmes distribués asynchronesTravers, Corentin 20 November 2007 (has links) (PDF)
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.
|
12 |
Ein Vorgehenskonzept zur Unternehmensstrukturierung : eine heuristische Anwendung des Modells Lebensfähiger Systeme /Herold, Claudia. January 1991 (has links) (PDF)
Diss. Wirtschaftswiss. St. Gallen, 1991 ; SES 1242.
|
13 |
Photochimie expérimentale en orbite terrestre et en laboratoire appliquée à la chimie organique dans le système solaireGuan, Yuan Yong 19 January 2010 (has links)
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
|
14 |
Mécanisme d'importation des colicines : détournement des fonctions physiologiques des protéines FtsH et FkpA / Colicins uptake : hijacking of the physiological functions of FtsH and FkpA proteinsBarnéoud arnoulet, Aurélie 29 October 2010 (has links)
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
|
15 |
DECENTRALISATION DES LOIS D'IDENTIFICATION OU DE COMMANDE DES SYSTEMES ADAPTATIFS AVEC MODELE DE REFERENCE DE GRANDE DIMENSIONBen Messaoud, Mohamed 10 June 1983 (has links) (PDF)
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
|
16 |
Ablaufszenarien fuer Client-Server Anwendungen mit CORBA 2.0Falk, Edelmann 12 November 1997 (has links)
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.
|
17 |
Totalitarismus: Sechs Vorträge über Gehalt und Reichweite eines klassischen Konzepts der DiktaturforschungHenke, Klaus-Dietmar 06 December 2022 (has links)
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.”
|
18 |
Dresdner Arbeitstagung Schaltungs- und Systementwurfmehrer Autoren, Sammelband 11 June 2007 (has links) (PDF)
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.
|
19 |
Analyse et simulation en langage APL de systèmes de commande décrits par des réseaux de PetriRenalier, Jean 17 June 1977 (has links) (PDF)
Indisponible
|
20 |
Verteilte Mobilität - Eine spannende HerausforderungWerner, Matthias 05 July 2013 (has links) (PDF)
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.
|
Page generated in 0.0764 seconds