• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 3237
  • 1279
  • 301
  • 8
  • 8
  • 3
  • 2
  • 2
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • Tagged with
  • 4831
  • 1292
  • 1055
  • 1011
  • 574
  • 545
  • 515
  • 457
  • 440
  • 352
  • 331
  • 314
  • 310
  • 301
  • 292
  • 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.
101

Optimisation des procédures de tests pour simulation de transport des systèmes d'emballage, à partir de l'analyse statistique et fréquentielle du signal vibratoire excitateur / Development of specific procedures for testing dynamic packaging systems, from data acquisition and in-situ modeling of the dynamic behavior of these systems

Otari, Suzan 13 December 2011 (has links)
Parmi les tests utilisés dans un plan de qualification destiné à qualifier un emballage ou un système d’emballage pour résister pendant le transport, l’essai en vibrations aléatoires est un moyen efficace pour reproduire les effets mécaniques vibratoires dus au transport. La méthode habituelle s’intéresse uniquement à la répartition fréquentielle du signal en utilisant la densité spectrale de puissance (PSD) et la répartition statistique des niveaux du signal est complètement négligée.Dans ce travail nous avons proposé une loi de distribution de ces niveaux d’accélération qui identifie et caractérise statistiquement le signal vibratoire. L’enregistrement en continu du signal d’accélération tout au long d’un trajet a permis de montrer que cette distribution statistique n’est pas une gaussienne mais une gaussienne modifiée dont les paramètres sont estimés et discutés. Par suite, il est possible de caractériser la sévérité d’un trajet par une comparaison avec la distribution gaussienne qui a la même valeur efficace. Ce modèle retenu nous permet de le comparer aux autres signaux actuellement utilisés pour simuler de tels trajets. L’objectif étant à terme de proposer une méthode alternative de pilotage sur certains systèmes de vibrations (chapitre VI).En générale on utilise un enregistrement partiel du signal vibratoire afin de simuler ses effets mécanique en laboratoire de test sans connaître les conséquences d’un tel mode d’enregistrement sur les caractéristiques du signal étudié. Au cours de ce travail (chapitre 3 et 4) l’effet d’enregistrement partiel du signal est étudié sur les caractéristiques statistiques et fréquentielles de celui-ci. Nous avons montré que lors d’un trajet routier en France 10% du temps total du trajet est représentatif de sa totalité. Si l’enregistrement est effectué avec des taux inférieurs à 10%, nous somme capables d’estimer l’erreur introduite sur la distribution des valeurs du signal et aussi sur le niveau de le PSD. Ainsi cette erreur peut être corrigée au moment de la simulation en laboratoire.Enfin nous avons proposé une méthode alternative pour simuler le signal non-stationnaire et non-gaussien par un système de vibration habituellement utilisé pour cet effet qui consiste à une séquence des signaux gaussiens. Cette méthode a été proposée en vu des moyens et matériels que dispose la société Metropack et leur permet de simuler des effets vibratoires à la façon la plus proche de la réalité du transport. / Several tests are used to qualify a packaging or a packaging system aimed for transportation. This is called qualification plan. Random vibration tests are an efficient way to simulate the mechanical vibratory effects caused by transportation. The usual method is only concerned with the frequency distribution pattern of the signal using the average power spectral density (PSD) but statistical distribution of levels is totally ignored.In this work we have proposed a statistical model based on analyse of instantaneous acceleration levels of road transport, which identify and characterise the vibration signal. Continuous recording of acceleration signal all along the journey permits confirmation that this statistical distribution is not a Gaussian distribution but a modified Gaussian distribution, for which parameters are estimated and discussed. Therefore, it is possible to evaluate the transport severity by working out the appearance probability of acceleration levels greater than a fixed threshold and also the difference between the experimental distribution and the Gaussian distribution with the same rms value. This model is used to correcting the way of simulation in a test laboratory (chapter 5).Usually to recreate the mechanical effects of a vibration signal in the test laboratory, we use a partial recording of this signal without any adequate attention on effects of the recording parameters on characteristics of signal recorded in this way. In this work (chapter 3 and 4), the effects of partial recording is studied on statistical and frequency characteristics of acceleration signal. We have shown that for a road transport in France only 10% of the total duration of a journey must be taken to represent the whole journey. If the recording is performed with rates below 10%, we are able to estimate the error introduced on the distribution of signal and also on the level of the PSD. So this error can be corrected when the journey is simulated in laboratory.Finally we have proposed an alternative method for simulating the non-stationary and non-Gaussian signal with a typically used vibration system for this purpose which consists of a sequence of Gaussian signals. This method was proposed considering the means and materials available at company (Metropack) and enables them to simulate vibration effects in the most realistic way.
102

