Les opérateurs et les constructeurs des réseaux sans fil sont amenés à développer de nouvelles stratégies afin de faire face à l'augmentation rapide des flux de données générés par les nouvelles applications telles que le streaming vidéo. D'une part, la récente saturation des réseaux cellulaires peut être en partie résorbée en diversifiant, pour chaque mobile, les technologies d'accès au réseau. Par exemple, la plupart des téléphones mobiles possède aujourd'hui la capacité de se connecter à des points d'accès Wifi en plus des réseaux cellulaires classiques. D'autre part, une gestion fine des allocations des mobiles sur les différents points d'accès permet une utilisation plus efficace des ressources (énergie, fréquences radio...), et augmente la capacité d'accueil des mobiles, sans nécessairement avoir recours à une onéreuse densification de la couverture radio. Cette thèse s'inscrit dans la problématique de l'auto-optimisation des réseaux en général et des réseaux sans fil en particulier. En raison de la nature très dynamique des réseaux sans fil, les algorithmes d'optimisation doivent être capables de s'adapter aux changements aléatoires de l'environnement de façon autonome. Dans cette thèse, nous proposons d'abord un algorithme de contrôle dynamique qui optimise l'allocation des mobiles tout en prenant en compte les contraintes de capacité. Bien que difficile à mettre en oeuvre en pratique, cet algorithme donne une borne supérieure des performances qu'il est possible d'atteindre. En raison de l'aspect fortement décentralisé des problèmes d'optimisation, nous avons été amenés à développer des méthodes de coopération inspirées de la théorie des jeux. Finalement, nous avons confronté plusieurs algorithmes stochastiques d'optimisation en terme d'efficacité et de robustesse qui sont en cours de prototypage dans un laboratoire industriel.

Cette thèse est consacrée à la description et à l'étude de la sécurité de divers protocoles destinés à faire de l'authentification d'objets physiques à distance à base de comparaison de vecteurs binaires. L'objectif des protocoles proposés est de pouvoir réaliser une authentification en garantissant d'une part que les informations envoyées et reçues par le lecteur n'ont pas été manipulées par un adversaire extérieur et d'autre part sans révéler l'identité de l'objet testé à un tel adversaire, ou même, modulo certaines hypothèses raisonnables, aux composantes du système. Nous nous sommes fixés de plus comme objectif d'utiliser des méthodes de cryptographie sur courbe elliptique pour pouvoir profiter des bonnes propriétés de ces dernières, notamment une sécurité accrue par rapport à la taille des clefs utilisées. Nous présentons plusieurs protocoles atteignant l'objectif et établissons pour presque tous une preuve théorique de leur sécurité, grâce notamment à une nouvelle caractérisation d'une notion standard de sécurité.

Alors qu'initialement utilisés pour résoudre le Problème du Logarithme Discret (DLP) dans le groupe de points d'une courbe elliptique, les couplages sont très à la mode en cryptographie ces années car ils permettent de construire de nouveaux protocoles cryptographiques. Cependant, le calcul efficace du couplage dépend de l'arithmétique du modèle de courbe elliptique choisi et du corps sur lequel cette courbe est définie. Dans cette thèse, nous calculons le couplage sur deux modèles de Jacobi de courbes elliptiques puis nous introduisons et étudions l'arithmétique d'un nouveau modèle d'Ewards de courbe elliptique défini en toutes caractéristiques. Plus précisément, Nous utilisons l'interprétation géométrique de la loi de groupe sur l'intersection des quadriques de Jacobi pour obtenir pour la première fois dans la littérature, les formules explicites de la fonction de Miller pour le calcul du couplage de Tate sur cette courbe. Pour un calcul de couplage avec un degré de plongement pair, nous définissons la tordue quadratique pour obtenir des étapes de doublement et d'addition efficaces dans l'algorithme de Miller. Ensuite nous utilisons un isomorphisme entre la quartique spéciale de Jacobi Ed: Y²=dX⁴+Z⁴ et le modèle de Weierstrass pour obtenir la fonction de Miller nécessaire au calcul du couplage de Tate. Pour un degré de plongement divisible par 4, nous définissons la tordue d'ordre 4 de cette courbe pour obtenir un résultat meilleur du calcul du couplage de Tate par rapport aux courbes elliptiques sous forme de Weierstrass. Notre résultat améliore en même temps les derniers résultats obtenus sur cette courbe. Ce résultat est donc le meilleur connu à ce jour, à notre connaissance, pour le calcul du couplage de Tate sur les courbes possédant des tordues d'ordre 4. En 2006, Hess et al. introduisent le couplage Ate, qui est une version améliorée du couplage de Tate. Nous calculons ce couplage et ses variantes sur la même quartique. Nous y obtenons encore des résultats meilleurs. Notre troisième contribution est l'introduction d'un nouveau modèle d'Edwards de courbe elliptique d'équation 1+x²+y²+x²y²=Xxy. Ce modèle est ordinaire sur les corps de caractéristique 2 et nous montrons qu'il est birationnellement équivalent au modèle original d'Edwards x²+y²=c²(1+x²y²) en caractéristique différente de 2. Pour ce faire, nous utilisons la théorie des fonctions thêta et un modèle intermédiaire que nous appelons modèle thêta de niveau 4. Nous utilisons les relations de Riemann des fonctions thêta pour étudier l'arithmétique de ces deux courbes. Nous obtenons d'une part une loi de groupe complète, unifiée et en particulier compétitive en caractéristique 2 et d'autre part nous présentons les meilleures formules d'addition différentielle sur le modèle thêta de niveau 4.

