Des biocarburants alternatifs, utilisant des microsystèmes microbiens, sont actuellement étudiés dans le but de limiter la consommation non raisonnée de ressources énergétiques et le rejet de gaz à effet de serre, qui modifient le climat. Dans cette thèse, nous avons considéré des bioréacteurs à base de microalgues oléagineuses, et des écosystèmes bactériens anaérobies qui décomposent des déchets et produisent du méthane . Ces travaux avaient pour objectif de mieux comprendre ces procédés et d'en améliorer les performances. Nous avons tout d'abord modélisé et étudié des cultures de microalgues en photobioréacteurs, dans lesquels les pigments algaux induisent une forte atténuation lumineuse. Pour les écosystèmes bactériens, nous avons utilisé un modèle précédemment développé. A l'aide de ces modèles et de leurs analyse mathématique rigoureuse, nous avons proposé des stratégies pour optimiser leur productivité. Ensuite, l'étude de la sélection naturelle entre plusieurs espèces de microorganismes dans ces deux écosystèmes a permis de prédire quelles espèces remportent la compétition. Et finalement nous avons montré comment il est possible, dans chaque écosystème, de contrôler la compétition pour diriger la sélection naturelle de façon à avantager des espèces ayant des caractéristiques permettant une performance accrue.

L'étude présentée porte sur la caractérisation et la comparaison des propriétés quasi-statiques et en fatigue de composites à fibres de lin et de verre avec une matrice époxy. Une importante campagne d'essais de fatigue a été réalisée à partir des propriétés quasi-statiques de traction et cisaillement plan mesurées. Il apparaît que les caractéristiques en statique et en fatigue du verre/époxy sont supérieures à celles du lin/époxy à taux de fibres et stratification identiques. Cependant, en raison de la faible densité des renforts de lin, les écarts entre les propriétés spécifiques des deux matériaux sont faibles. La mesure de l'évolution des propriétés en fatigue a mis à jour des comportements phénoménologiques particuliers tels que la diminution de l'amortissement et l'augmentation de la rigidité des lin/époxy ayant des fibres parallèles à la direction du chargement, au cours de la vie des éprouvettes. Le suivi de l'endommagement par la mesure des densités de fissures montre que celle-ci augmente avec le chargement et le nombre de cycles appliqués. Les simulations par éléments finis de la durée de vie des composites lin/époxy, intégrant la variabilité des paramètres du modèle par la méthode Monté-Carlo, donnent des courbes de Wöhler conservatives par rapport aux données expérimentales. Conformément aux mesures expérimentales, la variabilité des durées de vie calculées diminue lorsque le chargement baisse

Dans cette thèse, nous nous intéressons à l'estimation de la synchrone de consommation électrique (courbe moyenne). Etant donné que les variables étudiées sont fonctionnelles et que les capacités de stockage sont limitées et les coûts de transmission élevés, nous nous sommes intéressés à des méthodes d'estimation par sondage, alternatives intéressantes aux techniques de compression du signal. Nous étendons au cadre fonctionnel des méthodes d'estimation qui prennent en compte l'information auxiliaire disponible afin d'améliorer la précision de l'estimateur de Horvitz-Thompson de la courbe moyenne de consommation électrique. La première méthode fait intervenir l'information auxiliaire au niveau de l'estimation, la courbe moyenne est estimée à l'aide d'un estimateur basé sur un modèle de régression fonctionnelle. La deuxième l'utilise au niveau du plan de sondage, nous utilisons un plan à probabilités inégales à forte entropie puis l'estimateur de Horvitz-Thompson fonctionnel. Une estimation de la fonction de covariance est donnée par l'extension au cadre fonctionnel de l'approximation de la covariance donnée par Hájek. Nous justifions de manière rigoureuse leur utilisation par une étude asymptotique. Pour chacune de ces méthodes, nous donnons, sous de faibles hypothèses sur les probabilités d'inclusion et sur la régularité des trajectoires, les propriétés de convergence de l'estimateur de la courbe moyenne ainsi que de sa fonction de covariance. Nous établissons également un théorème central limite fonctionnel. Afin de contrôler la qualité de nos estimateurs, nous comparons deux méthodes de construction de bande de confiance sur un jeu de données de courbes de charge réelles. La première repose sur la simulation de processus gaussiens. Une justification asymptotique de cette méthode sera donnée pour chacun des estimateurs proposés. La deuxième utilise des techniques de bootstrap qui ont été adaptées afin de tenir compte du caractère fonctionnel des données

