Ändra sökning
Avgränsa sökresultatet
1234567 101 - 150 av 4072
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.
  • 101.
    Almeida, Teresa
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Critical Wearables2018Konferensbidrag (Övrigt vetenskapligt)
  • 102.
    Almeida, Teresa
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Designing for Women: Situated Knowledge, Intimate Health and Everyday Life2018Konferensbidrag (Övrigt vetenskapligt)
  • 103.
    Almeida, Teresa
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Designing Technologies for Intimate Care in Women2018Konferensbidrag (Övrig (populärvetenskap, debatt, mm))
  • 104.
    Almeida, Teresa
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Haré lo que deseo/I Will What I Want: Women, Design, and Empowerment: diseño y empoderamiento femenino2018Övrigt (Övrig (populärvetenskap, debatt, mm))
    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.

    Haré lo que deseo: Diseño y empoderamiento femenino invita al lector que contemple, desde su propia perspectiva, las maneras en que estos productos, interfaces e indumentaria han - a veces para bien y otras para mal - gobernado, formado, y facilitado las experiencias modernas y contemporáneas.

  • 105.
    Almeida, Teresa
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Chen, Ko-Le
    Newcastle University, UK.
    Comber, Robert
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Balaam, Madeline
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Dismantling Feminist Biology through the Design of eTextiles2019Ingår i: Research through Design 2019, 2019Konferensbidrag (Refereegranskat)
  • 106.
    Almeida, Teresa
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Juul Søndergaard, Marie-Louise
    Aarhus University, Denmark.
    Homewood, Sarah
    IT University of Copenhagen, Denmark.
    Morrissey, Kellie
    Newcastle University, UK.
    Balaam, Madeline
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Medieteknik och interaktionsdesign, MID.
    Woman-Centred Design2018Ingår i: DRS 2018: Book of DRS 2018 Conversations / [ed] Sharon Prendeville, Abigail Durrant, Nora O’ Murchú and Keelin Leahy, UK, 2018Konferensbidrag (Övrigt vetenskapligt)
  • 107.
    Almgren, Love
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Holm Åström, Johan
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Probabilistic modelling and attack simulations on AWS Connected Vehicle Solution: An Application of the Meta Attack Language2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Denna rapport är fokuserad på att undersöka om Meta Attack Language (MAL) kan användas till att skapa ett integrerande lager mellan två olika tillämpningar av MAL, och därmed modellera en ny domän. VehicleLang och awsLang valdes som tillämpningar av MAL. Domänen som valdes att modellera var AWS Connected Vehicle Solution Infrastructure, vilket är en service som blir allt mer populär bland biltillverkare. De två språken kompilerades ihop till ett med hjälp av MAL, och det användes till att modellera en läcka inom AWS som potentiellt kunde leda till en större exponering av infrastrukturen. Samtidigt har några begränsningar i MAL kompilatorn lett till några förbättringsförslag för bättre integrationssupport av olika MAL applikationer.

  • 108.
    Almosawi, Massar
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Djupsjö, Kristoffer
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    IoT Security Applied on a Smart Door Lock Application2018Självständigt arbete på grundnivå (yrkesexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Följande examensarbete beskriver utvecklingen av en IoT-produkt baserad på digitalisering av ett smart dörrlås där applikationen ansluts till internet för igenkänning av anställda som arbetar på ett kontor. Examensarbetet fokuserar primärt på säkerhetsaspekterna genom att notera de typiska säkerhetsutmaningarna som generella IOT-system utsätts för och summerar dessa utmaningar för att utveckla en funktionell och säker produkt från start av projektet.

    En mikrokontroller väljs ut specifikt för projektet och en testmiljö byggs för att undersöka och motverka eventuella säkerhetsbrister.

    Rapporten ger även detaljerad beskrivning av multi-master databasen Azure Active Directory och dess betydelse för att uppnå önskad säkerheten i systemet. En ny teknik som heter Eddystone introduceras i projektet för att betjäna som överföringsprotokoll till Bluetooth-beacons.

    Det sista steget i detta projekt kompletteras utvecklingen av systemet med Androidapplikation som ser till att alla utvecklade delsystem kommunicerar med varandra och levererar ett funktionellt och säkert flöde av IOT-systemet.

  • 109.
    Almqvist, Andreas
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Sites of Encounter: Engagement Potentials and Considerations for Encompassing Respect2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Detta arbete fokuserar på utmaningar om platsbaserad främlingskap från människor och platsen ifråga. Interaktionsdesign används här för placemaking, där en designrymd för sociala platser med möjligheter för spontana och planerade aktiviteter att utföra ensam, med vänner eller med främlingar utforskas. Genom en research through design-metodik med förstapersons- och participatory-perspektiv skapades fyra designkoncept som användes för att tydliggöra potentialer för engagemang och omtanke för allomslutande respekt (vilket berör neoliberala kapitalist och maskulina maktrelationer). Jag bidrar med känsliggörande frågor som gör interaktionsdesignsaspekter mer tillgängliga för designers som ger sig i kast med denna publika designrymd.

  • 110.
    Almqvist, Tobias
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Nordberg, David
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Noise-free distortion pedal for electric guitars: Designing and constructing a unique distortion pedal for live playing guitarists2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Gitarrister som använder effektpedaler för att ändra hur deras gitarr låter stöter ofta på problemet där oönskat brus uppstår när de vill att gitarren ska vara helt tyst. Detta kan vara resultatet av att använda en distortionspedal som fungerar väl när man spelar på gitarren, men inte när man tar en kort paus. Detta projekt fokuserar på att utveckla en fulländad prototyp av en distortionspedal som har en justerbar mutefunktion, också kallad en brusgrind. Pedalen har några funktioner som vanligtvis finns hos de kommersiellt tillgängliga pedalerna; 6.3 mm ingångsoch utgångskontakter, av-/påknapp, strömförsörjning via både ett batteri och vägguttag, och justerbara kontroller för förvrängning, ton och volym. Distortionskretsen är inspirerad av pedalen BOSS SD1 SUPER OVERDRIVE och mute-funktionen använder sig av Junction Field Effect Transistorer.Två prototyper konstruerades; en med hålmonterade komponenter, och en med ytmonterade komponenter. De både prototyperna fungerar i stort sett enligt de uppsatta målen. När gitarren spelas så hörs det önskade förvrängda ljudet som kan justeras med kontrollerna. När gitarren inte spelas dämpas allt oönskat brus till en ohörbar nivå. En känslighetskontroll tillåter olika signalstyrkor att tystas.Den valda metoden för mute-funktionen introducerar ett kort och svagt oönskat ljud som uppstår under själva dämpningsprocessen. Medan detta oljud är något som bör lösas så ger prototypen fortfarande något unikt och hjälpsamt för gitarrister. Med mer arbete skulle detta kunna förbli en ny standard inom distortionspedaler.

  • 111. Alodeh, M.
    et al.
    Chatzinotas, S.
    Ottersten, Björn
    KTH, Skolan för elektro- och systemteknik (EES), Signalbehandling. KTH, Skolan för elektro- och systemteknik (EES), Centra, ACCESS Linnaeus Centre. KTH, Skolan för elektroteknik och datavetenskap (EECS), Teknisk informationsvetenskap.
    Energy-Efficient Symbol-Level Precoding in Multiuser MISO Based on Relaxed Detection Region2016Ingår i: IEEE Transactions on Wireless Communications, ISSN 1536-1276, E-ISSN 1558-2248, Vol. 15, nr 5, s. 3755-3767Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper addresses the problem of exploiting interference among simultaneous multiuser transmissions in the downlink of multiple-antenna systems. Using symbol-level precoding, a new approach toward addressing the multiuser interference is discussed through jointly utilizing the channel state information (CSI) and data information (DI). The interference among the data streams is transformed under certain conditions to a useful signal that can improve the signal-to-interference noise ratio (SINR) of the downlink transmissions and as a result the system's energy efficiency. In this context, new constructive interference precoding techniques that tackle the transmit power minimization (min power) with individual SINR constraints at each user's receiver have been proposed. In this paper, we generalize the constructive interference (CI) precoding design under the assumption that the received MPSK symbol can reside in a relaxed region in order to be correctly detected. Moreover, a weighted maximization of the minimum SNR among all users is studied taking into account the relaxed detection region. Symbol error rate analysis (SER) for the proposed precoding is discussed to characterize the tradeoff between transmit power reduction and SER increase due to the relaxation. Based on this tradeoff, the energy efficiency performance of the proposed technique is analyzed. Finally, extensive numerical results show that the proposed schemes outperform other state-of-the-art techniques. © 2002-2012 IEEE

  • 112. Alodeh, M.
    et al.
    Chatzinotas, S.
    Ottersten, Björn
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Teknisk informationsvetenskap. KTH, Skolan för elektro- och systemteknik (EES), Signalbehandling.
    Symbol-Level Multiuser MISO Precoding for Multi-Level Adaptive Modulation2017Ingår i: IEEE Transactions on Wireless Communications, ISSN 1536-1276, E-ISSN 1558-2248, Vol. 16, nr 8, s. 5511-5524Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Symbol-level precoding is a new paradigm for multiuser multiple-antenna downlink systems aimed at creating constructive interference among transmitted data streams. This can be enabled by designing the precoded signal of the multiantenna transmitter on a symbol level, taking into account both channel state information and data symbols. Previous literature has studied this paradigm for Mary phase shift keying modulations by addressing various performance metrics, such as power minimization and maximization of the minimum rate. In this paper, we extend this to generic multi-level modulations, i.e., Mary quadrature amplitude modulation by establishing connection to PHY layer multicasting with phase constraints. Furthermore, we address the adaptive modulation schemes which are crucial in enabling the throughput scaling of symbol-level precoded systems. In this direction, we design the signal processing algorithms for minimizing the required power under per-user signal to interference noise ratio or goodput constraints. Extensive numerical results show that the proposed algorithm provides considerable power and energy efficiency gains, while adapting the employed modulation scheme to match the requested data rate.

  • 113. Alowayed, Y.
    et al.
    Canini, M.
    Marcos, P.
    Chiesa, Marco
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Barcellos, M.
    Picking a partner: A fair blockchain based scoring protocol for autonomous systems2018Ingår i: ANRW 2018 - Proceedings of the 2018 Applied Networking Research Workshop, Association for Computing Machinery (ACM), 2018, s. 33-39Konferensbidrag (Refereegranskat)
    Abstract [en]

    We tackle the problem of enabling Autonomous Systems to evaluate network providers on the basis of their adherence to Service Level Agreements (SLAs) regarding interconnection agreements. In current Internet practices, choices of interconnection partners are driven by factors such as word of mouth, personal relationships, brand recognition and market intelligence, and not by proofs of previous performance. Given that Internet eXchange Points provide increasingly more peering choices, rudimentary schemes for picking interconnection partners are not adequate anymore. Although the current interconnection ecosystem is shrouded in confidentiality, our key observation is that recently-emerged blockchain technology and advances in cryptography enable a privacy-preserving decentralized solution based on actual performance measurements. We propose the concept of SLA score to evaluate network providers and introduce a privacy-preserving protocol that allows networks to compute and verify SLA scores.

  • 114.
    Alpsten, Edward
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Holm, Henrik
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Ståhl, Sebastian
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Evaluation and optimization of an equity screening model2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Screening models are tools for predicting which stock are the most likely to perform well on a stock market. They do so by examining the financial ratios of the companies behind the stock. The ratios examined by the model are chosen according to the personal preferences of the particular investor. Furthermore, an investor can apply different weights to the different parameters they choose to consider, according to the importance they apply to each included parameter. In this thesis, it is investigated whether a screening model can beat the market average in the long term. It is also explored whether parameter-weight-optimization in the context of equity trading can be used to improve an already existing screening model. More specifically, a starting point is set in a screening model currently in use at a successful asset management firm, through data analysis and an optimization algorithm, it is then examined whether a programmatic approach can identify ways to improve the original screening model by adjusting the parameters it looks at as well as the weights assigned to each parameter. The data set used in the model contains daily price data and annual data on financial ratios for all stocks on the Stockholm Stock Exchange as well as the NASDAQ-100 over the time period 2004-2018. The results indicate that it is possible to beat the market average in the long term. Results further show that a programmatic approach is suitable for optimizing screening models.

  • 115.
    Al-qaysi, Ibrahim
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Communicating with a Smart Pillbox via Near Field Communication (NFC): A Mobile Application for Healthcare Professionals2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Bristen på medicinering följsamhet leder till en ökad risk för sjukdomar som kan vara en stor belastning för individen, vårdsystemet och samhället. Hälsooch sjukvårdspersonal har därför en central roll och bör hantera, vägleda, utbilda och göra patienten mer delaktig i behandlingen och därigenom främja en bättre medicinering följsamhet.

    Medicinering följsamhet är en stor utmaning för många patienter med kroniska tillstånd, äldre patient eller patient som är ordinerad för långvarig medicinering. Den snabba utvecklingen och användningen av mobiltelefoner inom vårdindustrin har en viktig roll att spela i detta område och har lett till utvecklingen av nya funktioner och applikationer som kan hjälpa både vårdgivare och patienter med att hantera och övervaka medicinsk intag. Denna utveckling och support av mobiltelefoner och applikationer har skapat och förbättrat interaktion mellan läkare och patient.

    Idag finns det inget enkelt sätt för sjukvårdspersonal att övervaka och hjälpa patienter med sina medicinintag. En lösning på detta problem är att utveckla en mobilapplikation som kommer att kommunicera med en smart pillbox via nära fältkommunikation (eng. Near Field Communication, NFC) för att övervaka, hantera och förbättra patientens medicinintag på ett enkelt och tillgängligt sätt. Med hjälp av NFC som kommunikationsteknik kommer data att överföras trådlöst från telefon till pillerdosa och vice versa. Denna lösning kommer att hjälpa vårdpersonal att skapa bättre behandlingsförhållanden och färre biverkningar för sina patienter. Dessa patienter kommer i sin tur att vara mer kunniga och motiverade att ta större ansvar i efterföljande läkares instruktioner och därigenom förbättra deras behandlingsprocess.

    Applikationen har testat och utvärderat under varje iteration av utvecklingsprocessen. Dessa tester har utförts genom att låta vårdpersonal testa applikationen och ge feedback på hur dem upplevar applikationen. Dessa tester hjälper till att skapa nya idéer, funktioner och funktioner som bör ingå i den slutliga applikationen, men också bidra till att förbättra användargränssnittet för att göra ansökan så användarvänlig som möjligt.

  • 116.
    Alsing, Oscar
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Mobile Object Detection using TensorFlow Lite and Transfer Learning2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Utvecklingen inom djuplärning de senaste åren innebär att vi är kapabla att skapa mer komplexa maskininlärningsmodeller för att identifiera objekt i bilder, oavsett objektens attribut eller karaktär. Denna utveckling har möjliggjort forskare att ersätta existerande heuristikbaserade algoritmer med maskininlärningsmodeller med överlägsen prestanda. Den här rapporten syftar till att utvärdera användandet av djuplärningsmodeller för exekvering av objektigenkänning i video på mobila enheter med avseende på prestanda och exekveringstid. Våra resultat visar på en signifikant ökning i prestanda relativt befintliga heuristikbaserade algoritmer vid användning  av djuplärning och överförningsinlärning i artificiella neurala nätverk.

  • 117.
    Alsterman, Marcus
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Transfer Learning for Sales Volume Forecasting Using Convolutional Neural Networks2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Bättre tidsserieprediktion kan förbättra planering av en försörjningskedja, därmed spara pengar och minska miljöpåverkan. Tanken bakom detta examensprojekt är att utforska transfer learning för prognos av tidsserier. Detta resulterar i två konkreta mål. Det första är att undersöka hur transfer learning kan förbättra prognosnoggrannheten när ett faltningsnätverk (CNN) med utvidgning och kausalitet används. Det andra målet är att undersöka om transfer learning gör det möjligt att förutspå tidsserier med mindre historisk data. De använda tidsserierna består av försäljningsvolymer och priser från tre hushållsapparater av samma slag. Tidsseriernas längd är cirka tre år. Två transfer learning tekniker används: delade dolda lager CNN (SHL-CNN) och förträning av ett CNN.För att ta itu med det första målet, så jämförs prognosnoggrannheten mellan de två transfer learning teknikerna och ett CNN. Det andra målet undersöks genom ett experiment där storleken av träningsuppsättningen varieras för ett CNN och de båda transfer learning teknikerna.Resultat ifrån det första experimentet indikerar att transfer learing varken försämrar eller förbättrar prognosnoggrannheten. Det andra experimentet visar att när antalet träningsexempel minskas till 60 % (40 % för SHL-CNN) så förbättras prediktionerna för alla modeller. Detta är inte intuitivt och är sannolikt ett fenomen specifikt för prediktion av tidsserier. Vidare så är proportionen 60 % specifik för detta projekt och vi finner även att vid denna proportion så är prediktionerna från förträning bättre än de från faltningsnätverket. Den sista upptäckten är att när antalet träningsexempel krymper till 20 % så presterar förträningsmodellen bättre än de andra. Detta pekar på att transfer learning i vissa fall kan göra det möjligt att förutspå tidsserier med mindre historisk data.

  • 118.
    Al-Tai, Elias
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    An evaluation of the expressive power and performance of JSON-to-JSON transformation languages2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    JSON-till-JSON transformationsspråk möjliggör transformationer från ett JSON-dokument till ett annat JSON-dokument. Eftersom JSON gradvis håller på att bli det mest använda data-utväxlingsformatet på internet så finns det ett behov av transformationsspråk som kan transformera data som är lagrad i JSON formatet för att kunna användas med andra system. Transformationen kan transformera dokumentet strukturellt, till exempel genom att förändra den hierarkiska strukturen på dokumentet. Transformationen kan även transformera dokumentet textuellt, till exempel genom att döpa om fält eller ändra värden. Ingen av de existerande JSON-till-JSON transformationsspråken har blivit en standard (Jellife, 2017). Det här arbetet undersöker uttryckskraften av Jolt vilket är ett JSON-till-JSON transformationsspråk. Jolt har nyligen fått stöd av Apache i några av deras produkter. Om ett transformationsspråk har en uttryckskraft som är ekvivalent med nästlad relationell algebra innebär det att språket kan utföra många avancerade transformationer. I det här arbetet definieras en formell modell av Jolt, kallad Jolt0, för att kunna jämföra dess uttryckskraft med nästlad relationell algebra. Till det syftet så översätts operationerna från en annan formell modell med namnet MQuery som har bevisats ha ekvivalent uttrykskraft med nästlad relationell algebra till Jolt0. Arbetet drar slutsatsen att Jolt inte har uttryckskraft som är ekvivalent med nästlad relationell algebra.

    Arbetet undersöker också prestandan för de fyra JSON-till-JSON transformationsspråken (Jolt, Handlebars, Liquid och XSLT 3.0) genom att konstruera tester där de olika transformationsspråken exekverar ekvivalenta transformationer. Transformationerna utvärderas baserat på körstids- och minnesanvändningsprestandan. Studien visar att XSLT 3.0 presterar sämst i alla körstids- och minnesanvändningstester. När transformationerna använder sig av stor input data så presterar XSLT 3.0 signifikant sämre än de andra språken.

  • 119.
    Alvarez Custodio, Maria
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Autonomous Recharging System for Drones: Detection and Landing on the Charging Platform2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Under de senaste åren har användningen av inomhusdrönare ökat betydligt på många olika områden. En av de största begränsningarna för dessa drönare är batteritiden. Detta beror på att batteristorleken måste begränsas eftersom drönarna har en väldigt begränsad maximal nyttolast för att kunna flyga. Därför måste de laddas ofta, vilket involverar mänskligt ingripande och därmed begränsar drönartillämpningarna.

    För att lösa detta problem presenterar detta examensarbete ett autonomt laddningssystem för en nanodrönare, Crazyflie 2.0. Genom att automatisera batteriladdningsprocessen behövs inget mänskligt ingrepp, och därigenom kan uppdragstiden för drönaren ökas avsevärt och bredda de möjliga tillämpningarna.

    Huvudmålet med denna avhandling är designen och implementationen av ett styrsystem för en inomhusdrönare, för att styra den mot en landningsplattform och landa korrekt på den. Arbetet inkluderar det faktiska laddningssystemet också, så att slutresultatet är ett fullständigt autonomt system.

    Innan regulatorn och systemet utformas och presenteras presenteras en genomgång av bakgrundsmaterial och analys av befintliga lösningar för problemet med autonom landning.

    En kamera monteras på Crazyflie 2.0 för att kunna detektera och positionera landningsstationen och styra drönaren med avseende på detta. För detektion används ArUcobibliotekets markörer vilka också gör det möjligt att räkna ut kamerans position och orientering med avseende på markören och därmed laddstationen.

    Slutligen utförs tester för att utvärdera systemet. Den erhållna flygtiden är 4,6 minuter och landningsprestandan (andel korrekta landningar på första försöket) är 80%.

  • 120.
    Alzubaidi, Jaafar
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Antonsson, Rasmus
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Voltage Regulation for an Electrical Grid2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    The aim of this study is to analyse the voltage regulation of a power grid when wind power parks are connected to an existing power grid. Secondary the project have studied the placement of these wind power parks and costs related to connecting them to the grid. The goal was to achieve this grid with a smaller than 5% voltage margin and preferably a low phase deviation. The power grid is located in the area around Lule älven. Several issues with constructing and connecting windpower parks to an electrical grid have been studied by numerical analysis of a fictive grid but with real world variables. A balanced and stable grid is achieved with wind and hydro power and is able to successfully operate without non-renewable energy sources.The data was simulated in Matlab to analyse the power grid and the modification of it when connecting the wind power parks. The method used is power flow analysis through Matlab. All required unknown voltages and phase angles are determined and whether they are within given specifications. This entails that a stable electrical grid can be constructed

  • 121. Ambrazaitis, G.
    et al.
    House, David
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Tal, musik och hörsel, TMH.
    Multimodal prominences: Exploring the patterning and usage of focal pitch accents, head beats and eyebrow beats in Swedish television news readings2017Ingår i: Speech Communication, ISSN 0167-6393, E-ISSN 1872-7182, Vol. 95, s. 100-113Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Facial beat gestures align with pitch accents in speech, functioning as visual prominence markers. However, it is not yet well understood whether and how gestures and pitch accents might be combined to create different types of multimodal prominence, and how specifically visual prominence cues are used in spoken communication. In this study, we explore the use and possible interaction of eyebrow (EB) and head (HB) beats with so-called focal pitch accents (FA) in a corpus of 31 brief news readings from Swedish television (four news anchors, 986 words in total), focusing on effects of position in text, information structure as well as speaker expressivity. Results reveal an inventory of four primary (combinations of) prominence markers in the corpus: FA+HB+EB, FA+HB, FA only (i.e., no gesture), and HB only, implying that eyebrow beats tend to occur only in combination with the other two markers. In addition, head beats occur significantly more frequently in the second than in the first part of a news reading. A functional analysis of the data suggests that the distribution of head beats might to some degree be governed by information structure, as the text-initial clause often defines a common ground or presents the theme of the news story. In the rheme part of the news story, FA, HB, and FA+HB are all common prominence markers. The choice between them is subject to variation which we suggest might represent a degree of freedom for the speaker to use the markers expressively. A second main observation concerns eyebrow beats, which seem to be used mainly as a kind of intensification marker for highlighting not only contrast, but also value, magnitude, or emotionally loaded words; it is applicable in any position in a text. We thus observe largely different patterns of occurrence and usage of head beats on the one hand and eyebrow beats on the other, suggesting that the two represent two separate modalities of visual prominence cuing.

  • 122.
    Amilon, Jesper
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Lindberg, Axel
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Verifying Temporal Properties Using Deductive Verifiers2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Formell verifikation är ett område inom teoretisk datalogi där man genom matematisk logik vill bevisa att ett program beter sig på ett visst sätt. Genom detta kan man bevisa att programmet följer en given specifikation och beter sig som man tänkt. Detta område kan delas upp i två separata delar. Den ena handlar om att visa hur programmet transformerar data och bygger på Hoare logik och deduktiv verifikation för att bevisa att programmet följer en viss specifikation. Den andra delen handlar om temporala egenskaper och använder sig av model checking och temporal logik. Dessa delar behandlas vanligtvis separat från varandra. Denna rapport bygger på ett logiskt system utvecklat av Alur och Chaudhuri [1] som används för att bevisa temporala egenskaper genom ett angreppssätt som använder Hoare-logik. Genom att använda detta system vill denna rapport undersöka huruvida det är möjligt att bevisa temporala egenskaper med hjälp av deduktiva verifierare och därigenom minska klyftan mellan dessa två områden av formel verifikation.

    Rapporten finner att det är möjligt att använda Alur och Chaudhuri’s system för att bevisa temporala egenskaper genom deduktiva verifierare. I praktiska termer krävs det för mycket arbete för att kunna användas genom att manuellt skapa instruktioner till den deduktiva verifieraren. I ett litet exempelprogram på 13 rader kräves 50 extra rader av annotationer för att bevisa en viss temporal egenskap. Stora delar av den processen skulle dock kunna automatiseras med verktygsstöd. Att automatisera hela processen är dock antagligen inte möjligt. Detta är dels pågrund av att de rankning funktioner som systemet använder sig av är svåra att automatisera.

  • 123.
    Amine Ramdani, Ahmed
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Rudnik, Sebastian
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Design and Construction of High Current Winding for a Transverse Flux Linear Generator Intended for Wave Power Generation2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Efterfrågan på el från förnybara källor är hög och inget tyder på att det kommer ändras den närmsta tiden. En källa till förnybar el som än idag står relativt orörd är den där man använder energin från havsvå- gor. Det är denna förnybara källa Anders Hagnestål haft i åtanke när han nu bygger en unikt effektiv generator med syftet att i ett senare skede utvinna el med hjälp av flytande punktabsorberande vågkraft- system. Generatorn är av den linjära typen och omvandlar det punk- tabsorberande systemet rörelse till el. För att testa denna generator- modell så påbörjades bygget av två fullskaliga prototyper 2017. Denna uppsats behandlar specifikt arbetet med generatorlindningen till pro- totyperna och innefattar processen från design till själva byggnatio- nen. Lindingen består av flertalet mindre och isolerade lindningsleda- re med uppgift att bland annat minska skinneffekt och virvelströms- förluster. När man använder denna metod så uppkommer dock ett nytt problem vilket härstammar från att lindningsledarna är samman- kopplade i vardera ända och bildar på så sätt n slutna strömkretsar. Konsekvensen kan vara stora förluster från cirkulerande strömmar på grund av det magnetiska ströflöde som finns runt järnkärnan som lindningen omsluter. Utgångspunkten för att minimera dessa cirkule- rande strömmar är att transponera alla lindningsledare på ett sätt så att den resulterande elektromotoriska spänningen för varje strömkrets blir så liten som möjligt.

    Med hjälp av förenklade modeller samt FEM simuleringar så bestämdes ett lämpligt sätt att transponera lindningstrådarna utifrån oli- ka kriterier. Lösningen blev att lindningstrådarna endast transponera- des en gång med en så kallad 180 grader transponering.

    Detta ger en tillräckligt god minimering av de cirkulerande ström- marna, men den stora fördelen med denna lösning är att det är möjligt att linda maskinen med de små resurser projektet hade tillgång till, dock var detta till en stor nackdel då väldigt mycket tid gick till att hitta egna tillvägagångsätt för att utföra byggandet av lindningen på ibland okonventionella sätt.

  • 124.
    Amino, Robert
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Topographic building pattern recognition with geospatial OpenStreetMap data2018Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den här rapporten avser att utforska den perpetuella igenkänningen av topografiska byggnadsmönster genom att använda geografisk data från OpenStreetMap som avbildas på virtuella sfärer. En implementation utvecklades där geografisk data samt kontextuell information ordnades i överlappande lager som filtrerades, och där endast byggnadsmönster sett från ovan kvarstod. Denna modul utvecklades för Uniview som är en mjukvara för visualisering i planetarier. Målet var att avgöra hur deltagare uppfattade städer med olika byggnadsmönster med hänsyn till storlek, skala, samt byggnadsdensitet. Detta mättes genom den procentuella skillnaden mellan städer, dvs. skillnaden i procent för varje stads geografiska utsträckning. Två kvantitativa studier utfördes, en mindre kontrollerad studie med 19 deltagare samt en större nätbaserad studie med 72 deltagare. Resultatet visar att deltagare generellt kunde bedöma den procentuella skillnaden i byggnadsmönster upp till en viss kritisk gräns. Denna kritiska gräns fastställdes till runt 0.5% för båda studier och för noggrannhetsnivåer över 60%. Slutsatsen från detta är att användare bör ges visuella indikatorer för nivåer under denna kritiska gräns för att säkerställa definitiv igenkänning beroende på vilken information som skall förmedlas i en viss typ av visualisering.

  • 125.
    Ammouri, Kevin
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Kommunikationssystem, CoS.
    Cho, Kangyoun
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Kommunikationssystem, CoS.
    Interconnection of Two Different Payment Systems2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Mobila pengar, ett sätt att överföra betalningar via mobila enheter, har blivit alltmer populära. Efterfrågan på praktiska finansiella produkter eller tjänster är en avgörande faktor för varför innovativa utvecklare vill integrera mobila pengar i befintliga finansiella produkter / tjänster. Målet är att tillhandahålla praktiska finansiella tjänster som gör det möjligt för kunder att snabbt skicka och ta emot pengar mellan två mobila betalningsplattformar.

    Det svenska blockchainföretaget Centiglobe söker ett system där betalningar kan göras bekvämt mellan två mobila betalningsplattofrmar, särskilt Alipay och M-PESA. Denna avhandling försökte utveckla ett sådant system genom att använda applikationspogrammerinsgränssnitt (API) (tillhandahållet av Alipay och M-PESA) i kombination med Centiglobe’s blockchain för att underlätta betalningar mellan en Alipay-användare och en M-PESA-användare.

    Lösningen av detta problem började med en första litteraturstudie av tidigare arbeten relaterat till detta ämne samt en omfattande läsning av API-dokmentationen från Alipay och Daraja Safaricom (utvecklarna av M-PESA). Därefter skapades ett flödesschema och detta användes som en guide under hela utvecklingen av systemet. Testning av systemet medförde integrationstestning. Systemets prestanda bestämdes genom att mäta exekveringstiden för att göra ett tvärsystemsbetalning.

    Ett envägsöverföringssystem utvecklades, eftersom Alipay-användare kan göra en betalning till M-PESA-användare men inte tvärtom. Resultaten av integrationstestningen visar att systemet är en genomförbar lösning. Utbetalningstiden för en betalning visar att den är relativt snabb (~9.1 sekunder); därav en lagom prestanda.

    Slutsatsen är att detta system är en lönsam lösning för att integrera Alipay och M-PESA som mobila betalningstjänster. Dessutom underlättar systemet delvis personliga betalningar mellan dem – med förbehåll för begräsningarna i Alipay API. Dessutom erbjuder detta system en grund för andra mobila betalningslösningar mellan plattformarna.

  • 126.
    Anadon Leon, Hector
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    3D Shape Detection for Augmented Reality2018Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    2D-objektigenkänning har i tidigare arbeten uppvisat exceptionella resultat. Dessa modeller gör det dock inte möjligt att erhålla rumsinformation, så som föremåls position och information om vad föremålen är. Sådan kunskap kan leda till förbättringar inom flera områden så som förstärkt verklighet, så att virtuella karaktärer mer realistiskt kan interagera med miljön, samt för självstyrande bilar, så att de kan fatta bättre beslut och veta var objekt är i ett 3D-utrymme.

    Detta arbete visar att det är möjligt att modellera täckande rätblock med semantiska etiketter för 3D-objektdetektering, samt underliggande komponenter för 3D-formigenkänning, från flera objekt i en inomhusmiljö med en algoritm som verkar på en RGB-bild och dess 3D-information. Modellen konstrueras med djupa neurala nätverk med nya arkitekturer för Point Cloud-representationsextraktion. Den använder en unik representationsvektor som kan representera det latenta utrymmet i objektet som modellerar dess form, position, storlek och orientering för komplett träning med flera uppgifter, med obalanserade dataset. Den körs i realtid (5 bilder per sekund) i realtidsvideo.

    Metoden utvärderas med NYU Depth Dataset V2 med Genomsnittlig Precision för objektdetektering, 3D-Skärning över Union, samt avstånd mellan ytorna för 3D-form. Resultaten bekräftar att det är möjligt att använda en delad representationsvektor för mer än en prediktionsuppgift, och generaliserar för föremål som inte observerats under träningsprocessen. Den uppnår toppresultat för 3D-objektdetektering samt 3D-form-prediktion för NYU Depth Dataset V2.

    Kvalitativa resultat baserade på särskilt anskaffade data visar potential inom navigering i en verklig inomhusmiljö, samt kollision mellan animationer och detekterade objekt, vilka kan förbättra interaktonen mellan karaktär och miljö inom förstärkt verklighet-applikationer.

  • 127.
    Andersson, Isabella
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Svensson, Carl Petter
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Comparing Two-Phase Hybrid Metaheuristics for the University Course Timetabling Problem (UCTP)2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Schemaläggning är en tidskrävande och svår uppgift för stora organisationer. Schemaläggningsproblemet UCTP är ett NP-svårt kombinatoriskt problem som går ut på att, med hjälp av en dator, lägga ett schema för ett universitet. Schemat måste också följa vissa regler och begränsningar för hur ett schema får se ut. I de flesta definitionerna av UCTP-problemet så finns det en uppdelning mellan hårda och mjuka begränsningar. För att ett schema ska vara giltigt så får det inte finnas några brott mot de hårda begränsningarna. De mjuka begränsningarna däremot är bara önskvärda egenskaper för ett schema.

    I denna rapport har vi jämfört olika hybridmetoder av metaheuristiker för att lösa UCTP. De hybrider som undersökts är olika kombinationer av simulerad härdning, itererad lokalsökning och tabusökning. Först används en av dessa algoritmer för att hitta en halvfärdig lösning som inte bryter mot några hårda begränsningar. Denna lösning ges sedan till en andra fas där olika metaheuristiker jämförs utifrån hur bra de begränsar brotten mot de mjuka begränsningarna.

    Resultaten visade att simulerad härdning var snabbast för att hitta en giltig lösning till UCTP. Givet en påbörjad lösning från simulerad härdning, så lyckades itererad lokalsökning minimera brotten mot svaga begränsningar mest framgångsrikt inom tidsgränsen för alla storlekar på probleminstanser som testades. Slutsatsen blev att en hybrid i två faser kunde ge bättre lösningar än att endast använda simulerad härdning för schemaläggningsproblemet UCTP.

  • 128.
    Andersson, Johan
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Saboo, Evan
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Röststyrda applikationer och tillhörande arkitektur, design och utveckling2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Röststyrning och rösttolkning är ett gränssnitt mellan användare och dator som blivit vanligare i kommersiella produkter. Gränssnittet används i digitala assistenter, det vill säga en mjukvarubaserad tjänst utformad för att hjälpa användare att utföra digitala uppgifter. Dessa uppgifter inkluderar att svara på frågor, hantera scheman, hemkontroll, spela musik och mycket mer. Eftersom digitala assistenter är relativt nya så finns det ett behov av mer kunskap om hur man kan skapa applikationer för plattformen.Rapporten ger kunskap om hur utvecklingsprocessen ser ut för en röststyrd ap- plikation till Google Assistant. Detta görs med en fallstudie som ger en inblick i de olika design- och arkitekturval som ingår i mjukvaruutvecklingen. Resultatet beskriver lämpliga konversationsmönster för röstgränssnitt i röststyrda applikationer och ett lämpligt arkitekturmönster för kodbasen. Med hjälp av studien drogs slutsatser om vilka begränsningar som finns hos röststyrda applikationer.

  • 129.
    Andersson, Kjell
    et al.
    KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.).
    Hagnestål, Anders
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Elkraftteknik.
    Sellgren, Ulf
    KTH, Skolan för industriell teknik och management (ITM), Maskinkonstruktion (Inst.), Maskinkonstruktion (Avd.).
    Design of a flexible chain for winch based point absorbers2018Ingår i: Proceedings of NordDesign: Design in the Era of Digitalization, NordDesign 2018, 2018Konferensbidrag (Refereegranskat)
  • 130.
    Andersson López, Lisa
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Lallerstedt Blomqvist, Siri
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Källkritik i en värld av ansiktsanimering och talmanipulation2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Ny mjukvaruutveckling inom video- och ljudteknik har under de senaste åren gjort det enklare än någonsin att manipulera video- och ljudmaterial. Sådan mjukvara skulle kunna bli ett kraftfullt verktyg för att sprida desinformation och manipulerad information till allmänheten. Allt eftersom manipulation av den här typen blir mer sofistikerad ökar kraven på journalisters förmåga att skilja autentiskt material från äkta.

    Den här studien undersöker hur förberedda några av Sveriges ledande nyhetsredaktioner är på de nya teknologierna. Genom semistrukturerade intervjuer har experter inom relevanta områden svarat på vilka typer av resurser som krävs för att detektera den här typen av manipulerat material, sedan har representanter för tre svenska redaktioner svarat på om de upplever att redaktionen har de resurser som krävs. Slutsatsen är att redaktionerna överlag saknade samtliga av de resurser som krävdes för att detektera manipulerat video- och ljudmaterial in-house vid den tidpunkt då studien genomfördes.

  • 131.
    Andersson, Mats
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Mellin, David
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Genetic Algorithms: Comparing Evolution With and Without a Simulated Annealing-inspired Selection2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den genetiska algoritmen (GA) är en intressant problemlösningsalgoritm som hämtat inspiration från evolutionen och förbättrar sig själv genom fortplantning och mutering. Denna uppsats jämför två implementationer av en GA. Den ena är en ren GA och den andra är samma GA med tillagd urvalsfunktionalitet inspirerad från simulerad härdning (SA). De båda algoritmerna jämfördes med varandra på att lösa tre olika instanser av handelsresandeproblemet (TSP). SA visade sig kunna hjälpa en GA att nå bättre resultat, men resultatet berodde även på andra parametrar inom GA:n

  • 132.
    Andersson, Morgan
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Personal news video recommendations based on implicit feedback: An evaluation of different recommender systems with sparse data2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Mängden video som finns tillgänglig på internet förväntas att tredubblas år 2021 jämfört med 2016. Detta innebär ett behov av sofistikerade filter för att kunna hantera detta informationsflöde. Detta examensarbete ämnar att svara på till vilken grad det går att generera personliga rekommendationer baserat på det data som nyhetsvideo innebär. Syftet är att utvärdera och jämföra olika rekommendationssystem och hur de står sig i ett användartest.

    Studien utfördes under våren 2018 och utvärderar fyra olika algoritmer. Dessa olika rekommendationssystem innefattar tekniker som content-based, collaborative-filter, hybrid och en popularitetsmodell används som basvärde. Det dataset som används är glest och har endast implicita attribut. Tre experiment utförs samt ett användartest.

    Mätpunkten för algoritmernas prestanda utgjordes av recall at 5 och recall at 10, dvs. att man mäter hur väl algoritmerna lyckas generera värdefulla rekommendationer i en topp-fem respektive topp-10-lista av videoklipp. Detta då det är av intresse att ha de mest relevanta videorna högst upp i sin lista av resultat. En jämförelse gjordes mellan olika mängd metadata som inkluderades vid träning. Ett annat test gick ut på att utforska hur algoritmerna presterar då datasetet blir mindre glest. I användartestet användes en utvärderingsmetod kallad mean-opinion-score och denna räknades ut per algoritm genom att testanvändare gav betyg på respektive rekommendation, baserat på hur intressant videon var för dem. Användartestet inkluderade även slumpmässigt generade videos för att kunna jämföras i form av basvärde.

    Resultaten indikerar, för detta dataset, att algoritmen content-based presterar bäst både med hänsyn till recall at 5 & 10 samt den totala poängen i användartestet. Alla algoritmer presterade bättre än slumpen.

  • 133.
    Andersson, Philip
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Ko, E Soon
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Creating Dynamic Robot Utterances in Human-Robot Social Interaction: Comparison of a Selection-Based Approach and a Neural Network Approach on Giving Robot Responses in Conversations2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Denna studie undersöker två olika metoder för dialoghanteringssystem för att uppnå dynamiska yttrande i mänskliga-robot sociala interaktioner. Detta gjordes för att avgöra om Robot Assisted Language Learning (RALL) är lämplig som en lösning till den nuvarande situation i Sverige angående lärarbrist inom SFI. Ett tillvägagångssätt som tagits är ett urvalsbaserad med användandet av ett dialogträd med sentence embedding medan det andra tillvägagångssättet är genom Neural Network där två olika modeller tagits fram; en transformer modell och en seq2seq modell. Resultat från användartest visar att båda implementationerna inte var särskilt framgångsrika. Dock utfördes den urvalsbaserade metoden bättre än Neural Network metoder och är lovande för framtida forskning. På grund av att resultaten inte nått en tillfredsställande prestationsnivå och förekomsten av billigare virtuella utbildningsverktyg kanske inte är RALL den mest lämpliga lösningen för den nuvarande situationen i Sverige gällande lärarbrist inom SFI, men visar potential som en långsiktig lösning.

  • 134.
    Andersson, Sofie
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Dimarogonas, Dimos V.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Human in the Loop Least Violating Robot Control Synthesis under Metric Interval Temporal Logic Specifications2018Ingår i: 2018 European Control Conference, ECC 2018, Institute of Electrical and Electronics Engineers (IEEE), 2018, s. 453-458, artikel-id 8550179Konferensbidrag (Refereegranskat)
    Abstract [en]

    Recently, multiple frameworks for control synthesis under temporal logic have been suggested. The frameworks allow a user to give one or a set of robots high level tasks of different properties (e.g. temporal, time limited, individual and cooperative). However, the issue of how to handle tasks, which either seem to be or are infeasible, remains unsolved. In this paper we introduce a human to the loop, using the human's feedback to determine preference towards different types of violations of the tasks. We introduce a metric of violation called hybrid distance. We also suggest a novel framework for synthesizing a least violating controller with respect to the hybrid distance and the human feedback. Simulation result indicate that the suggested framework gives reasonable estimates of the metric, and that the suggested plans correspond to the expected ones.

  • 135.
    Andersson, Tomas
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Spele, Noa
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Improving path planning of autonomous vacuum cleaners using obstacle classification2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Autonoma robotdammsugare behöver information om den omgivande miljön för att kunna planera sin resväg på ett effektivt sätt. I den här rapporten presenteras en kartläggningsalgoritm som med hjälp av kollisions information skapar en rutnätskarta av den omgivande miljön. Algoritmen klassificerar även hindren i rutnätskartan som mobila eller immobila.

    Det existerar redan metoder för att kartlägga ökända miljöer. Dock använder många av dessa metoder information från mer avancerade och dyrare sensorer, och kartorna innehåller ingen information om mobiliteten hos hindren i miljön. Syftet med denna rapport är därför att undersöka huruvida en sådan karta skulle kunna skapas med hjälp av mer tillgängliga och enklare sensorer.

    En testmiljö skapades med hjälp av spelmotorn Unity 3D, och i denna miljö representerades roboten av ett cirkulärt objekt. Roboten hade tillgång till felfri information rörande sin position i relation till sin startposition, riktningen i vilken roboten rörde sig i, och alla inkommande kollisioner. Tre stycken olika testrum skapades, vilka representerade olika vanliga miljöer i vilka autonoma robotdammsugare brukar användas. Rummen innehöll olika typer av mobila och immobila hinder, vilka roboten kolliderade med.

    En uppsättning av tester utfördes sedan i dessa testrum. Testerna undersökte den skapade algoritmens prestanda. Resultaten visade på att algoritmen kan skapa en rutnätskarta som representerar en okänd miljö, och klassificerar mobiliteten hos hindren med en genomsnittlig korrekthet på runt 80%. Dock är det svårt att avgöra huruvida algoritmen kan prestera lika bra i en verklig miljö, på grund av de inkonsekventa resultaten och de förmodligen orealistiska antagandena.

  • 136.
    Anderzén, Anton
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Winroth, Markus
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Automating rule creation in a Smart Home prototype with Learning Classifier System2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Uttrycket ”smarta hem” utlovar ett intelligent beteende. Idag är automatiseringen av hemmiljön en manuell uppgift, där användaren formulerar regler som styr systemet. I smarta hem kan denna uppgift bli automatiserad. Syftet med denna kandidatuppsats är att utveckla en prototyp som ska hjälpa användare i smarta hem att skapa regler. Reglerna ska skapas automatiskt med hjälp av en maskininlärningslösning. Ett självlärande klassificeringssystem bedöms uppfylla den kravställning som görs. Det självlärande klassificeringssystemet används för att skapa regler från sensordata. I prototypen används en Raspberry Pi för att samla in data. Insamlad data behandlas av det självlärande klassificeringssystem som genererar en uppsättning regler. Dessa regler används för att kontrollera ett smart ljussystem. Reglerna uppdateras kontinuerligt med ny sensorinformation från omgivningen och utvärderar de tidigare funna reglerna. Den självlärande klassificeringssystemprototypen löser problemet om hur regler kan skapas automatiskt med hjälp av maskininlärning.

  • 137.
    Anderzén Rodenkirchen, Sven
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Granström, Marcus
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Performance evaluation of quantum Fourier transform on a modern quantum device2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Kvantberäkningar har under de senaste decennierna gått från att vara ett teoretiskt koncept till att implementeras på riktiga enheter. En stor utmaning finns dock kvar; kvantdatorernas känslighet för störningar. Under de senaste åren har stora framsteg gjorts för att minska påverkan av störningar i kvantberäkningar vilket öppnar upp för frågan; hur bra fungerar en icke-felrättande kvantberäkning på en modern kvantdator?

    I detta arbete utför vi kvant-Fouriertransform, en vanlig operation i många kvantalgoritmer, på den riktig kvantdatorn IBMQX4. Vi jämför resultaten från den riktiga kvantdatorn mot felfria simuleringar och mäter den inverkan felen haft på perioden.

    Vi visar att även om det är möjligt att urskilja ett korrekt resultat för triviala probleminstanser så är fel orsakat av störningar fortfarande för stort för att erhålla ett korrekt resultat för icke-triviala problem. Vi fastställer att tekniker för felkorrigering inom kvantberäkningar är en nödvändighet för icke-triviala probleminstanser.

  • 138.
    Andre do Nascimento, Allan
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Robust Model Predictive Control for Marine Vessels2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Detta examensarbete studerar design och implementering av en robustmodellprediktiv regulator (MPC) för marina fartyg. En tub-baserad MPCär designad baserad på linjärisering av systemdynamiken runt en målpunkt,vilket garanterar local insignal-till-tillstånds stabilitet av det linjäriserade systemet.Metoden är sedan applicerad på tre olika uppgifter: dynamisk positionering,för vilken vi även kan garantera rekursiv lösbarhet för den nominellaregulatorn; riktningsstyrning; och banfötljning med en siktlinje-algoritm. Numeriskasimuleringsstudier bekräftar metodens effektivitet.

  • 139.
    Andriopoulou, Maria
    et al.
    Austrian Acad Sci, Space Res Inst, Graz, Austria..
    Nakamura, Rumi
    Austrian Acad Sci, Space Res Inst, Graz, Austria..
    Wellenzohn, Simon
    Karl Franzens Univ Graz, Inst Geophys Astrophys & Meteorol, Graz, Austria..
    Torkar, Klaus
    Austrian Acad Sci, Space Res Inst, Graz, Austria..
    Baumjohann, Wolfgang
    Austrian Acad Sci, Space Res Inst, Graz, Austria..
    Torbert, R. B.
    Univ New Hampshire, Dept Phys, Durham, NH 03824 USA.;Univ New Hampshire, Ctr Space Sci, Durham, NH 03824 USA..
    Lindqvist, Per-Arne
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Rymd- och plasmafysik.
    Khotyaintsev, Yuri V.
    Swedish Inst Space Phys IRF, Uppsala, Sweden..
    Dorelli, John
    NASA, Goddard Space Flight Ctr, Greenbelt, MD USA..
    Burch, James L.
    Southwest Res Inst, San Antonio, TX USA..
    Plasma Density Estimates From Spacecraft Potential Using MMS Observations in the Dayside Magnetosphere2018Ingår i: Journal of Geophysical Research - Space Physics, ISSN 2169-9380, E-ISSN 2169-9402, Vol. 123, nr 4, s. 2620-2629Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Using spacecraft potential observations with and without active spacecraft potential control (on/off) from the Magnetospheric Multiscale (MMS) mission, we estimate the average photoelectron emission as well as derive the plasma density information from spacecraft potential variations and active spacecraft potential control ion current. Such estimates are of particular importance especially during periods when the plasma instruments are not in operation and also when electron density observations with higher time resolution than the ones available from particle detectors are necessary. We compare the average photoelectron emission of different spacecraft and discuss their differences. We examine several time intervals when we performed our density estimations in order to understand the strengths and weaknesses of our data set. We finally compare our derived density estimates with the plasma density observations provided by plasma detectors onboard MMS, whenever available, and discuss the overall results. The estimated electron densities should only be used as a proxy of the electron density, complimentary to the plasma moments derived by plasma detectors, especially when the latter are turned off or when higher time resolution observations are required. While the derived data set can often provide valuable information about the plasma environment, the actual values may often be very far from the actual plasma density values and should therefore be used with caution.

  • 140.
    André, Albin
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Andrén, Karl
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Blockkedjor för återvinning2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Elektroniska apparater utvecklas snabbt, och deras livslängder blir kortare. Mycket av andelen elektronikavfall som detta genererar återvinns inte. En stor andel hanteras på ett sätt som är skadligt för miljön och ohållbart i flera avseenden. Elektronik, specifikt mobiltelefoner, innehåller knappa och miljöfarliga metaller. När mobiltelefoner inte återvinns, och därmed aldrig cirkulerar, går vi miste om möjligheten att återvinna dessa dyrbara metaller. Om avfallet inte omhändertas kan det även hamna på platser där de skadar miljön. Denna studie undersöker möjligheten att använda blockkedjeteknik för att utveckla ett pålitligt avfallshanteringssystem för elektronik, framför allt mobiler. Målet är att öka återanvändning och återvinning, för att ta vara på begränsade resurser, samt minska miljöpåverkan. Genom detta arbete utvecklades en prototyp för denna teknik, för att visa på idéns möjlighet att genomföras. Med hjälp av blockkedjeteknik, smartkontrakt, och RFID går det att skapa ett decentraliserat och transparent spårningssystem av produkter. Ett sådant system är resistent mot korrupt data och fusk och tillför ett pålitligt system för att vem som helst skall kunna spåra en produkts livscykel. Detta avser var och när produkten är skapad, vem som äger den, och till vilka platser och entiteter den anländer när den skall återvinnas. Det medför även att produktens ID eller RFID är sparat inom blockkedjan, och är unikt. Alltså kan smartkontrakt knytas till en specifik produkt. Med dessa förutsättningar går det att utveckla ett slags pantsystem som kan öka återanvändning och återvinning av mobiltelefoner.

  • 141.
    André, Gustaf
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Testing a MIMO Channel for Stationarity2018Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    There is an increasing demand for better communication networks, e.g. better data rates and an improved bandwidth. As a response there is a lot of research being invested towards MIMO systems as a possible solution.In this paper data from a MIMO system with a fixed transmitter (8 antennas) and a mobile receiver (4 antennas) was investigated. The goal was to estimate the duration, during which, the MIMO system could be considered stationary. This was done by first estimating a correlation matrix for every time sample and then using the Correlation Matrix Distance function to measure how similar or dissimilar the different correlation matrices were within fixed time intervals. This was looked at from both the transmitter and receiver side. The result shows that the stationarity lasts for about 1.34 seconds and 5.2 seconds respectively for the receiver and transmitter.

  • 142.
    Andung Muntaha, Muhamad
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Non-intrusive Logging and Monitoring System of a Parameterized Hardware-in-the-loop Real-Time Simulator2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Elektronisk styrenhet (ECU) är en viktig del i dagens fordon. I ett komplett fordon finns det många ECU installerade. Var och en av dessa kontrollerar en enda funktion hos fordonet. Under en utvecklingscykel för en ecu måste dess funktionalitet valideras mot kravspecifikationen. HIL-metoden (Hardware-in-the-loop) används vanligtvis för att göra detta genom att testa ECU i en virtuell representation av sitt styrda system. En viktig del av HIL-testmetoden är en mellanliggande komponent som fungerar som en bro mellan simuleringsdatorn och den ecu som testas. Denna komponent driver ett parametrerat realtidssystem som översätter meddelanden från simuleringsdatorn till ECU som testas och vice versa. Det har en strikt realtidskrav för att alla uppgifter ska kunna slutföras.Ett loggnings och övervakningssystem behövs för att den mellanliggande komponenten ska fungera korrekt. Denna funktionalitet är implementerad i form av extraordinära uppgifter med låg prioritet som körs samtidigt med de högsta prioritetsuppgifterna för översättningstjänster. Genomförandet av dessa uppgifter, tillsammans med ett distribuerat system för att stödja loggnings och övervakningsfunktionaliteten, presenteras i detta avhandlingararbete.Flera utförandetidsmätningar utförs för att få information om hur parametrarna för en uppgift påverkar dess körtid. Därefter används den linjära regressionsanalysen för att modellera exekveringstidestimeringen av de parametrerade uppgifterna. Slutligen används tidsanalysanalysen för att garantera att systemet är schemaläggbart.

  • 143.
    Angeles Antolin Linan, Maria
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Effects of load modelling on Voltage Impasse Regions (VIR)2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    VIR (Voltage Impasse Regions) är ett fenomen i kraftsystem varsdynamiska förlöp beskrivs av differential-algebraiska ekvationer(DAE). VIR betecknar ett område i tillståndsrummet där går förlorad,dvs Jakobianen av den algebraiska delen av DAE är singulärI tidsdomän-simuleringar (TDS) när en trajektoria träffar VIR,konvergerar TDS inte till en lösning. Då finns ingen anledning attfortsätta med simuleringen. Därför är det viktigt att förstå mekanismernasom introducerar VIR. Det är känt att VIR är relateradetill statiska, icke-linjära lastmodeller. Det var dock okänt vadden kumulativa effekten av flera statiska, icke-linjära belastningarskulle vara.Denna uppsats har vidareutvecklat begreppet VIR genom attgenomföra en strukturerad studie om hur lastmodellering påverkarVIR. För detta ändamål föreslår denna avhandling en kvasidynamiskmetod för att kartlägga VIR i det relativa rotorvinkelrummet.Metoden introducerar ett nytt diskret index som heterVoltage Impasse Region Flag (VIRflag), vilket gör det möjligt attbestämma om den algebraiska delen av DAE är lösbar eller inteoch därmed lokalisera VIR. Ett används för att testa det föreslagnakvasi-dynamiska tillvägagångssättet. VIRflag användes först för attkartlägga VIR för olika belastningskombinationer. Därefter granskasförhållandet mellan konvergensproblem i TDS och korsningenmellan en trajektoria och VIR för att verifiera den föreslagna metoden.Den föreslagna metoden har visat sig vara effektiv vid bestämningav VIR, oberoende av antalet icke-linjära belastningar. Bland destatiska exponentiella belastningsmodellerna har konstanteffektlast(CP) haridentifierats som den som har störst inflytande påVIR;s form. Den konstantströmlasten (CC) inducerar mindre"VIRområdenoch konstantimpedanslasten (CI) kan endast ändra formenav VIR i närvaro av icke-linjära belastningsmodeller.

  • 144.
    Anghileri, Davide
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Using Player Modeling to Improve Automatic Playtesting2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    I denna uppsats presenterar vi två tillvägagångssätt för att förbättra automatisk speltestning genom modellering av spelare. Genom att modellera olika grupper av spelare kunde vi träna Convolutional Neural Network-baserade agenter för att simulera mänskligt spelande med hjälp av olika strategier som är lärda direkt från mänsklig spelardata. Målet är att använda de utvecklade agenterna för att förutsäga användbar metrik av nyskapat spelinnehåll.

    Vi validerade vårt tillvägagångssätt genom Candy Crush Saga, ett icke-deterministiskt 3-matchnings pusselspel med mer än tre tusen nivåer. Detta är första gången som spelarmodellering appliceras på ett 3-matchnings pusselspel. De presenterade tillvägagångssätten är mer generella och kan utökas till andra spel. De föreslagna tillvägagångssätten är jämförda med ett tillvägagångssätt som simulerar spelande genom en strategi som är lärd direkt från slumpmässig mänsklig spelardata. Resultatet visar att vårt tillvägagångssätt, genom simulering av olika strategier är, mer exakt för att förutsäga spelarens svårighet, mätt genom spelarens framgång, på nya nivåer. Båda tillvägagångssätten förbättrade mean absolute error med 13% och mean squared error med ungefär 23%. Dessutom kan de föreslagna tillvägagångssätten ge en användbar insikt för att bättre förstå spelarna och spelet.

  • 145.
    Ankaräng, Fredrik
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Waldner, Fabian
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Evaluating Random Forest and a Long Short-Term Memory in Classifying a Given Sentence as a Question or Non-Question2019Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Språkteknologi och textklassificering är vetenskapliga områden som tillägnats mycket uppmärksamhet av forskare inom maskininlärning. Nya metoder och modeller presenteras årligen, men mindre fokus riktas på att jämföra modeller av olika karaktär. Den här uppsatsen jämför Random Forest med ett Long Short-Term Memory neuralt nätverk genom att undersöka hur väl modellerna klassificerar meningar som frågor eller icke-frågor, utan att ta hänsyn till skiljetecken. Modellerna tränades och optimerades på användardata från ett svenskt försäkringsbolag, samt kommentarer från nyhetsartiklar. Resultaten visade att LSTM-modellen presterade bättre än Random Forest. Skillnaden var dock liten, vilket innebär att Random Forest fortfarande kan vara ett bättre alternativ i vissa situationer tack vare dess enkelhet. Modellernas prestanda förbättrades inte avsevärt efter hyperparameteroptimering.

    En litteraturstudie genomfördes även med målsättning att undersöka hur arbetsuppgifter inom kundsupport kan automatiseras genom införandet av en chatbot, samt vilka funktioner som bör prioriteras av ledningen inför en sådan implementation. Resultaten av studien visade att en data-driven approach var att föredra, där funktionaliteten bestämdes av användarnas och organisationens specifika behov. Tre funktioner var dock tillräckligt generella för att presenteras personligheten av chatboten, dess trovärdighet och i vilket steg av värdekedjan den implementeras.

  • 146.
    Anna, Canal Garcia
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Study of brain imaging correlates of Mild Cognitive Impairment and Alzheimer’s Disease with machine learning2019Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Noggrann diagnos i de tidiga stadierna är en viktig utmaning för förebyggande och effektiv behandling av Alzheimers sjukdom (AD). Detta arbete föreslår en analysmetod av korrelationen mellan subtyper av lindrig kognitiv störning (MCI) och dess progression till AD genom användandet av bildgivande tekniker så som strukturell magnetisk resonanstomografi (MRI). Grundläggande förbehandling som extraktion av hjärnvävnadsrelaterade delar av bilden, bildregistrering och standardisering till medelvärdet och standardavvikelse tillämpas. En faltnings-autoenkoder (CAE) används för att minska datadimensionaliteten och lära sig generiska funktioner som tar bort AD-biomarkörer, följt av olika klusteringstekniker för att upptäcka olika mönster på MCI-data. Dessutom genereras sex MCI-patientkluster baserade på AD-progressions-information tillhandahållen av ADNI. Metoden utvärderades på totalt 1069 strukturella MR-skanningar (522 MCI, 243 AD och 304 CN) på baslinjen från ADNI-databasen. Inga tydligt separerbara kluster finns efter användning av CAE-modell tränad på MCI-data. Det är därför svårt att bekräfta en stark korrelation mellan olika subtyper av MCI-patienter och dess progression till AD. Trots detta rapporteras en signifikant korrelation inom baslinjebilderna för respektive sex grupper som identifierats baserat på AD-progression. Det är hypotesen att bristen på domänspecifik MR-behandling, som planerats i detta arbete, skulle kunna vara avgörande för resultaten i denna forskning.

  • 147.
    Annergren, Björn
    KTH, Skolan för elektroteknik och datavetenskap (EECS).
    Log Classification using a Shallow-and-Wide Convolutional Neural Network and Log Keys2018Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Ett dataset som består av loggar som beskriver resultat av test från en bygg- och testprocess, använt i en miljö med kontinuerlig integration, används för att automatiskt kategorisera loggar enligt olika feltyper. Två olika sorters indata evalueras, ord och loggnycklar, där icke- ordnade dokumentmatriser används som dokumentrepresentationer för att avgöra loggnycklars användbarhet. Experimentet använder multinomial naiv bayes, MNB, som klassificerare och multiklass-supportvektormaskiner, SVM, för att avgöra prestandan för de olika sorternas indata. Experimentet indikerar att loggnycklar är ekvivalenta med ord medan loggnycklar har mycket mindre ordboksstorlek. Tre olika multi-lager-perceptroner evalueras på loggnyckel-dokumentmatriser och får något högre exakthet i krossvalideringen jämfört med SVM. Ett grunt-och-brett faltningsnätverk, CNN, designas med tidsmässiga sekvenser av loggnycklar som dokumentrepresentationer. De topppresterande modellerna av varje modellarkitektur evalueras på ett testset, utom för MNB-klassificerarna då MNB har dålig prestanda under krossvalidering. Evalueringen av testsetet indikerar att CNN:en är bättre än de andra modellerna.

  • 148.
    Anoshkin, Ilya V.
    et al.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Mikro- och nanosystemteknik.
    Campion, James
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Mikro- och nanosystemteknik.
    Lioubtchenko, Dmitri V.
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Mikro- och nanosystemteknik.
    Oberhammer, Joachim
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Mikro- och nanosystemteknik.
    Freeze-Dried Carbon Nanotube Aerogels for High-Frequency Absorber Applications2018Ingår i: ACS Applied Materials and Interfaces, ISSN 1944-8244, E-ISSN 1944-8252, ISSN 1944-8244, Vol. 10, nr 23, s. 19806-19811Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    A novel technique for millimeter wave absorber material embedded in a metal waveguide is proposed. The absorber material is a highly porous carbon nanotube (CNT) aerogel prepared by a freeze-drying technique. CNT aerogel structures are shown to be good absorbers with a low reflection coefficient, less than -12 dB at 95 GHz. The reflection coefficient of the novel absorber is 3-4 times lower than that of commercial absorbers with identical geometry. Samples prepared by freeze-drying at -25 degrees C demonstrate resonance behavior, while those prepared at liquid nitrogen temperature (-196 degrees C) exhibit a significant decrease in reflection coefficient, with no resonant behavior. CNT absorbers of identical volume based on wet-phase drying preparation show significantly worse performance than the CNT aerogel absorbers prepared by freeze-drying. Treatment of the freeze-dried CNT aerogel with n- and p-dopants (monoethanolamine and iodine vapors, respectively) shows remarkable improvement in the performance of the waveguide embedded absorbers, reducing the reflection coefficient by 2 dB across the band.

  • 149. Ansari, R. Jaberzadeh
    et al.
    Karayiannidis, Yiannis
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Reglerteknik.
    Reducing the human effort for human-robot cooperative object manipulation via control design2017Ingår i: IFAC PAPERSONLINE, ELSEVIER SCIENCE BV , 2017, Vol. 50, nr 1, s. 14922-14927Konferensbidrag (Refereegranskat)
    Abstract [en]

    This study is concerned with the shared object manipulation problem in a physical Human-Robot Interaction (pHRI) setting. In such setups, the operator manipulates the object with the help of a robot. In this paper, the operator is assigned with the lead role, and the robot is passively following the forces/torques exerted by the operator. We propose a controller that is free from the well-known translation/rotation problem and enhances the operator's ability to move the object by reducing the human effort. The key point in our study is that the controller is defined based on the instantaneous center of rotation. The passivity of the system including the object and the manipulator has been evaluated. Simulation results validate the theoretical findings on different scenarios of subsequent rotations and translations of the object.

  • 150. Antichi, Gianni
    et al.
    Castro, Ignacio
    Chiesa, Marco
    KTH, Skolan för elektroteknik och datavetenskap (EECS), Kommunikationssystem, CoS, Network Systems Laboratory (NS Lab). Université catholique de Louvain.
    Fernandes, Eder L.
    Lapeyrade, Remy
    Kopp, Daniel
    Han, Jong Hun
    Bruyere, Marc
    Dietzel, Christoph
    Gusat, Mitchell
    Moore, Andrew W.
    Owezarski, Philippe
    Uhlig, Steve
    Canini, Marco
    ENDEAVOUR: A Scalable SDN Architecture For Real-World IXPs2017Ingår i: IEEE Journal on Selected Areas in Communications, ISSN 0733-8716, E-ISSN 1558-0008, Vol. 35, nr 11, s. 2553-2562Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Innovation in interdomain routing has remained stagnant for over a decade. Recently, Internet eXchange Points (IXPs) have emerged as economically-advantageous interconnection points for reducing path latencies and exchanging ever increasing traffic volumes among, possibly, hundreds of networks. Given their far-reaching implications on interdomain routing, IXPs are the ideal place to foster network innovation and extend the benefits of software defined networking (SDN) to the interdomain level. In this paper, we present, evaluate, and demonstrate ENDEAVOUR, an SDN platform for IXPs. ENDEAVOUR can be deployed on a multi-hop IXP fabric, supports a large number of use cases, and is highly scalable, while avoiding broadcast storms. Our evaluation with real data from one of the largest IXPs, demonstrates the benefits and scalability of our solution: ENDEAVOUR requires around 70% fewer rules than alternative SDN solutions thanks to our rule partitioning mechanism. In addition, by providing an open source solution, we invite everyone from the community to experiment (and improve) our implementation as well as adapt it to new use cases.

1234567 101 - 150 av 4072
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