Dans ce travail, nous étudions le raffinement de maillage pour des méthodes d'éléments finis mixtes duales pour deux types de problèmes : le premier concerne le problème de l'élasticité linéaire et le second problème celui de l'élastodynamique.<br /> <br /> Pour ces deux types de problèmes et dans des domaines non réguliers, les méthodes d'éléments finis mixtes analysées jusqu'à présent, sont celles qui concernent des méthodes mixtes "classiques". Ici, nous analysons la formulation mixte duale pour les deux problèmes de l'élasticité linéaire et de l'élastodynamique. <br /> Pour le problème d'élasticité, nous sommes concernés premièrement par une analyse a priori d'erreur en utilisant l'approximation par l'élément fini $BDM_1$ stabilisé. Afin de dériver une estimation a priori optimales d'erreur, nous établissons des règles de raffinement de maillage. <br /> Ensuite, nous faisons une analyse d'erreur à posteriori sur un domaine simplement ou multiplement connexe. En fait nous établissons un estimateur résiduel fiable et efficace. Cet estimateur est alors utilisé dans un algorithme adaptatif pour le raffinement automatique de maillage. Pour le problème de l'élastodynamique, nous faisons une analyse a priori d'erreur en utilisant le même élément fini que pour le problème d'élasticité, en utilisant une formulation mixte duale pour la discrétisation des variables spatiales. <br /> Pour la discrétisation en temps nous étudions les deux schémas de Newmark explicite et implicite. Par des règles de raffinement de maillage appropriées, nous dérivons des estimées d'erreur optimales pour les deux schémas numérique.

Les résultats présentés dans cette thèse portent sur l'approximation adaptative de deux problèmes de transport non-linéaire : le système de Vlasov-Poisson et les lois de conservation scalaires. Pour le premier, et dans une approche semi-lagrangienne, on a proposé un schéma adaptatif original à base d'éléments finis hiérarchiques où l'évolution des maillages est réalisée par une étape de prédiction très simple suivie d'une étape de correction plus classique. En introduisant la notion de courbure totale pour étendre la semi-norme W2,1(R2) aux fonctions affines par morceaux, on a alors établi une estimation d'erreur a priori prouvant la convergence de ce schéma en distance L∞, et donné des éléments de preuve concernant sa complexité optimale. Les lois de conservations scalaire ne pouvant être approchées en distance L∞, on a considéré leur analyse en distance uniforme de Hausdorff, moins répandue bien que plus géométrique. Après avoir montré que les solutions de ces équations étaient stables vis-à-vis de cette distance, on a établi un résultat d'approximation adaptative d'ordre élevé.

Depuis de nombreuses années, les évaluations de la faune circulante au sein de l'estuaire de la Gironde s'appuient sur plusieurs dispositifs de suivis ichtyologiques, chroniques de pêches scientifiques et professionnelles. Cependant, ces approches conventionnelles nécessitent souvent un échantillonnage conséquent, restent ponctuelles dans le temps, spatialement limitées et destructrices. Tester la mise en œuvre d'un suivi acoustique prend ainsi toute son sens et son intérêt. Plus largement appliqué en milieux marin et lacustre, cette approche reste encore rarement utilisée en estuaires. En raison de l'extrême variabilité intrinsèque de ce type d'écosystème, la mise en œuvre de cet outil est un réel défi. En s'appuyant sur la connaissance préalablement acquise, une réflexion méthodologique approfondie a été menée pour définir des stratégies d'échantillonnage acoustiques afin d'optimiser la récolte de ce type de données. Plusieurs stratégies acoustiques ont d'abord été testées en tenant compte de la complexité et de la taille importante de l'écosystème étudié. La pertinence de ces données recueillies a ensuite été confrontée aux données des pêches scientifiques. Enfin, l'hydroacoustique a été mis à profit pour répondre à des questions sur la dynamique ichtyologique à des échelles spatiales et temporelles plus fines notamment pour étudier les influences tidales et nycthémérales. Ce travail démontre qu'il est possible de mettre en place un suivi acoustique des peuplements ichtyologiques pour un estuaire comme la Gironde. Comme outil complémentaire aux approches traditionnelles, l'hydroacoustique ouvre un large champ de possibilités pour appréhender la biocénose piscicole pour les milieux estuariens.

