Cette thèse se divise en quatre parties. La première partie est consacrée à l'étude bibliographique des différents modèles de transport actuellement utilisés pour la simulation du trafic urbain. Une nouvelle classification est proposée : elle consiste à distinguer les modèles à partir de quatre critères qui sont présentés en détail dans le chapitre 1.<br /><br />La deuxième partie de la thèse est consacrée au problème de décomposition d'un réseau urbain en sous réseaux de taille raisonnable et aussi indépendants les uns des autres que possible, c'est-à-dire ayant un nombre de connexions<br />aussi faible que possible.<br /><br />Dans la troisième partie de la thèse nous présentons un programme de simulation pour générer les données qui, à leur tour, vont servir à constituer une mémoire. Cette mémoire a pour objectif de proposer le chemin le plus rapide à l'intérieur d'un sous-réseau dès que l'on connaît l'état du sous-réseau ainsi que l'origine et la destination du véhicule.<br /><br />Enfin, la dernière partie de la thèse est la plus novatrice. Elle fait intervenir les techniques de l'analyse des données pour constituer la mémoire et permettre ainsi de choisir le chemin le plus rapide en temps réel.

Les systèmes temps réel et distribués posent des problèmes complexes en termes de conception d'architecture et de description de comportements. De par leur criticité en vies humaines et leurs coûts de prototypage, ces systèmes ont motivé le développement d'une activité de recherche sur les langages de modélisation formelle et les techniques de validation basées modèle qui contribuent à la détection au plus tôt des erreurs de conception. Néanmoins, les langages formels ont eu un succès plus que limité dans l'industrie. L'arrivée du langage UML (Unified Modeling Language) a ouvert de nouveaux horizons pour l'intégration de langages de modélisation formelle dans une méthodologie de conception susceptible d'être mieux acceptée par les praticiens du domaine. En s'appuyant sur une expérience antérieure de la technique de description formelle Estelle et des extensions temporelles des réseaux de Petri, notre activité de recherche sur les cinq dernières années a débouché sur la production d'un profil UML nommé TURTLE (Timed UML and RT-LOTOS Environment). TURTLE surpasse UML 2.0 par ses extensions aux diagrammes d'analyse et de conception UML, sa sémantique formelle exprimée en RT-LOTOS, et ses outils de support (éditeur de diagrammes et outil de validation formelle combinant simulation et vérification basée sur une analyse daccessibilité). La méthodologie TURTLE trouve son champ d'application naturel dans la conception de systèmes temps réel et la validation d'architectures de communication en particulier. L'approche proposée a été appliquée avec succès à des systèmes satellitaires et des protocoles d'authentification.

La cohabitaion, dans une même enceinte, des systèmes électroniques de puissance et decommande est un risque majeur pour le bon fonctionnement des systèmes électroniquesembarqués (Automobile, Aéronautique et Spatial). La maitrise de la CEM de ces systèmes estun défit surtout avec la difficulté de rendre compte des phénomènes EM.Ce mémoire décrit la modélisation des émissions conduites et des émissions EM rayonnéespar le câblage des systèmes électroniques embarqués. On explique d'abord le choix del'utilisation de la méthode de modélisation PEEC puis on décrit sa formulationmathématique et on présente les différents phénomènes EM qu'elle prend en compte dansle contexte de câblage.Dans le deuxième chapitre, un calcul tridimensionnel des émissions EM rayonnées a étéproposé. Il prend en compte de la géometrie des cellules de discrétisation et permet unemeilleure considération de la montée en fréquence. Il permet ainsi de se rapprocher au plusprès de la structure. Une validation de ce calcul a été effectuée en comparant les résultatsde simulation à ceux obtenus par d'autres calculs analytiques, par modélisation " élémentsfinis " et aussi par des mesures en champ proche.Le troisième chapitre est consacré aux applications aux systèmes électroniques embarqués.Dans une première partie, une étude d'un système de câblage, qui reflète les différentsphénomènes rencontrés en automobile, a été faite. Ensuite, un câblage est associé à unconvertisseur DC/DC. Ce convertisseur est utilisé comme un générateur de perturbations EMen Hautes fréquences. Dans cette partie du travail, on présente une modélisation de cesperturbations qui se propagent vers le câblage et qui se transforment en émissions EMrayonnées.

