Les systèmes réactifs sont de plus en plus présents dans de nombreux secteurs d´activité tels que l´automobile, les télécommunications et l´aéronautique. Ces systèmes réalisent des tâches complexes qui sont souvent critiques. Au vu des conséquences catastrophiques que pourrait entraîner une défaillance dans ces systèmes, suite à la présence de fautes matérielles (processeurs et média de communication), il est essentiel de prendre en compte la tolérance aux fautes dans leur conception. En outre, plusieurs domaines exigent une évaluation quantitative du comportement de ces systèmes par rapport à l'occurrence et à l'activation des fautes. Afin de concevoir des systèmes sûrs de fonctionnement, j'ai proposé dans cette thèse trois méthodologies de conception basées sur la théorie d'ordonnancement et la redondance active et passive des composants logiciels du système. Ces trois méthodologies permettent de résoudre le problème de la génération automatique de distribution et d'ordonnancements temps réel, fiables et tolérants aux fautes. Ce problème étant NP-difficile, ces trois méthodologies sont basées sur des heuristiques de type ordonnancement de liste. Plus particulièrement, les deux premières méthodologies traitent le problème de la tolérance aux fautes matérielles des processeurs et des media de communication, respectivement pour des architectures à liaisons point-à-point et des architectures à liaison bus. La troisième méthodologie traite le problème de l'évaluation quantitative d'une distribution/ordonnancement en terme de fiabilité à l'aide d'une heuristique bi-critère originale. Ces méthodologies offrent de bonnes performances sur des graphes d'algorithme et d'architecture générés aléatoirement.

Pour la gestion de grands systèmes distribués (réseaux de<br />télécommunications par exemple) il est utile d'étudier des<br />modèles de concurrence sous la sémantique de traces. Dans<br />cette optique, on propose une extension probabiliste des<br />structures d'événements et des réseaux de Petri 1-bornés<br />(réseaux markoviens).<br />On prouve un propriété de Markov forte pour ces modèles,<br />et on donne des applications à la récurrence des réseaux.<br />On montre une Loi forte des grands nombres pour<br />les réseaux récurrents et suffisement synchrones,<br />avec applications a l'estimation statistique de<br />paramètres locaux.

Le travail présenté dans ce mémoire est une contribution à l'étude des vibrations non linéaires de structures minces, par des approches numériques et expérimentales. Un outil destiné au calcul de la réponse forcée harmonique de structures minces, en non linéaire géométrique, a été développé. Le problème de l'élastodynamique en grands déplacements, avec prise en compte d'un défaut de forme et d'une précontrainte, est discrétisé par une méthode éléments finis. Les solutions périodiques sont obtenues par application de la méthode de l'équilibrage harmonique (EH) puis de la méthode asymptotique numérique (MAN) pour la continuation des branches de solutions. Ces deux méthodes ont été introduites indépendamment l'une de l'autre dans un code éléments finis existant, Eve. Au final on obtient l'expression des inconnues (déplacements et contraintes) en fonction des paramètres de la force d'excitation (pulsation et amplitude). Au terme de ce travail, on dispose donc d'un outil numérique qui permet de traiter une large classe de structures (poutres, plaques et coques). Son application à quelques exemples a permis d'illustrer les caractéristiques d'un comportement non linéaire, en particulier les phénomènes d'hysteresis sur la résonance principale ou encore l'apparition de résonances secondaires et de bifurcations de branches. De plus, pour une amplitude d'excitation très faible, on est en mesure d'obtenir une représentation des modes non linéaires de structure. En parallèle, une étude expérimentale a été menée. Un banc d'essai pour l'étude de la réponse forcée de plaques ou de panneaux galbés a été réalisé ; il est équipé d'un dispositif de précontrainte en vue de l'observation d'interaction modale. Des essais préalables <br />sur une poutre bi-encastrée, ont également permis l'observation<br />de phénomènes non linéaires caractéristiques.

