• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 85
  • 17
  • 9
  • Tagged with
  • 111
  • 37
  • 31
  • 24
  • 15
  • 13
  • 13
  • 13
  • 13
  • 13
  • 12
  • 11
  • 11
  • 10
  • 10
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
81

Fuzzy logic based decision support system for mass evacuation of cities prone to coastal or river flood / Système d'aide à la décision basé sur la logique floue pour l'évacuation massive de villes soumises aux inondations fluviales ou littorales

Jia, Xiaojuan 08 April 2013 (has links)
L’augmentation du risque d’inondation fluviale ou de submersion littorale est déjà visible à travers des événements récents comme la tempête Xynthia et les inondations du Var qui ont causé des dizaines de morts en France. Ces événements dramatiques bien que d’ampleur limitée auraient justifié l’évacuation préventive des zones à fort risque, mais les conséquences pour la population seront bien plus importantes lorsque des agglomérations urbaines de plusieurs dizaines ou centaines de milliers d’habitants menaceront d’être partiellement ou totalement submergées par les flots. Cette possibilité est déjà d’actualité pour des grandes mégapoles mondiales comme Alexandrie et Bangkok, et menace en France des villes comme Tours, Paris ou Nice. De plus en plus conscientes de cette éventualité, les grandes villes côtières, estuariennes et fluviales de France, d’Europe et sur tous les continents vont être amenées à préparer des plans de secours et d’évacuation de masse pour faire face à des événements exceptionnels. L’élaboration de ces plans s’avère extrêmement complexe et délicate aussi bien pour des raisons techniques, organisationnelles, sociologiques et même politiques. La grande majorité des villes du monde soumises à un risque de catastrophe de grande ampleur ne disposent pas de ce type de plan et une recherche auprès de différentes sources montre qu’il existe peu ou pas d’outils opérationnels pour aider les responsables territoriaux à mettre en œuvre ces plans en phase de préparation et de gestion de crise. Nos travaux visent plus précisément à contribuer à l’élaboration d’une méthode d’aide à la décision d’évacuation s’appuyant sur les plans d’évacuations réalisés en phase de préparation. Nous proposons pour cela d’adapter les outils de la logique floue à un ensemble d’indicateurs de synthèse sélectionnés à partir d’une méthode de planification des évacuations développée par ailleurs au sein du laboratoire Avenues-GSU. Ces indicateurs retenus intègrent des données classiques sur le niveau d’aléa (prévision globale et niveaux d’eau locaux), la vulnérabilité du territoire et des habitants, mais aussi et c’est plus innovant sur la capacité des autorités et de la population à évacuer dans un cadre sécurisé. Le résultat final de cette méthode, appliquée à la dimension spatiale avec les logiciels MatLab et ArcGIS, est une carte de nécessité d’évacuation indiquant les zones les plus prioritaires à évacuer selon une analyse multicritères en logique floue. Elle a été expérimentée sur le site pilote de l’estuaire de la Gironde et la ville de Bordeaux, et les résultats théoriques comparés avec les inondations historiques de 1981 et 1999. On a également étudié un scénario 2 prospectif tenant compte du changement climatique et des conséquences d’une élévation du niveau de la mer de 1m au cours du 21ème siècle. Cette méthode et cet outil prototype devraient aider à termes les décideurs à mieux appréhender une situation complexe en phase de pré-alerte et à évaluer le besoin réel d’évacuation sur la base d’un ensemble limité mais représentatif d’indicateurs. La carte de nécessité d’évacuation représente une avancée qui prolonge et complète la cartographie officielle de la prévision inondation (vigicrue) et de ses conséquences en termes d’anticipation des impacts et de gestion de crise au niveau local. / The increasing risk of river flooding or coastal submersion is already visible through recent events like the storm Xynthia and the floods in the Var department, which caused several dozens of deaths in France. These catastrophic events, even if their extent remains relatively limited, would have justified a preventive evacuation of high risk prone areas. However, the consequences for the population would be much more serious when large cities of hundreds of thousands of people will be partially or totally threatened by floods. This possibility is already an actual danger for large megacities like Bangkok and Alexandria, and also threatens French cities like Tours, Paris or Nice. Being more and more aware of this possibility, big coastal, estuarine and river cities in France, in Europe and in all continents are incited to prepare emergency and mass evacuation plans in order to prevent and cope with exceptional events. The elaboration of these plans is extremely complex and difficult due to technical, organizational, sociological and even political aspects. The great majority of cities in the world prone to large scale disasters do not already have this kind of plan at their disposal. Moreover, the existing state of the art shows that there are few operational tools to help territorial managers implement these plans in the phases of preparation and crisis management. Our work aims to contribute to the development of a support method for the evacuation decision taken in a crisis management context. This method is partly based on the information included in the provisional evacuation plans produced in the preparation phase. To reach this objective, we propose to adapt the tools of the fuzzy logic approach and apply them to a set of synthesized indicators. These indicators or decision criteria have been first selected from a method of evacuation planning previously developed by the research team Avenues-GSU. These criteria integrate classic data on the hazard level (overall forecast level and local flood water levels), the vulnerability of the territory and population and, which is more innovative, some information about the ability of the organization to evacuate and the security or the risk of the evacuation itself. The final result of this method, applied to the spatial dimension with the Matlab and ArcGIS software, is a map of the necessity to evacuate. This map shows the areas with the highest priority to be evacuated according to a fuzzy multicriteria analysis. It has been tested 5 at the pilot site of the city of Bordeaux located upstream in the Gironde estuary, and the theoretical results were compared with historical floods of 1981 and 1999. A hypothetic flood scenario was also studied taking into account the potential climate change impact and the consequences of a 1 meter sea level rise during the 21st century. This method and prototype tool should help policymakers to better understand a complex situation in pre-alert phase and assess the real need for urban zones evacuation on the basis of a limited but representative set of criteria. The maps of the necessity to evacuate represents an innovative proposal which extend and complement the existing official maps of flood forecasting (vigicrue) and its implications in terms of local impacts and crisis management anticipation.
82

