La reconstruction de surface, à partir de données échantillonnées, est un thème de recherche important et très actif depuis quelques années. L'enjeu est de pouvoir générer toute sorte de géométries et de topologies. Le but de ce travail est de trouver une surface régulière Gamma (typiquement de classe C2), passant au plus près de tous les points d'un échantillon V donné, c'est-à-dire telle que la distance euclidienne d(x, Gamma) soit minimale pour tout x dans V. Pour cela, on formule le problème à l'aide d'une équation aux dérivées partielles qui va caractériser l'évolution d'une surface Gamma(t). Cette EDP est composée d'un terme d'attraction, qui permet à Gamma(t) d'avancer jusqu'à V, et d'un terme de tension de surface, dont le rôle est de préserver la régularité de Gamma(t) au cours du temps. On montre d'abord que le problème est bien posé, c'est-à-dire que sa solution existe et qu'elle est unique. Cette EDP est ensuite résolue numériquement à l'aide de la méthode des lignes de niveau, et grâce à des schémas numériques spécifiques (avec approximation des dérivées d'ordre un et deux en espace en chaque noeud du maillage), sur des triangulations adaptées et anisotropes (pour améliorer la précision du résultat). D'un point de vue analyse, on montre que ces schémas sont consistants et stables en norme L2. Des exemples d'applications sont présentés pour illustrer l'efficacité de notre approche.

La conteneurisation constitue aujourd'hui l'épine dorsale de la mondialisation. Elle permet de mettre les marchandises les plus diverses dans des conteneurs, boîtes métalliques aux dimensions standardisées, pendant toute la durée de leur transport maritime et terrestre, de la porte de l'industriel jusqu'à celle du client. Avec la conteneurisation, le transport maritime est intégré dans des chaînes de transport multimodales qui se déploient à l'échelle de la planète au service du commerce international. <br />L'exploitation d'une base de données sur les capacités hebdomadaires de transport conteneurisé permet à l'auteur de cet ouvrage de montrer que l'innovation par les réseaux maritimes est un élément clé de la compétitivité des plus grands armements mondiaux. Les armements de l'Asie orientale ont pris appui sur la très forte croissance économique de cette région pour dominer depuis les années 1980 la scène maritime internationale. Mis leur hégémonie est aujourd'hui contestée par les armements européens qui s'affirment comme des armements transporteurs au service de l'ensemble des flux du commerce international.

Le but de cette étude était de documenter aussi précisément que possible le bilan de masse des aérosols minéraux désertiques qui sont des acteurs importants du système climatique terrestre puisqu'ils présentent un flux en masse annuel égal à environ la moitié du flux d'aérosols total. La mise en évidence de certains cas délicats à modéliser a conduit à mettre l'accent, dans ce travail, sur deux problèmes clefs de l'Afrique du nord : la région de Bodélé, du fait d'une topographie locale complexe, et les lignes de grains sahéliennes dont l'interaction avec les émissions d'aérosols minéraux reste encore largement inconnue.<br />Cette étude a été réalisée à l'échelle méso haute résolution en utilisant le modèle Regional Atmospheric Modeling System (RAMS) couplé en ligne avec le Dust Production Model (DPM) développé par Marticorena et Bergametti [1995] et Laurent [2005]. Afin d'examiner la capacité de ce modèle à reproduire les émissions d'aérosols minéraux dans la région complexe de Bodélé, nous avons tout d'abord modélisé la période correspondant à la campagne Bodélé Dust Experiment 2005 (BoDEx 2005). Notre modèle a ainsi été capable de reproduire les caractéristiques météorologiques locales (principalement le vent dans les basses couches) ainsi que les concentrations en aérosols minéraux et la structure du panache observées pendant la campagne. Nous avons aussi vérifié que les aérosols émis depuis cette région du monde atteignent le continent sud américain.<br />De plus, cette validation nous a permis de vérifier le constat établi par divers auteurs : les modèles à grande échelle (MCG) ont souvent du mal à reproduire correctement les champs de vent dans la région de Bodélé. Nous avons alors entrepris une étude climatologique (sur l'année 2001) sur une zone étendue autour de la région de Bodélé à différentes résolutions spatiales afin de caractériser les phénomènes de basses couches qui pourraient expliquer ce biais quasi-systématique des MCG. Ce travail a été validé grâce aux données de routine des stations de mesure de surface ainsi que grâce à l'imagerie satellite.<br />Le deuxième cas sur lequel la validation de notre outil était nécessaire est constitué par les événements de ligne de grains qui se succèdent sur la zone sahélienne lors de l'été boréal. Cette validation a été réalisée sur un événement bien documenté des périodes d'observations spéciales 1 et 2 de la campagne Analyse Multidisciplinaire de la Mousson Africaine (AMMA).

