Sökning: "Oskar Söderberg"

Visar resultat 1 - 5 av 8 uppsatser innehållade orden Oskar Söderberg.

  1. 1. Energikartläggning av mobilt batterilager i kombination med en högeffektsladdare och påverkan på det lokala elnätet

    Uppsats för yrkesexamina på avancerad nivå, Uppsala universitet/Institutionen för fysik och astronomi; Uppsala universitet/Elektricitetslära

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Elektriska tunga fordon; mobilt batterilager; lokalt elnät; solcellspark; stabilitet; energikartläggning; låglast; höglast; SoC;

    Sammanfattning : To achieve the established environmental goals, a significant transformation is requiredin the Swedish transport sector. This includes a shift away from fossil fuels and a greateremphasis on electrifying a larger portion of the vehicle fleet. LÄS MER

  3. 2. Automated Inference of ACSL Contracts for Programs with Heaps

    Master-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oskar Söderberg; [2023]
    Nyckelord :Formal Verification; Contract Inference; Model Checking; Deductive Verification; Theory of Heaps; ACSL; Translation; Formell Verifiering; Kontrakth¨arledning; Modellprovning; Deduktiv Verifiering; Theory of Heaps; ACSL; Overs¨attning;

    Sammanfattning : Contract inference consists in automatically computing contracts that formally describe the behaviour of program functions. Contracts are used in deductive verification, which is a method for verifying whether a system behaves according to a provided specification. The Saida plugin in Frama-C is a contract inference tool for C code. LÄS MER

  4. 3. Ödrift av sportfastigheter : I samarbete med Sportfastigheter AB

    Uppsats för yrkesexamina på grundnivå, SLU/Dept. of Energy and Technology

    Författare :Waldemar Andersson; Erik Backlund; Johan Maier; Oskar Söderberg; Henrik Traneus; Qiancheng Yu; Maximilian Jatzkowski; [2021]
    Nyckelord :biobränsle; bränslekvalitet; substansförluster; fukthalt; data analys; lagring;

    Sammanfattning : Self-sufficient energy systems have been established as a local solution to the global increase in energy demand. This project, in collaboration with Sportfastigheter AB, aims to investigate the potential for energy self-sufficiency of sports facilities within Uppsala kommun. LÄS MER

  5. 4. Activity Recogniton Using Accelerometer and Gyroscope Data From Pocket-Worn Smartphones

    Kandidat-uppsats, KTH/Skolan för elektroteknik och datavetenskap (EECS)

    Författare :Oskar Söderberg; Oscar Blommegård; [2021]
    Nyckelord :Activity Recognition; Accelerometer; Gyroscope; Data collection; Data Preprocessing; Feature Selection; ANN; SVM;

    Sammanfattning : Human Activity Recognition (HAR) is a widelyresearched field that has gained importance due to recentadvancements in sensor technology and machine learning. InHAR, sensors are used to identify the activity that a person is performing. LÄS MER

  7. 5. The Seeking of a Business-Optimal Transfer Price - In accordance with the Arm's Length Principle

    Uppsats för yrkesexamina på avancerad nivå, Lunds universitet/Juridiska institutionen; Lunds universitet/Juridiska fakulteten

    Författare :Oskar Paladini Söderberg; [2019]
    Nyckelord :Transfer pricing; game theory; skatterätt; international taxation law; Arm s length principle; Law and Political Science;

    Sammanfattning : The search of a business-optimal transfer price has been going on for decades. One interesting solution aimed to, by the use of game theory, bargaining theory and transfer pricing, create a quantitative solution to optimize the global profits of a multinational enterprise. LÄS MER