Relevant bibliographies by topics / Réplication de la machine d'état / Dissertations / Theses
To see the other types of publications on this topic, follow the link: Réplication de la machine d'état.

Dissertations / Theses 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 top 18 dissertations / theses for your research 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.

Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.

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
11

Vorwald, Pierre. "Contrôle en position de la machine synchrone alimentée en courant entraînant une charge variable : commande par retour d'état avec observation du couple de charge : commande adaptative de type régulateur auto-ajustable." Toulouse, INPT, 1997. http://www.theses.fr/1997INPT121H.

Full text
Abstract:
Cette these est consacree au controle en position de la machine synchrone autopilotee, avec prise en compte des perturbations de couple et des variations parametriques. Une loi de commande par retour d'etat avec compensation directe du couple de perturbation est d'abord presentee. Cette compensation est rendue possible par l'utilisation d'un observateur de perturbation base sur la theorie de luenberger. Differentes structures d'observation sont envisagees en fonction de leur ordre (reduit ou complet), et donc des variables observees (couple de perturbation, vitesse, et position). Dans chaque c
APA, Harvard, Vancouver, ISO, and other styles
12

Ben, Amor Lotfi. "Étude des lois de commande par retour d'état optimale au sens d'un critère quadratique et par régulateur PI : application à la commande de vitesse d'une machine asynchrone alimentée par un commutateur de courant." Thèse, Université du Québec à Trois-Rivières, 1991. http://depot-e.uqtr.ca/5385/1/000587513.pdf.

Full text
APA, Harvard, Vancouver, ISO, and other styles
13

Perronne, Lucas. "Vers des protocoles de tolérance aux fautes byzantines efficaces et robustes." Thesis, Université Grenoble Alpes (ComUE), 2016. http://www.theses.fr/2016GREAM075/document.

Full text
Abstract:
Au cours de la dernière décennie, l'informatique en nuage (Cloud Computing) suscita un important changement de paradigme dans de nombreux systèmes d'information. Ce nouveau paradigme s'illustre principalement par la délocalisation de l'infrastructure informatique hors du parc des entreprises, permettant ainsi une utilisation des ressources à la demande. La prise en charge de serveurs locaux s'est donc vue peu à peu remplacée par la location de serveurs distants, auprès de fournisseurs spécialisés tels que Google, Amazon, Microsoft. Afin d'assurer la pérennité d'un tel modèle économique, il app
APA, Harvard, Vancouver, ISO, and other styles
14

Blanchard, Peva. "Synchronization and Fault-tolerance in Distributed Algorithms." Thesis, Paris 11, 2014. http://www.theses.fr/2014PA112219/document.

Full text
Abstract:
Dans la première partie de ce mémoire, nous étudions le modèle des protocoles de population, introduit dans\cite{DBLP:conf/podc/BeauquierBCK10}. Ce modèle permet de représenter les grands réseaux de capteurs (ou agents) mobiles anonymes dotés de faibles ressources. Les contraintes de ce modèle sont si sévères que la plupart des problèmes classiques d'algorithmique répartie, tels que la collecte de données, le consensus ou l'élection d'un leader, sont difficiles à analyser, sinon impossibles à résoudre.Nous commençons notre étude par le problème de collecte de données. Celui-ci consiste princip
APA, Harvard, Vancouver, ISO, and other styles
15

Corne, Adrien. "Current Sensorless Control Strategies for an Automotive Electric Powertrain." Electronic Thesis or Diss., Université de Lorraine, 2019. http://www.theses.fr/2019LORR0292.

Full text
Abstract:
L’application de quotas d’émissions de gaz à effet de serre a amené les constructeurs automobiles à augmenter le niveau d’électrification de leurs véhicules. En parallèle des véhicules tout électrique, se sont développées les solutions hybrides, tel le mild-hybrid autorisant l’association d’une chaîne de traction électrique avec le moteur à combustion dans le but d’absorber les pics de consommation de carburant. Afin de rester compétitif, les coûts de production d’un véhicule doivent être optimisés autant que possible, ainsi l’étude réalisée de commande de machine synchrone à griffes sans capt
APA, Harvard, Vancouver, ISO, and other styles
16

Kebbati, Mohammed-Yassine. "Learning-based reinforced control strategies for autonomous vehicles." Electronic Thesis or Diss., université Paris-Saclay, 2023. https://www.biblio.univ-evry.fr/theses/2023/interne/2023UPAST071.pdf.

Full text
Abstract:
Dans un monde où les gens sont constamment en mouvement et ou la mobilité personnelle est préférée, le nombre de voitures personnelles sur la route ne cesse d'augmenter. Cela a induit plus de risque d'accidents de route, des conditions de circulation et de pollution de l'air plus dégradées. Par conséquent, les chercheurs travaillent depuis des décennies pour une transition vers la conduite autonome. Cette dernière a la capacité de remodeler la mobilité en diminuant les accidents de route, les embouteillages et la pollution de l'air, ce qui se traduirait par plus d'efficacité énergétique et de
APA, Harvard, Vancouver, ISO, and other styles
17

Baptiste, Julien. "Problèmes numériques en mathématiques financières et en stratégies de trading." Thesis, Paris Sciences et Lettres (ComUE), 2018. http://www.theses.fr/2018PSLED009.

Full text
Abstract:
Le but de cette thèse CIFRE est de construire un portefeuille de stratégies de trading algorithmique intraday. Au lieu de considérer les prix comme une fonction du temps et d'un aléa généralement modélisé par un mouvement brownien, notre approche consiste à identifier les principaux signaux auxquels sont sensibles les donneurs d'ordres dans leurs prises de décision puis alors de proposer un modèle de prix afin de construire des stratégies dynamiques d'allocation de portefeuille. Dans une seconde partie plus académique, nous présentons des travaux de pricing d'options européennes et asiatiques<
APA, Harvard, Vancouver, ISO, and other styles
18

Laouti, Nassim. "Diagnostic de défauts par les Machines à Vecteurs Supports : application à différents systèmes mutivariables nonlinéaires." Phd thesis, Université Claude Bernard - Lyon I, 2012. http://tel.archives-ouvertes.fr/tel-00985437.

Full text
Abstract:
Les systèmes réels sont généralement de nature non-linéaire, et leurs modélisations etsurveillance restent une tâche difficile à accomplir. Néanmoins, avec les progrès technologiqueson dispose maintenant d'un atout de taille sur ces systèmes qui est les données.Ce travail présente une technique de diagnostic de défaut et de modélisation basée en grandepartie sur la méthode d'apprentissage automatique " Les Machines à Vecteurs de Support,SVM " qui est basée sur les données. La méthodologie proposée est appliquée à différentessystèmes multivariables et non linéaires, à savoir : un procédé de tra
APA, Harvard, Vancouver, ISO, and other styles
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