Relevant bibliographies by topics / Réplication de la machine d'état

Contents

  1. Journal articles
  2. Dissertations / Theses

Academic literature on the topic 'Réplication de la machine d'état'

Author: Grafiati
Published: 1 February 2025
Last updated: 31 July 2025

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Réplication de la machine d'état.'

Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.

You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.

Journal articles on the topic "Réplication de la machine d'état"

1

Krtolica, Igor. "Secret d'état et machine de guerre secrète chez Gilles Deleuze." Theoria, Beograd 50, no. 2 (2007): 47–64. http://dx.doi.org/10.2298/theo0702047k.

Full text
Abstract:
(francuski) Cet article trouve son point d?part dans une note de Mille plateaux, o? Deleuze et Guattari sugg?rent l'id?e que le secret ne trouve pas son origine dans un appareil d'?tat mais dans la ?machine de guerre?, ruinant du m?me coup l'apparente homog?n?it? entre le secret et l'appareil d'?tat. Cette th?se d?coule de la n?cessit? logique de ne plus d?finir le secret ? partir de la position d'un contenu cach? (toujours perceptible en droit). L'exposition de cette exigence logique permettra d'assigner une forme primitive et une forme d?riv?e du secret, dont l'enjeu est ici triple: (1) mont
APA, Harvard, Vancouver, ISO, and other styles
2

Tremblay, Klaire. "La technologie langagière au Secrétariat d’État du Canada : une réalité quotidienne." Meta 37, no. 4 (2002): 761–69. http://dx.doi.org/10.7202/004506ar.

Full text
Abstract:
Résumé Depuis le début des années 70, le Canada montre un vif intérêt pour tout ce qui touche le traitement électronique du langage. Le projet TAUM MÉTÉO et la banque de terminologie TERMWM en sont d'excellents exemples. Le Secrétariat d'État se livre maintenant à l'essai, en milieu opérationnel, de deux outils de traduction haute technologie, soit du logiciel de TAO LOGOS et du poste de travail du traducteur (PTT). Les expériences menées jusqu'à ce jour ont donné lieu à diverses évaluations techniques ainsi qu'à des études linguistiques et ergonomiques, notamment à l'établissement d'une typol
APA, Harvard, Vancouver, ISO, and other styles
3

Vaudour, Emmanuelle, Paul-Emile Noirot-Cosson, and Olivier Membrive. "Apport des images satellitaires de très haute résolution spatiale Pléiades à la caractérisation des cultures et des opérations culturales en début de saison." Revue Française de Photogrammétrie et de Télédétection, no. 208 (September 5, 2014): 97–103. http://dx.doi.org/10.52638/rfpt.2014.106.

Full text
Abstract:
Cette étude s'inscrit dans des programmes de recherche visant à surveiller spatialement l'effet des apports de produits résiduaires organiques sur les stocks de carbone des sols, et nécessitant pour cela le recueil de données spatialisées sur les systèmes de culture. L'objectif de cette étude est celui d'évaluer, au niveau d'organisation spatiale des parcelles culturales, l'apport des images satellitaires de Très Haute Résolution Spatiale (THRS) Pléiades à l'identification des cultures à des stades de développement précoce d'une part, à la détection des changements d'état de surface des sols n
APA, Harvard, Vancouver, ISO, and other styles

Dissertations / Theses on the topic "Réplication de la machine d'état"

1

Nehme, Mohamad Jaafar. "Next generation state-machine replication protocols for data centers." Thesis, Université Grenoble Alpes (ComUE), 2017. http://www.theses.fr/2017GREAM077/document.

Full text
Abstract:
De nombreux protocoles Total Order Broadcast uniformes ont été conçus au cours des 30 dernières années. Ils peuvent être classés en deux catégories: ceux qui visent une faible latence, et ceux qui visent à haut débit. Latence mesure le temps nécessaire pour effectuer un seul message diffusé sans prétention, alors que le débit mesure le nombre d'émissions que les processus peuvent compléter par unité de temps quand il y a discorde. Tous les protocoles qui ont été conçus pour autant faire l'hypothèse que le réseau sous-jacent ne sont pas partagées par d'autres applications en cours d'exécution.
APA, Harvard, Vancouver, ISO, and other styles
2

