L'imagerie électrique est un outil de plus en plus important pour un large domaine d'applications relatives à la caractérisation de la subsurface proche. D'importants développements ont été réalisés au cours des vingt dernières années pour l'amélioration des systèmes d'acquisitions et des algorithmes d'inversions. L'acquisition et le traitement de gros jeux de données reste toutefois une tâche délicate, en particulier en présence de topographie. Afin d'améliorer la gestion de la topographie, nous avons développé un nouvel algorithme d'inversion électrique 2.5D et 3D. Nous avons proposé deux nouvelles formulations pour supprimer la singularité à la source. Le problème direct est résolu en utilisant la méthode des Différences Finies Généralisées et des maillages non structurés, permettant une représentation précise de la topographie. Le code d'inversion utilise la méthode de l'état adjoint pour calculer le gradient de la fonction objective de manière économique. Cette approche a donné de bons résultats avec des données synthétiques. Les premiers résultats sur des données réelles ont permis de retrouver les principales structures de la subsurface, ainsi que plusieurs zones de faibles résistivités pouvant correspondre à des zones fracturées.

Dans cette étude de doctorat, la technique de dépôt tridimensionnel de fibres (3DFD) a été appliquée pour développer et fabriquer des structures de support catalytique multi-canaux avancées. En utilisant cette technique, le matériau, la porosité, la forme et la taille des canaux et l'épaisseur des fibres peuvent être contrôlées. L'objectif de cette recherche est d'étudier les performances des supports structurés 3D conçus pour la méthanation du CO2 en termes d'activité, de sélectivité de stabilité et d’étudier l'impact des propriétés spécifiques introduites dans la conception structurale des supports. / In this doctoral study, the three dimensional fibre deposition (3DFD) technique has been applied to develop and manufacture advanced multi-channelled catalytic support structures. By using this technique, the material, the porosity, the shape and size of the channels and the thickness of the fibres can be controlled. The aim of this research is to investigate the possible benefits of 3D-designed structured supports for CO2 methanation in terms of activity, selectivity and stability and the impact of specific properties introduced in the structural design of the supports.

L'imagerie électrique est un outil de plus en plus important pour un large domaine d'applications relatives à la caractérisation de la subsurface proche. D'importants développements ont été réalisés au cours des vingt dernières années pour l'amélioration des systèmes d'acquisitions et des algorithmes d'inversions. L'acquisition et le traitement de gros jeux de données reste toutefois une tâche délicate, en particulier en présence de topographie. Afin d'améliorer la gestion de la topographie, nous avons développé un nouvel algorithme d'inversion électrique 2.5D et 3D. Nous avons proposé deux nouvelles formulations pour supprimer la singularité à la source. Le problème direct est résolu en utilisant la méthode des Différences Finies Généralisées et des maillages non structurés, permettant une représentation précise de la topographie. Le code d'inversion utilise la méthode de l'état adjoint pour calculer le gradient de la fonction objective de manière économique. Cette approche a donné de bons résultats avec des données synthétiques. Les premiers résultats sur des données réelles ont permis de retrouver les principales structures de la subsurface, ainsi que plusieurs zones de faibles résistivités pouvant correspondre à des zones fracturées. / DC resistivity imaging plays an important role for a wide range of applications related to the characterization of the shallow subsurface. Major developments have been made over the last two decades to improve acquisition systems as well as resistivity inversion. Nevertheless, large-scale data sets still represent a challenging task, in particular with arbitrary topography. In order to better take into account topography, we have developed a new 2.5D/3D tomographic inversion code. Two new formulations for the singularity removal have been proposed. The direct problem is solved in the framework of the Generalized Finite Differences Method, that allows the use of unstructured meshes yielding a fine represention of topography. The inversion code uses the adjoint state method to compute the gradient of the misfit function in a numerically efficient way, giving goodresults on synthetic data. First results on real data have shown the main subsurface structures, as well as several low resistivity zones possibly corresponding to fractured areas.

