Cette thèse étudie d'un point de vue historique la genèse de la cohomologie des groupes, théorie qui vit le jour dans les années 1940. Il s'agit d'une théorie à la fois algébrique, au sens où elle donne des résultats sur les groupes, et topologique par les méthodes qu'elle met en œuvre . Le présent travail analyse les mécanismes par lesquels la topologie et l'algèbre se sont interpénétrées pour donner naissance à cette théorie abstraite et élaborée, en mettant notamment en perspective ce phénomène par rapport à ceux, plus globaux, de la naissance et de l'expansion de l'algèbre moderne. Y sont notamment discutées l'influence d'Emmy Noether dans l'algébrisation de la topologie et les motivations respectives de Heinz Hopf et d'Eilenberg & Mac Lane les ayant menés à l'élaboration de l'homologie des groupes. L'analyse minutieuse de plusieurs articles phares - dus aux auteurs cités précédemment mais aussi à Schur, Vietoris ou encore Eckmann - permet de mettre en lumière le fait que la volonté de répondre à des problèmes mathématiques précis fut peut-être plus motrice, dans l'émergence de cette théorie architectonique qu'est la cohomologie des groupes, que de grandes idées directrices conçues au sein de représentations structurales des mathématiques.

Diese Dissertation ist dem Studium temperierter Distributionen mittels mikrolokaler Methoden gewidmet. Die fundamentale Größe der mikrolokalen Analysis, die Wellenfrontmenge, wird durch zwei analoge Konzepte ersetzt, die den pseudo-differentiellen SG- und Shubin-Kalkülen zugeordnet sind. Die Eigenschaften dieser globalen Wellenfrontmengen werden studiert und ferner werden unterschiedliche Möglichkeiten, diese globalen Singularitäten zu charakterisieren, untersucht, insbesondere mittels der FBI-Transformation. Zahlreiche Konstruktionen, die den klassischen Wellenfrontmengenbegriff beinhalten, werden in den globalen Kontext übersetzt, insbesondere Rechenoperationen mit temperierten Distributionen wie etwa (getwistete) Produkte, Pull-backs und Paarungen, für die mikrolokale Existenzkriterien angegeben werden. Als eine Anwendung wird eine Klasse von temperierten Oszillatorintegralen eingeführt, welche durch inhomogene Phasenfunktionen und Amplituden aus SG-Symbolklassen parametrisiert werden. Die SG-Wellenfrontmengen dieser Distributionen werden untersucht und es stellt sich heraus, dass diese durch eine Verallgemeinerung der Menge stationärer Punkte der Phasenfunktionen beschränkt werden. In diesem Kontext wird eine Verallgemeinerung des klassischen Begriffs einer konischen Lagrange-Untermannifaltigkeit des T*R^d vorgenommen und diese Objekte werden auf ihre Parametrisierungseigenschaften untersucht. Es stellt sich heraus, dass jedes solche Objekt lokal als die Menge der stationären Punkte einer SG-Phasenfunktion realisiert werden kann. Als weitere Anwendung werden einige Konstruktionen der axiomatischen Quantenfeldtheorie, die Distributionen beinhalten, im temperierten Kontext realisiert.

L'objet de la thèse est la classification à conjugaison près des sous-groupes finis du groupe de stabilisateur (classique) de Morava S_n et du groupe de stabilisateur étendu G_n(u) associé à une loi de groupe formel F de hauteur n définie sur le corps F_p à p éléments. Une classification complète dans S_n est établie pour tout entier positif n et premier p. De plus, on montre que la classification dans le groupe étendu dépend aussi de F et son unité associée u dans l'anneau des entiers p-adiques. On établit un cadre théorique pour la classification dans G_n(u), on donne des conditions nécessaires et suffisantes sur n, p et u pour l'existence dans G_n(u) d'extensions de sous-groupes finis maximaux de S_n par le groupe de Galois de F_{p^n} sur F_p, et lorsque de telles extensions existent on dénombre leurs classes de conjugaisons. On illustre nos méthodes en fournissant une classification complète et explicite dans le cas n=2.