Ces dernières années se distinguent par la prise de conscience collective de la dimension écologique à tous les niveaux ; dans l'industrie pour la conception et la gestion de la fin de vie des produits manufacturiers, dans le domaine du bâtiment, et au niveau des transports. Dans ce dernier cas, le pétrole n'est plus vu comme la source incontournable d'énergie, et des solutions de propulsion électrique ou multi-sources, dénommée " hybride ", voient le jour. Si la propulsion hybride commence à entrer dans les mentalités dans le domaine automobile, elle est encore peu présente dans le domaine de la navigation de plaisance. Avec trois sources d'énergie potentiellement disponibles, carburant, électrique et vent, et un environnement d'évolution peu contraignant, les navires représentent au premier abord un champ d'application intéressant pour ces nouvelles technologies. C'est ce que nous nous proposons d'analyser dans ce mémoire. Pour mener à bien cette étude, une démarche de dimensionnement a du être mise en place. Si différentes méthodologies ont déjà été proposées depuis le milieu des années 90 dans le domaine automobile, elles s'appuient pour la plupart sur une base limitée d'organes constitutifs de la chaîne de propulsion recherchée. Nos hypothèses de travail sont différentes. Nous proposons dans ce mémoire une méthodologie de dimensionnement itérative, basée sur une modélisation multiphysique juste nécessaire, au point de i) considérer autant que possible les flux énergétiques au sein de l'architecture de propulsion à dimensionner et ne plus dissocier flux et effort au niveau de chaque organe, ii) de proposer des modèles génériques adimensionnels associés à chaque famille d'organes. Nous appuyant sur le bond-graph et les notions de lignes de puissance et de modulation, nous procédons, et c'est original, à une optimisation couplée du dimensionnement et de la commande. La méthode proposée est appliquée à deux cas d'études : le problème de dimensionnement d'un voilier de moyenne puissance et celui d'une voiture hybride.

La simulation réaliste de foule est un problème ouvert et difficile à cause de la multitude d'informations qui sont prises en compte par un humain pour déterminer sa trajectoire de marche. Dans cette thèse nous cherchons à modéliser puis à simuler de manière aussi réaliste que possible les interactions de suivis entre individus se déplaçant dans les foules. Nous proposons une approche en trois grandes étapes. Dans un premier temps, nous constituons une base de données cinématiques pour observer le comportement de suivi lors du déplacement de groupes de piétons à partir d'un procédé expérimental original utilisant la technologie de capture de mouvements optoélectronique. Le traitement des données acquises requiert le développement d'une méthode spécifique de reconstruction des données brutes. La base de données ainsi obtenue représente le premier résultat de notre travail. Dans un deuxième temps, nous proposons une analyse détaillée de ces données. Nous mettons en évidence d'une part, la nature des interactions locales entre les sujets, et d'autre part les phénomènes globaux qui émergent de la combinaison de ces interactions dont en particulier la formation de vague de vitesses qui se propagent. Cette analyse constitue notre deuxième résultat majeur et conduit à notre troisième et dernier résultat : un modèle numérique d'interaction locale de suivi que nous calibrons sur les données expérimentales acquises. Les résultats de simulation sont finalement évalués quant à leur capacité à reproduire les phénomènes macroscopiques observés et analysés. Enfin, nous montrons des cas d'usage pratique de notre modèle.

Le corpus disciplinaire de l'hydrologie urbaine acquiert, depuis une trentaine d'années, des connaissances liées au fonctionnement des systèmes d'assainissement urbains en ce qui concerne les aspects techniques, économiques ou environnementaux. Dans le contexte du développement durable il est demandé aux collectivités locales de tendre vers une gestion durable de l'eau en ville. A contrario, les villes et notamment les villes moyennes, ne disposent pas toujours des capacités d'expertise pour conduire cette mission. La problématique de ce travail a été limitée à la dimension environnementale du développement durable. La question centrale a porté sur la manière de conceptualiser la traduction de la réalité technique des systèmes d'assainissement des villes moyennes, en une connaissance environnementale pour les gestionnaires de ces systèmes. Cette recherche a postulé que la connaissance pouvait être apportée par l'évaluation des performances. Une méthode appelée QUESA est proposée. Celle-ci apprécie la qualité environnementale des systèmes d'assainissement urbains, grâce à l'évaluation des performances de sept critères principaux relatifs à des aspects environnementaux (1. Utilisation de l'énergie ; 2. Pollution des eaux de surface ; 3. Pollution du milieu souterrain ; 4. Inondations ; 5. Intégration urbaine ; 6. Santé et hygiène ; 7. Management environnemental). Les principaux résultats de cette thèse sont : * l'organisation originale d'indicateurs au sein d'une méthode d'évaluation multicritère. Les indicateurs ont été construits, choisis et adaptés à partir de la littérature scientifique et technique ; * la construction de modèles de performances, au moyen desquels la traduction de la réalité en connaissance est opérée. Deux formes de modélisation ont été élaborées, l'une utilise des fonctions de performance, l'autre fait appel à des règles expertes ; * la conception d'un prototype informatique de la méthode d'évaluation qui rassemble l'organisation des indicateurs et les modèles de performance. Ce prototype permet la visualisation du résultat de l'évaluation sous la forme d'un profil environnemental des performances sur les sept critères principaux. L'utilisation du prototype informatique dans le cas d'une ville fictive a permis de dégager les limites d'utilisation de certains modèles de performance. L'application du prototype informatique sur des systèmes réels ainsi que la transposition de la méthodologie à d'autres échelles, comme celles des zones d'activités commerciales, sont envisagées.