Une propriété d'un objet est dite opaque pour un observateur si celui-ci ne peut déduire que la propriété est satisfaite sur la base de l'observation qu'il a de cet objet. Supposons qu'un certain de nombre de propriétés (appelées secrets) soient attachées à chaque intervenant d'un système, nous dirons alors que le système lui-même est opaque si chaque secret d'un observateur lui est opaque : il ne peut percer aucun des secrets qui lui ont été attachés. L'opacité a été étudié préalablement dans le contexte des systèmes à événements discrets où différents jeux d'hypothèses ont pu être identifiés pour lesquels on pouvait d'une part décider de l'opacité d'un système et d'autre part développer des techniques pour diagnostiquer et/ou forcer l'opacité. Cette thèse constitue la première contribution au problème de l'opacité des artefacts d'un système à flots de tâches (système workflow). Notre propos est par conséquent de formaliser ce problème en dégageant les hypothèses qui doivent être posées sur ces systèmes pour que l'opacité soit décidable. Nous indiquons quelques techniques pour assurer l'opacité d'un système. / A property (of an object) is opaque to an observer when he or she cannot deduce the property from its set of observations. If each observer is attached to a given set of properties (the so-called secrets), then the system is said to be opaque if each secret is opaque to the corresponding observer. Opacity has been studied in the context of discrete event dynamic systems where technique of control theory were designed to enforce opacity. This thesis is the first attempt to formalize opacity of artifacts in data-centric workflow systems. We motivate this problem and give some assumptions that guarantee the decidability of opacity. Some techniques for enforcing opacity are indicated.

Les systèmes polynomiaux à plusieurs variables apparaissent naturellement dans de nombreux domaines scientifiques. Ces systèmes issus d'applications possèdent une structure algébrique spécifique. Une méthode classique pour résoudre des systèmes polynomiaux repose sur le calcul d'une base de Gröbner de l'idéal associé au système. Cette thèse présente de nouveaux outils pour la résolution de tels systèmes structurés, lorsque la structure est induite par l'action d'un groupe ou une structure monomiale particulière, qui englobent les systèmes multi-homogènes ou quasi-homogènes. D'une part, cette thèse propose de nouveaux algorithmes qui exploitent ces structures algébriques pour améliorer l'efficacité de la résolution de systèmes (systèmes invariant sous l'action d'un groupe ou à support dans un ensemble de monômes particuliers). Ces techniques permettent notamment de résoudre un problème issu de la physique pour des instances hors de portée jusqu'à présent. D'autre part, ces outils permettent d'améliorer les bornes de complexité de résolution de plusieurs familles de systèmes polynomiaux structurés (systèmes globalement invariant sous l'action d'un groupe abélien, individuellement invariant sous l'action d'un groupe quelconque, ou ayant leur support dans un même polytope). Ceci permet en particulier d'étendre des résultats connus sur les systèmes bilinéaires aux systèmes mutli-homogènes généraux. / Multivariate polynomial systems arise naturally in many scientific fields. These systems coming from applications often carry a specific algebraic structure.A classical method for solving polynomial systems isbased on the computation of a Gr\"obner basis of the ideal associatedto the system.This thesis presents new tools for solving suchstructured systems, where the structure is induced by the action of a particular group or a monomial structure, which include multihomogeneous or quasihomogeneous systems.On the one hand, this thesis proposes new algorithmsusing these algebraic structures to improve the efficiency of solving suchsystems (invariant under the action of a group or having a support in a particular set of monomials). These techniques allow to solve a problem arising in physics for instances out of reach until now.On the other hand, these tools improve the complexity bounds for solving several families of structured polynomial systems (systems globally invariant under the action of an abelian group or with their support in the same polytope). This allows in particular to extend known results on bilinear systems to general mutlihomogeneous systems.

