La modélisation structurale consiste à approximer les structures géologiques du sous-sol en un modèle numérique afin d'en visualiser la géométrie et d'y effectuer des calculs d'estimation et de prédiction. L'approche implicite de la modélisation structurale utilise des données de terrain interprétées pour construire une fonction volumétrique sur le domaine d'étude qui représente la géologie. Cette fonction doit honorer les observations, interpoler entre ces dernières, et extrapoler dans les zones sous-échantillonnées tout en respectant les concepts géologiques. Les méthodes actuelles portent cette interpolation soit sur les données, soit sur un maillage. Ensuite, le problème de modélisation est posé selon la discrétisation choisie : par krigeage dual sur les points de donnée ou en définissant un critère de rugosité sur les éléments du maillage. Dans cette thèse, nous proposons une formulation continue de la modélisation structurale par méthodes implicites. Cette dernière consiste à minimiser une somme de fonctionnelles arbitraires. Les contraintes de donnée sont imposées avec des fonctionnelles discrètes, et l'interpolation est contrôlée par des fonctionnelles continues. Cette approche permet de (i) développer des liens entre les méthodes existantes, (ii) suggérer de nouvelles discrétisations d'un même problème de modélisation, et (iii) modifier le problème de modélisation pour mieux honorer certains cas géologiques sans dépendre de la discrétisation. Nous portons également une attention particulière à la gestion des discontinuités telles que les failles et les discordances. Les méthodes existantes nécessitent soit la création de zones volumétriques avec des géométries complexes, soit la génération d'un maillage volumétrique dont les éléments sont conformes aux surfaces de discontinuité. Nous montrons, en explorant des méthodes sans maillage locales et des concepts de réduction de maillage, qu'il est possible d'assurer l'interpolation des structures tout en réduisant les contraintes liées à la gestion des discontinuités. Deux discrétisations de notre problème de minimisation sont suggérées : l'une utilise les moindres carrés glissants avec des critères optiques pour la gestion des discontinuités, et l'autre utilise des fonctions issues de la méthode des éléments finis avec le concept de nœuds fantômes pour les discontinuités. Une étude de sensibilité et une comparaison des deux méthodes sont proposées en 2D, ainsi que quelques exemples en 3D. Les méthodes développées dans cette thèse ont un grand impact en termes d'efficacité numérique et de gestion de cas géologiques complexes. Par exemple, il est montré que notre problème de minimisation au sens large apporte plusieurs solutions pour la gestion de cas de plis sous-échantillonnés et de variations d'épaisseur dans les couches stratigraphiques. D'autres applications sont également présentées tels que la modélisation d'enveloppe de sel et la restauration mécanique. / Implicit structural modeling consists in approximating geological structures into a numerical model for visualization, estimations, and predictions. It uses numerical data interpreted from the field to construct a volumetric function on the domain of study that represents the geology. The function must fit the observations, interpolate in between, and extrapolate where data are missing while honoring the geological concepts. Current methods support this interpolation either with the data themselves or using a mesh. Then, the modeling problem is posed depending on these discretizations: performing a dual kriging between data points or defining a roughness criterion on the mesh elements. In this thesis, we propose a continuous formulation of implicit structural modeling as a minimization of a sum of generic functionals. The data constraints are enforced by discrete functionals, and the interpolation is controlled by continuous functionals. This approach enables to (i) develop links between the existing methods, (ii) suggest new discretizations of the same modeling problem, and (iii) modify the minimization problem to fit specific geological issues without any dependency on the discretization. Another focus of this thesis is the efficient handling of discontinuities, such as faults and unconformities. Existing methods require either to define volumetric zones with complex geometries, or to mesh volumes with conformal elements to the discontinuity surfaces. We show, by investigating local meshless functions and mesh reduction concepts, that it is possible to reduce the constraints related to the discontinuities while performing the interpolation. Two discretizations of the minimization problem are then suggested: one using the moving least squares functions with optic criteria to handle discontinuities, and the other using the finite element method functions with the concept of ghost nodes for the discontinuities. A sensitivity analysis and a comparison study of both methods are performed in 2D, with some examples in 3D. The developed methods in this thesis prove to have a great impact on computational efficiency and on handling complex geological settings. For instance, it is shown that the minimization problem provides the means to manage under-sampled fold structures and thickness variations in the layers. Other applications are also presented such as salt envelope surface modeling and mechanical restoration.

