Global Navigation Satellite System (GNSS) är ett system för global satellitpositionering och navigering och innefattar bland annat Global Positioning System (GPS) och Globalnaya Navigatsionnaya Sputnikovaya Sistema (GLONASS), dessa två system är de enda fullt globala operativa systemen i dagsläget. Galileo är ett europeiskt satellitsystem under utveckling och erbjuder för närvarande 14 satelliter, men ska bestå av totalt 30 satelliter när systemet beräknas vara fullt fungerande 2020. Den mätmetod med GNSS som har lägst osäkerhet är statisk mätning. Det är en relativ metod vilket innebär att minst två mottagare samlar observationer samtidigt, vanligtvis i flera timmar. Snabb statisk mätning är en vidareutveckling av statisk mätning och erbjuder mycket kortare observationstider, däremot innebär det en begränsning på baslinjelängden. Syftet med denna studie var att undersöka Galileos påverkan vid snabb statisk mätning och se huruvida Galileo kan bidra med lägre osäkerheter, avvikelser och observationstider i olika konstellationer tillsammans med GPS och GLONASS. Mätningarna utfördes under två dagar i fyra respektive två timmar. Två baslinjer mättes; ena baslinjen hade en längd på 0,4 km och den andra på drygt 2 km. I ett bearbetningsprogram delades därefter konstellationerna upp i tio tidsfönster (epoker) och varje tidsfönster delades i sin tur upp i tre sessioner (1, 5 och 10 minuter). Fyra typer av konstellationer testades: GPS, GPS och GLONASS, GPS och Galileo och sist alla tre tillsammans. Resultatet i studien visar på låga osäkerheter när fler än en konstellation används. Lägst osäkerhet uppnås generellt när mätning med alla konstellationer görs. Mätning med endast GPS ger högst osäkerhet i samtliga fall, men detta är framförallt kännbart vid den kortaste sessionen (1 minut). Likheten i osäkerheterna vid den korta och långa baslinjen är tydlig, men osäkerheterna är större för den långa baslinjen. Avvikelserna är lägst med alla konstellationer, men baslinjelängden är i nästan alla fall för kort mot sin referens. Slutsatsen från studien är att Galileo kan användas för att minska observationstider och osäkerheter vid snabb statisk mätning. Detta är dock försumbart ifall GPS och GLONASS redan används, åtminstone för de två baslinjerna i detta test. Låga osäkerheter uppnås antingen med multi-konstellation eller längre observationstider. / Global Navigation Satellite System (GNSS) is a global system for satellite positioning and navigation and consists, amongst other, of Global Positioning System (GPS) and Globalnaya Navigatsionnaya Sputnikovaya Sistema (GLONASS). Currently, these systems are the only fully global operative satellite systems for positioning. Galileo is an upcoming satellite system and offers at the present time 14 active satellites, but will consist of 30 satellites once it is fully operational by 2020. The survey method with GNSS that has lowest uncertainties is static survey. It is a relative method which means that a minimum of two receivers observe simultaneously, usually for several hours. Rapid static surveying is a further development of static surveying and offers much shorter observation times, but it imposes a restriction of the baseline length. The purpose of this study is to evaluate Galileo’s contribution on rapid static surveying and see whether Galileo can decrease uncertainties, deviations and observation times in different constellations with GPS and GLONASS. Measurements were conducted during two days for two and four hours respectively. Two baselines were measured; the first baseline had a length of 0.4 km and the second nearly 2 km. Later in a software, each constellation was divided in ten time windows (epochs) and each time window was then divided in three sessions (1, 5 and 10 minutes). Four types of constellations were tried: GPS, GPS and GLONASS, GPS and Galileo and lastly all three combined. Results show that low uncertainties are obtained when more than one constellation is used. Lowest uncertainties can be obtained with all constellations active. Surveying with only GPS gives the highest uncertainties in all cases, but this is especially true for the shortest session (1 minute). Similarities in uncertainties between the short and long baseline is clear, but uncertainties are higher for the long baseline. Deviations are lower with all constellations active, but the baseline length is in almost all cases too short. The conclusion from the study is that Galileo can be used to lower observation time and uncertainties. However this is negligible when used with GPS and GLONASS, at least for the two baselines in this test. Low uncertainties can be achieved with multi constellation or longer observation time.

