Nous étudions dans cette thèse le problème de stabilisation de systèmes physiques par l'intermédiaire d'un réseau de communication induisant des retards de dynamique connue. Ce problème apparaît lorsque la loi de commande est mise en ouvre à distance et conduit au problème de la stabilisation d'un système instable en boucle ouverte avec un retard variant dans le temps. Nous utilisons un prédicteur d'état à horizon variable afin d'établir une loi de commande stabilisante qui place les pôles du système en boucle fermée. Le calcul de l'horizon de prédiction est détaillé afin d'établir un contrôleur qui utilise de manière explicite les dynamiques du retard et est robuste vis-à-vis d'erreurs d'estimation induites par le modèle de réseau utilisé.<br />Cette analyse de robustesse permet de prendre en compte les caractéristiques non déterministes du réseau. Nous proposons finalement une loi de commande basée sur un observateur pour le cas où seule la sortie est mesurable et considérons aussi le<br />cas de poursuite de trajectoire. Des simulations et résultats expérimentaux sont proposés.

Un des challenges actuels de la planification est la résolution de problèmes pour lesquels on cherche à optimiser la qualité d'une solution telle que le coût d'un plan-solution. Dans cette thèse, nous développons une méthode originale pour la planification de coût optimal dans un cadre classique non temporel et avec des actions valuées.<br /><br />Pour cela, nous utilisons une structure de longueur fixée appelée graphe de planification. L'extraction d'une solution optimale, à partir de ce graphe, est codée comme un problème de satisfaction de contraintes pondérées (WCSP). La structure spécifique des WCSP obtenus permet aux solveurs actuels de trouver, pour une longueur donnée, une solution optimale dans un graphe de planification contenant plusieurs centaines de nœuds. <br /><br />Nous présentons ensuite plusieurs méthodes pour déterminer la longueur maximale des graphes de planification nécessaire pour garantir l'obtention d'une solution de coût optimal. Ces méthodes incluent plusieurs notions universelles comme par exemple la notion d'ensembles d'actions indispensables pour lesquels toutes les solutions contiennent au moins une action de l'ensemble. <br /><br />Les résultats expérimentaux effectués montrent que l'utilisation de ces méthodes permet une diminution de 60% en moyenne de la longueur requise pour garantir l'obtention d'une solution de coût optimal. La comparaison expérimentale avec d'autres planificateurs montre que l'utilisation du graphe de planification et des CSP pondérés pour la planification optimale est possible en pratique même si elle n'est pas compétitive, en terme de temps de calcul, avec les planificateurs optimaux récents.

Une méthodologie basée sur la théorie de la Fonctionnelle de la Densité a été utilisée pour étudier d'une part des radicaux organométalliques de type [CpNi(dithiolène)] qui présentent des comportements magnétiques étonnants dont une interaction d'échange antiferromagnétiques au travers d'une interaction faible et d'autre part, les interactions d'échange au sein de complexes polynucléaires de fer et de manganèse comportant des points liants oxo. Furent ainsi calculées les constantes d'échange pour les complexes Fe4 de type papillon, Fe5, Fe6, Mn4 de type papillon, Mn10, Mn19 et Mn25. Il fut possible d'établir des corrélations magnétostructurales et des corrélations entre les constantes d'échange est la configuration électronique des cations au sein des composés de type papillon. Ces corrélations concordent avec les résultats obtenus pour des autres complexes étudiés, de plus haute nuclérarité et notamment les interaction ferromagnétiques observées pour les complexes Mn10 et Mn19.

Cette thèse est consacrée à l'analyse théorique des équations d'Oseen posées dans des régions non bornées. Le modèle d'Oseen est une version linéarisée des équations de Navier-Stokes décrivant un écoulement de fluides visqueux incompressibles autour d'un obstacle borné. On choisit de poser le problème dans un cadre fonctionnel faisant intervenir des poids anisotropes, qui permettent de décrire le comportement à l'infini des solutions et de tenir compte de la zone paraboloïdale, appelée le sillage, apparaîssant derrière l'obstacle durant l'écoulement. Dans un premier temps, dans ce nouveau cadre, nous démontrons des résultats de densité et des inégalités de Hardy. Dans un deuxième temps, nous montrons l'existence, l'unicité et la régularité de solutions. Les résultats sont d'abord établis dans l'espace entier, puis dans un domaine extérieur.