Cette thèse d'habilitation à diriger des recherches décrit un projet en économie des pêches centré sur la question des conditions d'évolution de la rente halieutique, avec une application aux flottilles françaises opérant en Atlantique. La quantification de la rente et l'analyse des processus par laquelle elle évolue, sont un enjeu majeur de recherche dans un domaine où des bénéfices substantiels peuvent être attendus d'une modification des conditions d'accès à des ressources communes et naturelles. La stratégie de recherche est organisée autour de thèmes complémentaires de travail qui concernent l'évaluation économique des usages, l'analyse des comportements des flottilles de pêche et le développement d'approches intégrées en bioéconomie pour l'évaluation de scénarios de gestion des pêcheries. Le corpus théorique mobilisé emprunte principalement à l'économie des ressources renouvelables, à la microéconomie et par certains aspects aux concepts de l'économie institutionnelle. L'accent est porté en particulier sur les outils et les méthodes permettant d'améliorer les connaissances sur les structures et le statut économique de l'exploitation, mais également d'identifier les facteurs clés de la dynamique des flottilles de pêche. La compréhension de ces dynamiques est en effet essentielle pour prévoir les réponses possibles des usages halieutiques à des modifications des conditions économiques, institutionnelles ou environnementales. L'évaluation des effets économiques et biologiques réels de telles modifications en dépend. L'intérêt des évaluations bioéconomiques est également d'illustrer le caractère nécessaire mais non suffisant des mesures de conservation, ainsi que la nécessité de mettre en place des mécanismes incitatifs susceptibles de limiter les coûts sociaux de certaines pratiques. Cette thèse permet en particulier de fournir une première évaluation de rentes à une échelle dépassant la simple pêcherie et d'illustrer le phénomène de capitalisation de ces rentes dans le prix des navires, qui sont devenus des supports de droits de pêche sur le marché de l'occasion. Au-delà des effets redistributifs de l'allocation de ces droits, la dynamique des facteurs de production est elle-même influencée par un contexte de régulation de l'accès aux pêcheries de plus en plus contraignant.

Dans cette thèse, nous nous intéressons à la résolution exacte de programmes linéaires en variables binaires. L'ensemble de nos travaux s'articule autour de l'étude de Resolution search (Chvátal (1997)) pour la résolution du problème du sac à dos multidimensionnel en 0-1. Dans un premier temps, nous proposons un algorithme d'énumération implicite centré sur une analyse des coûts réduits à l'optimum de la relaxation continue ainsi que sur une décomposition de l'espace de recherche en hyperplans. Nous proposons une stratégie de branchement originale visant à élaguer au plus tôt l'arbre de recherche. Cette stratégie est efficace pour résoudre des instances jugées difficiles mais rend l'algorithme dépendant de la connaissance d'une bonne solution de départ. Dans un deuxième temps, nous proposons une méthode de résolution plus autonome combinant Resolution search avec une énumération implicite inspirée du premier algorithme. Cette coopération permet d'obtenir rapidement de bonnes solutions et prouve les optimums d'instances de plus grande taille. Finalement, nous présentons une application de Resolution Search à la résolution d'un problème de planification dans le domaine des télécommunications.

