Bibliografías temáticas / Protocole des Applications à contraintes / Tesis
Siga este enlace para ver otros tipos de publicaciones sobre el tema: Protocole des Applications à contraintes.

Tesis sobre el tema "Protocole des Applications à contraintes"

Autor: Grafiati
Publicado: 25 de mayo de 2024
Última modificación: 31 de julio de 2025

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

Elija tipo de fuente:

Consulte los 50 mejores tesis para su investigación sobre el tema "Protocole des Applications à contraintes".

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.

Explore tesis sobre una amplia variedad de disciplinas y organice su bibliografía correctamente.

1

Tfaily, Souayed Rima. "Les applications des environnements virtuels distribués à retour d'effort : contraintes et solutions sur un réseau IP." Troyes, 2005. http://www.theses.fr/2005TROY0002.

Texto completo
Resumen
Actuellement, la disponibilité croissante des dispositifs haptiques dans le commerce fait que les systèmes distribués de réalités virtuelles sont de plus en plus intégrés avec des interfaces haptiques (à retour d’effort). Cependant, cela entraîne des difficultés techniques à cause de l'interaction haptique disponible en temps réel dans les environnements virtuels distribués. Lorsque les environnements virtuels communiquent à travers le réseau, le délai imprévisible, la variation du délai (la gigue), la perte de paquet, etc. Affecterons la performance de l'interaction haptique. Malgré plusieurs
Los estilos APA, Harvard, Vancouver, ISO, etc.
2

Bouzefrane, Samia. "Etude temporelle des applications temps réel distribuées à contraintes strictes basée sur une analyse d'ordonnançabilité." Poitiers, 1998. http://www.theses.fr/1998POIT2254.

Texto completo
Resumen
Ce travail presente une methodologie de modelisation et de validation d'applications temps reel reparties. Ces applications composees de taches reparties sur differents sites communiquent par echange de messages a travers un reseau de communication a delai d'acces borne suppose fiable. La methodologie developpee est basee sur une analyse d'ordonnancabilite des taches et des messages. L'objectif est d'une part de verifier le respect des contraintes temporelles globales d'une application temps reel repartie c'est a dire le respect, a la fois, des contraintes temporelles des taches et de celles d
Los estilos APA, Harvard, Vancouver, ISO, etc.
3

Bursuc, Sergiu. "Contraintes de déductibilité dans une algèbre quotient : réduction de modèles et applications à la sécurité." Cachan, Ecole normale supérieure, 2009. http://www.theses.fr/2009DENS0055.

Texto completo
Resumen
Dans cette thèse, nous nous intéressons à la vérification des protocoles de sécurité. Ce sont des programmes dont le but est d'établir une communication sûre entre plusieurs agents. Quasiment toutes les applications modernes ont besoin des protocoles de sécurité pour assurer leur bon fonctionnement, ce qui rend d'autant plus importante la question de leur correction et demande une réponse basée sur des arguments rigoureux. Les méthodes formelles, où les messages et les opérations sont abstraits par une algèbre de termes, se sont avérées cruciales dans cette démarche. Cependant, pour avoir une
Los estilos APA, Harvard, Vancouver, ISO, etc.
4

Makarem, Nabil. "Performance evaluation and improvement of congestion control of the constrained application protocol for the Internet-of-things." Electronic Thesis or Diss., Sorbonne université, 2021. http://www.theses.fr/2021SORUS289.

Texto completo
Resumen
Dans ce travail de recherche, nous proposons de nouveaux modèles mathématiques exacts pour analyser les performances de CoAP dans les réseaux IoT avec perte. Cette étude présente les différentes approches pour améliorer le contrôle de la congestion CoAP et met en évidence les propriétés - y compris les limites - de CoAP. En outre, nous montrons que le mécanisme de contrôle simple réduit considérablement les performances de CoAP, notamment en termes d'utilisation de la bande passante, car il empêche le protocole d'agir efficacement pendant les périodes de congestion. Nous proposons ensuite de n
Los estilos APA, Harvard, Vancouver, ISO, etc.
5

Avanesov, Tigran. "Résolution de contraintes de déductibilité : application à la composition de services Web sécurisés." Phd thesis, Université Henri Poincaré - Nancy I, 2011. http://tel.archives-ouvertes.fr/tel-00641237.

Texto completo
Resumen
Les contraintes de déductibilité ont été introduites pour vérifier les protocoles cryptographiques. Cette thèse présente une procédure de décision pour le problème de satisfaisabilité des systèmes généraux de contraintes de déductibilité. Deux cas sont envisagés: la théorie de Dolev-Yao standard et son extension par un opérateur associatif, commutatif, idempotent. Le résultat est utilisé pour résoudre le problème de l'orchestration automatique et distribué de services Web sécurisés. Comme seconde application nous proposons une procédure pour décider la sécurité d'un nombre fini de sessions de
Los estilos APA, Harvard, Vancouver, ISO, etc.
6

