Global ETD Search

1	Analyse d'Applications Flot de Données pour la Compilation Multiprocesseur Bodin, Bruno 20 December 2013 (has links) (PDF) Les systèmes embarqués sont des équipements électroniques et informatiques, soumis à de nombreuses contraintes et dont le fonctionnement doit être continu. Pour définir le comportement de ces systèmes, les modèles de programmation dataflows sont souvent utilisés. Ce choix de modèle est motivé d'une part, parce qu'ils permettent de décrire un comportement cyclique, nécessaire aux systèmes embarqués ; et d'autre part, parce que ces modèles s'apprêtent à des analyses qui peuvent fournir des garanties de fonctionnement et de performance essentielles. La société Kalray propose une architecture embarquée, le MPPA. Il est accompagné du langage de programmation ΣC. Ce langage permet alors de décrire des applications sous forme d'un modèle dataflow déjà très étudié, le modèle Cyclo-Static Dataflow Graph(CSDFG). Cependant, les CSDFG générés par ce langage sont souvent trop complexes pour permettre l'utilisation des techniques d'analyse existantes. L'objectif de cette thèse est de fournir des outils algorithmiques qui résolvent les différentes étapes d'analyse nécessaires à l'étude d'une application ΣC, mais dans un temps d'exécution raisonnable, et sur des instances de grande taille. Nous étudions trois problèmes d'analyse distincts : le test de vivacité, l'évaluation du débit maximal, et le dimensionnement mémoire. Pour chacun de ces problèmes, nous fournissons des méthodes algorithmiques rapides, et dont l'efficacité a été vérifiée expérimentalement. Les méthodes que nous proposons sont issues de résultats sur les ordonnancements périodiques ; elles fournissent des résultats approchés et sans aucune garantie de performance. Pour pallier cette faiblesse, nous proposons aussi de nouveaux outils d'analyse basés sur les ordonnancements K-périodiques. Ces ordonnancements généralisent nos travaux d'ordonnancement périodiques et nous permettrons dans un avenir proche de concevoir des méthodes d'analyse bien plus efficaces. multiprocesseurs compilation flot de données Cyclo-Static Dataflow Graphs ordonnancement périodique k-périodique vivacité évaluation du débit dimensionnement mémoire méthode approchée
2	Tunnels profonds dans les milieux viscoplastiques : approches expérimentale et numérique Bernaud, Denise 09 July 1991 (has links) (PDF) Les problèmes étudiés dans cette thèse relèvent du cadre général de la modélisation des tunnels profonds. Ce travail traite essentiellement de l'interaction complexe entre massif et soutènement. Initialement, on réalise une approche expérimentale portant sur l'optimisation du dimensionnement des soutènements des galeries dans des roches viscoplastiques. Une modélisation numérique fine de ce problème d'interaction massif viscoplastique-soutènement plastique est mise en oeuvre et permet de bien interpréter le comportement de la galerie expérimentale de Mol (Belgique). Ensuite, on s'intéresse à l'aspect 3D du creusement des tunnels a l'aide de la méthode numérique d'activation/désactivation des éléments en axisymétrie. On montre, par la réalisation d'abaques, que l'équilibre des tunnels dans les milieux viscoplastiques dépend largement de la rigidité et de la distance de pose du revêtement ainsi que de la vitesse de creusement de l'ouvrage. Dans la dernière partie, on compare les résultats donnés par notre méthode numérique d'une part, et par la méthode cv-cf d'autre part: on met en évidence les imprécisions de la méthode approchée cv-cf sous sa forme actuelle. Finalement, on propose une nouvelle méthode approchée en élasticité, qui conserve le formalisme de la méthode cv-cf, mais permet de mieux prendre en compte l'effet de la rigidité du soutènement sur la valeur de la convergence avant pose. Cette nouvelle méthode approchée conduit à des résultats tout a fait acceptables. ouvrage art matériau tunnel tunnel profond galerie soutènement interaction massif-soutènement roche viscoplasticité revêtement élasticité élastoviscoplasticité élastoplasticité mécanique roche creusement méthode calcul stabilité modélisation massif rocheux optimisation dimensionnement méthode élément fini méthode numérique 3D nouvelle méthode approchée 2D Belgique Geomec 91 méthode convergence confinement

Search results

Analyse d'Applications Flot de Données pour la Compilation Multiprocesseur

Tunnels profonds dans les milieux viscoplastiques : approches expérimentale et numérique