Un bassin sédimentaire est un milieu poreux dans lequel les hydrocarbures sont générés. Au cours du temps,ces hydrocarbures, qui sont soumis à certaines forces (la gravité, la pression,...), commencent à migrer. Ce phénomène est modélisé par des lois physiques (conservation de la masse, loi de Darcy), et les équations mathématiques (EDP) issues de ces lois sont fortement couplées entre elles et non linéaires. Le but de la modélisation de bassin est de retracer l'histoire de la création, de la migration et du stockage de ces hydrocarbures au cours de temps, afin de mieux localiser les zones où les hydrocarbures se sont concentrés. Les modèles mathématiques sont ensuite résolus numériquement. Le travail consiste ici en la mise au point d'une nouvelle méthode numérique pour la résolution de ces modèles, la méthode des lignes de courant. Cette méthode est déjà utilisée avec succès dans la modélisation des écoulement en milieux poreux. Les tests numériques sur cette méthode dans la simulation des réservoirs ont montré un gain de temps de calcul par rapport aux méthodes classiques (IMPES, FullyIMPLICITE...).Ce gain de temps vient du fait que l'équation en saturation est résolue en une série de problèmes 1d (le long de chaque ligne de courant), et aussi du fait qu'on résout moins l'équation de la pression.Il s'agit donc de répondre aux questions suivantes: - La méthode des lignes de courant admet-elle une extension pour la modélisation des bassins? - Peut-on optimiser cette méthode pour qu'elle soit compétitive par rapport aux autres méthodes? Le premier chapitre de cette thèse est consacré aux principes de cette méthode ainsi que l'application de cette méthode sur les problèmes simples de conservation. Dans le deuxième et le troisième chapitres on appliquera la méthode des lignes de courant sur les modèles de bassin.

