Ce travail de recherche est centré sur une proposition pour l'intégration de différents formalismes dans la modélisation soit de modèles de méthodes orientées objets, soit de modèles de systèmes d'information. Pour remplir cet objectif nous avons établi et expérimenté un méta-modèle. Une originalité de notre méta-modèle est son organisation en vues pour décrire des modèles selon des aspects statiques, dynamiques mais aussi semi-formels, formels et informels. Nos propositions sont précédées d'une étude de différents langages et formalismes qui caractérisent les approches actuelles de modélisation. Ce cadre de méta-modélisation est étendu pour favoriser une multi-modélisation de systèmes. D'une manière classique, la multi-modélisation est limitée à l'utilisation de diagrammes complémentaires pour décrire un système. Nous complétons cette forme de multi-modélisation par une étude de relations nécessaires entre différents fragments de modèles décrits avec des formalismes variés : semi-formels, formels ou informels. Pour concrétiser notre proposition nous avons réalisé un premier prototype d'atelier pour illustrer et expérimenter les services que nous attendons d'un atelier de modélisation adapté à des modélisations plus rigoureuses de systèmes d'information. Ce prototype est en réalité un générateur d'ateliers de modélisation basé sur l'utilisation de trois logiciels différents de type générateur d'éditeurs graphiques, générateur d'éditeurs syntaxiques et éditeur paramètre de documents structurés. Notre prototype a été utilisé dans plusieurs situations : méta-modélisation de sous-ensembles des méthodes OMT et OOA, proposition d'un noyau de référentiel de comparaison de modèles de méthodes, multi-modélisation d'un système d'information spécifique (modèle STORM d'applications multimédias) et guidage d'une multi-modélisation au travers d'un canevas standard de dossier de spécifications de systèmes.

Le document présente une synthèse de travaux sur le déploiement, l'utilisation et les techniques de mise en oeuvre d'applications développées selon un modèle de programmation à passage de messages sur des grilles de calcul. La première partie décrit les performances observées sur la période 2002-2006 sur une plateforme à l'échelle de la France, ainsi que les gains obtenus par équilibrage de charge. La deuxième partie décrit un intergiciel nouveau baptisé P2P-MPI qui synthétise un ensemble de propositions pour améliorer la prise en charge de tels programmes à passage de messages.

dans le contexte de la tendance actuelle vers l'ubiquité des réseaux et la mobilité des services, nous observons que l'accès de réseau est fourni par une grande diversité de technologies d'accès, avec des recouvrements, ce qui compose un environnement de réseaux sans fil hétérogènes. dans cet environnement, les terminaux mobiles ont besoin de toujours sélectionner le meilleur réseau. dans cette thèse, nous faisons tout d'abord une étude de schémas existants de la sélection de réseau qui utilisent différents modèles mathématiques. ensuite, nous établissons un simulateur en matlab. dans notre première proposition, le problème en utilisant les facteurs de mobilité est étudie. nous expliquons que la sélection du meilleur réseau devient la sélection de la meilleure permutation des réseaux lorsque les propriétés de handover verticale sont prises en compte. a la fin, nous proposons un schéma pour trouver la meilleure permutation. deuxièmement, l'exigence d'une nouvelle méthode de pondération subjective est analysée. nous proposons un nouveau mécanisme automatique, fonde sur les déclencheurs, qui est capable de calculer efficacement les poids subjectifs des attributs divers, considérant les propriétés de réseau et terminal mobile. finalement, plusieurs autres problèmes de sélection de réseau sont analyses et les solutions possibles sont proposées. base sur tous les études dessus, nous proposons une stratégie intégrée.