Lorsqu'un faisceau laser intense est focalisé sur une cible solide, cette dernière est rapidement ionisée en surface, et forme un plasma dense qui réfléchit le champ incident. Pour des éclairements lasers supérieurs à quelques $10^{15}Wcm^{-2}$, cette réflexion peut s'accompagner de la génération d'harmoniques d'ordres élevés de la fréquence laser, associées dans le domaine temporel à un train d'impulsions attosecondes ($1as=10-^{18}s$). Un tel miroir plasma pouvant supporter des éclairements arbitrairement élevés, ce processus devrait permettre à terme, de produire des impulsions très intenses dans le domaine des rayons X.<br />Au cours de cette thèse, nous avons prouvé que lorsque l'éclairement laser est de l'ordre de $10^{19}Wcm^{-2}$, deux mécanismes peuvent contribuer à la génération d'harmoniques d'ordres élevés sur miroir plasma : l'émission cohérente de sillage et l'émission relativiste. Ces deux mécanismes ont été étudiés à la fois théoriquement et expérimentalement.<br />Nous avons ainsi montré que, grâce à des propriétés très différentes, les harmoniques générées par ces deux processus peuvent être distinguées expérimentalement, sans ambiguïté. Nous nous sommes ensuite intéressés aux propriétés de phase spectrales et spatiales des harmoniques. Enfin, nous avons illustré comment exploiter la cohérence des mécanismes de génération pour obtenir des informations sur la dynamique électronique du plasma.

Cette théese est basée sur la représentation Eulerienne-Lagrangiene de la vitesse, qui nous appelons la transformation de Weber-Clebsch.<br />Constantin a construit en 2002 une extension de la description de Weber-Clebsch des fluides parfaits aux fluides visqueux. La nécessité de réinitialiser périodiquement les coordonnées Lagrangiennes à été interprété par Constantin comme un diagnostique de la reconnexion de la <br />vorticité. Le système de Constantin est contenu dans notre formulation, qui est plus générale, dans une limite singulière.<br /><br />Pour comparer les résultats obtenus en utilisant notre formulation généralisée à ceux qui sont obtenus dans la formulation de <br />Constantin nous avons procédé à des simulations numériques d'un certain nombre d'écoulements obéissants aux équations de Navier<br />Stokes.<br /><br />Des extensions à la magnéto hydrodynamique et aux fluides compressibles sont également proposées et validées numériquement.

Cette thèse étudie le processus d'institutionnalisation de la formation à distance au Québec en l'analysant à partir du cas de la Télé-université, depuis sa création à titre d'organisme expérimental en 1972 jusqu'à l'octroi de ses lettres patentes en 1992. Si elle n'est pas la plus ancienne institution de formation à distance, elle n'en est pas moins la plus importante puisqu'elle représente la majeure partie des effectifs étudiants rejoints par cette forme d'enseignement.<br /><br />Notre étude met en évidence la diversité des attentes dont est investie la formation à distance ainsi que la multiplicité des facteurs (sociaux, économiques, organisationnels et politiques) qui modèlent son institutionnalisation. Nous étudions notamment le processus d'élaboration du projet de lettres patentes de la Télé-université jusqu'à l'acceptation finale. En l'occurrence, la prise de décision publique apparaît comme un phénomène contingent, qui résulte de la rencontre aléatoire de problèmes, de solutions et de la présence de décideurs enclins à agir. Notre étude montre ainsi de quelle façon et pour quelles raisons ce projet s'est trouvé transformé et comment s'est élaborée une politique de la formation à distance.

Cette thèse a pour but l'étude de la propriété de platitude sur des modèles bond graphs (BGs) non linéaires et de contribuer à la résolution des problèmes rencontrés en pratique qui sont liés principalement à l'identification des sorties plates et le calcul de la paramétrisation différentielle. <br />Pour atteindre cet objectif, de nouveaux concepts et outils graphiques ont été introduits. En particulier, grâce à l'introduction de la notion de modèle BG tangent ou variationnel à l'aide de l'utilisation des différentielles de Kähler, il est possible de calculer les sorties plates d'un modèle BG non linéaire par intégration des bases du module qui lui est associé.<br />Par ailleurs, en définissant la notion d'anneau BG non commutatif, une nouvelle règle de gain connue sous le nom de "règle de Riegle" est introduite en BG. En montrant alors qu'un modèle BG variationnel est un cas particulier d'anneau BG non commutatif, l'obtention graphique de la paramétrisation différentielle en utilisant la règle de Riegle et la notion de bicausalité est rendue possible.<br />Enfin, pour aller plus loin dans l'introduction de l'outil d'algèbre et de modules différentiels aux BGs, le cas des modèles BGs non linéaires régis par des équations différentielles polynômiales a été abordé. Dans ce contexte, le BG permet de faire une analyse directe des propriétés principales du système telles que le choix des variables d'entrée, les dynamiques correspondant à un choix d'entrée, le calcul des degrés de transcendance (non différentiel) différentiel, etc. à partir de son modèle BG associé. Il est également montré que la règle graphique de Riegle peut être étendue à cette classe de modèles BGs.