Denna studie syftar till att undersöka huruvida rörlig grafik är ett effektivt sätt att kommunicera företaget Prodeloxs varumärkesidentitet för en potentiell målgrupp. För att kunna uppfylla studiens syfte genomfördes en kvalitativ fallstudie. Ett teoriramverk berörande utformning av infografik, rörlig grafik och ett företags varumärkesidentitet togs först fram som en grund. Data samlades sedan in via kvalitativa intervjuer med anställda på Prodelox och en prototyp i form av rörlig grafik utformades med syfte att kommunicera företagets varumärkesidentitet. För att kunna dra slutsatser och jämföra huruvida den rörliga grafiken effektivt kommunicerade Prodelox varumärkesidentitet utformades även en prototyp på statisk grafik. Den rörliga grafiken och den statiska grafiken visades sedan för två fokusgrupper som diskuterade huruvida effektivt vardera grafik kommunicerade och ifall någon var mer lockande än den andra. Studien kom fram till att Prodeloxs varumärkesidentitet gick att gestaltas i rörlig grafik och att fler kommunikativa fördelar fanns med den rörliga grafiken i jämförelse med den statiska. Slutsatsen som drogs var att Prodelox kan använda sig att rörlig grafik för att effektivt kommunicera deras varumärkesidentitet till en potentiell målgrupp.

I arbetet som har utförts i samarbete med företaget Kalmarglobal undersöks om tunga truckar kan drivas med eldrift istället för diesel. Dynamiska laddning undersöks vilket innebär att fordonet ska kunna laddas medan det rör sig. Induktiv laddning ställs mot konduktiv laddning. Med målet att göra batteriernas kapacitet så liten som möjligt jämförs dynamisk och statisk laddning. Rapporten avslutas med en diskussion om olika scenarion vad gäller batteristorlek och effekter.

Background. User retention is important in the online sphere, especially within gaming. Utilising browser gaming websites to host games helps smaller studios and solo developers reach out to a larger audience. However, displaying games on the website does not guarantee the user will try the game out and if the load time is long, the player could potentially move on. Using game agnostic, static code analysis, a potential load order can be created, prioritising assets required to start the game to be downloaded first, resulting in shorter wait times for the player to start playing. Objectives. The thesis aim is to develop a game agnostic parser, able to a list all the assets within a given Godot engine based game and sort them according to importance. The order of importance is the assets required for the game to be playable is placed first, followed by each sequential set of assets for each sequential scene. Methods. Static code analysis is in this project done by parsing through all the files and code of a given game. By then using numerous regular expressions one can extract relevant data such as references to assets and scene changes. The assets are then associated with different scenes that are ordered and distinguished by scene changes. Results. The results vary from making no difference to potentially taking 31% of the original loading time. With graphs being generated for every game showing the scenes and their ordering through the parsing process giving information into the process of the game as well as the reasons for the potential speedup or the lack of it. Conclusions. The project shows promising results for games that can be successfully parsed and have the scene structure to gain from it. Further work and development is required for a more comprehensive solution with suggested methods. With these results being largely theoretical a more practical study would be needed to apply the results to a realistic setting. / Bakgrund. Bibehållande av användare är viktigt i den moderna internet sfären, merså inom spelande. Det är fördelaktigt för mindre spel och studios att ha sina spel på webbsidor som ger tillgång till en större användarbas. Det är dock ingen garanti att behålla en användare om ett spel tar för lång tid att ladda. Därav genom spelagnostisk, statisk kodanalys, kan en generera en laddnings ordning för spel resurser där de resurser som krävs för att starta spelet laddas ner först, vilket kan tillåta spelet att starta tidigare. Syfte. Målet är att kunna tolka spel kod för att lista resurserna för ett givet spelgjort i Godot motorn och sortera resurserna i ordningen de förekommer. Där de viktigaste resurserna är de som förekommer i de första scenerna som krävs för att starta spelet och sedan de följande scenen. Metod. Statisk kodanalys är att kolla på koden som den är utan att köras och görsi detta projekt genom att tolka all kod och dess filer. Detta genomförs med hjälp av regular expressions som tar den önskade datan som resurs referenser och indikationer om ändringar i scener. Resultat. Resultatet varierar att inte vara någon skillnad till basfallet till att ta 31% av den ursprungliga laddningstiden. Det visas av grafer skapad för varje spel som visar ordningen av scenerna och dess innehåll, vilket används för att utvärdera vad som gör vissa spel snabbare och varför vissa inte kan optimeras. Slutsatser. Projektet visar lovande resultat för de spel som kan bli optimerat utav programmet. Men för att få en generaliserad lösning krävs mer utveckling för att kunna täcka en större variation av spel. Dock då denna studie endast är teoretisk så behöver en praktiskt implementation göras för att applicera dessa resultat i en realistisk miljö.