La modélisation du comportement mécanique des matériaux de structure se nourrit de plus en plus de paramètres microstructuraux. Dans ce cadre, les méthodes d'homogénéisation présentent l'avantage de fournir des méthodes déductives qui, à partir des propriétés et de la répartition spatiale des hétérogénéités, déduisent les propriétés effectives du matériau considéré. Néanmoins de nombreuses applications soulèvent encore des difficultés. C'est en particulier le cas des matériaux de structure présentant un comportement élasto-viscoplastique et soumis à un trajet de chargement non monotone et non isotherme. Progresser sur le traitement par homogénéisation de ces situations concrètes constitue précisément le fil conducteur des différentes contributions présentées dans ce mémoire d'HDR. Dans le cas élastique linéaire, de nouvelles expressions pour le calcul du tenseur d'Eshelby sont tout d'abord établies afin d'améliorer l'efficacité des méthodes d'homogénéisation habituellement proposées. Toujours pour des comportements linéaires mais à présent viscoélastique, différentes approximations associées à l'utilisation du théorème de correspondance sont étudiées et comparées. On montre notamment l'équivalence d'une de ces approximations (la méthode des collocations) avec une formulation à variables internes du comportement effectif. Cette formulation à variables internes conduit à des résultats exacts dans certaines situations et simplifie notablement le traitement des comportements viscoélastiques linéaires vieillissants. Dans le cas des comportements élasto-viscoplastiques, s'ajoute à la difficulté précédente (couplage viscoélastique) celle du traitement des non linéarités. Des comparaisons établies entre différentes familles d'estimation permettent de bien cerner les effets des différentes approximations nécessaires pour traiter ces non linéarités. Une proposition d'amélioration est même formulée et mise en œuvre dans un cas particulier. On montre ensuite comment décliner l'approche par variables internes dans ce cas non linéaire. Enfin, la question des calculs de microstructures est aussi abordée en considérant le cas particulier où des zones de l'élément de volume considéré ont des propriétés mécaniques mal définies. Dans le cas élastique linéaire, de nouvelles bornes pour le comportement effectif sont établies en mariant le calcul de structure et une approche variationnelle de type Hashin et Shtrikman. Ce dernier point ouvre sur des perspectives de recherche importantes : bornes plus resserrées, comportements non linéaires, ... Côté méthodes d'homogénéisation, des perspectives précises sont aussi définies, en particulier pour les matériaux poly-cristallins, situation pour laquelle le champ d'investigation s'élargit nettement (fatigue, grandes déformations, ...) grâce à la formulation à variables internes proposée. Enfin, la simulation des effets d'irradiation constitue le troisième thème d'intérêt pour les années à venir, l'objectif général étant de mieux prédire les effets des déformations de gonflement induites par l'irradiation sur le comportement des structures en service.

Il est très probable que l'Internet du futur interconnectera des réseaux encore plus hétérogènes qu'ils ne le sont aujourd'hui. Aussi, les nouvelles applications incluant la surveillance de l'environnement, l'intervention d'urgence et la communication véhiculaire nécessitent une plus grande tolérance aux délais ainsi qu'aux pertes de connectivité. L'interconnexion des réseaux hétérogènes robustes aux coupures de connectivité pose de nombreux défis scientifiques. Dans cette thèse nous proposons trois contributions principales dans ce domaine. Premièrement, nous présentons une classification des protocoles de routage DTN qui se base sur les stratégies de routage. Nous proposons des heuristiques pour choisir le meilleur module de routage à utiliser. Deuxièmement, nous proposons un nouveau protocole, appelé MeDeHa, pour disséminer des messages dans les réseaux hétérogènes à connectivité intermittente. MeDeHa permet d'interconnecter des réseaux infrastructures avec des réseaux ad-hoc, en utilisant plusieurs interfaces réseaux et il permet d'utiliser des protocoles de routage existants comme OLSR pour les réseaux MANETs. Nous évaluons MeDeHa par des simulations utilisant des traces de mobilités synthétiques et réelles, mais aussi en effectuant des expérimentations hybrides fonctionnant en partie sur simulateur et en partie sur des machines réelles. Troisièmement, nous proposons un mécanisme de nommage appelé HeNNA pour des réseaux hétérogènes à connectivité épisodique. Ce mécanisme permet de transmettre des messages aux noeuds indépendamment de leurs adresses IP et donc de leur localité. HeNNA est compatible avec le routage actuel de l'Internet. Enfin, nous avons intégré HeNNA dans le protocole MeDeHa afin d'illustrer le fonctionnement de l'ensemble de la pile de communication.

Cette thèse a pour but de proposer un algorithme de partitionnement matériel/logiciel optimisé. On travaille sur l'hypothèse de que quelques caractéristiques spécifiques à certains algorithmes déjà publiés puissent être combinées de façon avantageuse, menant à l'amélioration d'un algorithme de partitionnement de base et, par conséquence, des systèmes hétérogènes générés par cet algorithme. L'ensemble d'optimisations proposées pour être réalisées dans ce nouvel algorithme consiste en : généralisation des architecturescible candidates avec l'ajout de FPGA's pour le partitionnement, considération précise des coûts et puissances des fonctions allouées en matériel, ordonnancement de systèmes au matériel dynamiquement reconfigurable, et prise en compte de plusieurs alternatives d'implémentation d'un noeud d'application dans un même processeur. Ces optimisations sont implémentées en versions successives de l'algorithme de partitionnement proposé, lesquelles sont testées avec deux applications de traitement du signal. Les résultats du partitionnement démontrent l'effet de chaque optimisation sur la qualité du système hétérogène obtenu.