Dans cette thèse, nous étudions l'approximation et la stabilisation de certaines équations d'évolution, en utilisant la théorie des semi-groups et l'analyse spectrale. Cette thèse est divisée en deux parties principales. Dans la première partie, comme dans [3, 4], nous considérons l'approximation des équations d'évolution du deuxième ordre modélisant les vibrations de structures élastiques. Il est bien connu que le système approché par éléments finis ou différences finies n'est pas uniformément exponentiellement ou polynomialement stable par rapport au paramètre de discrétisation, même si le système continu a cette propriété. Dans la première partie, notre objectif est d'amortir les modes parasites à haute fréquence en introduisant des termes de viscosité numérique dans le schéma d'approximation. Avec ces termes de viscosité, nous montrons la décroissance exponentielle ou polynomiale du schéma discret lorsque le problème continu a une telle décroissance et quand le spectre de l'opérateur spatial associé au problème conservatif satisfait la condition du gap généralisée. En utilisant le Théorème de Trotter-Kato, nous montrons la convergence de la solution discrète vers la solution continue. Quelques exemples sont également présentés.

Face aux exigences concurrentielles et économiques actuelles dans le secteur automobile, l'emboutissage a l'avantage, comme étant un procédé de mise en forme par grande déformation, de produire, en grandes cadences, des pièces de meilleure qualité géométrique par rapport aux autres procédés de fabrication mécanique. Cependant, il présente des difficultés de mise en œuvre, cette dernière s'effectue généralement dans les entreprises par la méthode classique d'essai-erreur, une méthode longue et très coûteuse. Dans la recherche, le recours à la simulation du procédé par la méthode des éléments finis est une alternative. Elle est actuellement une des innovations technologiques qui cherche à réduire le coût de production et de réalisation des outillages et facilite l'analyse et la résolution des problèmes liés au procédé. Dans le cadre de cette thèse, l'objectif est de prédire et de prévenir, particulièrement, le retour élastique et la rupture. Ces deux problèmes sont les plus répandus en emboutissage et présentent une difficulté en optimisation puisqu'ils sont antagonistes. Une pièce mise en forme par emboutissage à l'aide d'un poinçon sous forme de croix a fait l'objet de l'étude. Nous avons envisagé, d'abord, d'analyser la sensibilité des deux phénomènes concernés par rapport à deux paramètres caractéristiques du procédé d'emboutissage (l'épaisseur du flan initial et de la vitesse du poinçon), puis par rapport à quatre (l'épaisseur du flan initial, de la vitesse du poinçon, l'effort du serre flan et le coefficient du frottement) et finalement par rapport à la forme du contour du flan. Le recours à des méta-modèles pour optimiser les deux critères était nécessaire.

The modeling of real-world scenes through capturing 3D digital data has proven to be both useful andapplicable in a variety of industrial and surveying applications. Entire scenes are generally capturedby laser scanners and represented by large unorganized point clouds possibly along with additionalphotogrammetric data. A typical challenge in processing such point clouds and data lies in detectingand classifying objects that are present in the scene. In addition to the presence of noise, occlusionsand missing data, such tasks are often hindered by the irregularity of the capturing conditions bothwithin the same dataset and from one data set to another. Given the complexity of the underlyingproblems, recent processing approaches attempt to exploit semantic knowledge for identifying andclassifying objects. In the present thesis, we propose a novel approach that makes use of intelligentknowledge management strategies for processing of 3D point clouds as well as identifying andclassifying objects in digitized scenes. Our approach extends the use of semantic knowledge to allstages of the processing, including the guidance of the individual data-driven processing algorithms.The complete solution consists in a multi-stage iterative concept based on three factors: the modeledknowledge, the package of algorithms, and a classification engine. The goal of the present work isto select and guide algorithms following an adaptive and intelligent strategy for detecting objects inpoint clouds. Experiments with two case studies demonstrate the applicability of our approach. Thestudies were carried out on scans of the waiting area of an airport and along the tracks of a railway.In both cases the goal was to detect and identify objects within a defined area. Results show that ourapproach succeeded in identifying the objects of interest while using various data types

Les schémas de subdivision et les schémas de subdivision inverse sont largement utilisés en informatiquegraphique; les uns pour lisser des objets 3D, et les autres pour minimiser le coût d'encodagede l'information. Ce sont les deux aspects abordés dans cette thèse.Les travaux présentés dans le cadre de la subdivision décrivent l'études et la construction d'un nouveautype de schémas de subdivision. Celui-ci unifie deux schémas de subdivision de type géométriquesdifférents. Cela permet de modéliser des objets 3D composés de zones issues de l'applicationd'un schéma approximant et de zones issues de l'application d'un schéma interpolant. Dans le cadrede la subdivision inverse, Nous présentons une méthode de construction des schémas de subdivisionbi-réguliers inverses (quadrilatères et triangles)

Cette thèse comporte deux parties distinctes, toutes les deux liées à la théorie du transport optimal. Dans la première partie, nous considérons une variété riemannienne, deux mesures à densité régulière et un coût de transport, typiquement la distance géodésique quadratique et nous nous intéressons à la régularité de l'application de transport optimal. Le critère décisif à cette régularité s'avère être le signe du tenseur de Ma-Trudinger-Wang (MTW). Nous présentons tout d'abord une synthèse des travaux réalisés sur ce tenseur. Nous nous intéressons ensuite au lien entre la géométrie des lieux d'injectivité et le tenseur MTW. Nous montrons que dans de nombreux cas, la positivité du tenseur MTW implique la convexité des lieux d'injectivité. La deuxième partie de cette thèse est liée aux équations aux dérivées partielles. Certaines peuvent être considérées comme des flots gradients dans l'espace de Wasserstein W2. C'est le cas de l'équation de Keller-Segel en dimension 2. Pour cette équation nous nous intéressons au problème de quantification de la masse lors de l'explosion des solutions ; cette explosion apparaît lorsque la masse initiale est supérieure à un seuil critique Mc. Nous cherchons alors à montrer qu'elle consiste en la formation d'un Dirac de masse Mc. Nous considérons ici un modèle particulaire en dimension 1 ayant le même comportement que l'équation de Keller-Segel. Pour ce modèle nous exhibons des bassins d'attractions à l'intérieur desquels l'explosion se produit avec seulement le nombre critique de particules. Finalement nous nous intéressons au profil d'explosion : à l'aide d'un changement d'échelle parabolique nous montrons que la structure de l'explosion correspond aux points critiques d'une certaine fonctionnelle.

Cette thèse est consacrée à la restauration et l'estimation des paramètres par filtrage dans les modèles de chaîne de Markov cachée classique, couple et triplet à sauts Markoviens. Nous proposons deux nouvelles méthodes d'approximation dans le cas des systèmes linéaires gaussiens à sauts Markoviens. La première est fondée sur l'utilisation des chaînes de Markov cachées par du bruit à mémoire longue, on obtient alors une méthode " partiellement non supervisée" dans la quelle certains paramètres, peuvent être estimés en utilisant une version adaptative de l'algorithme EM ou ICE, les résultats obtenus sont encourageant et comparables avec les méthodes classiquement utilisées du type (Kalman/Particulaire). La deuxième exploite l'idée de ne garder à chaque instant que les trajectoires les plus probables; là aussi, on obtient une méthode très rapide donnant des résultats très intéressants. Nous proposons par la suite deux familles de modèles à sauts qui sont originaux. la première est très générale où le processus couple composé du processus d'intérêt et celui des observations conditionnellement aux sauts, est une chaîne de Markov cachée, et nous proposons une extension du filtrage particulaire à cette famille. La deuxième, est une sous famille de la première où le couple composé de la chaîne des sauts et le processus d'observations est Markovien dans ce dernier cas le filtrage optimal exact est possible avec une complexité linéaire dans le temps. L'utilisation de la deuxième famille en tant qu'approximation de la première est alors étudiée et les résultats exposés dans ce mémoire semblent très encourageants

Le récepteur SAIC/MAIC introduit récemment est capable de séparer jusqu'à 2N utilisateurs synchronisés avec N antennes pour les réseaux de radiocommunications utilisant des modulations rectilignes ou quasi-rectilignes. Un tel récepteur, opérationnel dans les téléphones GSM depuis 2006, exploite la non-circularité du second ordre des signaux et met en œuvre un filtre optimal linéaire au sens large (widely linéaire WL). Il s'est montré performant pour les utilisateurs synchrones en absence de résidu de porteuse (l'effet doppler par exemple), mais son comportement en présence d'utilisateurs asynchrones ayant des résidus de porteuse potentiellement non nuls, omniprésents dans de nombreuses applications radio, n'a pas encore fait l'objet d'études théoriques, ce qui ne permet pas d'en connaître les dégradations. Le but de la 1e partie de ce travail consiste à présenter une analyse des performances du SAIC/MAIC, implanté via une approche MMSE avec séquence d'apprentissage, en présence de deux utilisateurs non nécessairement synchronisés et ayant des dérives de fréquence. Pour simplifier, nous avons limité l'analyse théorique à quelques cas particuliers avec des modulations rectilignes. Ainsi des expressions analytiques simples et interprétables ont été données et analysées. Nous avons prouvé que les performances sont moins dégradées dans le cas d'une dérive sur l'utile qu'en présence d'une dérive sur le brouilleur. En outre, la dégradation augmente avec la désynchronisation des deux signaux. Afin de préciser le domaine de validité des approximations analytiques, des illustrations numériques ont été réalisées en prenant comme paramètres ceux du standard GSM dans le but d'appliquer cette étude à ce standard et aux réseaux cellulaires. L'extension de l'analyse aux modulations quasi-rectilignes a nécessité la mise en œuvre d'un filtrage spatio-temporel. Nous avons ainsi étudié l'impact de la taille du filtre spatio-temporel sur les performances du MMSE SAIC/MAIC pour des modulations quasi-rectilignes (MSK et GMSK) en présence de résidus de porteuse. L'étude révèle qu'avec des résidus de porteuse standards, ce récepteur reste relativement robuste et ne nécessite pas de compensation. La 2e partie de ce travail considère des canaux sélectifs en fréquence et consiste à développer un SIMO MLSE pour un signal utile à modulation linéaire quelconque en présence de bruit additif gaussien centré stationnaire coloré temporellement et spatialement et potentiellement non circulaire, en partant d'un problème général de détection d'une forme d'onde. Nous avons démontré que le SIMO MLSE est constitué d'un filtre WL, d'un échantillonneur au rythme symbole et d'une minimisation récursive d'une métrique qui peut se mettre en oeuvre par l'algorithme de Viterbi. Le cas des modulations quasi rectilignes a aussi été considéré. Dans ce cadre, nous avons démontré que le SIMO MLSE a la même structure moyennant un prétraitement de dérotation. Tous ces filtres WL sont interprétés comme des filtres WL adaptés multidimensionnels (WL MMF) au sens où ils maximisent le rapport SNR sur le symbole courant en sortie. Nous avons ensuite étendu la structure du MLSE développée au cas d'un bruit gaussien non circulaire mais cyclostationnaire, de manière à se rapprocher des applications cellulaires. Nous appelons ce nouveau récepteur "pseudo-MLSE" car sa structure a été imposée. En conjecturant que les performances en probabilité d'erreur par symbole sont directement reliées au SNR sur le symbole courant, des expressions générales de celui-ci ont été données pour des MLSE et pseudo-MLSE dans le cadre d'interférences stationnaires et cyclostationnaires potentiellement non circulaires. Des formules interprétables de ces SNR ont été données dans des cas particuliers et des simulations numériques ont été présentées pour montrer les gains en performance des récepteurs introduits par rapport aux MLSE classiques dérivés sous hypothèse de bruit stationnaire circulaire