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.

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.

Le doctorat s'inscrit dans le cadre d'une bourse CIFRE et d'un partenariat entre l'ENSTA Bretagne, l'IRISA et Thales Air Systems. Les préoccupations de ce dernier, et plus particulièrement de l'équipe de rattachement, sont de réaliser des systèmes à logiciels prépondérants embarqués. La complexité de ces systèmes et les besoins de compétitivité associés font émerger la notion de "Model-Based Product Lines(MBPLs)". Celles-ci tendent à réaliser une synergie de l'abstraction de l'Ingénierie Dirigée par les Modèles (IDM) et de la capacité de gestion de la capitalisation et réutilisation des Lignes de Produits (LdPs). La nature irrévocablement dynamique des systèmes réels induit une évolution permanente des LdPs afin de répondre aux nouvelles exigences des clients et pour refléter les changements des artefacts internes de la LdP. L'objectif de cette thèse est unique, maîtriser des incréments d'évolution d'une ligne de produits de systèmes complexes, les contributions pour y parvenir sont duales. La thèse est que 1) une variabilité multidimensionnelle ainsi qu'une modélisation relationnelle est requise dans le cadre de lignes de produits de systèmes complexes pour en améliorer la compréhension et en faciliter l'évolution (proposition d'un cadre générique de décomposition de la modélisation et d'un langage (DSML) nommé PLiMoS, dédié à l'expression relationnelle et intentionnelle dans les MBPLs), et que 2) les efforts de spécialisation lors de la dérivation d'un produit ainsi que l'évolution de la LdP doivent être guidé par une architecture conceptuelle (introduction de motifs architecturaux autour de PLiMoS et du patron ABCDE) et capitalisés dans un processus outillé semi-automatisé d'évolution incrémentale des lignes de produits par extension.

Le développement des technologies de communication et de l'information nécessite des composants semi-conducteurs ultrarapides et à faible niveau de bruit. Les transistors bipolaires à hétérojonction (TBH) sont des dispositifs qui visent des applications à hautes fréquences et qui peuvent satisfaire ces conditions. L'objet de cette thèse est l'étude expérimentale et la modélisation du bruit haute fréquence des TBH Si/SiGe:C (technologie STMicroelectronics) et InP/InGaAs (III-V Lab Alcatel-Thales).Accompagné d'un état de l'art des performances dynamiques des différentes technologies de TBH, le chapitre I rappelle brièvement le fonctionnement et la caractérisation des TBH en régime statique et dynamique. La première partie du chapitre II donne la description des deux types de TBH, avec l'analyse des performances dynamiques et statiques en fonction des variations technologiques de ceux-ci (composition de la base du TBH SiGe:C, réduction des dimensions latérales du TBH InGaAs). Avec l'aide d'une modélisation hydrodynamique, la seconde partie montre l'avantage d'une composition en germanium de 15-25% dans la base du TBH SiGe pour atteindre les meilleurs performances dynamiques. Le chapitre III synthétise des analyses statiques et dynamiques réalisées à basse température permettant de déterminer le poids relatif des temps de transit et des temps de charge dans la limitation des performances des TBH. L'analyse expérimentale et la modélisation analytique du bruit haute fréquence des deux types de TBH sont présentées en chapitre IV. La modélisation permet de mettre en évidence l'influence de la défocalisation du courant, de l'auto-échauffement, de la nature de l'hétérojonction base-émetteur sur le bruit haute fréquence. Une estimation des performances en bruit à basse température des deux types de TBH est obtenues avec les modèles électriques.