Allocation stratégique d’actifs et ALM pour les régimes de retraites / Strategic assets allocation and ALM for retirement schemes

Faleh, Alaeddine 13 May 2011 (has links)
La présente thèse s’intéresse aux modèles d’allocation stratégiques d’actifs et à leurs applications pour la gestion des réserves financières des régimes de retraite par répartition, en particulier ceux partiellement provisionnés. L’étude de l’utilité des réserves pour un système par répartition et a fortiori de leur gestion reste un sujet peu exploré. Les hypothèses classiques sont parfois jugées trop restrictives pour décrire l'évolution complexe des réserves. De nouveaux modèles et de nouveaux résultats sont développés à trois niveaux : la génération de scénarios économiques (GSE), les techniques d’optimisation numérique et le choix de l’allocation stratégique optimale dans un contexte de gestion actif-passif (ALM). Dans le cadre de la génération de scénarios économiques et financiers, certains indicateurs de mesure de performance du GSE ont été étudiés. Par ailleurs, des améliorations par rapport à ce qui se pratique usuellement lors de la construction du GSE ont été apportées, notamment au niveau du choix de la matrice de corrélation entre les variables modélisées. Concernant le calibrage du GSE, un ensemble d’outils permettant l’estimation de ses différents paramètres a été présenté. Cette thèse a également accordé une attention particulière aux techniques numériques de recherche de l'optimum, qui demeurent des questions essentielles pour la mise en place d'un modèle d'allocation. Une réflexion sur un algorithme d’optimisation globale d’une fonction non convexe et bruitée a été développée. L’algorithme permet de moduler facilement, au moyen de deux paramètres, la réitération de tirages dans un voisinage des points solutions découverts, ou à l’inverse l’exploration de la fonction dans des zones encore peu explorées. Nous présentons ensuite des techniques novatrices d'ALM basées sur la programmation stochastique. Leur application a été développée pour le choix de l’allocation stratégique d’actifs des régimes de retraite par répartition partiellement provisionnés. Une nouvelle méthodologie pour la génération de l’arbre des scénarios a été adoptée à ce niveau. Enfin, une étude comparative du modèle d’ALM développé avec celui basé sur la stratégie Fixed-Mix a été effectuée. Différents tests de sensibilité ont été par ailleurs mis en place pour mesurer l’impact du changement de certaines variables clés d’entrée sur les résultats produits par notre modèle d’ALM / This thesis focuses on the strategic asset allocation models and on their application for the financial reserve management of a pay-as-you-go (PAYG) retirement schemes, especially those with partial provision. The study of the reserve utility for a PAYG system and of their management still leaves a lot to be explored. Classical hypothesis are usually considered too restrictive for the description of the complex reserve evolution. New models and new results have been developed over three levels : economic scenario generation (ESG), numerical optimization techniques and the choice of optimal strategic asset allocation in the case of an Asset-Liability Management (ALM). For the generation of financial and economic scenarios, some ESG performance indicators have been studied. Also, we detailed and proposed to improve ESG construction, notably the choice of the correlation matrix between modelled variables. Then, a set of tools were presented so that we could estimate ESG parameters variety. This thesis has also paid particular attention to numerical techniques of optimum research, which is an important step for the asset allocation implementation. We developed a reflexion about a global optimisation algorithm of a non convex and a noisy function. The algorithm allows for simple modulating, through two parameters, the reiteration of evaluations at an observed point or the exploration of the noisy function at a new unobserved point. Then, we presented new ALM techniques based on stochastic programming. An application to the strategic asset allocation of a retirement scheme with partial provision is developed. A specific methodology for the scenario tree generation was proposed at this level. Finally, a comparative study between proposed ALM model and Fixed-Mix strategy based model was achieved. We also made a variety of a sensitivity tests to detect the impact of the input values changes on the output results, provided by our ALM model
83

