A simulation model for an automatic gearbox with primary retarder has been constructedand implemented, in this thesis. Together with other modelled vehicle components, thismodel could for example be used for fuel consumption estimation or optimizing vehicleparameters.The mechanical components and the control system inside the automatic gearbox weremodelled separately and then assembled into the nal gearbox model, using the objectorientedprogramming language Modelica. Modelica ensures that each individual componentcan be reused in other models.The gearbox model was validated through a number of test cycles designed to capturedierent vehicle behaviours. The test cycles were recreated in the simulation environmentand the simulation results could be compared to a real vehicle performing the same tests.Validation showed that the model succeeded in its goal, that the implemented model isreproducing similar behaviour as the real gearbox. With gear shifts taking place in aboutthe same situations and converter locking/unlocking occurring the same time in the simulationsas in the real vehicle testing. / I det här examensarbetet har en simuleringsmodell för en automatisk växellåda med primär retarder utvecklats och implementerats. Tillsammans med andra modeller från fordonoch drivlina skulle denna simuleringsmodell kunna användas för att uppskatta ett fordonsbränsleförbrukning eller till att optimera olika fordonsparametrar.De olika mekaniska komponenterna samt kontrollsystemet i växellådan modellerades separat.Dessa modeller kunde sedan sammanfogas för att bygga den slutliga växellådsmodellen.Alla modeller implementerades i det objektorienterade programmeringsspråket Modelica,som tillåter en stor återanvändningsbarhet till vardera enskild komponent.Den implementerade modellen verierades genom ett antal provcykler, utformade för attfånga olika beteenden hos växellådan. Dessa cykler har återskapats i simuleringsmiljön ochmed det kunde resultat från simuleringar jämföras mot data från ett verkligt fordon somutförde samma prov.Från verieringen har slutsatsen dragits att modellen uppfyllde målen med projektet. Målen var, att den slutliga simuleringsmodellen visar ett liknande beteende som en växellåda i ett verkligen fordon. Växlingar och låsning/upplåsning hos momentomvandlareninträande vid ungefär samma situationer i simuleringarna som i provningen med det verkligafordonet.

In this project, we analyse the ability of two regional climate models to simulate meteorological conditions on Nordenskiöldbreen, a glacier in Svalbard. To do so, regional climate model output is compared with in situ measurements from an automatic weather station. Detailed information about the weather conditions on Nordenskiöldbreen is important for simulating the glacial mass balance in a changing climate. The parameters analysed were the following: temperature, air pressure, relative humidity, precipitation, cloud cover, wind speed and wind direction. The weather station did not measure all parameters, cloud cover was instead estimated through the incoming longwave radiation and temperature, while precipitation was calculated from snow depth. The results show that the models represent certain parameters better than others. Temperature, air pressure and wind speed and direction are found to be simulated with high precision. Poorest agreement is found for precipitation, which appears to be both difficult to simulate and observe. Relative humidity and cloud cover show average agreement with the station. The conclusion of the project is that the estimation of some of the parameters is satisfactory, while others are lacking. None of the models can be determined to have performed significantly better than the other. / I det här projektet analyserades två regionala klimatmodellers förmåga att simulera meteorologiska förhållanden på Nordenskiöldbreen, en glaciär på Svalbard. Detta gjordes genom jämförelser av data från regionala klimatmodeller mot lokala mätningar från en automatisk väderstation. Detaljerad information om väderförhållandena på Nordenskiöldbreen är viktigt för att kunna simulera glaciärens massbalans i ett föränderligt klimat. Parametrarna som jämfördes var temperatur, lufttryck, relativ luftfuktighet, nederbörd, molntäcke samt vindhastighet och vindriktning. Stationen mätte inte alla parametrar, molntäcket uppskattades istället genom inkommande långvågig strålning och temperatur, medan nederbörd beräknades via snödjup. Resultatet visar att modellerna representerar vissa parametrar bättre än andra. Temperatur, lufttryck, vindhastighet och vindriktning simuleras med hög precision. Parametern med lägst samband är nederbörd, somverkar vara svår både att simulera och observera. Relativ luftfuktighet och molntäcke har ett medelmåttigt samband till stationen. Slutsatsen av projektet är att modellernas uppskattning av några parametrar är tillräckligt bra, medan andra är bristfälliga. Ingen av modellerna kan bedömas ha presterat signifikant bättre än den andra.