Avanesov, Tigran. "Résolution de contraintes de déductibilité : application à la composition de services Web sécurisés." Electronic Thesis or Diss., Nancy 1, 2011. http://www.theses.fr/2011NAN10045.

Texto completo
Resumen
Les contraintes de déductibilité ont été introduites pour vérifier les protocoles cryptographiques. Cette thèse présente une procédure de décision pour le problème de satisfaisabilité des systèmes généraux de contraintes de déductibilité. Deux cas sont envisagés: la théorie de Dolev-Yao standard et son extension par un opérateur associatif, commutatif, idempotent. Le résultat est utilisé pour résoudre le problème de l'orchestration automatique et distribué de services Web sécurisés. Comme seconde application nous proposons une procédure pour décider la sécurité d'un nombre fini de sessions de
Los estilos APA, Harvard, Vancouver, ISO, etc.
7

Olarte, Carlos. "Programmation Concurrent par Contraintes pour Vérifier un Protocole de Sécurité." Phd thesis, Ecole Polytechnique X, 2009. http://tel.archives-ouvertes.fr/tel-00430446.

Texto completo
Resumen
La Programmation Concurrente par Contraintes (CCP) est un modèle mathématique pour la spécification de systèmes concurrents où les agents (processus) ajoutent de l'information ou interrogent si certains faits peuvent être déduits. Dans ce modèle, l'information est représentée par un ensemble de contraintes. La Programmation Temporelle Concourante par Contraintes (tcc) est un extension de CCP où l'exécution des processus a lieu dans des intervalles de temps. Ce mémoire étudie tcc en tant que modèle concurrent pour les systèmes mobiles et développe le calcul de processus utcc, Universal Temporal
Los estilos APA, Harvard, Vancouver, ISO, etc.
8

Siafa, Amine. "Protocole multipoint fiable et ordonné pour applications coopératives asynchrones." Chambéry, 1998. http://www.theses.fr/1998CHAMS024.

Texto completo
Resumen
Un nombre important de protocoles de communication multipoint ont été développés pour supporter les besoins très variés des applications de groupe en termes de fiabilité, d'extensibilité, d'ordre, de débit, etc. Etant donnée la variété des besoins, la conception d'un protocole multipoint satisfaisant un large ensemble d'applications parait impossible sans l'introduction de la notion de qualité de service. L'introduction de la qualité de service confère au protocole la proprete de flexibilité qui permet de répondre aux besoins subtils de certaines applications, sans pour autant pénaliser les ap
Los estilos APA, Harvard, Vancouver, ISO, etc.
9

Peng, Shen. "Optimisation stochastique avec contraintes en probabilités et applications." Thesis, Université Paris-Saclay (ComUE), 2019. http://www.theses.fr/2019SACLS153/document.

Texto completo
Resumen
L'incertitude est une propriété naturelle des systèmes complexes. Les paramètres de certains modèles peuvent être imprécis; la présence de perturbations aléatoires est une source majeure d'incertitude pouvant avoir un impact important sur les performances du système. Dans cette thèse, nous étudierons les problèmes d’optimisation avec contraintes en probabilités dans les cas suivants : Tout d’abord, nous passons en revue les principaux résultats relatifs aux contraintes en probabilités selon trois perspectives: les problèmes liés à la convexité, les reformulations et les approximations de ces c
Los estilos APA, Harvard, Vancouver, ISO, etc.
10

LAUNAY-ILIADIS, MARIE-CAMILLE. "Elaboration d'un protocole optimal en pharmacocinetique clinique : applications a des anticancereux." Aix-Marseille 2, 1989. http://www.theses.fr/1989AIX22980.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
11

Ducasse, Jean-Marie. "Randonnée pédestre et en raquettes (en moyenne montagne) : proposition d'un protocole d'étude des contraintes cardio-respiratoires en situation." Bordeaux 2, 1999. http://www.theses.fr/1999BOR2M153.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
12

Ciuca, Marian. "Estimation non-paramétrique sous contraintes. Applications en finance stochastique." Aix-Marseille 1, 2003. http://www.theses.fr/2003AIX11018.

Texto completo
Resumen
Les mathématiques financières peuvent requerir, par rapport à la formule de Black-Scholes, l'estimation non-paramétrique uni-latérale de la fonction de volatilité: l'estimateur doit être toujours plus grand ou égal à la fonction estimée. Dans la première partie nous construisons des estimateurs par ondelettes, linéaires et non-linéaires, du coefficient de diffusion d'un processus de diffusion, et calculons leur vitesses de convergences dans un contexte minimax, et respectivement, adaptatif, lorsque la fonction estimée appartient à des classes de régularité de Besov, en utilisant la norme unifo
Los estilos APA, Harvard, Vancouver, ISO, etc.
13

Talbot, Jean-Marc. "Contraintes ensemblistes définies et co-définies : extensions et applications." Lille 1, 1998. https://pepite-depot.univ-lille.fr/LIBRE/Th_Num/1998/50376-1998-367.pdf.

