Denna rapport återger arbetsprocessen kring att utvärdera datalagringsstruktur och förbättra prestanda för generering av parameterfiler för kortterminaler. Arbetet utfördes på plats hos Esplanad AB, ett företag som bland annat arbetar med säkerhetslösningar och distribution av inställningar för betalstationer. Uppgiften bestod av att utvärdera möjligheter till att förbättra databasen som sparar alla inställningarna för betalsystemen, samt att förbättra kodstruktur och prestanda för programmet som genererar filerna. Rapporten beskriver testning av prestanda, både på Esplanads gamla program för att generera parameterfiler och det nya som konstruerades. En lösning presenteras som inkluderar förbättring av filgenereringens prestanda och en ny struktur på databasen för ökad skalbarhet. Tester visar att det nya systemet klarar av att skapa parameterfiler på TLV-format ungefär 16 gånger snabbare. Den föreslagna lösningen implementerar parallella processer och replikering av databasen. / This thesis describes the process of analyzing and evaluating the structure of data storage and improving the performance for generating parameter files destined for card terminals. The work was done in house at Esplanad AB, a company dealing with security solutions and distribution of settings for payment stations. The first task was to evaluate the possibilities for improving the database storing the settings for each card reader. The second task was to improve the structure of the code and also improve the file generating systems performance. The thesis describes testing performance, both for Esplanad’s old system for generating parameter files, and the new one constructed. The solution presented includes improved performance of the file generating process and a new structure for the database that increases scalability. Tests show that the new system is capable of generating parameter files with TLV-format, about 16 times faster. The proposed solution implements parallel processes and database replication.

Application Specific Integrated Circuits (ASIC) and Field Programmable Gate Arrays (FPGA) verification is quite a time consuming phase in design flow cycle and it can be done using methodologies such as Universal Verification Methodology (UVM) and formal verification.The UVM methodology is simulation based verification where in the verifier will have to trigger the Design Under Test (DUT) manually by writing sequences which target different features of the DUT and the verification environment can also have verification directives such as assertions to spot design bugs. Formal verification on the other hand is purely assertion based verification where we describe the expected DUT behaviour using System Verilog Assertion (SVA) and we check for design sanity by exercising the assertions by letting the formal tool drive the inputs to the design in a constrained way. This completely eliminates the need of having to define sequences to drive the inputs. This thesis will bring up formal verification using jasper gold to light and will help verifiers to decide on how much of formal verification methodology can be used in verification of an IP with respect to the complexity of the design and the design behaviour to be verified. The results from this thesis proves how efficient formal verification was with respect to simulation based verification, to stress the design to test for corner case behaviour. The reason why formal verification cannot be extended for Top-Level Verification (TLV) and end to end functional verification is because of design complexity and this was also explored with the help of a complex ethernet design. Finally, a guideline as to when to use simulation based verification and formal verification was formulated. / ASIC och FPGA verifiering är en största del och är en tidskrävande fas av desingflödescyckeln. Det kan man göra den genom UVM eller Formell verifiering metoder.UVM metoder är simulering baserad verifiering där verifieraren måste utlösa DUT genom att skriva sekvenser som rikta olika funktioner av DUT och verifiering miljöer kan också ha verifiering direktiv som assertions som kan upptäcka designbugs.Formal verifiering är en assertion baserad verifiering metoder där i man kan beskriva förväntad DUT uppträdandet genom system verilog assertions (SVA) och verifiera designen genom använder assertions genom att låta det formal driva ingångarna till designen på ett begränsat sätt.Detta eliminerar helt behovet av att behöva definiera sekvenser för att driva ingångarna. Denna examensarbetena kommer att beskriva om formell verifiering med jasper gold och kommer att hjälpa verifierar bestämma hur mycket av den formal verifiering metoden kan man användas för att verifiera en ASIC IP med avseende på komplexitet och design uppträdandet att vara verifierat. Resultaten från denna examensarbetena kommer att bevisa hur effektiv formell metoderna var med avseende på simulering metoder att stressa design och verifiera den för undantags fall.Den ändleding varför formell verifiering metoder kan inte användande för TLV och från början till slut funktion verifiering är på grund av design komplexitet.Detta har analyserats med hjälp av en komplex ethernet design.En riktlinje för när kan man använda simulering metoder och formal metoder var föreslagit.