Les grassmanniennes symplectiques impaires sont une famille d'espaces quasi-homogènes très proches des grassmanniennes symplectiques de par leur construction et leurs propriétés. Dans ce travail, j'étudie leur cohomologie classique et quantique. Pour les grassmanniennes symplectiques impaires de droites, j'obtiens une règle de Pieri quantique ainsi qu'une présentation de l'anneau de cohomologie quantique. J'en déduis la semi-simplicité de cet anneau et je détermine une collection exceptionnelle complète pour la catégorie dérivée, ce qui me permet de vérifier pour cet exemple une conjecture de Dubrovin. Dans le cas général, je démontre un principe quantique-classique pour certains invariants de Gromov-Witten de degré un. Sous réserve de l'énumérativité des invariants de degré supérieur, je prouve que la règle de Pieri quantique est entièrement déterminée par le calcul des invariants de degré un.

Le cube de Fibonacci est un sous-graphe isométrique de l'hyper- cube ayant un nombre de Fibonacci de sommets. Le cube de Fibonacci a été initialement introduit par W-J. Hsu comme un réseau d'interconnexion et, comme l'hypercube, il a des propriétés topologiques très attractives, mais avec une croissance plus modérée. Parmi ces propriétés, nous discutons de l'hamiltonicité dans le cube de Fibonacci et aussi dans le cube de Lucas qui est obtenu à partir du cube de Fibonacci en supprimant toutes les chaînes qui commencent et nissent avec 1. Nous trouvons également le nombre de som- mets des cubes de Fibonacci et Lucas ayant une certaine excentricité. En n, nous présentons une étude de deux cubes du point de vue de la domination et du 2-packing.