Automatisk sparning i datorprogram undersöks från perspektivet hur användare upplever tryggheten till att deras arbete ska finnas kvar när de arbetar med en dator, och hur de reagerar på en ny typ av design. Det finns ett problem som ligger i hur datorer rent tekniskt är uppbyggda, jämfört med hur datoranvändare är vana att objekt fungerar i verkligheten. Nuvarande och gamla dator- program har tittats på för att se hur de har löst funktionerna kring sparning. Som teori för hur sparning förstås av dator- användare används mentala modeller och metaforer. Människans begränsningar hos minne och uppmärksamhet används för att förklara varför sparning bör skötas automatiskt. En serie undersökningar är gjorda som visar att den genomsnittlige dator- användaren idag anser sig lita på datorer till stor del när de arbetar med dem, samtidigt som de har beteenden som antyder att de inte litar på dem. Slutligen gjordes ett test med ett krånglande datorprogram som alltid bevarar användarens arbete. Dess resultat visar att datoranvändare kan lita på transparenta program som sparar i bakgrunden, utan att användaren märker någonting.

Introduktion: Vid ekokardiografi används ultraljudsvågor med frekvens över 20 000Hz. Ultraljudssändare med piezoelektriska kristaller används för att generera ljudvågor som skickas ut i kroppen, reflekteras och sedan återvänder till kristallerna för att skapa en ultraljudsbild. Ejektionsfraktionen uttrycker hur stor del av den diastoliska volymen som pumpas ut i kroppen under systole och är en viktig parameter vid bedömning av den globala systoliska funktionen. Den rekommenderade metoden Simpsons biplan jämförs med Philips automatiska funktion a2Dq, som utgår ifrån speckle tracking principen, för bedömning av ejektionsfraktionen. Material och metod: 32 hjärtfriska testpersoner mellan 20–43 år inkluderades i tvärsnittsstudien. Apikala 4- och 2-kammarbilder insamlades ifrån testpersonerna och användes för beräkning av ejektionsfraktionen. Den manuella metoden Simpsons biplan grundas på operatörens utlinjering av endokardiet. Den automatiska funktionen a2Dq utgår ifrån 53 hjärtmodeller och placerar en region of interest automatiskt. Den semiautomatiska funktionen används genom att operatören modifierar region of interest men inte längden av vänsterkammaren. Resultat: Resultatet visade att det inte förelåg någon signifikant skillnad i mätvärdena av ejektionsfraktionen mellan de tre mätprinciperna. Den semiautomatiska och manuella metoden som är operatörsberoende hade likvärdiga mätresultat. Den automatiska funktionen erhöll totalt 6 mätvärden som hamnade utanför normalgränserna. Diskussion: Automatiska funktioner för bedömning av ejektionsfraktionen utvecklas snabbt och kräver utvärderingar. Automatiska mätningar har påvisats vara fördelaktiga då de inte är så tidskrävande som den manuella Simsons biplanmetoden. Tidsaspekten framhävs i de flesta studier dock på bekostnad av säkra mätresultat. Observationerna i denna studie påvisar att den automatiska funktionen inte är säker nog för användning. Konklusion: Enligt observationer ifrån denna studien rekommenderas att den automatiska funktionen ifrån Philips inte används. / Introduction: Ultrasound are soundwaves with frequencies above 20 000Hz. Piezoelectric crystals are used to generate sound waves that can be transmitted into the tissue and reflected back to the crystals to obtain an ultrasound image. The ejection fraction expresses how much blood the left ventricle pumps out with each contraction and is an important parameter for assessment of the hearts global systolic function. The recommended method Simpson´s biplane to assess ejection fraction is compared with Philips automatic function a2Dq, which is based on the principle of speckle tracking. Material and method: The study population included 32 tests subjects with age between 20-43 years old. The test subjects had no records of earlier heart pathologies. Apical 4- and 2-chamber images were collected for the purpose to measure the ejection fraction. The manual method Simpson´s biplane is based on the sonographers manual tracking of the endocardial border. The automatic function a2Dq is based on 53 heart models with different anatomy and physiology and applies a region of interest automatically along the endocardial border. The semi-automatic function allows the sonographer to adjust the region of interest but not the length of the chamber. Result: The result showed that there was no significant difference in the measured values of ejection fraction between the three different techniques. The semi-automatic and Simpson´s biplane method showed equivalent results. The automatic function showed a wide variance of measurements which resulted with a total of 6 measurement ended up below the normal values for ejection fraction. Discussion: Automatic functions for assessing the ejection fraction rapidly develops and requires validations. Automatic functions have shown to be advantageous as the are not as time-consuming as the manual Simpson´s biplane method. In most studies, however, the time aspect is emphasized at the expense of correct measurements results. The observations in this study show that the automatically function a2Dq from Philips are not providing correct measurements. Conclusion: According to observations in this study, it´s recommended that the automatic function from Philips shouldn’t be used.