Modélisation multi-échelle de la déformation plastique de MgO monocristallin : du laboratoire au manteau terrestre / Multi-scale modeling of the plasticity of magnesium oxyde single crystal : from laboratory conditions to the Earth’s mantle

Amodeo, Jonathan 15 December 2011 (has links)
Les évènements géologiques de surface, comme le volcanisme ou les séismes, sont le fruit d'une dynamique qui vise à dissiper la chaleur interne de notre planète. Dans le manteau terrestre, les roches sont déformées plastiquement dans des conditions extrêmes de pression, de température et de vitesse de déformation. Malgré les récentes avancées expérimentales, il est impossible de reproduire de telles conditions de déformation en laboratoire. C'est pourquoi nous proposons, dans ce travail de thèse, une approche numérique, basée sur la modélisation multi-échelle de la plasticité, des conditions du laboratoire à celles qui caractérisent le manteau terrestre. Nous avons choisi d'appliquer cette méthode à MgO, phase importante du manteau inférieur.À partir des propriétés de cœur des dislocations, nous avons utilisé la théorie des double-décrochements afin de décrire la mobilité d'une dislocation isolée en fonction de la température et de la contrainte. Nous avons ensuite implémenté, dans un code de Dynamique des Dislocations (DD), les paramètres de mobilité des différents défauts afin de décrire le comportement collectif des dislocations lors d’essais numériques de déformation. Les résultats montrent que les propriétés mécaniques de MgO dépendent fortement de la pression et de la vitesse de déformation. / Surface geological events, like volcanos and earthquakes, are due to the internal dynamics of the Earth which tends to release its internal heat. Inside the Earth's mantle, solid rocks are plastically strained under extreme conditions of pressure, temperature and strainrate. In spite of recent experimental progress, it is still impossible to reach such conditions of deformation. This is why we propose an alternative approach, based on the multi-scale modeling of plasticity, from the laboratory conditions to the Earth's mantle. We have choosen to apply our model to magnesium oxide which is a phase present in the lower mantle.From core properties, we modeled a dislocation thermally activated mobility law based on the kink pair theory. Then, we have incorporated it inside a Dislocation Dynamics code to describe the collective behaviour of dislocations throughout numerical strain experiments. Here we show that MgO mechanical properties depends significantly on pressure and strainrate.
103

Logique culturelle et dynamique de la performance sportive féminine en Algérie / Cultural context and sport performance in Algeria highlevel sportswomen : interviews analysis

