University of Rwanda Digital Repository
Not a member yet
17358 research outputs found
Sort by
Stratégies de checkpoint pour protéger les tâches parallèles contre des erreurs ayant des distributions générales
No full textThis paper studies checkpointing strategies for parallel jobs subject to fail-stop errors. The optimal strategy is well known when failure inter-arrival times obey an Exponential law, but it is unknown for non-memoryless failure distributions. We explain why the latter fact is misunderstood in recent literature. We propose a general strategy that maximizes the expected efficiency until the next failure, and we show that this strategy is asymptotically optimal for very long jobs. Through extensive simulations, we show that the new strategy is always at least as good as the Young/Daly strategy for various failure distributions. For distributions with a high infant mortality (such as LogNormal 2.51 or Weibull 0.5), the execution time is divided by a factor 1.9 on average, and up to a factor 4.2 for recently deployed platforms.Cet article étudie les stratégies de checkpoint pour des tâches parallèles sujettes `a des erreurs fatales. La stratégie optimale est bien connue lorsque les temps d’inter-arrivée des pannes obéissent `a une loi exponentielle, mais elle est inconnue pour les distributions d’erreurs générales. Nous expliquons pourquoi ce dernier fait est mal compris dans la littérature récente. Nous proposons une stratégie générale qui maximise l’efficacité attendue jusqu’`a la prochaine d´défaillance, et nous montrons que cette stratégie est asymptotiquement optimale pour les travaux très longs. Par des simulations extensives, nous montrons que la nouvelle stratégie est toujours au moins aussi bonne que la stratégie de Young/Daly pour diverses distributions de pannes. Pour les distributions avec une mortalité infantile élevée (comme LogNormal 2.51 ou Weibull 0.5), le temps d’exécution est divisé par un facteur 1.9 en moyenne, et jusqu’`a un facteur 4.2 pour des plates-formes récemment déployées
Compositional Verification of Priority Systems using Sharp Bisimulation
No full textSharp bisimulation is a refinement of divergence-preserving branching (a.k.a. divbranching) bisimulation, parameterized by a subset of the system's actions, called strong actions. This parameterization allows the sharp bisimulation to be tailored by the property under verification, whichever property of the modal µ-calculus is considered, while potentially reducing more than strong bisimulation. Sharp bisimulation equivalence is a congruence for parallel composition and other process algebraic operators such as hide, cut, and rename, and hence can be used in a compositional verification setting. In this paper, we prove that sharp bisimulation equivalence is also a congruence for action priority operators under some conditions on strong actions. We compare sharp bisimulation with orthogonal bisimulation, whose equivalence is also a congruence for action priority. We show that, if the internal action τ neither yield priority to nor take priority over other actions, then the quotient of a system with respect to sharp bisimulation equivalence (called sharp minimization) cannot be larger than the quotient of the same system with respect to orthogonal bisimulation equivalence. We then describe a signature-based partition refinement algorithm for sharp minimization, implemented in the BCG MIN tool of the CADP software toolbox. This algorithm can be adapted to implement orthogonal minimization. We show on a crafted example that using compositional sharp minimization may yield state space reductions that outperform compositional orthogonal minimization by several orders of magnitude. Finally, we illustrate the use of sharp minimization and priority to verify a bully leader election algorithm
European Language Equality - Report on the French Language
No full textÉditeurs scientifiques : Maria Giagkou, Stelios Piperidis, Georg Rehm, Jane DunneThis report presents a survey of the current state of technologies for the automatic processing of the French language as well as French Sign Language (FSL). Similar reports have been prepared independently for all languages of the European Union. It is based on a thorough analysis of existing tools and resources for French, and also provides an accurate presentation of the domain and of its main stakeholders. This report is organized in three main parts: first, two background sections that document notably the presence of French on the internet, as well as defining in broad terms the domain of language technologies. The core of the report is made of the following two sections, describing respectively the state of play for French and French sign language. The last two sections first summarize the main findings of a quantitative analysis performed within the ELE project; then spell out some general conclusions and formulate a series of recommendations, the implementation of which could improve the current technological support for French and FSL
Les représentations sociales des pêcheurs mahorais sur les évolutions du littoral et le changement climatique
No full textPanorama Project MaOre fishermen's social representations on the evolutions of the coastline and climate change Project funded by the Mission for Transversal and Interdisciplinary Initiatives (MITI) CNRS (Climate Change Challenge AAP 2020) Principal investigator Miki MORI with the laboratory Praxiling UMR 5267 CNRS The PANORAMA was an exploratory study aimed at better understanding the social representations of the evolution of the coastal environment and the effects of climate change for Maore. By articulating and co-constructing different methodologies and scientific knowledge on climate change, the project was structured in three stages (April-October 2021): interviews people who practice fishing (PPP) in Mtsamboro village in Mayotte, mediation and the creation of mediation tools, and a participatory workshop. In the end, we conducted 34 interviews and 21 residents participated in the workshops. The interview grid was co-constructed by the research team. The workshops were also co-constructed by the researchers based on the first analyses of the interviews and tested with the inhabitants. Four themes were used to design the workshops: coral, sediment, toponymy, and the chronological and temporal timeline in relation to the history of Mayotte and prevailing changes in the climate and environment.Le projet PANORAMA a constitué une étude exploratoire ayant pour but de mieux comprendre les représentations des populations de Mayotte avec les évolutions de leur environnement côtier et les effets du changement climatique. En articulant et co-construisant différentes méthodologies et connaissances scientifiques sur le changement climatique, le projet a été structuré en trois étapes (avril – octobre 2021) : réalisation des enquêtes auprès des personnes qui pratiquent la pêche (PPP) dans un village de Mayotte au nord de l'île (Mtsamboro), un travail de médiation et de création des outils médiateurs et une journée d’ateliers participatifs regroupant une vingtaine d'habitants et une dizaine de chercheurs dialoguant ensemble sur le changement climatique et l’évolution du littoral de Mayotte.Au final, nous avons effectué 34 entretiens et 21 habitants ont participé aux ateliers. La grille de l’entretien a été co-construite par l’équipe de chercheurs. Les ateliers aussi ont été co-construits entre chercheurs à partir des premières analyses des entretiens et mis à l'épreuve avec les habitants. Quatre thématiques qui ont servi de supports à la conceptions d'ateliers (corail, sédiment, toponyme, frise chronologique)
CARTO ALEA (Zones inondables) 4.1.3 : IRIP Users
No full textPROGRAMME MTES (DGPR / SRNH) - INRAE 2021Connaissance et prévention des risques naturels et hydrauliquesCes travaux bénéficient du soutien du Ministère chargé de l’environnement, de l’énergie et de la merpar décision de subvention n°21367400RESUMEEn 2021, il y a 18 membres répertoriés comme utilisateurs du plugin IRIP et qui représentent des préoccupations assez diverses entre services déconcentrés de l’Etat, syndicats mixtes ou de rivière, gestionnaire de réseau, bureaux d’études et instituts de recherche. Les questions opérationnelles sont ainsi assez variées vis-à-vis du ruissellement intense avec deux axes principaux : la cartographie prédictive et son soutien à la prévention. La question de la prévision est aussi soulevée (mise en alerte).Les instituts de recherche sont ainsi questionnés sur les méthodes d’évaluation et d’amélioration des cartographies IRIP. Il est en effet important d’intégrer les connaissances issues de la recherche dans la future version du plugin IRIP. A cela s’ajoute l’automatisation d’un certain nombre de calculs nécessaires à l’évaluation des cartes. C’est ce que le présent rapport décline « pas à pas » à des fins de codification par un informaticien fin 2022.L’axe de la prévention sollicite les scénarios d’aménagement dispersés qui permettraient de réduire les zones de production du ruissellement et de casser l’énergie des zones de transfert, cela ayant pour conséquence de diminuer les zones d’accumulation. Le souci d’intégrer cette démarche avec des actions de préservation des sols et de la biodiversité oriente les solutions vers des aménagements non structurels dits agro-écologiques. Il est ainsi évoqué les mosaïques de paysages, les haies agricoles, les terrasses agricoles, les zones humides, avec des fonctions de captation du ruissellement pour l’infiltration. Ces préoccupations recoupent les effets délétères et attendus du changement climatique qui pourrait intensifier les pluies au sein de périodes sèches plus longues. Cet axe est par lui-même multi-dimensions car il recoupe des politiques d’aménagement des espaces ruraux et urbains. Dans le cadre de cette action et pour 2022, il sera recherché l’évaluation des aménagements non structurels existants afin d’en connaitre l’efficacité potentielle. Ce sera aussi l’occasion de réfléchir sur les critères « d’optimisation » de ces aménagements par définition « bas coût » et à partir de la connaissance fournie par les cartes IRIP
Risques environnementaux et ongulés sauvages : un sujet à multiples facettes: Etude prospective sur des questions émergentes d’intérêt liées aux risques environnementaux : ongulés sauvages
No full textAu niveau mondial, il y a environ 250 espèces d’ongulés sauvages, dont 44% sont menacées d’extinction, principalement à cause de la destruction et la fragmentation des habitats par les activités humaines. La plupart des espèces menacées d’extinction se trouvent dans l’hémisphère sud. Dans l’hémisphère nord, au contraire, les populations de cervidés et de suidés ont fortement augmenté durant le 20ème siècle pour atteindre des densités historiquement élevées, notamment en Amérique du Nord, au Japon et localement en Europe. La présence de ces animaux en forte densité pose un certain nombre de problèmes avec des effets néfastes sur le fonctionnement des écosystèmes et des conflits avec les activités humaines. Les problèmes sont aussi liés au fait que les activités humaines empiètent de plus en plus sur les habitats naturels des ongulés sauvages et que les interactions entre ces animaux et les activités humaines se multiplient.Les risques associés aux ongulés sauvages peuvent de ce fait être classés en deux grandes catégories. Dans la Catégorie 1, les ongulés sauvages sont la cause directe des conséquences néfastes (par exemple les maladies transmises aux animaux domestiques et aux humains, les collisions routières et ferroviaires, les dégâts sur les productions végétales). Ils font ainsi partie intégralement de la composante aléa du concept de risque. La Catégorie 2 s’oppose à la Catégorie 1 dans le sens que les ongulés sauvages sont eux-mêmes exposés à des menaces, par exemple dans un contexte de conservation des espèces menacées d’extinction. Ils font ainsi partie des enjeux exposés et peuvent être considérés comme vulnérables aux aléas. Nous avons également identifié deux autres catégories de risques auxquels les ongulés sauvages sont associés. Les ongulés sauvages peuvent constituer des facteurs externes agissants sur l’aléa et l’exposition, comme dans le cas des maladies à tiques (Catégorie 3). Finalement, les ongulés sauvages peuvent également faire partie des parades (Catégorie 4). Par exemple, les ongulés sauvages peuvent être un moyen pour restaurer la biodiversité et des dynamiques naturelles en lien avec le concept de ré-ensauvagement, en anglais « rewilding », ou contribuer à la gestion du combustible face au risque lié aux feux de forêt.La notion du risque est un concept qui est utilisé au moins depuis 30 ans dans les domaines scientifiques d’écologie animale (notamment en lien avec le risque de mortalité et de prédation) et de la santé animale et humaine (maladies et contaminations) avec leurs propres terminologies et cadres théoriques. Le concept du risque a été moins structurant pour la recherche dans les autres domaines scientifiques qui s’intéresse aux ongulés sauvages tels que les dégâts d’ongulés sauvages sur les productions végétales, les collisions routières et ferroviaires et la biologie de la conservation.Le défi majeur pour la recherche réside dans la prise en compte de l’ensemble des facteurs de risque liés aux ongulés sauvages et de leurs interactions afin d’offrir aux gestionnaires et décideurs les connaissances, les informations et les outils nécessaires pour prendre des décisions éclairées dans un contexte d’incertitude, notamment dans le contexte des changements globaux