Capacité à satisfaire la demande en eau sous contraintes climatique et anthropique un bassin méditerranéen / Water supply capacity under climatic and anthropogenic constraints in a Mediterranean catchment

Collet, Lila 19 November 2013 (has links)
L'évaluation de la capacité à satisfaire la demande en eau est cruciale pour répondre aux attentes des gestionnaires, notamment en Méditerranée, une région vulnérable pour ce qui est des ressources en eau disponibles et où la demande en eau n'a cessé de croître. Le bassin de l'Hérault (2500 km2, France) est un exemple type de ces changements puisque les écoulements ont fortement diminué depuis les années 1960. Dans ce contexte, les dynamiques d'évolution de la ressource et de la demande en eau ont été analysées dans le passé. Puis, une chaîne de modélisation intégrative a été mise en œuvre sur les 50 dernières années en associant un modèle hydrologique, un modèle de gestion de barrage et l'évaluation de la demande domestique et agricole sur le bassin à travers une reconstitution historique de la base de données d'usages. Cette chaîne a permis d'estimer l'évolution de la fréquence d'années où la demande n'a pas été pleinement satisfaite dans les différentes portions du bassin. Entre 1961 et 2010, la fréquence d'insatisfaction a diminué dans les portions amont de par une déprise agricole et une amélioration du système d'irrigation. Dans la portion aval où les pressions d'usage sont les plus importantes, la diminution des écoulements et la croissance de la demande en eau ont entraîné une baisse de la capacité à satisfaire la demande. L'utilisation de la chaîne de modélisation à l'horizon 2050 a montré que les impacts de la variabilité climatique et d'usages seraient équivalents, mais affecteraient des portions de bassin distinctes. De plus, si les projections concernant l'augmentation de la température annuelle moyenne (+1,2°C) se confirment, les scénarios de mitigation des usages n'amélioreraient pas la capacité de satisfaction de la demande en eau. / Assessing water supply capacity is crucial to meet with managers' needs, especially in the Mediterranean, one of the most vulnerable regions considering available water resources and where water demand has been increasing. The Hérault River catchment (2,500 km2, France) is a typical example of these issues as runoff strongly decreased since 1960. In this context, dynamics of water resource and demand evolution were analyzed over the past period. Then an integrated framework was developed over the last 50 years, combining a hydrological and a dam management model, water demand estimation for the domestic and agricultural sectors through a historical water use database reconstitution. This framework assessed the frequency evolution of years when water demand could not be fully supplied at the portion scale. From 1961 to 2010, the unsatisfactory year frequency decreased in upstream portions due to farmland abandonment and renovation of irrigation networks. In the downstream portion where human pressures are the highest, the decrease in runoff and increase in water demand led to a fall of water supply capacity. Runs of the modelling framework at the 2050 horizon showed that the impacts of climate variability and water uses could be equivalent, but should affect different portions. Moreover, if mean annual temperature projections (+1.2°C) are confirmed, water demand mitigation scenarios would not be able to improve water supply capacity.
84