Benmoussa, Fatma-Zohra 15 November 2007 (has links)
Guerre, urbanisation massive et scolarisation en propulsant la femme au devant de la scène, ont ils vraiment contribué à la libérer ou au contraire à l'aliéner ? Le débat sur la sportive algérienne se situe au niveau d'une réalité multidimensionnelle, d'une société encore organisée autour de la protection de la femme. La distribution traditionnelle des espaces en intérieur pour les femmes et extérieur pour les hommes, face à la vie contemporaine va susciter des situations inédites, générées par une influence du modèle "moderne" sur un individu resté imprégné dans son vécu et dans ses apprentissages, par les valeurs du milieu dans lequel il a été socialisé. Le système de socialisation dans lequel sont impliquées les sportives algériennes, hérité d'une société demeurée hostile au mélange des sexes, les amène à développer des stratégies quant à l'occupation des espaces intérieur / extérieur. La femme ne se résout pas à opérer des choix, abandonner un style de vie pour l'autre, tant qu'elle n'est pas sûre qu'elle peut remplacer son rôle de mère (car il lui donne un statut) par un autre rôle. Ceci la contraint donc, à une alternance de rôles où elle doit concilier culture moderne et culture traditionnelle (entendre par moderne ce qui est contemporain et qui se fait actuellement, et traditionnel ce qui se faisait). Cet "entre deux culturel" issu de raisons historiques et économiques (égalité femme / homme, scolarisation obligatoire pour les filles, travail féminin…) va entraîner des situations ambivalentes et inconfortables pour l’athlète algérienne. D'autre part, les exigences de la logique sportive, (inconciliables avec la logique traditionnelle), en s'inscrivant dans le domaine du corps, placent d'emblée la sportive algérienne en rupture avec les normes sociales. Pour cette dernière, parler avec un corps non seulement habitué mais surtout contraint au silence en dehors de l'espace privé est considéré comme un dépassement de normes, passible de rejet. Pour la société, le corps et ses représentations relèvent de l'intime, alors que pour la pratique sportive de celui du public : une antinomie que la sportive algérienne se doit de gérer dans sa quête de performance. L'examen de trajectoires d'athlètes féminines de haut niveau dans différentes disciplines (athlétisme, natation, judo, gymnastique, volley-ball, hand-ball, foot-ball, basket-ball, escrime et tennis de table) a permis de constater que les raisons de l'absence des femmes de la sphère sportive sont multiples. Les résultats de cette investigation ont permis de déceler l'existence d'une dynamique de la performance sous tendue par une logique culturelle qui ne se manifeste ni dans une opposition masculin / féminin, ni dans l'opposition tradition / modernité. Elle débusque aussi les idées reçues d'une religion interdisant toute forme de pratique sportives pour les femmes. Elle démontre par contre qu'à aucun moment le milieu familial n'intègre ce genre de socialisation, mais dès que cette "déviation" s'avère productrice (par la réalisation de hautes performances génératrices de gains, de reconnaissance…) il y a inversion de la dynamique culturelle avec acceptation et sur valorisation du nouveau statut. En conclusion la logique culturelle continue à fonctionner (face à deux univers qui s'opposent) aussi bien chez les sportives que dans leur environnement, en manifestant une capacité déroutante à admettre puis à absorber et détruire tout élan d'innovation, d'ouverture. / Have war, massive urbanization and children education contributed to free or to alienate women, by pushing them in the spotlight ? The Algerian sportswoman debate stands on a multi-dimensional reality level in a society organised around woman protection. The traditional division of space in indoor for women and outdoor for men, facing the contemporaneous life is creating new situations. These situations are generated by the influence of the "modern" model on an individual who is still led by the traditional values with which he was socialized. The socialization system in which the Algerian sportswomen are involved made them develop strategies regarding the space division : indoors / outdoors. The woman is not able to choose a new life style as long as she is not sure she can replace her mother character/role with another one (because it is the one that gives her a status in the society). Thus, she is forced to a permanent switch between a traditional and a modern character (we mean by modern what is contemporaneous and done currently and traditional what used to be done). On one hand, this "in-between two cultures" resulting from historical and economical reasons (girls right to education, women's employment,…) is generating ambivalent and uncomfortable situations for the Algerian women athletes. On the other hand, the sport environment (which can not match the traditional one), as it is dealing with the body, makes the Algerian sportswoman break up with their social norms. For this woman, "talking" to a body, usually constrained to the silence outside the private sphere, is considered as rules breaking with a rejection risk. For the traditional society, the body and its representation is intimate whereas in sport practice, it is public : the Algerian sportswoman has to manage these contradictory situations in her performance quest. The analysis of feminine athletes' paths in various fields raised the fact that women are missing in the sports sphere for different reasons. The results of this investigation allowed us to reveal the existence of performance dynamics with a cultural logic that is not shown in the masculine/feminine opposition nor in the tradition/modernity opposition. These results allowed us also to identify the clichés of a religion that is supposed to forbid any sports practice for women. However, this investigation demonstrates that the family environment does not accept this kind of socialization unless it gets "productive" by reaching high performances generating recognition and rewards. At this moment, there is an inversion of the cultural dynamics with acceptation and overvaluation of the new status. To conclude, we can say that the cultural logic keeps on leading the sportswomen and their environment, demonstrating a surprising capacity to absorb and destroy any will of innovation and openness.
104

Conception d’un simulateur de conduite pour véhicule Spyder

Delgerie, Xavier January 2013 (has links)
Le Spyder conçu par BRP est un véhicule complexe, original et peu connu du grand public à travers le monde. Par conséquent, on souhaite développer un outil facile d’accès pour la découverte, la formation au pilotage et l’aide à la conception du roadster. Le sujet de ce projet de maîtrise est le développement du modèle dynamique du véhicule et l’intégration à une plateforme de simulation existante. Pour y parvenir, on élabore un modèle réaliste du véhicule sous deux versions, sport et tourisme. Après avoir recherché les différents paramètres et caractéristiques du véhicule, on se concentre d’abord sur un modèle simple puis sur un modèle plus complexe comportant différents modules, comme la motorisation et les aides à la conduite. En vue de valider le modèle, on utilisera les résultats de tests et des mesures expérimentales. Après validation, le modèle doit être intégré à la nouvelle plateforme de simulation. Le logiciel, développé en langage C++, est élaboré à partir de la plateforme de base. Des modèles 3D détaillés du Spyder offrent un rendu graphique réaliste pour une meilleure immersion. Le modèle est capable de répondre en temps réel et de manière réaliste et précise sous le contrôle de l’utilisateur. On a donc un outil polyvalent à objectifs multiples : faire connaître le véhicule, aider l’ingénieur dans l’étude du véhicule et former les futurs pilotes de manière plus efficace et moins coûteuse. L’outil de simulation peut être également un moyen d’évaluer facilement des paramètres dont l’appréciation est subjective comme la signature sonore du véhicule.
105