Tonkikh, Andrei. "Distributed computing for blockchains and beyond." Electronic Thesis or Diss., Institut polytechnique de Paris, 2024. http://www.theses.fr/2024IPPAT041.

Full text
Abstract:
Dans cette thèse, nous abordons trois défis majeurs dans la conception des systèmes de blockchain en particulier et des systèmes distribués tolérants aux pannes à grande échelle en général. Ce travail vise à améliorer directement la performance de tels systèmes, ainsi qu'à fournir des outils utiles pour le développement futur d'algorithmes distribués.Premièrement, nous explorons les limites de ce qui peut être réalisé avec une synchronisation minimale en concevant CryptoConcurrency—un système de transfert d'actifs qui, au lieu d'ordonner totalement toutes les requêtes des utilisateurs, traite
APA, Harvard, Vancouver, ISO, and other styles
3

Salloum, Georges. "Contribution à la commande robuste de la machine asynchrone à double alimentation." Phd thesis, Toulouse, INPT, 2007. http://oatao.univ-toulouse.fr/7534/1/salloum.pdf.

Full text
Abstract:
Le travail présenté dans cette thèse apporte, entre autres, une contribution aux méthodes d'analyse et de synthèse de la commande robuste des Machines Asynchrones à Double Alimentation (MADA) alimentées par deux onduleurs de tension avec deux bus continus distincts. Nous introduisons, dans un premier chapitre, la commande vectorielle classique de la MADA munie de capteurs mécaniques. Ce chapitre se distingue par une nouvelle approche pour assurer le découplage des courants de la MADA dans un repère (d-q) conduisant à des fonctions de transfert simples, et par conséquent, un calcul simplifié de
APA, Harvard, Vancouver, ISO, and other styles
4

Westerholt, Eckart Graf von. "Commande non linéaire d'une machine asynchrone : filtrage étendu du vecteur d'état : contrôle de la vitesse sans capteur mécanique." Toulouse, INPT, 1994. http://www.theses.fr/1994INPT050H.

Full text
Abstract:
Dans ce travail, l'auteur met au point une strategie de controle de vitesse d'une machine asynchrone. L'objectif poursuivi est de s'affranchir de certaines hypotheses emises dans les commandes classiques de tels processus: utilisation d'un capteur mecanique, separation des modes electriques et mecaniques, et flux stationnaire. La prise en compte du couplage des modes conduit alors a une modelisation non lineaire du processus. L'absence de capteur de vitesse necessite l'observation de celle-ci et du couple de charge. Dans ce contexte, la definition de la strategie de commande a demande au preal
APA, Harvard, Vancouver, ISO, and other styles
5

Quéma, Vivien. "Contributions to Building Efficient and Robust State-Machine Replication Protocols." Habilitation à diriger des recherches, Université de Grenoble, 2010. http://tel.archives-ouvertes.fr/tel-00540897.

Full text
Abstract:
State machine replication (SMR) is a software technique for tolerating failures using commodity hardware. The critical service to be made fault-tolerant is modeled by a state machine. Several, possibly different, copies of the state machine are then deployed on different nodes. Clients of the service access the replicas through a SMR protocol which ensures that, despite concurrency and failures, replicas perform client requests in the same order. Two objectives underly the design and implementation of a SMR protocol: robustness and performance. Robustness conveys the ability to ensure availabi
APA, Harvard, Vancouver, ISO, and other styles
6

Champagne, Roger. "Simulation en temps réel à l'aide de la représentation d'état : application à un entraînement électrique basé sur une machine asynchrone." Mémoire, École de technologie supérieure, 2001. http://espace.etsmtl.ca/838/1/CHAMPAGNE_Roger.pdf.