The thesis introduces a study about the different ways of generating metadata and implementing them in web pages. Metadata are often called data about data. In web pages, metadata holds the information that might include keywords, a description, author, and other information that helps the user to describe and explain an information resource in order to use, manage and retrieve data easily. Since web pages depend significantly on metadata to increase the traffic in search engines, studying the different methods of generation of metadata is an important issue. Generation of metadata can be made both manually and automatically. The aim of the research is to show the results of applying different methods including a new proposed method of generating automatic metadata using a qualitative study. The goal of the research is to show the enhancement achieved by applying the new proposed method of generating metadata automatically that are implemented in web pages. / Uppsatsen presenterar en studie om olika sätt att generera metadata och genomföra dem på webbsidor. Metadata kallas ofta data om data eller information om information som innehåller den information som hjälper användaren att beskriva, förklara och hitta en informationskälla för att kunna använda, hantera och hämta data enkelt. Eftersom webbsidor är märkbart beroende av metadata för att öka trafiken i sökmotorer, att studera olika metoder för skapandet av metadata är en viktig fråga. Skapande av metadata kan ske både manuellt och automatiskt. Syftet med forskningen är att visa resultaten av tillämpningen av olika metoder inklusive en ny föreslagen metod för att generera automatiska metadata med hjälp av en kvalitativ studie. Målet med forskningen är att visa förbättringen som uppnås genom den nya föreslagna metoden för att generera metadata automatisk som genomförs på webbsidor.

