Ändra sökning
Avgränsa sökresultatet
925926927928929930931 46351 - 46400 av 48265
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • 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.
  • 46351.
    Woxberg, Lars
    et al.
    Blekinge Tekniska Högskola, Fakulteten för datavetenskaper, Institutionen för kreativa teknologier.
    Grahn, Stefan
    Blekinge Tekniska Högskola, Fakulteten för datavetenskaper, Institutionen för kreativa teknologier.
    Maritime Anomaly Detection with Dynamic Potential Field Grids2015Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Context. Safety and security in the maritime domain is an important area and systems designed to aid in detecting illegal or dangerous situations are desired. With the advent of Automatic Identification Systems (AIS), information about marine traffic is in abundance and the challenge is in finding events of interest; to which a common approach is to find vessels behaving anomalously.

    Objectives. This study extends previous work by Osekowska et al. who used potential fields to condensate AIS data into a unified pattern. The challenge in this method is the configuration of grid precision. Through the use of quadtrees, this thesis presents a new implementation that intends to alleviate this problem by allowing dynamic grid resolution.

    Methods. Experiments are conducted to compare the new implementation to the existing one. Both algorithms are tested in areas with dense, sparse and mixed traffic density. Additionally, the implementations are validated against real anomaly data and a set of traffic data containing no confirmed anomalies.

    Results. While the new algorithm does not work exactly like the existing implementation in dense and sparse areas, it is shown to be able to detect 8/9 real anomalies while detecting 20.1\% false positives. The existing implementation either finds 5/9 of the real anomalies and 8.3\% false positives with a large cell size or 7/9 real anomalies and 44.4\% false positives with a small cell size.

    Conclusions. The new algorithm finds more real anomalies, especially compared to when using a large cell size. It finds fewer false positives than when using small cells, but not quite as few as with large cells. The anomaly missed by the new algorithm is likely due to the fact that traffic patterns have changed after the training data was collected, and it is possible that it would have been found with more up-to-date training data. This thesis is a pre-study of the presented method and provides incentive for future investigation. 

  • 46352.
    Woxberg, Thomas
    et al.
    Linköpings universitet, Institutionen för datavetenskap.
    Wilhelmsson, Gustav
    Linköpings universitet, Institutionen för datavetenskap.
    TUCS: En sammankoppling av Visma SPCS och MS Outlook2006Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats
    Abstract [sv]

    Målet med vårt examensarbete har varit att på uppdrag från United Computer Systems skapa ett program som kopplar samman Visma SPCS och MS Outlook. Anledningen till detta program har varit att utöka den begränsade kontakthanteringen som finns i Visma SPCS. I större affärssystem blir det allt vanligare att så kallade CRM system integreras. Dock saknas oftast bra kontakthantering i lösningar som riktar sig till mindre företag. Genom att koppla samman SPCS med Outlook, ger det användaren möjligheter att lagra mer djupgående information om kunder, deras kontaktpersoner och leveransadresser.

    Programmet har utformats i Borland Delphi och vi beskriver i denna rapport hur vi gått till väga för att skapa ett program som uppfyller vår uppdragsgivares önskemål vad gäller användbarhet och användarvänlighet.

    Vi beskriver även några av de grundläggande begreppen för vårt projekt, så som Screen scraping och API för SPCS och Windows.

  • 46353. Woxenius, Johan
    Generic framework for transport network designs: applications and treatment in intermodal freight transport literature2007Ingår i: Transport reviews, ISSN 0144-1647, E-ISSN 1464-5327, Vol. 27, nr 6, s. 733-749Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Six principles for the design of transport systems are described, including direct link, corridor, hub-and-spoke, connected hubs, static routes, and dynamic routes. The designs are theoretically discussed, defining the operational character of each design and their application in passenger, freight and rail freight transport. The theory is then applied to intermodal freight transport by comparing the terminology used in the paper with that in the scientific literature. The advantages of using a generic terminology over contextual ones are identified from the perspectives of researchers, commercial operators and policy-makers.

  • 46354. Woxenius, Johan
    Intermodal freight transport network designs and their implication for transhipment technologies2007Ingår i: European Transport / Trasporti Europei, ISSN 1825-3997, E-ISSN 2283-5520, nr 35, s. 27-45Artikel i tidskrift (Refereegranskat)
  • 46355. Woxenius, Johan
    Temporal elements in the spatial extension of production networks2006Ingår i: Growth and Change, ISSN 0017-4815, E-ISSN 1468-2257, Vol. 37, nr 4, s. 526-549Artikel i tidskrift (Refereegranskat)
  • 46356. Woxenius, Johan
    et al.
    Persson, Jan A.
    Davidsson, Paul
    Measures for increasing the loading space utilisation of intermodal line train systems2007Konferensbidrag (Refereegranskat)
  • 46357.
    Woxenius, Johan
    et al.
    Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation.
    Persson, Jan A.
    Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation.
    Davidsson, Paul
    Blekinge Tekniska Högskola, Sektionen för datavetenskap och kommunikation.
    Utilising more of the loading space in intermodal line trains-Measures and decision support2013Ingår i: Computers in industry (Print), ISSN 0166-3615, E-ISSN 1872-6194, Vol. 64, nr 2, s. 146-154Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The focus of this article is to identify, characterise and qualitatively evaluate the existing measures for increasing the utilisation of loading space in intermodal road-rail freight line trains. Normally, these trains operate like intercity passenger trains, because they make short unit load transhipment stops along rail corridors in order to travel comparatively small and short flows. The measures for loading space utilisation include adapting the train's capacity, changing the departure times, altering the train routes and sending trucks to different terminals as well as replacing rail transport with trucks. Some of the measures require improved information sharing, and executives can strengthen the effect of the measures by adding decision support systems and price incentives to transport buyers.

  • 46358.
    Wramner, Henrik
    KTH, Skolan för datavetenskap och kommunikation (CSC).
    Tracking Users on the World Wide Web.2011Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den dominerande affärsmodellen på webben innebär att webbsidor finansieras med hjälp av reklam. Vanligtvis för webbsideägarna betalt av annonsören endast om en annonsvisning eller ett annonklick senare leder till ett slutfört köp. För att kunna avgöra vilken webbsida som är ansvarig för ett slutfört köp krävs spårning av webbanvändares handlingar. De nuvarande standardmetoderna för spårning på webben identifieras som fingeravtryck av webbläsare samt användandet av HTTP-kakor. Dessa två spårningsmetoder visas vara allt mindre tillförlitliga. I detta examensarbete utvecklas flera alternativa spårningsmetoder. Några av dessa implementeras även som prototyper och utvärderas. Utvärderingen visar att samtliga implementerade prototyper kan användas för att spåra någon delmängd av alla webanvändares handlingar. Slutsatsen är att användandet av webbläsarcachen är den bästa spårningsmetoden som tagits fram under examensarbetet. Anledningen är att en stor andel av webbanvändarnas handlingar kan spåras, det är endast små effekter hos spårningsbolagets kunder och det är endast små effekter på spårningsbolagets server-datorer.

  • 46359.
    Wrede, Åsa
    Linköpings universitet, Institutionen för beteendevetenskap.
    Att hantera vad och var samtidigt: Är det befogat att fraktionera den epiepisodiska bufferten från den centrala exekutiven i arbetsminnet?2006Självständigt arbete på avancerad nivå (magisterexamen), 20 poäng / 30 hpStudentuppsats
    Abstract [sv]

    I studien har två experiment utförts med tyngdpunkt på arbetsminnets komponenter. Experimenten utgår från Baddeleys teori om arbetsminnet som är uppdelat på exekutiva funktioner för kontroll av olika undersystem, en fonologisk loop för auditiv information, ett visuospatialt skissblock för visuell information och en episodisk buffert för integrering av olika typer av information. För att testa dessa komponenter mot varandra utformades ett bildbaserat test för den episodiska bufferten. I experiment 2 ingick även två väletablerade test för kontroll av chunking och Stroop-effekten. Syftet var att kontrollera om det finns något samband mellan den episodiska bufferten och de andra komponenterna i Baddeleys min-nesmodell. I experimenten deltog 25 studenter som frivilliga försökspersoner. Resultaten visar att det finns en korrelation mellan Stroop-testet och testet för den episodiska bufferten vilket tyder på att de exekutiva funktionerna spelar en stor roll i arbetsminnets episodiska buffert.

  • 46360.
    Wredenberg, Daniel
    et al.
    Högskolan i Jönköping, Internationella Handelshögskolan, IHH, Informatik.
    Bengtsson, Marcus
    Högskolan i Jönköping, Internationella Handelshögskolan, IHH, Informatik.
    Övergång till 24-timmarsmyndighet: vad krävs för att en kommun skall lyckas?2007Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats
    Abstract [sv]

    Det övergripande syftet med en 24-timmarsmyndighet är att förbättra servicenivån för landets invånare. Medborgarna skall ha möjlighet att utnyttja samtliga myndigheters tjänsteutbud via Internet.

    Utvecklingen mot detta mål har påbörjats och vi har i denna uppsats valt att undersöka vilka faktorer som är avgörande för att en kommun skall lyckas i sitt arbete mot att bli en 24-timmarsmyndighet.

    Ett 60-tal av Sveriges kommuner ingår idag i ett samarbete som kallas Sambruk. Denna ekonomiska förening har som syfte att skapa en plattform för gemensam utveckling av e-tjänster för kommuner. Sambruk gör det möjligt för kommuner att dela på utvecklings-kostnader för ny programvara samt att utbyta kunskap och erfarenheter med varandra.

    Jönköpings kommun är en föregångare i detta projekt, vilket också har gjort att kommu-nen ligger i framkanten inom området. Vi har med anledning av detta valt att utföra vår studie på Jönköpings kommun. Studierna är av kvalitativ typ och består av en observation och en djupintervju.

    Det har framkommit en rad faktorer som kan anses avgörande för hur väl landets kommu-ner skall lyckas i övergången till att bli 24-timmarsmyndigheter. Det behöver bland annat skapas en högre instans som tar hand om praxisfrågor gällande utveckling av myndig-heters e-tjänster. Det är också av stor vikt att landets kommuner och myndigheter uppnår en någorlunda jämn nivå vad det gäller e-tjänsteutbud. Detta då sämre utvecklade myndigheter och kommuner annars bromsar de som ligger i framkanten. Lagstiftning är en annan avgörande faktor. Personuppgiftslagen är begränsande på det sättet att lagen inskränker vilka olika typer av e-tjänster som kan skapas, med hänsyn till hantering av personuppgifter. Lagen om offentlig upphandling reducerar antalet aktörer som kommer i fråga vid upphandlingar. Detta leder till att kommuner får onödigt höga kostnader för sina e-tjänster. Det är också vanligt att personalen i kommunerna har bristfälliga kunskaper vad det gäller upphandling, vilket gör att de blir beroende av utomstående konsulter för att ta fram kravspecifikationer vid tillverkning av nya e-tjänster. Detta försämrar kommunens möjlighet till kravställande och uppföljning.

    Bristen på medborgarkommunikation är en annan faktor som framkommit. Det är viktigt att medborgarna får delta i utvecklingen av nya e-tjänster, på så vis att de utformas efter deras behov och önskningar. Det är också vanligt att kommuner ser till kortsiktiga vinster vid skapandet av nya e-tjänster, vilket försvårar utvecklingen av en god IT-infrastruktur.

    Statskontoret har tagit fram en modell för att vägleda och jämföra olika myndigheters ut-vecklingsarbete. Modellen består av fyra steg som mäter e-tjänsters komplexitet. Det har under uppsatsarbetet framkommit att kommunerna inte längre anser det önskvärt att upp-nå högsta steget i denna modell. De anser att modellen enbart mäter hur tekniskt avancerad en e-tjänst är, inte vilken nytta den skapar. En e-tjänst bör istället ha den grad av komplexitet som gör att den maximerar nyttan för dess användare.

  • 46361.
    Wredh, Simon
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Avdelningen för beräkningsvetenskap.
    Kroner, Anton
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Avdelningen för beräkningsvetenskap.
    Berg, Tomas
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Avdelningen för beräkningsvetenskap.
    A Comparison of Three Time-stepping Methods for the LLG Equation in Dynamic Micromagnetics2017Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [en]

    Micromagnetism is the study of magnetic materials on the microscopic length scale (of nano to micrometers), this scale does not take quantum mechanical effects into account, but is small enough to neglect certain macroscopic effects of magnetism in a material.

    The Landau-Lifshitz-Gilbert (LLG) equation is used within micromagnetism to determine the time evolution of the magnetisation vector field in a ferromagnetic solid. It is a partial differential equation with high non linearity, which makes it very difficult so solve analytically. Thus numerical methods have been developed for approximating the solution using computers.

    In this report we compare the performance of three different numerical methods for the LLG equation, the implicit midpoint method (IMP), the midpoint with extrapolation method (MPE), and the Gauss-Seidel Projection method (GSPM).

    It was found that all methods have convergence rates as expected; second order for IMP and MPE, and first order for GSPM. Energy conserving properties of the schemes were analysed and neither MPE or GSPM conserve energy. The computational time required for each method was determined to be very large for the IMP method in comparison to the other two. Suggestions for different areas of use for each method are provided.

  • 46362.
    Wrege, Marcus
    Högskolan i Skövde, Institutionen för datavetenskap.
    Utvärdering av hur moderna databasprodukter möter kraven på tredje generationens databaser2000Självständigt arbete på grundnivå (kandidatexamen)Studentuppsats
    Abstract [sv]

    Databaser är vanligt förekommande i vardagen på företag och organisationer. De mer objektorinterade krav som idag ställs på vad en databas bör klara av att hantera, har med ökad datakapacitet gjort att mer komplexa dataobjekt måste kunna hanteras i databasen.

    1990 skrevs ett manifest av den tidens ledande databasforskare om vad de ansåg att den tredje generationens databaser borde ha för funktionalitet. I detta arbete undersöks det huruvida dagens moderna relationsdatabasprodukter klarar av att hantera de krav som ställdes i manifestet på vad den tredje generationens databaser borde klara av.

    Arbetet utgår ifrån manifestets krav och utförs med hjälp av en kombination av metoderna litteraturstudie och implementation. Fokus har lagts på att hitta en lösning i litteraturen för att om möjligt visa med kodexempel hur det kan se ut i en praktisk lösning.

  • 46363.
    Wreiner, Thomas
    et al.
    Linköpings universitet, Institutionen för datavetenskap, MDI - Interaction and Service Design Research Group. Linköpings universitet, Tekniska högskolan.
    Mårtensson, Ingrid
    Linköpings universitet, Institutionen för datavetenskap, MDI - Interaction and Service Design Research Group. Linköpings universitet, Tekniska högskolan.
    Arnell, Olof
    Linköpings universitet, Institutionen för datavetenskap, MDI - Interaction and Service Design Research Group. Linköpings universitet, Tekniska högskolan.
    Gonzàlez, Natalia
    Linköpings universitet, Institutionen för datavetenskap, MDI - Interaction and Service Design Research Group. Linköpings universitet, Tekniska högskolan.
    Holmlid, Stefan
    Linköpings universitet, Institutionen för datavetenskap, MDI - Interaction and Service Design Research Group. Linköpings universitet, Tekniska högskolan.
    Segelström, Fabian
    Linköpings universitet, Institutionen för datavetenskap, MDI - Interaction and Service Design Research Group. Linköpings universitet, Tekniska högskolan.
    Exploring Service Blueprints for Multiple Actors: A Case Study of Car Parking Services2009Ingår i: First Nordic Conference on Service Design: Oslo, Norway, 23-26 november 2009, Linköping University Electronic Press , 2009Konferensbidrag (Refereegranskat)
    Abstract [en]

    Service blueprints are usually included in listings of standard methods within service design. Still; little research has been conducted on service blueprints. The case study at hand explores how blueprints can be applied in a situation with three key actors; all with different motives and wishes. The case study is within the domain of car parking; a service which at a first glance may seem simple; but is rather complex when scrutinized. Three ways of blueprinting the situation are presented and discussed in the paper. Finally issues which arose from the blueprinting process are discussed in regard to implications for people creating blueprints.

  • 46364.
    Wren, Joakim
    Linköpings universitet, Institutionen för ekonomisk och industriell utveckling, Mekanisk värmeteori och strömningslära. Linköpings universitet, Tekniska fakulteten.
    ENGINEERING THERMODYNAMICS IN THE 21ST CENTURY: ACTIVE LEARNING BY HUMAN BODY THERMODYNAMICS2015Ingår i: 2015 IEEE CONFERENCE ON COMPUTER VISION AND PATTERN RECOGNITION (CVPR), IEEE , 2015Konferensbidrag (Refereegranskat)
    Abstract [en]

    A new project on human body thermodynamics was developed and used in traditional engineering thermodynamics courses. The aim was to increase student motivation and learning by making the students more active and in charge of their learning, and to widen the application of thermodynamics outside the engineering field. The students and teachers experiences were investigated using a combination of questionnaires and interviews. It was found that the students were relatively satisfied with the project, although there was a relatively large spreading in the group. The teachers noticed a clear difference regarding the questions asked and the discussions that took place when comparing the project with traditional lessons/lectures. Altogether, the project was found to have benefits from both motivation and learning perspectives.

  • 46365.
    Wrenninge, Magnus
    Linköpings universitet, Institutionen för teknik och naturvetenskap.
    Fluid Simulation for Visual Effects2003Självständigt arbete på grundnivå (yrkesexamen)Studentuppsats
    Abstract [en]

    This thesis describes a system for dealing with free surface fluid simulations, and the components needed in order to construct such a system. It builds upon recent research, but in a computer graphics context the amount of available literature is limited and difficult to implement. Because of this, the text aims at providing a solid foundation of the mathematics needed, at explaining in greater detail the steps needed to solve the problem, and lastly at improving some aspects of the animation process as it has been described in earlier works.

    The aim of the system itself is to provide visually plausible renditions of animated fluids in three dimensions in a manner that allows it to be usable in a visual effects production context.

    The novel features described include a generalized interaction layer providing greater control to artists, a new way of dealing with moving objects that interact with the fluid and a method for adding source and drain capabilities.

  • 46366.
    Wretlind, Kristoffer
    Högskolan Dalarna, Akademin Industri och samhälle, Datateknik.
    Separation av resurser i molntjänstarkitekturer: Separation of Resources in Cloud Architectures2014Självständigt arbete på grundnivå (kandidatexamen), 10 poäng / 15 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Molnet är ett evolutionärt koncept som erbjuder en konkurrenskraft – och kostnadskontroll för företag

    genom att integrera olika och existerande teknik. Molnet avser både applikationer som levereras som

    tjänst över Internet, och hårdvara – och mjukvara som tillhandahålls i dessa tjänster. För att kunna dra

    nytta av pris – och prestationsfördelar som molnet erbjuder innebär det att resurser är konsoliderade

    mellan flera kunder i samma infrastruktur. Det är med hänsyn till en konsoliderad miljö som isolering

    av kunders resurser är särskilt viktigt att beakta. Syftet med min studie är att identifiera de risker

    gällande separation av resurser som medföljer en molnbaserad infrastruktur, och lyfta fram olika

    mekanismer för att säkert tillgodogöra behovet, samt att belysa homomorfisk kryptering som en

    separationsmekanism. I uppsatsens litteraturstudie presenterar jag de väsentliga risker som gäller

    separation av resurser från andra kunder och från leverantören, och vanligt förekommande logiska

    separationsmekanismer och deras funktioner som riskåtgärder för de presenterade riskerna. Läran om

    kryptografi sammanfattas i syftemål att presentera homomorfisk kryptering och dess anknytning till

    resursseparation. Litteraturstudier och intervjuer med såväl kunder som leverantörer av molntjänster

    har berett mig ett underlag för att kunna utvärdera de presenterade mekanismerna. Studiens resultat

    visade att stark isolering från andra kunder kan uppnås, men att det är problematiskt att fullständigt

    separera resurser från leverantören. Resultatet har dessutom visat att krypteringsalgoritmer som är

    homomorfiska kan vara säkra men brister i dess ineffektivitet att praktiskt kunna tillämpas.

  • 46367.
    Wretstam, Oskar
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Avdelningen för visuell information och interaktion.
    Infrared image-based modeling and rendering2017Självständigt arbete på avancerad nivå (yrkesexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Bildbaserad modellering med visuella bilder har genomgått en stor utveckling under de tidigare delarna av 2000-talet. Givet en sekvens bestående av vanliga tvådimensionella bilder på en scen från olika perspektiv så är målet att rekonstruera en tredimensionell modell. I denna avhandling implementeras och testas ett system för automatiserad okalibrerad scenrekonstruktion från infraröda bilder. Okalibrerad rekonstruktion refererar till det faktum att parametrar för kameran, såsom fokallängd och fokus, är okända och enbart bilder används som indata till systemet. Ett stort användingsområde för värmekameror är inspektion. Temperaturskillnader i en bild kan indikera till exempel dålig isolering eller hög friktion. Om ett automatiserat system kan skapa en tredimensionell modell av en scen så kan det bidra till att förenkla inspektion samt till att ge en bättre överblick. Värmebilder kommer generellt att ha lägre upplösning, mindre kontrast och mindre högfrekvensinnehåll jämfört med visuella bilder. Dessa egenskaper hos infraröda bilder komplicerar extraktion och matchning av punkter i bilderna vilket är viktiga steg i rekonstruktionen. För att åtgärda komplikationen förbehandlas bilderna innan rekonstruktionen, ett urval av metoder för förbehandling har testats. Rekonstruktion med värmebilder kommer också att ställa ytterligare krav på rekonstruktionen, detta eftersom det är viktigt att bibehålla termisk noggrannhet från bilderna i modellen. Tre huvudresultat erhålls från denna avhandling. För det första är det möjligt att beräkna kamerakalibrering och position såväl som en gles rekonstruktion från en infraröd bildsekvens, detta med implementationen som föreslås i denna avhandling. För det andra presenteras och analyseras korrelationen för temperaturmätningar i bilderna som används för rekonstruktionen. Slutligen så visar den testade förbehandlingen inte en förbättring av rekonstruktionen som är propotionerlig med den ökade beräkningskomplexiteten.

  • 46368.
    Wrigstad, Tobias
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
    Ownership-Based Alias Managemant2006Doktorsavhandling, monografi (Övrigt vetenskapligt)
    Abstract [en]

    Object-oriented programming relies on sharing and the mutable states of objects for common data structures, patterns and programming idioms. Sharing and mutable state is a powerful but dangerous combination. Uncontrolled aliasing risks causing representation exposure, where an object's state is exposed and modifiable out of the control of its conceptually owning object. This breaks encapsulation, and hence, in extension, abstraction.

    Contemporary object-oriented programming languages' support for alias encapsulation is mediocre and easily circumvented. To this end, several proposals have been put forward that strengthen encapsulation to enable construction of more reliable systems and formally reasoning about properties of programs. These systems are vastly superior to the constructs found in for example C++, Java or C#, but have yet to gain acceptance outside the research community.

    In this thesis, we present three constructs for alias management on top of a deep ownership types system in the context of the Joline programming language. Our constructs are fully statically checkable and impose little run-time overhead. We show the formal semantics and soundness proof for our constructs as well as their formal and informal aliasing properties. We show applications and extensions and perform a practical evaluation of our system with our implemented Joline compiler. The evaluation suggests that our constructs are compatible with real-world programming, makes use of some of our own proposed patterns, and encourages further practical studies of programming with ownership-based constructs for alias management.

  • 46369.
    Wrigstad, Tobias
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Structured Aliasing2013Ingår i: Aliasing in Object-Oriented Programming: Types, Analysis, and Verification / [ed] Dave Clarke, James Noble, Tobias Wrigstad, Springer Berlin/Heidelberg, 2013, s. 512-513Kapitel i bok, del av antologi (Refereegranskat)
  • 46370.
    Wrigstad, Tobias
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Structured Aliasing2012Ingår i: ECOOP 2012 – Object-Oriented Programming, Springer Berlin/Heidelberg, 2012, Vol. 7313, s. 232-232Konferensbidrag (Refereegranskat)
  • 46371.
    Wrigstad, Tobias
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Castegren, Elias
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Mastery Learning-Like Teaching with Achievements2017Konferensbidrag (Refereegranskat)
  • 46372.
    Wrigstad, Tobias
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Data- och systemvetenskap, DSV.
    Clarke, D.
    Existential owners for ownership types2007Ingår i: Journal of Object Technology, ISSN 1660-1769, E-ISSN 1660-1769, Vol. 6, nr 4, s. 141-159Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper describes a lightweight approach to adding run-time checked downcasts to a language in the presence of ownership types without the need for a run-time representation of owners. Previous systems [6] have required owners of objects to be tracked and matched at run-time which is costly in terms of memory and performance. Our proposal avoids run-time overhead to deal with owners and also extends the expressiveness of ownership-based systems enough to handle the Java equals idiom for structural equality comparison. The price is that it is sometimes impossible to downcast a type into a type that can be statically aliased. Our proposal is completely orthogonal and combinable with previous work.

  • 46373.
    Wrigstad, Tobias
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Clarke, Dave
    Is the World Ready for Ownership Types? Is Ownership Types Ready for the World?2011Konferensbidrag (Refereegranskat)
  • 46374.
    Wrigstad, Tobias
    et al.
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Östlund, Johan
    Uppsala universitet, Teknisk-naturvetenskapliga vetenskapsområdet, Matematisk-datavetenskapliga sektionen, Institutionen för informationsteknologi, Datalogi.
    Owners as Ombudsmen: Multiple Aggregate Entry Points for Ownership Types2011Konferensbidrag (Refereegranskat)
  • 46375.
    Wrona, Michal
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    Local-to-Global Consistency Implies Tractability of Abduction2014Konferensbidrag (Refereegranskat)
  • 46376.
    Wrona, Michal
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    Syntactically Characterizing Local-to-Global Consistency in ORD-Horn2012Konferensbidrag (Övrigt vetenskapligt)
    Abstract [en]

    Establishing local consistency is one of the most frequently used algorithmic techniques in constraint satisfaction in general and in spatial and temporal reasoning in particular. A collection of constraints is globally consistent if it is completely explicit, that is, every partial solution may be extended to a full solution by greedily assigning values to variables one at a time. We will say that a structure B has local-to-global consistency if establishing local-consistency yields a globally consistent instance of CSP(B) .

    This paper studies local-to-global consistency for ORD-Horn languages, that is, structures definable over the ordered rationals (ℚ; < ) within the formalism of ORD-Horn clauses. This formalism has attracted a lot of attention and is of crucial importance to spatial and temporal reasoning. We provide a syntactic characterization (in terms of first-order definability) of all ORD-Horn languages enjoying local-to-global consistency.

  • 46377.
    Wrona, Michal
    Linköpings universitet, Institutionen för datavetenskap, Programvara och system. Linköpings universitet, Tekniska högskolan.
    Tractability Frontier for Dually-Closed Ord-Horn Quantified Constraint Satisfaction Problems2014Ingår i: MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, Springer Berlin/Heidelberg, 2014, Vol. 8634, s. 535-546Konferensbidrag (Refereegranskat)
    Abstract [en]

    A temporal constraint language is a relational structure with a first-order definition in the rational numbers with the order. We study here the complexity of the Quantified Constraint Satisfaction Problem (QCSP) for Ord-Horn languages: probably the most widely studied family of all temporal constraint languages.

    We restrict ourselves to a natural subclass that we call dually-closed Ord-Horn languages. The main result of the paper states that the QCSP for a dually-closed Ord-Horn language is either in P or it is coNP-hard.

  • 46378.
    Wróbel, Borys
    et al.
    Systems Modeling Laboratory, IO PAN, Sopot, Poland / Evolutionary Systems Laboratory, Uniwersytet im. Adama Mickiewicza, Poznan, Poland / Institut für Neuroinformatik, Universität & ETH Zürich, Switzerland.
    Joachimczak, Michal
    Systems Modeling Laboratory, IO PAN, Sopot, Poland.
    Montebelli, Alberto
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Lowe, Robert
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    The Search for Beauty: Evolution of Minimal Cognition in an Animat Controlled by a Gene Regulatory Network and Powered by a Metabolic System2012Ingår i: From Animals to Animats 12: 12th International Conference on Simulation of Adaptive Behavior, SAB 2012, Odense, Denmark, August 27-30, 2012 / [ed] Tom Ziemke, Christian Balkenius, John Hallam, Berlin, Heidelberg: Springer Berlin/Heidelberg, 2012, s. 198-208Konferensbidrag (Refereegranskat)
    Abstract [en]

    We have created a model of a hybrid system in which a gene regulatory network (GRN) controls the search for resources (fuel / food and water) necessary to allow an artificial metabolic system (simulated microbial fuel cell) to produce energy. We explore the behaviour of simple animats in a two-dimensional simulated environment requiring minimal cognition. In our system control evolves in a biologically-realistic manner under tight energy constraints. We use a model of GRN in which there is no limit on the size of the network, and the concentration of regulatory substances (transcriptional factors, TFs) change in a continuous fashion. Externally driven concentrations  of selected TFs provid the sensory information to the animat, while the concentration of selected internally produced TFs is interpreted as the signal for actuators. We use a genetic algorithm to obtain diverse evolved strategies in ecologically grounded animats with motivational autonomy, even though they lack a dedicated motivational circuit. There are three motivations (or drives) in the system: thirst, hunger, and reproduction. The animats need to search for food and water, but also to perform work. Because the value of such work is arbitrary (in the eye of the beholder), but affects the chances of reproduction, we suggest that the term beauty is more appropriate, and we name the task the Search for Beauty. The results obtained provide a step towards realizing a biologically realistic system with respect to: the way the control is exercised, the way it evolves, and the way the metabolism provides energy.

  • 46379. Wu, Chia-Lung
    et al.
    Skoglund, Mikael
    KTH, Skolan för elektro- och systemteknik (EES), Kommunikationsteori.
    Chen, Po-Ning
    Han, Yunghsiang S.
    A Systematic Space-Time Code Design and Its Maximum-Likelihood Decoding for Combined Channel Estimation and Error Correction2009Ingår i: 2009 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY, NEW YORK: IEEE , 2009, s. 764-768Konferensbidrag (Refereegranskat)
    Abstract [en]

    Several previous works have confirmed that a joint design that combines channel estimation, channel coding and space-time transmission can improve the system performance over that of a separate design. These conclusions are however in general based on unstructured solutions obtained using computer search. The coding gain of these joint designs is therefore limited by both the computer-searchable "short" code length and the compromise between "suboptimal" performance and "high" complexity of their optimal decoding. At this background, we propose a systematic space-time code construction for joint channel estimation and error correction for a two-transmit-antenna and half-rate system. Also proposed is its maximum-likelihood decoder that follows a priority-first search principle. Our systematic code construction, together with a fairly low-complexity optimal decoder, then allows one to work with longer codes with no sacrifice in performance. For codes of short block length, our simulations illustrate that the codes we propose have comparable performance to the best computer-searched codes. For codes of long block lengths that are almost beyond the searchable range of existing computer systems, our codes are still better than some reference designs based on separate channel estimation and error correction components.

  • 46380.
    Wu, Dan
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Context Knowledge Base for Ontology Integration2014Doktorsavhandling, sammanläggning (Övrigt vetenskapligt)
    Abstract [sv]

    Ontologi-integration är en process för att matcha och sammanfoga två ontologier för att t.ex. generera en ny ontologi, och därmed skapa digitala tjänster och produkter. Aktuella tekniker för ontologi- integration, som används för information och kunskapsintegration, är inte tillräckligt kraftfulla för att hantera semantiska och pragmatiska heterogeniteter. På grund av heterogeniteter, har ontologi- matchning och -integration visat sig utgöra ett komplext problem, särskilt när avsikten är att göra processen automatisk.

    Denna avhandling behandlar problemet med att integrera heterogena ontologier; för det första genom att undersöka kontexten för ontologi-integrationen, för det andra genom att bygga en kunskapsbas för kontexten, och för det tredje genom att tillämpa denna kunskapsbas. Mer specifikt bidrar avhandlingen med CKB-OI-metoden för ontologi-integration, vilken innehåller:

    1)      En metod för att bygga en kontextkunskapsbas, genom att extrahera sammanhang och kontextuell information från ontologier i ett ontologi-förvar för att förbättra ontologi-integrationen.

    2)      En metod för att förfina resultatet av ontologi-integration med hjälp av kontextkunskapsbasen och för att utöka kontextreglerna i kunskapsbasen.

    I metod nr. 1 identifieras kontexten genom att undersöka innehållet och metadata för de ontologier, som ska integrereras. Kontexten innehåller information som beskriver integrationen, till exempel domän och syfte för varje ontologi, samt element som ingår i respektive ontologi. Kontexten  modelleras med kriterier, såsom metadata och element för ontologierna i förvaret. Den kontextuella informationen extraheras och integreras med användning av en integrationsprocess med icke-överträdelsekontroll. Kontextkunskapsbasen byggs utav kontext samt kontextuell information. Eftersom kunskapsbasen är byggd av återanvända ontologier för att ge ytterligare information till ontologi-integrationen inom samma kontext, så är det mycket möjligt att kontextkunskapsbasen kommer att förbättra det tidigare integrationsresultatet.

    En metod för att identifiera domänen för en ontologi föreslås också, för att hjälpa till att bygga och använda kontextkunskapsbasen. Eftersom metoden tar hänsyn till de semantiska och pragmatiska heterogeniteterna hos ontologier, och använder en enkel ontologi för att representera en domän, så ökar detta arbete det semantiska värdet av kontextkunskapsbasen.

    I metod nr. 2 tillämpas kontextkunskapsbasen på resultatet av en ontologi-integrationsprocess med icke-överträdelsekontroll, vilket i sin tur resulterar i ett ontologisnitt. Den kontextuella informationen extraheras från kontextkunskapsbasen och appliceras sedan på ontologisnittet för att förbättra integrationsresultatet. Icke-överträdelsekontrollen i integrationsprocessen justeras och används på nytt. Dessutom utökas kontextkunskapsbasen med perspektivregler, med vilka de olika vyerna av ontologier i en gemensam kontext bevaras och återanvänds i framtida ontologi-integrationer.

    Resultaten av CKB-OI metoden är: 1) en kontextkunskapsbas med regler som avser semantiska och pragmatiska kunskaper om en ontologi-integration; 2) ett kontextuellt ontologisnitt (COI) med ett förfinat resultat jämfört med ontologisnittet (OI) och 3) en utökad kontextkunskapsbas med olika vyer av båda ontologier. För utvärderingen har ontologier från Ontology Alignment Evaluation Initiative (OAEI) samt ontologisökmotorerna Swoogle och Watson använts för att testa de föreslagna metoderna. Resultaten visar att kontextkunskapsbasen kan användas för förbättring av heterogena ontologi-integrationer. Följaktligen tillhandahåller kontextkunskapsbasen semantiska och pragmatiska kunskaper för att integrera ontologier. Dessutom visar resultaten att ontologi-integrationer, utökade med kontextkunskapsbaser, innehåller mer kunskap, utan att motsäga de ontologier som ingår i våra exempel.

  • 46381.
    Wu, Dan
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    Håkansson, Anne
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Programvaruteknik och Datorsystem, SCS.
    An approach to match and integrate ontology using ontology repository and rule base2012Ingår i: WEBIST 2012 - Proceedings of the 8th International Conference on Web Information Systems and Technologies, 2012, s. 434-439Konferensbidrag (Refereegranskat)
    Abstract [en]

    There exist a lot of ontologies that together can enrich knowledge within one or several related domains, thereby supporting the development of advanced services on the semantic web. This requires matching and integrating ontologies. This paper introduces an ontology matching process that handles the heterogeneities. The result is an intersection of the two original ontologies. An ontology repository stores the original ontologies and the matching results. A rule base is designed to integrate stored ontologies and the matching results with metadata, which is describing the interpretation of these ontologies and ontology matching results. The contribution of our approach is the semantic violation check which results in an ontology intersection that validates in the original ontologies. The metadata is applied with rules to integrate the ontologies so that the ontology and the matching results can be reused.

  • 46382.
    Wu, Dan
    et al.
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikationssystem, CoS.
    Håkansson, Anne
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikationssystem, CoS.
    Applying a Knowledge Based System for Metadata Integration for Data Warehouses2010Ingår i: KNOWLEDGE-BASED AND INTELLIGENT INFORMATION AND ENGINEERING SYSTEMS / [ed] Setchi R; Jordanov I; Howlett RJ; Jain LC, 2010, Vol. 6279, s. 60-69Konferensbidrag (Refereegranskat)
    Abstract [en]

    Data warehouses is a typical example of distributed systems where diverse tools and platforms need to communicate to understand each other. For the communication, metadata integration is significant. Seamless metadata interchange improves the data quality and the system effectiveness. Metadata standards exist, for instance, Common Warehouse MetaModel (CWM), which have enhanced the metadata integration. However, it is far from solving the problem of metadata integration in data warehouse environment. This paper proposes an approach to apply a knowledge-based system that supports the metadata integration. By utilizing the knowledge of software engineers on Common Warehouse MetaModels and the metadata interchange models, the knowledge-based system can give metadata interchange model suggestions. Such a knowledge-based system intends to partly automate the metadata integration to improve the efficiency and the quality of metadata integration in data warehouses.

  • 46383. Wu, Dazhong
    et al.
    Rosen, David W.
    Wang, Lihui
    KTH, Skolan för industriell teknik och management (ITM), Industriell produktion.
    Schaefer, Dirk
    Cloud-based design and manufacturing: A new paradigm in digital manufacturing and design innovation2015Ingår i: Computer-Aided Design, ISSN 0010-4485, E-ISSN 1879-2685, Vol. 59, s. 1-14Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Cloud-based design manufacturing (CBDM) refers to a service-oriented networked product development model in which service consumers are enabled to configure, select, and utilize customized product realization resources and services ranging from computer-aided engineering software to reconfigurable manufacturing systems. An ongoing debate on CBDM in the research community revolves around several aspects such as definitions, key characteristics, computing architectures, communication and collaboration processes, crowdsourcing processes, information and communication infrastructure, programming models, data storage, and new business models pertaining to CBDM. One question, in particular, has often been raised: is cloud-based design and manufacturing actually a new paradigm, or is it just "old wine in new bottles"? To answer this question, we discuss and compare the existing definitions for CBDM, identify the essential characteristics of CBDM, define a systematic requirements checklist that an idealized CBDM system should satisfy, and compare CBDM to other relevant but more traditional collaborative design and distributed manufacturing systems such as web- and agent-based design and manufacturing systems. To justify the conclusion that CBDM can be considered as a new paradigm that is anticipated to drive digital manufacturing and design innovation, we present the development of a smart delivery drone as an idealized CBDM example scenario and propose a corresponding CBDM system architecture that incorporates CBDM-based design processes, integrated manufacturing services, information and supply chain management in a holistic sense.

  • 46384.
    Wu, Desheng Dash
    Stockholms universitet, Samhällsvetenskapliga fakulteten, Företagsekonomiska institutionen. University of Chinese Academy of Sciences, China.
    Selling to the Socially Interactive Consumer: Order More or Less?2015Ingår i: ieee transactions on systems man cybernetics systems, ISSN 2168-2216, Vol. 45, nr 3, s. 399-410Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    This paper studies the newsvendor problem in the presence of consumer behavior, specifically, social interaction. We show that deterministic consumer valuation on products derived from social interaction can be an advantage for firms. This paper examines the implications of random consumer product valuation and a lower threshold number of subscribers to the proposed deal. Several implications have been yielded.

  • 46385.
    Wu, Dexiang
    Stockholms universitet, Samhällsvetenskapliga fakulteten, Företagsekonomiska institutionen.
    Robust Decision Support System for Asset Assessment and Management2017Ingår i: IEEE Systems Journal, ISSN 1932-8184, E-ISSN 1937-9234, Vol. 11, nr 3, s. 1486-1491Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    We address asset classification and portfolio selection in this paper. Surprisingly, money managers find that the market volatility becomes more frequent as more advanced innovations are applied in the financial system. For example, the high-frequency trading may amplify the deviation on U.S. stock market [1], [2]. Therefore, a reliable method to appraise the asset performance is extremely important to portfolio managers, regulators, and individual investors. One alternative approach to achieve this goal is data envelopment analysis (DEA). Asset performance was ranked from both self-and peer-evaluation perspectives. Specifically, we extended the cross-efficiency analysis in DEA that uses row and column means to portfolio selection and identify different types of asset set. This classification process can help investors to construct a more robust portfolio. Numerical experiments based on S&P500 showed that the portfolio with cross-efficiency analysis can generate better Sharpe ratios during the period of financial crisis in 2008.

  • 46386.
    Wu, Dong
    et al.
    Dept. of Electronics and Computer Science University of Southampton.
    Al Hashimi, Bashir M.
    Dept. of Electronics and Computer Science University of Southampton.
    Eles, Petru Ion
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system.
    Scheduling and Mapping of Conditional Task Graph for the Synthesis of Low Power Embedded Systems2003Ingår i: Design Automation and Test in Europe DATE 2003 Conference,2003, Munich, Germany: IEEE Computer Society Press , 2003, s. 90-Konferensbidrag (Refereegranskat)
    Abstract [en]

    This paper describes a new Dynamic Voltage Scaling (DVS) technique for embedded systems expressed as Conditional Task Graphs (CTGs). The idea is to identify and exploit the available worst case slack time, taking into account the conditional behaviour of CTGs. Also we examine the effect of combining a genetic algorithm based mapping with the DVS technique for CTGs and show that further energy reduction can be obtained. The techniques have been tested on a number of CTGs including a real-life example. The results show that the DVS technique can be applied to CTGs with energy saving up to 24%. Furthermore it is shown that savings of up to 51% are achieved by considering DVS during the mapping.

  • 46387.
    Wu, Dong
    et al.
    Dept. of Electronics and Computer Science University of Southampton.
    Al Hashimi, Bashir M.
    Dept. of Electronics and Computer Science University of Southampton.
    Eles, Petru Ion
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system.
    Scheduling and Mapping of Conditional Task Graph for the Synthesis of Low Power Embedded Systems2003Ingår i: IEE Proceedings - Computers and digital Techniques, ISSN 1350-2387, E-ISSN 1359-7027, Vol. 150, nr 5, s. 302-312Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    A dynamic voltage scaling (DVS) technique for embedded systems expressed as conditional task graphs (CTGs) is described. The idea is to identify and exploit the available worst case slack time, taking into account the conditional behaviour of CTGs. Also the effect of combining a genetic algorithm based mapping with the DVS technique is examined and it is shown that further energy reduction can be achieved. The techniques are tested on a number of CTGs including a real-life example. The results show that the DVS technique can be applied to CTGs with an energy saving of up to 24%. Furthermore, it is shown that savings of up to 51% are achieved by considering during the mapping optimisation. Finally, the impact of communications and communication link selection on the scheduling and mapping technique is investigated and results are reported.

  • 46388.
    Wu, Dong
    et al.
    School of Electronics and Computer Science University of Southampton.
    Al-Hashimi, Bashir M.
    School of Electronics and Computer Science University of Southampton.
    Schmitz, Marcus T.
    School of Electronics and Computer Science University of Southampton.
    Eles, Petru Ion
    Linköpings universitet, Tekniska högskolan. Linköpings universitet, Institutionen för datavetenskap, ESLAB - Laboratoriet för inbyggda system.
    Power-Composition Profile Driven Co-Synthesis with Power Management Selection for Dynamic and Leakage Energy Reduction2005Ingår i: 8th Euromicro Conference on Digital System Design DSD2005,2005, Porto, Portugal: IEEE Computer Society Press , 2005, s. 34-Konferensbidrag (Refereegranskat)
    Abstract [en]

    Recent research has shown that the combination of dynamic voltage scaling (DVS) and adaptive body biasing (ABB) yields high energy reductions in embedded systems. Nevertheless, the implementation of DVS and ABB requires a significant system cost, making it less attractive for many small systems. In this paper we demonstrate that it is possible to reduce this system cost and to achieve comparable energy saving to that obtained using combined DVS and ABB scheme through a co-synthesis methodology which is aware of the tasks' power-composition profile (the ratio of the dynamic power to the leakage power). In particular, the presented methodology performs a power management selection at the architectural level, i.e., it decides upon which processing elements to be equipped with which power management scheme (DVS, ABB, or combined DVS and ABB) - with the aim to achieve high energy savings at a reduced implementation cost. The proposed technique maps, schedules, and voltage scales applications specified as task graphs with timing constraints. Detailed experiments including a real-life benchmark are conducted to demonstrate the effectiveness of the proposed methodology.

  • 46389.
    Wu, Hao
    et al.
    The University of Sydney, Sydney, Australia.
    Taheri, Javid
    The University of Sydney, Australia.
    Zomaya, Albert
    The University of Sydney, Sydney, Australia.
    B-Alarm: An Entropy Based Burst Traffic Prediction Approach for Ethernet Switches in Data Centers2013Ingår i: High Performance Computing and Communications & 2013 IEEE International Conference on Embedded and Ubiquitous Computing (HPCC_EUC), 2013 IEEE 10th International Conference on, IEEE conference proceedings, 2013Konferensbidrag (Refereegranskat)
  • 46390.
    Wu, Haotian
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Prototype a solution for multi-track premium music score web player2014Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    Den nuvarande kommersiella versionen av ScorX multi-track premium music score(MPMS) har dåligt stöd för mobila enheter och det kan medföra extra kostnader att göra så att produkten stödjer mobila enheter. Projektet syftar till att fokusera på att utveckla en MPMS baserat på en webbaserad och plattformsoberoende teknik. Bolagets kommersiella version bygger på Adobe Flash Player. En utredning genomförs och resultatet visar att en möjlig lösning finns i att använda Web Audio API och Adobe Edge Animate där det redan finns en prototyp som bygger på denna lösning. Studien av detta visar att en alternativ lösning för att göra systemet kompatibelt med mobila enheter kan vara en skräddarsydda native-versioner för respektive mobil hårdvaruplattform och Haxe för övriga stationära och mobila enheter.

    När prototypen var byggd kördes en serie tester för att utvärdera både Flash player lösningen och HTML5-lösningen. Det visar sig att Flash player fortfarande kommer att vara ett första val för stationära enheter i nuvarande fas eftersom den är mer stabil med en ganska tillfredsställande prestanda, medan HTML5-lösningen fungerar bättre i mobila enheter. Den huvudsakliga nackdelen med HTML5-lösning ligger på utförandet av ljudmotorn (dvs Web Audio API) i stället för animeringen av motorn. Eftersom er och er stora webbläsare har full supportWeb Audio API, kommer ljudmotorn prestera ännu bättre framöver. Den framtida utvecklingen av ScorX flerspårig premium musik poäng bör därfor inriktas på HTML5 och ursprungliga programmet om det behövs.

  • 46391.
    Wu, Hong
    Blekinge Tekniska Högskola, Sektionen för teknik, Avdelningen för programvarusystem.
    An Experiment on the Suitability of RAM for Test Case Design2009Självständigt arbete på avancerad nivå (masterexamen)Studentuppsats (Examensarbete)
    Abstract [en]

    To perform software testing at the early stages of software development process can save the cost and effort on finding and fixing defects. As the first stage of software development process, requirements engineering has been moved away from project-initiated requirements engineering towards requirements-initiated development in the last decade. This leads new challenges that it demands support for handling the requirements continually come in from multiple stakeholders on multiple abstraction levels instead of some specific customers. Requirements Abstraction Model was developed as a hierarchical abstraction method for requirements management, which is enable product management to leverage their resources and select requirements for implementation without overloading the organization. RAM was validated in industry on the usability for requirements management, but there is no evaluation for RAM on software testing. This thesis presents an empirical study with a goal of evaluating the suitability of RAM for test case design in respective of efficiency and effectiveness by the comparison with IEEE Std. 830 which is a standard of the traditional requirements specification. For achieving the goal of this study, a controlled experiment is conducted based on the refinement on an initial experiment planning, and is operated with twenty developers in industry in China. Analysis of the collected data from the experiment indicates that RAM has a similar effectiveness as using the requirements in IEEE Std. 830 format, while RAM is more efficient for test case design. Therefore, RAM is suitable for test case design, and has better performance than IEEE Std. 830 comprehensively in view of both efficiency and effectiveness.

  • 46392. Wu, Huayong
    et al.
    Zonta, D.
    Pozzi, M.
    Zanon, P.
    Ceriotti, M.
    Mottola, Luca
    RISE., Swedish ICT, SICS, Computer Systems Laboratory.
    Picco, G. P.
    Guna, S.
    Murphy, A. L.
    Corrà, M.
    Wireless Sensors for Permanent Monitoring of Heritage Buildings2010Konferensbidrag (Refereegranskat)
  • 46393. Wu, Jian
    et al.
    Bao, Yanan
    Miao, Guowang
    KTH, Skolan för informations- och kommunikationsteknik (ICT), Kommunikationssystem, CoS.
    Niu, Zhisheng
    Base station sleeping and power control for bursty traffic in cellular networks2014Ingår i: 2014 IEEE International Conference on Communications Workshops, ICC 2014, 2014, s. 837-841Konferensbidrag (Refereegranskat)
    Abstract [en]

    In this paper, we study sleeping and power control of a single-cell cellular network with bursty traffic. The base station (BS) sleeps whenever the system is empty, and wakes up when N users are assembled. The service capacity of the BS in the active mode is controlled through its transmitting power. The total power consumption and average delay for bursty traffic that follows the Interrupted Poisson Process (IPP) are analyzed. We discuss when the BS should sleep and the impact of traffic burstiness on it. The impact of the sleeping threshold and the transmitting power on the system performance is also investigated. The numerical results show that given the average traffic load, the more bursty the traffic is, the less the total power is consumed, while the delay performance of the more bursty traffic is better only under certain circumstances.

  • 46394. Wu, Jinsong
    et al.
    Bisio, Igor
    Gniady, Chris
    Hossain, Ekram
    Valla, Massimo
    Li, Haibo
    Umeå universitet, Teknisk-naturvetenskapliga fakulteten, Institutionen för tillämpad fysik och elektronik.
    CONTEXT-AWARE NETWORKING AND COMMUNICATIONS: PART 12014Ingår i: IEEE Communications Magazine, ISSN 0163-6804, E-ISSN 1558-1896, Vol. 52, nr 6, s. 14-15Artikel i tidskrift (Övrigt vetenskapligt)
  • 46395.
    Wu, Liming
    et al.
    Växjö universitet, Fakulteten för matematik/naturvetenskap/teknik, Matematiska och systemtekniska institutionen.
    Li, Kai
    Växjö universitet, Fakulteten för matematik/naturvetenskap/teknik, Matematiska och systemtekniska institutionen.
    Water Simulating in Computer Graphics2007Självständigt arbete på avancerad nivå (magisterexamen), 20 poäng / 30 hpStudentuppsats
    Abstract [en]

    Fluid simulating is one of the most difficult problems in computer graphics. On the other hand, water appears in our life very frequently. This thesis focuses on water simulating. We have two main methods to do this in the thesis: the first is wave based water simulating; Sine wave summing based and Fast Fourier Transform based methods are all belong to this part. The other one is physics based water simulating. We make it based on Navier-Stokes Equation and it is the most realistic animation of water. It can deal with the boundary and spray which other method cannot express. Then we put our emphasis on implement by the physics method using Navier-Stokes Equation.

  • 46396.
    Wu, Po-Han
    et al.
    Department of Engineering Science, National Cheng Kung University, Taiwan..
    Hwang, Gwo-Jen
    National Taiwan University of Science and Technology, Taiwan.
    Milrad, Marcelo
    Linnéuniversitetet, Fakultetsnämnden för naturvetenskap och teknik, Institutionen för datavetenskap, fysik och matematik, DFM.
    Ke, Hui-Ru
    ´Department of Information and Learning Technology, National University of Tainan, Taiwan.
    Huang, Yueh-Min
    Graduate Institute of Digital Learning and Education, National Taiwan University of Science and Technology.
    An innovative concept map approach for improving students’ learning performance with an instant feedback mechanism2012Ingår i: British Journal of Educational Technology, ISSN 0007-1013, E-ISSN 1467-8535, Vol. 43, nr 2, s. 217-232Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    Concept maps have been widely employed for helping students organise their knowledgeas well as evaluating their knowledge structures in a wide range of subject matters.Although researchers have recognised concept maps as being an important educationaltool, past experiences have also revealed the difficulty of evaluating the correctness of aconcept map. It usually takes days or weeks for teachers to manually evaluate theconcept maps developed by students; consequently, the students cannot receive timelyfeedback from the teachers, which not only affects their learning schedules, but alsosignificantly influences the students’ learning achievements. In this paper, a computerbasedconcept map-oriented learning strategy with real-time assessment and feedback isproposed in order to cope with the problems mentioned above. Our approach providesimmediate evaluation of concept maps and gives also real-time feedback to the students.An experiment has been conducted to evaluate the effectiveness of this new strategy incomparison with the conventional computer-based concept map approach. It is foundthat our innovative approach can be significantly beneficial to promote learningachievements as well as the learning attitudes of students.

  • 46397.
    Wu, Qihui
    et al.
    College of Communications Engineering PLA University of Science and Technology, Nanjing.
    Ding, Guoro
    College of Communications Engineering PLA University of Science and Technology, Nanjing.
    Du, Zhiyong
    PLA Academy of National Defense Information, Wuhan.
    Sun, Youming
    National Digital Switching System Engineering & Technological Research Center, Zhengzhou.
    Jo, Minho
    Department of Computer and Information Science, Korea University.
    Vasilakos, Athanasios
    Luleå tekniska universitet, Institutionen för system- och rymdteknik, Datavetenskap.
    A Cloud-Based Architecture for the Internet of Spectrum Devices (IoSD) over Future Wireless Networks2016Ingår i: IEEE Access, E-ISSN 2169-3536, Vol. 4, s. 2854-2862Artikel i tidskrift (Refereegranskat)
    Abstract [en]

    The dramatic increase in data rates in wireless networks has caused radio spectrum usage to be an essential and critical issue. Spectrum sharing is widely recognized as an affordable, near-term method to address this issue. This article first characterizes the new features of spectrum sharing in future wireless networks, including heterogeneity in sharing bands, diversity in sharing patterns, crowd intelligence in sharing devices, and hyper-densification in sharing networks. Then, to harness the benefits of these unique features and promote a vision of spectrum without bounds and networks without borders, this article introduces a new concept of the Internet of Spectrum Devices (IoSD) and develops a cloud-based architecture for IoSD over future wireless networks, with the prime aim of building a bridging network among various spectrum monitoring devices (SMDs) and massive spectrum utilization devices (SUDs), and enabling a highly-efficient spectrum sharing and management paradigm for future wireless networks. Furthermore, this article presents a systematic tutorial on the key enabling techniques of the IoSD, including big spectrum data analytics, hierarchal spectrum resource optimization, and quality of experience (QoE)- oriented spectrum service evaluation. In addition, the unresolved research issues are also presented.

  • 46398.
    Wu, Taodi
    et al.
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Ding, Shuyang
    Mälardalens högskola, Akademin för innovation, design och teknik, Inbyggda system.
    Analysing Real-Time Traffic in Wormhole-Switched On-ChipNetworks2016Självständigt arbete på avancerad nivå (magisterexamen), 15 poäng / 22,5 hpStudentuppsats (Examensarbete)
    Abstract [en]

    With the increasing demand of computation capabilities, many-core processors are gain-ing more and more attention. As a communication subsystem many-core processors, Network-on-Chip (NoC) draws a lot of attention in the related research fields. A NoC is used to deliver messages among different cores. For many applications, timeliness is of great importance, especially when the application has hard real-time requirements. Thus, the worst-case end-to-end delays of all the messages passing through a NoC should be concerned. Unfortunately, there is no existing analysis tool that can support multiple NoC architectures as well as provide a user-friendly interface.This thesis focuses on a wormhole switched NoC using different arbitration policies which are Fixed Priority (FP) and Round Robin (RR) respectively. FP based arbitration policy includes distinct and shared priority based arbitration policies. We have developed a timing analysis tool targeting the above NoC designs. The Graphical User Interface (GUI) in the tool can simplify the operation of users. The tool takes characteristics of flow sets as input, and returns results regarding the worst-case end-to-end delay of each flow. These results can be used to assist the design of real-time applications on the corre-sponding platform.A number of experiments have been generated to compare different arbitration mecha-nisms using the developed tool. The evaluation focuses on the effect of different param-eters including the number of flows and the number of virtual-channels in a NoC, and the number of hops of each flow. In the first set of experiment, we focus on the schedulabil-ity ratio achieved by different arbitration policies regarding the number of flows. The sec-ond set of experiments focus on the comparison between NoCs with different number of virtual-channels. In the last set of experiments, we compare different arbitration mecha-nisms with respect to the worst-case end-to-end latencies.

  • 46399.
    Wu, Wu
    KTH, Skolan för informations- och kommunikationsteknik (ICT).
    Adapting Information-Centric Networking to Small Sensor Nodes for Heterogeneous IoT Networks2017Självständigt arbete på avancerad nivå (masterexamen), 20 poäng / 30 hpStudentuppsats (Examensarbete)
    Abstract [sv]

    IoT-industrin har upplevt en snabb utveckling på senare år och det beräknas snart vara möjligt att ansluta miljarder saker till Internet. Det finns emellertid fortfarande vissa flaskhalsar när det gäller till exempel kostnader och effektförbrukning. I jämförelse med det traditionella nätverk kan nya IoT-nät beskrivas som mer informationscentrerade än värddatorcentrerade. Därför bestämmer vi oss i detta arbete för att undersöka möjligheten att tillämpa Content Centric Network (CCN) för att addressera utmaningarna i IoT-nät.

    Denna rapport presenterar huvudsakligen hur man implementerar CCN för trådlösa sensornätverk (WSN) och utvärderar lösningar, bland annat baserat på en grundlig jämförelse mellan MQTT och MQTT-SN.

  • 46400.
    Wu, Xue
    Växjö universitet, Fakulteten för matematik/naturvetenskap/teknik, Matematiska och systemtekniska institutionen.
    Can Google Earth enhance Business Intelligence?: Exploring innovative uses of a new GIS tool2007Självständigt arbete på avancerad nivå (magisterexamen), 20 poäng / 30 hpStudentuppsats
    Abstract [en]

    We are facing a period that coming into information time, which forced us to live in a new living style. It seems that every business movement is related with information transformation. When computers are used to deal with business data, we begin to search a way to make digital data into refined format information in order to let people to understand. This change results in a changing of business forms. For example, e-services refer to provide a certain service or play function on line, which has the tendency to replace the place of traditional service. How this kind of service can be developed remains a question mark to us.

    The challenge of e-service is how to get different functions into integration. This thesis begins to research it focusing the point view of GIS (Geography Information System). Take Google earth as an example to illustrate how GIS is being used and what possible future uses of it can be developed. By exploring its use in data collecting, and analyzing, the possible applications in business world can be obviously released.

925926927928929930931 46351 - 46400 av 48265
RefereraExporteraLänk till träfflistan
Permanent länk
Referera
Referensformat
  • apa
  • 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