Dans les années 90, la commission européenne a sollicité la mise au point d’un système de contrôle commande et de signalisation ferroviaire commun à tous les réseaux des états membres : le système ERTMS « European Railway Traffic Management System ». Il s’agit d’un système réparti complexe dont le déploiement complet est long et coûteux. L’objectif global consiste à diminuer les coûts de validation et de certification liés à la mise en œuvre de ce nouveau système en Europe. La problématique scientifique réside dans la modélisation formelle de la spécification afin de permettre la génération automatique des scénarios de test. Les verrous scientifiques, traités dans cette thèse, sont liés d’une part à la transformation de modèle semi-formel en modèle formel en préservant les propriétés structurelles et fonctionnelles des constituants réactifs du système réparti, et d’autre part à la couverture des tests générés automatiquement. Les constituants sont sous la forme de boîte noire. L’objectif consiste à tester ces derniers à travers la spécification ERTMS. Nous avons développé une approche de modélisation basée sur le couplage de modèles semi-formels (UML) et de modèles formels (Réseaux de Petri). Ce couplage se fait à travers une technique de transformation de modèles. Nous avons développé ensuite une méthode de génération automatique de scénarios de test de conformité à partir des modèles en réseaux de Petri. Les scénarios de test ont été considérés comme une séquence de franchissement filtrée puis réduite du réseau de Petri interprété représentant la spécification. Ces scénarios ont été exécutés sur notre plateforme de simulation ERTMS / European Union set up a European rail traffic management system “ERTMS” to ensure, with high level of safety, train operation on different European networks. As the full deployment of this system is long and expensive, evolutions are necessary and raise other technological challenges. The goal is to determine how to use ERTMS specifications to produce test scenarios. This work presents methods, models and tools dedicated to the generation of test scenarios for the validation of ERTMS components based on functional requirements. The development of ERTMS system requires adequate methods for Modelling and evaluating its behavior. Evaluation and certification of the system can be done by generating test scenarios applying formal methods. The Unified Modelling Language (UML) is a widely accepted Modelling standard in industry. However, it is a semi-formal language and it does not allow verification of system behavior. In this case, formal models like Petri Net can be used. These methods are used in order to formalize ERTMS specification. Tests scenarios are generated on the basis of Petri net models. One scenario is considered like a firing sequence in the reachability graph of the Petri net. Then, test scenarios are applied on ERTMS platform simulator in order to check the components and to give test verdicts. Finally, the approach, developed in this document, has been applied to ERTMS components in order to demonstrate the validation and certification costs reduction and also to minimize the upgrade and retrofit constraints and validation cost

Une des méthodes les plus populaires et largement utilisée pour l’amélioration des sols compressibles est la technique d'inclusions rigides verticales qui constitue une alternative intéressante aux techniques plus traditionnelles telles que le pré-chargement, la mise en place de drains verticaux, le remplacement du sol en place, etc.Le Projet National ASIRI (Amélioration du Sol par Inclusions Rigides) a permis d’apporter des réponses sur le comportement de cette technique de renforcement et d’établir des recommandations de dimensionnement et de réalisation. Celui-ci comprend un volet expérimental (expérimentations en vraie grandeur, modèles physiques réduits à 1g, études en chambre d’étalonnage) et un volet numérique. Cependant, les recommandations publiées par ASIRI sont limitées aux cas de chargement monotone. Pourtant, différents cas de structures sous chargement cyclique sont couramment rencontrés dans la pratique: chargement des vagues sur les structures offshore, force du vent, charge sismique, la charge de trafic, remplissage et vidange de réservoirs, chargement et déchargement des zones de stockage… Cela nécessite alors de comprendre le comportement sous chargement cyclique et/ou dynamique de ces ouvrages.Ce travail de thèse constitue une contribution à la compréhension du comportement de ce type d’ouvrage, et s’intéresse plus particulièrement à la modélisation des mécanismes qui se développent dans le matelas de transfert de charge lors d’un chargement cyclique vertical quasi-statique. Il se fait suivant deux approches complémentaires : Expérimentale : par des essais sur un nouveau modèle physique réduit tridimensionnel à 1g et à l’échelle 1/10ème, Numérique : par la modélisation numérique tridimensionnelle en milieu continu utilisant le logiciel FLAC3D.Dans un premier temps, le travail expérimental réalisé nous a permis d’étudier le comportement de cette technique de renforcement sous chargement monotone et cyclique mettant en œuvre la méthode de corrélations d’images. La modélisation physique réalisée nous a permis d’étudier l’influence de l’épaisseur de la plateforme de transfert de charge granulaire et des conditions aux limites (cas remblai/cas dallage).Dans un deuxième temps, les résultats expérimentaux nous ont servi comme une base de données pour la validation d’un modèle numérique en milieu continu. La première étape de la modélisation numérique consiste à valider un modèle numérique à la même échelle réduite du modèle physique. La validation de l’approche de modélisation numérique à échelle réduite nous a permis, dans une deuxième étape, de réaliser une étude paramétrique afin de déterminer l’influence des différents paramètres sur le comportement du système. / One of the most popular and widely used methods for soft soil improvement is the reinforcement using vertical rigid inclusions. It constitutes an interesting alternative to the other traditional techniques such as preloading, vertical drains, replacing soil etc...The national French project ASIRI (Amélioration du Sol par Inclusions Rigides) allowed to provide answers about the behavior of this technique and to establish recommendations for design and construction. It included an experimental part (full-scale, 1g physical model experiments and calibration chamber studies) and a numerical part. However, the recommendations established by ASIRI are limited to the case of monotonic loading. Yet, various cases of structures under cyclic loading are commonly encountered in practice: waves loading on offshore structures, wind strength, seismic load, traffic load, filling and emptying of tanks, loading and unloading of storage areas... This then requires the understanding of the behavior of this technique under cyclic and/or dynamic loading.The work done in this thesis constitutes a contribution to understanding the behavior of this type of structures, and is particularly interested in modeling the mechanisms that develop in the load transfer mattress under a quasi-static vertical cyclic loading . Two complementary approaches have been followed: Experimental: by performing experimental tests using a new 1g tridimensional physical model with a scale factor of 1/10, Numerical: by performing numerical tridimensional simulations in a continuous media using the software FLAC3D.At first, the experimental work has allowed us to study the behavior of this reinforcement technique under monotonic and cyclic loading implementing the digital image correlation method. A parametric study performed with the physical modeling allowed us to study the influence of the granular load transfer platform (LTP) and the boundary conditions (presence of a rigid slab at the surface of the LTP).Secondly, the experimental results have served as a database for the validation of a numerical model in continuous medium. The first step of the numerical modeling is to validate a numerical model at the same reduced scale of the physical model. The validation of the numerical modeling approach at the reduced scale allowed us in a second step to perform a parametric study in order to determine the influence of different parameters on the behavior of the system.

