Ändra sökning
Avgränsa sökresultatet
75767778 3851 - 3892 av 3892
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Träffar per sida
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
  • Standard (Relevans)
  • Författare A-Ö
  • Författare Ö-A
  • Titel A-Ö
  • Titel Ö-A
  • Publikationstyp A-Ö
  • Publikationstyp Ö-A
  • Äldst först
  • Nyast först
  • Skapad (Äldst först)
  • Skapad (Nyast först)
  • Senast uppdaterad (Äldst först)
  • Senast uppdaterad (Nyast först)
  • Disputationsdatum (tidigaste först)
  • Disputationsdatum (senaste först)
Markera
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 3851.
    Zikopi, Eleni
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    A case study research on Scrum Framework2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Agila metoder har implementerats i stor utsträckning inom branschen, medan undervisning i dessa metoder är en väsentlig del av utbildningarna för datavetenskap och teknik. Bevisdriven data om agila arbetssätt, metoder och verktyg har tagits fram från empiriska studier med studenter, men det finns ett viktigt behov av mer anekdotiska bevis för att bekräfta dessa resultat. För att fylla detta gap utforskar den här rapporten uppfattningarna och tillämpligheten av ramverket Scrum i ett studentforskningsteam i ett industriellt sammanhang. Empiriska data har samlats genom intervjuer med deltagarna i fallstudien i kombination med ett frågeformulär. Analysen visar att studentupplevelserna är främst positiva och att man lätt kan förstå fördelarna med Scrum. Utmaningarna med att implementera Scrum i en sådan miljö gäller främst balansen mellan coaching och självorganiserande, formulera exakta användarhistorier när man forskar, finner den mest lämpliga uppskattningsmetoden samt planerar forskningsrelaterat arbete. De empiriska fynden kan eventuellt extrapoleras i Scrumteam med studenter eller till och med i industriella miljöer. Slutligen bör detta forskningsarbete uppmuntra andra forskare att undersöka införandet av Scrum i ett studentkontext.

  • 3852.
    Zimmer, Loïc
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Teknisk informationsvetenskap.
    Adaptive filtering for maritime target tracking from an airborne radar2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Maritim malfoljning fran en luftburen radar star infor manga problem pa grund av miljons karaktar, de mal som ska sparas och radarplattformens rorelse. Darfor kan en unik sparningsalgoritminte na basta mojliga prestanda for varje situation som uppstar. Den maste anpassa sig sjalvtill miljon och till de mal som overvakas for att bli sa eektiv som mojligt. Anpassningsformagaar alltsa en viktig fraga inom radarsparning.Flera implementeringar av den matematiska Bayesianska berakningsteorin, vanligtvis kalladelter, har anvants i litteraturen for att forutsaga malbanor sa exakt som mojligt. Beroendepa situationer och antaganden som beaktas forvantas vissa av dem bli battre. Denna avhandlingforeslar att noggrant undersoka sparningsteknikerna som kan hittas i litteraturen ochjamfora dem for att mer precist deniera fordelarna av var och en framfor de andra. Det skulleunderlatta ett klokt val av metoden som mest sannolikt ger basta prestanda for varje given situation.Sarskilt undersoks den icke-linjara omvandlingen mellan kartesiska koordinatsystemet,som denierar tillstandsvektorn, och sfariska koordinater som anvands for matningarna. Ettmatt pa icke-linjaritet presenteras, studeras och anvands for att jamfora ett utokat Kalmanltermed partikelltret.Storleken pa de detekterade maritima malen ar en speciell egenskap som gor det mojligt attgora en klassicering baserad pa manovrerbarhet som hjalper till att anpassa sparningsteknikensom ska anvandas. Simultan foljning och klassiering, "joint tracking and classication" (JTC)pa engelska, har redan beskrivits i litteraturen med en specik matmodell. Denna avhandlinggor modellen mer realistisk med hjalp av en slumpmassig fordelning av reektionspunkten pamalets form. Sparningsmetoden ar modierad for att beakta denna nya matmodell och nagrasimuleringar utfors.Denna modierade JTC-struktur visar sig mer eektiv an JTC-strukturen som presenteras ilitteraturen. Slutligen visar denna avhandling att icke-linjaritet ar en viktig fraga som mastebeaktas for att erhalla en eektiv radarsparningsalgoritm som kan anpassa sig sjalv. Dettagaller sarskilt for utstrackta mal.

  • 3853.
    Ziyuan, Jiang
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Synthesis of GPU Programs from High-Level Models2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Moderna grafikbehandlingsenheter (GPU) tillhandahåller högpresterande generella syftes-beräkningsförmågor. De har massiva parallella arkitekturer som är lämpliga för att utföra parallella algoritmer och operationer. De är också streaminriktade enheter som är optimerade för att uppnå hög streaming för streamingbehandling. Att utforma effektiva GPU-program är en notoriskt svårt uppgift. ForSyDe-metoden är lämplig för att underlätta svårigheterna med GPU-programmering. Metodiken uppmuntrar mjukvaruutveckling från en hög nivå av abstraktion för att sedan omvandla den abstrakta modellen till en implementering genom en rad formella metoder. De befintliga ForSyDe-modellerna stöder synkron dataflöde (SDF) modell av beräkning (MoC) som är lämplig för modellering av streaming-beräkningar och är bra för att syntetisera effektiv streaming-bearbetningsprogram. Det finns också högkvalitativa designmodeller som kallas parallella mönster vilka är lämpliga för att representera parallella algoritmer och operationer. Avhandlingen analyserar metoden för modellering av parallella algoritmer med parallella mönster, och utforskar sättet att syntetisera effektiv OpenCL-implementering för GPU för parallella mönster. Avhandlingen försöker även att möjliggöra integration av parallella mönster i ForSyDe SDF-modellen för att modellera streaming parallella operationer. Ett automationsbibliotek som hjälper till att designa stream-program för parallella algoritmer som riktar sig mot GPU:er är avsedda för avhandlingsprojektet. Flera experiment utförs för att utvärdera effektiviteten hos det föreslagna biblioteket avseende implementering av högnivåmodellen.

  • 3854.
    Zografos, Dimitrios
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elkraftteknik.
    Rabuzin, Tin
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elkraftteknik.
    Ghandhari, Mehrdad
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elkraftteknik.
    Eriksson, Robert
    Prediction of Frequency Nadir by Employing a Neural Network Approach2018Ingår i: 2018 IEEE PES Innovative Smart Grid Technologies Conference Europe (ISGT-Europe), Institute of Electrical and Electronics Engineers (IEEE), 2018Konferensbidrag (Refereegranskat)
    Abstract [en]

    The increased integration rate of inverter-interfaced devices is affecting the frequency response of the modern power systems. This leads to an increase of the variability of the power generation and to a reduction of the total system's inertia. This evolution of the system necessitates the prediction of frequency metrics, so that the frequency stability of the system can be guaranteed and that necessary mitigation measures can be taken. This paper proposes a method to predict the frequency nadir by using a Neural Network (NN) approach. As the approach uses measurements during a first short time period after the event, it more accurately predicts the frequency nadir compared to using static values. Several inputs for the NN are examined and when the appropriate ones are selected, a highly accurate prediction is accomplished.

  • 3855.
    Zolich, Artur
    et al.
    Norwegian Univ Sci & Technol, Dept Engn Cybernet, NTNU, Ctr Autonomous Marine Operat & Syst NTNU AMOS, Trondheim, Norway..
    Palma, David
    NTNU, Dept Informat Secur & Commun Technol, Trondheim, Norway..
    Kansanen, Kimmo
    NTNU, Dept Elect Syst, Trondheim, Norway..
    Fjortoft, Kay
    SINTEF Ocean, Trondheim, Norway..
    Sousa, Joao
    Univ Porto, Dept Elect & Comp Engn, Porto, Portugal..
    Johansson, Karl H.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik. KTH, Skolan för elektroteknik och datavetenskap (EECS), Centra, ACCESS Linnaeus Centre. Norwegian Univ Sci & Technol, Dept Engn Cybernet, NTNU, Ctr Autonomous Marine Operat & Syst NTNU AMOS, Trondheim, Norway.;KTH Royal Inst Technol, Sch Elect Engn, Stockholm, Sweden..
    Jiang, Yuming
    NTNU, Dept Informat Secur & Commun Technol, Trondheim, Norway..
    Dong, Hefeng
    NTNU, Dept Elect Syst, Trondheim, Norway..
    Johansen, Tor A.
    Norwegian Univ Sci & Technol, Dept Engn Cybernet, NTNU, Ctr Autonomous Marine Operat & Syst NTNU AMOS, Trondheim, Norway..
    Survey on Communication and Networks for Autonomous Marine Systems2019Ingår i: Journal of Intelligent and Robotic Systems, ISSN 0921-0296, E-ISSN 1573-0409, Vol. 95, nr 3-4, s. 789-813Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The rapid development of autonomous systems and Information and Communications Technologies (ICT) create new opportunities for maritime activities. Existing autonomous systems are becoming more powerful and utilise the capabilities of several types of devices such as Autonomous Underwater Vehicles (AUVs), Unmanned Surface Vehicles (USVs) - sometimes referred as Autonomous Surface Vehicles (ASVs) -, Unmanned Aerial Vehicles (UAVs), moored and drifting systems and, recently emerging, autonomous vessels. Their importance in providing new services in maritime environments is undeniable and the opportunity for coordinated and interconnected operations is clear. However, continuous wide integration of various technologies in maritime environments still faces many challenges. Operations may take place in remote locations, so that dependence on third-party infrastructures such as satellite communication or terrestrial communication systems must be expected. The reliability, performance, availability, and cost of such systems are important issues that need to be tackled. This work reviews the major advancements on state-of-the-art autonomous maritime vehicles and systems, which are used in several different scenarios, from scientific research to transportation. Moreover, the paper highlights how available technologies can be composed in order to efficiently and effectively operate in maritime environments. Highlights of the trade-off between autonomy and communication requirements are provided and followed by an overview of promising communication and networking technologies that could encourage the integration of autonomous systems in maritime scenarios.

  • 3856.
    Zsolt Pap, Levente
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Model Predictive Control of Electric Drives -Design, Simulation and Implementation of PMSM Torque Control2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den här uppsatsen handlar om designen och implementeringen av en motorstyrning för en permanen- magnetiserad synkronmotor, med syfte att ersätta standardmotorstyrningsenheten i KTH Formula Students tävlingsbil. Implementationen av styralgoritmen testades experimentellt tillsammans med en prototyptillverkad frekvensomriktare i labbmiljö.

    Regleralgoritmer för field oriented control och finite control set model predictive control implementerades och testades i simuleringsmiljö. Den senare algoritmen visade sig prestera bättre i form av lägre vridmomentsoscillationer trots lägre switch-frekvens men den kräver samtidigt mer beräkningskraft. Övertonsinnehållet (THD) i fasströmmarna som funktion av switchfrekvensen undersöktes för de båda regleralgoritmerna, algoritmen för model predictive control gav lägre THD vid lägre frekvenser (1-20 kHz). Simuleringsresultaten användes för att motivera valet av komponenter till frekvensomriktaren.

    Regleralgoritmen för field oriented control implementerades och testades experimentellt med hjälp av ett utvecklingskort (TMS320F28335) från Texas Instruments. SPI-kommunikation användes för att konfigurera drivkretsana samt för att utläsa felkoder. Experimentalla tester som utfördes på låg spänningsnivå visade att strömmen till lasten var sinusformad. Mätning av verkningsgrad och provning tillsammans med motorn på en högre spänningsnivå gick inte att geno av att de snabba switchförloppen i kiselkarbidtransistorerna störde ut motorstyrningen.

  • 3857.
    Zurauskaite, Laura
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elektronik.
    Jones, L.
    Dhanak, V. R.
    Mitrovic, I. Z.
    Hellström, Per-Erik
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elektronik.
    Östling, Mikael
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elektronik.
    Investigation of Tm2Oj as a gate dielectric for Ge MOS devices2018Ingår i: ECS Transactions, Electrochemical Society, 2018, Vol. 86, nr 7, s. 67-73Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this work atomic layer deposited TnOj has been investigated as a high-k dielectric for Ge-based gate stacks. It is shown that when Tm203 is deposited on high-quality Ge/Ge02 gates, the interface state density of the gate stack is degraded. A series of post-deposition anneals are studied in order to improve the interface state density of Ge/GeO/TmjOs gates, and it is demonstrated that a rapid thermal anneal in O2 ambient can effectively reduce the interface state density to below 5-10" cmeV1 without increasing the equivalent oxide thickness. Fixed charge density in Ge/GeOx/Tm20j gates has also been investigated, and it is shown that while O2 post-deposition anneal improves the interface state density, the fixed charge density is degraded.

  • 3858.
    Ähdel, Victor
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    On the effect of architecture on deep learning based features for homography estimation2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Nyckelpunkts-detektion och deskriptor-skapande är det första steget av homografi och essentiell matris estimering, vilket i sin tur används inom Visuell Odometri och Visuell SLAM. Det här arbetet utforskar effekten (i form av snabbhet och exakthet) av användandet av olika djupinlärnings-arkitekturer för sådana nyckelpunkter. De hel-faltade nätverken – med huvuden för både detektorn och deskriptorn – tränas genom en existerande själv-handledd metod, där korrespondenser fås genom kända slumpmässigt valda homografier. En ny strategi för valet av negativa korrespondenser för deskriptorns träning presenteras, vilket möjliggör mer flexibilitet i designen av arkitektur. Den nya strategin visar sig vara väsentlig då den möjliggör nätverk som presterar bättre än den lärda baslinjen utan någon kostnad i inferenstid.

    Varieringen av modellstorleken leder till en kompromiss mellan snabbhet och exakthet, och medan alla modellerna presterar bättre än ORB i homografi-estimering, så är det endast de större modellerna som närmar sig SIFTs prestanda; där de presterar 1-7% sämre. Att träna längre och med ytterligare typer av data kanske ger tillräcklig förbättring för att prestera bättre än SIFT. Även fast de minsta modellerna är 3× snabbare och använder 50× färre parametrar än den lärda baslinjen, så kräver de fortfarande 3× så mycket tid som SIFT medan de presterar runt 10-30% sämre. Men det finns fortfarande utrymme för förbättring genom optimeringsmetoder som övergränsar ändringar av arkitekturen, som till exempel kvantisering, vilket skulle kunna göra metoden snabbare än SIFT.

  • 3859.
    Ängskog, Per
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elektroteknisk teori och konstruktion.
    Bäckström, Mats
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elektroteknisk teori och konstruktion.
    Samuelsson, Carl
    Saab Aeronaut, SE-58188 Linkoping, Sweden..
    Vallhagen, Bengt Kangashaka
    Saab Aeronaut, SE-58188 Linkoping, Sweden..
    Shielding Effectiveness and HPM Vulnerability of Energy-Saving Windows and Window Panes2019Ingår i: IEEE transactions on electromagnetic compatibility (Print), ISSN 0018-9375, E-ISSN 1558-187X, Vol. 61, nr 3, s. 870-877Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    In this paper, we report results from shielding effectiveness measurements on energy-saving windows and individual, coated window panes of different generations, as well as results from high-power microwave irradiation on single panes. Shielding effectiveness was measured with two complementary methods: first, with near isotropic irradiation in nested reverberation chambers, and the other with irradiation at normal incidence in a semianechoic chamber. The measurements show that the construction of the energy conserving windows has a clear impact on how well they attenuate radio frequency signals. The more modern the window or pane, the higher is the shielding effectiveness. The high-power irradiation on coated panes showed that depending on the type of coating, hotspots can build up causing the coating to crack and, hence, deteriorate the shielding effectiveness. These results may serve as guidance when reviewing high-altitude electromagnetic pulse (EMP), high-power microwave, or intentional electromagnetic interference protection of critical infrastructures, and provide assistance in the work with reduction of compromising emanations.

  • 3860.
    Ängskog, Per
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elektroteknisk teori och konstruktion.
    Näsman, Per
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE), Fastigheter och byggande.
    Mattsson, Lars-Göran
    KTH, Skolan för arkitektur och samhällsbyggnad (ABE).
    Resilience to Intentional Electromagnetic Interference Is Required for Connected Autonomous Vehicles.2018Ingår i: IEEE transactions on electromagnetic compatibility (Print), ISSN 0018-9375, E-ISSN 1558-187X, Vol. PP, nr 99Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The connected autonomous vehicle (CAV) will never be completely autonomous; on the contrary, it will be heavily dependent on so-called vehicular ad hoc networks (VANETs) for its function. To deserve the trust of the general public, the vehicles as well as the intelligent transport system (ITS) infrastructure must be able to handle not only natural disturbances but also attacks of malicious nature. In this paper, we discuss the effects of antagonistic attacks using intentional electromagnetic interference (IEMI) and how the antagonistic nature of the threat renders probabilistic risk analysis inadequate for the defense of the vehicles and the infrastructure. Instead, we propose a shift toward resilience engineering and vulnerability analysis to manage antagonistic threats. Finally, we also give two examples of possible scenarios to illustrate the type of situations a CAV must be able to handle.

  • 3861.
    Åberg, Ludvig
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Multimodal Classification of Second-Hand E-Commerce Ads2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Produkter som läggs ut på marknadsplatser, såsom Blocket.se, kategoriseras oftast av säljaren själv. Att automatisera processen för kategorisering gör det därför både enklare och snabbare att lägga upp annonser och kan minska antalet produkter med felaktig kategori. Automatisk kategorisering gör det ocksåmöjligt för marknadsplatsen att använda ett mer detaljerat kategorisystem, vilket skulle kunna effektivisera sökandet efter produkter för potentiella köpare.Produktkategorisering adresseras ofta som ett klassificeringsproblem för text, eftersom den största delen av produktinformationen finns i skriftlig form. Genom att också inkludera produktbilder kan vi dock förvänta oss bättre resultat.I den här uppsatsen evalueras olika metoder för att använda både bild och text för annonsklassificering av data från blocket.se. I synnerhetundersökslate fusion modeller, där informationen från modaliteterna kombineras i samband med klassificeringen, samt early fusion modeller, där modaliteterna istället kombineras på en abstrakt nivå innan klassificeringen. Vi introduserar också vår egen modell Text Based Visual Attention (TBVA), en utvidgning av bildklassificeraren Inception v3 [1], som använder en attention mekanism för att inkorporera textinformation. För alla modeller som beskrivs i denna uppsats används textklassificeraren fast Text[2] för att processa text och bildklassificeraren Inception v3 för att processa bild. Våra resultat visar att late fusion modeller presterar bäst med vår data. I slutsatsen konstateras att late fusion modellerna lär sig vilka fall den ska 'lita' på text eller bild informationen, där early fusion och TBVA modellerna istället lär sig mer abstrakta koncept. Som framtida arbete tror vi det skulle vara av värde att undersöka hur TBVA modellerna presterar på andra uppgifter, såsom att bedöma likheter mellan annonser.

  • 3862. Åberg, M.
    et al.
    Lingfors, D.
    Olauson, Jon
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elkraftteknik.
    Widén, J.
    Can electricity market prices control power-to-heat production for peak shaving of renewable power generation?: The case of Sweden2019Ingår i: Energy, ISSN 0360-5442, E-ISSN 1873-6785, Vol. 176, s. 1-14Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    100% renewable energy systems require high penetration of variable renewable electricity (VRE) generation. This causes the net load in the system to be more variable and could cause operational problems in local power grids. Demand side management (DSM), such as fuel or energy carrier switching in response to a price signal, can provide flexibility to meet the increased variability. This study investigates the impact of VRE production on electricity prices and their potential to act as an incentive to control district heating power-to-heat (P2H) production in order to shave VRE production peaks. Also, the potential to increase P2H production flexibility with additional heat storages is studied. Electricity prices are simulated by modification of historical electricity market supply curves. A heat storage component is implemented in an existing model for district heat production. The results show that P2H production is significantly increased (up to 98%) when electricity prices are influenced by VRE production. Thermal storages further increase the P2H production by up to 46%. The increased P2H production, however, does not necessarily coincide with the peaks of VRE. Thus, in conclusion, the pricing mechanism on the Nord pool electricity market is insufficient to control P2H production for shaving VRE production peaks.

  • 3863.
    Åberg, Oscar
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Sparf, Edvin
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Validating the Meta Attack Language using MITRE ATT&CK matrix2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    När fler och fler enheter kopplas ihop med varandra och med internet blir säkerheten för dessa enheter allt viktigare. Stora organisationer, som kan ha hundratals eller tusentals uppkopplade enheter, kan ha svårt att hitta svagheter i deras säkerhet. Dessa svagheter kan hittas med hjälp av hotmodellering. Meta Attack Language(MAL) kan användas för detta. Syftet med denna rapport är att studera vilka sorts cyberattacker som kan implementeras i MAL. För att göra detta har elva attacktekniker från cyberattacksdatabasen MITRE ATT&CK matrix implementerats i MAL. Rapporten visar att flera olika sorters cyberattacker kan implementeras i MAL. Eftersom slumpmässigt valda attackteknikerna gick att implementera i MAL, är det troligt att alla attackteknikerna i MITRE ATT&CK matrix kan implementeras i MAL.

  • 3864.
    Åkerberg, Viktor
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Effects on lifetime of lithium ion batteries using different charging strategies: case study Stockholm Arlanda Airport2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Elektriska fordon är nödvändiga vid övergången bort från förbränningsmotorer föratt minska utsläppen av växthusgaser inom transportsektorn. Till skillnad från fordonmed förbränningsmotorer måste elfordon laddas, en process som tar olika långtid beroende på effekten av laddaren, batteristorleken och laddningsmönstret. Dennarapport fokuserar på litium-jonbatterier i ett elfordon. På grund av deras höga energitäthetär litium-jonbatterier de vanligaste batterierna i elfordon. Det första kapitletförklarar sammansättningen av ett litium-jonbatteri från en enda battericell upptill ett helt batterisystem, och en litteraturstudie gjordes för att ytterligare förståfelorsaker till litiumjonbatterier. Det andra kapitlet analyserar hur batteriets livslängdpåverkas av tre olika laddningsstrategier och omgivningstemperaturen. Analysengjordes i en fallstudie av markfordon på Stockholm Arlanda Airport, Sverige.Slutsatserna från analysen är att batteriet bör laddas med laddningstillståndsgränsernära 50 %, låg laddningseffekt och en temperatur nära 20 °C för att maximera livslängden.Eftersom laddningen med låg effekt tar betydligt längre tid jämfört med högreladdningsalternativ, bör det framtida arbetet fokusera på att väga effektiviteten hosmarkfordonen med behovet av lång batterilivslängd.

  • 3865.
    Åkerblom, Beatrice
    et al.
    Computer and Systems Science Stockholm University.
    Castegren, Elias
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Programvaruteknik och datorsystem, SCS.
    Wrigstad, Tobias
    Uppsala University.
    Progress Report: Exploring API Design for Capabilities for Programming with Arrays2019Ingår i: ECOOP 2019, 2019Konferensbidrag (Refereegranskat)
  • 3866.
    Åkerlund, Elias
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Marbinah, Johan
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Undersökning av skillnader och likheter i användarvänlighetsproblem/styrkor för användargränssnitt av populära esporter inom populära genrer2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Det senaste decenniet har esporter växt förvånansvärt mycket i popularitet. Fenomenet esport har lett till utvecklingen av en hel uppsjö olika genrer, som alla har sina distinkta problem hos deras användarvänlighet i dess olika gränssnitt [22]. Den här studiens metod baseras på Nielsens tumregler för utvärdering av användarvänlighet i användargränssnitt, samt en kombination av både Turunen [5] och Quintans [2] uppsättning av frågor som även de är baserade på Nielsens tumregler, för att hitta vilka likheter och skillnader som finns i användarvänligheten hos tre olika spel som varje tillhör tre distinkta genrer, specifikt FPS (First Person Shooter), MOBA (Multiplayer Online Battle Arena) och RTS (Real-Time Strategy). De korresponderande spelen som undersöks är Counter Strike global offensive (CSGO), League of legends (LoL), respektive Starcraft II (SC2).

    Undersökningens resultat visar bland annat att SC2, spelet som representerar RTS, hade flest problem i användarvänligheten medan LoL och CSGO hade betydligt färre problem. HUD:en (Heads-Up Display) var gränssnittet som stod ut mest för SC2 eftersom det antog flest antal problem. Detta resultat kan anses som logiskt när man ser till spelets popularitet jämfört med de övriga två, då de andra är mycket populärare sett till antal visningstimmar. Dock är genrerna RTS och MOBA mycket lika i sin utformning och man hade därför kunnat förvänta sig att LoL och SC2 skulle haft ett flertal likheter, vilket de inte hade. Studien visar generellt sett på en mångfald i skillnader hos deras problem och även en mångfald i styrkor.

  • 3867.
    Åman, Agnes
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Predicting consultation durations in a digital primary care setting2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Syftet med denna uppsats är att utvärdera olika verktyg för att prediktera längden på ett läkarbesök och därmed göra det möjligt att skapa en mer effektiv schemaläggning i primärvården och på så sätt minska väntetiden för patienterna. Även om inget faktiskt schemaläggningssystem har föreslagits i denna uppsats så har fyra maskininlärningsmodeller implementerats och jämförts. Syftet med detta var bland annat att se om det var möjligt att dra slutsatsen att någon av modellerna gav bättre resultat än de andra.

    Den indata som använts i denna studie har bestått dels av symptomdata insamlad från symptomformulär ifylld av patienten före ett videomöte med en digital vårdgivare. Denna data har kombinerats med läkarens genomsnittliga mötestid i hens tidigare genomförda möten. Utdatan har definierats som längden av ett videomöte samt den tid som läkaren har behövt för administrativt arbete före och efter själva mötet.

    Ett av målen med denna studie var att undersöka som sambandet mellan indata och utdata är linjärt eller icke-linjärt. Ett annat mål var att formulera problemet både som ett regressionsproblem och som ett klassifikationsproblem. Syftet med detta var att kunna jämföra och se vilken av problemformuleringarna som gav bäst resultat. De modeller som har implementerats i denna studie är linjär regression, linjär diskriminationsanalys (linear discriminant analysis) och neurala nätverk implementerade för både regression och klassifikation.

    Efter att ha genomfört ett statistiskt t-test och en två-vägs ANOVA-analys kunde slutsatsen dras att ingen av de fyra studerade modellerna presterade signifikant bättre än någon av de andra. Eftersom linjär regression är enklare och kräver mindre datorkapacitet än de andra modellerna så dras slutsatsen att linjär regression kan rekommenderas för framtida användning tills det har bevisats att någon annan modell ger bättre resultat.

    De begränsningar som har identifierats hos studien är bland annat att det bara var fyra modeller som implementerats samt att datan som använts har vissa brister. Framtida studier som inkluderar fler modeller och bättre data har därför föreslagits. Dessutom uppmuntras framtida studier där ett faktiskt schemaläggningssystem implementeras som använder den metodik som föreslås i denna studie. 

  • 3868.
    Åstrand, Max
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Short-term Underground Mine Scheduling: Constraint Programming in an Industrial Application2018Licentiatavhandling, monografi (Övrigt vetenskapligt)
    Abstract [sv]

    Underjordsgruvans operativa prestanda är till stor del beroende av schemaläggningen av de mobila maskinerna. Allt mer avancerade metoder används för att skapa optimerade långtidsplaner samtidigt som produktionsaktiviteterna blir allt mer automatiserade. Att överföra långtidsmål till aktiviteter genom manuell schemaläggning blir därför ett begränsande segment i optimeringskedjan. I denna avhandling studerar vi automatisering av schemaläggning för underjordsgruvor och bidrar således med en viktig komponent i utvecklandet av autonom gruvdrift.

    Vi börjar med att klargöra schemaläggningsproblemet och dess omgivande kontext. Baserat på detta klargörande föreslår vi en abstraktion där problemet kan ses som en flow shop. En flow shop är en processmodell som fångar de viktigaste delarna av ett schemaläggningsproblem utan att hänsyn tas till allt för många detaljer. Vi visar att flera populära gruvbrytningsmetoder kan modelleras som en utökad variant av en k-stage hybrid flow shop. Denna utökade flow shop innehåller en mix av avbrytbara och icke avbrytbara aktiviteter, eftergångstid, indisponibla maskiner samt gemensamma maskinpooler för vissa steg.

    Sedan föreslår vi ett koncept för att lösa schemaläggningsproblemet med hjälp av villkorsprogrammering. Vi formaliserar problemet och presenterar en modell som kan användas för att lösa det. Modellen implementeras och utvärderas på probleminstanser representativa för mellanstora underjordsgruvor.

    Efter det introducerar vi restider för de mobila maskinerna i schemaläggningsproblemet. Detta grundar sig i att vägnätet i underjordsgruvor kan sträcka sig upp till flera hundra kilometer. Med det tillägget får den initiala villkorsprogrammeringsmodellen svårt att lösa större instanser. För att möta det problemet så introducerar vi en ny modell. Den nya modellen löser inte det avbrytbara problemet direkt utan börjar med att lösa ett relaterat, icke avbrytbart, problem för att sedan transformera lösningen tillbaka till den ursprungliga tidsdomänen. Denna modell är betydligt snabbare och kan lösa probleminstanser representativa för stora underjordsgruvor även när restider inkluderas.

    Avslutningsvis fokuserar vi på att hitta scheman av hög kvalitet genom att optimera med Large Neighborhood Search. För att åstadkomma detta presenterar vi ett domänspecifikt grannskap baserat på att relaxera variabler som rör aktiviteter inom vissa produktionsområden. Flera varianter av detta grannskap utvärderas och jämförs med att enbart använda omstarter. Alla metoder och modeller i den här avhandlingen är utvärderade på genererade instanser från en operativ underjordsgruva.

  • 3869.
    Åstrand, Max
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik. ABB Corp Res, Control Optimizat & Analyt, Automat Solut, Vasteras, Sweden.
    Johansson, Mikael
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Greberg, J.
    Lulea Univ Technol, Dept Civil Environm & Nat Resources Engn, Div Min & Geotech Engn, Lulea, Sweden..
    Underground mine scheduling modelled as a flow shop: a review of relevant work and future challenges2018Ingår i: The Southern African Journal of Mining and Metallurgy, ISSN 2225-6253, E-ISSN 1543-9518, Vol. 118, nr 12, s. 1265-1276Artikel, forskningsöversikt (Refereegranskat)
    Abstract [en]

    Advanced planning and automation are increasingly important in modern mines. Sophisticated methods for long-term mine planning are often used, and the advent of autonomous machines makes the actual operation more predictable. However, the interface between these two timescales, i.e. the scheduling of the mobile production fleet, often limits the ability to operate mines at maximum profitability. We show how scheduling the production fleet in an underground mine can be modelled as a flow shop. A flow shop is a general abstract process formulation that captures the key properties of a scheduling problem without going into specific details. Thus, the flow shop enables mine scheduling to reap the benefits of scheduling research from other industries. We review recent results from the mining community and the flow shop community, and introduce scheduling methods used in these two fields. This work aims at providing value to researchers from the mining community who want to leverage their skill set, as well as to theoretical researchers by presenting the mining process as a potential application area. Lastly, we discuss the results, and outline some future challenges and opportunities facing the industry.

  • 3870.
    Åstrand, Max
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik. ABB Corp Res, Control Optimizat & Analyt, Automat Solut, Vasteras, Sweden..
    Johansson, Mikael
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Greberg, J.
    Lulea Univ Technol, Dept Civil Environm & Nat Resources Engn, Div Min & Geotech Engn, Lulea, Sweden..
    Underground mine scheduling modelled as a flow shop: a review of relevant work and future challenges2018Ingår i: The Southern African Journal of Mining and Metallurgy, ISSN 2225-6253, E-ISSN 1543-9518, Vol. 118, nr 12, s. 1265-1276Artikel, forskningsöversikt (Refereegranskat)
    Abstract [en]

    Advanced planning and automation are increasingly important in modern mines. Sophisticated methods for long-term mine planning are often used, and the advent of autonomous machines makes the actual operation more predictable. However, the interface between these two timescales, i.e. the scheduling of the mobile production fleet, often limits the ability to operate mines at maximum profitability. We show how scheduling the production fleet in an underground mine can be modelled as a flow shop. A flow shop is a general abstract process formulation that captures the key properties of a scheduling problem without going into specific details. Thus, the flow shop enables mine scheduling to reap the benefits of scheduling research from other industries. We review recent results from the mining community and the flow shop community, and introduce scheduling methods used in these two fields. This work aims at providing value to researchers from the mining community who want to leverage their skill set, as well as to theoretical researchers by presenting the mining process as a potential application area. Lastly, we discuss the results, and outline some future challenges and opportunities facing the industry.

  • 3871.
    Åstrand, Max
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik. ABB Corporate Research Center, Västerås, Sweden.
    Johansson, Mikael
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Zanarini, A.
    Fleet scheduling in underground mines using constraint programming2018Ingår i: 15th International Conference on Integration of Constraint Programming, Artificial Intelligence, and Operations Research, CPAIOR 2018, Springer, 2018, Vol. 10848, s. 605-613Konferensbidrag (Refereegranskat)
    Abstract [en]

    The profitability of an underground mine is greatly affected by the scheduling of the mobile production fleet. Today, most mine operations are scheduled manually, which is a tedious and error-prone activity. In this contribution, we present and formalize the underground mine scheduling problem, and propose a CP-based model for solving it. The model is evaluated on instances generated from real data. The results are promising and show a potential for further extensions.

  • 3872.
    Åstrand, Max
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik. ABB Corporate Research, Sweden.
    Saarinen, K.
    Sander-Tavallaey, S.
    Surrogate models for design and study of underground mine ventilation2018Ingår i: 22nd IEEE International Conference on Emerging Technologies and Factory Automation, ETFA 2017, Institute of Electrical and Electronics Engineers (IEEE), 2018, s. 1-8Konferensbidrag (Refereegranskat)
    Abstract [en]

    Ventilation is vital for the production in an underground mine. Therefore, it is important to have efficient and accurate design tools in order to ensure and optimize the airflows in the mine. There are several commercial software for airflow simulation based on first principles. However, the computational cost of simulation together with integrational obstacles when connecting simulation to control strategies limits the benefit of these tools. In this paper an approach utilizing surrogate models as a complementary design tool is presented. It is shown that using surrogate models one can with rather low computational expense evaluate and benchmark different control strategies. It is also shown that the models can be used for identifying possible bottlenecks in the system in advance. Moreover, the use of surrogate models transfer the simulation into a development-friendly environment (such as Matlab). A test case is used based on a real underground mine ventilation design. Two types of surrogate models are fitted to process data; multiple least squares regression and a Gaussian process model. Sensitivity analysis on the surrogate shows the potential of using surrogate models for identifying bottlenecks. Furthermore, the surrogate is used to benchmark two different control strategies for mine ventilation.

  • 3873.
    Ótão Pereira, Pedro Miguel
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Geometric Control of Thrust Propelled Systems2019Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [sv]

    Denna avhandling inspirerades av AEROWORKS, ett europeiskt forskningsprojekt vars huvudsakliga syfte var att distribuera flera heterogena obemannade flygplan i miljöer med begränsat mänskligt ingripande. Avhandlingen undersöker kontroll av flygplan för lasttransport, vilket är en viktig tillämpning vid till exempel inspektion och underhåll av åldringsinfrastrukturer.

    Därutöver fokuserar avhandlingen på kontroll av multi-agent system där agenter ska uppnå ett gemensamt mål, som exempelvis vid samarbete för transporter av gemensam last. I den första delen av avhandlingen fokuserar vi på kontroll av tryckdrivna system. Ett tryckdrivet system liknar ett flerrotorsystem där en tryckingång är tillgänglig i flera riktningar, vilket vi kan rotera med en momentinmatning. I ett första steg utvecklar vi regulatorer för det tryckdrivna systemet genom att tillämpa icke-linjär reglerteknik. I ett andra och sista steg omvandlar vi {ett fysiskt system} med en lämplig koordinatändring i det tryckdrivna systemet, vilket möjliggör att använda de styrenheter som utformats i det första steget.

    Bland de fysiska system som undersöks betonar vi flygtransporter med hängande last där en last är kopplad till ett luftfordon, samt där en last är kopplad till två luftfordon. En annan nyckelidé, som används i hela avhandlingen, är geometrisk reglerteknik där man försöker utforma regulatorer som är oberoende av användarval. Detta innebär att när ett experiment utförs och en användare väljer en referensram, är applikationen av en geometrisk regulator okänslig inför valet av referensram. En icke-geometrisk regulator däremot ger olika resultat beroende på vilken ram som väljs. Experiment och simuleringar illustrerar prestandan för de föreslagna kontrollstrategierna för olika mekaniska system.

    I den andra delen av denna avhandling fokuserar vi på global stabilisering av mekaniska system, i motsats till den första delen, där i mindre utsträckning global till lokal stabilisering var tillräcklig. För non-contractible sets, som återfinns genomgående i avhandlingen, existerar dock inte en global stabil asymptotiskt jämviktspunkt under en kontinuerlig reglersignal. Vi tar särskilt i beaktning en fast pendel som vi önskar stabilisera globalt vid en specifik önskad konfiguration. För att uppnå det ovan beskrivna skapar vi ett diagram mellan flera stabiliserande kontinuerliga reglersignaler och växlar mellan dessa för att uppnå den önskade jämvikten med en global samlingsregion. Detta har vi validerat i simuleringar.

    I den sista delen av avhandlingen undersöker vi ett multi-agent system som består av rotationsmatriser, och vi utformar regulatorer som garanterar asymptotisk ofullständig synkronisering. Framför allt utvecklar vi decentraliserade vridmomentregulatorer för agenterna. När riktningarna som ska synkroniseras är huvudaxlarna kan vi föreslå regulatorsignaler för vridmoment som inte kräver vridmoment-inmatning i alla riktningar, utan endast i riktningarna ortogonala respektive huvudaxel. Slutligen presenteras simuleringar som illustrerar resultatet av den föreslagna reglerstrategin.

  • 3874.
    Ótão Pereira, Pedro Miguel
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Dimarogonas, Dimos V.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Lyapunov-based Generic Controller Design for Thrust-Propelled Underactuated Systems2016Ingår i: 2016 EUROPEAN CONTROL CONFERENCE (ECC), IEEE , 2016, s. 594-599Konferensbidrag (Refereegranskat)
    Abstract [en]

    We present a controller for an underactuated system which is driven by a one dimensional linear acceleration/thrust along a direction vector, by a time-varying gravity, and by the angular acceleration of the direction vector. We propose state and time-dependent control laws for the linear and angular accelerations that guarantee that the position of the system is steered to the origin. The proposed control law depends on (i) a bounded control law for a double integrator system; and (ii) on a Lyapunov function that guarantees asymptotic stability of the origin for the double integrator system when controlled with the previous bounded control law. As such, the control law forms a family of control laws depending on (i) and (ii). The complete state space of the system, under the proposed control laws, has two equilibria, and by proper control design, a trajectory of the system is guaranteed to converge to only one of those. The overall design provides a common framework for controlling different systems, such as quadrotors and slung load transportation systems.

  • 3875.
    Ótão Pereira, Pedro Miguel
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Roque, Pedro
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Dimarogonas, Dimos V.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Asymmetric Collaborative Bar Stabilization Tethered to Two Heterogeneous Aerial Vehicles2018Ingår i: 2018 IEEE INTERNATIONAL CONFERENCE ON ROBOTICS AND AUTOMATION (ICRA), IEEE Computer Society, 2018, s. 5247-5253Konferensbidrag (Refereegranskat)
    Abstract [en]

    We consider a system composed of a bar tethered to two unmanned aerial vehicles (UAVs), where the cables behave as rigid links under tensile forces, and with the control objective of stabilizing the bar's pose around a desired pose. Each UAV is equipped with a PID control law, and we verify that the bar's motion is decomposable into three decoupled motions, namely a longitudinal, a lateral and a vertical. We then provide relations between the UAVs' gains, which, if satisfied, allows us to decompose each of those motions into two cascaded motions; the latter relations between the UAVs' gains are found so as to counteract the system asymmetries, such as the different cable lengths and the different UAVs' weights. Finally, we provide conditions, based on the system's physical parameters, that describe good and bad types of asymmetries. We present experiments that demonstrate the stabilization of the bar's pose.

  • 3876.
    Ödegaard Jacobsson, Sofia
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Deepening User Engagement on an Esports Platform Using Gamification: A Multi-Conceptual Study2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Under senare år har det globala intresset för esport ökat exponentiellt, vilket har öppnat upp för ny teknik och produkter att utvecklas. Ett exempel är esportplattformar som tillgängliggör spelare med en gemensam plats att utföra sina esportrelaterade aktiviteter. Denna studie använder aktuell forskning om motivation och användarengagemang för att utveckla tre konceptuella designförslag som visar hur lämpliga gamificationkomponenter kan inkorporeras i en esportplattform för att fördjupa användarengagemang. Dessa konceptuella designförslag utvärderas i en fokusgrupp där deltagarna har expertkunskaper inom esport, användarupplevelse, teknik och speldesign. Baserat på resultaten utformas konceptuella riktlinjer och två slutliga konceptuella designförslag presenteras. Med dessa två slutliga designförsag syftar denna studie till att bidra till och inspirera framtida designarbeten inom gamification och esport.

  • 3877.
    Ögren, Petter
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Robotik, perception och lärande, RPL.
    Colledanchise, Michele
    KTH, Skolan för datavetenskap och kommunikation (CSC), Datorseende och robotik, CVAP.
    Behavior Trees in Robotics and AI: An Introduction2018 (uppl. First)Bok (Refereegranskat)
    Abstract [en]

    Behavior Trees (BTs) provide a way to structure the behavior of an artificial agent such as a robot or a non-player character in a computer game.  Traditional design methods, such as finite state machines, are known to produce brittle behaviors when complexity increases, making it very hard to add features without breaking existing functionality.  BTs were created to address this very problem, and enables the creation of systems that are both modular and reactive. Behavior Trees in Robotics and AI: An Introduction provides a broad introduction as well as an in-depth exploration of the topic, and is the first comprehensive book on the use of BTs.

  • 3878.
    Öhman, Emil
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Strategiska frågeställningar vid etablering av öppna API:er hos Skatteverket, vars funktion utgår från existerande e-tjänster2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Examensarbetet föreslår en effektivare process för att analysera olika frågeställningar vid Skatteverkets utveckling av öppna API:er. Frågeställningarna är främst olika juridiska krav men också tekniska och säkerhetsmässiga. Skatteverkets har i dag ett antal e-tjänster med potential att utveckla till öppna API:er. Skatteverket är den svenska statliga myndighet som ansvarar för folkbokföring, beskattning, fastighetstaxering med mera vilket skulle vara ett steg framåt i den moderna e-förvaltningen.

    Rapporten tar också upp bakgrundsfakta om det juridiska, om öppna data samt olika sätt att använda och tillgängliggöra API:er för allmänheten och skillnaderna mellan öppna data och API:er.

    Vi har lagar och regeringsdirektiv som öppnar upp och uppmuntrar vidareutnyttjande och tillgång till data, men vi har också lagar som skapar begränsningar vilket gör analysen för att tillgängliggöra mer information väldigt viktig. Förutom vanliga lagar gäller också registerlagar som definierar mer precist hur Skatteverket får arbeta med registerlagsskyddad information.

    Skatteverkets nuvarande e-tjänster och API:er har analyserats med tanke på vidareutveckling samt undersökning av hur medarbetare på Skatteverket ser på framtida användning av dessa API:er samt nätverksekonomin.

    Som ett exempel kan det tänkas att man med hjälp av API:er via företags affärssystem enkelt kan göra en CSR-förfrågan varje månad för att då kunna justera skatteinbetalningar och minska riskerna att de anställda fått för mycket eller för lite skatt inbetalt till Skatteverket vilket kan leda till problem. Detta sparar också tid på företagens personalavdelningar.

    Ett flödesschema har konstruerats för att ge ett effektivt stöd i analysen, om det är lämpligt att en e-tjänst tillgängliggörs via API, samt utvecklingen av API-tjänsten.

    Den komplexa kravbilden gör att det är svårt att ge ett standardsvar för om det är lämpligt för att e-tjänster tillgängliggörs via API samt att det också är viktigt att ha säkerheten i åtanke. Det är också viktigt att vara införstådd med att teknik och juridik förändras över tid vilket medför att det behövs kontinuerliga analyser för att se att de uppfyller samtliga krav.

  • 3879.
    Öhman, Simon
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Data Gathering From Educational User Devices: A Learning Framework for the Inicio Organisation2018Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Sverige går för närvarande genom förändringar i läroplaner, kursplaner och ämnesplaner för grundskolan och gymnasieskolan för att anpassa sig till det växande behovet av digital kompetens i samhället. Inicio är en organisation som strävar efter att hjälpa skolorna att anpassa sig till dessa förändringar i strategin. Inicio arrangerar events där eleverna kan arbeta med pedagogiska användaranordningar, utformade för att utbilda användaren på specifika områden.

    Inicio vill förstå hur användarna lär sig, medan de använder de pedagogiska användaranordningarna. Denna rapport svarar på den frågan genom att använda ett inlärningsramverk som beskriver hur användningsdata kan samlas in och analyseras. Dessutom möjliggör ramverket analys av både enheterna och eventen i sig. Detta ger Inicio möjligheten att mäta kvaliteten på vad de tillhandahåller och utföra förbättringar vid behov. Ramverket är byggt för att vara generellt nog för att kunna tillämpas på framtida områden som Inicio kan vilja expandera till.

    Det färdiga ramverket är resultatet av en iterativ process där användbarhet, skalbarhet och användarvänlighet har varit huvudfokus. Rapporten erbjuder resultat i form av ramverket, två drömscenarier, ett praktiskt exempel för en aktuell anordning, dokumentation och ett visuellt hjälpmedel för att förenkla användningen av ramverket. Drömscenarierna består av användarfall som är utformade för att testa ramverket för framtida produkter i både hårdvaruoch mjukvarumiljöer.

  • 3880.
    Östling, Marcus
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Lilja, Joakim
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    A comparison of machine learning algorithms for automatic classification of neurons by their morphology2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Klassificering av nervceller har varit ett studerat ämne inom neurovetenskap i flera år och med ökningen av data uppmuntras nya metoder att hjälpa med klassificeringen. I denna studie jämförs olika maskininlärningsalgoritmer för att se vilka som passar bättre för klassificering av stora datamängder av morfologiska rekonstruktioner i multidimensionell karakteristisk rymd. Tio algoritmer jämfördes på en datamängd med över 10 000 prover av nervceller från möss. Vidare undersöktes också varje algoritms förmåga att klassificera varje enskild celltyp. Resultaten visar att Random Forest hade den bästa övergripande medelprecisionen följt av Multi-layer Perceptron med 83% respektive 78%. Fortsättningsvis observerades klassificeringen av enskilda celltyper att alla algoritmerna varierade i precision och Random Forest ansågs inte vara den bästa i varje fall. Sammanfattningsvis är maskininlärningsalgoritmer användbara verktyg för att klassificera nervceller, men mer forskning behövs göras för att nå högre precision.

  • 3881.
    Östling, Mikael
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Exciting Progress2019Ingår i: IEEE Journal of the Electron Devices Society, Vol. 7, nr 1, artikel-id 8656607Artikel i tidskrift (Refereegranskat)
  • 3882.
    Övermark, Timo
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Assessment of Coverage and Effect of Web Content Accessibility Guidelines 2.12018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Riktlinjerna för tillgängligt webbinnehåll (WCAG) är en viktig resurs för att göra webbsidor mer tillgängliga för personer med funktionsnedsättningar. Riktlinjerna används som informationskälla av webbinnehållsskapare, men också i standarder som grund för lagstiftning när man mäter om en webbplats är tillgänglig. Riktlinjerna har kritiserats för att dom inte är tillräckligt omfattande när man studerar tillgänglighet med användare, särskilt med personer med kognitiva funktionsnedsättningar. En nyligen släppt version av riktlinjerna, WCAG 2.1, syftar till att förbättra tillgängligheten men har ännu inte studerats.

    Syftet med detta forskningsprojekt är att utvärdera om riktlinjerna ger en tillräcklig nivå av tillgänglighet for en webbplats genom att utföra en användarstudie och jämföra resultaten med WCAG riktlinjerna för att ta reda på om problemen som användarna upptäckte skulle lösas genom att följa riktlinjerna. 3 webbplatser testades med totalt 6canvändare från 3 olika funktionshindergrupper. Webbplatser granskades också med WCAG 2.0 och 2.1.

    Resultaten visar att ingen av webbplatserna uppfyllde alla kriterier i WCAG. Användarna hittade 40 problem, varav 32,5% skulle undvikas om webbplatserna uppfyllde WCAG-kriterierna. De flesta av de problem som inte omfattas av WCAG gällde förståelse och läsbarhet av innehållet och olika element på sidan. Blinda gruppen fann det största antalet problem, men nästan hälften av problemen skulle undvikas genom att följa WCAG, jämfört med endast 13% för personer med kognitiva funktionsnedsättningar. Alla kritiska problem omfattades av WCAG, men största delen av allvarliga problem stod kvar, som visar att WCAG räcker inte som den enda sätt at mäta tillgänglighet.

  • 3883.
    Özger, Mustafa
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Kommunikationssystem, CoS, Radio Systems Laboratory (RS Lab).
    Vondra, Michal
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Kommunikationssystem, CoS, Radio Systems Laboratory (RS Lab).
    Cavdar, Cicek
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Kommunikationssystem, CoS, Radio Systems Laboratory (RS Lab).
    Towards Beyond Visual Line of Sight Piloting of UAVs with Ultra Reliable Low Latency Communication2018Ingår i: 2018 IEEE Global Communications Conference, GLOBECOM 2018 - Proceedings, Institute of Electrical and Electronics Engineers (IEEE), 2018, artikel-id 8647652Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper, we propose a model for beyond visual line of sight (BVLOS) operation for remote piloting of unmanned aerial vehicles (UAVs), which utilizes different technologies such as mobile edge computing and augmented reality. Ultra reliable low latency communication (URLLC) is a key service of 5G that enables safe BVLOS operation. Since message size of piloting signal is finite and communication channel is altitude dependent, we study reliability and latency under finite blocklength regime for different altitudes. In our numerical study, we find that for message sizes 30 and 50 bits, coded packet size, i.e., blocklength, should be in the range of 200 and 300 bits to enable BVLOS operation. We also found that minimum distance between UAVs to avoid any crash should be around 0.2 m for 15 m/s UAV speed and different altitudes ranging from 1.5 m to 120 m. According to our study, BVLOS operation of UAVs can be realized by URLLC by providing error probability in the vicinity of 10(-3), and latency on the order of milliseconds for downlink communication with blocklength of tens to hundred bits.

  • 3884.
    Čelik, Haris
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Centra, KTH Center för trådlösa system, Wireless@kth.
    Sung, Ki Won
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Centra, KTH Center för trådlösa system, Wireless@kth.
    Scalable Resource Allocation for Dynamic TDD with Traffic and Propagation Awareness2018Ingår i: 2018 IEEE WIRELESS COMMUNICATIONS AND NETWORKING CONFERENCE (WCNC), IEEE , 2018Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper presents a scalable scheduler for dynamic TDD systems in ultra-dense indoor deployments applicable to diverse traffic and radio propagation conditions. To minimize signalling for the channel estimation and feedback, the proposed scheduler employs offline BS-to-BS measurements to approximate the real interference for different traffic conditions. Thus, no CSI is required once the network is online. Furthermore, we show that signalling can be further reduced by considering only meaningful interferers above a received power threshold for the traffic information exchange. To perform the scheduling, a function that maps interference into individual BS activation probabilities is also introduced. Results show that the proposed scheme performs reasonably well in high interference situations compared to comparable scalable schedulers, and optimally when interference is low, both in average and 5th percentile sense.

  • 3885.
    Čičić, Mladen
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Control of vehicle platoons and traffic dynamics: catch-up coordination and congestion dissipation2019Licentiatavhandling, monografi (Övrigt vetenskapligt)
    Abstract [sv]

    Trafikstockning är ett ständigt växande problem, med ett brett utbud av negativa effekter på samhället, från bortkastad tid och produktivitet till ökade mängd luftföroreningar och antal olyckor. Klassiska metoder för trafik kontroll har länge använts framgångsrikt för att lindra detta problem, med förbättrad trafiksituation för många städer och motorvägar. Trafik kontrollen är emellertid inte universellt tillämpad eftersom den är beroende av ytterligare utrustning och ny lagstiftning som behover instaleras och införas.

    Införandet av uppkopplade, autonoma fordon medför nya möjligheter att mäta och kontrollera trafiken. Data som de flesta fordon tillhandahållar redan idag används allmänt för att mäta trafikförhållandena. Det är naturligt att överväga hur fordon också skulle kunna användas som ställdon, genom att driva dem på ett visst sätt så att de påverkar trafiken positivt. Men många av dagens strategierna för trängselnedsättning med hjälp av autonoma fordon är beroende av att de tillämpas av en stor del av fordonen, vilket sannoliktinte kommer att bli fallet inom en snar framtid. Det väcker frågan: Hur kan vi påverka den totala trafiksituationen genom att kontrollera en liten del avfordonen? Det finns två problem specifika problem som den här avhandlingentar hänsyn till, trängselvågsavledning och –undvikande samt koordinering av fordonståg av lastbilar.

    I det första problemet studerar vi hur vi kan skingra trängselvågor med hjälp av ett direktstyrt fordon som fungerar som en rörlig flaskhals. Trafikdatakan hjälpa till att förutsäga störningar och begränsningar som fordonet kommer att stöta på, och de enskilda fordonen kan styras för att förbättra den totala trafiksituation. Vi utvidgar den klassiska cellöverföringsmodellenför att inkludera påverkan av en rörlig flaskhals och använder sedan denna modell för att utforma en kontrollstrategi för ett styrbart fordon. Genom att använda sådan styrning kan vi homogenisera trafiken utan att avsevärt minska genomströmningen. Under realistiska förhållanden visar vi att den genomsnittliga totala variationen i trafiktäthet kan minskas med över 5%, medan den totala körtiden ökar med endast 1%.

    I det andra problemet studerar vi hur vi kan förutsäga och styra fordonens hastighetsprofiler vid formering av fordonståg under körning i motorvägstrafik. Påverkan av väglutning och motorvägstrafik undersöks, och fordon som försöker bilda en fordonståg modelleras som rörliga flaskhalsar. Med denna modell kan vi förutsäga förseningar på grund av trängsel och justera planen i enlighet med dessa, samt beräkna de optimala hastigheterna för fordonengenom att minimera energiförbrukningen. Detta leder till en minskning av energikostnaden på upp till 0,5% i jämförelse med fallet när vi ignorerar trafikförhållandena. Ännu viktigare är att vi kan vi förutsäga när försök att bildaett fordonståg kommer att resultera i utebliven energibesparing, med ungefär 80% noggrannhet.

  • 3886.
    Čičić, Mladen
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.
    Johansson, Karl H.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Intelligenta system, Reglerteknik.
    Energy-optimal platoon catch-up in moving bottleneck framework2019Ingår i: 2019 18TH EUROPEAN CONTROL CONFERENCE (ECC), IEEE , 2019, s. 3674-3679Konferensbidrag (Refereegranskat)
    Abstract [en]

    Truck platooning, where vehicles drive close together in order to reduce air drag, is a promising technology that is slowly reaching maturity. In order to fully exploit its potential, we will need to be able to efficiently form platoons enroute, while driving on the road, by having the vehicles adjust their speeds so that they catch-up and merge into a platoon. Since this means that the participating vehicles will have to deviate from their own optimal speed profiles, experiencing unpredicted disturbances caused by the surrounding traffic might lead to higher fuel consumption. Therefore, in order to increase the fuel savings and improve their predictability, we devise a control strategy that takes into account the traffic conditions and yields optimal catch-up speeds for both the leader and the follower vehicle. The control strategy is based on minimizing total energy consumption, and it models the vehicles as moving bottlenecks. We compare this strategy to one that does not consider the influence of traffic, and show that it achieves better results in terms of energy savings.

  • 3887.
    Čičić, Mladen
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Liang, Kuo-Yun
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik. Scania CV AB.
    Johansson, Karl H.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik. KTH, Skolan för elektroteknik och datavetenskap (EECS), Centra, ACCESS Linnaeus Centre.
    Platoon Merging Distance Prediction using a Neural Network Vehicle Speed Model2017Ingår i: IFAC-PapersOnLine, E-ISSN 2405-8963, Vol. 50, nr 1, s. 3720-3725Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Heavy-duty vehicle platooning has been an important research topic in recent years. By driving closely together, the vehicles save fuel by reducing total air drag and utilize the road more efficiently. Often the heavy-duty vehicles will catch-up in order to platoon while driving on the common stretch of road, and in this case, a good prediction of when the platoon merging will take place is required in order to make predictions on overall fuel savings and to automatically control the velocity prior to the merge. The vehicle speed prior to platoon merging is mostly influenced by the road grade and by the local traffic condition. In this paper, we examine the influence of road grade and propose a method for predicting platoon merge distance using vehicle speed prediction based on road grade. The proposed method is evaluated using experimental data from platoon merging test runs done on a highway with varying level of traffic. It is shown that under reasonable conditions, the error in the merge distance prediction is smaller than 8%.

  • 3888. Šimbelis, Vygandas ’Vegas’
    et al.
    Vaara, Elsa
    Ferreira, Pedro
    Laaksolahti, Jarmo
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Höök, Kristina
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Delete by Haiku: Poetry from Old SMS Messages2017Ingår i: Proceedings of the 2017 CHI Conference Extended Abstracts on Human Factors in Computing Systems, ACM , 2017, s. 460-460Konferensbidrag (Refereegranskat)
  • 3889.
    Almeida, Teresa (Konstnär)
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Attempts, Failures, Trials and Errors: The Bitness Project v.012018Konstnärlig output (Ogranskad)
  • 3890.
    Almeida, Teresa (Formgivare)
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    I Will What I Want: Women, Design, and Empowerment: eTextile Toolkit & Labella2018Konstnärlig output (Ogranskad)
    Abstract [es]

    El catálogo y la exposición Haré lo que deseo/I Will What I Want: Women, Design, and Empowerment: diseño y empoderamiento femenino son un concepto curatorial desarrollado por Jimena Acosta Romero y Michelle Millar Fisher. En Abril de 2017 esta exposición fue organizada para exhibirse por primera vez en Arnold and Sheila Aronson Galleries, en el Sheila C. Johnson Design Center (Parsons School of Design / The New School, Nueva York) del 11 al 23 de abril de 2017. Su segunda sede fue en MUCA-Roma, Ciudad de México (Enero 18 - Mayo 22, 2018).

    El catálogo y la exposición Will What I Want: Women, Design, and Empowerment / Haré lo que deseo: Diseño y empoderamiento femenino explora el complejo y contradictorio rol que ha jugado el diseño desde la mitad del siglo XX, pasando por la segunda ola feminista, hasta las intersecciones no binarias del presente. La exhibición presenta objetos, interfaces e indumentaria que ha buscado habilitar como sujetos independientes y creativos, a aquellos que tienen úteros, menstrúan o se identifican como mujer; en un mundo material en su mayoría diseñado por hombres y para hombres.

  • 3891. Fell, Mark ()
    Pauletto, Sandra
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Listening and Silence: digital art installation2016Konstnärlig output (Ogranskad)
  • 3892.
    Almeida, Teresa (Konstnär)
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    PERSONAL: International Interdisciplinary Exhibition2018Konstnärlig output (Ogranskad)
75767778 3851 - 3892 av 3892
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • harvard1
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf