Göm menyn

Nyheter 2016

Förbrukar dina mobilappar för mycket energi vid åtkomst till nätet?

Energiförbrukning och energihantering är en av de stora utmaningarna för informationsteknologin just nu. Batteriets livslängd har blivit en av de minst tillfredsställande faktorerna i mobila enheter. I sin doktorsavhandling, fokuserar Ekhiotz Jon Vergara på energieffektiviteten i mobilkommunikation med fokus på de mobila enheterna och användarens upplevelse.

Den energiförbrukning som orsakas av kommunikation är inte proportionell mot mängden data som skickas vilket beror på hur data skickas över tid. Det är därför av stor vikt att energieffektivisering ingår i utvecklingsprocessen för programvaran.

Avhandlingen bidrar med EnergyBox, ett verktyg som gör det möjligt att enkelt kvantifiera energiförbrukningen för datakommunikation. Verktyget simulerar energiförbrukningen i trådlösa gränssnitt med kunskap om de aspekter hos både mobila enheter och nätverksoperatörer som påverkar nätverkskommunikationen. EnergyBox har redan använts i forskning och företagsprojekt (t.ex. av Spotify). EnergyBox används i avhandlingen för att kvantifiera och föreslå nya förbättringar för populära mobila applikationer från två olika perspektiv: applikation och operativsystem.

Slutligen studeras det generella problemet att bestämma hur mycket olika delar bidrar till den totala energiförbrukningen i ett givet system (t.ex. applikationer i en mobilenhet). Problemet liknas vid hur en kostnad eller vinst kan delas rättvist. Det görs jämförelse av de ledande metoderna för att bestämma delförbrukning och ges riktlinjer för att välja en metod beroende på systemets beteende. Resultatet visar att incitament för att minska den totala energiförbrukningen i systemet är beroende av metodvalet.
Läs mer

Innovationsstöd från Google

Frilansbyrån Journalism++ Stockholm och IDA-doktoranden Måns Magnusson får innovationsstöd från Google Digital News Initiative för att utveckla Marple, en robotbaserad nyhetstjänst som sållar statistik och offentlig data för att hitta nyheter.
Läs mer

Årets IJCAI Distinguished Service Award till prof. Erik Sandewall

Prof. Erik Sandewall kommer att tilldelas årets prestigefulla Donald E. Walker Distinguished Service Award i samband med konferensen IJCAI 2016 i New York. Priset är ett erkännande för sina bidrag och tjänster inom ämnet artificiell intelligens under hela sin karriär.
Läs mer

Analys, design och optimering av inbyggda styrsystem

Idag omfattar många inbyggda system flera styrapplikationer som delar samma plattform. Dessa system används inom exempelvis bilindustrin, processindustrin och flygelektronik, för att nämna några. Det är välkänt att en sådan resursdelning leder till komplexa tidsbeteenden som försämrar kvaliteten på regleringen och i värsta fall kan även stabiliteten förloras.

I sin avhandling betraktar Amir Aminifar inbyggda styrsystem, där flera styrapplikationer delar samma behandlingsenhet. Här fokuseras på reglering-schemaläggning co-designproblemet. Till skillnad från traditionella inbyggda system där regleringsparametrarna och schemaläggningsparametrarna optimeras separat behöver inbyggda styrsystem optimeras samtidigt, vilket ger upphov till nya metoder.
Läs mer

Ny teknik för tropiska cyklonprognoser

Många länder som är sårbara för cykloner, såsom Bangladesh, saknar de ekonomiska resurser och den informationsinfrastruktur som krävs för att köra avancerade numeriska väderprognosmodeller, och har därför svårt att tillhandahålla tillförlitliga tidiga cyklonvarningar. I Chandan Roys doktorsavhandling utvecklas en ny teknik för att förutse hur en cyklon kommer att röra sig och hur dess intensitet kommer att utvecklas.

Tekniken använder sig av biologiskt baserade artificiella neurala nätverk för att bearbeta data som ligger i ett rutmönster av geografiska punkter. Tekniken kan producera tidiga och tillförlitliga cyklonspår- och intensitetsprognoser, samtidigt som den använder fritt tillgängliga satellitdata och inte kräver superdatorer för att köras. En central egenskap hos tekniken är att den tar hänsyn till den rumsliga strukturen hos mätdata, som ger viktiga ledtrådar till spår och intensitetsförändringar hos cykloner.

Tekniken baseras på djupa neurala nät, där ett antal dubbelriktat kopplade lager av noder ligger i en hierarkisk struktur som är specifikt utformad för att hantera data med rumslig struktur. Tekniken kombinerar oövervakad och övervakad inlärning på varje beräkningsnivå. För att optimera prestanda har värden för centrala parametrar, såsom storleken på receptiva fält, och förhållandet mellan oövervakat och övervakat inlärning, systematiskt testats. Dessutom har en detaljerad analys gjorts av de interna representationer som utvecklas i dessa nät under träning, och dessa ger vägvisning om vilka faktorer i mätdata som är avgörande för en tillförlitlig cyklonprognos.

Den teknik och de resultat som presenteras i avhandlingen kommer att kunna förbättra effektiviteten i cyklonvarnings- och krishanteringssystem i länder som Bangladesh. Resultaten skapar också möjligheter för vidare forskning, där biologiskt baserade artificiella neurala nätverk kan användas för allmänna väderleksprognoser, samt för prognoser av svåra väderfenomen, såsom stormar och åskoväder.
Läs mer

Design av säkra inbyggda realtidssystem

Inbyggda realtidssystem har flera designbegränsningar och krav gällande till exempel timing, resurseffektivitet och prestanda. Tidigare har säkerhetskraven i inbyggda realtidssystem inte betraktats som designparametrar under själva designprocessen. I sin doktorsavhandling på IDA fokuserar Ke Jiang på aspekter så som kommunikationssekretess och motstånd mot sidokanalattacker.

I avhandlingen presenteras tre olika tekniker för att utforma säkra inbyggda realtidssystem. Först en teknik för hård- och mjukvaru "co-design" för kommunikationssekretess för distribuerade plattformar, sedan ett globalt ramverk för säkra multi-mode system och slutligen en schemaläggningspolicy för motstånd mot sidokanalattacker.

Samtliga av de föreslagna lösningarna har experimentellt utvärderats i stor omfattning, inklusive två fallstudier som visar på effektiviteten hos de presenterade teknikerna.
Läs mer

Nya algebraiska metoder för att studera komplexitet hos villkorsproblem

Villkorsproblem är en viktig typ av beräkningsproblem med många industriella tillämpningar inom exempelvis schemaläggnings- och optimeringsproblem. Den så kallade algebraiska metoden har de senaste 20 åren haft stora framgångar för att identifiera villkorsproblem som kan lösas i polynomisk tid. Sådana problem sägs ofta vara hanterbara eftersom de medger effektiva algoritmer. Däremot kan denna algebraiska metod inte användas för att studera komplexiteten hos problem som inte tros vara hanterbara, trots att även dessa i praktiken har en mycket varierande komplexitet.

För att studera skillnaden i komplexitet mellan sådana villkorsproblem föreslår Victor Lagerkvist i sin doktorsavhandling på IDA ett algebraiskt ramverk baserat på partiella funktioner. Med hjälp av detta ramverk studeras komplexiteten för flera välkända villkorsproblem. Komplexiteten för dessa problem relateras sedan till en komplexitetsteoretisk konjektur, hypotesen om exponentiell tid, som förutsäger att det finns en skarp gräns för hur effektiva algoritmer det är möjligt att konstruera för villkorsproblem.
Läs mer


Sidansvarig: Webmaster