Les géosynthétiques (GSY) sont des matériaux polymériques utilisés dans la construction d’ouvrages géotechniques et environnementaux, en remplacement et/ou en complément de matériaux naturels. Dans les installations de stockage de déchets non dangereux (ISDND), les GSY sont utilisés comme dispositif d’étanchéité et de drainage (barrière de sécurité) afin de prévenir les infiltrations de lixiviats vers la nappe phréatique.De nos jours, la rareté des sites adaptés à la construction de nouvelles ISDND conduit de nombreux opérateurs à opter pour la création de casiers de stockage en appui sur d’anciens casiers. Dans ces ouvrages en rehausse (extensions d’ISDND), une barrière de sécurité est généralement disposée entre les anciens casiers et les nouveaux casiers. Toutefois, dans cette configuration spécifique, les risques d’instabilité au glissement translationnel de l’ouvrage sont favorisés par la présence de plusieurs interfaces GSY représentant autant de surfaces de glissement préférentielles. Par ailleurs, ces risques sont accentués par le caractère compressible des déchets qui favorise l’apparition de tassements différentiels et/ou d’effondrements localisés (formation de cavités) sous la barrière de sécurité, susceptibles d’engendrer une perte d’intégrité (tensions / déformations excessives) de cette dernière. Dès lors, la compréhension des mécanismes associés à ces phénomènes de glissement translationnel et de déformation des GSY apparait capitale pour la réussite d’un tel projet.Dans ce contexte, les travaux objet du présent mémoire de thèse se sont attachés à mieux appréhender le comportement mécanique des systèmes GSY et de leurs interactions. Cette analyse a été effectuée sous l’angle de la stabilité au glissement translationnel (à l’échelle de l’ouvrage : grande échelle) et de l’intégrité structurelle des GSY au sein des barrières de sécurité sur cavité (petite échelle).Pour y parvenir, une analyse multi-approches associant étude analytique, modélisation numérique et étude expérimentale a été mise en oeuvre.Tout d’abord, le volet analytique a porté sur une analyse comparative de dix méthodes utilisées pour l’évaluation de la stabilité au glissement translationnel et de huit méthodes de dimensionnement des GSY de renforcement sur cavité. Ces études comparatives ont permis non seulement d’évaluer les écarts entre ces méthodes, mais aussi d’identifier celles qui se prêtent le mieux à une application en extension d’ISDND.Ensuite, une Méthode Rationnelle de Modélisation des systèmes Géosynthétiques (MeRaMoG) a été développée afin de prendre en compte fidèlement le comportement mécanique des GSY et de leurs interfaces (notamment la non-linéarité du comportement en traction des GSY). Grâce à la MeRaMoG qui a été validée expérimentalement, les mécanismes intervenant et contrôlant les phénomènes de glissement et de déformation des barrières de sécurité sur talus et sur cavité ont été investigués.Enfin, un Dispositif Expérimental grande-échelle pour l’étude de la Performance des GSY de renforcement sur Cavité (DEPGeC) a été développé. Le DEPGeC est un prototype permettant de simuler le comportement mécanique des GSY sur une cavité rectangulaire et sous une contrainte de confinement pouvant atteindre 100 kPa. L’utilisation du DEPGeC a permis d’évaluer l’influence de la contrainte de confinement, de la raideur du GSY de renforcement et d’un ancrage rigide sur les déformations des GSY. / Geosynthetics (GSYs) are polymeric materials that are used in engineering and environmental constructions to replace or in addition to natural materials. In landfills, GSYs are used as a lining system to prevent leachate infiltration into groundwater.Nowadays, the scarcity of suitable sites to establish new landfills leads more and more landfill owners to build new landfill cells over older ones. In such type of construction commonly called piggy-back landfill, a new GSY lining system is often implemented between old and new cells. However, in this specific configuration, the risk of translational instability of the construction is increased since the lining system involved several interfaces with low shear strength. Such instability is related to the failure of the various interfaces within the GSY lining system and hence to the sliding of GSY layers on each other. Moreover, the potential occurrence of differential settlements and / or localized collapses (cavity) which are related to the compressible nature of the waste within the old cell could tear (excessive tensile forces / strains) the GSY lining system under the overload of the new waste. Therefore, understanding the mechanisms controlling translational slip phenomena and deformation of GSYs is essential to ensure a proper design of such a project.In this context, this PhD thesis focused on better understanding of the mechanical behaviour of GSY systems and their interactions. The study was conducted using firstly a global analysis (large scale, all over the piggy-back landfill) of the lining system in terms of translational slips between the various GSYs. Secondly, this study investigated the integrity of the GSY lining system subjected to a cavity (small scale analysis).To achieve this goal, a multi-approaches investigation involving analytical study, numerical modelling and experimental study was performed.First, the analytical part focused on a comparative analysis based on ten methods used to assess the factor of safety of translational slip and on eight methods used for the design of GSY reinforcement over cavities. These comparative studies have not only assessed the differences between these methods, but also identified those best suited to be applied in the context of piggy-back landfills.Then, a rigorous method (MeRaMoG) that addressed the key aspects of the mechanical behaviour of GSYs and interfaces (e.g., the nonlinear axial stiffness of GSYs), was developed for the numerical modelling of multi-layered geosynthetic systems. Through MeRaMoG which was experimentally validated, the mechanisms controlling the translational slip and deformation of the geosynthetic lining system on side slopes and cavity were investigated.Finally, a new large-scale testing device (DEPGeC) was developed to assess the efficiency of a GSY reinforcement to bridge a cavity. The DEPGeC is a prototype that was used to simulate the mechanical behaviour of multi-layered GSY systems over a rectangular cavity and under a confining load of up to 100 kPa. Using the DEPGeC, the influence of the applied vertical load, the stiffness of the GSY reinforcement and a perfect anchorage on the deformations of GSY, was investigated.

