L'augmentation de la complexité des systèmes hétérogènes a conduit à l'apparition d'une nouvelle méthode de conception et de validation. Cette approche qui s'appuie sur un flot de conception descendant s'inspire des méthodes utilisées dans le domaine numérique. Dans cette thèse, nous avons développé une approche permettant de qualifier le plan de vérification utilisé lors de la validation de conception et d'améliorer le test matériel des systèmes AMS&RF. L'originalité de notre approche est d'utiliser une description comportementale du système pour la qualification et la génération des stimuli de test. En effet, les méthodes de test actuelles utilisant les descriptions niveau composant ne sont pas adaptées au test de systèmes complexes. En utilisant ce concept, au cours de cette thèse la plateforme PLASMA, PLAteforme pour la qualification et la génération de stimuli pour test de Systèmes Mixtes et Analogiques, a été développée. Cette plateforme est en particulier conçue pour le test des systèmes AMS&RF. PLASMA a été validée sur un émetteur/récepteur W-CDMA intégré conçu par ST Microelectronics.

La Craie, dépôt caractéristique de l'Europe du Nord durant le Crétacé supérieur, est un sédiment original dans l'histoire de la Terre, qui reste relativement mal compris. Cette étude vise à mieux établir la sédimentologie et la stratigraphie de la Craie du Bassin de Paris. Nous proposons un modèle de faciès de la Craie, depuis des environnements très proximaux, de shoreface, jusqu'à des dépôts distaux situés sous la limite d'action des vagues de tempêtes. Ce modèle et les données de subsurface sont utilisés pour réaliser des corrélations à haute-résolution à l'échelle du Bassin de Paris, en appliquant les méthodes de la stratigraphie séquentielle. Ces corrélations permettent de contraindre la géométrie 3D et la paléogéographie du Bassin de Paris au Crétacé supérieur. Ceci permet d'appréhender les différents paramètres (tectonique, eustatisme) qui contrôlent la sédimentation de la Craie. En particulier, nous montrons une réorganisation importante des contraintes intraplaques au Turonien supérieur depuis des contraintes orientées Est-Ouest vers un régime compressif globalement orienté Nord-Sud. Ce régime en compression, bien connu en Europe centrale et interprété comme la marque du début du cycle alpin, n'était jusqu'à présent pas reconnu à l'ouest du Massif Londres-Brabant. De même, cette étude apporte des éléments de contrainte pour la compréhension des variations eustatiques durant le Crétacé supérieur. Enfin, nous mettons en évidence, l'existence d'une circulation océanique, active à partir du Coniacien, associée à un contexte d'upwelling en Europe du Nord. À partir d'une confrontation entre la répartition mondiale de la craie et les données de prédiction des upwellings, nous avançons l'hypothèse que la présence de ce sédiment particulier sur des mers épicontinentales est directement lié à des dynamiques d'upwelling et à la paléocéanographie du Crétacé supérieur.

Cette thèse contient des contributions en analyse numérique et en vision par ordinateur. Dans une première partie, nous nous intéressons à la résolution rapide, par des méthodes de premier ordre, de problèmes d'optimisation convexe. Ces problèmes apparaissent naturellement dans de nombreuses tâches telles que la reconstruction d'images, l'échantillonnage compressif ou la décomposition d'images en texture et en géométrie. Ils ont la particularité d'être non différentiables ou très mal conditionnés. On montre qu'en utilisant des propriétés fines des fonctions à minimiser on peut obtenir des algorithmes de minimisation extrêmement efficaces. On analyse systématiquement leurs taux de convergence en utilisant des résultats récents dûs à Y. Nesterov. Les méthodes proposées correspondent - à notre connaissance - à l'état de l'art des méthodes de premier ordre. Dans une deuxième partie, nous nous intéressons au problème de la détection de changements entre deux images satellitaires prises au même endroit à des instants différents. Une des difficultés principales à surmonter pour résoudre ce problème est de s'affranchir des conditions d'illuminations différentes entre les deux prises de vue. Ceci nous mène à l'étude de l'invariance aux changements d'illuminations des lignes de niveau d'une image. On caractérise complètement les scènes qui fournissent des lignes de niveau invariantes. Celles-ci correspondent assez bien à des milieux urbains. On propose alors un algorithme simple de détection de changements qui fournit des résultats très satisfaisants sur des images synthétiques et des images Quickbird réelles.

.

.

Les images ont envahi la plupart des publications et des communications contemporaines. Cette expansion s'est accélérés avec le développement de méthodes efficaces de compression spécifiques d'images. Aujourd'hui, la génération d'images s'appuie sur des objets multidimensionnels produits à partir de dessins assistés par ordinateurs, de simulations physiques, de représentations de données ou de solutions de problèmes d'optimisation. Cette variété de sources motive la conception de schémas dédiés de compression adaptés à des classes spécifiques de modèles. Ce travail présente deux méthodes de compression pour des modèles géométriques. La première code des ensembles de niveau en dimension quelconque, de manière directe ou progressive, avec des taux de compression au niveau de l'état de l'art pour les petites dimensions. La seconde méthode code des maillages de n'importe quelle dimension ou topologie, même sans être purs ou variété, plongés dans des espaces arbitraires. Les taux de compression pour les surfaces sont comparables aux méthodes usuelles de compression de maillages comme Edgebreaker.