Clinique de la maternalité singulière : scénarios transgénérationnels et bisexualité psychique en question / Clinic singular maternality : scenarios and generational psychic bisexuality in question

Tourné, Laurence 19 November 2013 (has links)
« La maternalité est à la maternité ce que la réalité interne est à la réalité externe ». Nombre d’auteurs ont décrit les mouvements et remaniements psychiques, notamment identitaires, inhérents à la maternité et montré combien ce processus était complexe. Mais elle est aussi une « expérience complètement singulière » chaque fois et pour chacune. Comment comprendre l’expérience psychique singulière de la maternité chez une femme à travers des naissances successives ? Je propose de développer deux hypothèses de travail et de les mettre à l’épreuve à travers quatre situations cliniques.La première hypothèse renvoie à la transmission psychique entre les générations. L’existence d’un maillage unique de scénarios transgénérationnels se jouant avec chacun des enfants, participe de cette singularité de la maternalité à travers des naissances successives. Nous montrerons comment des expériences passées d’ascendants deviennent des scénarios fantasmatiques organisateurs se rejouant de génération en génération, se différenciant à chaque fois, et participant alors à la singularité de la maternalité.La seconde hypothèse repose sur l’idée d’une bisexualité psychique en mouvement à travers les maternités successives comme éclairage à sa singularité. La bisexualité psychique de l’individu ne serait pas figée une fois pour toute, chaque maternité remanierait la bisexualité psychique de la femme, les intrications des dispositions masculines et féminines de la femme s’articulant différemment à chaque naissance. Une bisexualité psychique unique et singulière à chaque fois comme éclairage à la singularité de la maternalité. De plus, aux prises avec une imago maternelle phallique, certaines femmes envisageraient l’un de leurs enfants comme un fétiche, moyen de maintenir intact le fantasme de bisexualité psychique d’être tout (sujet et objet, femme et homme). / "The maternality motherhood is that the internal to the external reality is reality". Many authors have described the movements and psychic alterations, including identity inherent in motherhood and showed how this process was complex. But it is also a "completely unique experience" each time and for each. How to understand the unique psychological experience of motherhood in a woman through successive births? I propose to develop two working hypotheses and put them to the test in four clinical situations.The first hypothesis refers to the psychic transmission between generations. The existence of a single mesh of generational scenarios are playing with each child, part of this singularity of maternality through successive births. We will show how past experiences of ancestors become fantastical scenarios organizers replaying generations, differing each time, and then participating in the singularity of maternality.The second assumption is based on the idea of psychic bisexuality moving through successive maternity as lighting his uniqueness. Psychic bisexuality of the individual is not fixed once and for all, each maternity redraft psychic bisexuality in women, the intricacies of male and female provisions of articulating different woman every birth. A unique and singular psychic bisexuality every time lighting as the singularity of maternality. In addition, faced with a phallic mother imago, some women consider one of their children as a fetish way of keeping intact the fantasy of psychic bisexuality to be any (subject and object, man and woman).
85

Evaluation du dispositif de surveillance de la tuberculose bovine dans la faune sauvage en France à l'aide de méthodes épidémiologique, économique et sociologique / Evaluation of bovine tuberculosis surveillance system in wildlife in France using epidemiological, economical and sociological methods