Les théories implicites (TIs) sont des croyances sous-jacentes et interconnectées qui influencent les pensées conscientes et le comportement (Ward, 2000). Elles ont été étudiées chez les délinquants et les délinquantes sexuels, ainsi que chez les délinquants violents, mais pas chez les délinquantes violentes. La recherche montre que les cognitions des délinquants violents peuvent être organisées en quatre TIs: 1) Battre ou être battu, 2) Je suis la loi, 3) La violence est normale, et 4) Je perds le contrôle (Polaschek, Calvert & Gannon , 2008). L’objectif de la présente étude était de déterminer quelles sont les TIs des délinquantes violentes afin de mieux comprendre leur comportement. Des entrevues semi structurées ont été menées avec 21 femmes violentes incarcérées. Dans l'analyse, les cognitions des participantes ont été extraites en utilisant l’analyse du discours (Angers, 2005). Ces cognitions ont ensuite été plus profondément analysées pour en ressortir les TIs en suivant la méthode de la théorisation ancrée (Strauss & Corbin, 1990). Les résultats suggèrent qu’il existe six théories implicites liées au comportement violent des femmes. Deux d'entre elles sont neutres, car aussi retrouvées chez les hommes: 1) la violence est normale et 2) je perds le contrôle. Les quatre autres sont sexo-spécifiques: 3) ceux qui agissent injustement méritent d'être battus, 4) j'ai besoin de me protéger et protéger les autres, 5) je ne suis pas violente, et 6) ma vie est trop difficile. En outre, les résultats suggèrent qu'il existe deux groupes distincts d’agresseures en ce qui concerne les cognitions: les « antisociales » et les « classiques ». Les implications et explications théoriques de nos résultats seront discutées. / Implicit theories are defined as underlying and interconnected beliefs that influence conscious thoughts and their related behaviors (Ward, 2000). Implicit theories have been investigated in male and female sexual offenders and male violent offenders, but never in female violent offenders. Research shows that male violent offenders’ cognitions can be organized into four implicit theories: 1) Beat or be beaten; 2) I am the law; 3) Violence is normal; and 4) I get out of control (Polaschek, Calvert & Gannon, 2008). The aim of this study was to examine the implicit theories of violent female offenders. Semi-structured interviews were conducted with 21 convicted violent women. In the analysis, participants’ cognitions were extracted using the discourse thematic analysis method (Angers, 2005). These cognitions were then thematically organized into implicit theories using the Grounded Theory method (Strauss & Corbin, 1990). Results show that women hold six categories of implicit theories. To of them are neutral, because there were also found in the male offender’s study: 1) Violence is normal and 2) I get out of control. The four other are gender-specific: 3) Those who act unfairly deserve to be beaten, 4) I need to protect myself and others, 5) I am not a violent person, and 6) Life is too hard on me. In addition, results suggest that there are two distinct groups of female offenders that differ in their cognitions: the “antisocial offenders” and the “classic offenders”. Implications and theoretical explanations of are results are discussed.

Cette thèse porte sur la modélisation des ondes élastodynamiques dans deux situations particulières qui pénalisent les méthodes numériques utilisées pour simuler ces phénomènes. Dans la première partie, on se place dans le cas où les ondes de pression (ondes P) se propagent à une vitesse beaucoup plus grande que celle des ondes de cisaillement (ondes S). Les modèles numériques utilisés habituellement pour traiter cette configuration sont pénalisés par la plus petite vitesse qui dicte le choix du pas du schéma. Nous proposons ici un schéma qui découple numériquement, dans le volume, les ondes P et les ondes S, pour deux types de conditions de bord en utilisant la décomposition du déplacement en potentiels de Lamé, en deux dimensions. Les conditions aux limites de Dirichlet homogènes, qui sont des conditions essentielles pour la formulation classique en déplacement, deviennent des conditions naturelles, mais non standard, pour la formulation en potentiels qui se présente comme un système de deux équations d'ondes couplées par les conditions aux limites. Cette formulation préserve une énergie équivalente à l'énergie élastodynamique. Nous construisons un schéma éléments finis en espace et utilisons un thêta-schéma en temps sur les termes de bord afin de ne pas pénaliser la CFL et mener à une condition sur le pas de temps indépendante des termes de couplage au bord. Ce schéma préserve une énergie discrète. Le cas des conditions de surface libre mène à des instabilités. Nous les avons traitées comme des perturbations des conditions de Dirichlet, ce qui permet d'obtenir de bons résultats dans le domaine fréquentiel mais donne naissance à de sévères instabilités après discrétisation en temps. La seconde partie de la thèse est consacrée à la construction, l'analyse et la validation de conditions de transmission effectives (CTE) à travers une couche mince de matériau homogène et isotrope d'épaisseur constante h. Ici, la finesse de la couche affecte les schémas explicites usuels car le maillage de la couche avec des éléments suffisamment petits entraîne une diminution analogue du pas de temps critique via la condition CFL, tandis que l'on espère avec les CTE obtenir un pas de temps indépendant de l'épaisseur de la couche. Une analyse complète du cas de la bande mince rectiligne est donnée en deux et trois dimensions. Les conditions obtenues sont stables via la conservation d'une énergie et l'ordre de l'erreur d'approximation par rapport à l'épaisseur de la couche pour les conditions d'ordre 2 est de O(h^3). Des résultats numériques sont présentés pour les configurations bi et tridimensionnelles, ils valident les résultats de stabilité, d'estimation d'erreur et de conditions de stabilité de schémas en temps proposés, qui sont des modifications du schéma explicite utilisé en l'absence de couche mince. Enfin, le traitement d'une couche curviligne est effectué dans le cas bidimensionnel. Sa stabilité est à nouveau vérifiée par conservation d'énergie et des résultats numériques sont également présentés.