La recherche sémantique de l'information a connu un nouvel essor avec les nouvelles technologies du Web sémantique. Des langages standards permettent aujourd'hui aux logiciels de communiquer par le biais de données écrites dans le vocabulaire d'ontologies de domaine décrivant une sémantique explicite. Cet accès ''sémantique'' à l'information requiert la disponibilité de bases de connaissances décrivant les instances des ontologies de domaine. Cependant, ces bases de connaissances, bien que de plus en plus riches, contiennent relativement peu d'information par comparaison au volume des informations contenu dans les documents du Web.La recherche sémantique de l'information atteint ainsi certaines limites par comparaison à la recherche classique de l'information qui exploite plus largement ces documents. Ces limites se traduisent explicitement par l'absence d'instances de concepts et de relations dans les bases de connaissances construites à partir des documents du Web. Dans cette thèse nous étudions deux directions de recherche différentes afin de permettre de répondre à des requêtes sémantiques dans de tels cas. Notre première étude porte sur la reformulation des requêtes sémantiques des utilisateurs afin d'atteindre des parties de document pertinentes à la place des faits recherchés et manquants dans les bases de connaissances. La deuxième problématique que nous étudions est celle de l'enrichissement des bases de connaissances par des instances de relations.Nous proposons deux solutions pour ces problématiques en exploitant des documents semi-structurés annotés par des concepts ou des instances de concepts. Un des points clés de ces solutions est qu'elles permettent de découvrir des instances de relations sémantiques sans s'appuyer sur des régularités lexico-syntaxiques ou structurelles dans les documents. Nous situons ces deux approches dans la littérature et nous les évaluons avec plusieurs corpus réels extraits du Web. Les résultats obtenus sur des corpus de citations bibliographiques, des corpus d'appels à communication et des corpus géographiques montrent que ces solutions permettent effectivement de retrouver de nouvelles instances relations à partir de documents hétérogènes tout en contrôlant efficacement leur précision.

Notre travail s'insère dans la problématique de l'accès à l'information spatiale présente dans des corpus textuels territoriaux. Nous proposons d'aller au-delà des systèmes de recherche d'information classiques basés sur l'analyse statistique des documents, peu adaptés pour ce cas particulier, via un traitement linguistique ciblé interprétant l'information spatiale. Notre hypothèse est que des traitements relativement peu coûteux suffisent à dégager l'essentiel de l'information. Ils sont un bon point de départ pour une interprétation plus poussée par la suite, utilisant les propriétés géographiques de l'information extraite afin de développer un système d'indexation à plusieurs niveaux d'abstraction.<br />Nous proposons en effet une méthode de recherche d'information spatiale multi-niveaux indexant un corpus textuel brut. Cette méthode qui extrait l'information d'un corpus et l'interprète, permet d'améliorer l'efficacité de systèmes de recherche d'information à chaque fois que l'interrogation comporte une connotation spatiale. L'interprétation permet en outre de retrouver le contexte dans lequel l'information spatiale a été utilisée. En particulier, elle permet d'indexer des unités de texte en leur associant des contextes de type itinéraire, description locale ou comparaison de lieux.