Aujourd'hui, la gestion du risque en milieu profesionnel ainsi que l'évaluation de l'exposition aux polluants, tels que les Composés Organiques Volatils (COV) présents dans l'air deviennent une nécessité tant la qualité de l'air des lieux de travail peut être à l'origine de problèmes de santé ou de maladies professionnelles reconnues. Dans le but de répondre à ces exigences de sécurité, l'Université Claude Bernard Lyon 1 a institutionnalisé et développé une Cellule Analyse Hygiène Sécurité et Environnement en lien direct avec le service SHS préexistant. Cette cellule est chargée de la mise en place d'une méthodologie de surveillance de la qualité de l'air intérieur de l'ensemble des locaux de l'université (14 sites, environ 80 laboratoires) en accord avec le code du travail et de l'environnement. Afin de pouvoir assurer l'ensemble des analyses inhérentes aux lieux de travail, le SHS a défini 45 composés comme prioritaires ajoutés à la liste du SHS et portent à 93 le nombre de COV identifiés et quantifiés. La méthode de séparation et d'identification mise en place permet d'atteindre des limites de quantification largement inférieures aux VLCT et VLEP 8 heures fixées par la législation. Des campagnes de prélèvement ont pu ainsi être organisées en collaboration avec le SHS et être lancées au sein de l'université / Over the past 10 years, indoor air quality has become a real Health and Safety concern, especialty in the workplace, which has led to the legislation proposal of concentrations guidelines for pollutants such as Volatiles Organic Compounds (VOC). To comply with the Safety requirements, The Claude Bernard University Lyon 1 has institutionalized and developed an Environment, Health and Safety Unit (HSE Unit), to provide the analyses for the Health and Safety team (SHS). This specialist unit has developed a supervision methodology to control the indoor air quality in all the buildings of the university, including all the 80 research and training laboratories. In order to carry out the assessment, the SHS team defined 45 compounds classified as priority, according to their threshold limit values (TLV-TWA or TLV-STEL) to the workers. To this list of 45 VOC another list containing 48 VOC is added. Evaluation of the trapping capacity of each sorbent, for a mix containing 93 VOC has been studied. Moreover, separation and identification methods were developed and optimized allowing to reach a quantification limit lower than professional limit value exposure. Using these methods and the results of the trapping comparisons, different applications were implemented, such as sampling campaigns in different laboratories

No description available.

Partant du constat que les compétences créatives ont été peu étudiées dans le champ de l’orientation, alors même que les conduites d’orientation dans le contexte sociétal moderne font très largement appel aux compétences individuelles d’ouverture, de flexibilité, d’originalité, d’adaptation, voire même d’innovation, la thèse présentée examine la place et le rôle de la créativité comme composante des compétences à s’orienter.Après avoir exploré différentes associations possibles entre créativité et différentes compétences à s’orienter, nous nous focalisons d’une part sur les relations entre la créativité et l’adaptabilité de carrière telles que définies et opérationnalisées par Savickas (Savickas & Porfeli, 2012), et d’autre part entre la créativité et l’adaptabilité individuelle telle que définie et opérationnalisée par Ployart et Bliese (2006). Une étude portant sur un échantillon d’étudiants de premier cycle universitaire en France (n = 500) a été conduite et les résultats obtenus indiquent des corrélations significatives et positives entre le potentiel créatif et certaines des dimensions de l’adaptabilité individuelle et de carrière et invitent à accorder une place plus importante à la créativité dans les modèles d’orientation tout au long de la vie. / Two major approaches have emerged in the discipline of career counseling to determine the key factors in career development: the relationship between creative potential and adaptability, and between creative potential and the individual characteristics of personality, motivation, and logical reasoning. This research attempts to integrate these two approaches by evaluating the impact of each of these factors on adaptability. 500 undergraduate volunteers filled out self-assessment questionnaires and performed timed graphic efficiency tests. The results were subjected to statistical analysis. The findings indicate that the individual characteristics of personality and motivation have higher correlation with adaptability than creativity and logical reasoning. Future research should involve different populations and employ non-graphic tests of creativity to confirm these results. If confirmed it would then be necessary to further explore the role of creativity in career development.

