La programmation parallèle et les algorithmes data-parallèles sont depuis plusieurs décennies les principales techniques de soutien l'informatique haute performance. Comme toutes les propriétés non-fonctionnelles du logiciel, la conversion des ressources informatiques dans des performances évolutives et prévisibles implique un équilibre délicat entre abstraction et automatisation avec une précision sémantique. Au cours de la dernière décennie, de plus en plus de professions ont besoin d'une puissance de calcul très élevée, mais la migration des programmes existants vers une nouvelle configuration matérielle et le développement de nouveaux algorithmes à finalité spécifique dans un environnement parallèle n'est jamais un travail facile, ni pour les développeurs de logiciel, ni pour les spécialistes du domaine. Dans cette thèse, nous décrivons le travail qui vise à simplifier le développement de programmes parallèles, en améliorant également la portabilité du code de programmes parallèles et la précision de la prédiction de performance d'algorithmes parallèles pour des environnements hétérogènes. Avec ces objectifs à l'esprit, nous avons proposé un modèle de transition nommé SGL pour la modélisation des architectures parallèles hétérogènes et des algorithmes parallèles, et une mise en œuvre de squelettes parallèles basés sur le modèle SGL pour le calcul haute performance. SGL simplifie la programmation parallèle à la fois pour les machines parallèles classiques et pour les nouvelles machines hiérarchiques. Il généralise les primitives de la programmation BSML. SGL pourra plus tard en utilisant des techniques de Model-Driven pour la génération de code automatique á partir d'une fiche technique sans codage complexe, par exemple pour le traitement de Big-Data sur un système hétérogène massivement parallèle. Le modèle de coût de SGL améliore la clarté de l'analyse de performance des algorithmes, permet d'évaluer la performance d'une machine et la qualité d'un algorithme

La programmation parallèle et les algorithmes data-parallèles sont depuis plusieurs décennies les principales techniques de soutien l'informatique haute performance. Comme toutes les propriétés non-fonctionnelles du logiciel, la conversion des ressources informatiques dans des performances évolutives et prévisibles implique un équilibre délicat entre abstraction et automatisation avec une précision sémantique. Au cours de la dernière décennie, de plus en plus de professions ont besoin d'une puissance de calcul très élevée, mais la migration des programmes existants vers une nouvelle configuration matérielle et le développement de nouveaux algorithmes à finalité spécifique dans un environnement parallèle n'est jamais un travail facile, ni pour les développeurs de logiciel, ni pour les spécialistes du domaine. Dans cette thèse, nous décrivons le travail qui vise à simplifier le développement de programmes parallèles, en améliorant également la portabilité du code de programmes parallèles et la précision de la prédiction de performance d'algorithmes parallèles pour des environnements hétérogènes. Avec ces objectifs à l'esprit, nous avons proposé un modèle de transition nommé SGL pour la modélisation des architectures parallèles hétérogènes et des algorithmes parallèles, et une mise en œuvre de squelettes parallèles basés sur le modèle SGL pour le calcul haute performance. SGL simplifie la programmation parallèle à la fois pour les machines parallèles classiques et pour les nouvelles machines hiérarchiques. Il généralise les primitives de la programmation BSML. SGL pourra plus tard en utilisant des techniques de Model-Driven pour la génération de code automatique á partir d'une fiche technique sans codage complexe, par exemple pour le traitement de Big-Data sur un système hétérogène massivement parallèle. Le modèle de coût de SGL améliore la clarté de l'analyse de performance des algorithmes, permet d'évaluer la performance d'une machine et la qualité d'un algorithme / Parallel programming and data-parallel algorithms have been the main techniques supporting high-performance computing for many decades. Like all non-functional properties of software, the conversion of computing resources into scalable and predictable performance involves a delicate balance of abstraction and automation with semantic precision. During the last decade, more and more professions require a very high computing power. However, migrating programs to new hardware configuration or developing new specific-purpose algorithms on a parallel environment is never an easy work, neither for software developers nor for domain specialists. In this thesis we describe work that attempts to improve the simplicity of parallel program development, the portability of parallel program code, and the precision of parallel algorithm performance prediction for heterogeneous environments. With these goals in mind we proposed a bridging model named SGL for modelling heterogeneous parallel architectures and parallel algorithms, and an implementation of parallel skeletons based on SGL model for high-performance computing. SGL simplifies the parallel programming either on the classical parallel machines or on the novel hierarchical machines. It generalizes the BSML programming primitives. SGL can be served later with model-driven techniques for automatic code generation from specification sheet without any complex coding, for example processing Big Data on the heterogeneous massive parallel systems. The SGL cost model improves the clarity of algorithms performance analysis; it allows benchmarking machine performance and algorithm quality