La microscopie à éclairements structurés (SIM) permet théoriquement de doubler la résolution d’un microscope optique standard. Pour atteindre cette limite théorique, le SIM requière un contrôle très précis des illuminations, ce qui le rend coûteux et difficile à calibrer. Cette thèse cherche à simplifier drastiquement le principe du SIM en proposant une approche « aveugle » qui reconstruit une image de l’échantillon à partir d’éclairements aléatoires, i.e., très facile à générer. Cette stratégie permet en théorie l’imagerie super-résolue tout en réduisant fortement le coût de l’instrument. Nous avons étudié du point de vu théorique et algorithmique les performances et les limitations d’un estimateur joint de l’objet et des illuminations (estimateur Blind-SIM joint). Notamment, une reformulation mathématique du problème d’estimation jointe a été proposée qui permet d’analyser l'origine de la super-résolution mais également de proposer des nouvelles stratégies de mises en œuvre très rapides. Une étude empirique a mis en lumière l’impact de la parcimonie et du contenue fréquentielles des illuminations sur le niveau de super-résolution obtenu. L’estimateur joint étant asymptotiquement inconsistant, nous nous sommes également intéressé à définir un « critère de contraste » pour ce problème permettant d’estimer uniquement l’objet d’intérêt. Une étude mathématique de la capacité de super-résolution de ce type d'estimateur a été conduite. Enfin, on a observé un effet de super-résolution en condition réelles sur de nombreux objets, 2 ou 3D, fixe ou mobile, biologique ou non tel que des billes, des podosomes, de l’actine. / Structured illumination microscopy (SIM) allow theoretically to double the super-resolution of a standard optical microscope. However, to reach this theoretical limit, SIM require a precise knowledge of the illuminations, making it costly and difficult to calibrate. The aim of this thesis is to simplify the use of SIM by using a blind approach who allow the use of random illuminations to reconstruct a super-resolved image of the object. This strategy theoretically allow the super-resolution, while maintaining a low cost instrumentation. During those three years of thesis, we have studied theoretically and algorithmically the performances and the limitations of a joint estimator of the objet and the illuminations (joint Blind-SIM estimator). A mathematically equivalent reformulation of the joint problem was proposed allowing us to study the super-resolution origin and to propose a fast and parallelizable new approach. An empirical study has highlighted the impact of parsimony and of the frequency content of the illuminations on the reached super-resolution level. Because the joint estimator is asymptotically not consistent, we also studied a contrast criterion for our problem (typically a marginal likelihood), here only the object of interest is estimated. We have mathematically studied the super-resolution capacity of this kind of estimators. Finally, real data using random illuminations where acquired and we have observed a super-resolution effect using our algorithms on multiples real objects of different kind, 2 or 3D, fix or mobile, biological or not, like beads, podosomes, actines.

L'adhérence cellulaire est un processus vital impliqué dans de nombreux phénomènes biologiques fondamentaux comme la diérenciation, la réparation tissulaire ou encore le développement cellulaire. Cette thèse porte sur une étude alliant expériences et modélisation de cellules uniques en adhérence sur des supports micro-structurés Les résultats montrent que la contrainte géomé- trique imposée par les supports à contraste adhésif limite l'adhérence. Au-delà de cette limitation, une organisation reproductible du cytosquelette d'actine est observée cela suggère l'existence de lois physiques simples régissant ce processus. Nous avons développé une méthode de classication des formes géométriques élémentaires observées expérimentalement nous permettant d'obtenir des statistiques robustes. En nous basant sur le modèle de Potts Cellulaire, nous avons pu reproduire les résultats expérimentaux. Ce modèle énergétique démontre que les formes élémentaires sont des états métastables utilisés par les cellules au cours de l'adhérence. Les paramètres du modèle sont reliés aux paramètres biologiques pertinents. Nous présentons des résultats qui relient la courbure des interfaces aux paramètres biologiques. Nous montrons que la mesure expérimentale de cette courbure est une représentation de la compétition entre la contractilité des bres de stress et l'élasticité du gel d'actine. Une correspondance entre les propriétés physiques issues du modèle et les processus biochimiques régulant et organisant l'adhérence cellulaire est ainsi possible.

On simule l'écoulement de gaz avec arc électrique au moment d'une interruption du courant dans un disjoncteur haute ou moyenne tension. Les équations de Navier Stokes compressible sont résolues pour un gaz réel non visqueux. L'arc électrique est du gaz chaud et conducteur. Le rayonnement est pris en compte. L'équation d'état et les propriétés du gaz sont tabulées. On présente une analyse du problème physique et des équations a résoudre. Deux modélisations numériques monodimensionnelles, par une methode d'éléments finis (avec upwind et capture de choc) et par une methode a pas fractionnaires séparant le traitement des phénomènes de diffusion et de convection, ont été implémentées. Elles ont permis d'affiner le modèle et de mettre en évidence l'importance du rayonnement. La dernière partie est relative au développement d'un code de calcul industriel 2 d plan ou axisymetrique. Seule la methode a pas fractionnaires a été implémentée. Le code permet de résoudre le problème sur des maillages non structures et mobiles. Des tests numériques valident les schémas mis en œuvre