Submitted by isabela.moljf@hotmail.com (isabela.moljf@hotmail.com) on 2017-08-09T11:18:45Z No. of bitstreams: 1 sebastiaomaurofilho.pdf: 637836 bytes, checksum: 0629945b7a9ce79385454dd5fb18c92f (MD5) / Approved for entry into archive by Adriana Oliveira (adriana.oliveira@ufjf.edu.br) on 2017-08-09T13:36:52Z (GMT) No. of bitstreams: 1 sebastiaomaurofilho.pdf: 637836 bytes, checksum: 0629945b7a9ce79385454dd5fb18c92f (MD5) / Made available in DSpace on 2017-08-09T13:36:52Z (GMT). No. of bitstreams: 1 sebastiaomaurofilho.pdf: 637836 bytes, checksum: 0629945b7a9ce79385454dd5fb18c92f (MD5) Previous issue date: 2017-01-26 / CAPES - Coordenação de Aperfeiçoamento de Pessoal de Nível Superior / Nesta tese aplicamos o método perturbativo, em nível clássico, à Gravidade de Quarta Ordem e à Relatividade Geral estendida pelo Grupo de Renormalização (RGGR). Para explorar as perturbações métricas, na teoria da Gravidade de Quarta Ordem, nós usamos a formulação de campos auxiliares para uma métrica de fundo curva e arbitrária. O caso em que a métrica de fundo é Ricci-plano foi elaborada em detalhes. Notamos que o uso de campos auxiliares tornará a análise perturbativa mais simples e os resultados mais claros. Como uma aplicação, nós reconsideramos os resultados para a estabilidade do buraco negro de Schwarzschild e discutimos alguns avanços para o buraco negro de Kerr na Gravidade de Quarta Ordem. Nós também usamos o método perturbativo para explorar os limites newtoniano e pós-newtoniano de RGGR. No Sistema Solar, RGGR depende de um único parâmetro adimensional /9, e ele é tal que para /9 = 0 a Relatividade Geral é obtida. Para estudar o limite newtoniano fizemos uso da técnica de transformação conforme e da dinâmica do vetor de Laplace-Runge-Lenz (LRL). Isso nos permitiu estimar o limite superior de P dentro do Sistema Solar em dois casos: um quando é levado em conta o efeito de potencial externo e outro quando ele não é considerado. Anteriormente, foi encontrado que este parâmetro satisfaz o seguinte limite /9 < 10-21, quando o efeito de potencial externo é ignorado. Entretanto, como nós mostramos esse limite cresce cinco ordens de magnitude P < 10-16 quando tal efeito é considerado. Além disso, mostramos que para um certo limite, RGGR pode ser facilmente testada usando o formalismo parametrizado pós-newtoniano (PPN). / In this thesis we applied the perturbative method, on a classical level, to the fourth-order gravity and the Renormalization Group extended General Relativity (RGGR). We will consider auxiliary fields formulation for the general fourth-order gravity on an arbitrary curved back-ground to analyze the metric perturbations in this theory. The case of a Ricci-flat background was elaborated in detail. We noticed that the use of auxiliary fields helps to make the pertur-bative analysis easier and the results more clear. As an application we reconsider the stability problem of the Schwarzschild and Kerr black holes in the fourth-order gravity. We also used the perturbative method to develop the Newtonian and post-Newtonian limits of RGGR. In the Solar System, RGGR depends on a single dimensionless parameter 0, and this parameter is such that for 0 = 0 one fully recovers General Relativity in the Solar System. In order to study the Newtonian limit we used the conformal transformation technique and the dynamics of the Laplace-Runge-Lenz vector (LRL). In this way, we could estimate the upper bound for 0 within the Solar System in two case: the case where the external potential effect is considered and the another when it is not considered. Previously this parameter was constrained to be 0 < 10-21, without considering the external potential effect. However, as we showed, when such an effect is considered this bound increases by five orders of magnitude, O < 10-16. Moreover, we showed that under a certain approximation RGGR can be easily tested using the parametrized post-Newtonian (PPN) formalism.

