Cette thèse présente la fonction d'autocorrélation partielle d'un processus non stationnaire ainsi que des applications dans le domaine spectral et dans le cadre des processus périodiquement corrélés. Après avoir introduit cette fonction, nous montrons qu'elle caractérise la structure au second ordre des processus non stationnaires. Son intérêt est d'être facilement identifiable par rapport à la fonction d'autocovariance qui doit être de type positif. De plus elle conduit de façon naturelle à la définition d'un nouveau spectre dépendant du temps. Ce dernier décrit, à chaque instant, une situation stationnaire dans laquelle le présent est corrélé avec le passé de la même façon que le processus non stationnaire au même instant. L'étude des propriétés de ce spectre permet de le comparer à deux autres de même nature. On se restreint ensuite à la classe particulière des processus périodiquement corrélés. La fonction d'autocorrélation partielle fournit une nouvelle paramétrisation qui permet, en particulier, d'étendre de façon naturelle la méthode du maximum d'entropie à cette situation. Enfin nous considérons l'estimation autorégressive dans le cadre de ces processus en proposant une estimation adéquate de ces paramètres. La comparaison avec les procédures existantes est effectuée en regroupant certaines d'entre elles dans une même méthodologie mais aussi par simulation. Nous étudions également le lien entre ces approches et celles du cas vectoriel stationnaire.

Ce travail traite le problème de la segmentation d'images échographiques de prostate acquises en condition per-opératoire dans le cadre de la destruction de tumeurs effectuée par une technique d'ultrasons haute intensité (HIFU). L'objectif est de délimiter précisément les tissus cible de façon à concentrer l'échauffement induit par les ultrasons tout en réduisant leur impact sur les structures voisines. L' étude bibliographique de l'état de l'art montre que toutes les méthodes de segmentation se référant aux dernières avancées méthodologiques ont été tentées sans pour autant apporter de réponses complètement satisfaisantes au problème du fait de la variabilité des situations rencontrées et surtout de la qualité toute relative des images dans le cas des HIFU. Les différentes solutions proposées dans cette thèse s'appuient sur les modèles déformables discrets enrichis de recherche de points d'ancrage basés gradient, couplés ou pas à une approche de détection de surface optimale. Ces solutions sont testées sur une trentaine de bases de données et analysées à la fois qualitativement et quantitativement par comparaison à des contours définis par des experts. Par ailleurs, une étude préliminaire est conduite sur la caractérisation de texture par différents types de moments (Zernike, Legendre, etc.). Les résultats obtenus montrent un comportement globalement correct et satisfaisant les temps de calcul imposés.

Cette thèse présente des méthodes et des algorithmes pour l'évaluation de performance de systèmes à grand espace d'états décrits par des formalismes de haut niveau. Parmi les différents formalismes de haut niveau normalement utilisés, nous nous sommes intéressés au formalisme des Réseaux d'Automates Stochastiques (SAN). Le formalisme SAN se caractérise par la modélisation de systèmes complexes, où un système est représenté par la composition de sous-systèmes (automates) qui interagissent entre eux. Cette interaction se réalise par l'occurrence des événements synchronisants ou des taux fonctionnels. Lorsqu'on calcule l'espace d'états atteignables de systèmes complexes, le principal problème qui surgit est l'explosion combinatoire de l'espace d'états du modèle. Dans la première partie de cette thèse, nous proposons des méthodes pour la génération de l'espace d'états atteignables de modèles compositionnels qui utilisent des taux fonctionnels. Nous utilisons les Diagrammes de Décision Multi-valués (MDD) pour représenter et manipuler les espaces d'états et le formalisme SAN pour la modélisation de systèmes. Un MDD est une structure de donnée arborescente qui permet de représenter et de manipuler de façon performante un très grand espace d'états. L'avancée par rapport à l'état de l'art a été de proposer de méthodes qui prennent en compte ces fonctions qui expriment des relations entre les composants des modèles. Des études d'exemples sont présentées afin d'illustrer les apports de ces méthodes. Dans la deuxième partie de cette thèse, nous nous sommes intéressés à la résolution d'un modèle SAN à temps discret dont la matrice de transition est représentée par une formule tensorielle (appelée descripteur discret). A cet effet, nous présentons l'Algèbre Tensorielle compleXe (ATX) adaptée à la composition parallèle des SAN à temps discret pour la représentation du descripteur et nous démontrons des propriétés qui servent de base aux méthodes itératives pour la résolution de la chaîne de Markov associée au modèle SAN. Un des avantages de représenter un modèle SAN par un descripteur est la façon compacte par laquelle on peut représenter les transitions du modèle: on remplace une description dans un espace produit par un unique produit tensoriel portant sur des facteurs qui décrivent ce qui se passe sur une seule dimension (une composante du modèle SAN). Afin de profiter de cette représentation, nous présentons une méthode de multiplication d'un vecteur de probabilité par un descripteur discret adaptée à cette algèbre. Cette méthode vise à exploiter des propriétés du produit tensoriel complexe de façon à ce que la multiplication par un opérateur sur l'espace produit soit remplacée par une suite d'opérations qui manipulent des données de la taille d'une composante (et pour toutes les composantes).

