Efter det dammbrott som skedde vid Brumadinho i Brasilien under januari 2019, där hundratals människor miste sina liv, har frågor kring statisk liquefaction hos anrikningssand fått stort fokus inom gruvdammsindustrin.  Statisk liquefaction kan modelleras med den konstitutiva modellen NorSand, där NorSand-parametrarna kan utvärderas från triaxialförsök. I det här arbetet har ett laboratorieprogram bestående av siktning, sedimentationsanalys, korndensitet, ödometerförsök och triaxialförsök utförts och NorSand-parametrar utvärderats. Fokus ligger på genomförande av laboratorieförsök samt utvärdering av parametrar. Målet är att redogöra för olika osäkerheter som kan påverka resultatet för att på så sätt reda ut vilka de känsligaste faktorerna är, och identifiera vilka moment under utförandet som är särskilt kritiska. Totalt har fyra dränerade och sex odränerade triaxialförsök utförts. Baserat på dessa har NorSand-parametrar utvärderats grafiskt samt genom att matchning av modellerade triaxialförsök i PLAXIS Soiltest mot de utförda försöken. Samtliga utvärderade parametrar ligger inom förväntat spann baserat på litteratur. Flertalet kritiska moment har identifierats avseende genomförandet av triaxialförsök. Vid utvärdering av NorSand-parametrar är bestämningen av portal det klart mest kritiska. Nästan samtliga NorSand-parametrar relateras till de utvärderade portalen. Portalen kan i sin tur bestämmas på olika sätt med olika osäkerheter. För att kunna värdera resultatet är det viktigt att veta vilken metod som använts och hur de känsliga momenten hanterats. På grund av hur kritiskt det är med korrekta portal så kan det vara en bra idé att använda två metoder och sedan jämföra resultaten med hänsyn till deras osäkerheter.  Samtliga NorSand-parametrar förutom Poissons tal bygger på subjektiv tolkning. Antingen utvärderas parametrarna grafiskt baserat på linjer anpassade av individen, eller så matchas modellerade försök till de utförda och då är det upp till individen att balansera försöken mot varandra. För att minimera utrymmet för individuell tolkning är det viktigt att tillräckligt många försök utförs så att potentiella uteliggare kan identifieras. Det är också viktigt att kommande försök planeras för att täcka in de spänningar och portal där det saknas information. / After the tragic failure of the Brumadinho tailings facility in Brazil during January 2019, where hundreds of people lost their life, the question of static liquefaction has received a lot of focus in the tailings industry.  Static liquefaction can be modelled using the constitutive model NorSand, where the parameters are evaluated from triaxial tests. The focus of this work has been on laboratory work and evaluation of NorSand-parameters. The laboratory work consisted of sieving, sedimentation analysis, particle density, oedometer tests, and triaxial tests from which the NorSand-parameters were evaluated. The aim is to identify uncertainties during triaxial testing and evaluation of NorSand-parameters, from which critical factors can be determined. In total, six undrained and four drained triaxial tests have been performed.  Multiple critical factors have been identified during the execution of triaxial tests. In relation to the evaluation of NorSand-parameters, the determination of void ratios is the most significant. For the resulting values to be assessable, it is important to know which method was used and how uncertainties were managed. Because of how critical correct void ratios are, it might be a good idea for them to be determined and compared using different methods. All NorSand-parameters except one are based on a certain amount of subjective interpretation. The person conducting the evaluation either manually fits lines to the test data or tries to match modelled triaxial tests to the ones performed by balancing the tests against each other. To minimize the impact of the individual it is important to carry out enough tests for potential outliers to be identified. It is also of importance to plan upcoming tests to cover stresses and void ratios with lacking data.

Static analysis is a technique to automatically audit code without having to execute or manually read through it. It is highly effective and can scan large amounts of code or text very quickly. This thesis uses static analysis to find potential threats within a software's extension modules. These extensions are developed by third parties and should not be allowed to access information belonging to other extensions. However, due to the structure of the software there is no easy way to restrict this and still keep the software's functionality intact. The use of a static analysis tool could detect such threats by analyzing the code of an extension before it is published online, and therefore keep all current functionality intact. As the software is based on a lesser known language and there is a specific threat by way of information disclosure, a new static analysis tool has to be developed. To achieve this, a combination of language specific functionality and features available in C++ are combined to create an extendable tool which has the capability to detect cross-extension data access.