Texto completo
Resumen
Les contraintes ensemblistes permettent d'exprimer des relations entre des ensembles d'arbres finis. Syntaxiquement, elles consistent en des inclusions ou des non-inclusions entre des expressions ensemblistes comportant les operateurs usuels de la theorie de ensembles, comme l'union, l'intersection, le complementaire, mais egalement la composition fonctionnelle et des operateurs de projections. L'un des domaines d'application de ces contraintes est l'analyse de programmes, connu sous le nom d'analyse ensembliste. Dans ce travail, nous nous interessons a deux classes de contraintes introduites
Los estilos APA, Harvard, Vancouver, ISO, etc.
14

Le, Guyader Carole. "Imagerie mathématique : segmentation sous contraintes géométriques : théorie et applications." Phd thesis, Rouen, INSA, 2004. http://www.theses.fr/2004ISAM0016.

Texto completo
Resumen
Dans cette thèse, nous nous sommes intéressés à des problèmes de segmentation d'images sous contraintes géométriques. Cette problématique a émergé suite à l'analyse de plusieurs méthodes classiques de détection de contours qui a été faite. En effet, ces méthodes classiques (Modèles déformables, contours actifs géodésiques, "fast marching", etc. . . ) se révèlent caduques quand des données de l'image sont manquantes ou de mauvaise qualité. En imagerie médicale par exemple, des phénomènes d'occlusion peuvent se produire : des organes peuvent se masquer en partie l'un l'autre (ex. Du foie). Par a
Los estilos APA, Harvard, Vancouver, ISO, etc.
15

Le, Guyader Carole. "Imagerie Mathématique: segmentation sous contraintes géométriques ~ Théorie et Applications." Phd thesis, INSA de Rouen, 2004. http://tel.archives-ouvertes.fr/tel-00009036.

Texto completo
Resumen
Dans cette thèse, nous nous intéressons à des problèmes de segmentation d'images sous contraintes géométriques. Cette problématique a émergé suite à l'analyse de plusieurs méthodes classiques de détection de contours qui a été faite. En effet, ces méthodes classiques (Modèles déformables, contours actifs géodésiques, 'fast marching', etc...) se révèlent caduques quand des données de l'image sont manquantes ou de mauvaise qualité. En imagerie médicale par exemple, des phénomènes d'occlusion peuvent se produire : des organes peuvent se masquer en partie l'un l'autre (ex du foie). Par ailleurs, d
Los estilos APA, Harvard, Vancouver, ISO, etc.
16

Vila, Jean. "Influence du protocole d'établissement des contraintes thermodynamiques sur les performances d'un réacteur solide-gaz de pompes à chaleur chimiques." Perpignan, 1991. http://www.theses.fr/1991PERP0108.

Texto completo
Resumen
Cette etude porte sur l'amelioration des performances d'un reacteur solide/gaz soumis a differentes contraintes thermodynamiques et pour plusieurs protocoles de fonctionnement. L'acquisition, en cours de reaction, des profils de temperature, pression et avancement a mis en evidence l'importance des transferts thermiques dans le milieu poreux reactif. Ces experiences montrent par ailleurs l'augmentation des puissances avec l'accroissement de l'ecart a l'equilibre en temperature ainsi que la preeminence du protocole ferme sur le protocole ouvert dans cet objectif de puissance. A partir de la res
Los estilos APA, Harvard, Vancouver, ISO, etc.
17

Agha, Abdel Kader. "Régression et analyse canonique sous contraintes linéaires, algorithmes et applications." Paris 9, 1991. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1991PA090016.

Texto completo
Resumen
La régression qualitative est mise en oeuvre selon deux approches distinctes: optimisation d'un critère au sens des moindres écarts quadratiques (moindres carres) ou des moindres écarts absolus (moindres écarts). Elle a suscite ces dernières années de nombreux travaux car, que ce soit en analyse multicritère ou en analyse des mesures conjointes, ses méthodes trouvent un vaste champ d'application. En nous situant dans une approche moindres carres, nous considérons le problème général comme une analyse canonique sous contraintes, requerrant lors de sa mise en oeuvre, la détermination de la proje
Los estilos APA, Harvard, Vancouver, ISO, etc.
18

Dimassi, Jamil. "Une méthode multi-démarches pour la conception des applications de e-commerce." Paris 1, 2004. http://www.theses.fr/2004PA010010.

Texto completo
Resumen
La thèse s'inscrit dans le domaine de l'ingénierie des méthodes des systèmes d'information et plus particulièrement dans le contexte des systèmes d'information fortement basés sur le commerce électronique (e-commerce). Dans la situation actuelle, le monde industriel offre les technologies et les plate-formes nécessaires aux entreprises pour implémenter des applications de e-commerce. Ce fait résout le problème technologique mais n"aide en aucun cas les concepteurs à concevoir des applications de commerce électronique qui répondent aux besoins des décideurs et utilisateurs de ces applications.
Los estilos APA, Harvard, Vancouver, ISO, etc.
19

