Présentation de deux expériences d'utilisation du langage Prolog comme langage de spécification et comme langage de réalisation, dans un contexte de production de logiciels pour l'enseignement. Conception et réalisation d'un environnement de production de logiciels pour l'enseignement de la programmation : le système Tangram

Le travail présenté dans ce mémoire traite d'un dispositif embarqué de détection et de reconnaissance des défauts de rail débouchants. Une structure multicapteur à courants de Foucault permettant le contrôle non destructif de l'intégrité des rails en voie, sans contact et en condition d'exploitation commerciale est détaillée dans le premier chapitre. Les principales options de conception (mesures différentielles, bi-fréquences, blindages...) y sont décrites, et validées a posteriori par des essais sur site dans des conditions de mesure réelles. Une liste des classes de défauts détectables par le capteur a été établie (fissures, écaillages...) ainsi qu'une base de données représentative du site pour la mise au point des traitements haut niveau. La première phase des traitements concerne le mode de représentation des signaux complexes issus du capteur. Cette paramétrisation doit posséder un fort potentiel descriptif tout en restant insensible à certaines opérations sur les signaux définies comme des invariants du problème (retournement, homothéties, lift-off). Une procédure originale de paramétrisation des signatures dénommée "Descripteurs de Fourier Modifiés", a été mise au point et comparée à des paramétrisations de type autorégressive. Sur l'ensemble des paramètres d'une signature, une sélection doit ensuite être effectuée en termes de pertinence à la discrimination entre classes. Une méthode d'ordonnancement par orthogonalisation et des méthodes séquentielles constructive et destructive pour le classement des paramètres sont comparées. Différents critères d'arrêt permettent de choisir le nombre réduit de paramètres retenus; des résultats de mise en oeuvre sur la base de données de ces différentes méthodes sont présentés. Le dernier chapitre de ce mémoire traite de la classification neuronale supervisée à l'aide de réseaux de type perceptron multicouche ou de réseaux à fonctions radiales de base. Pour ces deux types de réseaux, des approches globales de classification (discrimination des K classes simultanément) et des approches par partition (problème de classification initial décomposé en sous-problèmes de classification) sont exposées. Des performances de classification sont données pour les deux approches et nous montrons la supériorité de l'approche par partition dans notre application en relation avec la faible dimension de la base de données.

On étudie les surfaces plates à singularités coniques, leur géométrie, leur espaces des déformations et leur paramétrisation. La surface de base est la sphère à trois trous (pantalon). On trouve trois ensembles de paramètres pour le pantalon plat à un point singulier conique et on décrit son espace des déformations. On introduit un flot que l'on appelle flot de Fenchel-Nielsen sur un espace des déformations. On étudie l'injectivité de ce flot en examinant la variation des fonctions longueur de segments géodésiques ou de géodésiques simples fermées le long de ce flot. On étudie également la paramétrisation d'une surface plate à singularités coniques utilisant des longueurs des segments géodésiques joignant des points singuliers ou un point singulier à une composante du bord. A la fin du texte, trois annexes apportent des discussions supplémentaires.

Le calage historique permet l'intégration de données acquises après la production dans la construction de modèles de réservoir. Le filtre de Kalman d'ensemble (EnKF) est une méthode d'assimilation (ou calage historique) séquentielle capable d'intégrer les données mesurées dès qu'ils sont obtenus. Ce travail est basé sur l'application de l' EnKF pour le calage historique et est divisé en deux sections principales. La première section traite l'application de la EnKF à plusieurs cas d'études afin de mieux comprendre les avantages et les inconvénients de la méthode. Ces cas d'étude incluent deux cas d'étude synthétiques (un simple et un plutôt complexe), un modèle de faciès et un modèle de réservoir réel. Dans la plupart des cas, la méthode a réussi à reproduire les données mesurées. Les problèmes rencontrés sont expliqués et des solutions possibles sont proposées. La seconde partie traite deux nouveaux algorithmes proposé en combinant l'EnKF avec deux méthodes de paramétrisation: méthode des points pilotes et méthode de déformation graduelle, permettant la préservation les propriétés statistiques de l'ordre de deux (moyenne et covariance). Les deux algorithmes développés sont appliqués au cas d'étude synthétique simple : la première méthode peut réussir avec un nombre suffisant et un bon positionnement des points pilotes. Pour la déformation graduelle, l'application peut réussir si l'ensemble de fond est assez grand.

