Literatura académica sobre el tema "Réplication de la machine d'état"

Crea una cita precisa en los estilos APA, MLA, Chicago, Harvard y otros

Elija tipo de fuente:

Consulte las listas temáticas de artículos, libros, tesis, actas de conferencias y otras fuentes académicas sobre el tema "Réplication de la machine d'état".

Junto a cada fuente en la lista de referencias hay un botón "Agregar a la bibliografía". Pulsa este botón, y generaremos automáticamente la referencia bibliográfica para la obra elegida en el estilo de cita que necesites: APA, MLA, Harvard, Vancouver, Chicago, etc.

También puede descargar el texto completo de la publicación académica en formato pdf y leer en línea su resumen siempre que esté disponible en los metadatos.

Artículos de revistas sobre el tema "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.

Texto completo
Resumen
(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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.

Tesis sobre el tema "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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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.
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

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

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
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.

Texto completo
Resumen
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
Los estilos APA, Harvard, Vancouver, ISO, etc.
Más fuentes
Ofrecemos descuentos en todos los planes premium para autores cuyas obras están incluidas en selecciones literarias temáticas. ¡Contáctenos para obtener un código promocional único!