Rivière, Julie 27 May 2016 (has links)
Les maladies animales émergentes, les maladies zoonotiques et le développement du commerce international ont conduit à une augmentation des besoins en systèmes de surveillance en santé animale performants. Toutefois, le contexte économique actuel conduit à des restrictions budgétaires importantes, induisant une diminution des ressources allouées à la surveillance. Dans ce contexte, l’évaluation régulière des dispositifs de surveillance, sur lesquels sont fondées les décisions sanitaires, est indispensable afin de vérifier leur bon fonctionnement, la qualité des données collectées, et permettre leur amélioration.Notre travail a porté sur l’évaluation d’un dispositif de surveillance complexe, Sylvatub, le dispositif de surveillance de l’infection à Mycobacterium bovis dans la faune sauvage, constitué de plusieurs composantes de surveillance et ciblant plusieurs espèces sauvages. Nous avons appliqué quatre méthodes d’évaluation : (i) une méthode quantitative d’estimation de la sensibilité de la surveillance par arbres de scénarios, (ii) une méthode quantitative d’estimation des coûts de la surveillance, permettant le calcul d’un ratio coût-efficacité, (iii) une méthode semi-quantitative permettant l’étude du fonctionnement général du dispositif et (iv) une méthode qualitative permettant d’investiguer l’acceptabilité de la surveillance. Ces travaux ont permis d’évaluer le dispositif Sylvatub dans son contexte environnemental et économique, en intégrant des facteurs comportementaux et sociaux, et ont permis la formulation de recommandations pour l’évolution du dispositif et son amélioration.Ces travaux ont également permis de souligner les avantages méthodologiques et opérationnels de l’utilisation complémentaire de plusieurs méthodes pour l’évaluation de dispositifs de surveillance complexes et proposent des perspectives méthodologiques pour favoriser l’intégration des méthodes d’évaluation. L’évaluation du dispositif Sylvatub devra être poursuivie et complétée par celle du dispositif de surveillance en élevage bovin afin d’étudier les interconnexions entre les populations domestiques et sauvages dans ce système multi-hôtes particulier. / Emerging animal diseases, zoonotic diseases and the development of international trade have led to an increase in the need for efficient animal health surveillance systems. However, the current economic environment led to significant budget cuts, resulting in a reallocation of resources dedicated to surveillance. In this context, regular evaluation of surveillance systems, on which are based the health decisions, is essential to ensure their operation, the quality of the collected data and to allow their improvement.This study focused on the evaluation of a complex surveillance system, the Sylvatub network for the surveillance of Mycobacterium bovis infection in wildlife, which consists of several surveillance components focusing on several wild species. We have used four evaluation methods: (i) a quantitative method to estimate the surveillance sensitivity by scenario trees modelling, (ii) a quantitative method to estimate the surveillance costs, enabling the estimation of a cost-effectiveness ratio, (iii) a semi-quantitative method to estimate the global operation of the system, and (iv) a qualitative method to investigate the acceptability of the surveillance. This study allowed to assess the Sylvatub network in its environmental and economical context, with the integration of behavioral and social factors; and allowed the development of recommendations for the evolution of the surveillance system and its improvement.This study has highlighted the methodological and operational advantages of the complementary use of several methods for the evaluation of complex surveillance systems. It provides methodological perspectives to support the integration of evaluation methods. The assessment of the Sylvatub system should be deepened and complemented by the evaluation of the surveillance system in cattle to explore interconnections between domestic and wild populations in this particular multi-host system.
86

Retour sur les scénarios climatiques et d'émissions à l'aide d'un modèle compact du système Terre / Revising emissions and climate scenarios with a compact Earth system model