Les prix de marché des actifs risqués sont dictés par les actions des agents économiques qui ont des horizons d'investissement différents: ils ajustent leurs portefeuilles à des fréquences différentes et observent les rendements à différentes échelles. Dans cette thèse, nous examinons trois aspects distincts du problème des horizons multiples d'investissement. En premier lieu, nous étudions les implications théoriques de l'hétérogénéité des horizons de décision des investisseurs pour la dynamique des prix. Cette analyse est effectuée dans le cadre d'une rationalité complète et bornée. Deuxièmement, nous testons la capacité de différents modèles de séries chronologiques de volatilité des prix à représenter les propriétés des rendements boursiers simultanément à différentes échelles de temps. Enfin, nous proposons une méthode de mesure de la volatilité à échelle multiple basée sur des filtres d'ondelettes, avec application à la détection des crises financières.

La simulation de structures industrielles complexes comportant des détails structuraux conduit à des modèles éléments finis de très grande taille. Pour traiter ce type de problème, une méthode de décomposition de domaine FETI-DP est adoptée dans ce travail. L'étude concerne un navire à passagers, dont l'architecture présente un découpage naturel en sousstructures. Les performances de ces méthodes sont très dépendantes de celles de son solveur, basé sur une méthode itérative de type gradient conjugué. Il faut donc disposer de préconditionneurs efficaces, ce qui est délicat pour des structures hétérogènes constituées par des assemblages tridimensionnels de plaques et de raidisseurs. Une méthode est donc développée tenant compte de la raideur locale d'interface des sous domaines, pour accélérer la vitesse de convergence. Dans une deuxième partie, l'objectif est d'optimiser le temps de calcul de la structure. La méthode précédente est alors améliorée avec une version multiéchelle, et deux niveaux de discrétisation des sous domaines. Les zones d'intérêt sont représentées par des sous domaines maillés finement, alors que toutes les autres sont décrites de façon macroscopique avec seulement les nœuds grossiers de l'approche FETI-DP. L'utilisation de sous domaines macroscopiques soulève le problème de la détermination de leur raideur (par homogénéisation numérique), et de leur raccord avec les sous domaines microscopiques. Deux approches différentes sont proposées, de type collocation et Mortar. Elles sont validées sur des cas simples et illustrés à travers différents exemples.

Les processus physico-chimiques de propagation des détonations dans les mélanges hétérogènes gaz-particules solides ou gaz-gouttelettes liquides ont été analysés à partir de simulations numériques de la structure cellulaire de détonation. Dans le cas des suspensions de particules d'aluminium, deux modèles de combustion ont été incorporés au code de calcul EFAE du LCD. En utilisant un seul paramètre d'ajustement pour se calibrer sur les résultats expérimentaux existants, on obtient des valeurs raisonnables de la largeur caractéristique de la structure cellulaire = 40 cm pour le mélange Al/Air et = 5-10 cm pour le mélange Al/O2. L'influence du diamètre des particules dp0 a été mise en évidence sur les longueurs de zones d'induction Li et de combustion Lc (Li dp0 et Lc d1:8 p0 ) et sur la structure cellulaire : d1:4 p0 . Contrairement au cas des détonations gazeuses, l'inflammation des particules n'a pas lieu derrière les points triples, mais dans les zones de basse pression où la concentration en particules est plus faible, permettant ainsi leur inflammation rapide. Le régime hélicoïdal de détonation a été simulé pour la première fois dans les mélanges de particules d'aluminium en suspension dans atmosphère gazeuse oxydante. Les valeurs du rayon critique de détonation Rc et de l'énergie critique d'initiation Ec (obtenues par extension des corrélations établies dans les gaz) ont été prédites : Rc = 1 m, Ec = 105 J (Al/O2) et Rc = 8 m, Ec = 5.12 x 107 J (Al/Air). Elles sont confirmées par les expériences existantes. Dans le cas d'aérosols de gouttelettes d'hydrocarbures, un modèle d'évaporation basé sur le mode dit de "stripping" derrière un choc et sur le régime diffusif, couplé à une cinétique chimique à deux étapes (induction-combustion), a été incorporé au code. Les premières simulations de la structure cellulaire pour les mélanges air-octane mènent à une taille de cellule en accord avec les résultats expérimentaux existants ( = 4-5 cm).

Dans cette thèse, nous proposons une méthode rigoureuse, formellement fondée pour traiter de l'interopérabilité d'une famille de langages dédiés (DSL) issus d'un même domaine métier. A partir de la sémantique de chacun des DSL, notre démarche construit, par un calcul de co-limite sur des spécifications algébriques, un langage qui unifie les concepts de la famille. L'approche se caractérise notamment par la capacité à traduire automatiquement le code d'un DSL vers le langage unificateur. Un autre bénéfice réside dans la preuve qu'une propriété sur un langage de la famille se décline, par construction, vers l'environnement unifié. La mise en œuvre de la démarche a été outillée ; elle s'appuie principalement sur le logiciel Specware de Kestrel et l'assistant de preuve Isabelle.