Idag använder sig många lärare av läroboken vid planering av undervisningen. I den svenska skolan har det blivit  vanligare med digitala läroböcker. Syftet med studien är att besvara frågeställningen vilka för- och nackdelar finns det ur ett lärarperspektiv med att använda digitala läroböcker inom matematik? Detta är en litteraturstudie. Digitala läroböcker kategoriserades i två kategorier, statiska digitala läroböcker och interaktiva digitala läroböcker. I studien identifierades totalt 22 fördelar och 18 nackdelar med digitala läroböcker. Samtliga för- och nackdelar tolkades ur ett lärarperspektiv med hjälp av styrdokument, lärares yrkesetik samt egen erfarenhet. För- och nackdelarna kategoriserades in i sex olika underkategorier: Autenticitet, bedömning & återkoppling, individualisering, planering & genomförande, teknik samt övriga argument. Resultatet visar att underkategorierna autenticitet och bedömning &  återkoppling till övervägande del har fördelar, medan underkategorin teknik till övervägande del har nackdelar. Underkategorierna individualisering, planering & genomförande och övriga argument har ungefär lika många fördelar som nackdelar. Studien drar slutsatsen att lärare måste granska den digitala läroboken med sina funktioner och undersöka om dessa är mer eller mindre gynnsamma för den undervisning som läraren vill bedriva. / Today many teachers use textbooks to plan their teaching, and digital textbooks have become more and more common in Swedish schools. The purpose of this study is to answer the research question: What are the advantages and  disadvantages from a teacher’s perspective of digital textbooks in mathematics? This study is a literature review. Digital textbooks were categorized into the two categories, static digital textbooks and interactive digital textbooks. The study identified in total 22 advantages and 18 disadvantages about digital textbooks. The advantages and disadvantages were interpreted from a teacher’s perspective with the help of regulatory documents, teacher’s work ethics as well as personal experience. The advantages and disadvantages were categorized into the six different subcategories: Authenticity, assessment & feedback, individualization, planning &implementation, technology, and other arguments. The result shows that the subcategories authenticity and assessment & feedback mainly have advantages, while subcategory technology mainly have disadvantages. The subcategories individualization, planning & implementation and other arguments have about the same amount of advantages and disadvantages. The study concludes that teachers must examine the digital textbook with its functions and look into if these are more or less favorable for the education that the teacher wants to conduct.

IFRS/IAS infördes i Sverige år 2005 och är ett nytt sätt att redovisa förvaltningsfastigheter förnoterade fastighetsbolag inom EU. Tanken med denna standard var att förbättra deninternationella kapitalmarknaden och att eliminera de stora olikheterna i redovisningen.IAS 40 ges ut av IFRS/IAS och handlar om förvaltningsfastigheter. Standarden IAS 40 gerbörsnoterade bolag inom EU möjligheten att redovisa sina förvaltningsfastigheter tillanskaffningsvärde eller till verkligt värde.Syftet med uppsatsen är att ta granska konsekvenserna vid tillämpningen av IAS 40 ochrevisorernas syn på detta. Samt att studera vilka värderingsmetoder som fastighetsbolagenanvänder och ifall standarden har gett positiva eller negativa påföljder för fastighetsbolagen.Uppsatsen innehåller kvalitativ och kvantitativ data. För kvalitativ data gjordes intervjuer medtvå auktoriserade revisorer, samt även en intervju med Frank Sadler från HEBA AB, som ärekonomichef. För kvantitativa data har informationen erhållits från tio årsredovisningar frånnoterade fastighetsbolag i Sverige.Slutsatsen från undersökningarna var att standarden är positiv för fastighetsbolagen. Verkligtvärde prefereras framför anskaffningsvärde. Revisorer upplever standarden svårtolkad ochkomplicerad dock anser dem att den ger en bättre jämförbarhet mellan bolagen. Värderingsmetoden av bolagens förvaltningsfastigheter är mindre relevanta då bolagenvärderar internt eller externt som de vill.