Contribution à l'analyse de la dynamique quantique dans des systèmes de Hall en présence d'un flux Aharonov-Bohm dépendant du temps / Contributions to the analysis of the quantum dynamics of Hall systems with time dependant Aharonov-Bohm flux

Meresse, Cédric 25 November 2010 (has links)
Nous nous intéressons à la dynamique dans les systèmes de Hall en présence d'un flux Aharonov-Bohm dépendant du temps. Nous présenterons deux théorèmes adiabatiques applicable à ces modèles ainsi qu'un résultat sur l'existence d'une constante de mouvement non-trivial. On utilisera un algorithme de diagonalisation partielle. / We will ahve interest in the quantum dynamics in Hall systems with time dependent Aharonov-Bohm flux. We will present two adiabatic theorems which can applied to these models and a quantitive result on the existence of a non-trivial constant of motion. To prove this result, we will use a partial diagonalization algorithm
106

Coordination of Distributed Activities in Dynamic Situations. The Case of Inter-organizational Crisis Management / Coordination des activités réparties dans des situations dynamiques : le cas de la gestion de crise inter-organisationnel

Franke, Jörn 14 October 2011 (has links)
De nombreuses catastrophes de diverses envergures frappent régulièrement des populations partout dans le monde. Parmi les exemples marquant on peut citer l'ouragan Katrina en 2005, le tremblement de terre en Haïti en 2010 ou plus récemment le Tsunami au Japon et la catastrophe de Fukujima qui a suivie. Au cours de ces catastrophes, plusieurs centaines d'organisations, comme la police, les pompiers ou les organisations d'aide humanitaire, interviennent pour sauver les gens et aider à revenir à une vie normale. Ces organisations ont besoin de se coordonner pour faire face à une situation dynamique avec des ressources limitées et une vision partielle de la situation. L'évolution de la situation entraîne souvent des changements d'objectif et de plan. Un des problèmes typique est d'obtenir un aperçu sur les relations entre ce qui a été fait, ce qui se passe actuellement et quelles sont les prochaines étapes. Ce problème est particulièrement difficile sur le plan inter-organisationnel : Chaque organisation coordonne la réponse de sa propre perspective et s'appuie sur les informations fournies par d'autres organisations. Notre objectif dans cette thèse est d'étudier comment supporter la coordination des activités par des personnes de différentes organisations dans une situation dynamique par un système d'information. L'idée de base est de tirer profit d'une approche basée sur les processus, où les activités et leurs relations sont rendues explicites. Nous présentons un cadre pour la coordination des activités dans des situations dynamiques. Il permet la modélisation ad hoc des relations entre ce qui a été fait, ce qui se passe actuellement et quelles sont les prochaines étapes. Les écarts par rapport au modèle et comment les activités ont été réalisées sont affichées à l'utilisateur pour mettre en évidence l'impact de l'évolution des objectifs. Nous étendons ce cadre au niveau inter-organisationnel. Certaines activités peuvent être partagées entre différentes organisations. Tout n'est pas partagé entre tout le monde pour tenir compte du respect de la vie privée, de la réglementation, des raisons stratégiques ou autres. Les activités partagées sont reproduites dans les espaces de travail de ces organisations. Nous décrivons comment des vues divergentes sur les activités et leurs relations peuvent etre détectées et traitées afin de revenir éventuellement à une vue convergente. Les concepts sont mis en oeuvre comme une extension d'un service de collaboration distribuée ouvert. Ils ont été évalués par des gestionnaires de catastrophes expérimentés. Par ailleurs, nous avons conçu une expérience visant à évaluer l'utilisation d'outils pour aborder ces question. Nous avons effectué plusieurs expériences pour valider cette expérience. D'autres expériences pourront fournir une validation plus complété du modèle proposé dans cette thèse. / Recently we have seen several large scale disasters affecting humans all over the world. Examples are Hurricane Katrina in 2005, the Haiti earthquake in 2010 or the September 11/2001 terrorist attacks on the world trade center. During these disasters, several hundred organizations, such as police, fire brigade or humanitarian aid organizations, respond with the goal to save people and support them to live a normal life again. They need to coordinate to deal with scarce resources, different skills and capabilities. People in these organizations drive coordination based on their judgment of the situation. The situation can be dynamic: it evolves in sometimes unexpected ways, goals shift and priorities of the organizations change. Typical problems are to get an overview on the relations between what has been done, what is currently going on and what are the next steps. This problem is specially challenging on the inter-organizational level: Each organization coordinates the response from its own perspective and relies on the information provided by other organizations. We aim in this dissertation at supporting coordination of activities by people of different organizations in a dynamic situation by an information system. The disaster response is a critical example for this. The basic idea is to leverage a process-based approach, where activities and their relations are made explicit. We present a framework for coordination of activities in dynamic situations. It allows ad-hoc modeling of the relations between what has been done, what is currently going on and what are the next steps. A model can be verified for correctness in predictable and acceptable time. Deviations from the model and how activities have been performed are displayed to the user to highlight the impact of shifting goals. We extend this framework to the inter-organizational level. Selected activities can be shared by people with selected organizations. This means not everything is shared between everybody to take into account privacy, regulatory, strategic or other reasons. Shared activities are replicated in the workspaces of these organizations. We describe how diverging views on replicated activities and their relations can be detected and handled to ensure eventually a converging view. The concepts are implemented as an extension to an open distributed collaboration service. They are also commented by experienced disaster managers. Furthermore, we design an experiment to evaluate tool support addressing the research questions. We conducted several experiments to validate the design of the experiment. Further experiments can provide validation of the concepts implemented as a prototype in this thesis.
107