Full text
Abstract:
Les machines électriques sont omniprésentes dans nos vies. Il y en a dans nos ordinateurs et appareils ménagers, elles entraînent les machines-outils et les robots dans nos usines et déplacent trains et navires. Suite aux progrès importants en électronique de puissance ces dernières années, les entraînements à vitesse variable ont aussi connu une popularité croissante. Cependant, leur utilisation à grande échelle pollue le réseau électrique avec des harmoniques indésirables qui troublent le fonctionnement d'équipements sensibles, tels les ordinateurs et les systèmes de télécommunications.
APA, Harvard, Vancouver, ISO, and other styles
7

Ratel, Christophe. "Définition et réalisation d'un outil de vérification formelle de programmes LUSTRE." Phd thesis, Grenoble 1, 1992. http://tel.archives-ouvertes.fr/tel-00341223.

Full text
Abstract:
Lustre est un langage de programmation spécialement conçu pour la réalisation des systèmes réactifs. Le besoin de garantir que ces systèmes ont un comportement conforme a celui attendu nécessite de définir et de mettre en œuvre des méthodes de vérification formelle des programmes lustre, qui sont relatées dans cette thèse. La vérification d'un système consiste a contrôler que tous ses comportements sont corrects vis-a-vis de ses spécifications. Les comportements d'un programme lustre peuvent classiquement être représentés par une machine d'états finis, dont la génération permet de vérifier ses
APA, Harvard, Vancouver, ISO, and other styles
8

Dib, Abdou. "Observation et Commande de la Machine Asynchrone." Phd thesis, Université de Caen, 2012. http://tel.archives-ouvertes.fr/tel-01064016.

Full text
Abstract:
Le travail de recherche effectu'e dans cette thèse a été principalement consacré aux problèmes d'observation et de commande des moteurs asynchrones sans capteurs mécaniques. Deux contributions principale ont été faites en exploitant judicieusement le concept de grand gain. La première contribution est un observateur du type grand gain qui permet de réaliser une estimation relativement pr'ecise des variables d'état mécaniques et magnétiques des moteurs asynchrones à partir des mesures disponibles des courants et tensions statoriques. Le gain d'observation a été judicieusement modifié pour des c
APA, Harvard, Vancouver, ISO, and other styles
9

Hajji, Sofien. "Modélisation, observation et commande de la machine asynchrone." Phd thesis, Université de Caen, 2009. http://tel.archives-ouvertes.fr/tel-01058792.

Full text
Abstract:
Les travaux développés dans ce rapport traitent de la modélisation, de l'observation et de la commande avec et sans capteur de vitesse de la machine asynchrone. Tout d'abord, un observateur non linéaire de type grand gain a été synthétisé en vue de l'estimation de quelques grandeurs électriques et mécaniques de la machine. Ensuite, nous proposons une nouvelle loi de commande avec retour d'état incorporant un observateur du type grand gain pour deux classes de systèmes non linéaires uniformément observables et commandables incluant le modèle du moteur asynchrone. La synthèse de cette loi de com
APA, Harvard, Vancouver, ISO, and other styles
10

Bouderbala, Kamélia. "Mise en oeuvre d'une régulation thermique sur une machine de mesure dimensionnelle de très haute exactitude. Utilisation d'un modèle d'ordre faible en boucle fermée." Thesis, Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique, 2015. http://www.theses.fr/2015ESMA0017/document.

Full text
Abstract:
Ce manuscrit décrit la modélisation et la régulation de la température au sein d’un dispositif expérimental développé initialement pour valider les principes de conception adoptés pour une nouvelle machine de mesure de cylindricité au Laboratoire Commun de Métrologie du Laboratoire national de métrologie et d’essais – Conservatoire national des arts et métiers.L’appareil a été équipé de 19 sondes à résistance de platine raccordées à une référence nationale afin d’étudier l’influence sur son comportement des perturbations thermiques générées par des sources de chaleur internes et externes. L’in
APA, Harvard, Vancouver, ISO, and other styles
More sources
You might also be interested in the extended bibliographies on the topic 'Réplication de la machine d'état' for particular source types:
Dissertations / Theses
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography