University of Rwanda Digital Repository
Not a member yet
17358 research outputs found
Sort by
Programmation des Architectures Hétérogènes à l'Aide de Tâches Hiérarchiques
No full textTask-based systems have gained popularity because of their promise of exploiting the computational power of complex heterogeneous systems. A common programming model is the so-called Sequential Task Flow (STF) model, which, unfortunately, has the intrinsic limitation of supporting static task graphs only. This leads to potential submission overhead and to a static task graph which is not necessarily adapted for execution on heterogeneous systems. A standard approach is to find a trade-off between the granularity needed by accelerator devices and the one required by CPU cores to achieve performance. To address these problems, we extend the STF model in the StarPU runtime system to enable tasks subgraphs at runtime. We refer to these tasks as hierarchical tasks. This approach allows for a more dynamic task graph. This extended model combined with an automatic data manager allows to dynamically adapt the granularity to meet the optimal size of the targeted computing resource. We show that the hierarchical task model is correct and we provide an early evaluation on shared memory heterogeneous systems, using the Chameleon dense linear algebra libraryLes systèmes à base de tâches ont gagné en popularité du fait de leur capacité à exploiter pleinement la puissance de calcul des architectures hétérogènes complexes. Un modèle de programmation courant est le modèle de soumission séquentielle de tâches (Sequential Task Flow, STF) qui malheureusement ne peut manipuler que des graphes de tâches statiques. Ceci conduit potentiellement à un surcoût lors de la soumission, et le graphe de tâches statique n'est pas nécessairement adapté pour s'exécuter sur un système hétérogène. Une solution standard consiste à trouver un compromis entre la granularité permettant d'exploiter la puissance des accélérateurs et celle nécessaire à la bonne performance des CPUs. Pour répondre à ces problèmes, nous proposons d'étendre le modèle STF fourni par le support d'exécution StarPU en y ajoutant la possibilité de transformer certaines tâches en sous-graphe durant l'exécution. Nous appelons ces tâches des tâches hiérarchiques. Cette approche permet d'exprimer des graphes de tâche plus dynamiques. En combinant ce nouveau modèle à un gestionnaire automatique des données, il est possible d'adapter dynamiquement la granularité pour fournir une taille optimale aux différentes ressources de calcul ciblées. Nous montrons dans ce rapport que le modèle des tâches hiérarchiques est valide ainsi qu'une première évaluation de ses performances en utilisant la bibliothèque d'algèbre linéaire dense Chameleon
Évaluation exacte d'une borne d'erreur pour le problème de complémentarité linéaire équilibré avec solution unique - Le rapport complet
No full textThis paper considers the balanced form of the standard linear complementarity problem with unique solution and provides a more precise expression of an upper error bound discovered by Chen and Xiang and published in 2006. This expression has at least two advantages. It makes possible the exact computation of the error bound factor and it provides a satisfactory upper estimate of that factor in terms of the data bitlength when the data is formed of rational numbers. Along the way, we show that, when any rowwise convex combination of two square matrices is nonsingular, the norm of the inverse of these rowwise convex combinations is maximized by an extreme diagonal matrix.Cet article considère la forme équilibrée du problème de complémentarité linéaire standard avec solution unique et présente une expression plus précise de la borne d'erreur supérieure découverte par Chen et Xiang et publiée en 2006. Cette expression a au moins deux avantages. Elle rend possible l'évaluation exacte du facteur de la borne d'erreur et elle permet d'obtenir une estimation supérieure de ce facteur en termes des longueurs en bits des données lorsque celles-ci s'expriment en nombres rationnels. En chemin, nous montrons que, lorsque les combinaisons convexes ligne par ligne de deux matrices carrées sont inversibles, la norme infinie de l'inverse de ces combinaisons convexes est maximale pour une matrice diagonale extrême
Actualisation des ZNIEFF en région Grand Est - Territoire Champardennais – Rapport d’activités 2021
No full textLes pôles éditoriaux : contexte, état des lieux et perspectives
No full textSous la direction de Lionel MAUREL et Myriam DANON-SZMYDTOver the last 20 years, the OpenAccess and OpenScience movements, as well as the emergence of new standards and new structures such as the “Maisons des sciences de l’Homme”, changed the publishing rules in France. “Publishing pools” have constituted local answers to these evolutions – although this terminology of “publishing pool” raises questions. In these pools, four objectives – hosting, project support, production, research & development – deal with the same editorial product: the academic journal. While the first two objectives are particularly characteristic of “journal incubators,” the last two of them are more related to “publishing pools.” Depending on the local development of these four objectives, four categories of pools emerge: historical pools, pools operating as a hub, “new generation” pools and emerging pools. Among these categories, we have paid specific attention to the “new generation” pools. They are grounded on a local agreement between coordinated institutional allies (at least two) looking after similar publishing goals. Each of them brings human, material and/or financial resources. In order to ease their integration in their regional academic site, these pools have worked on two major tasks: a state of the art and a reliable written governance. This local set up, correctly organised, seems necessary to reach a further federative dialogue between each of these pools. It also guarantees a consistent dialogue with national infrastructures of OpenAccess in France (such as, for example, Huma-Num or OpenEdition).Le mouvement de l’OpenAccess puis de la Science ouverte, l’émergence de nouveaux standards et de nouvelles structures comme les Maisons des sciences de l’Homme ces 20 dernières années posent aujourd’hui la donne éditoriale en France de singulière façon. Face à cette donne, les pôles éditoriaux sont des réponses locales dont la terminologie pose cependant question. Quatre objectifs d’hébergement, d’accompagnement, de production et de recherche et développement les relient autour d’un même objet éditorial : la revue. Si les deux premiers objectifs caractérisent singulièrement les pépinières de revues, les deux derniers définissent en revanche davantage un pôle éditorial. En fonction du développement local de ces quatre spécialités, des catégories de pôles émergent : les pôles historiques, les pôles fonctionnant en hub, les pôles de « nouvelle génération » et ceux qui sont en passe de le devenir. Parmi ces catégories, nous avons particulièrement porté notre attention à celle de « nouvelle génération ». Elle donne à comprendre un pôle éditorial comme une alliance locale de plusieurs acteurs institutionnels coordonnés (deux acteurs, au minimum) autour d’objectifs éditoriaux similaires, qui décident de mettre des moyens humains, matériels et/ou financiers en commun pour les atteindre. Les états des lieux que ces pôles-ci ont dressés et la gouvernance qu’ils ont su proposer nous semblent d’ordre constitutionnel pour continuer à penser correctement leur ancrage de site. Or cette organisation locale correctement fondée nous semble être l’indispensable préalable à un dialogue fédératif entre pôles, lui-même garant d’un dialogue consistant avec les instances nationales (IR, TGIR…)
Troubles musculo-squelettiques dans le secteur de la santé humaine et de l’action sociale : mieux connaître les facteurs de risque pour mieux les prévenir
No full textLion-sur-Mer (14), Église Saint-Pierre, ancien cimetière paroissial. Rapport final d'opération archéologique (sondages)
No full textLa ligne directrice du projet de recherche est l’étude de la population paroissiale de Lion-sur-Mer (14), depuis le Moyen Âge jusqu’à l’époque contemporaine (fin du XIXe siècle). Pour ce faire, la méthodologie générale consiste en une approche conjointe des sources textuelles et des données archéologiques, centrée sur l’ancien cimetière paroissial. Ce dernier était autrefois localisé autour de l’église Saint-Pierre, le cimetière actuel n’ayant été établi à l'écart du centre-bourg qu’au début du XXe siècle. L’année 2020 avait été consacrée à un inventaire des documents d’archives disponibles, notamment les séries des registres paroissiaux, relativement bien conservées. L’année 2021 a vu une première intervention archéologique, avec la réalisation de deux sondages, de part et d’autre de l’église. Dans le sondage 1, au nord-est, 18 sépultures ont été identifiées, principalement de (très) jeunes individus. Les premières observations, confortées par deux datations par radiocarbone, indiquent des vestiges d’époque médiévale. Dans le sondage 2, au-sud ouest, douze sépultures ont été recensées, dont là encore deux ayant fait l’objet d’une datation par radiocarbone qui proposent des résultats centrés sur l’Époque moderne. Dans ce secteur, l’ensemble des classes d’âges, du nourrisson à l’adulte mature, est représenté. De part et d’autre, les squelettes présentent une bonne conservation osseuse et plusieurs niveaux de sépultures ont été repérés
Usages du numérique en agriculture : enquête auprès de 98 exploitations ayant des grandes cultures en région Occitanie
No full textThe document is a contribution to the debate on digital technology in the agricultural sector. It presents the results of a survey on the use of digital tools, carried out with 98 crop farmers in the Occitanie region. The document describes the sample surveyed and shows a widespread use of digital tools. A more detailed description of the use of guidance technologies, modulation, farm management software and the internet shows the issues surrounding these uses. A construction of use profiles then shows how digital technologies are used in combination by farmers, and how they are linked to various economic, individual, agronomic and relational variables. The document ends with a presentation of the advantages, drawbacks, opportunities and risks cited by the farmers.Le document est une contribution aux réflexions sur le numérique dans les filières agricoles. Il présente les résultats d’une enquête sur les usages du numérique, réalisée auprès de 98 agriculteurs et agricultrices ayant des grandes cultures en région Occitanie. Le document décrit l’échantillon enquêté, montrant une utilisation répandue des outils numériques. Une présentation plus détaillée des usages des technologies de guidage, de modulation, de logiciel de gestion parcellaire et d’internet précisent les enjeux autour de ces usages. La construction de profils d’usage permet ensuite de voir comment les technologies numériques sont utilisées de manière combinées dans les exploitations, et peuvent être liées à des facteurs économiques, individuels, agronomiques et relationnels. Le document finit par la présentation des avantages, inconvénients, opportunités et risques cités par les enquêtés
Le processus de contamination des idées environnementales à la lumière des élections au Pays de Bitche
No full textLes résultats présentés dans cette note font suite à des travaux engagés en 2018. Nous avions alors rencontré la majeure partie des 46 maires du Pays de Bitche1. Lors de ces entretiens, il était apparu que les enjeux environnementaux et climatiques ne comptaient quasiment pour rien face au poids écrasant des arguments en faveur du développement économique du territoire. Cette nouvelle recherche se focalise sur les dernières élections municipales (2020) afin de mesurer l’éventualité d’une inversion de tendance à la faveur d’une montée en puissance des questions environnementales et climatiques. J’ai émis l’hypothèse que les candidats aux élections municipales ne pouvaient, en principe, ignorer les questions environnementales dans leurs programmes. Il s’agissait donc, plus précisément, de mesurer les degrés de renouvellement des arguments politiques à la lumière d’une potentielle contagion ou contamination des idées
BUISSON M. « Etude du verre», in SARTOU A. (dir.), Bugeat (19), le champ du Palais, rapport final d’opération archéologique, SRA Nouvelle Aquitaine, Limoges : Eveha, 2022
No full textAnalyse Structurelle Exacte de Modèles Modelica Multimodes: Vers la Génération de Codes de Simulation Corrects
No full textSince its 3.3 release, Modelica offers the possibility to specify models of dynamical systems with multiple modes having different DAE-based dynamics. However, the handling of such models by the current Modelica tools is not satisfactory, with mathematically sound models yielding exceptions at runtime.In this report, we illustrate this behavior on several small-sized examples, shedding light on the shortcomings of the approximate structural analysis implemented in current Modelica tools. To address part of these issues, we propose a systematic transformation process for multimode Modelica models, based on the results of an already implemented multimode structural analysis, that guarantees that the output Modelica model is correctly compiled by state-of-the-art Modelica tools.Still, this transformation is limited to models that do not exhibit impulsive behaviors at mode changes: the remaining issues illustrated by our introductory examples can only be solved by a structural analysis of mode changes, coupled with a specific handling of impulsive variables. We address these points in this report by proposing, first, a structural analysis method able to handle modes and mode changes in a unified framework, and second, a compile-time identification and characterization of impulsive variables. Implementations of both methods, based on efficient symbolic representations and algorithms, are in the works.Le langage Modelica permet de définir des modèles de systèmes dynamiques possédant plusieurs modes ayant chacun une dynamique spécifiée par un système de DAE différent. Le traitement de tels modèles par les outils Modelica de référence actuels n’est pas satisfaisant, des exceptions survenant à la simulation pour des modèles physiquement corrects.Dans ce rapport, nous illustrons cette problématique sur plusieurs modèles de petite taille. Nous explicitons les deux raisons-clé de la mauvaise prise en charge de ces modèles par les outils Modelica, qui sont l’utilisation d’une analyse structurelle approchée et le manque d’un traitement spécifique des changements de mode.En réponse à ces difficultés, nous proposons, d’une part, une technique de réécriture source à source de modèles Modelica qui assure leur simulation correcte par les outils Modelica actuels, et, d’autre part, une extension de l’analyse structurelle aux changements de mode, doublée d’une analyse à la compilation des éventuels comportements impulsifs d’un modèle. La mise en œuvre efficace de ces méthodes est en cours, grâce à l’utilisation de représentation symboliques issues de la vérification formelle