Dans le domaine de la commande par roues à réaction de l'attitude des satellites, la synthèse de correcteurs couvrant des plages de fonctionnement étendues reste un problème ouvert. En effet, les limitations des actionneurs font que l'utilisation d'une loi invariante sur tout le domaine considéré ne peut pas être envisagée. Apparait ainsi un besoin de mettre en place des stratégies de commande à temps variant. Ce besoin a motivé nos travaux de recherche, orientés vers la commande LPV et la commande adaptative directe. Après la présentation d'une solution de commande existante en début de nos travaux, nous nous orienterons, au cours de cette présentation, vers la commande adaptative. Ce domaine inclut la plupart des contributions, aussi bien théoriques que pratiques, apportées au cours de la thèse. Plus spécifiquement, les lois de commande auxquelles nous nous sommes intéressées s'expriment sous la forme d'un retour de sortie qui varie en fonction de signaux mesurés. A ce niveau, les outils que nous avons développés permettent de synthétiser des lois structurées, l'adaptation de chaque gain de commande étant réalisée de manière indépendante, en fonction des spécificités du procédé à contrôler. Les preuves de stabilité en boucle fermée se basent sur des outils de la théorie de Lyapunov, spécifiques à la commande adaptative, mais également à la commande robuste. Cette combinaison permet d'établir des preuves de stabilité asymptotique pour des lois d'adaptation structurées faisant apparaitre, entre autre, la sigma-modification. De nombreux degrés de liberté sont laissés à la disposition du concepteur de la loi de commande, la structure proposée présentant ainsi une grande flexibilité. D'autres paramètres sont déterminés de façon systématique pour garantir stabilité et robustesse. Au niveau de la commande du satellite nous avons obtenu, grâce à ces résultats, des correcteurs permettant d'adapter l'agilité de la structure en fonction des capacités disponibles du système d'actionnement à bord. Ces développements ont été récemment validés par la campagne d'essais en vol mise en place par le Cnes sur le satellite Picard. Ces essais, dont nous présenterons les résultats en avant-première lors de la soutenance, illustrent que les lois de commande proposées sont appropriées à une mise en œuvre pratique. Elles se montrent en effet robustes aux différentes non-linéarités du système ainsi qu'aux perturbations liées à l'environnement orbital.

Cette thèse porte sur les plongements d'espaces homogènes sphériques sur un corps quelconque. Dans une première partie, on aborde la classification de ces plongements, dans la lignée des travaux de Demazure et bien d'autres sur les variétés toriques, et de Luna, Vust et Knop sur les variétés sphériques. Dans une seconde partie, on généralise en caractéristique positive certains résultats obtenus par Bien et Brion portant sur les plongements complets et lisses qui sont log homogènes, c'est-à-dire dont le bord est un diviseur à croisements normaux et le fibré tangent logarithmique associé est engendré par ses sections globales. Dans une dernière partie, on construit par éclatements successifs une compactification lisse et log homogène explicite du groupe linéaire (différente de celle obtenue par Kausz). En prenant dans cette compactification les points fixes de certains automorphismes, on en déduit alors la construction de compactifications lisses et log homogènes de certains groupes semi-simples classiques.

La recherche que nous avons menée s'inscrit dans les projets de l'équipe de recherche Maths à Modeler. En particulier dans celui portant sur les situations de recherche en classe (Grenier et Payan, 2002 ; Ouvrier-Buffet, 2003 ; Godot, 2005 ; Cartier, 2008). Cette étude est centrée sur la démarche de recherche en mathématiques et plus particulièrement sur le rôle de l'expérimental. Un des postulats fondateur de notre recherche est que savoir faire des mathématiques, c'est savoir résoudre partiellement des problèmes de recherche, la résolution de tels problèmes nécessitant de passer par des phases expérimentales. Notre problématique porte donc sur la transmission aux élèves du savoir-faire " démarche expérimentale en mathématiques " et sur le rôle que celui-ci joue dans la résolution de problèmes de recherche. Considérant que ce savoir-faire ne peut s'apprendre qu'à travers sa pratique en situation de résolution de problèmes, l'objectif de notre recherche a été la détermination de conditions épistémologiques et didactiques favorisant la mise en pratique de la " démarche expérimentale ". En plus de la construction d'un modèle de situation pour la " démarche expérimentale ", nous avons construit, analysé et expérimenté des situations se référant à ce modèle. Pour mener à bien notre étude, nous avons utilisé le modèle de situation de recherche pour la classe (Grenier et Payan, 2002 ; Godot, 2005), ainsi que des éléments de la théorie des situtions didactiques de Brousseau (1998), en particulier validation a-didactique, contrat didactique et milieu. Nous avons aussi défini un modèle de " démarche expérimentale en mathématiques " qui a servi de référant à notre recherche. Après avoir observé que la " démarche expérimentale en mathématiques ", telle que nous l'entendons, n'est pas proposée par l'institution scolaire, les expérimentations et les analyses, que nous avons menées, ont montré que, dans une certaine mesure, il est possible de la faire pratiquer à des élèves. De plus, cette pratique a permis aux élèves de progresser dans la résolution grâce à un enrichissement des conceptions qu'ils portaient sur le problème à résoudre. Ces expérimentations nous ont aussi permis d'affiner les situations que nous avons construites.