Client-side web applications have recently gone from progressive enhancements to powering large scale Single-page Applications (SPAs). Testing such applications is a tedious effort, often requiring manually constructing tests and emulating the browser, which leads to high programming effort and low performance. This thesis investigates how web applications can be designed, implemented and tested in order to make reliable applications with high test performance using Design by Contract (DbC) and automatically generated tests without significantly increasing programming effort. The results consist of a formal model for reactive programs using denotational and axiomatic semantics in order to not be tied to a specific programming language. The model is tested by implementing a sample application in Clojure and evaluating different aspects such as test coverage and test performance, in addition to mutation-based testing. Furthermore, the formal model can be used as a blueprint for developing reliable applications and serve as a formal building block for future research on web applications. Additionally, the sample application may be used as a guideline for real world development. The results show that applications implementing the formal model have generated test suites that are likely to detect programmer errors and can achieve high test coverage and performance while requiring less or equal effort when compared to other implementations and manual testing. / Klientbaserade webbapplikationer har under de senaste åren växt från mindre dynamiska förbättringar till att fullständigt driva Single-page Applikationer (SPAs). Att skriva tester för sådana applikationer är en komplex uppgift som ofta kräver emulering av webbläsare, vilket leder till mycket arbete och låg prestanda. Den här studien undersöker hur webbapplikationer kan designas och implementeras för att skapa pålitliga applikationer genom att använda Design by Contract (DbC) och automatiskt genererade tester, utan att signifikant påverka arbetsbördan för utvecklare. En formell modell för reaktiva applikationer presenteras med hjälp av denotationell och axiomatisk semantik för att inte begränsas till ett enskilt programspråk. Modellen testas genom utveckling och utvärdering av en exempelapplikation skriven i Clojure där olika aspekter såsom täckningsgrad och prestanda hos tester samt mutationsbaserad testning undersöks. I resultaten av den här studien presenteras en formell modell som kan användas som riktlinje för att bygga pålitliga webbapplikationer samt som en formell byggsten för framtida studier. Vidare så kan även exempelapplikationen användas som mall för utveckling av applikationer i industrin. Resultaten visar att applikationer som implementerar modellen har en testsvit som är trolig att upptäcka programmeringsfel samt uppnår hög täckningsgrad och prestanda, medan de kräver mindre eller liknande arbete som andra implementationer och manuellt programmerade tester.

Urbanisation has historically led to issues with property damage and sickness, due to pests such as rats. Traditionally, rats have been exterminated using poison and manually loaded traps. As of late however, more effective and humane means of control have been developed, such as automatic and connected traps. As rats use the sewer system as we use the highway, connecting properties together, it is natural to place traps there. Nomor, a service company that performs pest control among other services, is interested in developing their own automatic mechanical sewer mounted trap for their own specific needs. In this thesis, the fastening mechanism and enclosure for such a trap are developed, with a concept developed in a previous collaboration used as a base. In this concept, a fastening mechanism is used to fasten the trap to the open pipes located in the sewer manholes. Rats passing underneath the trap are executed by the striking of a carbon dioxide driven cylinder. The enclosure surrounds the fastening mechanism and provides an interface between it and the executional unit, which is developed separately. The final prototype, which was made mostly using 3D-printing of PLA parts and some light metalwork, was tested and evaluated using a testing rig made from layered MDF pieces. The rig was constructed with an optimal scenario in mind, with dimensions like those in pipes which Nomor are likely to want to mount the trap in. The main use of the rig was to evaluate the dimensions and fastening abilities of the trap. Tests and analysis of the construction gave that the fastening mechanism and enclosure had potential to meet the requirements from Nomor in a reliable manner, if a more sophisticated method of mounting and a better mechanism for keeping the trap fastened was developed.

IT-relaterad brottslighet ökar lavinartat och Polismyndigheten står inför nya utmaningar i att identifiera gärningsmän. Allt mer mjukvaror och tjänster blir automatiserade och det gäller även mjukvarorna som Polismyndigheten använder sig av. En av utmaningarna är den oerhörda mängd data som måste processas och analyseras i undersökningar och då förutsätts det att verktygen presenterar data med bibehållen integritet. Verktygen som används är nästan alltid tredjepartsmjukvara och då är det viktigt att rätt data plockas ut och att datan är korrekt. Denna studie har som mål att jämföra två mjukvaror i hur de identifierar och presenterar data. Studien görs i samverkan med Polismyndigheten vid Regionalt IT-brottscentrum Väst – Skövde och hoppas inbringa nya insikter och kunskaper i de verktyg som jämförelsen grundas på och med hjälp av kunskaperna kunna värdesätta integriteten hos verktygen. Resultatet som framträder i studien är att verktygen presenterar data med bibehållen integritet. / Cybercrime is on the rise in society and the Swedish Police is facing new challenges in identifying criminals. More tools and services are becoming automated, and this also applies to the tools that the Swedish Police uses. One of the challenges is the enormous amount of data that must be processed and analyzed during investigations. The tools used are always third-party programs and IT-forensics needs to rely on the organization that makes the software. This study aims to evaluate two different tools in how they identify and present artifacts. The study is conducted in collaboration with the Police Authority at the Regional IT Crime Center West - Skövde and hopes to bring new insights and knowledge into the tools on which the comparison is based on and with the help of the knowledge be able to value the integrity of the tools. The result that the study presents is that the tools are presenting data with preserved integrity.