Le radical hydroxyle (OH) représente le plus important oxydant dans la troposphère et le puits de la plus grande partie des composés à l'état de trace de l'atmosphère. Si les sources des radicaux hydroxyles sont aujourd'hui relativement bien connues, le terme 'puits' des OH, connu sous le terme de réactivité atmosphérique totale avec les radicaux OH (ou réactivité OH) (s-1), reste encore difficile à quantifier. En raison de la complexité des instruments nécessaires, peu de mesures de OH et de réactivité sont actuellement disponibles et la nouvelle méthode proposée par Sinha et al., (2008) représente une alternative prometteuse pour la quantification de la réactivité atmosphérique totale avec les radicaux hydroxyles. Cette méthode est appelée Méthode Comparative de Réactivité (CRM) et est basée sur la mesure rapide d'une molécule normalement absente de l'atmosphère (ici pyrrole, C4H5N) et qui réagit à un taux connu avec les radicaux hydroxyles produits artificiellement dans une petite cellule de réaction en verre. La comparaison des concentrations de pyrrole obtenues en présence/absence d'air ambiant, dans un champ de radicaux constant, permet de quantifier la réactivité de l'air ambiant. Cette thèse a eu pour objectif principal le développement et l'optimisation de cette méthode pour la mesure de réactivité en zone urbaine, fortement riche en monoxyde d'azote (NO), composé identifié comme produisant des artefacts de la mesure. De même, il fallait proposer une méthodologie pour intégrer toutes les corrections, inhérentes à la méthode, à appliquer aux valeurs brutes de réactivité. Une fois la méthode mise au point, le deuxième objectif de ces travaux était la caractérisation de la réactivité atmosphérique totale avec les radicaux OH à Paris, une des rares mégacités existantes en Europe et où aucune mesure de réactivité n'avait été rapportée auparavant. L'étude réalisée pendant la campagne d'hiver 2010 du projet européen MEGAPOLI a permis de caractériser le niveau de réactivité à Paris pendant deux régimes de masses d'air différentes, océanique / continental. Ainsi il a été possible de distinguer un niveau de réactivité purement local de Paris et Ile de France (impacté par le caractère " trafic " de cette ville européenne et étant comparable aux niveaux enregistrés à New York et Tokyo), et un niveau fort, importé, caractéristique d'un transport longue distance. De même, l'étude a révélé que pendant l'import continental, de forts pourcentages ont été enregistrés de réactivité manquante, définie comme la différence entre la valeur mesurée et une valeur théorique, calculée à partir des composés réagissant avec OH et mesurés pendant la campagne. La nature des espèces non-mesurées et contribuant à cette réactivité a été déterminée comme oxydée, issue des processus de " processing " des masses d'air sur le trajet long distance. Ce travail apporte dans un premier temps des informations uniques sur la méthode CRM pour la mesure de la réactivité OH (fonctionnement, traitement des données) et contribue par la suite à la caractérisation des niveaux de réactivité dans la région parisienne.