La simulation détaillée au niveau carte de ces nouveaux types de packages est quasiment impossible du fait de la limitation des moyens de calculs actuels. En outre, dans la plupart des cas de conception électronique, seule l’estimation des températures en quelques points est intéressante. Une étude détaillée au niveau composant n’est pas nécessairement pertinente. Il faut donc un compromis entre faisabilité et/ou rapidité des calculs et une précision sur les paramètres importants. Une alternative est de trouver des modèles comportementaux équivalents aux modèles détaillés, capable de reproduire son comportement thermique aux points cruciaux. C’est dans cette optique que le projet européen DELPHI (Development of libraries of physical models of electronic components for an integrated design environment) a été initié en 1993. L’objectif de ce projet était de pouvoir générer un modèle compact à partir d’un modèle détaillé d’un composant électronique. Celui-ci a ainsi abouti à une standardisation du processus de génération des modèles mis en oeuvre. Néanmoins, les avancées issues de ce projet sont limitées aux composants mono-puces et à leur comportement thermique en régime permanent. L’objectif de cette thèse est d’avoir une approche multi-échelle de la génération de modèles compacts et leur interaction avec la carte. La modélisation multi-échelle consiste à la génération de modèles mono-puces ou multi-puces et leur réutilisation éventuelle dans des systèmes plus complexes tels que le PCB ou les « System-In-packages ». / This thesis is dedicated to the generation of behavioral thermal model for electronic component having multiple active sensitive chips. This innovative study focuses on the necessary improvements of the concept of steady-state and dynamic compact model in order to elaborate pertinent and accurate modeling practical techniques. To help the electronic designer to early identify the overheated electronic components, the purpose is to generate simplified models, capable to mimic the thermal behavior of sophisticated detailed models. These simplified or compact models using well-known thermal resistances network replicate the thermal path from the most sensitive elements to the external package surfaces and enable to accurately predict their temperatures as well as the case heat flow rates. Preliminary evaluations performed on the popular, plastic Quad Flat-pack No lead package family showed that the simplest network definition, restricted to the heating source and two external surfaces, is always insufficient to properly characterize the thermal response of real device. So our development of steady-state compact thermal model (CTM) for electronic component is based on a process flow defined by the European project DELPHI which was revised by the presented work to address multi-chip components. DELPHI style compact thermal model presents an enlarged node number, especially for the component external surfaces which are divided in a set of relevant areas.