Cette thèse est dédiée au développement et à l'analyse de schémas numériques de type volumes finis pour des équations de convection-diffusion, qui apparaissent notamment dans des modèles issus de la physique ou de la biologie. Nous nous intéressons plus particulièrement à la préservation de comportements asymptotiques au niveau discret. Ce travail s'articule en trois parties, composées chacune de deux chapitres. Dans la première partie, nous considérons la discrétisation du système de dérive diffusion linéaire pour les semi-conducteurs par le schéma de Scharfetter-Gummel implicite en temps. Nous nous intéressons à la préservation par ce schéma de deux types d'asymptotiques : l'asymptotique en temps long et la limite quasi-neutre. Nous démontrons des estimations d'énergie-dissipation d'énergie discrètes qui permettent de prouver d'une part la convergence en temps long de la solution approchée vers une approximation de l'équilibre thermique, d'autre part la stabilité à la limite quasi-neutre du schéma. Dans la deuxième partie, nous nous intéressons à des schémas volumes finis préservant l'asymptotique en temps long dans un cadre plus général. Plus précisément, nous considérons des équations de type convection-diffusion non linéaires qui apparaissent dans plusieurs contextes physiques : équations des milieux poreux, système de dérive-diffusion pour les semi-conducteurs... Nous proposons deux discrétisations en espace permettant de préserver le comportement en temps long des solutions approchées. Dans un premier temps, nous étendons la définition du flux de Scharfetter-Gummel pour une diffusion non linéaire. Ce schéma fournit des résultats numériques satisfaisants si la diffusion ne dégénère pas. Dans un second temps, nous proposons une discrétisation dans laquelle nous prenons en compte ensemble les termes de convection et de diffusion, en réécrivant le flux sous la forme d'un flux d'advection. Le flux numérique est défini de telle sorte que les états d'équilibre soient préservés, et nous utilisons une méthode de limiteurs de pente pour obtenir un schéma précis à l'ordre deux en espace, même dans le cas dégénéré. Enfin, la troisième et dernière partie est consacrée à l'étude d'un schéma numérique pour un modèle de chimiotactisme avec diffusion croisée pour lequel les solutions n'explosent pas en temps fini, quelles que soient les données initiales. L'étude de la convergence du schéma repose sur une estimation d'entropie discrète nécessitant l'utilisation de versions discrètes d'inégalités fonctionnelles telles que les inégalités de Poincaré-Sobolev et de Gagliardo-Nirenberg-Sobolev. La démonstration de ces inégalités fait l'objet d'un chapitre indépendant dans lequel nous proposons leur étude dans un contexte assez général, incluant notamment le cas de conditions aux limites mixtes et une généralisation au cadre des schémas DDFV.