De façon évidente, la pratique industrielle de la cristallisation ne peut éviter la présence d'impuretés indésirables produites suite aux nombreuses réactions chimiques précédant les étapes de cristallisation. Même en quantités infimes, les impuretés présentes dans les jus mères peuvent affecter de façon considérable la cristallisation et la qualité du produit obtenu. Dans ce contexte, les technologies de mesures en ligne fournissent un apport considérable en permettant l'obtention d'informations riches, en temps réel et de façon quasi-continue sur l'évolution des phases liquide et dispersée. L'objectif du présent travail est la compréhension des effets des impuretés sur les produits de cristallisations discontinues. Des expériences sont effectuées, sur une installation-pilote, en vue d'étudier les effets des paramètres opératoires de cristallisation de l'oxalate d'ammonium monohydrate pur et en présence de sulfate de nickel (impureté) sur la taille et la forme des cristaux produits. Pour cela, deux techniques analytiques in situ, la spectroscopie ATR FTIR pour la mesure de sursaturation et l'analyse d'image in situ pour l'évaluation des distributions des tailles des cristaux, seront utilisées. A partir des données expérimentales obtenues, nous proposons des modèles cinétiques de nucléation (primaire et secondaire) et de croissance tenant compte de l'action des impuretés et décrivant l'adsorption de celles-ci à la surface des cristaux. Ces modèles sont ensuite exploités pour la mise en place de simulations fondées sur les équations de bilans de populations.L'originalité de l'approche adoptée réside dans l'emploi du modèle classique de Kubota - Mullin, modifié par l'ajout d'une variable temporelle permettant la prise en compte de la durée d'exposition de chaque cristal aux impuretés. Les résultats de simulation obtenus décrivent de façon satisfaisante l'évolution temporelle de la sursaturation et de la distribution de taille des cristaux.

Plusieurs études ont rapporté l'influence de la pression d'hydrogène, plus précisément la concentration réelle en hydrogène dissous dans le milieu réactionnel, sur l'énantiosélectivité des réactions d'hydrogénations catalytiques intervenant des catalyseurs à base de rhodium. Cependant, l'identification de l'étape ou les étapes enantiodéterminantes ou limitantes ainsi que l'explication de l'effet de la pression d'hydrogène sur cet étape, exigent la détermination des constantes cinétiques de chaque étape élémentaire. Ce projet de recherche vise une telle détermination en combinant deux études expérimentale et théorique. Dans un premier temps, un système catalytique présentant deux effets opposés de la pression de l'hydrogène en fonction de la nature du substrat, a été identifié : un effet néfaste avec le M-acrylate (MAA) et un effet bénéfique avec l'E-emap. Ensuite, deux études ont été menées sur les réactions d'hydrogénation de ces deux substrats par le Rh(I) /(R,R)-Me-BPE. L'étude cinétique expérimentale est basée sur le modèle cinétique proposé par Halpern dans le but d'estimer les paramètres cinétiques des différentes étapes élémentaires, alors que celle théorique consiste à étudier les différents chemins réactionnels possibles par calcul DFT en utilisant le logiciel de modélisation Gaussian 03. L'exploitation des résultats obtenus a permis de revisiter les concepts clés de la catalyse d'hydrogénation asymétrique et de mener une discussion par rapport à la fiabilité des méthodes théoriques à prévoir l'expérience.