Dans cette thèse, nous étudions l'influence d'un changement de mode d'itération sur les attracteurs d'un réseau d'automates booléens à seuil, outil mathématique discret classiquement utilisé pour modéliser les systèmes de régulation biologiques. L'objectif est de mettre en évidence l'importance du choix du mode d'itération pour la dynamique de ces réseaux, et en particulier pour les cycles limites atteints. Nous simulons tout d'abord la dynamique d'un échantillon non biaisé de réseaux, pour des tailles comprises entre un et sept nœuds. Les résultats des simulations montrent notamment que, lorsque la taille des réseaux croît, la dynamique de ces réseaux devient de plus en plus sensible au choix du mode d'itération. Nous démontrons ensuite un résultat théorique qui permet de déterminer, pour un réseau donné, l'ensemble des modes d'itération pour lesquels on observe des cycles limites, en fonction des cycles limites observés pour le mode parallèle.

L'objectif de ce travail est le développement d'un modèle et d'une méthode numérique adaptés à la simulation duruissellement d'eau de pluie sur des surfaces agricoles. Pour cela, nous utilisons un système d'équations aux dérivéespartielles pour les eaux peu profondes : le système de Saint Venant. La pluie et l'infiltration y sont pris en compte parl'ajout de termes source et le couplage avec un modèle d'infiltration. Le système étant hyperbolique et conservatifnous choisissons d'utiliser un schéma aux volumes finis avec reconstruction hydrostatique. Avec cette reconstructionnous obtenons un schéma permettant de traiter les équilibres stationnaires et les interfaces sec/mouillé dues auxévénements pluvieux. Tout d'abord, nous effectuons une comparaison systématique de différents flux numériques,de différentes reconstructions d'ordre deux (MUSCL et ENO modifiées) et de différentes méthodes de traitementdes frottements sur des solutions analytiques unidimensionnelles. Ces comparaisons nous permettent de choisirune méthode numérique adaptée à la simulation du ruissellement qui en outre capture les phénomènes de typeroll-waves. Ensuite nous nous intéressons au traitement de la pluie et de l'infiltration à l'aide du modèle de Green-Ampt. Cette méthode généralisée en dimension deux est validée sur des résultats expérimentaux obtenus à l'INRAd'Orléans et à l'IRD. La méthode numérique choisie et validée a été implémentée dans FullSWOF_2D un logiciellibre écrit en C++ pour la simulation de ruissellement d'eau de pluie sur des surfaces agricoles.

Les théories du choix social et de la décision multicritère sont fertiles en résultats paradoxaux. C'est à l'étude de quelques-uns d'entre eux qu'est consacrée cette thèse. Nous montrons tout d'abord les liens étroits entre ces deux domaines de recherche. Nous passons alors en revue les principaux paradoxes rencontrés dans ces deux domaines et tentons de classifier les méthodes utilisées pour les expliquer. Nous nous attaquons à notre tour à quatre types de paradoxes. L'étude des restrictions imposées par certaines conditions de transitivité de la méthode majoritaire donne des résultats surprenants. Nous les analysons en introduisant la notion de polydiversité. La règle de prudence (minimax) ne respecte pas l'axiome de cohérence. De plus, les vainqueurs prudents peuvent aussi être des vaincus prudents. Ces paradoxes liés à la prudence sont étudiés théoriquement, en particulier en utilisant la représentation géométrique des profils, et expérimentalement à l'aide de simulations. Pour certaines méthodes, l'amélioration de la position d'un candidat dans la préférence d'un votant peut conduire à une dégradation de sa situation du point de vue de la société. Nous analysons ce paradoxe en détail, en particulier pour les méthodes de rangement construites en itérant une fonction de choix. Nous terminons en étudiant la sensibilité de la méthode prudente et de la méthode de Borda à une variation du poids des critères. La comparaison des valeurs des indicateurs proposés donne des résultats inattendus.

.

Dans cette thèse, qui s'inscrit dans l'étude de la modélisation géométrique via les méthodes formelles, nous proposons un langage graphique à base de règles dédié à la description des opérations topologiques des cartes généralisées. Notre langage est fondé sur la théorie des transformations de graphes. Dans nos règles, les variables permettent d'abstraire les cellules topologiques (sommets, arêtes, faces, volumes, etc.) manipulées dans les opérations topologiques. Nous avons défini des critères syntaxiques sur les règles assurant que les objets obtenus par application des règles satisfont les contraintes de cohé- rence des cartes généralisées. La conception de ce langage a été motivée par l'étude de la dynamique de l'appareil de Golgi. Il est connu que dans cette organelle, la topologie des compartiments joue un rôle essentiel. Néanmoins, la structure globale de l'appareil de Golgi reste encore méconnue. Plusieurs hypothèses de fonctionnement sont ainsi avancées par les biologistes. Notre langage à base de règles fournit un cadre pour la simulation puis la comparaison de ces différentes hypothèses d'appareil de Golgi.