Tschumperlé, David. "Régularisation d'Images Multivaluées par EDP et Applications." Phd thesis, Université de Nice Sophia-Antipolis, 2002. http://tel.archives-ouvertes.fr/tel-00002396.

Texto completo
Resumen
Nous nous intéressons aux approches par EDP pour la régularisation<br />d'images multivaluées, et leurs applications à une large classe de<br />problèmes d'intérêts. L'étude et la comparaison des méthodes<br />existantes nous permet à la fois de proposer un cadre mathématique<br />commun mieux adapté aux interprétations géométriques locales de<br />ces EDP, mais aussi de concevoir des schémas numériques efficaces<br />pour leur mise en oeuvre.<br />Nous développons de cette façon une nouvelle approche de régularisation multivaluée vérifiant certaines propriétés géométriques locales importantes
Los estilos APA, Harvard, Vancouver, ISO, etc.
20

Gallien, Benjamin. "Contraintes thermomécaniques et dislocations dans les lingots de silicium pour applications photovoltaïques." Thesis, Grenoble, 2014. http://www.theses.fr/2014GRENI027/document.

Texto completo
Resumen
Cette thèse, financée par le laboratoire SIMaP-EPM à Grenoble et l'INES à Chambéry, porte sur l'effet des contraintes thermomécaniques sur la qualité cristalline lors de l'élaboration de lingots de silicium pour applications photovoltaïques. Ainsi, ce travail commence par exposer comment l'industrie photovoltaïque construit les panneaux solaires et l'impact des dislocations, défauts issus des contraintes, sur leur rendement. Une revue bibliographique est également faite afin de présenter les modèles physiques et numériques traitant des dislocations dans le silicium, de leur mouvement et de leu
Los estilos APA, Harvard, Vancouver, ISO, etc.
21

Gryson, Alexis. "Minimisation d'énergie sous contraintes : applications en algèbre linéaire et en contrôle linéaire." Phd thesis, Université des Sciences et Technologie de Lille - Lille I, 2009. http://tel.archives-ouvertes.fr/tel-00424947.

Texto completo
Resumen
Le problème de Zolotarev pour des ensembles discrets apparaît pour décrire le taux de convergence de la méthode ADI, dans l'approximation de certaines fonctions matricielles ou encore pour quantifier le taux de décroissance des valeurs singulières de certaines matrices structurées. De plus, la réduction de modèle constitue un enjeu important en théorie du contrôle linéaire, et on peut prédire la qualité de l'approximation d'un système dynamique linéaire continu stationnaire de grande dimension donné grâce à la résolution approchée d'une équation de Sylvester. Après avoir prouvé l'existence d'u
Los estilos APA, Harvard, Vancouver, ISO, etc.
22

Gryson, Alexis. "Minimisation d'énergie sous contraintes : applications en algèbre linéaire et en contrôle linéaire." Electronic Thesis or Diss., Lille 1, 2009. http://www.theses.fr/2009LIL10034.

Texto completo
Resumen
Le problème de Zolotarev pour des ensembles discrets apparaît pour décrire le taux de convergence de la méthode ADI, dans l’approximation de certaines fonctions matricielles ou encore pour quantifier le taux de décroissance des valeurs singulières de certaines matrices structurées. De plus, la réduction de modèle constitue un enjeu important en théorie du contrôle linéaire, et on peut prédire la qualité de l’approximation d’un système dynamique linéaire continu stationnaire de grande dimension donné grâce à la résolution approchée d’une équation de Sylvester. Après avoir prouvé l’existence d’u
Los estilos APA, Harvard, Vancouver, ISO, etc.
23

STEFFAN, LAURENT. "Conception et specification de protocoles de communication pour applications temps reel." Nantes, 1988. http://www.theses.fr/1988NANT2046.

Texto completo
Resumen
Le but de cette these est d'etudier des protocoles de communication adaptes au temps reel. Elle comprend donc une introduction aux systemes temps reel, dans l'optique des concepteurs de protocoles de communication, temps reel. Puis les criteres de choix de protocoles (en particulier fiabilite et efficacite) qui ont ete retenus seront explicites, suivis d'une classification des protocoles generaux les plus repandus avec les avantages et les defauts qu'ils presentaient pour nous. Le troisieme chapitre veut faire le point sur l'etat de la recherche en matiere de protocoles de communication specif
Los estilos APA, Harvard, Vancouver, ISO, etc.
24

Lehoux, Vassilissa. "Théorie et applications en ordonnancement : contraintes de ressources et tâches agrégées en catégories." Phd thesis, Université de Grenoble, 2007. http://tel.archives-ouvertes.fr/tel-00997319.