Quilcaille, Yann 05 September 2018 (has links)
Cette thèse met en perspective un ensemble d’éléments des scénarios socio-économiques sous l’angle de la modélisation du climat. Ces éléments contribuent à améliorer la compréhension de l’état actuel des sciences du climat en ce qui concerne les scénarios. En parallèle, ces éléments montrent le potentiel du récent modèle compact du système Terre OSCAR v2.2.Le premier élément concerne l’incertitude des émissions. Bien que les inventaires d’émissions soient incertains, nous ignorons dans quelle mesure ces incertitudes affectent les projections climatiques. Nous quantifions cet impact pour les émissions des énergies fossiles, la principale cause du changement climatique. Nous montrons que ces incertitudes dans les émissions sont amenées à augmenter avec l’utilisation des énergies fossiles non-conventionnelles, mais qu’elles n’augmentent pas de manière significative l’incertitude dans les projections climatiques. Ceci est vrai pour la majeure partie des variables, comme l’augmentation de la température moyenne de surface, mais pas pour certaines qui sont d’intérêt pour la qualité de l’air.Le second élément est une analyse climatique des récents scénarios Shared Socio-Economic Pathways. Nous identifions des failles dans la base de données, que nous comblons. Sur cette base, nous calculons les projections climatiques des scénarios SSP. Nous montrons la présence d’incohérence dans l’utilisation des émissions CO2 dues à l’utilisation des terres (LUC) calculées par les modèles intégrés (IAMs) et des variables associées à l’utilisation des terres. Nous identifions des compromis dans les réductions d’émissions pour l’atténuation du changement climatique. Nous réévaluons de manière plus robuste les budgets carbone. Les incertitudes dans les élévations de températures sont examinées en détail.Le troisième élément concerne les émissions négatives. La plupart des scénarios qui limitent le changement climatique bien en dessous de 2°C par rapport au préindustriel, respectant ainsi l’Accord de Paris, utilisent des émissions négatives. A l’aide d’une version développée de OSCAR v2.2, nous calculons les implications pour le système Terre de plusieurs aspects des techniques d’absorption de dioxyde de carbone (CDR). Nous identifions les réversibilités des différentes parties du système terre, et évaluons le potentiel de refroidissement de ces techniques. Nous montrons aussi que la reforestation pourrait être moins apte à atténuer le changement climatique, du fait du changement dans l’albedo de surface. Par ailleurs, le potentiel d’alcalinisation des eaux de surfaces pour atténuer le changement climatique pourrait être inférieur à celui initialement estimé.Dans l’ensemble, cette thèse identifie des défauts dans le développement actuel des scénarios. Certains ne constituent pas un problème pour les projections climatiques, comme les incertitudes dans le calcul des émissions. D’autres nécessitent une attention particulière, comme le calcul des émissions CO2 dues au LUC par les IAMs ou l’éventuelle surestimation des capacités des techniques de CDR. Ce travail renforce l’urgence du besoin d’atténuation du changement climatique. / This thesis puts into perspective different elements of socio-economic scenarios from a climate change modelling point of view. These elements contribute at improving the comprehension of the current state of climate sciences regarding the scenarios. In the meantime, these elements demonstrate the potential of the recent reduced-form Earth System Model OSCAR v2.2.The first element concerns the uncertainty of emissions. Although emission inventories are uncertain, we ignore what impact on climate change have these uncertainties. We quantify this impact for fossil-fuel emissions, the major contributor to climate change. We show that the uncertainties in emissions are expected to increase with the use of non-conventional fuels, but that they do not increase significantly the uncertainty from Earth system modelling in variables, such as the increase in global surface temperature.The second element is a climate assessment of the recent Shared Socio-economic Pathways (SSP) scenarios. We identify loopholes in the SSP database, and we complete it to calculate the climate projections under these scenarios. Our conclusions suggest inconsistencies in CO2 emissions from Land Use Change (LUC) calculated by the Integrated Assessment Models and in the associated land variables. We identify trade-offs between greenhouse gases in the mitigation of climate change. Using a robust assessment, new carbon budgets are proposed. The uncertainties in increases in global surface temperature are discussed.The third element concerns the negative emissions. Most climate scenarios limiting global warming well below 2°C above preindustrial levels, thus respecting the Paris Agreement, use negative emissions. Using a developed version of OSCAR v2.2, we evaluate the implications for the Earth system of different aspects of different Carbon Dioxide Removal (CDR) technologies. We identify the reversibility in the different components of the Earth system and calculate the cooling potential of carbon dioxide removal technologies. We also show that the potential of afforestation/reforestation techniques may be impeded by the change in albedo, and that the potential of oceanic enhanced weathering may be lower than expected.Overall, this thesis identifies loopholes in the current development of scenarios. Some do not hinder current conclusions regarding climate change, such as the uncertainties in emission inventories. Others call for further analysis, such as the inconsistencies in the use of CO2 emissions from LUC or the eventual overestimation of the potential of some CDR technologies. It emphasizes the need for an urgent mitigation of climate change.
87

