Les aubes de turbine Haute Pression des moteurs d'avion, constituées du superalliage monocristallin AM1, sont refroidies par un circuit complexe de microcanalisations, situé en bord d'attaque et près du bord de fuite. Il peut constituer des sites privilégiés d'endommagement et d'amorçage de fissures, qu'il est indispensable de prendre en compte dans le dimensionnement en fatigue des aubes de turbines. Ce travail a consisté, dans un premier temps, à réaliser une étude expérimentale sur des éprouvettes perforées de trous de différents diamètres. Elle a permis de mettre en évidence qualitativement et quantitativement l'effet du gradient de contrainte sur l'amorçage de fissure. Cependant, la contrainte locale maximale (ou la déformation maximale) ne peut suffire dans un critère de rupture, car elle surestime le risque de rupture, ne prenant pas en compte les effets d'échelle ou de géométrie. Une méthode de moyenne volumique a alors été proposée pour prendre en compte le gradient de contrainte dans le calcul de durée de vie et a ainsi permis d'améliorer les prévisions de durée de vie.Parallèlement, un modèle d'endommagement de fatigue anisotrope, qui couple plasticité et endommagement, en s'attachant particulièrement à décrire la phase de micro-amorçage, a été développé. L'identification et la validation du modèle ont été réalisées à partir d'une base de données expérimentales conséquente sur l'AM1 et sur les essais sur éprouvettes perforées réalisés au cours de ce travail. Afin de prendre en compte les effets de gradient dans les zones à forte concentration de contrainte, la méthode de moyenne volumique a été appliquée avec ce modèle et a fourni des résultats encourageants.

À chaque semestre, la direction du Département d'informatique de l'UQAM doit convenablement affecter les divers groupes-cours disponibles à ses professeurs, en se basant sur leurs préférences et certaines règles adoptées par l'assemblée départementale. Le but de notre travail est développer un algorithme qui trouve une solution de bonne qualité à ce problème, et ce dans un temps raisonnable. Dans ce mémoire, nous appliquons deux approches différentes pour résoudre le problème d'affectation des groupes-cours. La première est basée sur un algorithme branch-and-bound, qui est un algorithme de recherche exhaustif et complet. La deuxième est basée sur un processus heuristique de recherche local amélioré. Plus particulièrement, nous nous concentrons sur l'algorithme de recherche local. Des algorithmes de recherche locale divers sont présentés, entre autres, la recherche locale guidée et le recuit simulé. Ce que nous faisons n'est pas simplement d'appliquer ces algorithmes et les combiner ensemble. Nous essayons aussi de nous inspirer de ces algorithmes pour mettre au point quelques nouvelles idées appropriées pour notre propre problème. Finalement, nous utilisons les résultats expérimentaux obtenus par l'algorithme branch-and-bound comme point de référence en ce qui concerne la qualité de la solution et le temps d'exécution pour évaluer les autres approches. Les résultats que nous avons obtenus de données réelles et des données générées aléatoirement montrent que notre algorithme effectue un bon travail tant en termes de qualité de solution que de temps d'exécution. Les résultats montrent aussi que notre algorithme peut trouver une bonne solution à de grands problèmes en un temps raisonnable. ______________________________________________________________________________