Global Navigation Satellite System (GNSS) is nowadays a well-established and popular choice for various survey missions. Earlier studies indicate that BeiDou in combination with Global Positioning System (GPS), Globalnaya Navigatsionnaya Sputnikovaya Sistema (GLONASS) and Galileo contributes to a lower uncertainty in 3D. Earlier studies indicates that GNSS achieves good enough quality and is reliable for deformation monitoring. The purpose of the study is to examine the potential of BeiDou using static deformation monitoring in 3D at the millimeter level, both individually and in combination with other satellite systems. The study detects deviations in a local network and by connecting to an external reference station using single- and double frequency as well as broadcast- and precise ephemeris. Data were collected using static measurements for three sessions within 2 days. The observation time for session 1 was 9 h and for sessions 2 and 3 was 4 h, respectively. The measurements were carried out using 3 points with the average baseline length of 791 m. A simulated deformation was applied at 2 occasions were each displacement was 5 mm in plane and 4,8 mm in height. Data was processed in Leica Infinity. The measured deformation was compared with the true displacement and with the rest of the satellite constellations. The result of the study shows that BeiDou in combination with GPS/GLONASS/Galileo in a local network achieves deviations between 0,2–1,0 mm in plane and 0,1–1,2 mm in height for every setting. Regarding processing with only BeiDou in a local network with broadcast ephemeris and the B1 frequency, the result indicates deviations between 0,2–1,9 mm in plane and 0,4–1,0 mm in height. Further processing with precise ephemeris the deviations was calculated between 0,2–1,8 mm in plane and 0,9–4,6 mm in height. Larger deviations were obtained using the external reference station MAR6. The outcomes of this study indicate that there is a possibility to use BeiDou individually for deformation monitoring if broadcast- and precise ephemeris with frequency B1 are used. BeiDou in combination with GPS/GLONASS/Galileo indicates deviations at millimeter level (<1,2 mm) in 3D. BeiDou as a complement achieves equivalent deviations in comparison to GPS/GLONASS/Galileo. The conclusion indicates that BeiDou as a complement is useful for static deformation monitoring. Further conclusions indicate that an external reference station should not be used for deformation monitoring. BeiDou can, when using B1 frequency and precise ephemeris, detect millimeter displacements for shorter sessions. / Global Navigation Satellite System (GNSS) är idag ett väletablerat och populärt val vid diverse mättekniska uppdrag. Tidigare studier tyder på att BeiDou i kombination med Global Positioning System (GPS), Globalnaya Navigatsionnaya Sputnikovaya Sistema (GLONASS) och Galileo bidrar till en lägre osäkerhet i 3D. Tidigare studier visar att GNSS uppnår tillräckligt hög kvalitet för att anses tillförlitligt vid deformationsövervakning. Syftet med studien är att undersöka BeiDou och dess potential vid statisk deformationsövervakning i 3D på millimeternivå, både enskilt och i kombination med andra satellitsystem. Vidare detekteras skillnader i ett lokalt nätverk och med anslutning mot en extern referensstation med enkel- och flerfrekvens samt utsändaoch precisa bandata. Data samlades in via statisk mätning under två dagar, i tre sessioner, där session 1 uppgick till 9 timmar och session två samt tre till fyra timmar vardera. Mätningarna genomfördes på tre punkter med en genomsnittlig baslinjelängd på 791 m. En simulerad deformation pågick under två tillfällen där vardera rörelsen var 5 mm i plan och 4,8 mm i höjd. Data bearbetades i Leica Infinity. Den mätta deformationen jämfördes mot den faktiska förflyttningen samt mot övriga satellitkonstellationer. Studiens resultat visar att BeiDou i kombination med GPS/GLONASS/Galileo i ett lokalt nätverk erhöll avvikelser mellan 0,2–1,0 mm i plan och 0,1–1,2 mm i höjd för samtliga inställningar. Angående bearbetning med BeiDou enskilt i ett lokalt nätverk beräknat med utsända bandata och frekvensen B1 erhöll resultatet avvikelser på 0,2–1,9 mm i plan och 0,4–1,0 mm i höjd. Vid efterbehandling med precisa bandata beräknades avvikelserna till 0,2–1,8 mm i plan och 0,9–4,6 mm i höjd. Större avvikelser erhölls vid bearbetning mot den externa referensstationen. Studiens slutsatser visar att möjligheten finns att använda BeiDou enskilt för deformationsövervakning med både utsända- och precisa bandata och frekvensen B1. BeiDou i kombination med GPS/GLONASS/Galileo visar avvikelser på millimeternivå (<1,2 mm) i 3D. I jämförelse med GPS/GLONASS/Galileo erhåller mätningar med BeiDou som komplement ingen signifikant avvikelse. Slutsatsen tyder på att BeiDou som komplement uppnår likvärdig kvalitet som GPS/GLONASS/Galileo och är användbart vid statisk deformationsövervakning. Ytterligare slutsatser tyder på att anslutning mot en extern referensstation inte bör användas. BeiDou med enkelfrekvensen B1 med precisa bandata har även potential att detektera förflyttningar på millimeternivå vid kortare sessioner.

