Le tatouage des signaux audio numériques, outre ses applications de protection de la propriété intellectuelle, révèle la possibilité d'utiliser le signal audio numérique comme un support de communication: une information peut être insérée imperceptiblement dans un signal audio et être ainsi diffusée en suivant le même canal de transmission que celui emprunté par le signal audio. Concevoir un système de tatouage performant est l'objectif de ces travaux de thèse. Cette performance relève de contraintes et d'enjeux spécifiques: l'insertion du tatouage doit (1) être transparente (inaudible), (2) offrir un débit de transmission le plus élevé possible pour une fiabilité de transmission la meilleure possible tout en étant robuste à un ensemble de perturbations (traitements licites qui peuvent être effectués sur un signal audio lors de son parcours dans un réseau de diffusion) et (3) être peu coûteux en temps de calcul pour permettre une implémentation temps réel. Pour satisfaire au mieux la contrainte de transparence, un module de contrôle d'inaudibilité innovant, adjacent au modèle psychoacoustique utilisé pour la mise en forme spectrale du tatouage, est proposé. Ce module, basé sur l'algorithme de mesure objective de la qualité sonore PEAQ, établit de façon adaptative les conditions de transparence locale du tatouage en fonction du signal audio. Atteindre une fiabilité de transmission élevée et garantir la robustesse aux perturbations (telles que la compression MPEG, les changements de format, les filtrages, etc.) constituent la majeure partie de ce travail. La prise en compte, ces dernières années, de la connaissance du bruit audio pour la construction du tatouage a permis de très nettes avancées dans ce domaine tant sur la formalisation du problème de tatouage que sur les performances à escompter des systèmes, dit informés, qui en découlent. La majorité des systèmes de l'État de l'Art s'est concentrée sur la recherche d'un tatouage robuste souvent au détriment de la contrainte d'inaudibilité. A l'inverse, nous proposons différentes stratégies d'insertion du tatouage qui établissent en premier lieu l'inaudibilité locale du tatouage et maximisent ensuite la robustesse de sa transmission aux perturbations. Les performances du système et l'efficacité des stratégies d'insertion proposées sont établies sur des signaux audio réels et comparées à des systèmes de la littérature: une transmission "audible mais non gênante" avec un TEB de 0,001 peut être obtenue pour un débit de 170 bit/s en l'absence de perturbations (contre 80 bit/s pour une insertion non informée); le débit devra être fixé à 75 bit/s pour garantir la robustesse aux perturbations non désynchronisantes et à 125 bit/s pour résister à une opération désynchronisante.

This research work deals with three-dimensional modeling of groundwater flow and solute transport problems in groundwater aquifer systems, with several complexities, heterogeneities and variable conditions as encountered in the field. Finite element methods are used throughout to solve a range of different problems, using in particular the Galerkin weighted residual approach based on trilinear hexahedral elements. Special emphasis is made on transient and non-linear groundwater flow problems with moving interfaces, such as the water table and the freshwater-saltwater sharp interface. A generalized Fast Updating Procedure technique is developed for these situations, which presents a number of advantageous features in comparison to classic computational techniques used to deal with such problems. One of the important contributions is the automatic construction of the generic soils characteristic curves, which are dynamically dependent upon the overall system water status. Several test examples are successfully worked out for validating this technique in different aquifer configurations, and under different initial and boundary conditions. These test cases show that the proposed method is cheap, numerically stable and accurate. Numerical stability is guaranteed through a developed solver, which is obtained by using state of the art methods for robust preconditioning and efficient numerical implementation. The accuracy is demonstrated by comparison against analytical, other numerical approaches, and laboratory experimental solutions. The usefulness of the method is clearly shown by the application of the 3-D sharp interface finite element model 'GEO-SWIM' to the coastal aquifer system of Martil in the north of Morocco. Several efficient runs are made, leading to a calibrated management model for the study area, giving a clear picture of the salinization risk in the aquifer due to saltwater encroachment. Three-dimensional modeling of solute transport problems in groundwater aquifer systems is equally investigated. It is concluded that the standard Galerkin finite element method is computationally intensive, since the obtained system of numerical equations is very large, sparse, none symmetric and usually difficult to solve with standard iterative techniques. Hence, preconditioning is necessary to improve the convergence behavior of ill-conditioned systems. In this work, we propose an M-matrix type of transformation on the general transport matrix which guarantees the existence of the preconditioning schemes, and hence improves the overall solvers performance and robustness. The usefulness of the method is demonstrated by solving several test examples with different complexities, including hypothetical and field applications in Belgium. Different solvers are tested as the minimal residual method and the stabilized biconjugate gradient method, in combination with different preconditioning schemes, as diagonal scaling and incomplete factorization. It is concluded that M-matrix preconditioning is very simple to implement, and proves to be very efficient and robust. An effort is put on packaging the computer programs, by giving modern visual support to many modules. Therefore, several GUI programs are provided as complementary tools to support the developed models, enabling their friendly use, and the possibility for future extensions.