Les domaines de géométrie algébrique et de géométrie algorithmique, bien qu'étroitement liés, sont traditionnellement représentés par des communautés de recherche disjointes. Chacune d'entre elles utilisent des courbes et surfaces, mais représentent les objets de différentes manières. Alors que la géométrie algébrique définit les objets par le biais d'équations polynomiales, la géométrie algorithmique a pour habitude de manipuler des modèles linéaires. La tendance actuelle est d'appliquer les algorithmes traditionnels de géométrie algorithmique sur des modèles non linéaires tels que ceux trouvés en géométrie algébrique. De tels algorithmes jouent un rôle important dans de nombreux champs d'application tels que la Conception Assistée par Ordinateur. Leur utilisation soulève d'importantes questions en matière de développement logiciel. Tout d'abord, la manipulation de leur représentation implique l'utilisation de calculs symboliques numériques qui représentent toujours un domaine de recherche majeur. Deuxièmement, leur visualisation et leur manipulation n'est pas évidente, en raison de leur caractère abstrait.<br /><br />La première partie de cette thèse porte sur l'utilisation de méthodes algébriques en modélisation géométrique, l'accent étant mis sur la topologie, l'intersection et l'auto-intersection dans le cadre du calcul d'arrangement d'ensembles semi-algébriques comme les courbes et surfaces à représentation implicite ou paramétrique. Une attention particulière est portée à la généricité des algorithmes qui peuvent être spécifiés quel que soit le contexte, puis spécialisés pour répondre aux exigences d'une certaine représentation.<br /><br />La seconde partie de cette thèse présente le prototypage d'un environnement de modélisation géométrique dont le but est de fournir un moyen générique et efficace pour modéliser des solides à partir d'objets géométriques à re\-pré\-sen\-ta\-tion algébrique tels que les courbes et surfaces implicites ou paramétriques, à la fois d'un point de vue utilisateur et d'un point de vue de développeur, par l'utilisation de librairies de calcul symbolique numérique pour la<br />manipulation des polynômes définissant les objets géométriques.

Ce travail vise Ce travail vise à améliorer la performance du code éléments finis FORGE®. En effet, la modélisation du contact dans ce code s'avère insatisfaisante pour simuler les procédés de mise en forme des matériaux à faible zone de contact. On présente dans ce mémoire les développements qui ont été réalisés pour améliorer le modèle de contact existant. Dans la première partie, partant de ce modèle, on s'intéresse à un problème spécifique qui est le procédé de laminage circulaire. Un nouveau modèle de traitement du contact dédié à ce procédé est développé. Il repose sur un schéma de réactualisation temporelle en coordonnées cylindriques, une formulation implicite et une description analytique des obstacles. La condition de contact incrémentale est alors imposée exactement en fin d'incrément. On valide ces développements sur plusieurs cas de procédé de laminage circulaire où l'on montre l'apport du nouvel algorithme en terme de précision de gestion de contact et aussi en terme d'amélioration des résultats de simulation et des temps de calcul. Dans la deuxième partie, on a généralisé cette approche à l'ensemble des procédés à faible zone pour lesquels une représentation analytique des outils n'est pas possible. On a développé alors un modèle implicite général basé sur la réactualisation de la condition de contact au cours des itérations de Newton-Raphson. Cette méthode permet de tenir compte exactement de l'évolution de la position relative de la pièce et de l'outil. Ensuite, on généralise le lissage des outils à des pièces de géométrie plus complexes. On étudie alors l'influence de la discrétisation de l'outil sur la précision de la simulation des procédés de mise en forme et particulièrement pour des procédés à faible zone de contact. Une méthode d'interpolation quadratique proposée par Nagata est alors implémentée pour le lissage de la surface des outils discrétisés par des éléments plans. La nouvelle surface interpolée est déterminée d'une façon locale à partir seulement de la position des nœuds et des normales nodales. Ces normales sont calculées à partir des normales aux facettes entourant le nœud considéré en utilisant la méthode des normales votées. L'efficacité de cette méthode combinée à schéma d'intégration implicite est testée pour plusieurs procédés de mise en forme.