Introduktion: Datortomografi är en effektiv och snabb undersökningsmetod och skapar en detaljrik bild. Antal datortomografi undersökningar ökar varje år och relativt högstråldoser som kan bli skadligt är oroväckande. Det finns metoder som kan sänka och/eller förebygga joniserande strålning. Artificiell intelligens kan uppfylla uppgifter som kräver mänsklig intelligens. I dagsläget pågår forskningar gällande stråldosreduktion med hjälp av artificiell intelligens. Syfte: Syftet med studien är att undersöka om det är möjligt att reducera stråldosen med hjälp av AI vid DT-undersökningar. Metod: Studiens metod är en litteraturstudie. Efter en litteratursökning i Pubmed, Cinahl och Web of science valdes 13 artiklar. Artiklar kvalitetsgranskades och analyserades. Resultat: Resultatet baserades på analys av 13 vetenskapliga artiklar. I analysen av artiklarna framkom två kategorier: Patientförberedelser (innan undersökningen) och Bildbehandling (efter undersökningen). Bildbehandling består av två under kategorier: Fantom- och patientstudier. Enligt resultaten visade automatisk patientplacering (AP) mer noggrann patient placering än manuell patientplacering (MP) och AP reducerade stråldosen redan innan undersökningen genom rätt val av vertikal placering och scanlängd. Djupinlärning bildrekonstruktion algoritmen (DLIR) reducerade stråldosen cirka 72% och gav jämförbart bildkvalitet till standarddosbilder. Slutsatser: Stråldosen kunde reduceras både genom att använda AI vid patientplacering och med hjälp av olika rekonstruktionstekniker efter att bilderna har tagits. I dagsläget finns det begränsat antal studier utförda inom området och det behövs vidare studier.

The objective of this project is to provide bars with a cost-effective and straightforward way to increase their output per employee, allowing them to reduce drink prices. To achieve this, we have fully automated the bartender’s process, with staff only required to refill ingredients as they deplete and handle the payment for orders. The prototype has been tested for accuracy in knowing which drink to pour as well as in the precision of how much to pour. In testing, the prototype demonstrated a high level of accuracy in identifying which drink to pour, utilizing a load cell programmed to dispense the drink closest to the measured weight. The pouring accuracy was slightly less precise, particularly at lower volumes, but still met expectations, achieving an average accuracy of 93.75 percent for low volumes, increasing to circa 100 percent for larger volumes. Overall, the goals for the prototype were achieved, and the prototype’s ability to increase efficiency and reduce costs for bars is highly feasible. / Syftet med detta projekt är att erbjuda barer ett kostnadseffektivt och enkelt sätt att öka produktionen per anställd och därmed sänka dryckespriserna. För att uppnå detta har vi fullständigt automatiserat bartenderns process, där personalen endast behöver fylla på ingredienser när de tar slut och hantera betalningen för beställningarna. Prototypen har testats för att säkerställa noggrannhet vid identifiering av vilken dryck som ska hällas upp samt precisionen i hur mycket som ska hällas upp. I tester visade prototypen en hög noggrannhet vid identifiering av vilken dryck som skulle hällas upp, genom att använda en lastcell för att mäta vikten av glaset. Hällnoggrannheten var något mindre precis, särskilt vid lägre volymer, men uppfyllde fortfarande förväntningarna och uppnådde en genomsnittlig noggrannhet på 93,75 procent för de lägsta volymerna, något som steg till cirka 100 procent vid större volymer. Övergripande sett har målen för prototypen uppnåtts och dess för måga att öka effektiviteten och minska kostnaderna förbarer är högst genomförbar.