Les machines tournantes sont présentes dans bien de domaines de nos industries et de nos sociétés et jouent un rôle primordial dans le transport et l'énergie. Le contexte actuel d'épuisement de ressources fossiles et la demande continuellement en augmentation d'énergie, font du domaine de la production de l'énergie (qu'elle soit électrique, thermique, éolienne, hydraulique ou nucléaire) un secteur qui concentre une part importante de l'innovation et de l'investissement des institutions et des industriels. Les tendances actuelles concernent l'augmentation du rendement et de la fiabilité, la diminution des dimensions, des coûts d'exploitation et des impacts environnementaux. Les machines doivent donc opérer dans des conditions respectant les normes de sécurité, de sûreté, de confort et d'environnement. La maîtrise et l'optimisation de ces conditions ont constitué le fil conducteur des recherches menées. L'ensemble de cette recherche concerne le suivi du comportement, l'équilibrage et le contrôle actif des machines tournantes. Trois thèmes qui ont un point commun la définition et l'identification d'un modèle de la machine ensuite, connaissant les réponses identifier les perturbations et les forces extérieures. Ces recherches constituent la base vers le développement de machines avec une capacité de réagir, sans interventions extérieures, en présence d'une défaillance ou lors de passage des zones de vitesses critiques ou des zones d'instabilités, de modifier ses caractéristiques afin d'avoir toujours un comportement respectant les normes de sécurité, de sûreté, de confort et d'environnement. La base vers un développement d'une Eco machine tournante réactive: une Smart machine tournante. Les premières recherches traitent du suivi de comportement et du diagnostic des boites de transmission de puissance par engrenages. L'objectif est la mise en place d'une approche de maintenance préventive de machines tournantes en présence de défauts combinés d'engrenages et de roulements. L'approche scientifique est à la fois numérique et expérimentale. Dans les deux approches, les défauts critiques étudiés ont été choisis suite à une étude AMDEC (Analyse de Modes de Défaillance, de leurs Effets et leurs Criticités). Les approches pour réduire les nuisances et d'assurer la sécurité de fonctionnement se déclinent, selon les possibilités et les moyens d'intervention, en deux solutions; équilibrage et contrôle actif. En équilibrage les recherches permettront d'une part le développement de méthodes basées sur des modèles identifiés expérimentalement prenant en compte des non linéarités dues à la très grande flexibilité des structures étudiées ou à la dépendance de certaines caractéristiques aux fréquences; elles permettront d'autre part l'optimisation de la répartition des masses de correction à la fois en position et en valeur en considérant des perturbations stochastiques des mesures. Le thème contrôle actif des machines tournantes porte sur le développement et la mise en place de stratégies de contrôle permettant la modification du comportement dynamique des rotors en flexion, en régime transitoire, par l'utilisation d'actionneurs. Le contrôleur peut être dans le domaine physique ou modal avec une commande floue ou neuro-floue. Concernant la technologie d'actionneurs, des travaux ont déjà été réalisés en utilisant des actionneurs piézoélectriques. Le contrôle est efficace et robuste, le seul inconvénient concerne la liaison entre l'actionneur et la machine. Nos recherches actuelles portent sur la conception et le dimensionnement d'actionneurs électromagnétiques qui présentent l'avantage d'être sans contact et offrent la possibilité de contrôler à la fois l'arbre du rotor et un de ces composants (paliers hydrodynamiques). Les activités et thèmes de recherches sont présentés en trois chapitres sans prendre en compte l'aspect chronologique. Chaque chapitre présente la recherche déjà réalisée, celle en cours puis future. Un chapitre est consacré au projet de recherche concernant les études initiées dans un souci d'appliquer et d'adapter les acquis dans des contextes particuliers de complexité des nouvelles machines ou tout simplement la volonté de considérer les besoins environnementaux et le développement d'Eco- Machines Tournantes.

Depuis quelques années, la plupart des constructeurs automobiles innovent en faisant appel aux techniques de la réalité virtuelle (RV). Cette approche possède un fort potentiel en termes de gain de temps et de réduction des coûts. Elle permet également d'évaluer de nouvelles approches liées au processus de conception lui-même. Cependant, un certain nombre de verrous technologiques et méthodologiques subsistent. Ils concernent en particulier (i) la simplification et la physicalisation des maquettes numériques issues des logiciels de CAO, (ii) le développement de configurations visuo-haptiques adaptées aux différentes tâches impliquées par le prototypage virtuel, et (iii) l'identification des retours sensoriels les plus pertinents, permettant à l'opérateur d'effectuer ces tâches efficacement. Un ensemble de problématiques soulevées par le service R&D de Valeo Lighting Systems (Angers) nous a conduit à traiter les trois aspects évoqués ci-dessus. Les tâches étudiées sont l'accessibilité, l'extraction et la manipulation de lampes sur prototype virtuel à l'échelle 1:1. Dans le manuscrit, nous commençons par aborder les limites du prototypage réel et les apports liés au prototypage virtuel. Ces apports sont examinés en particulier pour les phases de création et de validation des prototypes. Puis, nous présentons un état de l'art exhaustif des dispositifs d'affichage et des interfaces à retour d'effort, que nous avons classées en fonction de leur architecture mécanique et de leur support de référence. Ensuite, nous traitons la simplification et l'intégration de maquettes virtuelles ainsi que l'intégration du modèle biomécanique de l'opérateur humain. Différentes simulations permettant de valider la méthodologie d'intégration proposée sont décrites. Celles-ci sont basées sur l'utilisation de notre plate-forme de réalité virtuelle. Enfin, nous décrivons une série cohérente et progressive d'expérimentations permettant d'évaluer la pertinence et l'influence de différentes modalités sensorielles (visuelle, sonore, vibro-tactile, et kinesthésique) sur la performance humaine. L'objectif est d'identifier les avantages et inconvénients de ces retours d'information dans différentes configurations matérielles. Les résultats sont analysés via différents indicateurs de performance (temps de réalisation des tâches, précision de placement). Des données subjectives sont également recueillies via l'observation des sujets pendant l'exécution des tâches et à partir de questionnaires.

Beaucoup de programmes de visualisation, de planification de trajectoire, etc., utilisent intensivement des calculs de visibilité. Si ces calculs de visibilité ne constituent qu'une petite partie de ces programmes, ils sont en revanche responsables d'une grande partie du temps d'exécution de ces programmes: leur efficacité est donc cruciale. Les algorithmes traditionnels de calculs de visibilité ont deux défauts: ils effectuent - inutilement - des calculs sur des objets non visibles et refont tous ces calculs à chaque nouvelle requête, même si les changements avec la requête précédente sont minimes. Pour remédier à ces inconvénients dans le cadre de scènes polygonales bidimensionnelles, nous nous servons d'une structure de données - le complexe de visibilité - qui code toutes les relations de visibilité entre objets d'une scène. Après avoir montré comment construire de façon optimale le complexe de visibilité, nous montrons comment il permet d'utiliser la cohérence spatiale de la scène dans les calculs de polygones de visibilité. Nous montrons aussi comment il permet d'utiliser la cohérence temporelle dans le maintien d'une vue autour d'un point se déplaçant dans la scène. Nous étudions ces algorithmes non seulement d'un point de vue théorique mais aussi d'un point de vue pratique. Nous avons programmé ces algorithmes et effectué des comparaisons expérimentales entre algorithmes. Nous nous sommes aussi intéressés aux problèmes de dégénérescences et d'imprécisions des calculs numériques qui se posent dès que les programmes sont exécutés sur des données «réelles»

Dans cette thèse on explore l'utilisation du contrôle optimal et du transport de masse pour la modélisation économique. Nous saisissons ainsi l'occasion de réunir plusieurs travaux faisant intervenir ces deux outils, parfois en interactions l'un avec l'autre. Dans un premier temps nous présentons brièvement la récente théorie des jeux à champ moyen introduite par Lasry et Lions et nous concentrons sur le point de vue du contrôle de l'équation de Fokker-Planck. Nous exploitons cet aspect à la fois pour obtenir des résultats d'existence d'équilibres et pour développer des méthodes numériques de résolution. Nous testons les algorithmes dans deux cas complémentaires à savoir le cadre convexe (aversion à la foule, dynamiques à deux populations) et le cadre concave (attraction, externalités et effets d'échelle dans un modèle stylisé de transition technologique). Dans un second temps, nous étudions un problème de matching mêlant transport optimal et contrôle optimal. Le planificateur cherche un couplage optimal, fixé pour une période donnée (engagement), étant donné que les marges évoluent (éventuellement aléatoirement) de façon contrôlée. Enfin, nous reformulons un problème de partage de risque entre d agents (pour lequel nous prouvons un résultat d'existence) en un problème de contrôle optimal avec contraintes de comonotonie; ceci nous permet d'obtenir des conditions d'optimalité à l'aide desquelles nous construisons un algorithme simple et convergent.

Cette thèse aborde à la fois des aspects comportementaux et numériques de la réponse mécanique du massif rocheux au creusement d'un tunnel. La comparaison de critères existants a mis l'accent sur quelques points clefs, comme la dépendance du critère à la contrainte moyenne et le ratio d'extension. Une fonction de charge, aisément identifiable à partir des essais, au caractère régulier et convexe, capable de tenir compte de la forme de l'enveloppe de Mohr du critère, ainsi que du ratio d'extension, a été proposée : on peut ainsi réaliser des formes régularisées des critères de Mohr-Coulomb et de Hœk-Brown. Le développement de ce nouveau critère a été complété par la proposition d'une méthode d'abaques numériques, accélérant grandement la résolution. Pour le critère proposé, le problème physique est équivalent à un problème purement géométrique, en coordonnées polaires dans le plan. On peut ainsi constituer des abaques numériques qui permettent d'obtenir directement la valeur des déformations plastiques, ce qui diminue drastiquement le temps de calcul Les méthodes de calcul des tunnels ont fait l'objet d'une synthèse biblio- graphique, précisant les domaines et les limites d'emploi des méthodes utilisées par les ingénieurs pour dimensionner les tunnels. La modélisation du creusement des tunnels a été réalisée à l'aide de l'algorithme stationnaire, conçu pour calculer le comportement de systèmes soumis à des chargements mobiles. Cet algorithme a été programmé pour intégrer le nouveau critère et la méthode des abaques numériques. Les outils ainsi développés ont pu être confrontés à un cas d'étude réel, à partir de données fournies par l'Agence Nationale de Gestion des Déchets Radioactifs (ANDRA) au titre du projet européen MODEX-REP (projet s'insérant dans le cadre du 5e plan EURATOM de la commission européenne). L'étude de ces données a permis de définir une variable de dégradation de la roche, aisément identifiable et permettant de paramétrer le critère pour la roche endommagée.