Cette étude présente : 1) une définition "isomorphique des langages" afin d'établir un langage machine (LM) de la machine langage de haut niveau (LHN); 2) un traducteur isomorphe de cette machine LHN. Le langage I-Pascal est analysé dans le cadre de ce formalisme et le traducteur isomorphe de Pascal est construit sur la syntaxe modifiée en cherchant une possibilité de réalisation par des modules matériels, éventuellement par des systèmes VLSI

Chez les sujets humains, la capacité d'identifier une scène visuelle complexe est remarquable. Avec une seule fixation d'une scène, de nombreuse d'informations sont disponibles : son contenu, son identité, sa structure spatiale et la catégorisation de cette scène (Potter, 1975; Schyns & Oliva, 1994; Thorpe, Fize, & Marlot, 1996). Plusieurs hypothèses sont développées : Tout abord, le sens général d'une scène peut être acquis grâce a l'identification d'un ou plusieurs objets typiques (Friedman, 1979) et leurs relations (De Graef, Christiaens, & d'Ydewalle, 1990). Alternativement à ce point de vue traditionnel considérant que l'identification d'une scène s'effectue par l'identification des objets qu'elle contient, une autre hypothèse suppose que l'identification d'une scène peut être acquise au moyen d'informations globales ayant des propriétés de "scène-niveau" donc sans savoir besoins d'informations portant sur les objets (Greene & Oliva, 2006; Schyns & Oliva, 1994; Oliva & Schyns, 2000). Ces propriétés de "scène-niveau" se caractériseraient par des grandes surfaces structurales ou d'autres types d'informations similaires (Biederman, 1995). En outre, l'étude des mouvements oculaires montrent que les fixations précoces sont influencées par la densité de contours, le contraste local (Mannan, Ruddock, & Wooding, 1996, 1997; Reinagel & Zador, 1999) ainsi que la structure de la scène (Sanocki & Epstein, 1997; Castelhano & Henderson, 2003; Oliva & Torralba., 2003). Nous supposons donc que ces deux types d'informations fusionneraient en une représentation des différentes zones de luminance ne contenant pas d'informations précises sur les objets. Le but de cette thèse est d'étudier le rôle de la structuration spatiale des différentes zones de luminance dans l'identification rapide de scènes complexes. Les résultats suggèrent que les participants sont capables d'identifier une scène visuelle en se basant sur cette propriété

Ce travail de thèse porte sur la problématique de conception et de réalisation dun microsystème multicapteurs communicant pour une application Génie Civil. Il présente et définit la problématique de recherche et de développement de nouvelles générations doutils pour la conception système et traite conjointement un exemple dapplication proposant notamment une solution de mesure de micro-déplacement sur site. Il a associé le LAAS-CNRS et EDF R&D. Nous faisons dabord le point sur la dynamique de développement microsystème et rappelons les méthodes de conception et dintégration de systèmes à base de composants COTS. Le projet qui nous concerne est ensuite présenté et analysé par la méthode de lanalyse du besoin pour établir un cahier des charges, porte dentrée de la démarche générale de conception. Cette étude montre, sur lexemple proposé, les étapes que nous avons conduites pour atteindre le stade des spécifications validées. La méthodologie de conception amont proposée associe la démarche Top-Down et SysML pour réduire au maximum le lien entre le cahier des charges et la première représentation modélisée du système. Cette modélisation amont, indépendante de limplémentation, est effectuée sous loutil HiLeS et ouvre la voie de la première vérification du système, par le biais de la logique temporelle. Ensuite, les choix dagrégation, de sélection et dimplémentation des composants sont décrits et permettent daboutir à la modélisation fonctionnelle sous VHDL-AMS et au prototypage virtuel. Enfin, ce travail présente les étapes dintégration et les choix de composants qui mènent au prototype réel. Une première validation de ce prototype réalisé est effectuée par des mesures sur site.

Les variations du niveau de base entraînent une perturbation de la dynamique érosive d'un système continental. Une chute du niveau de base se traduit par la propagation d'une incision fluviatile vers l'amont entraînant un rajeunissement du paysage. Cette étude a pour but de montrer comment cette érosion affecte l'évolution d'un paysage, suivant les paramètres du système morphologique préexistant. Elle s'appuie sur un exemple préservé de chute du niveau de base de grande ampleur pendant la Crise de Salinité Messinienne en Méditerranée il y a 5.5 Ma. L'étude morphologique des incisions messiniennes couplée à une modélisation numérique montre qu'il existe une dichotomie entre la vitesse de croissance d'un réseau et ses effets sur l'évolution à long terme d'un paysage en présence d'une pente régionale préexistante. L'absence de pente régionale peut conduire à une modification drastique comme la capture de l'Atlantique au niveau de Gibraltar qui a entraîné la fin de la Crise Messinienne.