Nowadays, all software projects are based on a large number of libraries, so they do not have to start from scratch. These libraries evolve over time, whether to add functionality or to simplify their use. These updates are necessary to improve their libraries, but can lead to errors in their clients’ code. Developers are thus faced with the problem of breaking changes and need to be able to inform their clients as soon as possible of the arrival of these changes. To limit the impact of these breaking changes, this Master thesis presents UCov. UCov is a static analysis tool that gives library developers a quick overview of the usage coverage of their tests compared with the coverage of their clients. This lets them to compare which elements of their library are being tested with those being used by their clients and also how they are being used. This will enable developers to improve their test suite according to how their clients use their library, to get a better overview of how their library is used, and also to give their clients the best possible warning of changes that may impact their code, thanks to release notes. In this study, we explain the implementation of UCov and test it on various libraries. The results obtained on these libraries are satisfactory. They enable us to highlight potential breaking changes. They also show that there are elements of the libraries’ APIs that are used by clients but never tested. Finally, these results show that UCov offers developers a new tool enabling them to limit the impact of their breaking changes by gaining a better understanding of how clients use their libraries. / Numera baseras alla programvaruprojekt på ett stort antal bibliotek, så att man inte behöver börja från noll. Biblioteksutvecklare ställs därför allt oftare inför problemet med “breaking changes". Dessa är nödvändiga för att förbättra deras bibliotek, men kan leda till fel i deras kunders kod. Utvecklarna måste därför kunna ge sina kunder så mycket förvarning som möjligt om att det kommer att komma inbrytande ändringar. För att begränsa effekterna av dessa förändringar presenterar denna masteruppsats UCov. UCov är ett statiskt analysverktyg som ger biblioteksutvecklare en snabb överblick över användartäckningen för deras tester jämfört med täckningen för deras klienter. Detta gör det möjligt för dem att jämföra vilka element i deras bibliotek som testas med de som används av deras kunder, och även hur de används. Detta gör det möjligt för utvecklare att förbättra sin testsvit enligt hur deras kunder använder deras bibliotek, för att få en bättre överblick över hur deras bibliotek används, och även för att ge sina kunder bästa möjliga varning för ändringar som kan påverka deras kod, tack vare release notes. I den här studien förklarar vi implementeringen av UCov och testar den på olika bibliotek. Resultaten från dessa bibliotek är tillfredsställande. De gör det möjligt för oss att lyfta fram potentiella brytande ändringar. De visar också att det finns delar av bibliotekens API:er som används av klienter men som aldrig testas. Slutligen visar dessa resultat att UCov erbjuder utvecklare ett nytt verktyg som gör det möjligt för dem att begränsa effekterna av sina skadliga ändringar genom att få en bättre förståelse för hur kunderna använder sina bibliotek.

Syfte: Syftet med denna studie var att undersöka hur statisk muskelkontraktion och cold pressor test påverkar kroppsegna smärtreglerande system (”Exercise induced analgesia” (EIA) och ”Conditioned pain modulation” (CPM)) hos patienter med kronisk ländryggssmärta kännetecknad av lumbal myalgi (LM) jämfört med friska kontroller. Försökspersoner och metod: Tjugosex friska köns- och åldersmatchade personer och tjugosex LM-patienter deltog. De utförde standardiserad statisk muskelkontraktion med m. Erector spinae (ME) i form av rygglyft och kontraktion av m. Quadriceps femoris (MQ) i form av knäledsextension. För att bedöma CPM användes sk cold pressor test. Smärttrösklar för tryck (PPTs) mättes över m. Deltoideus (MD), m. Erector spinae (ME) samt över m. Quadriceps (MQ) i vila och under resp. efter kontraktionen/cold pressor test. Under kontraktion mättes PPTs över den arbetande muskeln respektive över de två vilande musklerna. Dessutom undersöktes PPTs och känsligheten för övertrösklig trycksmärta (P7) i vila på 8 olika punkter på kroppen. Resultat: Kvinnliga LM-patienter hade ökad känslighet för trycksmärta (PPT) och övertrösklig trycksmärta (P7) jämfört med köns- och åldermatchade friska kontroller, medan manliga LM-patienter paradoxalt nog hade minskad känslighet för övertrösklig trycksmärta. Beträffande EIA fann vi att LM-patienter och kontroller kunde aktivera lokal EIA under kontraktion med ME. Vi fann dessutom en minskad förmåga hos LM-patienter att rekrytera generaliserad EIA under kontraktion med MQ. Slutligen hade LM-patienterna en normal funktion av CPM. Slutsats: LM-patienter kunde aktivera lokal EIA under kontraktion av ME, men hade mindre effektiv generaliserad EIA jämfört med kontrollerna, trots normal funktion av CPM. Våra resultat tyder på att muskelarbete med smärtande ryggmuskler skulle kunna användas för att minska smärtkänslighet i det drabbade området.