Test de systèmes ubiquitaires avec prise en compte explicite de la mobilité / Test of ubiquitous systems with explicit consideration of the mobility

André, Pierre 17 November 2015 (has links)
L'objectif de cette thèse est de contribuer à l'élaboration d'une méthode de test de systèmes mobiles. L'approche développée est fondée sur la description de tests à l'aide de scénarios et leurs vérifications sur une trace d'exécution. Un scénario modélise le comportement et les interactions que l'on souhaite observer entre un ensemble de nœuds. Les caractéristiques des systèmes mobiles nous ont conduit à représenter un scénario sous deux points de vue différents et complémentaires. Un premier représente des événements de communications entre les nœuds et un second représente la topologie des liens entre ces nœuds. Notre approche est décomposée en deux étapes : une étape de spécification des cas de tests à l'aide de scénarios et une étape de vérification de ces scénarios sur des traces d'exécutions. La première consiste à spécifier à l'aide du langage dédié TERMOS les cas de test de l'application mobile à vérifier. Ce langage TERMOS a été mis en œuvre au sein de l'atelier UML Papyrus. À partir des scénarios décrits de manière graphique, nous générons pour chacun d'eux un automate ainsi qu'une séquence de topologie que nous utilisons dans l'étape suivante. La deuxième étape consiste à vérifier chaque scénario sur des traces d'exécutions provenant de l'application à tester. Pour cela un premier outil recherche les occurrences de la séquence de topologie du scénario dans la trace d'exécution. Pour chacune d'entre elles, l'automate est exécuté et conclut à un verdict. L'analyse de l'ensemble des verdicts d'un scénario permet de détecter les fautes présentes dans le système. / The main objective of this thesis is to contribute to elaborating a mobile system test method. The proposed approach is based on test definition using scenarios and their verification on an execution trace. A scenario modelizes the behavior and the interactions we want to achieve on a set of nodes. Considering the characteristics of mobile systems we represented scenarios from two different but complementary points of view. The first represents communication events between nodes and the second represents the link topology between the nodes. Our approach is composed of two steps : a first step to specify the test cases by using scenarios and a second step to verify these scenarios on execution flows. The first step consists in using the dedicated TERMOS language in order to specify the test cases of the mobile application. The TERMOS language has been developed in the UML Papyrus workshop. Based on the graphically defined scenarios, we generate an automaton for each one of them, as well as a sequence of topologies which we will be using in the next step. The second step consists in verifying each scenario by using execution traces from the application to be tested. Therefore a first tool detects scenario topology sequences in the execution flow. For each one of them the automaton is executed and comes out with a verdict. The analysis of all the verdicts of a scenario allows the detection of faults in the system.
88

Environnement virtuel générateur d’émotions

Brosseau, Pierre-Olivier 08 1900 (has links)
Les émotions jouent un rôle important dans la prise de décision quotidienne. En effet, elles influencent grandement la manière dont les individus interagissent avec leur environnement. Dans cette étude nous avons premièrement conçu un environnement virtuel de conduite automobile, puis créé des scénarios générateurs d’émotions à l’aide de la méthode Belief-Desire-Intention. Nous avons évalué l’efficacité de ces scénarios à l’aide d’un groupe de 30 personnes et d’un casque électroencéphalogramme pour mesurer leurs émotions. On observe que plus de 70% des scénarios conçus avec cette méthode ont généré l’émotion que l’on avait anticipée chez 52% à 76% des participants. La deuxième phase de cette expérience porte sur la réduction d’émotions avec un agent correcteur. Nous avons noté une efficacité de la réduction des émotions allant de 36.4% jusqu’à 70.0% des participants à travers les différents scénarios. / Emotions play an important role in daily decision-making. Indeed, they greatly influence how individuals interact with their environment. In this study, we first designed a virtual driving environment and various emotion-inducing scenarios using the Belief-Desire-Intention method. We evaluated the effectiveness of these scenarios with a group of 30 people and an EEG headset to measure the emotions. Over 70% of scenarios designed with this method induced the emotion that had been anticipated in 52% to 76% of the participants. The second phase of this experiment is the reduction of emotions with a corrective agent. We noted an efficiency in reducing emotions ranging from 36.4% to 70.0% of the participants through the different scenarios.
89