L’objectif de cette thèse est la recherche de nouvelles techniques de génération de contenu numérique pour des applications de jeu vidéo. Le manque de variété de terrains, d’objets et de détails affecte fortement le réalisme des paysages de synthèse.Dans ce contexte, un des principaux goulots d’étranglements est la modélisation des ressources graphiques permettant de créer les scènes. Afin de simplifier et d’accélérer cette tâche, nous présentons des méthodes permettant de générer automatiquement du contenu graphique pour créer de grands paysages à la fois complexes et originaux.Notre première approche permet de créer et d’éditer rapidement des variétés d’objets à partir d’un modèle initial fourni par un graphiste, sous la contrainte d’une représentation avec très peu de triangles. Nous présentons également une méthode de génération procédurale des variétés d’objets. Ensemble, ces méthodes permettent de créer aussi bien des variétés de formes naturelles que des ouvrages d’arts tels que des routes, des ponts et des tunnels capables de s’adapter automatiquement au relief d’un paysage.Nous proposons une autre méthode, s’appuyant sur une simulation physique et thermique, pour créer des paysages hivernaux évoluant au cours du temps en fonction des conditions climatiques. Cette approche permet de suivre l’évolution du manteau neigeux ainsi que l’épaisseur de la glace qui se forme en surface d’un lac. / The goal of this thesis is the search for new techniques for generating digital content for video game applications. The lack of variety of objects and details strongly affects the realism of synthetic landscapes. In this context, a major bottleneck is the creation of graphical assets to create the scenes. To simplify and accelerate this task, we present methods to automatically generate graphical content with a view to creating large, convincing and realistic landscapes.We present a first category of method to create and edit quickly a vast variety of objects from an initial model provided by a graphic designer, under the constraint of low polygonal modeling. We also present a procedural method for generating of varieties of objects. Together, these methods can create many varieties of natural forms as well as roads, bridges and tunnels that can automatically adapt to the landform features of an input terrain.We propose another method, based on a physical simulation and heat transfer simulation to create winter landscapes that evolve over time depending on the weather conditions. This approach allows us to follow the evolution of the snowpack and the thickness of the ice that forms on the surface of a lake.

Ces travaux de thèse s’intéressent aux outils de simulation rapide de la fabrication d’un pneumatique. L'objectif est de prédire le mouvement et la position des éléments constitutifs du pneumatique, lors de leur mise en conformation, en prenant en compte les déformations induites par les actions mécaniques associées. Ces travaux s’appuient sur la mise en place d’un algorithme visant à modéliser le gonflement d’un outillage et la mise en place d’un modèle de déformation d’un système de formes géométriques aux caractéristiques mécaniques différentes. L'algorithme de gonflement de l’outillage se base sur la théorie des membranes inextensibles et son industrialisation est validée pour des dimensions standards de pneumatiques. La méthode Masse-Ressort est retenue pour réaliser la déformation de formes géométriques afin d’obtenir des résultats de déformation en temps réel. Dans ces travaux, cette méthode est adaptée aux matériaux d’un pneumatique à partir de travaux de caractérisations géométrique et mécanique validés par comparaison aux Éléments Finis. En conclusion, la modélisation développée permet une description à chaque étape du procédé de fabrication. / This thesis deals with fast simulation tools used to manufacture of a tire. The goal is to predict the displacement and position of the components of a tire taking into account the deformations induced by the associated mechanical actions. This work is based on the implementation of an algorithm for modeling the inflation of a tool and the development of a deformation model in order to compute the deformation of geometric shapes taking into account different mechanical properties. The algorithm to model the inflation of the tool is based on the theory of inextensible membranes and its industrialization is validated for standard sizes of tires. Mass-Spring method is used to achieve the deformation of geometric shapes in order to compute deformation in real time. In this work, this method is suitable for materials of a tire from geometric and mechanical characterizations validated by comparison with FEM. To conclude, the developed modelization allows a description for each step of the manufacturing process.