Ventilation on demand (VOD) concept has earned significant worldwide attention by several mining companies in recent years. It is a concept where airflow is provided only to areas that require ventilation. The implementation of the concept has resulted in significant savings in annual energy consumption and cost for several companies globally. The research presented in this thesis sought to present the VOD system as an alternative solution and strategy to improve the ventilation system of Konsuln mine. The system is expected to cope with a planned increase in production rate and meet requirements in the new Swedish Occupational Health & Safety (OH&S) regulations, Arbetsmiljöverkets förtfattningssamling (AFS) 2018:1, which is based on the EU directive 2017/164 where Threshold Limit Value (TLV) for gases have been significantly reduced and provide safe work environment for workers in the mine. The thesis work started with planning and execution of a PQ (Pressure – Quantity) survey to calibrate the existing ventilation model of Konsuln mine. This was to ensure that the model is reasonably accurate to give reliable simulation predictions of the performance of Konsuln ventilation system in its current state and for the future. The good correlation between the modelled and underground measured values validated the model for further ventilation planning. The study further investigated and analyzed the current and future ventilation demand of LKAB test mine, Konsuln, to design a VOD system for its operations.The work outlined three main VOD design scenarios I, II, and III based on the proposed production plan, schedule, and the mining process that present the underground working conditions on the three main levels (436, 486 and 536) of Konsuln mine. Diesel, battery-powered, heat, and blast simulations were carried out for all the scenarios in the calibrated ventilation model using VentSim Design simulation software. The model was again used to estimate the annual ventilation power cost for the VOD scenarios to highlight the benefit and cost savings advantage under the VOD design system to deliver enough airflow quantity compared to the conventional system of ventilation. Simulation results showed that about 15.6% – 49.1% and 76.4% - 86.7% of significant cost savings will be achieved for diesel and battery-powered machineries respectively, while still supplying the needed amount of air to working areas to keep contaminants below their Threshold Limit Value -Time Weighted Average (TLV-TWA) and provide a good working environment. For additional benefits and savings of the Ventilation on Demand (VOD) system implementation, some considerations for equipment, personnel positioning and identification, monitoring system, and stations have also been discussed in this work.  These include; (i) Utilization of LKAB’s database system, Giron, in addition to mounting tags with unique IDs on machineries, to track the route of LHDs and trucks to deal with the challenge of airflow supply shortfall associated with auxiliary fans adjustment to affect target locations. (ii) Installation of temperature sensors, flow meters, gases and Diesel Particulate Matter (DPM) monitoring systems at specific, appropriate, and optimal locations in the mine for efficient implementation of the VOD system strategy. The heat simulations for both diesel and battery-powered machineries were carried out for the month of July when the highest temperatures in Kiruna are often recorded for the summer. They predicted the highest temperatures in working areas to be well below the limit used in Australia, 28°C Wet Bulb (WB). Four scenarios A, B, C and D were also considered for blast clearance time simulation using both the ramp and exhaust shaft. The blast simulation results indicated that the time to dilute and clear blast fumes through the exhaust shaft saves some clearance time compared to exhaustion through the ramp, although the shaft exhaustion will require additional financial commitment to purchase and install exhaust fans on each of the three main levels of the mine. Nevertheless, major ventilation work and practices such as removal of regulator in front of primary fans, additional radon measurement, and good auxiliary ventilation practices have been recommended to improve and actualize the benefits outlined in this work.

[pt] A Manutenção e Inspeção Baseada em Risco (IBR) compreende a utilização de ferramentas de cálculo de engenharia como análise estrutural por elementos finitos, análise de corrosão e fadiga, análise de risco e confiabilidade estrutural, de forma integrada, a fim de elaborar os planos de inspeção de maneira racional otimizada. No caso de inspeção de balsas para serviço offshore, particularmente da estrutura do convés principal da balsa, técnicas de análise de risco podem ser aplicadas para que se possam determinar os intervalos de inspeção de cada elemento da estrutura. Como resultado final, tem-se um plano de inspeção otimizado e aplicado à realidade estrutural da unidade. A presente dissertação tem por objetivo propor um método de predição baseado em IBR para aperfeiçoamento de processos de tomada de decisão referentes à manutenção de balsas para serviço offshore de uma grande empresa brasileira do setor de petróleo e gás natural. Apresenta-se um estudo de caso focalizando uma aplicação do método de predição em uma das balsas de serviço offshore da empresa – a Balsa de Serviço 3 (BS-3). Os resultados do estudo de caso permitem afirmar que a adoção de ferramentas de inspeção baseada em risco podem aumentar o TLV (Tempo Limite de Vida) das balsas de serviço offshore. Como consequência, os benefícios potenciais são: redução das incertezas associadas; identificação de avarias devido à deterioração estrutural; redução de custos de manutenção; e, principalmente, diminuição do tempo da paralisação das balsas de serviço. / [en] Risk-Based Inspection (RBI) involves the use of engineering calculation tools such as finite element structural analysis, corrosion and fatigue analysis, risk analysis and structural reliability in an integrated framework, in order to develop inspection plans in a rational and optimized manner. RBI attempts to map the structure degradation curve, in deterministic or probabilistic way. Once defined the degradation curve for the different areas of the structure, risk analysis techniques are applied to determine inspection intervals concerning each element of the structure. As final result, it is possible to obtain an optimized inspection plan applied to the structural reality of the unit. The objective of this dissertation is to propose a prediction method, based on RBI, to improve the decision-making process focusing on maintenance of offshore service barges of a large oil and gas company in Brazil. It presents a case study concerning an application of this prediction method in one of the offshore service barges of this company – Offshore Service Barge 3 (BS-3). The results show that the adoption of preventive inspections can enlarge the TLV (Time Limit of Life) of this type of unit. As a consequence, the potential benefits are: reduction of uncertainties; identification of faults due to structural deterioration; maintenance costs reduction; and, decreasing of time breakdowns concerning barge services.