La compréhension de la dynamique de la turbulence de paroi a déjà fait l'objet de nombreuses études expérimentales et numériques depuis des décennies. Le principal intérêt pratique de ces études tient au fait que la contrainte de cisaillement pariétale (et donc le frottement) est étroitement liée à la dynamique des structures à la proximité de la paroi. Les techniques expérimentales en mécanique des fluides ont également fait de grands progrès ces dernières années. Ce travail présente le développement d'une méthode expérimentale visant à fournir des mesures 3D-3C de l'écoulement dans la région de très proche paroi, en vue de mesurer la contrainte de cisaillement à la paroi avec une précision améliorée. Dans ce but, une technique originale de Vélocimétrie Holographique par Images de Particules a été mise au point. Les mesures sont effectuées dans un petit volume à proximité de la paroi dans la soufflerie au Laboratoire de Mécanique de Lille. Des mesures détaillées dans un de l'ordre de 1.5mm3 sont rendues possibles grâce l'utilisation d'un objectif de microscope pour l'agrandissement du champ objet. Les particules sont éclairées par le côté, la lumière diffusée a 90o se recombine avec l'onde de référence pour un enregistrement holographique en ligne de type Gabor. Une procédure d'étalonnage a été développée afin de relier l'espace de reconstruction de l'image holographique aux coordonnées dans le volume de mesure. L'analyse des résultats montre que les images de particules sont reconstruites avec une très bonne résolution axiale, ce qui conduit à penser que la configuration est bien adapté à cette type de mesure. Ces résultats montrent également qu'une optimisation et des ajustements sont nécessaires pour d'améliorer les résultats de suivi de particules

Nous considérons l'analyse de stabilité et la stabilisation des systèmes linéaires incertains à commande contrainte. A l'aide d'une modélisation polytopique des saturations et de la notion de stabilité quadratique locale, nous proposons tout d'abord une méthode d'analyse de stabilité autorisant les saturations. Par la suite, les propriétés géométriques des ellipsoïdes et polyèdres nous permettent de décrire plusieurs méthodes de synthèse: par commande saturante, par commande linéaire par morceaux et finalement par commande polynomiale. Toutes ces méthodes font systématiquement appel à des outils numériques efficaces et largement répandus: équations algébriques de Riccati, inégalités matricielles linéaires et matrices polynomiales.

La vraisemblance empirique est une méthode d'estimation inspirée de la vraisemblance classique, mais s'affranchissant du choix d'une famille paramétrique de lois. Cette méthode semi-paramétrique consiste à maximiser la vraisemblance d'une loi ne chargeant que les données et permet de construire des régions de confiance lorsque le paramètre d'intérêt est défini à partir de contraintes de moments.<br />Dans cette thèse, nous généraliserons la méthode de vraisemblance empirique à une vaste gamme de méthodes de divergence empirique. Nous montrerons que l'on peut obtenir des résultats non asymptotiques originaux pour certaines divergences. Nous proposerons également une adaptation de la vraisemblance empirique aux chaînes de Markov. Nous mènerons deux applications : l'estimation d'un indice du risque d'exposition au méthylmercure, en combinant les diverses sources de données disponibles, et l'étude du rôle de la norme sociale sur le surpoids et l'obésité.

Thèse de doctorat : Sciences de la matière : Lille 1 : 2002. / Résumé en français et en anglais. Bibliogr. f. 175-184.

Depuis quelques années, de nombreux champs de l'informatique ont été transformés par l'introduction d'une nouvelle vision de la conception et de l'utilisation d'un système, appelée approche déclarative. Contrairement à l'approche dite impérative, qui consiste à décrire au moyen d'un langage formelles opérations à effectuer pour obtenir un résultat, l'approche déclarative suggère plutôt de décrire le résultat désiré, sans spécifier comment ce «but» doit être atteint. L'approche déclarative peut être vue comme le prolongement d'une tendance ayant cours depuis les débuts de l'informatique et visant à résoudre des problèmes en manipulant des concepts d'un niveau d'abstraction toujours plus élevé. Le passage à un paradigme déclaratif pose cependant certains problèmes: les outils actuels sont peu appropriés à une utilisation déclarative. On identifie trois questions fondamentales qui doivent être résolues pour souscrire à ce nouveau paradigme: l'expression de contraintes dans un langage formel, la validation de ces contraintes sur une structure, et enfin la construction d'une structure satisfaisant une contrainte donnée. Cette thèse étudie ces trois problèmes selon l'angle de la logique mathématique. On verra qu'en utilisant une logique comme fondement formel d'un langage de « buts », les questions de validation et de construction d'une structure se transposent en deux questions mathématiques, le model checking et la satisfiabilité, qui sont fondamentales et largement étudiées. En utilisant comme motivation deux contextes concrets, la gestion de réseaux et les architectures orientées services, le travail montrera qu'il est possible d'utiliser la logique mathématique pour décrire, vérifier et construire des configurations de réseaux ou des compositions de services web. L'aboutissement de la recherche consiste en le développement de la logique CTLFO+, permettant d'exprimer des contraintes sur les données, sur la séquences des opérations d'un système, ainsi que des contraintes dites «hybrides». Une réduction de CTL-FO+ à la logique temporelle CTL permet de réutiliser de manière efficace des outils de vérification existants. ______________________________________________________________________________ MOTS-CLÉS DE L’AUTEUR : Méthodes formelles, Services web, Réseaux.