This thesis of 15 hp has been implemented at Halmstad University, in collaboration with Saab Dynamics in Linköping. Saab Dynamics is a company operating in the defence industry where competition is tough. This necessitates new ways to increase efficiency in the company, which is the basis for this thesis. Saab Dynamics wants to introduce simulation driven design. Since Saab Dynamics engineers have little experience of simulation, required a user methodology with clear guidelines. Due to lack of time, they chose to assign the task to students, which resulted in this thesis. The aim of the thesis is to develop a methodology in mechanical design, where the designer uses the FE analysis early in the design process to develop the structures' mechanical properties. The methodology should be seen as a guide and a source of information to enable an iterative approach with FE-analysis, which is the basis of simulation-driven design. The iterative process of simulation driven design, which can lead to reduced lead times and cost savings in the design process. The work was carried out by three students from the mechanical engineering program between December 2014 and May 2015. Because of the scale of the project, it has been carried out by a total of three students with individual focus areas. The work has followed a self-developed method and the project began with theoretical studies of the topic to get an understanding of what has been done and what research in simulation driven design. Then conducted an empirical study on the Saab Dynamics in Linköping, in order to increase understanding of how the design process looks like. Meanwhile, sustainable development and ethical aspects has been taken into account. Much time has been devoted to investigate the possibilities and limitations of 3D Experience, which is Dassault Systèmes latest platform for 3D modelling- and simulation software. 3D Experience is the software, the methodology is based on. This thesis has resulted in a methodology for simulating at the designer level that the project team in consultation with the supervisor at Saab Dynamics managed to adapt to the company's requirements.

This thesis of 15 hp has been implemented at Halmstad University, incollaboration with Saab Dynamics in Linköping. Saab Dynamics is a companyoperating in the defence industry where competition is tough. This necessitatesnew ways to increase efficiency in the company, which is the basis for this thesis.Saab Dynamics wants to introduce simulation driven design. Since SaabDynamics engineers have little experience of simulation, required a usermethodology with clear guidelines. Due to lack of time, they chose to assign thetask to students, which resulted in this thesis.The aim of the thesis is to develop a methodology in mechanical design, wherethe designer uses the FE analysis early in the design process to develop thestructures' mechanical properties. The methodology should be seen as a guide anda source of information to enable an iterative approach with FE-analysis, which isthe basis of simulation-driven design. The iterative process of simulation drivendesign, which can lead to reduced lead times and cost savings in the designprocess.The work was carried out by three students from the mechanical engineeringprogram between December 2014 and May 2015. Because of the scale of theproject, it has been carried out by a total of three students with individual focusareas.The work has followed a self-developed method and the project began withtheoretical studies of the topic to get an understanding of what has been done andwhat research in simulation driven design. Then conducted an empirical study onthe Saab Dynamics in Linköping, in order to increase understanding of how thedesign process looks like. Meanwhile, sustainable development and ethicalaspects has been taken into account.Much time has been devoted to investigate the possibilities and limitations of 3DExperience, which is Dassault Systèmes latest platform for 3D modelling- andsimulation software. 3D Experience is the software, the methodology is based on.This thesis has resulted in a methodology for simulating at the designer level thatthe project team in consultation with the supervisor at Saab Dynamics managed toadapt to the company's requirements.