L'objet de cette thèse est l'étude mathématique de modèles probabilistes pour la génération et la propagation d'un potentiel d'action dans les neurones et plus généralement de modèles aléatoires pour les systèmes excitables. En effet, nous souhaitons étudier l'influence du bruit sur certains systèmes excitables multi-échelles possédant une composante spatiale, que ce soit le bruit contenu intrinsèquement dans le système ou le bruit provenant du milieu. Ci-dessous, nous décrivons d'abord le contenu mathématique de la thèse. Nous abordons ensuite la situation physiologique décrite par les modèles que nous considérons. Pour étudier le bruit intrinsèque, nous considérons des processus de Markov déterministes par morceaux à valeurs dans des espaces de Hilbert ("Hilbert-valued PDMP"). Nous nous sommes intéressés à l'aspect multi-échelles de ces processus et à leur comportement en temps long. Dans un premier temps, nous étudions le cas où la composante rapide est une composante discrète du PDMP. Nous démontrons un théorème limite lorsque la composante rapide est infiniment accélérée. Ainsi, nous obtenons la convergence d'une classe de "Hilbert-valued PDMP" contenant plusieurs échelles de temps vers des modèles dits moyennés qui sont, dans certains cas, aussi des PDMP. Nous étudions ensuite les fluctuations du modèle multi-échelles autour du modèle moyenné en montrant que celles-ci sont gaussiennes à travers la preuve d'un théorème de type "central limit". Dans un deuxième temps, nous abordons le cas où la composante rapide est elle-même un PDMP. Cela requiert de connaître la mesure invariante d'un PDMP à valeurs dans un espace de Hilbert. Nous montrons, sous certaines conditions, qu'il existe une unique mesure invariante et la convergence exponentielle du processus vers cette mesure. Pour des PDMP dits diagonaux, la mesure invariante est explicitée. Ces résultats nous permettent d'obtenir un théorème de moyennisation pour des PDMP "rapides" couplés à des chaînes de Markov à temps continu "lentes". Pour étudier le bruit externe, nous considérons des systèmes d'équations aux dérivées partielles stochastiques (EDPS) conduites par des bruits colorés. Sur des domaines bornés de $\mathbb{R}^2$ ou $\mathbb{R}^3$, nous menons l'analyse numérique d'un schéma de type différences finies en temps et éléments finis en espace. Pour une classe d'EDPS linéaires, nous étudions l'erreur de convergence forte de notre schéma. Nous prouvons que l'ordre de convergence forte est deux fois moindre que l'ordre de convergence faible. Par des simulations, nous montrons l'émergence de phénomènes d'ondes ré-entrantes dues à la présence du bruit dans des domaines de dimension deux pour les modèles de Barkley et Mitchell-Schaeffer.

L'interopérabilité entre applications et les passerelles entre différentes sources de don- nées sont devenues des enjeux cruciaux pour permettre des échanges d'informations op- timaux. Cependant, certains processus nécessaires à cette intégration ne peuvent pas être complétement automatisés à cause de leur complexité. L'un de ces processus, la mise en correspondance de schémas, est maintenant étudié depuis de nombreuses années. Il s'attaque au problème de la découverte de correspondances sémantiques entre éléments de différentes sources de données, mais il reste encore principalement effectué de manière manuelle. Par conséquent, le déploiement de larges systèmes de partage d'informations ne sera possible qu'en (semi-)automatisant ce processus de mise en correspondance. De nombreux outils de mise en correspondance de schémas ont été développés ces dernières décennies afin de découvrir automatiquement des mappings entre éléments de schémas. Cependant, ces outils accomplissent généralement des tâches de mise en cor- respondance pour des critères spécifiques, comme un scénario à large échelle ou la décou- verte de mappings complexes. Contrairement à la recherche sur l'alignement d'ontologies, il n'existe aucune plate-forme commune pour évaluer ces outils. Aussi la profusion d'outils de découverte de correspondances entre schémas, combinée aux deux problèmes évoqués précedemment, ne facilite pas, pour une utilisatrice, le choix d'un outil le plus ap- proprié pour découvrir des correspondances entre schémas. La première contribution de cette thèse consiste à proposer un outil d'évaluation, appelé XBenchMatch, pour mesurer les performances (en terme de qualité et de temps) des outils de découverte de corre- spondances entre schémas. Un corpus comprenant une dizaine de scénarios de mise en correspondance sont fournis avec XBenchMatch, chacun d'entre eux représentant un ou plusieurs critères relatif au processus de mise en correspondance de schémas. Nous avons également conçu et implémenté de nouvelles mesures pour évaluer la qualité des schémas intégrés et le post-effort de l'utilisateur. Cette étude des outils existants a permis une meilleure compréhension du processus de mise en correspondance de schémas. Le premier constat est que sans ressources ex- ternes telles que des dictionnaires ou des ontologies, ces outils ne sont généralement pas capables de découvrir des correspondances entre éléments possédant des étiquettes très différentes. Inversement, l'utilisation de ressources ne permet que rarement la découverte de correspondances entre éléments dont les étiquettes se ressemblent. Notre seconde con- tribution, BMatch, est un outil de découverte de correspondances entre schémas qui inclut une mesure de similarité structurelle afin de contrer ces problèmes. Nous démontrons en- suite de manière empirique les avantages et limites de notre approche. En effet, comme la plupart des outils de découverte de correspondances entre schémas, BMatch utilise une moyenne pondérée pour combiner plusieurs valeurs de similarité, ce qui implique une baisse de qualité et d'efficacité. De plus, la configuration des divers paramètres est une autre difficulté pour l'utilisatrice. Pour remédier à ces problèmes, notre outil MatchPlanner introduit une nouvelle méth- ode pour combiner des mesures de similarité au moyen d'arbres de décisions. Comme ces arbres peuvent être appris par apprentissage, les paramètres sont automatiquement config- urés et les mesures de similarité ne sont pas systématiquement appliquées. Nous montrons ainsi que notre approche améliore la qualité de découverte de correspondances entre sché- mas et les performances en terme de temps d'exécution par rapport aux outils existants. Enfin, nous laissons la possibilité à l'utilisatrice de spécifier sa préférence entre précision et rappel. Bien qu'équipés de configuration automatique de leurs paramètres, les outils de mise en correspondances de schémas ne sont pas encore suffisamment génériques pour obtenir des résultats qualitatifs acceptables pour une majorité de scénarios. C'est pourquoi nous avons étendu MatchPlanner en proposant une "fabrique d'outils" de découverte de corre- spondances entre schémas, nommée YAM (pour Yet Another Matcher). Cet outil apporte plus de flexibilité car il génère des outils de mise en correspondances à la carte pour un scénario donné. En effet, ces outils peuvent être considérés comme des classifieurs en apprentissage automatique, puisqu'ils classent des paires d'éléments de schémas comme étant pertinentes ou non en tant que mappings. Ainsi, le meilleur outil de mise en cor- respondance est construit et sélectionné parmi un large ensemble de classifieurs. Nous mesurons aussi l'impact sur la qualité lorsque l'utilisatrice fournit à l'outil des mappings experts ou lorsqu'elle indique une préférence entre précision et rappel.