La prise en compte de la thermique couplée au modèle mécanique continue à poser des défis à la modélisation numérique, et plus particulièrement lors de la simulation du procédé de forgeage à chaud (déformations importantes de la pièce chaude au contact d'outils plus froids). Cette thématique d'actualité encore peu ou mal traitée dans les codes de calculs classiques (présence de problèmes de stabilité et de convergence dus aux fortes non linéarités des modèles thermomécaniques) nous amène à mettre au point une méthodologie numérique satisfaisante de l'équilibre thermique en vue de simuler un tel couplage, avec un bon compromis entre la précision de l'estimation du champ de température et le temps de résolution. Ainsi, trois modèles numériques sont introduits et intégrés dans le code éléments finis Forge 3 tous basés sur une formulation mixte à deux champs en température/flux de chaleur pour décrire le problème thermique instationnaire. - Deux modèles basés sur la méthode de Galerkin Discontinue et l'élément fini constant P0 sont d'abord présentés: # le schéma explicite Taylor Galerkin Discontinu (TGD) associé à des éléments finis mixtes discontinus P0/P0 et à un développement de Taylor explicite, le modèle Galerkin Discontinu Implicite (GDIMP), notre première méthode qui est une amélioration du schéma TGD avec une formulation plus précise pour l'estimation du flux (éléments finis mixtes P0/P+0 ) et une convergence plus rapide (schéma d'Euler implicite). - Notre nouvelle formulation, la formulation Mixte continue basée sur l'élément fini mixte linéaire P1/P1 et sur un schéma temporel implicite. Tout au long de ce travail, ces méthodes numériques sont décrites, évaluées, validées (solutions analytiques ou résultats expérimentaux) comparées et soumises à des discussions critiques quant à leur efficacité et leur robustesse.

L'objectif de ce travail est l'étude du problème non linéaire de type pseudo parabolique suivant : trouver une fonction mesurable $u$ de $Q:=]0,T[\times \Omega$ solution de \begin{equation*} \left\{ \begin{array}{l@{\quad}l} f\left(t,x,u_t\right)-Div \left\{a\left(x,u,u_t\right)\nabla u+b\left(x,u,u_t\right)\nabla u_t \right\}=g(t,x), \; (t,x)\in Q, \\ u(x,t)=0,\; (t,x)\in ]0,T[\times \partial \Omega, \\ u(0,x)=u_0, \; x\in \Omega,\\ \end{array} \right. \end{equation*} où l'opérateur de Nemestki associé à la fonction $f$ est monotone.\\ Un premier chapitre est conscré à l'étude de l'existence d'une solution pour le problème ci-dessus. Pour cela, on utilise une méthode de semi-discrétisation implicite en temps. L'existence des itérés repose sur le théorème de point fixe de Schauder-Tikhonov et la convergence du schéma sur une outil de compacité adapté à la situation. À la fin du chapitre, on propose des applications à l'équation de Barenblatt et au cas d'un $f$ multivoque. \\ Dans le second chapitre, on s'intéresse au problème de Barenblatt pseudo-parabolique : rechercher une fonction mesurable $u$ de $Q$ à valeur réelle telle que \begin{equation*} \left\{ \begin{array}{l@{\quad}l} f\left(u_t\right(t,x))-\Delta u(t,x)-\epsilon \Delta u_t(t,x)=g(t,x), \; (t,x)\in Q, \\ u(x,t)=0,\; (t,x)\in ]0,T[\times \partial \Omega, \\ u(0,x)=u_0, \; x\in \Omega,\\ \end{array} \right. \end{equation*} où $f$ n'est pas nécessairement monotone.\\ Pour $\epsilon> \epsilon_0>0 $, où $\epsilon_0$ est une valeur critique, on montre que le problème est bien posé en utilisant une méthode similaire à celle du premier chapitre. Pour la valeur critique de $\epsilon=\epsilon_0$, le problème admet au plus une solution ; cette dernière existe moyennant une hypothèse supplémentaire sur $f$. Enfin, si $0<\epsilon<\epsilon_0$, la solution n'est pas unique en général. On propose enfin d'une approche stochastique de l'équation pseudo-parabolique de Barenblatt-Sobolev. Le dernier chapitre propose des simulations numériques monodimensionnelles ; notamment, on s'intéresse à la perturbation singulière pseudo-parabolique lorsque la diffusion moléculaire change de signe.

Ce travail de thèse se consacre au développement et à l'analyse d'une méthode de décomposition spectrale en temps TSM (Time Spectral Method) visant à calculer efficace- ment des écoulements à périodicité temporelle. L'intérêt principal de cette formulation réside dans la possibilité de s'affranchir du calcul de la solution transitoire pour rechercher directe- ment l'état périodique établi et dans l'utilisation de grands pas de temps grace à la précision spectrale de la discrétisation temporelle TSM. La méthode TSM consiste à remplacer le calcul instationnaire d'une solution périodique en temps en le calcul de 2N + 1 problèmes station- naires couplés où N est le nombre d'harmoniques retenus dans la série de Fourier tronquée du système Navier-Stokes. La TSM est implémentée dans un code numérique qui résoud les équations instationnaires de Navier-Stokes dans un contexte de maillages non-structurés mis en mouvement grace à une approche ALE (Arbitary Lagrangian Eulerian). Une formulation implicite est proposée afin de rendre la méthode encore plus attrayante en termes de temps de calcul. Un apport original de cette thèse est l'extension de la TSM au calcul d'écoulements incompressibles laminaires en utilisant une méthode de compressibilité artificelle. Les cas tests de profils en mouvement de battement et d'oscillation permettent d'analyser et d'apprécier l'efficacité de cette nouvelle approche.

Le traitement numérique de problème de mécanique des fluides s'appuit sur des géométries souvent particulières et complexes. Afin de les représenter au mieux, nous avons développé une méthode de raccordement de maillages multiblocs non-conformes. Elle repose sur l'interpolation, non-conservative et implicite des variables des interfaces entre les blocs. Le traitement des conditions de raccord a été intégré au code de calcul Aquilon en 2D et en 3D, dans le contexte de la méthode du Lagrangien Augmentée servant à la résolution des équations de Navier-Stokes. La validation numérique 2D a été effectuée sur un ensemble de cas tests dont les solutions analytiques sont bien connues ainsi que sur les cas de la marche descendante, de la cavité entraînée et de l'écoulement autour d'un cylindre. Les résultats<br />obtenus montrent la faisabilité et le bien-fondé de l'approche proposée.

Le trouble dépressif majeur se caractérise par des troubles mnésiques, attentionnels et exécutifs, en particulier au niveau de l'inhibition cognitive et un biais dans le traitement des informations émotionnelles. L'objectif de ce travail était d'évaluer les processus de traitement émotionnel dans le trouble dépressif majeur en nous intéressant à l'inhibition cognitive et au traitement implicite des informations émotionnelles. Dans une première expérimentation, nous avons évalué les capacités d'inhibition cognitive auprès d'une population de vingts patients souffrant d'un trouble dépressif majeur en nous basant sur le modèle de Hasher et Zacks (1988), en utilisant du matériel d'évaluation neutre. Une tâche d'amorçage émotionnel avec différents types d'amorce (visages, sans, mots) a été utilisée pour évaluer les processus implicites. Nous avons expérimenté cette tâche auprès de 275 sujets sains afin de mettre en évidence un possible effet de genre, puis auprès d'une population de patients déprimés. Les principaux résultats confirment des capacités d'inhibition cognitive déficitaires dans le trouble dépressif majeur, notamment au niveau des fonctions d'accès et de freinage. La tâche d'amorçage émotionnel nous permet de confirmer le biais vers les informations négatives, corrélé au déficit d'inhibition cognitive. Une sensibilité des femmes non déprimées plus importante du côté des informations négatives se retrouve également chez les femmes déprimées. Nous discutons l'impact du déficit d'inhibition cognitive sur les processus de régulation émotionnelle, mais aussi la question d'une vulnérabilité féminine et les aspects psychopathologiques et thérapeutiques.