La thèse se compose de deux parties.<br /><br />Première partie :<br />thème de la courbure scalaire conforme sur l'espace hyperbolique. Nous<br />apportons ici une étude fine du comportement asymptotique en toute<br />dimension. Nous traitons toujours d'équations semi-linéaires<br />générales, avant d'appliquer nos résultats au cas particulier de<br />l'équation géométrique.<br /><br />Deuxième partie :<br />thème de la courbure de Ricci sur l'espace hyperbolique.<br />Nous obtenons le résultat suivant.<br />Sur la boule unité de $\R^n$, on considère la métrique<br />hyperbolique standard $H_0$, dont la courbure de Ricci vaut $R_0$<br />et la courbure de Riemann-Christoffel vaut ${\cal R}_0$.<br />Nous montrons qu'en dimension $n\geq10$, pour<br />tout tenseur symétrique $R$ voisin<br />de $R_0$, il existe une unique métrique $H$ voisine de $H_0$<br />dont la courbure de Ricci vaut $R$.<br />Nous en déduisons, dans le cadre $C^\infty$, que l'image<br />de l'opérateur de Riemann-Christoffel est une sous-variété<br />au voisinage de ${\cal R}_0$.<br />Nous traitons aussi dans cette partie de la courbure de Ricci contravariante<br />en toute dimension, du problème de Dirichlet à l'infini en dimension 2,<br />et de quelques obstructions.

Dans ce document, nous nous intéressons à la modélisation de l'image par le biais de la théorie des hypergraphes. Notre contribution est essentiellement axée sur la détermination des propriétés issues de<br />cette théorie et sur l'analyse de leur adéquation avec des problématiques de l'image et particulièrement la détection de contours et la suppression de bruit.<br /><br />Dans un premier temps, nous étudions la représentation par hypergraphes de voisinage spatiocolorimétrique de l'image. Trois représentations sont présentées incorporant des propriétés globales, locales, des mesures de similarité et des mesures de dissimilarité.<br /><br />Ensuite, on utilise les propriétés des hypergraphes engendrées par la représentation afin de définir des modèles structurels de bruit et de contour. Ceci nous permet ainsi de déduire des algorithmes de suppression de bruit et d'extraction de contours sur des images<br />à niveaux de gris et couleur. Les performances des approches proposées sont comparées aux solutions classiquement utilisées.<br />Enfin, la représentation par hypergraphe de voisinage<br />spatiocolorimétrique s'est avérée efficace pour<br />le traitement des images bas niveaux.

Nous étudions les performances et limites de cellules à césium en<br />saphir pour une expérience de physique atomique visant à une mesure précise<br />d'un effet de violation de parité (PV) associé à l'échange du boson Zo<br />dans l'atome de césium. Une telle mesure permet un test à très basse énergie du<br />modèle standard électrofaible. Il s'agit d'une expérience pompe-sonde sur le<br />système 6S1/2-7S1/2-6P3/2, menée en régime impulsionnel, dans une<br />vapeur dense de césium (2.10^14 atomes/cm3), soumise à un champ<br />électrique E= (2kV/cm) statique à<br />l'échelle des impulsions laser. <br /><br />Dans la configuration étudiée avant cette thèse (champ E appliqué selon<br />la direction de propagation des faisceaux) les cellules en saphir ont permis de<br />dépasser plusieurs limites rencontrées auparavant avec les cellules en verre:<br />(i) totale immunité des fenêtres aux conditions de l'expérience (ii)<br />destruction thermique des dimères Cs2 en surchauffant la vapeur (iii)<br />production désormais possible du champ E dans la cellule avec des<br />électrodes externes, attestant la réduction des courants surfaciques internes.<br />Il apparaît cependant une émission d'électrons par les fenêtres, induite par<br />l'impulsion laser d'excitation, et on met en évidence une multiplication des<br />charges au cours de leur accélération dans le champ électrique. Les<br />perturbations associées à la charge d'espace et au courant électronique<br />limitent actuellement la précision des moyennages PV dans cette configuration.<br />Nous avons ensuite exploré une nouvelle configuration expérimentale, où le<br />champ électrique est perpendiculaire aux faisceaux. Cela a été réalisable<br />facilement avec l'utilisation d'électrodes externes, exploitables avec les<br />cellules en saphir. Les premières études expérimentales ont permis de dégager<br />les conditions de mesure et de calibration d'orientations atomiques<br />longitudinale et transverse (en utilisant la précession de Larmor) dans l'état<br />7S, par polarimétrie pompe-sonde impulsionnelle, en exploitant la détection par<br />émission stimulée. Nous avons par ailleurs mis en oeuvre une mesure atomique<br /> in situ du champ électrique, utilisable dans les deux configurations<br />expérimentales. Cette mesure est indispensable pour exploiter les mesures PV en<br />configuration longitudinale.