Le Cambodge est un pays situé en Asie du Sud-Est, avec grand potentiel de ressources en énergies renouvelables. Même fort de ce potentiel, la puissance électrique actuellement installée n'est pas suffisante pour tout le pays. Environ 80% de la population vit dans les zones rurales et 75% des ménages sont sans réseau électrique. Ils utilisent une batterie, le moteur diesel, des bougies ou du kérosène pour l'éclairage, la télévision, les multimédia et autres appareils ménagers. Une minorité des citoyens, dans la partie nord utilise des modules pico hydro électriques acheté dans les pays voisins pour éclairage. Mais la tension de sortie et la fréquence ne sont pas vraiment stables en cas de modification de la charge ou de la vitesse de rotation de la turbine. La durée de vie des appareils électroménagers peut ainsi être réduite et des réparations locales sont nécessaires. Des millions de Cambodgiens ne peuvent pas accéder à l'énergie électrique en raison de deux facteurs principaux : les barrières technologiques et les coûts d'investissement élevés. Nos activités de recherche visent à éliminer ces barrières technologiques en concevant des systèmes de production d'énergie pico-hydroélectrique avec une installation rapide et peu coûteuse, simple et adaptée à une application locale tout en gardant une qualité de l'alimentation électrique satisfaisante. La première partie de cet ouvrage décrit la situation de l'énergie dans les zones rurales du Cambodge où les gens sont confrontés à un manque d'alimentation électrique. En conséquence, ils ne peuvent ni améliorer leur niveau de vie, ni développer leur communauté. Les villageois riches utilisent une batterie de voiture, des systèmes photovoltaïques ou pico-hydroélectriques alors que les villageois pauvres utilisent des bougies ou du kérosène pour l'éclairage. Des entreprises locales fournissent des solutions électriques basées sur des énergies renouvelables, mais les prix sont inabordables et loin de leurs attentes. Par conséquent, une solution originale est proposée dans cette thèse avec la récupération de composants électriques d'occasion en vue de la mise en œuvre d'un nouveau système de génération d'électricité pour les zones rurales isolées. Il s'agit ici d'innovation frugale pour le bas de la pyramide sociale. Les composants utilisés sont : machine asynchrone, alimentation sans interruption (UPS), alimentation de PC et d'autres équipements électroniques, etc. Ces composants recyclés peuvent être rassemblés pour former ainsi une solution technologique intéressante permettant de délivrer la puissance de sortie nécessaire. La deuxième partie de ce mémoire présente la modélisation de l'étage de puissance de la machine asynchrone triphasée utilisée comme un générateur asynchrone monophasé avec une phase d'excitation et les deux autres phases connectées en série pour alimenter la charge. Cette configuration est nommée 'Excited Induction Generator (EIG)'. / Cambodia is a country located in Southeast Asia, with its high potential of renewable energy resource. Even if this country has a high potential for renewable, the installed power is still not high enough to cover the whole country. About 80% of population living in rural areas and 75% of the households live without electricity. They survive by using battery, diesel engine, candle, kerosene for lighting, TV, multimedia and some other household appliances. A few of residents in northern part of the country use pico-hydro power units bought from neighbor countries in order to electrify their houses. In these systems, the output voltage and frequency are not really stable while the load under load or speed variations. Consequently, the lifetime of household appliances could be reduced or the items damaged and local repairs are needed. Moreover, millions of Cambodian people cannot access neither take an advantage from the available energy resources due to two main factors: technology barriers and high investment cost. This research aims to remove technology barriers by designing simple systems for pico-hydro power generation with fast and simple installation, suitable for local applications with high quality of electrical supply. The first part of this work briefly describes the energy situation in rural areas of Cambodia where people are facing the lack of electrical supply which. They cannot neither improve their living standard nor develop their community. Rich villagers use car battery, solar PV applications, pico-hydro power while poor villagers use candle/kerosene for lighting. Local enterprises can provide renewable energy solutions but the prices are unaffordable and far from their expectations. Therefore, an original solution is proposed in this thesis by using wasted electric and electronic equipment (second-life components) to form the new power generation systems for remote rural areas. This is frugal innovation to serve the bottom of the social pyramid. The used components are: induction machine, Uninterrupted Power Supply (UPS), power supply of a computer and other electronic equipment, etc. These wasted components can be arranged together to form a good solution with an interesting output power. The second part of this thesis presents the modelling of the power stage of three-phase induction machine as a single-phase induction generator by using one phase for excitation while the other two phases are connected in series to supply load, named "Excited Induction Generator (EIG)". Capacitor banks are added to EIG for compensating the reactive power. Capacitor values influence poles and zeros locations which are described and analyzed in the root locus according to the parameter variations. The third part of this thesis is devoted to onsite modelling of losses in induction machine. The method should achieve results simply, rapidly, without any prior information on the machine, in order to further integrate this model into energy optimization algorithms. Design of experiments is a good candidate. Experimental models of the total loss (iron loss and rotor copper losses) are proposed for motor operation and generator mode for different machines of different powers. The last part of this thesis describes output voltage/current response for both simulation results and experimental results of the induction generators. Proportional-integral and proportional-resonant controllers are tested. The implementation of closed loop controller is first achieved in an analog circuit and then, with dSPACE/MATLAB Simulink environment.