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.

L'objectif de cette thèse est d'étudier le traitement des expressions faciales de douleur d'un point de vue psychophysique et neurophysiologique. Contrairement aux autres émotions dites de base, la douleur est à la fois une expérience sensorielle et émotionnelle, composantes qui se retrouvent sur l'expression faciale de douleur qui accompagne cette expérience. En ce sens, l'expression faciale de douleur semble être plus riche et complexe que l'expression faciale d'autres émotions, la rendant particulière. Dans une première partie de notre travail, nous avons montré, chez des sujets sains, que l'expression faciale de douleur engendrait un plus haut niveau d'empathie que l'expression faciale d'autres émotions. De plus, une présentation de ces visages masqués à 100 ms était suffisante pour permettre de détecter la douleur sur un visage de façon subliminale alors même que la reconnaissance du genre était impossible dans ces conditions. Dans une seconde partie, nous avons étudié le traitement implicite des expressions faciales de douleur chez des patients souffrant d'épilepsie réfractaire et explorés en stéréotaxie par des électrodes intracérébrales. Pour cela, nous avons détourné leur attention du caractère émotionnel des visages et enregistré des réponses évoquées aux visages expressifs. Les résultats montrent une activation précoce de l'insula antérieure (début de réponse à 131 ms ; pic à 180 ms post-stimulus) suivie d'une activation de l'amygdale (début à 273 ms ; pic à 363 ms). Cependant, ces activations antéro-insulaire et amygdalienne ne sont pas spécifiques de la douleur. L'insula postérieure semble également répondre à la présentation de visages exprimant la douleur mais l'amplitude de cette réponse ne diffère pas de celle de la réponse aux visages neutres. Ainsi, malgré les nombreuses informations que véhicule un visage de douleur, l'être humain est capable de le détecter très rapidement et d'être suffisamment empathique pour prodiguer l'aide appropriée à son prochain. Cette capacité serait permise grâce à l'insula antérieure, relai entre nociception et douleur / The aim of this work is to study painful facial expression processing through psychophysical and neurophysiological approaches. Contrary to the basic emotions, pain is both a sensory and an emotional experience and these two aspects are encoded in the facial expression of pain. In that sense, painful facial expressions are richer and more complex than the facial expression of others emotions. In a first phase, we showed that painful facial expressions trigger more empathy than other emotional facial expressions in healthy subjects. Moreover, a 100ms-masked presentation of faces is enough to subliminally detect pain but not gender. In a second phase, we studied pre-conscious processing of painful facial expressions in patients suffering from refractory epilepsy having intracranial electrodes implanted in the insular cortex and amygdala for stereotaxic exploration of epilepsy. To this purpose, we diverted the patients' attention from the emotional aspects of the faces by asking them to focus on the gender and we recorded evoked potentials to pain and other emotional faces. Results showed an early activation in the anterior part of the insula (onset latency around 131ms, peak latency 180ms post stimulus) followed by an amygdala response (onset latency around 273ms, peak latency 363ms post stimulus). Response to pain faces is larger than that to other emotional faces in anterior insula but anterior-insula and amygdala activations are not pain specific. Posterior part of the insula also responds to painful faces but the amplitude of the evoked potentials do not differ from that of potentials evoked by neutral faces. In this way, even if the pain face contains a great amount of information, the human- being is able to rapidly detect it and to be empathic enough to provide the help needed for others in pain. This ability would be possible through anterior insula activation, thought to be a relay between nociception and emotional reaction to pain