L'effet sur l'écoulement atmosphérique de grande échelle, du déferlement des ondes de gravité de montagne à des niveaux critiques, est étudiée sous l'angle d'une production de vorticité potentielle dans le cadre du modèle de Eady. Concernant les échelles synoptiques, on montre notamment à l'aide d'un modèle semi-géostrophique linéarisé forcé par une force paramétrisée, que l'effet est cyclolytique dans le cas d'un front froid, et cyclogénétique pour un front chaud. Puis la dynamique 2D complète non linéaire est abordée à l'aide des équations primitives anélastiques. La réponse au forçage montagneux (paramétrisé ou direct) aux échelles sous-synoptiques, contient notamment des modes de Eady non-géostrophiques, couplant une onde de Eady de surface à une onde d'inertie-gravité de même échelle, et des trains d'ondes d'inertie-gravité générés spontanément par l'écoulement équilibré associé au dipole de vorticité potentielle. L'étude de la saturation non linéaire de ces réponses donne des amplitudes relativement faibles mais significatives.

Le LETI développe des micro-capteurs (tels que des micro-accéléromètres ou des micro-magnétomètres) capables de se géoréférencer et de donner alors leur propre orientation dans l'espace. Ainsi, si nous posons un ensemble de capteurs sur une forme, ils nous fourniront les données tangentielles de la surface aux positions des capteurs. Le travail développé ici consiste à reconstruire la forme d'objets à partir de ces données tangentielles et de la connaissance de la répartition de ces capteurs. Nous étudierons plusieurs cas de reconstruction, en commençant par la reconstruction de courbes planes, puis de courbes gauches et enfin de surfaces. Puis nous proposerons des méthodes de capture de mouvement de formes en déformation, c'est-à-dire que nous allons équiper une courbe ou une surface de capteurs, nous allons lui appliquer des déformations, et nous devrons reconstruire la forme virtuelle associée en temps réel à partir des données fournies par les capteurs. De nombreuses applications sont envisagées (domaines de la santé, de l'aéronautique, du multimédia, ...), et nous élaborons en parallèle des prototypes de capture de forme afin de tester et valider nos méthodes.

La technique de paramétrisation est très prometteuse pour la conception radio logicielle. La radio logicielle consiste à concevoir des systèmes multi-standards qui tirent bénéfice des possibilités de programmation ou de reconfiguration offertes par les composants de traitement la constituant. Cette thèse étudie la technique de paramétrisation par opérateurs communs. Les opérateurs communs sont des unités de traitements communes à plusieurs opérations qu'effectue un équipement, quelle que soit la couche du modèle OSI à laquelle elles appartiennent. La méthode proposée repose sur une approche théorique afin de résoudre le problème de conception d'un équipement multi-standards. Elle consiste en une optimisation d'un hypergraphe. La conception de l'équipement est représentée par des opérateurs à différents niveaux de granularité dans un graphe acyclique orienté. Le niveau le plus élevé représente une approche de conception d'équipements multi-standards de type Velcro. Plus les opérateurs sont bas dans le graphe, plus leur coût est faible en termes de complexité, mais plus il faut faire appel de fois à eux pour effectuer des opérations de différentes sortes. Nous décrivons ensuite en tant qu'exemples des conception basées sur les opérateurs DMFFT (dual mode FFT), LFSR (linear feedback shift register) et le cas du FRMFB (frequency response masking filter bank). Les solutions basées sur les opérateurs communs proposées dans cette thèse peuvent contribuer à optimiser la conception des futurs équipements multi-standards de radio logicielle qui devront supporter de nombreux standards de communication sans fil.

Le contexte de ma thèse rentre dans le cadre du projet IMD3D, supporté par le FUI. L'objectif de ce projet consiste à proposer une méthode automatisée permettant la décoration d'objets 3D quelconques. La solution choisie consiste à positionner un film imprimé dans le moule, ce film sera déformé par la fermeture du moule puis par injection. Ma thèse porte sur la génération de décoration. Les données dont nous disposons en entrée sont un maillage et une ou plusieurs images. Nous souhaitons d'abord obtenir le plaquage de cette image sur le maillage, de telle sorte que le rendu visuel soit équivalent à l'image initiale. Pour cela, nous avons décidé de choisir un point de vue par image et de le favoriser. Nous paramétrions alors le maillage par le biais d'une projection orthogonale ou perspective définie par ce point de vue. Nous réalisons alors la transformée inverse de déformation du maillage. L'utilisation d'une application conforme pour la déformation inverse permet de coller au mieux à la physique du problème. Nous visualisons donc le résultat à imprimer sur le film. Il reste alors à générer la texture permettant de décorer l'objet injecté par le procédé. Il suffit de parcourir bilinéairement l'intérieur des mailles et simultanément la partie de l'image correspondante, de manière à remplir les pixels de l'image. Ceci permet d'obtenir finalement la texture finale qui sera imprimée sur le film. Mais, lors des premiers essais effectués par les industriels avec une mire colorée, un effet de décoloration a été relevé. Nous avons donc pris en compte ce changement de couleur pour modifier l'image et obtenir le résultat visuel escompte, même au niveau du rendu des couleurs