Ce travail porte principalement sur l'étude mathématique de méthodes numériques<br />pour l'homogénéisation de fonctionnelles intégrales utilisées en élasticité non linéaire. Ces mé-<br />thodes couplent, au niveau mésoscopique, un matériau hyperélastique hétérogène ou un réseau de<br />liens en interaction, avec, au niveau macroscopique, un modèle d'élasticité non linéaire. La loi de<br />constitution macroscopique est obtenue par la résolution de problèmes mésoscopiques, continus ou<br />discrets. Aux chapitres 1, 2 et 3 on introduit les modèles mécaniques et les outils mathématiques et<br />numériques utilisés par la suite. Aux chapitres 5, 6 et 7, on présente une méthode directe de réso-<br />lution numérique du comportement homogénéisé d'un matériau composite périodique en grandes<br />déformations et un cadre général pour l'analyse des méthodes d'homogénéisation numérique. On<br />démontre notamment la convergence de méthodes numériques classiques sous des hypothèses gé-<br />nérales ainsi qu'un résultat de correcteur numérique. On étend enfin les résultats au couplage avec<br />des méthodes de sur-échantillonnage. Aux chapitres 8, 9 et 10, nous considérons une modélisation<br />mésoscopique par un système discret. Nous étudions d'abord un problème de G-fermeture pour un<br />réseau de résistances. Au chapitre suivant nous démontrons un résultat de représentation intégrale<br />pour l'énergie d'un système de spins en interaction. Enfin, nous dérivons un modèle hyperélastique<br />continu à partir d'un réseau stochastique de points en interaction, et l'appliquons pour démontrer<br />la convergence de modèles discrets développés en mécanique. Dans une dernière partie, chapitre 11,<br />nous présentons une nouvelle méthode numérique pour résoudre des problèmes d'interaction fluide<br />structure, où la structure est décrite par une coque tridimensionnelle.

La spécification des systèmes temps réel pose le problème de l'expression du temps et des contraintes temporelles pour lesquels nous proposons dans ce mémoire, une nouvelle représentation. Cette représentation est basée sur l'hypothèse que l'écoulement du temps est modélisé par l'occurrence d'un événement spécifique. Cette conception nous permet de considérer les contraintes temporelles comme des propriétés de séquences d'événements observables. En relation avec une notation simple, basée sur la notion de grammaire, les propriétés temporelles deviennent des propriétés syntaxiques. Ces considérations nous ont amenés à proposer une nouvelle méthode d'analyse des contraintes temporelles qui a pour objet de vérifier que toutes les contraintes temporelles d'un cahier des charges ont bien été prises en compte dans l'étape de spécification. Pour réaliser cette vérification, on élabore un analyseur de traces temporisées dont la construction se fait en deux étapes. On extrait d'abord les contraintes temporelles en suivant une décomposition structurée. Cette décomposition permet d'identifier un ensemble d'opérateurs (périodique, sporadique, de disjonction ou de conjonction) liant les contraintes temporelles. On exprime ensuite ces contraintes, sous la forme de grammaires «types». La seconde étape est la recomposition de ces grammaires, par l'ensemble des opérateurs précédemment identifiés. Pour cela, on a redéfini chacun de ces opérateurs pour qu'ils puissent s'appliquer sur des grammaires. Le résultat final de cette recomposition produit une grammaire globale qui constitue un analyseur syntaxique, capable de vérifier si une trace temporisée vérifie ou non, toutes les contraintes temporelles du cahier des charges.