Cette étude est consacrée à l'analyse thermomécanique de la transformation martensitique prenant place dans les Alliages à Mémoire de Forme (AMF). Cette analyse est effectuée à différentes échelles et s'appuie sur des champs de mesures thermomécaniques, des simulations numériques 3D par éléments finis et des simulations utilisant la dynamique moléculaire. L'étude est restreinte au comportement pseudoélastique d'un monocristal de CuAlBe, soumis à des chargements de traction. Les observations par imagerie cinématique et énergétique couplées rendent possible la caractérisation précise et locale du front de changement de phase qui apparait lors d'une sollicitation mécanique d'une éprouvette d'AMF. L'analyse énergétique qui en est faite, permet d'interpréter la transformation de phase comme liée à un couplage thermomécanique fort, et de négliger la dissipation intrinsèque. Conformément à ces résultats, un modèle thermomécanique monovariant est proposé qui rend compte du phénomène d'hystérésis et des effets du temps observés expérimentalement. Le front de changement de phase est ensuite généré numériquement puis comparé à l'expérience et à la littérature. Dans un second temps, un modèle d'AMF idéal est proposé à l'échelle cristalline. La dynamique moléculaire permet de construire l'énergie libre associée à un ensemble d'atomes et de réaliser des expériences numériques. L'évolution du comportement avec la dimension de l'échantillon est étudiée numériquement puis discutée. Une tendance à la convexification du potentiel énergétique est observée, ainsi que l'apparition d'une microstructure complexe.