Cette thèse propose la reformulation et l'implantation d'une méthode simplifiée de prévision de la transition laminaire-turbulent naturelle, la méthode des paraboles. Elle s'appuie sur une base de donnée pour fournir une expression analytique des taux d'amplification de perturbations modales de la couche limite. Ces perturbations prennent naissance dans la couche limite à travers un mécanisme de réceptivité, puis connaissent une croissance linéaire suivie d'interactions non-linéaires qui conduisent à la transition vers la turbulence.La méthode du facteur-N permet la prévision de la position de transition en supposant qu'elle a lieu quand l'amplification linéaire totale d'un mode des perturbations a atteint une amplitude critique.L'amplification totale est obtenue en intégrant les taux d'amplifications des perturbations le long de la ligne de courant extérieure à la couche limite.Cette formulation intégrale n'est pas adaptée aux codes RANS et ces travaux proposent une reformulation de la méthode du facteur-N sous forme d'équation de transport, dont le terme source dépend du taux d'amplification des perturbations donné par la méthode des paraboles.Le modèle qui en résulte (N-sigma-P ou NSP) permet de déterminer si un point donné est en amont ou en aval du point de transition et ainsi de prévoir la position de transition, pour des configurations où la transition est déclenchée par des modes longitudinaux (ondes de Tollmien-Schlichting) ou transverses (crossflow). / A simplified laminar-turbulent transition prediction method (the so-called parabolas method) is recast into a RANS compatible formulation.The parabolas method is a database approach that gives an estimation of the growth rates of modal perturbations growing in the boundary layer.These perturbations rise through a process called receptivity and undergo a linear modal growth, followed by non-linear interactions that lead to a breakdown to transition. The N-factor (or e-to-N) method predicts the transition location under the assumption that transition occurs when the total linear growth of a mode reaches a prescribed threshold. This total growth is obtained via an integration of a mode's growth rate along the boundary-layer edge streamline. This classical integral formulation is not suitable in a RANS context and is therefore recast into a set of transport equations whose source terms depend on the growth rates given by the parabolas method.The resulting model (N-sigma-P or NSP) predicts if a given point in the flow field is up- or downstream of the transition location. It has been validated for cases where transition was triggered by longitudinal (Tollmien-Schlichting) and crossflow modes.

Ce travail a pour thème la simulation numérique d’écoulements diphasiques dans un contexte industriel. En effet, la simulation d’écoulements diphasiques est un domaine qui présente de nombreux défis, en raison de phénomènes complexes qui surviennent, comme la cavitation et autres transferts entre les phases. En outre, ces écoulements se déroulent généralement dans des géométries complexes rendant difficile une résolution efficiente. Les modèles que nous considérons font partie de la catégorie des modèles à interfaces diffuses et permettent de prendre en compte aisément les différents transferts entre les phases. Cette classe de modèles inclut une hiérarchie de sous-modèles pouvant simuler plus ou moins d’interactions entre les phases. Pour mener à bien cette étude nous avons en premier lieu comparé les modèles diphasiques dits à quatre équations et six équations, en incluant les effets de transfert de masse. Nous avons ensuite choisi de nous concentrer sur le modèle à quatre équations. L’objectif majeur de notre travail a alors été d’étendre les méthodes aux résidus distribués à ce modèle. Dans le contexte des méthodes de résolution numérique, il est courant d’utiliser la forme conservative des équations de bilan. En effet, la résolution sous forme non-conservative conduit à une mauvaise résolution du problème. Cependant, résoudre les équations sous forme non-conservative peut s’avérer plus intéressant d’un point de vue industriel. Dans ce but, nous utilisons une approche développée récemment permettant d’assurer la conservation en résolvant un système sous forme non-conservative, à condition que la forme conservative soit connue. Nous validons ensuite notre méthode et l’appliquons à des problèmes en géométries complexes. Finalement, la dernière partie de notre travail est dédiée à étudier la validité des modèles à interfaces diffuses pour des applications à des problèmes industriels réels. On cherche alors, en utilisant des méthodes de quantification d’incertitude, à obtenir les paramètres rendant nos simulations les plus vraisemblables et cibler les éventuels développements pouvant rendre nos simulations plus réalistes. / The topic of this thesis is the numerical simulation of two-phase flows in an industrial framework. Two-phase flows modelling is a challenging domain to explore, mainly because of the complex phenomena involved, such as cavitation and other transfer processes between phases. Furthermore, these flows occur generally in complex geometries, which makes difficult the development of efficient resolution methods. The models that we consider belong to the class of diffuse interface models, and they allow an easy modelling of transfers between phases. The considered class of models includes a hierarchy of sub-models, which take into account different levels of interactions between phases. To pursue our studies, first we have compared the so-called four-equation and six-equation two-phase flow models, including the effects of mass transfer processes. We have then chosen to focus on the four-equation model. One of the main objective of our work has been to extend residual distribution schemes to this model. In the context of numerical solution methods, it is common to use the conservative form of the balance law. In fact, the solution of the equations under a non-conservative form may lead to a wrong solution to the problem. Nonetheless, solving the equations in non-conservative form may be more interesting from an industrial point of view. To this aim, we employ a recent approach, which allows us to ensure conservation while solving a non-conservative system, at the condition of knowing its conservative form. We then validate our method and apply it to problems with complex geometry. Finally, the last part of our work is dedicated to the evaluation of the validity of the considered diffuse interface model for applications to real industrial problems. By using uncertainty quantification methods, the objective is to get parameters that make our simulations the most plausible, and to target the possible extensions that can make our simulations more realistic.