Customer Relationship Management blir ett allt vanligare verktyg för att hantera kundvård för företag, det används främst för att hantera kundrelationer och lagra kundinformation. Customer Relationship Management, eller CRM, bygger på en affärsfilosofi som bör genomsyra hela organisationen. Denna filosofi blir en strategi för att hjälpa företag hantera sina nuvarande och kommande kunder. CRM uppkom först på 90-talet då förståelsen för kundvård startade i kombination med automatisering av försäljningsprocesser och analysering av kunddata. Idag är CRM också ett informationssystem som stödjer organisationens kundvårdsstrategi och som möjliggör dagens arbete med CRM. Det blir en knutpunkt i många organisationer och får en central roll för det dagliga arbetet. Men, precis som med alla informationssystem så kan även CRM bli felande. Studien kommer därför att presenter vilka delar av införandeprocessen som är kritiska och även presentera vilka misstag som bör undvikas vid införandet och det kontinuerliga arbetet med CRM. Studien är av kvalitativ karaktär och bygger på intervjuer från företag som arbetar med CRM, studien är fallstudie inspirerad. / Customer Relationship Management is an increasingly common tool to manage customer care for companies, it is mainly used to manage customer relationships and store customer information. Customer Relationship Management or CRM is based on a business philosophy that should permeate the entire organization. This philosophy is a strategy to help companies manage their current and future customers. CRM came in the 90s, when the understanding of the customer- care started in combination with the automation of sales processes and analyzing customer data. Today, CRM is also an information system that supports the organization's customer care strategy which enables them to work with CRM. It becomes a hub for many organizations and has a central role in the daily work. But, just like any information system it may also fail. The study will therefore present which parts of the implementation that is critical. The study will also present which mistakes to avoid during the implementation and the continuous work with CRM. This study is qualitative in nature and based on interviews of companies that work with CRM, the study is case study inspired.