Analyse critique de cinq interventions éducatives proposées pour les enfants (5-12 ans) qui ont des troubles envahissants du développement

Papazian, Any January 2005 (has links)
Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.
90

Modèles et méthodes pour la planification de la récolte forestière

Gémieux, Géraldine 08 1900 (has links)
Ce projet de recherche a été réalisé avec la collaboration de FPInnovations. Une part des travaux concernant le problème de récolte chilien a été effectuée à l'Instituto Sistemas Complejos de Ingeniería (ISCI) à Santiago (Chili). / La planification de la récolte forestière comporte différents niveaux de planification selon l'horizon de temps du problème et la nature des décisions à prendre. Dans un premier temps, nous nous intéressons à un problème de planification annuelle de la récolte, à mi-chemin entre la planification tactique et opérationnelle. Ce problème appliqué à l'exploitation forestière au Québec, naît d'un besoin de l'industrie québécoise d'un outil pour la planification annuelle intégrée qui fournit aux équipes de récolte leur calendrier. L'intégration consiste à déterminer les affectations des équipes aux blocs en fonction des besoins des usines, et qui respectent les contraintes de transport, de gestion des stocks, et bien entendu les conditions d'exploitation en forêt. Plusieurs modèles de types MIP ont été formulés, des approches de résolution adaptées à la structure de chacun des modèles ont été développées. L'approche par horizon roulant est celle dont les résultats surpassent les deux autres et surtout, améliorent de façon significative les plans usuellement suivis, notamment en réduisant les volumes non livrés aux usines de moitié, ou encore en divisant entre 2 et 6 fois les volumes en stock quand la demande diminue. De plus, le développement d'une interface pour systématiser le processus de résolution et élargir le nombre d'utilisateurs, est la seconde contribution de la thèse. Cette étape du projet correspond à un transfert de technologie de l'université vers l'industrie. Le second problème de planification se situe au Chili, est une planification tactique de la récolte dirigée par les prix et demandes en produits finis, ces derniers étant considérés comme des paramètres aléatoires. Le problème stochastique formulé est résolu suivant une méthode de décomposition par scénarios dont le nombre varie entre 10 et 100. Pour chaque scénario, la solution déterministe, lorsqu'elle est réalisable, est comparée avec celle issue de la résolution du problème stochastique. La solution déterministe n'est réalisable que pour une dizaine de scénarios parmi 100, et les pertes encourues sont en moyenne de 9%. / Harvest planning has different levels according to the time horizon of the problem and the nature of the decisions to be taken. Initially, we are interested in an annual harvest scheduling problem, halfway between tactical and operational planning. This problem applied in Qu\'ebec, is motivated by a need from the industry for an integrated tool that provides annual schedules to harvest teams. The integration is to determine demand driven assignments of teams to cutblocks and to manage transportation and inventory accordingly. Several MIP models have been formulated, and three solution approaches have been developed according to the structure of each model. The rolling horizon approach performs better than the other two, by improving significantly from the traditional harvest plan, especially by reducing by half non delivered volumes or by dividing between 2 and 6 times volumes in storage when demands decrease. Another contribution of the thesis is the creation of an interface to systematize solution process and to allow other users. This is the object of a transfer project between academics and industry. The second problem is a Chilean tactical harvest planning. Harvesting decisions are driven by stochastic demands and prices of final products. The stochastic problem is solved using a heuristic based on a scenario decomposition technique. The number of scenarios considered is between 10 and 100 scenarios. For each scenario, when the deterministic solution is feasible, it is compared with the stochastic solution for the current scenario. The deterministic solution is only feasible for 10% of the scenarios, and induces losses of 9% in average.

Page generated in 0.0472 seconds