Internet är idag en ny arena där alla delar med sig av information till alla. Det nya Internet, Webb 2.0, handlar om interaktivitet, kommunikation och dialog. Medborgare och intressenter vill ha större insikt och bättre möjligheter att påverka. De som bidrar med kunskap och synpunkter vill veta hur bidragen påverkar verksamheten, annars slutar de föra dialog. Regering och riksdag vill även att effektiviteten och tillgängligheten till myndigheternas tjänster ska öka. Tidigare forskning visar att det finns en trend mot ämnesarenor och att det kan föreligga ett paradigmskifte från fokus på tjänsteleverans till nätverkade myndigheter som involverar medborgare och intressenter i sin verksamhet. Detta ställer nya krav på riktlinjer och strategier. För att explorativt undersöka dessa trender och fenomen har representanter för tre svenska myndigheter intervjuats. De empiriska resultaten har sedan belysts med nyinstitutionell teori och analyserats med hjälp av lednings- och kommunikationsstrategiska teorier och koncept. Studien konstaterar att de tre undersökta myndigheterna har tagit små steg för att närma sig de virtuella ämnesarenorna. Vissa medarbetare deltar i sociala medier, men deltagandet är inte formaliserat och insikter och lärdomar aggregeras inte inom organisationerna. Samtidigt som kunskapen om sociala medier är relativt låg verkar det finnas institutionaliserade myter som påverkar beslutssituationen. Myndigheternas ledningsgrupper är åldersmässigt relativt homogena. De träffar varandra inom sektorn regelbundet och avvaktar och följer de andra myndigheternas exempel. Den nya e-logiken utmanar de befintliga maktstrukturerna och myten om expertis genom att externa aktörer får mer makt över verksamhetsutvecklingen än tidigare. För att börja delta fullt ut i dialogen på de virtuella ämnesarenorna krävs sannolikt en förändring i verksamhetskulturen och eventuellt behövs ett generationsskifte. Genom deltagande i några väl utvalda e-projekt kommer lärdomar och insikter som kan ge beslutsunderlag för att gå vidare. Erfarenheterna kan leda till att de institutionaliserade myterna kommer att börja förändras så att det förutspådda paradigmskiftet tar plats. / Internet has been transformed. The new Internet, Web 2.0, is all about interactivity, communication and conversations. Citizens and stakeholders demand transparency and influence. The individuals that contribute their knowledge and views demand insight into how their contribution is used to develop the organization, or they leave the conversation. At the same time the Swedish parliament requires improved efficiency, availability and access to government services. Previous research shows there is a trend towards issue arenas where issues and topics, not organizations, are at the center of communication. The emergence of e-government represents a paradigm shift, from emphasizing standardization and cost-efficiency, to an emphasis on coordinated network building, external collaboration, and customer services. This transformation from bureaucracy to networked governance requires new strategies. To explore these trends and phenomena research interviews have been conducted with representatives for three Swedish government agencies. The empirical findings have then been illuminated with neo-institutional theory and analyzed with governance and communication strategy concepts and theories. The findings show that the three agencies have taken some small steps toward the virtual issue arenas. Some employees participate in social media, but the participation isn’t formalized and knowledge isn’t aggregated within the organizations. The general knowledge of social media is low and there seems to be institutionalized myths affecting the decision environment. Management consists of members of similar age. Top management from different agencies in the sector frequently meets, and the agencies await and follow the other agencies examples. The new e-logic challenges existing power structures, as well as the myth of authority, since external actors gain power over business development. In order to fully participate in the conversation in virtual issue arenas, a change in organizational culture is likely needed, and potentially generational change might be necessary to facilitate the change in culture. Engaging in a few, carefully selected e-projects will enable the agencies to learn and expand the engagement gradually. The accumulated experience may lead to a change in the institutionalized myths, thus enabling the predicted paradigm shift.