Dye sensitized solar cells efficiency improvement : optimization of the electrolyte using ionic liquids/molecular solvents mixture and study of the photodynamic properties of organic indolinic derivative dyes / Développement des perfomances des cellules solaires à photosensibilisateur : optimisation du choix du mélange liquide ionique/solvant moléculaire et étude des caractéristiques photodynamiques des colorants dérivés de l'indoline par spectroscopie résolue en temps

Smortsova, Yevheniia 04 December 2018 (has links)
Parmi les énergies renouvelables, l’énergie solaire est la plus puissante. L’élément clé des DSSCs est le photosensibiliseur, par lequel la génération de photocourant est possible. L’autre élément important est l’électrolyte. Les liquides ioniques (Ils) sont utilisés en tant qu’électrolytes dans les DSSCs du fait de leurs propriétés chimiques: pression de vapeur basse, haute résistance thermique et chimique, polarité et phase modulables, etc. L’objectif de cette thèse est de comprendre les processus photophysiques dans les colorants dérivés d’indolines dans les solvants moléculaires (MS) et les mélanges IL/MS. L’influence du solvant sur les propriétés spectroscopiques de D131, D102, D149 and D205 est d’abord étudiée par spectroscopie stationnaire d’absorption et de fluorescence. Ensuite, la spectroscopie résolue en temps est employée pour étudier leur photophysique et sa dépendance au solvant. Ces expériences ont permis de démontrer l’influence des paramètres d'aptitude de donneur de liaison hydrogène et d'accepteur de liaison hydrogène des solvants. Le rôle majeur de la dynamique de solvatation dans la dynamique des états excités de ces colorants a été montré. Ce phénomène a été suivi dans les mélanges IL/MS en utilisant une sonde fluorescente classique, C153, et des techniques de fluorescence résolues en temps et de dynamique moléculaire. Les réponses de solvatation multi-régimes de ces mélanges sont dirigées par le renforcement de la liaison hydrogène entre la sonde et les composants des mélanges. Les résultats de cette these apportent beaucoup à la compréhension des processus photophysiques fondamentaux régissant les sensibiliseurs et les électrolytes dans les DSSCs. / Among all the renewable energy sources, solar energy is the most powerful source far ahead wind or geothermal energies. The first key component of DSSCs is the photosensitizer. It is through this component that the most important steps of photocurrent generation are possible. On the other hand, ionic liquids (ILs) have been proposed as electrolyte for DSSCs due to their peculiar properties: low vapor pressure, high thermal and chemical robustness, tunability of polarity and phase behaviour etc. The objective of this thesis was to get an understanding of the photophysics in the indoline derivated dyes in molecular solvents (MS) and in the IL/MS mixtures. Firstly, the solvent dependence of the spectroscopic properties of D131, D102, D149 and D205 was studied by the steady-state UV-Vis absorption and fluorescence spectroscopy. Then, time-resolved spectroscopy was used to elucidate their photophysics and its solvent dependence. These experiments helped to discern the influence of the hydrogen bond donor and acceptor abilities of the solvent. The solvation dynamics was shown to play a major role in the excited state dynamics of these dyes. This process in IL/MS mixtures was elucidated using the classic fluorescent probe C153 by the means of time-resolved spectroscopy and MD simulations. The complex multi-regime solvation response in these systems was shown to be shaped by the strengthening of the hydrogen bonding between the probe and the mixture components. The results of this thesis work contribute to the fundamental understanding of the photodynamics of the sensitizer and the response of the electrolyte used in the DSSCs.
108