Cette thèse est constituée de trois parties pouvant être lues indépendamment. Dans la première partie, on s'intéresse à la résolution de problème de contrôle stochastique par des méthodes de quantification. La quantification consiste à trouver la meilleure approximation d'une loi de probabilité continue par une loi de probabilité discrète avec un nombre donné N de points supportant cette loi. Nous allons expliciter un cadre de programmation dynamique " générique " qui permet de résoudre de nombreux problèmes de contrôle stochastique comme les problèmes de temps d'arrêt optimal, de maximisation d'utilité, d'équations différentielles stochastiques rétrogrades, de filtrage... Dans ce cadre, nous donnons trois schémas de discrétisation en espace associée à la quantification d'une chaîne de Markov. Dans la deuxième partie, nous présentons un schéma numérique pour les équations différentielles stochastiques rétrogrades doublement réfléchies. Nous nous plaçons dans un cadre général qui contient des sauts et des processus progressifs dépendant de la trajectoire. On propose une approximation du type schéma d'Euler. Nous prouvons la convergence du schéma pour les équations différentielles stochastiques rétrogrades quand le nombre de pas de temps n tend vers l'infini. Nous donnons aussi la vitesse de convergence pour les game options. Dans la troisième partie, on s'intéresse à la réplication des dérivés sur la variance réalisée. On propose une couverture robuste au modèle de volatilité constituée de positions dynamiques sur des options européennes. On étend ensuite cette méthodologie aux options sur fond et aux processus à saut.

Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance de modèles avec très grands espace d'états décrits par des formalismes de haut niveau. Parmi les différents formalismes couramment utilisés, on se place dans le cadre des Réseaux d'Automates Stochastiques (SAN). Le formalisme SAN se caractérise par la représentation de très grands systèmes par la composition de sous-systèmes (automates), où ces automates interagissent entre eux par des événements synchronisants ou des taux et des probabilités fonctionnels. <br /><br />La première partie de cette thèse s'intéresse au calcul des indices de performances transitoires pour des grands modèles. Lorsqu'on calcule des indices de performances transitoires, tel que la disponibilité ponctuelle, la méthode d'uniformisation est la plus souvent utilisée. Cependant le nombre d'itérations vecteur-matrice peut être très grand ce qui devient critique pour de très grands modèles. Des méthodes de détection du régime stationnaire peuvent réduire le coût de calcul en arrêtant les itérations lorsque le régime stationnaire est atteint. Dans cette thèse, nous proposons une adaptation et une comparaison de différentes méthodes de détection du régime stationnaire lorsque la matrice est stockée sous un format tensoriel. Les méthodes sont comparées selon deux critères : nombre d'itérations et précision des résultats.<br /><br />Dans la deuxième partie, nous présentons le formalisme SAN à temps discret. La définition formelle du formalisme SAN présentée dans cette thèse nous permet de définir la sémantique des modèles en temps discret que nous souhaitons exploiter. Nous définissons une nouvelle algèbre tensorielle (appelée Algèbre Tensorielle compleXe - ATX) capable d'exprimer cette sémantique. Pour cela, trois opérateurs sont définis afin de décrire différents comportement d'un système, tels que la simultanéité, la concurrence et le choix. Enfin, le principal apport de cette thèse réside dans la définition d'une formule tensorielle (appelée Descripteur discret) qui utilise cette nouvelle algèbre pour représenter un modèle SAN à temps discret de façon compacte. Nous montrons que ce descripteur discret permet aisément de générer la chaîne de Markov représentée par le modèle SAN.