Dans cette thèse nous proposons l'analyse par l'expérimentation de l'effet de la charge sur les propriétés statistiques du champ électromagnétique mesuré dans le volume utile de la chambre réverbérante à brassage de modes (CRBM) ; mais aussi, le développement d'une nouvelle application de la CRBM permettant de réaliser des tests d'immunité rayonnée en conjuguant le stress thermique à l'agression électromagnétique. Dans un premier temps, nous nous intéressons à l'évaluation des principaux paramètres de calibrage dans le cas d'une chambre vide ou en présence d'un ou de plusieurs objets dissipatifs. Une attention particulière a été réservée au nombre de positions d'antenne choisi pour le relevé des mesures. En effet, les normes en vigueur traitant des mesures en chambre réverbérante apportent très peu d'explications quant au nombre de positions d'antenne requis, et un minimum d'informations sur l'influence de la charge sur le comportement électromagnétique de la chambre. Les lois de distribution des mesures de champ et de puissance, relevées au sein du volume de travail, sont évaluées à l'aide de tests statistiques d'ajustement (goodness-of-fit tests). Nous mettons en évidence de manière expérimentale la dégradation de l'indépendance des échantillons relevés sur un tour de brasseur après introduction d'objets dissipatifs faisant paraitre un meilleur ajustement des distributions statistiques aux lois de distributions idéales. Cette confusion est la source d'interprétations erronées quant à l'amélioration des propriétés statistiques du champ en CRBM en dessous de sa fréquence minimale d'utilisation. Nous apportons également un éclaircissement sur le nombre minimal de positions d'antenne à respecter pour les mesures en CRBM. Dans un second temps, nous mettons en œuvre un protocole expérimental permettant une meilleure compréhension de la variation de la charge en fonction des paramètres physiques ou position spatiale des objets introduits dans la CRBM. Cette investigation apporte des réponses sur la façon dont un équipement sous test charge la chambre, et met en évidence la relation entre la charge et la section efficace d'absorption de l'objet au lieu de son volume. Les études scientifiques récentes, préconisant de ne pas dépasser le ratio de 8% du volume total de la chambre pour l'équipement sous test, s'avèrent incomplètes. En effet, le paramètre du volume uniquement est insuffisant pour déterminer la quantité de charge. Dans un troisième temps, nous présentons une application des mesures en CRBM dans un contexte CEM (compatibilité électromagnétique) et mesures multiphysiques. Le développement d'un banc de test intégrable à la CRBM sans modifier notablement les propriétés statistiques du champ électromagnétique généré, en se basant en partie sur les résultats issus de cette thèse, permet notamment d'adapter celle-ci aux essais multiphysiques répondant aux exigences de qualification d'équipements mécatroniques intégrés dans les véhicules. Nous montrons les résultats de mesures d'immunité rayonnée d'un équipement automobile soumis au stress thermique et l'investigation de l'influence de la température sur l'immunité rayonnée de cet équipement.

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 availability (liveness) and one-copy semantics (safety) despite failures and asynchrony. On the other hand, performance measures the time it takes to respond to a request (latency) and the number of requests that can be processed per time unit (throughput). In this thesis, we present two contributions to state machine replication. The first contri- bution is LCR, a uniform total order broadcast (UTO-broadcast) protocol that is throughput optimal in failure-free periods. LCR can be used to totally order the requests received by a replicated state machine. LCR has been designed for small clusters of homogeneous machines interconnected by a local area network. It relies on a perfect failure detector and tolerates the crash failures of all but one replicas. It is based on a ring topology and only relies on point-to-point inter-process communication. We benchmark an implementation of LCR against two of the most widely used group communication packages and show that LCR provides higher throughput than them, over a large number of setups. The second contribution is Abstract, a new abstraction to simplify the design, proof and implementation of SMR protocols. Abstract focuses on the most robust class of SMR protocols, i.e. those tolerating arbitrary (client and replica) failures. Such protocols are called Byzantine Fault Tolerant (BFT) protocols. We treat a BFT protocol as a composition of instances of our abstraction. Each instance is developed and analyzed independently. To illustrate our approach, we first show how, with our abstraction, the benefits of a BFT protocol like Zyzzyva could have been developed using less than 24% of the actual code of Zyzzyva. We then present Aliph, a new BFT protocol that outperforms previous BFT protocols both in terms of latency (by up to 30%) and throughput (by up to 360%).