Argumentation In Flux (Modelling Change in the Theory of Argumentation) / Argumentation In Flux (Modélisation du changement dans la théorie de l'argumentation)

Rienstra, Tjitze 23 October 2014 (has links)
Abstract argumentation frameworks are a widely used formalism in the field of artificial intelligence. They are used to represent conflicting information by means of a set of arguments and an attack relation. The main problem studied in the literature is their evaluation, i.e., the determination of the justified points of view on the status (accepted or not) of the arguments. The research in this thesis is motivated by the idea that this is not a static process, and that there are many real life examples in which external information plays a role. We address this issue from three points of view.First, we look at intervention and observation in argumentation. These are notions usually studied in the context of causal networks, which are structures used to encode causal connections between events. In these models, an intervention represents the active causation of an event in the interest of predicting the effects, while the passive observation of an event allows one to infer both the most likely causal explanation as well as the effects. In argumentation, intervention captures a hypothetical mode of arguing, where we hypothetically fix the status of an argument in the interest of determining the effects.An observation, on the other hand, captures a revision process: changing the status of an argument requires us to retrace our steps in the line of reasoning that led to the initial status and to accept the most likely hypothesis that explains the new status. We propose models for these two types of reasoning and analyze them using a postulate-based approach. Second, we develop a model of abduction in argumentation, where changes to an argumentation framework act as hypotheses to explain an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypotheses that explain an observation) and show that this model can be instantiated on the basis of abductive logic programs.Third, we look at change in preference-based argumentation. Preferences have been introduced in argumentation to encode, for example, relative strength of arguments.An underexposed aspect in these models is change of preferences. We present a dynamic model of preferences in argumentation, based on what we call property-based argumentation frameworks. It is based on Dietrich and List's model of property-based preference and provides an account of how and why preferences in argumentation may change. The idea is that preferences over arguments are derived from preferences over properties of arguments and change as the result of moving to different motivational states. We also provide a dialogical proof theory that establishes whether there exists some motivational state in which an argument is accepted. / Abstract argumentation frameworks are a widely used formalism in the field of artificial intelligence. They are used to represent conflicting information by means of a set of arguments and an attack relation. The main problem studied in the literature is their evaluation, i.e., the determination of the justified points of view on the status (accepted or not) of the arguments. The research in this thesis is motivated by the idea that this is not a static process, and that there are many real life examples in which external information plays a role. We address this issue from three points of view.First, we look at intervention and observation in argumentation. These are notions usually studied in the context of causal networks, which are structures used to encode causal connections between events. In these models, an intervention represents the active causation of an event in the interest of predicting the effects, while the passive observation of an event allows one to infer both the most likely causal explanation as well as the effects. In argumentation, intervention captures a hypothetical mode of arguing, where we hypothetically fix the status of an argument in the interest of determining the effects.An observation, on the other hand, captures a revision process: changing the status of an argument requires us to retrace our steps in the line of reasoning that led to the initial status and to accept the most likely hypothesis that explains the new status. We propose models for these two types of reasoning and analyze them using a postulate-based approach. Second, we develop a model of abduction in argumentation, where changes to an argumentation framework act as hypotheses to explain an observation. We present dialogical proof theories for the main decision problems (i.e., finding hypotheses that explain an observation) and show that this model can be instantiated on the basis of abductive logic programs.Third, we look at change in preference-based argumentation. Preferences have been introduced in argumentation to encode, for example, relative strength of arguments.An underexposed aspect in these models is change of preferences. We present a dynamic model of preferences in argumentation, based on what we call property-based argumentation frameworks. It is based on Dietrich and List's model of property-based preference and provides an account of how and why preferences in argumentation may change. The idea is that preferences over arguments are derived from preferences over properties of arguments and change as the result of moving to different motivational states. We also provide a dialogical proof theory that establishes whether there exists some motivational state in which an argument is accepted.
109

Estimation du bilan masse de surface du Glacier San Rafael et du Champ du Glace Nord de Patagonie par diverses approches / San Rafael Glacier and Northern Patagonia Icefield surface mass balance estimation from different approaches