Le travail présenté contribue à la gestion de la consommation et de la production d'énergie dans le bâtiment. L'objectif est de montrer qu'en dotant les équipements domotiques d'algorithmes d'optimisation et de facultés de communication, il est possible de mieux maîtriser la consommation dans le bâtiment en exploitant les degrés de liberté offerts par l'usager et ceux liés au fonctionnement des équipements. Une formulation mathématique et une architecture de conduite structurées en trois niveaux : prédictif, réactif et local, sont proposées dans le but d'optimiser le confort de l'usager, les coûts économiques et environnementaux. Plusieurs approches de résolution à base de métaheuristiques hybrides et de programmation dynamique sont proposées. La programmation multiparamétrique est utilisée pour la prise en compte des grosses incertitudes. Ces résultats ont été appliqués à la gestion d'énergie d'un bâtiment photovoltaïque et à la prévention de blackouts par un délestage intelligent.

L'imagerie médicale est une ressource de données principale pour différents types d'applications. Bien que les images concrétisent beaucoup d'informations sur le cas étudié, toutes les connaissances a priori du médecin restent implicites. Elles jouent cependant un rôle très important dans l'interprétation et l'utilisation des images médicales. Dans cette thèse, des connaissances anatomiques a priori sont intégrées dans deux applications médicales. Nous proposons d'abord une chaîne de traitement automatique qui détecte, quantifie et localise des anévrismes dans un arbre vasculaire segmenté. Des lignes de centre des vaisseaux sont extraites et permettent la détection et la quantification automatique des anévrismes. Pour les localiser, une mise en correspondance est faite entre l'arbre vasculaire du patient et un arbre vasculaire sain. Les connaissances a priori sont fournies sous la forme d'un graphe. Dans le contexte de l'identification des sous-parties d'un organe représenté sous forme de maillage, nous proposons l'utilisation d'une ontologie anatomique, que nous enrichissons avec toutes les informations nécessaires pour accomplir la tâche de segmentation de maillages. Nous proposons ensuite un nouvel algorithme pour cette tâche, qui profite de toutes les connaissances a priori disponibles dans l'ontologie.

L'objectif principal du travail réalisé au cours de la thèse consistera à proposer une démarche théorique rigoureuse visant à intégrer les éléments microstructuraux et les gradients de déformation dans une approche micromécanique. La thèse comportera deux volets : - Dans une première partie, on s'attachera à établir un cadre théorique rigoureux permettant d'intégrer les effets du gradient de la déformation et les longueurs caractéristiques de la microstructure sur le comportement effectif des matériaux composites - L'approche par développement asymptotique conduit à la résolution d'une succession problèmes d'élasticité tridimensionnelle posée sur une cellule élémentaire du milieu périodique. La résolution de ces problèmes d'élasticité, et par conséquent la détermination des propriétés effectives du composite, nécessite la mise en œuvre d'une méthode de résolution numérique. Dans cette seconde partie du travail, il s'agira de proposer une méthode de résolution basée sur la transformée de Fourier rapide (Méthode FFT)