<p>Det här examensarbetet är baserat på idéer ur ett uppdrag från företaget Saab Aerotech men är ett eget arbete.</p><p>Målet var att undersöka om det finns behov av ett verktyg som statiskt kan detektera dynamiska minneshanteringsproblem, som till exempel minnesläckage, i applikationer skrivna i C/C++. På grund av att minneshanteringsfel i C/C++ länge har varit ett känt problem undersökte vi detta och de befintliga lösningarna till det.</p><p>Vi fann två metoder till lösningar som de flesta verktyg använde sig av; statisk och dynamisk detektering. De flesta verktyg löste problemet genom att dynamiskt detektera minnesläckor och andra brister som till exempel buffer overflows. Ett verktyg löste dock problemet genom att statisk detektera minneshanteringsfel i källkoden för applikationerna. Eftersom alla befintliga lösningar har någon form av ineffektivitet så har vi undersökt möjligheten att utveckla ett mer effektivt verktyg. Vi har kommit fram till att denna möjlighet finns men det kräver enormt mycket tid och arbete att göra ett komplett verktyg som detekterar minneshanteringsfel statiskt.</p><p>Vår prototyp detekterar dynamiska minneshanteringsproblem i källkoden statiskt. Vi har använt oss av hjälpverktygen Flex och Bison för att utveckla vår prototyp av verktyget. Prototypen kan analysera källkod skriven i programspråken C och C++ och klarar att detektera minnesläckage, felaktiga avallokeringar av minne, dangling pointers, samt läsning från och skrivning till ogiltiga minnesområden. På grund av tidsbrist har vi i nuläget inte implementerat något stöd för klasser och objekt i prototypen.</p> / <p>This bachelor’s project is our own project, but it is based on ideas from an assignment from the Saab Aerotech company.</p><p>The goal was to investigate if there is a need for a tool that statically can detect dynamic memory management errors, such as memory leaks, in applications written in C/C++. Since the problem of memory management errors in the C/C++ languages has been known for a long time, we decided to investigate this and the existing solutions.</p><p>We found that most tools used two methods as solutions; static and dynamic detection. Most of these tools solve the problem by dynamically detecting memory leaks and other deficiencies such as buffer overflows. However, one of these tools used static detection of these deficiencies by scanning the source code of the applications. Since all the existing solutions have some kind of inefficiency, we have investigated the possibility to develop a more efficient tool. We concluded that this is possible but it will take a lot of time and effort to implement a complete tool that statically detects memory management errors.</p><p>Our prototype statically detects dynamic memory management problems in the source code. We have used the tools Flex and Bison to develop our prototype of a static detection tool. The prototype analyzes source code written in the programming languages C and C++ and is capable of detecting memory leaks, invalid deallocations of memory, dangling pointers and reading from and writing to invalid memory areas. Currently, due to lack of time, we have not implemented any support for classes and objects in the prototype.</p>