En physique nucléaire, l'interaction faisceau-cible engendre une multitude d'événements qui ne sont pas tous d'intérêt pour le phénomène physique étudié. Il est donc important de disposer d'un système de sélection nommé trigger. Nous avons étudié et réalisé un nouveau trigger adapté aux expériences menées au GANIL. Nous avons présenté un historique des différents triggers utilisés aux GANIL (Grand Accélérateur National d'Ions Lourds) et avons montré la nécessité d'un nouveau trigger modulaire, universel et ouvert. Après une description des différents modes de fonctionnement du nouveau trigger (GANIL Master Trigger, GMT) nous avons décrit les phases de sa conception et de sa réalisation. Le trigger renseigne sur la configuration des détecteurs temporels, or cette information peut être fondamentale dans le cas où la fenêtre d'analyse du trigger couvre plusieurs périodes du faisceau. Nous avons donc proposé une structure de mesure de temps (Time to Digital Converter, TDC) qui permet de lever cette indétermination. Les contraintes de temps mort, d'intégration et de consommation nous ont conduit à proposer une architecture numérique basée sur un compteur associé à une ligne A Retard (LAR). Des calculs simples ont permis de définir la zone de fonctionnement du TDC. Cette zone dépend du rapport cyclique de l'horloge et des retards de la LAR. Des mesures de Non Linéarité Différentielle (NLD) pour des résolutions différentes (1,2,5 et 10 ns) ont permis d'établir les limites de ce système et de mettre en évidence des solutions d'amélioration de ces caractéristiques.

This thesis explores the subject of automatic verification of product line models. This approach is based on the hypothesis that to automatically verify product line models, they should first be transformed into a language that makes them computable. In this thesis, product line models are transformed into constraint (logic) programs, then verified against a typology of verification criteria. The typology enumerates, classifies and formalizes a collection of generic verification criteria, i.e. criteria that can be applied (with or without adaptation) to any product line formalism. The typology makes the distinction between two categories of criteria: criteria that deal with the formalism in which models are represented, and the formalism-independent criteria. To identify defects in the first category, the thesis proposes a conformance checking approach directly related with verification of the abstract syntactic aspects of a model. To identify defects in the second category, the thesis proposes a domain-specific verification approach. An optimal algorithm is specified and implemented in constraint logic program for each criterion in the typology. These can be used independently -or in combination- to verify individual product line models. The thesis offers to support the verification of multiple product line models using an integration approach. Besides, this thesis proposes a series of integration strategies that can be used before applying the verification as for individual models. The product line verification approach proposed in this thesis is generic in the sense that it can be reused for any kind of product line model that instantiates the generic meta model based on which it was developed. It is general in the sense that it supports the verification of a comprehensive collection of criteria defined in the typology. This approach was implemented in a prototype tool that supports the specification, transformation, integration, configuration, analysis and verification of product line models via constraints (logic) programming. A benchmark gathering a corpus of 54 product line models was developed, then used in a series of experiments. The experiments showed that (i) the implementation of the domain-specific verification approach is fast and scalable to product line models up-to 2000 artefacts; (ii) the implementation of the conformance checking approach is fast and scalable to product line models up-to 10000 artefacts; and (iii) both approaches are correct and useful for industrial-size models.

Ce travail concerne l'étude et la réalisation de dispositifs hyperfréquences coplanaires de type composite main droite/gauche (CRLH). Dans la première partie du mémoire, l'état de l'art des structures CRLH et leur aspect théorique sont présentés. La deuxième partie concerne la modélisation circuit et la conception de la cellule CRLH de base. Un modèle circuit a été développé à partir des modèles existants. Un résonateur d'ordre zéro (ZOR en anglais) à couplage capacitif a été fabriqué et les résultats expérimentaux nous ont permis de valider le modèle théorique. Une réduction de 80% de la taille du résonateur a été observée par rapport au résonateur demi-longueur d'onde à la même fréquence du travail. Une ligne de transmission à deux bandes de propagation a été réalisée par la mise en cascade de cinq cellules CRLH de base. La troisième partie est vouée à l'utilisation des couches magnétiques dans les structures CRLH pour réaliser des dispositifs hyperfréquences accordables. L'agilité en fréquence du ZOR a été confirmée expérimentalement. Nous avons aussi proposé un modèle théorique simple de la cellule CRLH réalisée sur un substrat de YIG. Les résultats expérimentaux de la ligne CRLH à ferrite et pour différentes valeurs du champ magnétique appliqué sont présentés et comparés au modèle théorique et aux simulations 3D.

Ce travail s'intéresse à l'utilisation de la méthode de quasi-réversibilité pour la résolution de problèmes inverses, un exemple typique étant le problème inverse de l'obstacle. Nous proposons pour ce dernier une nouvelle approche couplant la méthode de quasi-réversibilité et une méthode de lignes de niveau. Plus précisément, à partir d'un ouvert candidat C, nous résolvons un problème de Cauchy à l'extérieur de C, puis nous mettons à jour cet ouvert par la méthode de lignes de niveau. La solution approchée du problème de Cauchy est obtenue en utilisant la méthode de quasi-réversibilité, introduite par J.L. Lions et R. Lattès dans les années soixante. Nous proposons différentes formulations de cette méthode, ainsi que sa discrétisation par éléments finis non conformes adaptés à l'espace de Sobolev H2, et nous prouvons la convergence des éléments finis. En présence d'une donnée bruitée, nous introduisons une nouvelle méthode basée sur la dualité en optimisation et le principe de Morozov. Nous montrons que cette méthode fournit des données régularisées et un choix de paramètre de régularisation pertinent pour la quasi-réversibilité. En ce qui concerne la mise à jour de l'ouvert C, nous proposons deux méthodes de lignes de niveau très différentes : la première est basée sur une équation eikonale, la seconde sur une équation de Poisson. Nous prouvons que ces deux approches assurent la convergence vers l'obstacle. Finalement, nous présentons des résultats numériques pour cette approche couplant quasi-réversibilité/lignes de niveau dans différentes situations : problème inverse de l'obstacle avec condition de Dirichlet, détection de défauts dans une structure élasto-plastique...

During the last three decades, electronic devices have conquered the railway domain, taking the place previously held by electromechanical devices, thanks to higher performances and lower costs. The price of this "revolution" is the fact that, in order to work properly and reliably, electronic systems must be fairly immune to the effect of external interferers, while, at the same time, they are not to electromagnetically pollute the environment they work in. These issues are dealt with by electromagnetic Compatibility (EMC) whereas several international EMC standardization committees work on the definition of tests and rules the manufacturers must comply with. In the European Union, the reference for EMC issues in the railway domain is set by the CENELEC standard EN 50121, which deals with several aspects of a generic railway system, from the power-supply infrastructure to rolling stocks and signalling circuits. The introduction of this standard in 1996 has had a strong impact on rolling stock manufacturers, who are now required to test their products for EMC compliancy. As opposed to the automotive domain, the testing of trains cannot be performed in standard facilities, such as anechoic chambers, so that they have to be tested on actual railway lines, typically on the customer's. Industrial experience has shown that results obtained in this way are usually site-dependent, something that is against the very idea of a standard. The aim of this work is to prove the importance of the infrastructure in radiated emission tests, showing that the test results are site-dependent, thus subject to misunderstandings and misinterpretations. To this end, the features of a generic railway system are briefly described, pointing out the great variability in actual configurations, together with the absence of standard solutions. Subsequently, the electromagnetic modelling of a railway system is introduced, dealing with both propagation and radiation phenomena; in particular, the main topic here addressed is the modelling of supply-lines, through a quasi-TEM approach. The finite conductivity of the soil is taken into account by means of a closed-form formulation, thus avoiding numerical methods, and overcoming the limitations of Carson's model. Moreover, special attention is paid to discontinuities that would increase the model complexity, proposing approximated descriptions supported by numerical results. Results obtained with this model are then validated through several measurement campaigns carried out on actual railway lines, proving the effectiveness of the approach here pursued. The model is then employed in order to prove that some criteria in the standard EN 50121, specifically introduced in order to avoid site-dependency, are not realistic, thus leaving this issue unresolved. To this end, numerical examples are considered, assessing the impact of the infrastructure by comparing results obtained with realistic site configurations and with the ideal one envisaged by the standard. These comparisons are at the base of a tentative procedure that would allow to avoid the misinterpretations that triggered this work. Unfortunately, this approach requires an accurate description of the test-site. Since this is hardly the case, an alternative experimental characterization of the site is proposed, based on magnetic field measurements. This approach, involving the solution of an inverse problem, is shown to be feasible through a numerical validation, though its practical utilization requires efficient optimization techniques.

En mouillage partiel, l'arrière de gouttes glissant sur un plan incliné développe, au-delà d'une vitesse critique, une singularité en coin, arrondie à petite échelle. L'inclinaison ou la courbure de la ligne de contact retardent la transition de mouillage. À plus grande vitesse, un filet liquide dont la largeur croît avec la vitesse des gouttes, se développe et se rompt en déposant des gouttes satellites sur le substrat. Un modèle de lubrification permet de retrouver divers aspects de ces phénomènes : interface conique, retard au démouillage, largeur du ligament...<br /> Une augmentation du débit conduit à un écoulement en filet droit qui se déstabilise au-delà d'un débit seuil pour former des méandres stationnaires. L'équilibre entre inertie, tension de ligne et hystérésis de mouillage rend compte du rayon de courbure des virages, mais également du seuil de méandrage. Les méandres présentent une très forte hystérésis en débit provenant de l'accrochage sur le substrat. L'augmentation de la viscosité induit des changements de comportement : déclenchement non spontané des méandres et croissance de leur amplitude avec la distance à l'injection. Ces méandres avec hystérésis sont comparés à des méandres sans hystérésis, en mouillage total, confinés dans une cellule de Hele-Shaw. Privés d'accrochage sur le substrat, ces derniers sont alors mobiles. Nous avons étudié quelques effets de la physico-chimie sur ces méandres et montré que les surfactants ne sont pas nécessaires au méandrage. L'équilibre entre inertie et capillarité donne le seuil de ces méandres sans hystérésis.