Cette thèse propose une méthodologie pour construire un système de reconstruction spatiale et temporelle à partir de plusieurs caméras: étalonnage des caméras et reconstruction 3-D éparse, reconstruction 3-D dense, reconstruction temporelle éparse et dense. Tout d'abord, une formulation probabiliste est dévelo-ppée en association avec des algorithmes de factorisation affine (méthode de reconstruction 3-D fondée sur la factorisation matricielle). Elle permet de récupérer à la fois les paramètres extrinsèques des caméras et les coordonnées 3-D des points de contrôle, étant données les correspondances 2-D de leurs projections et les paramètres intrinsèques des caméras. Le cadre proposé est robuste au bruit et se compare favorablement avec l'ajustement de faisceaux, une méthode standard de minimisation non-linéaire, qui exige un bon estimé initial non loin de l'optimum. Deuxièmement, une méthode d'évolution de maillages est proposée. Elle est capable de gérer les changements topologiques et les auto-intersections sans imposer de contraintes d'échantillonnage sur le maillage. La géométrie exacte du maillage est préservée, à l'exception des parties qui s'auto-intersectent, que l'on retriangularise localement. Des applications sont présentées: le morphing des maillages et la reconstruction 3-D à partir de plusieurs caméras en utilisant des méthodes variationnelles. Troisièmement, une méthode de regroupement de caméras qui utilise l'information de la scène est développée, capable de séparer des reconstructions à grande échelle qui consomment beaucoup de mémoire en plusieurs petites tâches indépendantes de reconstructions partielles utilisant moins de ressources. Enfin, un nouveau descripteur en 3 dimensions est proposé, défini sur des maillages triangulaires échantillonné uniformément. Il est invariant à la rotation, la translation, l'échelle, étant en mesure de capturer les informations géométriques et photométriques locales. Il est particulièrement utile dans le cadre multi-caméras, où les maillages reconstruits bénéficient de la couleur / texture. De plus, le descripteur est défini d'une manière générique pour une fonction quelconque tout au long de la surface (i.e. la couleur, la courbure). Des résultats de correspondance rigide et non rigide sont présentés. Finalement, le descripteur est intégré dans un cadre de suivi temporel dense du maillage.

Le contexte de mon travail est la mise au point d'outils statistiques pour le dévelopement et l'analyse de modèles stochastiques structurés. L'idée sous-jacente à la notion de structure est qu'il est souvent possible à l'aide d'hypothèses locales simples combinées de manière cohérente de rendre compte de phénomènes globaux potentiellement complexes. Cette idée de construction du local vers le global guide ainsi la modélisation, l'estimation et l'interprétation. Cette approche se révèle utile dans des domaines variés tels que le traitement du signal et de l'image, les neurosciences, la génomique, l'épidémiologie, etc. Inversement les besoins de ces domaines ont pu susciter en retour des développements théoriques importants. Par ailleurs, beaucoup de techniques statistiques sont encore limitées par des d'hypothèses restrictives pouvant conduire à des analyses imprécises voire erronées. Différentes sources de complexité peuvent mettre en défaut les approches classiques. Souvent les données exhibent une structure de dépendance non triviale, due par exemple à des répétitions, des groupements, des méthodes d'échantillonnage particulières, des associations dans l'espace ou le temps. Une seconde source de complexité est liée au processus de mesure qui peut impliquer l'utilisation d'instruments physiquement très différents, qui produisent des données hétérogènes, en grandes dimensions et potentiellement de manière défaillante de sorte qu'une partie des données peut être manquante. La plupart de mes objectifs de recherche sont centrés sur la mise au point de modèles et d'outils d'inférence pouvant faire face à ce genre de complications fréquentes dans les données modernes et contribuer ainsi au développement de nouvelles méthodes statistiques. En ce qui concerne la notion de dépendance et de localité, un concept central est celui d'indépendance conditionnelle. Les propriétés de Markov et les modèles markoviens permettent d'énoncer de telles indépendances conditionnelles et ce thème est central dans ma recherche. Pour ce qui est des données manquantes ou incomplètes, les modèles de mélanges sont une approche classique. Ces modèles conduisent plus généralement à la notion de modèles à structure manquantes. Ces derniers sont également utiles pour rendre compte d'hétérogénéités dans les données. Ils trouvent de nombreux échos en statistique: modèles de mélanges finis, modèles de Markov cachés, modèles à effet aléatoire, etc. La présence de données incomplètes induit cependant généralement des difficultés pour ce qui est de l'estimation des paramètres et de l'évaluation des performances. Modèles markoviens et modèles de mélanges sont mes deux principaux thèmes de recherche avec cette idée unificatrice de structure dans les modèles mais aussi dans les données. J'ai pu montrer que ces deux thèmes pouvaient être reliés utilement en traitant des problèmes difficiles dans diverses applications. Plus précisément, j'ai developpé des modèles à structure cachée essentiellement dans le but de résoudre des problèmes de classifications inhérents à certaines questions. J'ai souvent abordé le problème de l'estimation de ces modèles à partir de l'algorithme EM et développé des variantes permettant d'apporter des solutions satisfaisantes lorsque les outils classiques faisaient défaut. J'ai tenté également d'apporter des résultats sur les propriétés théoriques, e.g. convergence et vitesse, de ces algorithmes. Enfin, j'ai abordé la question de la sélection de modèles essentiellement en cherchant à proposer des critères de sélection dans les cas où les critères classiques n'étaient pas calculables.