Le bon fonctionnement et les performances des turbines à vapeur sont liés à l'état de la vapeur et notamment au taux d'humidité qu'elle contient. EDF souhaite pouvoir maîtriser les phénomènes spécifiques à ces problématiques afin d'améliorer l'utilisation et l'évolution de ses turbines. Le sujet de recherche concerne la modélisation de la formation de l'humidité dans un corps de turbine et l'étude des couplages entre la phase liquide et les instationnarités. Dans ce contexte, la démarche adoptée est la suivante : la présence d'humidité est prise en compte à l'aide d'un modèle homogène, couplé à des modèles de condensation permettant de prendre en compte les phénomènes hors-équilibre thermodynamique : le grossissement et la nucléation des gouttes d'eau dans la vapeur. Pour mener à bien les calculs, des méthodes numériques adaptées aux gaz réels ont été utilisées et testées à l'aide d'un code monodimensionnel avant d'être intégrées dans le code 3D elsA. Deux types de modèles de condensation ont été mis en œuvre, considérant ou non la polydispersion des gouttes dans la vapeur. Les couplages instationnaires entre la condensation et l'écoulement principal ont été étudiés à différents niveaux d'observations (1D, 1D − 3D, 3D). Il a été montré que la méthode des moments apporte une richesse supplémentaire par rapport à un modèle mono-dispersé, et permet de mieux capter les couplages instationnaires entre l'humidité et le champ principal.

Singularité et bien d'expérience, le film est source de grands plaisirs et de nombreuses déceptions qui participent à la construction de la carrière cinématographique des spectateurs. Alors que l'industrie cinématographique cherche à satisfaire le goût du public, les recherches sociologiques et économiques sur le cinéma se sont peu intéressées à la construction de la satisfaction et insatisfaction dans le temps.Cette thèse se propose de montrer que le degré de satisfaction est le résultat d'un processus qui commence avant la projection et s'achève bien après celle-ci. C'est un parcours personnel et social qui conduit le spectateur à rencontrer trois oeuvres : le film attendu, le film interprété et le film-souvenir. Elle constitue une approche de la manière dont ces trois représentations mettent en jeu les schémas personnels du spectateur et les influences externes auxquelles il est soumis. Elle s'appuie sur une analyse théorique pluridisciplinaire ainsi que sur des cas pratiques construits à partir de données :- qualitatives (tirées de 22 séries de quatre entretiens rapportant l'opinion de spectateurs sur le film Solaris - de Steven Soderbergh - avant et après la projection),- quantitatives (à partir d'une base de données portant sur 577 films répartis sur 11 genres différents)