Collao Barrios, Gabriela 23 November 2018 (has links)
Le champ de glace nord de Patagonie (NPI) a connu des pertes de glace accélérées depuis le Petit Âge de Glace (PAG). Cette thèse évalue les conditions climatiques moyennes régnant en Patagonie, ainsi que les bilans de masse de surface et les flux de glace engendrés par la dynamique de la glace du NPI. En raison du manque de données disponibles, l’approche est principalement basée sur des modélisations physiques à la fois des conditions atmosphériques et de la dynamique de l’écoulement des glaciers.Dans un premier temps, la dynamique du glacier San Rafael (SRG) est modélisée à l’aide du modèle full-Stokes Elmer/Ice. Le modèle d’écoulement est initialisé et contraint à l’aide des données de vitesse de surface et d’altitude du lit rocheux. Le modèle est forcé en considérant diverses paramétrisations et scénarios d’évolution du bilan de masse de surface (BMS) avec l’altitude. Les modélisations visent à retrouver un accord entre bilan de masse total, BMS et dynamique de la glace. Les simulations montrent que les études précédentes ont systématiquement surévalué l’accumulation sur le plateau et à haute altitude. Le déséquilibre du glacier est principalement contrôlé par un flux de glace élevé (-0.83 +- 0.08 Gt/a) en comparaison du BMS légèrement positif (0.08 +- 0.06 Gt a-1). Nos modélisations permettent d’évaluer que les pertes de glace irréversibles pour le glacier (ou committed mass balance) seront en moyenne de 0.34 +- 0.03 Gt/a pour le prochain siècle. Cette valeur est la perte minimale attendue pour ce glacier en réponse au changement climatique futur.Dans un second temps, nous modélisons le BMS de SRG et de NPI à l’aide d’un modèle de circulation atmosphérique régionale, le modèle MAR. Le modèle est forcé par les reanalyses climatiques ERA-Interim et adapté de façon à reproduire l’accumulation mesurée sur le plateau. Une attention particulière est aussi portée aux valeurs d’ablation et d’albédo. Les températures et précipitations sont validées à l’aide de données provenant des vallées alentour. Entre 1980 et 2014, les valeurs de BMS intégrées à l’échelle du SRG et de NPI était de 0.86 Gt/a et -1.84 Gt/a, respectivement, associées à une forte variabilité interannuelle (de 1.4 Gt/a et 6.1 Gt/a respectivement). Cette variabilité dépend directement de celle des températures et des précipitations neigeuses en Patagonie. En raison de l’hypsometrie du SRG, de faibles variations de BMS autour de la ligne d’équilibre ont un impact très fort sur la valeur intégrée de BMS à l’échelle du glacier. Néanmoins, l’obtention de données in-situ d’accumulation est encore nécessaire pour réduire l’incertitude des valeurs de BMS. Ici, les BMS intégrés à l’échelle des trois plus gros glaciers à terminaison terrestre de NPI ont été validés à partir de bilans géodésiques. Ainsi, combinée aux pertes par vêlage, la valeur négative de BMS proposée pour NPI aurait permis la perte de masse du champ de glace depuis les années 80.Enfin, l’étude du bilan d’énergie de surface révèle que les variations d’albédo contrôlent celles du BMS, car il contrôle le rayonnement de courtes longueurs d’ondes et la fonte du glacier. Les variations d’albédo expliquent indirectement le lien existant entre température et fonte celui-ci étant conditionné par la phase des précipitations sur le plateau. Ainsi, les changements des précipitations neigeuses expliquent les variations de BMS, et nous supposons que les conditions climatiques ayant régné au PAG étaient plus humides et ont permis au glacier de se développer jusqu’à des altitudes trop faibles pour que les glaciers soient stables aujourd’hui.Cette thèse a ainsi permis d’évaluer les conditions atmosphériques régionales et de mieux contraindre la dynamique des glaciers et les valeurs de BMS du champ de glace NPI. Néanmoins, de nouvelles estimations sont à effectuer en zone d’accumulations de NPI pour contraindre encore le BMS et conclure définitivement sur les causes du recul de NPI depuis le PAG. / The Northern Patagonia Icefield (NPI) have been losing mass at an accelerated rate during the last decades compared to the mean losses recorded since the Little Ice Age. Here we look for accurate estimates of the mean climate variables, surface mass balance (SMB) and ice dynamics of NPI. Due to the lack of available data in the area, the approach is based on physical models for both the atmosphere and the ice dynamics, in order to properly attribute the components of the glacial mass budget (mass balance, surface mass balance and ice discharge).First, the San Rafael Glacier (SRG) ice dynamics are modelled using the full-Stokes model Elmer/Ice. The flow model is initialised and constrained using the most up-to-date observations of surface velocities and bedrock elevation. The model is forced with several parametrisations of thealtitudinal SMB distribution to obtain consistency between the changes in SMB and ice dynamics. We show that previous studies have proposed excessive accumulation values on the icefield plateau, and that SRG imbalance is largely controlled by a large ice discharge (-0.83 +- 0.08 Gt/a compared to a slightly positive glacier-wide SMB (0.08 +- 0.06 Gt/a). This allows for an estimation of a committed mass loss of 0.34 +- 0.03 Gt/a for the next century. This value likely constitutes a minimum wastage in the future global climate change situation.Second, we model the SMB of the SRG and the NPI using the regional circulation model MAR (Modèle Atmosphérique Regional). This model is forced by the ERA-Interim reanalysis outputs and adapted to accurately reproduce accumulation on the icefield. In addition to accumulation, attention is paid to estimating accurate ablation and albedo values on the plateau. The modelled temperature and precipitation are also validated using data from weather stations in the valleys around the icefield. For the period 1980-2014, the modelled mean SMB of the SRG and the NPI are 0.86 Gt/a and -1.84 Gt/a, respectively, with a large inter-annual variability of 1.4 Gt/a and 6.1 Gt/a, which is induced by temperature and snowfall variability. Due to the hypsometry of the SRG, small changes in the punctual SMB around the ELA have impacts over large areas and have significant consequences on the final glacier-wide SMB. However, in-situ data above the ELA are lacking, leading to important uncertainty in accumulation. Nevertheless, our SMB estimates for the 3 largest non-calving glaciers of the icefield are similar to mass balance values given by geodetic techniques. This validation shows that our estimate of SMB, which is the first negative proposed at the scale of NPI, is accurate. Combined with the ice discharge proposed in the first section of this study, this SMB could have contributed to the observed mass loss from the 1980s.Finally, the study of the surface energy balance given by MAR reveals the key role of the albedo and the shortwave radiation budget in the variations of the SMB. Albedo variations indirectly justify the existing correlations between temperature and melting as air temperature controls the phase of precipitation on the plateau. Thus, changes in solid precipitation explain most of the SMB variations. Consequently, past conditions with higher solid precipitation may have explained larger glaciers in Patagonia. The current instability is possibly a result from the location of glacier fronts which are well below the necessary altitude for equilibrium in the current icefield topography.This study allows us to conclude that well constrained atmospheric and ice dynamic modelling leads to SMB values which are in better agreement with the mass balance of the icefield. Nevertheless, new field data is necessary to better constrain SMB estimates of the SRG and the NPI in order to improve our understanding of past and future climate change impacts on these glaciers.
110

A modular approach to object initialization for Pharo / Une approche modulaire de l'initialisation d'objets pour Pharo

Naddeo, Marco 24 November 2017 (has links)
La modularité du code favorise la réutilisation. Les concepteurs de langages de programmation se sont principalement consacrés à la modularité des méthodes. À l’inverse, la modularité du code d’initialisation a souvent été négligé. Le code d’initialisation de beaucoup de langages orientés objets à classe est laborieux dans plusieurs cas: par exemple, quand quelques champs (i.e., variables d’instances) ont plusieurs options d’initialisation (e.g., un rectangle peut être initialisé avec des coordonnées Cartésiennes ou polaires), ont une initialisation optionnelle (e.g., un rectangle peut être positionné à une coordonnée fournie ou à l’origine (0,0) si aucune coordonnée n’est fournie) ou héritent d’une initialisation de la super classe (e.g., un rectangle coloré doit redéfinir tous les constructeurs de sa super classe pour ajouter la notion de couleur). Dans de telles circonstances, le nombre de constructeurs augmente exponentiellement avec les options d’initialisation car l’approche d’initialisation manque de modularité.Nous proposons une approche d’initialisation novatrice s’inspirant du langage prototypique Magda. Cette approche est basée sur des modules d’initialisation composables plus petits que les constructeurs classiques. De plus, le nombre de ces modules augmente linéairement avec les options d’initialisation. Nous appliquons cette approche à Pharo, un langage orienté objets dynamiquement typé inspiré de Smalltalk. L’adaptation à Pharo de l’approche d’initialisation de Magda implique la résolution de nouveaux défis issus du passage d’un contexte statiquement typé à un contexte dynamique. / Code modularity is important for code reuse. Language designers mainly focused on method code modularity. On the contrary, initialization code modularity has usually been neglected. The initialization code of many class-based object-oriented languages becomes cumbersome in different situations: for example, when some fields have multiple initialization options (e.g., a rectangle can be positioned by providing Cartesian or polar coordinates), have optional initialization (e.g., a rectangle can be positioned in the origin (0,0) if no other coordinates are provided), or have superclass initialization (e.g., a colored rectangle must redefine all the constructors of its rectangle superclass to add the notion of color). In such cases, the number of constructors increases exponentially in the size of the initialization options, since the initialization approach lacks modularity.We propose a novel approach to field initialization, inspired by the prototypical language Magda. This approach is based on easy-to-compose initialization modules, which result to be smaller compared to classical constructors. Moreover, their number grows linearly in the size of the initialization options. We apply such approach to Pharo, a dynamically-typed object-oriented programming language inspired by Smalltalk. The adaptation to Pharo of Magda’s initialization approach implies solving some new challenges related to moving from a statically typed context to a dynamically typed one.

Page generated in 0.0671 seconds