La gestion énergétique (EMS) pour véhicules hybrides a pour objectif de déterminer la répartition de puissance entre les différentes sources d'énergie de manière à minimiser la consommation de carburant et/ou les émissions polluantes. L'objectif de cette thèse est de développer un EMS en prenant en compte des températures internes (la température du moteur et/ou la température du système de post-traitement). Dans une première partie et en utilisant une connaissance préalable du cycle de conduite, le calcul d'un EMS est formulé comme un problème de commande optimale. Ensuite, le principe du minimum de Pontryagin (PMP) est utilisé pour résoudre ce problème d'optimisation.~En se basant sur les résultats numériques obtenus, un compromis entre les performances de la stratégie de commande et de la complexité du modèle utilisé pour la calculer est établi. Les différents problèmes étudiés dans cette thèse sont des exemples des simplifications successives de modèle qui peuvent être regroupées dans le concept des perturbations régulières en contrôle optimal sous contrainte de commande discuté ici. Dans une deuxième partie, la formulation de l'ECMS a été généralisée pour inclure les dynamiques thermiques. Ces extensions définissent des stratégies sous-optimales que nous avons testées numériquement et expérimentalement. / Energy management system (EMS) for hybrid vehicles consists on determining the power split between the different energy sources in order to minimize the overall fuel consumption and/or pollutant emissions of the vehicle. The objective of this thesis is to develop an EMS taking into account the internal temperatures (engine temperature and/or catalyst temperature). In a first part and using a prior knowledge of vehicle driving cycle, the EMS design is formulated as an optimal control problem. Then, the PMP is used to solve this optimization problem. Based on the obtained numerical results, some trade-off between performance of the control strategy and complexity of the model used to calculate this strategy is established. The various problems studied in this thesis are examples of successive model simplifications which can be recast in the concept of regular perturbations in optimal control under input constraints discussed here. In a second part, the feedback law of ECMS is generalized to include thermal dynamics. This defines sub-optimal feedback strategies which we have tested numerically and experimentally.

L’objet de cette thèse est l’étude de la propagation de la 2-birationalité pour les 2-extensions de corps de nombres. Le problème étudié se présente comme suit : étant donnés un corps 2-rationnel totalement réel K, une extension quadratique totalement imaginaire L de K, et une 2-extension totalement réelle de K de K, à quelles conditions la 2-birationalité du compositum L = KL se lit-elle sur L ? La thèse se structure en trois parties : l’étude du cas absolument quadratique d’abord, le cas relativement quadratique ensuite ; le cas général enfin. Le résultat principal de la thèse résout complètement le problème posé en toute généralité. En fin de thèse, diverses illustrations numériques sont proposées à l’aide du PARI, ainsi qu’une étude des tours d’extensions 2-birationnelles. / This thesis deals with the propagation of 2-birationality for 2-extensions of numbers fields. More precisely, le t K be a 2-rational totally real number field, L a CM quadratic extension of K, and let K be a totally real 2-extension of K. Under which conditions can one read the 2-birationaltiy of the compositum L = LK from L ? This work is divided into three parts : we first study the absolute quadratic case, then the relatively quadratic case, then finally the general case. The thesis’s main result solves the whole problem. We also illustrate the result with various numeric examples, obtained with PARI and a focus at the end on 2-birational extensions’ towers.