On identifie simultanément les coefficients d'emmagasinement et de transmissivité hydraulique dans un écoulement souterrain gouvernent par une équation parabolique linéaire. Ces deux paramètres sont supposés être des fonctions constantes par morceaux en espace. Les inconnues du problème sont non seulement les valeurs de ces coefficients mais aussi la géométrie des zones dans lesquelles ces coefficients sont constants. Le problème est formule comme la minimisation d'une fonction de moindres carres calculant la différence entre les mesures et les quantités correspondantes évaluées avec la valeur courante des paramètres. L'objectif principal de ce travail est la construction d'une technique de paramétrisation adaptative guidée par des indicateurs de raffinement. L'utilisation d'indicateurs de raffinement, nous permet de construisons la paramétrisation de façon itérative, on allant d'une paramétrisation à une seule zone à une paramétrisation avec m zones où m est une valeur optimale à identifier. Nous distinguons les cas ou les deux paramètres ont la même paramétrisation et le cas où les deux paramètres ont des paramétrisations différentes. Pour améliorer la résolution du problème inverse d'estimation de paramètres, nous incorporons des estimateurs d'erreurs a posteriori. / We identify simultaneously storage and hydraulic transmissivity coefficients in groundwater flow governed by a linear parabolic equation. Both parameters are assumed to be functions piecewise constant in space. The unknowns are the coefficient values as well as the geometry of the zones where these coefficients are constant. This problem is formulated as minimizing a least-square function calculating the difference between measurements and the corresponding quantities computed with the current parameters values. The main point of this work is to construct an adaptative parameterization technique guided by refinement indicators. Using refinement indicators, we build the parameterization iteratively, going from a one zone parametrization to a parametrization with $m$ zones where $m$ is an optimal value to identify. We distinguish the cases where the two parameters have the same parameterization and different parameterizations.\\ To improve the resolution of the inverse problem, we incorporate a posteriori error estimations.

L'étude porte sur l'Afrique australe et surtout l'Afrique du Sud, pays bénéficiant d'un excellent réseau d'observations. La capacité du modèle climatique régional WRF à simuler la pluviométrie et la circulation atmosphérique y est évaluée pendant le coeur de la saison des pluies d'été austral (décembre à février : DJF) au travers de trois séries de simulations. WRF est forcé toutes les 6h par les réanalyses ERA40. La résolution horizontale est de 35km. La première série détermine la sensibilité aux paramétrisations de la convection atmosphérique, de la couche limite planétaire et de la microphysique nuageuse. La saison étudiée (DJF 1993-94 : DJF94) est représentative de la climatologie des pluies sud-africaines. La géographie des cumuls saisonniers, leurs intensités et leurs caractéristiques intrasaisonnières sont surtout contrôlées par la paramétrisation de la convection atmosphérique. En Afrique du Sud, les biais saisonniers varient du simple au double en fonction des trois schémas testés (Kain- Fritsch, Betts-Miller-Janjic et Grell-Dévényi). Les schémas de couche limite et de microphysique génèrent des différences moindres, mais pouvant se cumuler avec celles liées à la convection. La deuxième série évalue l'état saisonnier moyen et les structures pluviométriques quotidiennes récurrentes sur la période 1971-1999 au travers d'une configuration physique satisfaisante sur DJF94. La climatologie de la pluviométrie sud-africaine réanalysée (ERA40) est nettement améliorée par WRF, notamment en raison d'une dépression subcontinentale plus creusée au-dessus de l'Angola. Excepté les jours faiblement pluvieux, WRF restitue les principales structures pluviométriques observées au pas de temps quotidien, malgré des décalages fréquents de l'ordre de quelques jours. La troisième série quantifie la variabilité interne à partir de deux simulations d'ensemble de 30 membres. La variabilité interne est modulée par la paramétrisation de la convection atmosphérique (Kain-Fritsch en générant plus que Grell-Dévényi). De fortes similitudes sont néanmoins trouvées. Elles concernent la géographie de la variabilité interne, maximale le long d'une large bande étendue du nord-ouest au sud-est du domaine au pas de temps quotidien. Les incertitudes concernent la morphologie et la vitesse de propagation des bandes pluvieuses synoptiques, de l'ordre de 1 000 km dans le sens zonal pour les bandes pluvieuses tropicales-tempérées. Ces incertitudes sont indicatives des limites théoriques de la prévision opérationnelle en raison de la composante chaotique de l'atmosphère sur la région.