Les mouvements volontaires sont accompagnés par des ajustements posturaux anticipateurs (APAs). Leur rôle consiste à prévenir et à compenser de possibles perturbations du corps provoquées par l'exécution du mouvement. Des études antérieures ont montré que la coordination posture / mouvement est modifiée selon que le mouvement est exécuté le plus rapidement possible en réponse à un signal externe (réactif :TRS), ou que le mouvement est auto-initié (prédictif :AI). L'objectif de ce travail est d'examiner le mode de coordination posture / mouvement impliqué dans une situation d'anticipation-coïncidence (AC) lors de l'exécution de mouvements simples et complexes, et ensuite, comparer ce mode aux modes TRS et AI. Trois études expérimentales ont été menées pour vérifier si : (1) les modes de coordination, obtenus sur des gestes simples, s'étendent à des mouvements complexes ; (2) le mode de coordination en AC dépend des caractéristiques temporelles du mobile utilisé dans la tâche ; (3) les commandes impliquant les APAs et le mouvement focal sont associées ou dissociées en fonctions des contraintes temporelles TRS et AC. Ainsi, nous avons démontré que : (1) les stratégies de coordination posture / mouvement s'appliquent sur les mouvements complexes ; (2) la prédictibilité du moment de déclenchement dans la condition AC rapproche celle-ci de la situation AI ; (3) les différences de coordination entre les conditions réactive (TRS) et prédictives (AC, AI) sont liées à des différences dans les mécanismes de préparation consistant à dissocier les commandes posturales et focales en situation prédictive et à associer ces commandes dans la situation réactive. Les implications théoriques qui émergent de ces résultats sont discutées.

Engendrer en temps-réel des déformations visuellement réalistes d'objets 3D, comme par exemple le corps et les vêtements de personnages, est un point crucial en animation, que ce pour des applications au jeu vidéo ou à la production cinématographique. Les méthodes de déformations géométriques actuelles rapides telles que le "skinning" ou l'animation physique à basse résolution ne capturent cependant pas certains comportements naturels essentiels. En particulier les déformations à volume constant du corps, le gonflement des muscles pour un personnage, ou la génération de plis sur ses vêtements dus au fait que leurs surfaces doivent rester développable. Cette thèse présente une série de méthodes rendant les modèles géométriques "actifs", c'est à dire capables de maintenir un certain nombre de contraintes intrinsèques de la surface portant sur le volume englobé ou sur le caractère développable de celle-ci. Nous étudions trois exemples: - l'ajout de contraintes locales de volumes lors de l'animation d'une créature virtuelle par skinning. - l'ajout de plis de vêtements modélisant une surface quasi-inextensible à partir d'une animation à basse résolution donnée en entrée. - la génération d'une surface de type papier froissé, basée sur la préservation de l'isométrie vis-à-vis d'un patron planaire. Dans tous ces modèles, notre approche est procédurale. Elle se base sur la déformation progressive et, potentiellement, le raffinement dynamique de la géométrie juste avant l'étape de rendu.

Th. doct. ing.--Électrotech.--Grenoble--I.N.P., 1982. N°: DI 303.