On étudie des flots géométriques d'ordre quatre sur des variétés riemanniennes compactes, qui apparaissent naturellement comme flots de gradient de fonctionnelles quadratiques en la courbure. Lorsque la constante de Yamabe reste minorée par une constante strictement positive le long du flot, on montre que la variété ne s'effondre pas, et qu'une suite de métriques dilatées au voisinage d'un temps singulier converge vers une variété complète qui modélise la singularité. En particulier, en dimension quatre, cette hypothèse est vérifiée pour une certaine classe de flots de gradients, du moment que l'énergie initiale est inférieure à une constante explicite. Les singularités de ces flots sont alors modélisées par des variétés complètes et non compactes, dont le tenseur de Bach et la courbure scalaire s'annulent. En combinant une formule de Weitzenböck avec l'inégalité de Sobolev induite par la positivité de la constante de Yamabe, on montre une série de résultats de rigidité pour des métriques dont la courbure est intégralement pincée. En particulier, on prouve un théorème de rigidité pour les variétés de dimension quatre à tenseur de Bach et à courbure scalaire nuls, qui implique que les singularités de notre classe de flots de gradient ne peuvent exister que si l'énergie initiale est supérieure à une certaine constante. Dans le cas contraire, ces flots existent pour tous temps positifs et convergent vers une métrique à courbure sectionnelle constante et positive. On retrouve ainsi un "théorème de la sphère" pour les variétés compactes de dimension quatre dont la courbure est intégralement pincée. En appliquant cette même méthode aux formes harmoniques d'une variété à courbure intégralement pincée, on démontre une version intégrale du théorème de Bochner-Weitzenböck. On en déduit l'annulation des nombres de Betti sous diverses conditions de pincement intégral, et on caractérise les cas d'égalité.

L'informatique a changé profondément les aspects méthodologiques du processus de découverte dans les différents domaines du savoir. Les chercheurs ont à leur disposition aujourd'hui de nouvelles capacités qui permettent d'envisager la résolution de nouveaux problèmes. Les plates-formes parallèles et distribués composées de ressources partagés entre différents participants peuvent rendre ces nouvelles capacités accessibles à tout chercheur et offre une puissance de calcul qui a été limitée jusqu'à présent, aux projets scientifiques les plus grands (et les plus riches). Dans ce document qui regroupe les résultats obtenus pendant mon doctorat, nous explorons quatre facettes différentes de la façon dont les organisations s'engagent dans une collaboration sur de plates-formes parallèles et distribuées. En utilisant des outils classiques de l'analyse combinatoire, de l'ordonnancement multi-objectif et de la théorie des jeux, nous avons montré comment calculer des ordonnancements avec un bon compromis entre les résultats obtenu par les participants et la performance globale de la plate-forme. En assurant des résultats justes et en garantissant des améliorations de performance pour les différents participants, nous pouvons créer une plate-forme efficace où chacun se sent toujours encourager à collaborer et à partager ses ressources. Tout d'abord, nous étudions la collaboration entre organisations égoïstes. Nous montrons que le comportement égoïste entre les participants impose une borne inférieure sur le makespan global. Nous présentons des algorithmes qui font face à l'égoïsme des organisations et qui présentent des résultats équitables. La seconde étude porte sur la collaboration entre les organisations qui peuvent tolérer une dégradation limitée de leur performance si cela peut aider à améliorer le makespan global. Nous améliorons les bornes d'inapproximabilité connues sur ce problème et nous présentons de nouveaux algorithmes dont les garanties sont proches de l'ensemble de Pareto (qui regroupe les meilleures solutions possibles). La troisième forme de collaboration étudiée est celle entre des participants rationnels qui peuvent choisir la meilleure stratégie pour leur tâches. Nous présentons un modèle de jeu non coopératif pour le problème et nous montrons comment l'utilisation de "coordination mechanisms" permet la création d'équilibres approchés avec un prix de l'anarchie borné. Finalement, nous étudions la collaboration entre utilisateurs partageant un ensemble de ressources communes. Nous présentons une méthode qui énumère la frontière des solutions avec des meilleurs compromis pour les utilisateurs et sélectionne la solution qui apporte la meilleure performance globale.