Le domaine de cette thèse est la déduction automatique, c.-à-d. le développement d'algorithmes dont le but est de prouver automatiquement des conjectures mathématiques. Dans cette thèse, les conjectures que nous voulons prouver appartiennent à une extension de la logique propositionnelle, appelée "schémas de formules". Ces objets permettent de représenter de façon finie une infinité de formules propositionnelles (de même que, p.ex., les langages réguliers permettent de représenter de façon finie des ensembles infinis de mots). Démontrer un schéma de formules revient alors à démontrer (en une fois) l'infinité de formules qu'il représente. Nous montrons que le problème de démontrer des schémas de formules est indécidable en général. La suite de la thèse s'articule autour de la définition d'algorithmes essayant tout de même de prouver automatiquement des schémas (mais, bien sûr, qui ne terminent pas en général). Ces algorithmes nous permettent d'identifier des classes décidables de schémas, c.-à-d. des classes pour lesquelles il existe un algorithme qui termine sur n'importe quelle entrée en répondant si le schéma est vrai ou pas. L'un de ces algorithmes a donné lieu à l'implémentation d'un prototype. Les méthodes de preuves présentées mélangent méthodes de preuve classiques en logique propositionnelle (DPLL ou tableaux sémantiques) et raisonnement par récurrence. Le raisonnement par récurrence est effectuée par l'utilisation de "preuves cycliques", c.-à-d. des preuves infinies dans lesquelles nous détectons des cycles. Dans ce cas, nous pouvons ramener les preuves infinies à des objets finis, ce que nous pouvons appeler des "schémas de preuves".

Le sujet de la thèse concerne la prise en compte de la sensibilité spectrale de l'œil dans la simulation physiquement plausible de la propagation de la lumière et de ses interactions avec la matière. Le contrôle perceptuel exercé sur chaque interaction de la lumière permet d'imposer une erreur maximale dans le plan image et de déduire une représentation de l'énergie adaptée. L'objectif principal est de déterminer une précision de simulation adaptée à celle de l'œil. En effet, il est inutile d'utiliser une simulation précise et coûteuse lorsque l'œil n'est pas capable de percevoir tous les détails du résultat. L'introduction d'une représentation adaptative de l'énergie autorise ce contrôle. Un atout de cette représentation est de permettre de calculer l'erreur introduite sur chaque intervalle de longueur d'ondes du domaine visible. Un autre avantage est de pouvoir définir les opérations nécessaires à la simulation des interactions de la lumière. Ainsi, il devient possible de construire des expressions symboliques représentant la totalité des interactions de la lumière incidente à chaque pixel de l'image et de calculer une représentation adaptée de la distribution d'énergie associée. Ces expressions sont appelées expressions de rendu et constituent la contribution principale de cette thèse. L'évaluation progressive des expressions de rendu déterminent une représentation adaptative dont l'erreur est inférieure à un seuil fixe à priori dans un espace colorimétrique uniforme : c'est le contrôle perceptuel du rendu. Les expressions de rendu sont appliquées en particulier aux caustiques dispersives ainsi qu'aux interreflexions diffuses. Les méthodes développées sont basées sur des distributions de particules émises depuis les sources de lumière. Ici aussi, l'utilisation des expressions de rendu permet une construction progressive et paresseuse des distributions de particules autorisant des gains particulièrement intéressants.

Les années 1960 ont été négligées dans l'histoire des relations entre l'État québécois et les Autochtones au profit d'études sur la Convention de la Baie James et du Nord québécois (CBJNQ). Pourtant, cette période a vu survenir d'importantes transformations: alors que le Québec était en pleine Révolution tranquille, le Fédéral tentait de redéfinir sa politique indienne et les Autochtones se mobilisaient. Ce mémoire porte donc sur les relations entre l'État québécois et les Autochtones du début de la Révolution tranquille, fixée ici à l'élection des Libéraux en 1960, jusqu'à l'annonce du projet de la Baie James, au début de 1971. L'approche retenue est centrée sur l'État et vise à montrer que Québec avait commencé à élaborer une première politique à l'égard des Indiens et des Esquimaux bien avant la CBJNQ. Ce processus s'inscrivait dans le cadre plus large de l'extension de l'intervention de l'État et des transformations sociétales caractéristiques de la Révolution tranquille, et a contribué à une certaine configuration des relations politiques entre les différents acteurs en présence, en amenant le gouvernement provincial et les Autochtones à la même table de discussions et en favorisant l'émergence du cadre dans lequel la province a envisagé son implication dans les affaires indiennes et esquimaudes. Bien que cette étude ne rende pas compte du point de vue autochtone sur cette question, elle permet tout de même de conclure que cette période a été déterminante pour la suite des choses et que l'étude du contexte administratif est essentielle pour comprendre le processus de construction d'une politique gouvernementale, malgré son caractère rébarbatif. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Québec, Autochtones, Relations avec l'État, Révolution tranquille.