Alors que dans les sociétés de l’Afrique de l’Ouest, le mariage représente traditionnellement le point de départ de la séquence des événements démographiques associés à la formation de la famille, aujourd’hui cette séquence s’est complexifiée. Suite à l’effritement des modes traditionnels du passage à l’âge adulte, les jeunes citadins reportent leur mariage, le contexte de l’initiation sexuelle est plus fréquemment prénuptial et le nombre de naissances hors mariage semble augmenter. Peu d’études se sont penchées sur l’analyse de la séquence de ces événements sous l’angle du parcours individuel. L’objectif central de ce mémoire est d’explorer, de décrire et d’expliquer les changements survenus dans les parcours d’entrée en vie féconde des femmes durant leur jeunesse en utilisant comme unité d’analyse l’entièreté des parcours. Utilisant les données EDS du Burkina Faso, nous synthétisons en parcours, sous forme des séquences d’épisodes, les calendriers du premier rapport sexuel, de la première union et de la première naissance. Avec l’analyse séquentielle, nous identifions quatre catégories de parcours : nuptial, sexualité prénuptiale, maternité prénuptiale et célibataires. La méthode permet également une catégorisation plus fine des parcours et une visualisation de modèles de transitions. Nous analysons ensuite l’association entre les caractéristiques individuelles et les parcours suivis grâce à des modèles multinomiaux. Nos résultats confirment l’augmentation des parcours non nuptiaux auprès des jeunes. De plus, ils montrent qu’un niveau de scolarité plus élevé augmente la probabilité de suivre un parcours non-traditionnel, notamment chez les femmes urbaines, le milieu de socialisation à l’enfance ayant aussi un effet sur le choix du parcours. / In West African societies, marriage has traditionally represented the first step of the sequence of demographic events regarding the formation of the family. Currently, this sequence has become more complex. Following the erosion of traditional patterns of entrance into adulthood, urban youth tend to delay marriage, to increasingly engage in premarital sex while premarital births among youth seem to rise. Our study considers demographic life courses of entry into reproductive life as individual sequences of states. The main purpose of this study is to explore, describe and explain changes in young women’s sequences of entry in reproductive life using individual sequences as the unit of analysis. Using data from the 2003 Demographic and Health Survey of Burkina Faso, we synthesize the timing of first sexual intercourse, first union and first birth into sequences. Using Sequence Analysis methods, we identify four main categories of entrance in reproductive life: marital, premarital sex, premarital childbearing and singles. These methods allow a finer classification and a visualization of complete sequences and their transition patterns. We then analyze the association between individual characteristics and the sequence that women follow. Our results confirm that non-traditional sequences rise among younger generations. We also show that while women’s years of instruction increase, the probability of starting a sequence by premarital sex rises and the probability of starting a sequence by a marriage falls dramatically. Finally the childhood place of residence seems to moderate these effects by increasing the probability to follow a non-traditional sequence for urban women. / En las sociedades del Africa subsahariano el matrimonio representa tradicionialmente el inicio de la secuencia de eventos demográficos asociados a la formación de la familia, pero esta secuencia ha sufrido transformaciones. Como consecuencia de la erosión de los modelos tradicionales del paso a la edad adulta, los jovenes citadinos tienden a retardar el casamiento, el contexto de la primera relación sexual es cada vez mas prenupcial y los nacimientos prenupciales han aumentado. Pocos estudios han analizado la secuencia estos eventos bajo la perspectiva del curso de vida individual. El objetivo central de este estudio es explorar, describir y explicar los cambios en la secuencia de la entrada a la vida fecunda empleando las secuencias de episodios completas como las unidades de análisis. Utilizando los datos de la EDSBF-2003, sintetizamos en secuencias individuales los calendarios de la primera relación sexual, de la primera unión y del primer nacimiento. A traves del análisis secuencial, identificamos cuatro tipologías: nupcial, sexualidad prenupcial,maternidad prenupcial y solteras. Obtenemos una clasificación mas fina de las secuencias al visualizar distintos modelos de transición. Empleando un modelo multinomial analizamos la asociación entre las características de los individuos y las secuencias. Nuestros resultados confirman que las secuencias no nupciales ganan terreno en las generaciones mas jóvenes. Además, un nivel de escolaridad mas elevado aumenta la probabilidad de empezar una secuencia con una relación sexual. El medio de socialización en la infancia modera estos efectos, ya que las mujeres urbanas tienen una probabilidad mas elevada que las rurales de seguir una secuencia no nupcial.

No description available.