Texto completo
Resumen
Le thème de ce mémoire est l'ordonnancement dans les ateliers de production. L'objectif est d'étudier différents modèles classiques en analysant les liens et différences entre ces modèles et les problèmes pratiques associés. Les méthodes utilisées sont l'analyse de problèmes de nos partenaires industriels, l'étude de la complexité des problèmes ou de la structure des solutions et la proposition de méthodes de résolution exactes ou approchées. Le premier axe de cette thèse est l'étude de problèmes d'ordonnancement avec contraintes de ressources d'entrée/sortie. Les environnements considérés son
Los estilos APA, Harvard, Vancouver, ISO, etc.
25

Fowler, Julian. "Extension réactive de la programmation logique avec contraintes et applications en optimisation combinatoire." Paris 11, 1995. http://www.theses.fr/1995PA112150.

Texto completo
Resumen
Ce travail propose un schéma de programmation logique avec contraintes pour les systèmes réactifs. On expose d'abord les hypothèses prises pour l'extension proposée. Primo l'interaction de l'environnement sur le système est décrit par quatre manipulations de requête. Deuxio un modèle d'exécution basé sur la réutilisation des dérivations est proposé. Ce modèle est présenté (formellement comme une combinaison d'opérations de base sur des dérivations (ces opérations étant définies préalablement). Ensuite la correction et la complétude du modèle sont établies. Une implantation d'une version simpli
Los estilos APA, Harvard, Vancouver, ISO, etc.
26

Marc, Frédéric. "Planification multi-agent sous contraintes dans un contexte dynamique : applications aux simulations aériennes." Paris 6, 2005. http://www.theses.fr/2005PA066101.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
27

Prost, Rémy. "Contribution à l'élaboration d'algorithmes itératifs discrets super-résolvants de déconvolution avec contraintes applications /." Grenoble 2 : ANRT, 1987. http://catalogue.bnf.fr/ark:/12148/cb37609067t.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
28

Al-Ghadi, Musab Qassem. "Approches de tatouage pour l'authentification de l'image dans des applications à contraintes temporelles." Thesis, Brest, 2018. http://www.theses.fr/2018BRES0029/document.

Texto completo
Resumen
Dans de nombreuses applications dont celles du domaine médical et de l’embarqué, l’authentification des images nécessite de prendre en compte les contraintes temporelles, le taux d’insertion, la qualité visuelle et la robustesse contre différentes attaques. Le tatouage a été proposé comme approche complémentaire à la cryptographie pour l’amélioration de la sécurité des images. Il peut être effectué soit dans le domaine spatial sur les pixels de l’image, soit dans le domaine fréquentiel sur les coefficients de sa transformée. Dans cette thèse, le but est de proposer des approches de tatouage pe
Los estilos APA, Harvard, Vancouver, ISO, etc.
29

Tchvagha, Zeine Ahmed. "Contribution à l’optimisation multi-objectifs sous contraintes : applications à la mécanique des structures." Thesis, Normandie, 2018. http://www.theses.fr/2018NORMIR13/document.

Texto completo
Resumen
L’objectif de cette thèse est le développement de méthodes d’optimisation multi-objectif pour la résolution de problèmes de conception des structures mécaniques. En effet, la plupart des problèmes réels dans le domaine de la mécanique des structures ont plusieurs objectifs qui sont souvent antagonistes. Il s’agit, par exemple, de concevoir des structures en optimisant leurs poids, leurs tailles, et leurs coûts de production. Le but des méthodes d’optimisation multi-objectif est la recherche des solutions de compromis entre les objectifs étant donné l’impossibilité de satisfaire tout simultaném
Los estilos APA, Harvard, Vancouver, ISO, etc.
30

Lebacque, Lehoux Vassilissa. "Théories et applications en ordonnancement : contraintes de ressources et tâches agrégées en catégories." Grenoble 1, 2007. http://www.theses.fr/2007GRE10128.

Texto completo
Resumen
Le, thème de ce mémoire est l'ordonnancement dans les ateliers de production. L'objectif est d'étudier différents modèles classiques en analysant les liens et différences entre ces modèles et les problèmes pratiques associés. Les méthodes utilisées sont l'analyse de problèmes de nos partenaires industriels, l'étude de la complexité des problèmes ou de la structure des solutions et la proposition de méthodes de résolution exactes ou approchées. Le premier axe de cette thèse est l'étude de problèmes d'ordonnancement avec contraintes de ressources d'entrée/sortie. Les environnements considérés so
Los estilos APA, Harvard, Vancouver, ISO, etc.
31

Cherkaoui, Mohammed. "Comportement thermoélastique global des composites à renforts enrobés : modélisation micromécanique et applications." Metz, 1995. http://docnum.univ-lorraine.fr/public/UPV-M/Theses/1995/Cherkaoui.Mohammed.SMZ9512.pdf.

Texto completo
Resumen
Dans de nombreuses situations, une couche mince située a l'interface renfort-matrice est présenté dans de nombreux matériaux composites. Elle résulte d’opérations d'ensimage ou de réactions chimiques ou physiques conduisant à la formation de nouveaux composes. La présence de cette interphase interfaciale (souvent appelée enrobage) modifie profondément les mécanismes de transfert des charges entre les renforts et la matrice et affecte à la fois les propriétés effectives du composite et les concentrations des contraintes. L'objectif du travail est d'établir un modèle micromécanique permettant de
Los estilos APA, Harvard, Vancouver, ISO, etc.
32