Det här examensarbetet är baserat på idéer ur ett uppdrag från företaget Saab Aerotech men är ett eget arbete. Målet var att undersöka om det finns behov av ett verktyg som statiskt kan detektera dynamiska minneshanteringsproblem, som till exempel minnesläckage, i applikationer skrivna i C/C++. På grund av att minneshanteringsfel i C/C++ länge har varit ett känt problem undersökte vi detta och de befintliga lösningarna till det. Vi fann två metoder till lösningar som de flesta verktyg använde sig av; statisk och dynamisk detektering. De flesta verktyg löste problemet genom att dynamiskt detektera minnesläckor och andra brister som till exempel buffer overflows. Ett verktyg löste dock problemet genom att statisk detektera minneshanteringsfel i källkoden för applikationerna. Eftersom alla befintliga lösningar har någon form av ineffektivitet så har vi undersökt möjligheten att utveckla ett mer effektivt verktyg. Vi har kommit fram till att denna möjlighet finns men det kräver enormt mycket tid och arbete att göra ett komplett verktyg som detekterar minneshanteringsfel statiskt. Vår prototyp detekterar dynamiska minneshanteringsproblem i källkoden statiskt. Vi har använt oss av hjälpverktygen Flex och Bison för att utveckla vår prototyp av verktyget. Prototypen kan analysera källkod skriven i programspråken C och C++ och klarar att detektera minnesläckage, felaktiga avallokeringar av minne, dangling pointers, samt läsning från och skrivning till ogiltiga minnesområden. På grund av tidsbrist har vi i nuläget inte implementerat något stöd för klasser och objekt i prototypen. / This bachelor’s project is our own project, but it is based on ideas from an assignment from the Saab Aerotech company. The goal was to investigate if there is a need for a tool that statically can detect dynamic memory management errors, such as memory leaks, in applications written in C/C++. Since the problem of memory management errors in the C/C++ languages has been known for a long time, we decided to investigate this and the existing solutions. We found that most tools used two methods as solutions; static and dynamic detection. Most of these tools solve the problem by dynamically detecting memory leaks and other deficiencies such as buffer overflows. However, one of these tools used static detection of these deficiencies by scanning the source code of the applications. Since all the existing solutions have some kind of inefficiency, we have investigated the possibility to develop a more efficient tool. We concluded that this is possible but it will take a lot of time and effort to implement a complete tool that statically detects memory management errors. Our prototype statically detects dynamic memory management problems in the source code. We have used the tools Flex and Bison to develop our prototype of a static detection tool. The prototype analyzes source code written in the programming languages C and C++ and is capable of detecting memory leaks, invalid deallocations of memory, dangling pointers and reading from and writing to invalid memory areas. Currently, due to lack of time, we have not implemented any support for classes and objects in the prototype.

There is an increasing trend in manufacturing industry for producing complex and delicate parts. As a result, the importance of having a deeper understanding of machine systems, in order toget higher accuracy of machined parts, arises. This leads to an increasing demand of testingmachine accuracy under operational condition. There are methods that has been investigated in order to test under operational condition. However, the studies were mostly focused on thestatic, quasi-static and dynamic states separately and comparison were not investigated. This thesis aims at presenting a comparative study of static and quasi-static compliance on machine tool under loaded conditions, to investigate how the stiffness changes from static toquasi-static state, and also the potential factors that would lead to this result. A 5-axis machine tool- Hermle C50U machine is used in order to perform the measurements.The method chosen for the measurements includes circular tests under loaded conditions utilizinga loaded double ball bar device. Three LVDTs are used for the measurements, in order to detect the deflection along the circular trajectory. The main parameter that undergoes study is the effect of the applied feed rate. After the measurements, the data is analyzed using MAT-LAB and the average deflections for both states are compared. In general, the results show that there is no significant difference between the two states, despite the observed different shape ofdeflection. / Det finns en ökande trend inom tillverkningsindustrin för tillverkning av komplexa och känsliga delar. Som ett resultat uppstår vikten av att ha en djupare förståelse för maskinsystem, för att få högre noggrannhet hos bearbetade delar. Detta leder till en ökande efterfrågan på att testamaskinens noggrannhet under driftsförhållanden. Det finns metoder som har undersökts för att testa under driftskondition. Studierna var dock mest inriktade på de statiska, kvasistatiska och dynamiska tillstånden separat och jämförelsen undersöktes inte. Denna avhandling syftar till att presentera en jämförande studie av statisk och kvasi-statisk överensstämmelse på maskinverktyg under belastade förhållanden, för att undersöka hur styvheten förändras från statiskt till kvasi-statiskt tillstånd, och även de potentiella faktorer som skulle leda till detta resultat. Ett 5-axligt verktygsmaskin- Hermle C50U-maskin används för att utföra mätningarna.Metoden som valts för mätningarna inkluderar cirkulära tester under belastade förhållanden med användning av en laddad dubbelkulstångsanordning. Tre LVDT används för mätningarna för att detektera nedböjningen längs cirkelbanan. Huvudparametern som genomgår studier är effekten av den applicerade matningshastigheten. Efter mätningarna analyseras data med MATLAB och de genomsnittliga avböjningarna för båda tillstånden jämförs. I allmänhet visar resultaten att det inte finns någon signifikant skillnad mellan de två tillstånden, trots den observerade olika avböjningsformen.

<p>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.</p>

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.