Syfte: Nya svenska energikrav definieras som nära-nollbyggnader för både nybyggnation och renovering, där man strävar efter en årlig balans mellan ingående och utgående energi för byggnaden. Påbyggnad genom prefabricerade modulsystem med bärande väggar av korslimmat massivträ har genom internationella studier visat sig både tids- och kostnadseffektiv vid renovering. Målet med rapporten är att undersöka möjligheten att tillämpa detta påbyggnadssystem för svenska renoveringsprojekt av efterkrigstidens flerbostadshus som både är kostnadseffektivt och som klarar nya svenska energikrav. Metod: Rapporten syftar till att besvara frågeställningarna genom en fallstudie. Inledningsvis, under en litteraturstudie, beskrivs incitament till påbyggnation vid renovering. Utefter en dokumentanalys av referensbyggnaden, utförs sedan energi- och kostnadsjämförelser mellan påbyggnation av korslimmade massivträväggar och platsbyggd träregelkonstruktion. Resultat: Svenska efterkrigstidens bostadsbestånd visar sig, via renovering och påbyggnation, ha hög potential för att positiv påverka den i Sverige genomsnittliga specifika energianvändningen samtidigt som det erbjuder snabb och kostnadseffektiv urban bostadsförtätning. Den värmeisolerande förmågan för korslimmat massivträ är, för en påbyggnad, likvärdigt det av platsbyggd träkonstruktion. Beräkningarna visar däremot hur byggnation från efterkrigstiden har svårt att uppnå krav för nära-nollenergihus. Kostnad för montering av påbyggnadsstomme och innerväggar m.m. visar på ca 2,7 % besparing för förslag av korslimmat massivträ. Konsekvenser: Rapporten lyfter fram möjligheterna kring renovering av svenska flerbostadshus från efterkrigstiden och fördelarna att göra detta i kombination med påbyggnation. Det finns goda förutsättningar för implementering av korslimmade massivträväggar även i svenska påbyggnadsprojekt och detta till något lägre pris och arbetstid gentemot platsbyggd konstruktion. Trots att detta vilar mycket på valet av prefabricering, har undersökningen lyckats exponera ett befogat alternativ för påbyggnadsprojekten i framtiden. Eventuella svårigheter i att uppnå nya energikrav vid renovering av äldre bostadsbestånd har även lyfts fram i rapporten. Begränsningar: Kontroll av bärförmåga för referensbyggnaden via konstruktionsmässiga beräkningar genomförs inte i denna rapport. Beräkning av livscykelkostnad ingår inte i detta arbete. Rapporten fokuserar istället på ekonomisk effektivitet i produktionsskedet. Rapporten fokuserar sin undersökning kring åtgärder för energianvändning och berör inte eventuella åtgärder för t.ex. högre tillgänglighet. / Purpose: New Swedish energy requirements are defined as Near Zero Energy Buildings for both new construction and renovation, with the purpose of balancing energy entering and exiting the building. Vertical attic extensions through prefabricated module system containing loadbearing walls of cross laminated timber has, by international studies, shown the potential for time and cost efficiency during renovation projects. The purpose of this inquiry is to examine the possibility to apply this extension system for Swedish renovation projects on post-war residential buildings that are both cost effective and that satisfies new Swedish energy regulations. Method: The report aims to answer the questions through a case study. Initially a literature study describes the incentives of vertical attic extensions and renovation. Then through a document analysis of a reference building, energy and cost comparisons are carried out between an attic extension of cross laminated timber and wood construction assembled on site. Findings: The Swedish post-war housing stock shows high potential through renovation and attic extension, to positively influence the Swedish average specific energy use while simultaneously providing fast and cost effective urban densification. The heat insulating performance of cross laminated timber is, for an attic extension, equivalent that of an on-site assembled wood construction. However, calculations shows difficulties for post-war housing stock to achieve the requirements for Near Zero Energy Buildings. The cost for assembling extending structure and interior walls etc. reveals approximately 2,7 % savings with cross laminated timber. Implications: The report brings forth the possibilities regarding renovation of the Swedish post-war stock of multifamily housing and the advantages of doing so in combination with vertical attic extensions. There are good conditions for implementation of cross laminated timber walls even in Swedish extension projects, while having the potential to lower costs slightly and saving time in relation to on site construction. Even though the results depend a lot on the choice of prefabrication, the study has exposed a valid alternative for future attic extension projects. The report also reveals potential difficulties in achieving new energy requirements for renovation of older housing stock. Limitations: Verification of load capacity through constructional calculations are not performed in this inquiry. Calculating the life-cycle cost is not a part of this project, which instead focuses on economic efficiency during production. The report focuses its research at energy-saving measures and doesn’t concern measures regarding for example higher accessibility.

This diploma thesis is focused on introduction of advanced possibilities of working with testing Selenium WebDriver framework. Basics of software testing and Selenium framework are described in first part of the text. Second chapter contains overview of available tools and applications which enhance Selenium WebDriver. These include frameworks using WebDriver API, software containers, automatization tools, continuous integration tools and services which enable to run tests remotely. Last chapter contains case study which describes implementation of automated testing in BellaDati company. The attachment contains user guide for Geb framework which was used in the case study.