Le problème du logarithme discret sur courbes elliptiques est à la base de nombreux protocoles cryptographiques, dans la mesure où on ne connaît jusqu'à présent aucun algorithme permettant de l'attaquer efficacement. Du point de vue de la cryptanalyse, certaines approches basées sur des méthodes de calcul d'indices, et s'appuyant sur la résolution de systèmes pour la recherche de relations, sont toutefois prometteuses. La première partie de cette thèse est consacrée aux techniques de calcul de bases de Gröbner appliquées à la résolution de systèmes polynomiaux. Après une description détaillée des algorithmes F4 et F5 de Faugère considérés comme les plus performants actuellement, on présente et analyse une variante de l'algorithme F4, particulièrement utile pour la résolution de nombreux systèmes "similaires". Plusieurs exemples d'applications de ce nouvel algorithme sont donnés à la fois au domaine du calcul formel et de la cryptographie, montrant que pour certaines attaques algébriques, cette variante est plus efficace que F4 et F5. Etant munis de ces nouveaux outils, on étudie dans la seconde partie le problème du logarithme discret sur courbes algébriques. Après une présentation rapide des attaques existantes sur ce type de courbes dans un contexte général, on s'intéresse plus particulièrement aux courbes elliptiques définies sur des extensions de corps finis. On donne ainsi une description complète des techniques GHS, puis des méthodes d'attaques par décomposition introduites par Gaudry et Diem. On présente notamment des variantes de ces méthodes de décompositions permettant, grâce aux outils introduits en première partie de cette thèse, de fragiliser le DLP (et des problèmes reliés) sur courbes elliptiques sur une gamme plus large d'extensions de corps finis. Enfin, une nouvelle approche combinant les attaques par recouvrement ainsi que les méthodes de décompositions est proposée : cette attaque permet entre autres de calculer complètement le logarithme discret sur des courbes elliptiques définies sur des extensions sextiques de taille jamais atteinte auparavant.