Exposito, Garcia Ernesto José. "Spécification et mise en oeuvre d'un protocole de transport orienté Qualité de Service pour les applications multimédias." Toulouse, INPT, 2003. http://www.theses.fr/2003INPT028H.

Texto completo
Resumen
De nos jours, des applications multimédia présentant de fortes contraintes temporelles, de bande passante et de synchronisation multimédia ont été conçues. Ces applications sont aussi capables de tolérer un service de communication imparfait (c'est-à-dire un service partiellement ordonné et/ou partiellement fiable). Cependant, les services de communication actuellement disponibles au niveau transport ou réseaux ne satisfont pas entièrement ces besoins complexes de Qualité de Service (QdS). Cette thèse propose la conception d'un protocole de transport de nouvelle génération orienté QdS : QoSTP
Los estilos APA, Harvard, Vancouver, ISO, etc.
33

NGUYEN, VU THIENG AN. "Etude d'un protocole de communication utilisant l'acces multiple par repartition de codes. Applications aux liaisons intra-vehicule." Rennes, INSA, 1997. http://www.theses.fr/1997ISAR0013.

Texto completo
Resumen
Cette these presente l'etude d'un protocole de communication pour un reseau embarque appliquant le multiplexage par repartition de codes. A l'heure actuelle, les vehicules comportent de plus en plus de circuits electroniques, dont la finalite est d'ameliorer le comportement general de ces vehicules, tant sur le plan conduite que sur le plan confort des passagers. L'implantation de ces circuits entrainera l'existence d'un nombre important de cables electriques, nombre qu'il est bon de reduire par application des concepts de reseau et de multiplexage. A cette fin, une technique de transmission p
Los estilos APA, Harvard, Vancouver, ISO, etc.
34

Amaro, da Cruz Mauro. "An enhanced multi-protocol middleware solution for Internet of things." Thesis, Mulhouse, 2021. https://www.learning-center.uha.fr/.

Texto completo
Resumen
Dans l'Internet des objets (IoT), les données sont gérées et stockées par un logiciel appelé middleware (situé sur un serveur). L'évolution du concept IoT a conduit à la construction de nombreux intergiciels IoT, des logiciels qui jouent un rôle clé car ils prennent en charge la communication entre les appareils, les utilisateurs et les applications. Plusieurs aspects peuvent impacter les performances d'un middleware. Basée sur une revue approfondie de la littérature associée et sur la proposition d'un modèle de référence pour le middleware IoT, cette thèse propose un nouveau middleware IoT, a
Los estilos APA, Harvard, Vancouver, ISO, etc.
35

Zhao, Ting. "Résolution de systèmes polynomiaux paramétriques par radicaux et ses applications géométriques." Paris 6, 2012. http://www.theses.fr/2012PA066131.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
36

Adida, Yoan. "Une architecture adaptative pour la gestion des délais des applications multicast." Paris 6, 2003. http://www.theses.fr/2003PA066003.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
37

Herrero, Vinas Pau. "Résolution de contraintes réelles quantifiées en utilisant les intervalles modaux avec applications à l'automatique." Phd thesis, Université d'Angers, 2006. http://tel.archives-ouvertes.fr/tel-00331668.

Texto completo
Resumen
Les contraintes réelles quantifiées (QRC) forment un formalisme mathématique utilisé pour modéliser un très grand nombre de problèmes physiques dans lesquels interviennent des systèmes d'équations non linéaires sur des variables réelles, certaines d'entre elles pouvant être quantifiées. Les QRCs apparaissent dans nombreux contextes comme, l'Automatique, le Génie Electrique, le Génie Mécanique, et la Biologie. La résolution de QRCs est un domaine de recherche très actif pour lequel deux approches radicalement différentes sont proposées: l'élimination symbolique de quantificateurs et les méthode
Los estilos APA, Harvard, Vancouver, ISO, etc.
38

Tournoux, Pierre Ugo. "Un protocole de fiabilité basé sur un code à effacement "on-the-fly"." Phd thesis, Université Paul Sabatier - Toulouse III, 2010. http://tel.archives-ouvertes.fr/tel-00547003.

Texto completo
Resumen
Le monde du protocole de transport a fortement évolué depuis la création de l'internet. On retrouve désormais une grande diversité de liens avec des caractéristiques hétérogènes en termes de débit, taux de pertes et délais. Plus récemment, le caractère ubiquitaire des périphériques sans fil a permis d'envisager un nouveau mode de transfert prenant en compte la mobilité des utilisateurs pour propager l'information dans le réseau. Ce paradigme de communication rompt définitivement avec les hypothèses de conceptions des protocoles de transport classique. Les applications qui utilisent l'internet
Los estilos APA, Harvard, Vancouver, ISO, etc.
39

Preda, Stere. "Reliable context aware security policy deployment - applications to IPv6 environments." Télécom Bretagne, 2010. http://www.theses.fr/2010TELB0145.

Texto completo
Resumen
Les réseaux sont aujourd'hui en continue évolution dû aux nouvelles exigences et activités organisationnelles. En parallèle, la protection des ressources doit changer et toute cette gestion devient une tâche difficile pour l'administrateur sécurité. Dans cette thèse, nous adressons plusieurs aspects clés dans le domaine de la sécurité réseaux et proposons des solutions conséquentes : 1. Déploiement des politiques basé sur des modèles de contrôle d'accès. Les diverses données inutiles dans la spécification de la politique seront ainsi éliminées avant le déploiement automatique de la politique a
Los estilos APA, Harvard, Vancouver, ISO, etc.
40

Feltin, Eric. "Hétéro-épitaxie de Nitrure de Gallium sur substrat de silicium (111) et applications." Nice, 2003. http://www.theses.fr/2003NICE4075.

Texto completo
Resumen
Le travail présenté dans ce mémoire concerne l’hétéro-épitaxie de nitrure de galium sur substrat de silicium (111) par Epitaxie en Phase Vapeur d’OrganoMatalliques pour les applications optoélectroniques associées aux nitrures d’éléments III. Les fortes contraintes biaxiales en tension, issues de l’hétéro-épitaxie sur silicium, mènent à la fissuration des couches de GaN. Les diverses études (expérimentales et théoriques) des contraintes intrinsèque et thermique présentes dans GaN apportent une meilleure compréhension de la croissance de GaN sur Si (111), mais permettent aussi de mieux cerner l
Los estilos APA, Harvard, Vancouver, ISO, etc.
41

Vali, Ali. "Etude des contraintes résiduelles en usinage assisté par laser." Châtenay-Malabry, Ecole centrale de Paris, 1996. http://www.theses.fr/1996ECAP0466.

Texto completo
Resumen
L'usinage assisté par laser (U. A. L. ) est un procédé qui permet d'améliorer l'usinage de matériaux difficile à usiner. Les essais réaliser en UAL montrent une diminution importante des efforts de coupe et une bonne amélioration d'état de surface. L’élaboration de surfaces mécaniques engendre des contraintes résiduelles superficielles. Une surface ayant une fonction mécanique, peut être caractérisée par un état lié aux caractéristiques de résistance mécanique des couches superficielles. Cette étude a pour but d'étudier le mécanisme d'usinage assisté par laser CO2 de l'acier XC42. Les deux phé
Los estilos APA, Harvard, Vancouver, ISO, etc.
42

Cherif, Amina. "Sécurité des RFIDs actifs et applications." Thesis, Limoges, 2021. http://www.theses.fr/2021LIMO0015.

Texto completo
Resumen
Au cours des 30 dernières années, les dispositifs RFID actifs sont passés de simples dispositifs d’identification (tags) à des noeuds autonomes qui, en prime, collectent (à partir de l’environnement ou d’autres sources) et échangent des données. En conséquence, le spectre de leurs applications s’est largement étendu, passant de la simple identification à la surveillance et à la localisation en temps réel. Ces dernières années, grâce à leurs avantages, l’utilisation de noeuds RFID actifs pour la collecte de données mobiles a suscité une attention particulière. En effet, dans la plupart des scén
Los estilos APA, Harvard, Vancouver, ISO, etc.
43

Meot, Alain. "Explicitation de contraintes de voisinage en analyse multivariée : applications dans le cadre de problématiques agronomiques." Lyon 1, 1992. http://www.theses.fr/1992LYO10241.

Texto completo
Resumen
Nous proposons dans ce memoire une solution simple a l'etude du lien entre une information multivariee et l'existence de proximites, generalement temporelles ou spatiales, entre les individus etudies. Le premier chapitre consiste en une revue non exhaustive des solutions proposees dans la litterature pour incorporer au cours d'une ordination une information spatiale. Dans un second chapitre nous examinons le cas ou, sur un ensemble d'individus, est definie une relation de voisinage notee sous la forme d'un graphe symetrique non value. Sont introduits dans la decomposition de la variance a part
Los estilos APA, Harvard, Vancouver, ISO, etc.
44

Mangold, Nicolas. "Rhéologie du pergélisol de Mars : applications géomorphologiques et structurales ; conséquences sur l'origine des contraintes compressives." Phd thesis, Université Joseph Fourier (Grenoble), 1997. http://tel.archives-ouvertes.fr/tel-00740850.

Texto completo
Resumen
La planète Mars est pourvue d'un climat glaciaire et d'un pergélisol riche en glace. Le comportement mécanique du pergélisol est affecté par la présence de la glace. L'objectif de cette étude est (1) de mesurer expérimentalement la viscosité de mélanges glace-roche analogues au pergélisol et (2) d'appliquer ces résultats à la rhéologie du pergélisol, la tectonique et la morphologie. Des implications climatiques et tectoniques sont obtenues à partir de l'étude de glaciers rocheux et des rides compressives. Les résultats expérimentaux établissent que le mélange glace-roche se déforme de manière
Los estilos APA, Harvard, Vancouver, ISO, etc.
45

Mangold, Nicolas. "Rhéologie du pergélisol de Mars : applications géomorphologiques et structurales : conséquences sur l'origine des contraintes compressives." Grenoble 1, 1997. http://www.theses.fr/1997GRE10292.

Texto completo
Resumen
La planete mars est pourvue d'un climat glaciaire et d'un pergelisol riche en glace. Le comportement mecanique du pergelisol est affecte par la presence de la glace. L'objectif de cette etude est (1) de mesurer experimentalement la viscosite de melanges glace-roche analogues au pergelisol et (2) d'appliquer ces resultats a la rheologie du pergelisol, la tectonique et la morphologie. Des implications climatiques et tectoniques sont obtenus a partir de l'etude de glaciers rocheux et des rides compressives. Les resultats experimentaux etablissent que le melange glace-roche se deforme de maniere v
Los estilos APA, Harvard, Vancouver, ISO, etc.
46

Bazzi, Ali. "Réseaux d'Oscillateurs en Anneau Verrouillés par Injection : Contraintes de Conception et Applications en Informatique d'Ising." Electronic Thesis or Diss., Université Grenoble Alpes, 2025. http://www.theses.fr/2025GRALT011.

Texto completo
Resumen
Les machines d'Ising, dérivées du cadre physique connu sous le nom de modèle d'Ising, suscitent un intérêt croissant dans le domaine des problèmes d'optimisation combinatoire NP-difficiles, ainsi que dans diverses applications telles que la logique inversible et la reconnaissance d'images. La complexité de trouver des solutions exactes à de tels problèmes dans un temps polynomial est hors de portée pour les machines de Turing déterministes. Les composants qui imitent les spins d'Ising peuvent être réalisés au niveau matériel par plusieurs méthodologies, y compris les circuits numériques, la mé
Los estilos APA, Harvard, Vancouver, ISO, etc.
47

Doring, Mathieu. "Développement d'une méthode SPH pour les applications à surface libre en hydrodynamique." Nantes, 2005. http://www.theses.fr/2005NANT2116.

Texto completo
Resumen
Le développement de méthodes numériques plus performantes associé à l’augmentation de la puissance de calcul disponible ont permis la simulation d’écoulement toujours plus complexes. Cependant, les problèmes impliquant un interface restent difficiles à résoudre, notamment dans les cas où interviennent du déferlement, des reconnections d’interface ou des phénomènes d’impacts. Ces difficultés sont liés principalement à la gestion de l’interface dans des méthodes numériques principalement Euleriennes (Volume Of Fluid, Level Set). La méthode SPH, étant Lagrangienne permet une prise en compte simpl
Los estilos APA, Harvard, Vancouver, ISO, etc.
48

Lee, Hwa-Sun Guyomar Daniel Richard Claude. "Etude et réalisation de sources acoustiques de puissance en composite piézoélectrique 1.3 pour applications thérapeutiques." Villeurbanne : Doc'INSA, 2004. http://docinsa.insa-lyon/these/pont.php?id=lee.

Texto completo
Los estilos APA, Harvard, Vancouver, ISO, etc.
49

Siekkinen, Matti. "Root cause analysis of TCP throughput : methodology, techniques, and applications." Nice, 2006. http://www.theses.fr/2006NICE4037.

Texto completo
Resumen
The interest for the research community to measure the Internet has grown tremendously during the last couple of years. Thisncrease of interest is largely due to the growth and expansion of the Internet that has been overwhelming. We have experienced exponential growth in terms of traffic volumes and number of devices connected to the Internet. In addition, the heterogeneity of the Internet is constantly increasing: we observe more and more different devices with different communication needs residing in or moving between different types of networks. This evolution has brought up many needs -
Los estilos APA, Harvard, Vancouver, ISO, etc.
50

Belfkih, Abderrahmen. "Contraintes temporelles dans les bases de données de capteurs sans fil." Thesis, Le Havre, 2016. http://www.theses.fr/2016LEHA0014/document.

Texto completo
Resumen
Dans ce travail, nous nous focalisons sur l’ajout de contraintes temporelles dans les Bases de Données de Capteurs Sans Fil (BDCSF). La cohérence temporelle d’une BDCSF doit être assurée en respectant les contraintes temporelles des transactions et la validité temporelle des données, pour que les données prélevées par les capteurs reflètent fidèlement l’état réel de l’environnement. Cependant, les retards de transmission et/ou de réception pendant la collecte des données peuvent conduire au non-respect de la validité temporelle des données. Une solution de type bases de données s'avère la plus
Los estilos APA, Harvard, Vancouver, ISO, etc.
También puede estar interesado en las bibliografías sobre el tema "Protocole des Applications à contraintes" para otros tipos de fuentes:
Artículos de revistas
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!

Pasar a la bibliografía