Ce mémoire s'inscrit dans le contexte général des opérateurs aléatoires discrets unidimensionnels. Dans ce cadre (chapitre 1), nous dégageons des éléments remarquables du système dynamique conduisant à des opérateurs ayant le même spectre. D'autre part, les principales propriétés spectrales des des opérateurs de Schrödinger sont décrites. En particulier la densité intégrée d'états est explicitement donnée pour un opérateur à potentiel périodique. Dans le chapitre 2, nous introduisons à partir du 2-odomètre, un nouveau potentiel, dit odométrique, qui est limite périodique et de type Gordon. Une approximation de la mesure de Lebesgue du spectre de tous ces opérateurs est obtenue. Enfin le chapitre 3 est consacré à l'étude des propriétés spectrales d'une nouvelle famille d'opérateurs, les opérateurs creux, définis par Hp = Sp + S-p + V (où S désigne l'opérateur décalage sur l2(Z), p un entier non nul, et V un potentiel). Dans certains cas particuliers, nous montrons que la nature du spectre de presque tous ces opérateurs ne dépend pas de p. Nous donnons des applications lorsque le potentiel est périodique, aléatoire, puis substitutif.

Cette monographie propose une description des noms discrets collectifs et tente d'en dresser une typologie, à partir d'une définition de la notion sémantique de collectif. Les exemples examinés sont tous tirés de corpus. Les noms discrets collectifs peuvent alors être interprétés comme des touts intégrés formant une unité de rang supérieur qui rassemble des unités de rang inférieur, elles aussi tout intégrés et parties de l'unité collective. Ils sont analysés en fonction de divers paramètres tels que, outre leurscaractéristiques ontologiques et méronymiques, la discernabilité des occurrences et le degré de connexité du tout collectif, ainsi que, par exemple et dans certains cas, le mouvement de l'unité collective, le nombre de dimensions spatiales pris en compte, la variété des occurrences... Dans une deuxième partie, est évalué le rôle du modèle du tout intégré dans la linguistique des noms collectifs et, plus particulièrement, des noms discrets collectifs, dont le prototype est donné par le nom body. La dimension cognitive du tout intégré est double et concerne les constructions linguistiques référentielles et les constructions métalinguistiques. Les noms discrets collectifs sont analysés comme des noms discrets collectifs non prototypiques, ce qui rend compte du fait qu'un certain nombre d'entre eux, tels que line, readership, list, range ou network, ne soient pratiquement jamais mentionnés comme tels dans les ouvrages de linguistique ou de grammaire.

Les mouvements morphogénétiques se caractérisent, au niveau tissulaire, par une succession de dynamiques cellulaires, précisément agencées temporellement et spatialement. Ce travail de thèse vise à étudier, par la modélisation mathématique, comment les mouvements morphogénétiques globaux s'expliquent par l'intégration des dynamiques cellulaires locales (prolifération, migration, différenciation,...). Le tissu est modélisé par un système multi-agents où chaque cellule est individualisée. Cette structure est couplée avec un système d'équations aux dérivées partielles qui décrit un contrôle chimique global. <br /> <br />Cette méthode a été appliquée principalement à la croissance radiale secondaire des conifères qui est générée par divisions et croissances successives des cellules d'un tissu spécialisé nommé cambium. Le cambium est modélisé par un système dynamique discret. Un modèle continu aux dérivées partielles rend compte du transport d'une hormone dont la concentration contrôle les taux de croissance des cellules cambiales. <br /> <br />La croissance radiale est un mouvement morphogénétique essentiellement régi par la prolifération cellulaire. Nous avons également considéré l'invagination épithéliale où dominent la migration et la déformation cellulaire. Nous avons enfin étudié l'importance des relations de voisinage dans les processus de différenciation.

Turbulent bedload transport represents the main contribution to the riverbed morphological evolution, and associates the non-trivial collective granular behavior with a turbulent fluid flow. Therefore, its description is both a scientific challenge and a societal issue. The present numerical approach focuses on the granular phase characterization, and considers idealized steady uniform bedload transport, with monodisperse spherical beads and a unidirectional fluid flow. This simplified configuration allows to study the underlying physical mechanisms.A minimal coupled numerical model is proposed, associating a three dimensional discrete element method with a one-dimensional volume-averaged fluid momentum balance resolution. The model is compared with classical experimental results of dimensionless sediment transport rate as a function of the Shields number. The comparison is extended to granular depth profiles of solid volume fraction, solid velocity and sediment transport rate density in quasi-2D bedload transport configurations. Parameter sensitivity analysis evidenced the importance of the fluid-particle phase coupling, and showed a robust agreement of the model with the experiments. The validated model is further used to analyze the granular depth structure in bedload transport. Varying the channel inclination angle and the specific density, it is shown that the classical Shields number and dimensionless sediment transport rate formulations do not take appropriately into account the effects of these two parameters. Analyzing the solid depth profiles and the continuous two-phase flow equations, the neglected fluid flow inside the granular bed is identified as the missing contribution. Its importance is enhanced near the transition to debris flow. A rescaling of the Shields number is proposed and is shown to make all the data collapse onto a master curve when considering the dimensionless sediment transport rate as a function of the modified Shields number. Lastly, the bedload transport granular rheology is characterized by computing locally the stress tensor as a function of the depth. The lowermost part is shown to follow a creeping regime and exhibits signature of non-local effects. The dense granular flow on the top of it, is well described by the mu(I) rheology and is observed to persist up to unexpectedly high inertial numbers. It is characterized by the co-existence of frictional and collisional contributions. The transition from dense to dilute granular flow is controlled by the Shields number, the slope and the specific density. Saltation is observed in the uppermost granular layer. These findings improve the understanding of bedload transport granular mechanisms and challenge the existing granular rheologies. / Turbulent bedload transport represents the main contribution to the riverbed morphological evolution, and associates the non-trivial collective granular behavior with a turbulent fluid flow. Therefore, its description is both a scientific challenge and a societal issue. The present numerical approach focuses on the granular phase characterization, and considers idealized steady uniform bedload transport, with monodisperse spherical beads and a unidirectional fluid flow. This simplified configuration allows to study the underlying physical mechanisms.A minimal coupled numerical model is proposed, associating a three dimensional discrete element method with a one-dimensional volume-averaged fluid momentum balance resolution. The model is compared with classical experimental results of dimensionless sediment transport rate as a function of the Shields number. The comparison is extended to granular depth profiles of solid volume fraction, solid velocity and sediment transport rate density in quasi-2D bedload transport configurations. Parameter sensitivity analysis evidenced the importance of the fluid-particle phase coupling, and showed a robust agreement of the model with the experiments. The validated model is further used to analyze the granular depth structure in bedload transport. Varying the channel inclination angle and the specific density, it is shown that the classical Shields number and dimensionless sediment transport rate formulations do not take appropriately into account the effects of these two parameters. Analyzing the solid depth profiles and the continuous two-phase flow equations, the neglected fluid flow inside the granular bed is identified as the missing contribution. Its importance is enhanced near the transition to debris flow. A rescaling of the Shields number is proposed and is shown to make all the data collapse onto a master curve when considering the dimensionless sediment transport rate as a function of the modified Shields number. Lastly, the bedload transport granular rheology is characterized by computing locally the stress tensor as a function of the depth. The lowermost part is shown to follow a creeping regime and exhibits signature of non-local effects. The dense granular flow on the top of it, is well described by the mu(I) rheology and is observed to persist up to unexpectedly high inertial numbers. It is characterized by the co-existence of frictional and collisional contributions. The transition from dense to dilute granular flow is controlled by the Shields number, the slope and the specific density. Saltation is observed in the uppermost granular layer. These findings improve the understanding of bedload transport granular mechanisms and challenge the existing granular rheologies.