his.sePublikasjoner
Endre søk
Begrens søket
2345678 201 - 250 of 901
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
Treff pr side
  • 5
  • 10
  • 20
  • 50
  • 100
  • 250
Sortering
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
  • Standard (Relevans)
  • Forfatter A-Ø
  • Forfatter Ø-A
  • Tittel A-Ø
  • Tittel Ø-A
  • Type publikasjon A-Ø
  • Type publikasjon Ø-A
  • Eldste først
  • Nyeste først
  • Skapad (Eldste først)
  • Skapad (Nyeste først)
  • Senast uppdaterad (Eldste først)
  • Senast uppdaterad (Nyeste først)
  • Disputationsdatum (tidligste først)
  • Disputationsdatum (siste først)
Merk
Maxantalet träffar du kan exportera från sökgränssnittet är 250. Vid större uttag använd dig av utsökningar.
  • 201.
    Dervisevic, Denis
    Högskolan i Skövde, Institutionen för kommunikation och information.
    AJAX förhämtning baserad på besöksinformation2012Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Det finns idag fortfarande ett behov av att minska den uppfattade responstiden för användare. Som ett sätt att förbättra prestandan föreslås förhämtning. Förhämtning kan ytterligare förbättra prestandan av AJAX. Med prestanda menas primärt responstiden men bandbredden är också en viktig faktor. Problemet handlar om hur prestandan påverkas av AJAX förhämtning baserad på historiska hints jämfört mot vanlig AJAX. Metoden är experiment och prestandan av 2 versioner av en webbplats för kursinformation jämförs. Under genomförandet byggdes siterna, förhämtningsversionen har en initial förhämtning baserad på historik samt pågående förhämtning baserad på sökningar och interaktion. Tester visar på att responstiden förbättras med förhämtningen, mellan 63 % och 29 % beroende på träffbilden av förhämtningen under en session. Bandbredden ökade dock som ett resultat mellan 61 % och 33 % på de olika sessionerna. 

    Fulltekst (pdf)
    a09dende_examensarbete
  • 202.
    Dicksson, James
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Algoritm för keystroke dynamics inspirerad av viktad sannolikhet och fuzzy logic2004Independent thesis Advanced level (degree of Master (One Year))Oppgave
    Abstract [sv]

    Biometri är en relativt ny säkerhetsmetod för datorsystem. Biometri används ofta för att ersätta eller kombineras med användarnamn och lösenord. Detta görs genom att mäta ett fysiologiskt attribut eller beteendeattribut hos användaren. Keystroke dynamics är en biometrisk metod vilken registrerar användarens sätt att skriva på tangentbordet. En stor mängd försök med keystroke dynamics har gjorts i tidigare arbeten. Många av dessa har utgått ifrån metoder vilka använder ett högt antal stickprov från användarens beteende vid tangentbordet. Optimalt är dock en metod med hög säkerhet men samtidigt använder ett lågt antal stickprov. Denna rapport introducerar en ny algoritm för implementering av keystroke dynamics, vilken jämförs med två existerande algoritmer. Denna rapport visar att den nya algoritmen har högre prestanda än de övriga två i jämförelsen

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 203.
    Diits, Mimmie
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Design pattern recommender(DPR): En utvärdering av ett DPR system2015Independent thesis Basic level (degree of Bachelor), 15 poäng / 22,5 hpOppgave
    Abstract [sv]

    Recommender system blir allt vanligare och att kombinera recommender system med användningen av design patterns kan vara ett steg i rätt riktning för att komma närmre tekniker och program som skulle kunna öka kvaliteten hos programvaran i programvaruutveckling genom att öka utbyggbarheten och underhållbarheten hos programvaran.

    Syftet med arbetet i den här rapporten är att utvärdera ett design pattern recommender program. Programmet kommer att utvärderas med hjälp av intervjuer av utvecklare och fallstudier hos tre företag. Frågorna i intervjun kommer att bygga på kriterier som används för utvärdering av CASE verktyg.

    Fulltekst (pdf)
    fulltext
  • 204.
    Dikman, David
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Ambient Occlusion i Realtid2008Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Ambient Occlusion är en teknik för ambient ljussättning i digitala tredimensionella scener. Sådana scener ljussätts vanligtvis med en konstant mängd ambient ljus på samtliga ytor oberoende av ytornas vinkel och position gentemot olika ljuskällor i scenen. Detta ger ett platt och kalt intryck och utan vidare ljussättningstekniker är det ytterst svårt att urskönja detaljer i scenen. Ambient Occlusion åthjälper detta genom att reducera mängden ambient ljus i vissa delar av scenen. Ambient ljus är en enkel approximation av det reflekterade diffusa ljuset som antas nå nästan överallt i scenen. Genom att sänka det ambienta ljuset på punkter i scenen med tät eller täckande geometri så ger Ambient Occlusion ett intryck av att det sekundära diffusa ljuset ej når dessa platser. Pappret undersöker en äldre variant av Ambient Occlusion där mängden ambient ljus beräknas statiskt för en scen och sparas i texturer. Vidare undersöks nyare metoder där mängden ambient ljus beräknas dynamiskt på den renderade scenen i Pixel Shaders. Det senare tillvägagångssättet kallas Image Based Ambient Occlusion eller Screen Space Ambient Occlusion. Detta nya tillvägagångssätt jämförs mot den traditionella angreppsvinkeln med förberäknade texturer. Teknikerna utvärderas och jämförs mot varandra i avseende på tids- och minneskomplexitet, enkelhet och visuellt resultat utöver specifika egenskaper för de enskilda teknikerna. Arbetets resultat beskrivs i slutet av rapporten. I resultatet presenteras hur shaderteknikerna pga sina brister inte är applicerbara i alla scener.

    Fulltekst (pdf)
    FULLTEXT01
  • 205.
    Ding, Jianguo
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Intrusion Detection, Prevention, and Response System (IDPRS) for Cyber-Physical Systems (CPSs)2015Inngår i: Securing Cyber Physical Systems / [ed] Al-Sakib Khan Pathan, Boca Raton, US: Taylor & Francis Group, 2015, s. 371-392Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    Cyber-physical systems (CPSs) are integrated physical, engineered, andsocial systems whose operations are monitored, coordinated, controlled, and integratedby a computing and communication core. Due to the dynamic structure ofCPSs, the security measurements are often complex. Given this fact, the objectiveof this chapter is to present the intrusion detection, prevention, and response system(IDPRS) for such a dynamic environment.

  • 206.
    Dongo, Daniel
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Övergången från IPv4 till IPv6: varför dröjer den?2005Independent thesis Advanced level (degree of Master (One Year))Oppgave
    Abstract [sv]

    Allt ifrån persondatorer, mobiltelefoner och bilar kommer inom en snar framtid att vara uppkopplade mot Internet. Detta medför att varje enhet med en förbindelse till Internet kommer att behöva en unik IP-adress för att identifiera sig själv samt resten av Internet. Dagens Internet i form av IP version 4 (IPv4) kan inte hantera detta på grund av bristen på IPv4-adresser. Vidare saknar det nuvarande IPv4 trots det massiva antalet användare någon form av inbyggd säkerhet samtidigt som efterfrågan av nya tjänster samt teknologi från användare av Internet drastiskt ökar. Uppföljaren till IPv4, vars tekniska specifikation redan är färdigställd och standardiserad kallas IP Version 6 (IPv6). Det nyare IPv6 uppgraderar adressrymden som det äldre IPv4 tillhandahåller vilket löser problemet med sinande IPv4-adresser. Vidare förbättrar IPv6 säkerheten på Internet genom sitt inbyggda stöd för kryptering samtidigt som det erbjuder förbättrad tillförlitlighet, nya tjänster samt en rad tekniska fördelar över IPv4. Trots problemen med det utdaterade IPv4 som skapades för mer än 20 år sedan visar sig dock övergången från IPv4 till IPv6 svårartad. Utvecklingen av IPv6 varierar från en geografisk region till en annan. Företag och användare vet inte idag när de kan förvänta sig IPv6 samt dess tjänster från de stora Internetleverantörerna. Denna rapport ämnar undersöka vad det är som varit viktigast för att Internetleverantörerna ej övergått från IPv4 till IPv6 i större grad än vad som skett hittils. Resultatet av rapporten kan ge en insikt i vad det är som behöver förändras för att utvecklingen av IPv6 kan ta fart på riktigt. Vidare kan den ge en inblick i var i övergången från IPv4 till IPv6 Internetleverantörerna står idag

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 207.
    Dubey, Rohini
    Högskolan i Skövde, Institutionen för informationsteknologi.
    PERFORMANCE EVALUATION of MILITARY TRAINING EXERCISES USING DATA MINING2016Independent thesis Advanced level (degree of Master (One Year)), 10 poäng / 15 hpOppgave
    Abstract [en]

    Attaining training objectives is the measure of a successful training as objectives defines the purpose of instructional events. Application of the training objectives is challenging in large and complex military trainings. The trainings in military domain not only focus on the completion of the trainings but effectively achieving the objectives of the training is the goal of the exercises. It has been realized that the performance to achieve the goal is strengthen by the instructional processes and materials which are crafted to address specific training objectives. Simulation is one of the effective and realistic learning tools which can be used in trainings. As it is known that simulation generates enormous data, analysis of this data which may contain hidden information is a challenging task. The use of data mining is a solution to this problem. The aim of this project is to propose a framework of a system for the instructors which can be followed for evaluating trainee’s performance so that their fulfillment of the training objectives can be improved. A proposal which is studied in this project is learning from previous training experiences using data mining techniques to improve the effectiveness of the training by predicting the performance of the trainee. For selecting the good prediction model to estimate the learning outcome of the trainees, different classification techniques have been compared. CRISP-DM model is considered as a base for proposing the framework in this dissertation. Proposed framework is then applied on the dataset obtained from the Swedish Military for the exercises which involved shooting the target.

    Fulltekst (pdf)
    fulltext
  • 208.
    Duchstein, Patrik
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Bluetooth Khepera robot control and communication2004Independent thesis Advanced level (degree of Master (One Year))Oppgave
    Abstract [en]

    This thesis aims to provide a solution for wireless control of, and communication with and among Khepera robots, making use of the Bluetooth wireless technology, to allow wireless control of multiple robots in real time. It is based on the foregoing work of other students who constructed a module for wireless control of Khepera robots over Bluetooth, but they were not able to control more than one physical robot at a time. Khepera robots, as well as many wireless solutions to control those, are closely investigated, and an introduction to Bluetooth is given. An implementation of a Bluetooth protocol stack, which was carried out in the context of this dissertation, and constitutes one of the main parts of this project, is described in detail. The performance of the work discussed throughout this dissertation is evaluated w.r.t. transmission times of data over the wireless link, and afterwards compared to other solutions for real-time control of Khepera robots, e.g. a solution to control a Khepera robot over a wireless radio link. Furthermore, previously simulated experiments with autonomous agents are carried out on physical robots, to test the quality of the wireless solution. It is shown that the solution presented here operates much more efficient than any other existing solution, thus provides a very useful aid for the research community that is experimenting with physical robots in general, and real Khepera robots in particular, in order to simplify research, and allows for a broader spectrum of experiments.

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 209.
    Dudas, Catarina
    et al.
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system.
    Ng, Amos H. C.
    Högskolan i Skövde, Institutionen för ingenjörsvetenskap. Högskolan i Skövde, Forskningscentrum för Virtuella system. University of Skövde.
    Boström, Henrik
    Department of Computer and Systems Sciences, Stockholm University, Kista, Sweden.
    Post-analysis of multi-objective optimization solutions using decision trees2015Inngår i: Intelligent Data Analysis, ISSN 1088-467X, E-ISSN 1571-4128, Vol. 19, nr 2, s. 259-278Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Evolutionary algorithms are often applied to solve multi-objective optimization problems. Such algorithms effectively generate solutions of wide spread, and have good convergence properties. However, they do not provide any characteristics of the found optimal solutions, something which may be very valuable to decision makers. By performing a post-analysis of the solution set from multi-objective optimization, relationships between the input space and the objective space can be identified. In this study, decision trees are used for this purpose. It is demonstrated that they may effectively capture important characteristics of the solution sets produced by multi-objective optimization methods. It is furthermore shown that the discovered relationships may be used for improving the search for additional solutions. Two multi-objective problems are considered in this paper; a well-studied benchmark function problem with on a beforehand known optimal Pareto front, which is used for verification purposes, and a multi-objective optimization problem of a real-world production system. The results show that useful relationships may be identified by employing decision tree analysis of the solution sets from multi-objective optimizations.

  • 210.
    Dura, Elżbieta
    et al.
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Gawronska, Barbara
    Högskolan i Skövde, Institutionen för kommunikation och information. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Novelty extraction from special and parallel corpora2009Inngår i: Human Language Technology. Challenges of the Information Society: Third Language and Technology Conference, LTC 2007, Poznan, Poland, October 5-7, 2007, Revised Selected Papers / [ed] Zygmunt Vetulani, Hans Uszkoreit, Springer Berlin/Heidelberg, 2009, s. 291-302Kapittel i bok, del av antologi (Fagfellevurdert)
    Abstract [en]

    How can corpora assist translators in ways in which resources like translation memories or term databases cannot? Our tests on English, Polish and Swedish parts of the JRC-Acquis Multilingual Parallel show that corpora can provide support for term standardization and variation, and, most importantly, for tracing novel expressions. A corpus tool with an explicit dictionary representation is particularly suitable for the last task. Culler is a tool which allows one to select expressions with words absent from its dictionary. Even if the extracted material may be stained with some noise, it has an undeniable value for translators and lexicographers. The quality of extraction depends in a rather obvious way on the dictionary and text processing but also on the query.

  • 211.
    Durisic, Darko
    et al.
    Volvo Car Group, Göteborg, Sweden.
    Staron, Miroslaw
    Chalmers University of Technology, Göteborg, Sweden / University of Gothenburg, Göteborg, Sweden.
    Tichy, Matthias
    Ulm University, Germany.
    Hansson, Jörgen
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    Assessing the impact of meta-model evolution: a measure and its automotive application2019Inngår i: Software and Systems Modeling, ISSN 1619-1366, E-ISSN 1619-1374, Vol. 18, nr 2, s. 1419-1445Artikkel i tidsskrift (Fagfellevurdert)
    Abstract [en]

    Domain-specific meta-models play an important role in the design of large software systems by defining language for the architectural models. Such common modeling languages are particularly important if multiple actors are involved in the development process as they assure interoperability between modeling tools used by different actors. The main objective of this paper is to facilitate the adoption of new domain-specific meta-model versions, or a subset of the new architectural features they support, by the architectural modeling tools used by different actors in the development of large software systems. In order to achieve this objective, we developed a simple measure of meta-model evolution (named NoC-Number of Changes) that captures atomic modification between different versions of the analyzed meta-model. We evaluated the NoC measure on the evolution of the AUTOSAR meta-model, a domain-specific meta-model used in the design of automotive system architectures. The evaluation shows that the measure can be used as an indicator of effort needed to update meta-model-based tools to support different actors in modeling new architectural features. Our detailed results show the impact of 14 new AUTOSAR features on the modeling tools used by the main actors in the automotive development process. We validated our results by finding a significant correlation between the results of the NoC measure and the actual effort needed to support these features in the modeling tools reported by the modeling practitioners from four AUTOSAR tool vendors and the AUTOSAR tooling team at Volvo Cars. Generally, our study shows that quantitative analysis of domain-specific meta-model evolution using a simple measure such as NoC can be used as an indicator of the required updates in the meta-model-based tools that are needed to support new meta-model versions. However, our study also shows that qualitative analysis that may include an inspection of the actual meta-model changes is needed for more accurate assessment.

  • 212.
    Edvardsson, Albin
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Fjärrendering av canvas grafik för interaktiva diagram2015Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Webbapplikationer blir mer och mer avancerade och ställer mer krav på dagens enheter. Rendering av grafik i HTML5 canvas är något som kan ställa stort krav på enheter och en påföljd av detta är att svarstiden blir lång. En eventuell lösning på problemet med bristande prestanda hos enheter är att förflytta renderingen från klientsidan till serversidan. Två versioner av samma webbapplikation skapades där renderingen sker på klientsidan i en version och på serversidan i annan version med hjälp av Node.js. Webbapplikationen renderar diagram som baseras på olika variabler. Tester genomfördes för att jämföra versionerna, där det visade sig att klientversionen var den version som resulterade i lägst svarstid och minst överförd datamängd. Ytterligare tester med större skillnad gällande prestanda och typ för enheter är av intresse för framtida arbete.

    Fulltekst (pdf)
    fulltext
  • 213.
    Eek, Emil
    Högskolan i Skövde, Institutionen för informationsteknologi.
    CSS-preprocessor påverkan på laddningstiden för webbsidor 2016Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Fulltekst (pdf)
    fulltext
  • 214.
    Ehlert, Amanda
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Skräck i alternativa spelmiljöer: En studie om hur den externa spelmiljön påverkar spelaren2012Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    I det här arbetet undersöks den externa spelmiljöns påverkan på dess användare. Med den externa spelmiljön menas rummet en person befinner sig i när ett spel spelas. För undersökningen ville jag ha något som kunde frammana känsla och stämning, något som gav en stark upplevelse, arbetet har därför baserats på skräck. För undersökningen skapades ett kort skräckspel som spelades vid en vanlig datorskärm samt i en cave-miljö. Därefter följde en intervju för att jämföra deltagarnas uppfattning av spelet i de olika miljöerna. Deltagarna ansåg att utnyttjandet av den externa spelmiljön i caven tillförde en hel del till spelupplevelsen och var mycket positivit inställda till att använda en liknande miljö i framtiden. Det här kan alltså tolkas som att den externa spelmiljön är något som bör has i åtanke och utnyttjas mer i utvecklingen av spel i framtiden. Spelmiljön kan utnyttjas på många sätt, bland annat med hjälp av flera skärmar, surroundljud och mer naturliga inputkontroller.

    Fulltekst (pdf)
    fulltext
  • 215.
    Ehlin, Eddie
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Artificiella neuronnät & biometri: -verifiering utav användare via tangentbordsskrivning2007Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Detta arbete handlar om beteendeinriktad biometri och artificiella neuronnät av typen feedforward och hur de tillsammans kan användas för att verifiera användare. Det har av tidigare arbete bekräftats att det är möjligt att verifiera användare, men tidigare resultat har däremot inte utfört tester med avseende på avvikelser i data (beteende) och dess inverkan på verifieringen. Det är detta som utgör det huvudsakliga målet för detta arbete, nämligen att undersöka hur avvikelser i data påverkar verifiering och utifrån det också undersöka neuronnätens noggrannhet vid verifiering.

    Fulltekst (pdf)
    FULLTEXT01
  • 216.
    Ek, Pontus
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Procedurell generering av grottsystem för dataspel: Jämförelse av procedurellt genererade osymmetriska banor2017Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Detta arbete handlar om Procedural Content Generation (PCG) i form av algoritmer som skapar osymmetriska banor och fokuserar på att ge en översikt av prestanda avseende tid, storlek samt tillgänglighetsgaranti. Tre olika algoritmer testades på hur lång tid det tog att skapa en bana, hur stora dess banor blev och om dessa banor tillåter att man kan nå alla gängliga områden. En Agentbaserad algoritm, Cellular Automata och Diffusion-limited Aggregation (DLA) studerades avseende dess styrkor och svagheter.

    Efter experimentet så drogs slutsatsen att DLA var mest effektiv inom tid och garanti dock skapade den små banor. Cellular Automata lyckades skapa stora rum men kunde de inte godkännas på punkten garanti, och den tog för lång tid att köra. Den Agentbaserade algoritmen misslyckades att skapa banor överhuvudtaget.

    Fulltekst (pdf)
    fulltext
  • 217.
    Ek, Pontus
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Procedurell generering av grottsystem för dataspel: Jämförelse av procedurellt genererade osymmetriska banor2017Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Detta arbete handlar om Procedural Content Generation (PCG) i form av algoritmer som skapar osymmetriska banor, och fokuserar på att ge en översikt av prestanda avseende tid, storlek och tillgänglighetsgaranti. Tre olika algoritmer testades på hur lång tid det tog att skapa en bana, och hur stora dess banor blev, och om dessa banor tillåter att man kan nå alla gängliga områden. En Agentbaserad algoritm, Cellular Automata och Diffusion-limited Aggregation (DLA) studerades avseende dess styrkor och svagheter. Efter experimentet så drogs slutsatsen att DLA var mest effektiv inom tid och garanti dock skapade den små banor. Cellular Automata lyckades skapa stora rum men kunde de inte godkännas på punkten garanti, och den tog för lång tid att köra. Den Agentbaserade algoritmen misslyckades att skapa banor överhuvudtaget.

    Fulltekst (pdf)
    fulltext
  • 218.
    Ekberg, Marie
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Inlärning och illusionen av intelligenta karaktärer: Undersökning av hur inlärning hos karaktärer påverkar spelarens uppfattning av intelligenta karaktärer i spel2013Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Det här arbetet har undersökt hur inlärning av hur en datorstyrd karaktär fattar sina beslut baserat på det gällande speltillståndet, påverkar spelarens uppfattning om hur mänskligt intelligent dess resulterande beteende uppfattas, med bakgrunden att det finns ett behov av intelligentare beteenden hos karaktärer i spel. Undersökningen har genomförts genom att jämföra en tillståndsmaskin med ett artificiellt neuralt nätverk, implementerade i ett enklare actionspel med en spelare och en datorstyrd karaktär. Nätverket är konstruerat att initialt bete sig som tillståndsmaskinen, men sedan utveckla sitt beteende genom att lära från den individuella spelarens spelstil. Ett antal testpersoner har sedan fått spela spelet mot respektive teknik, och fått ange hur de upplevde respektive beteende i en enkätundersökning. Resultatet av undersökningens sammanställda data särskiljer inte det resulterande beteendet från tillståndsmaskinen med beteendet från det artificiella neurala nätverket, vilket kan ha en förklaring i undersökningens felkällor, samt den mindre domänen teknikerna implementerats i.

    Fulltekst (pdf)
    fulltext
  • 219.
    Ekblom, Tom
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Hierarkiska tillståndsmaskiner i C#2013Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    I det här arbetet skapas två implementationer av hierarkiska tillståndsmaskiner i C#, en med artificiell trädstruktur och en med arv för att representera tillståndshierarkin. Implementationernas tidskomplexitet och underhållbarhet utvärderas sedan i .NET och Mono. Experimenten utförs på Sameks tillståndsdiagram och visar på att den som implementeras med arv är snabbare än den med artificiell trädstruktur samt att .NET är snabbare än Mono. Underhållbarhetsanalysen visar på att den som är baserad på artificiell trädstruktur är lättare att underhålla.

    Fulltekst (pdf)
    Hierarkiska tillståndsmaskiner i C# rapport
    Download (zip)
    Hierarkiska tillståndsmaskiner i C# källkod
  • 220.
    Ekhäll, Susanne
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Ethical awareness in some Swedish IT-companies2005Independent thesis Advanced level (degree of Master (One Year))Oppgave
    Abstract [en]

    Ethical considerations have become more important in our environment, since all humans are moral agents and we can not avoid the involvement of ethical issues in every activity that we take part in. Ethical issues are vital, and it seems that it has become a burning question. This study presents the results of a survey of how Chief Executive Officers (CEO) in five IT-companies considers and work with attitudes toward ethical issues. The survey indicated that ethics in IT-companies has much to do with relations, relations between employees, relations between company and customer, and the importance of creating long-term relationships with customers. The survey also indicated the individual view of ethics. Finally, suggestions for further examination in this area are made.

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 221.
    Eknander, Sara
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Programmering av virtuell maskin för interaktiv fiktion2015Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Interaktiv fiktion har funnit sedan 1970-talet och har sedan dess utvecklats till bland annat högpresterande spel. I och med den ökade populariteten bland dessa spel och fiktioner kommer detta arbete undersöka om det är möjligt att skapa en plattformsoberoende applikation via en virtuell maskin i JavaScript och på så sätt minska mängden programkod och svarstider utan att interaktiviteten förloras. Tanken med applikationen är att även användare med en lägre kunskapsnivå inom programmering ska kunna skapa sina egna interaktiva fiktioner och då med hjälp av ett domänspecifikt skriptsspråk, speciellt anpassat till applikationen.

    Fulltekst (pdf)
    Programmering_virtuellmaskin
  • 222.
    Ekström, Linus
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Augustsson, Andreas
    Högskolan i Skövde, Institutionen för informationsteknologi.
    A comperative study of text classification models on invoices: The feasibility of different machine learning algorithms and their accuracy2018Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [en]

    Text classification for companies is becoming more important in a world where an increasing amount of digital data are made available. The aim is to research whether five different machine learning algorithms can be used to automate the process of classification of invoice data and see which one gets the highest accuracy. Algorithms are in a later stage combined for an attempt to achieve higher results.

    N-grams are used, and results are compared in form of total accuracy of classification for each algorithm. A library in Python, called scikit-learn, implementing the chosen algorithms, was used. Data is collected and generated to represent data present on a real invoice where data has been extracted.

    Results from this thesis show that it is possible to use machine learning for this type of problem. The highest scoring algorithm (LinearSVC from scikit-learn) classifies 86% of all samples correctly. This is a margin of 16% above the acceptable level of 70%.

    Fulltekst (pdf)
    fulltext
  • 223.
    Ekström, Niklas
    Högskolan i Skövde, Institutionen för informationsteknologi.
    PASSWORD PRACTICE: The effect of training on password practice2015Independent thesis Basic level (degree of Bachelor), 10 poäng / 15 hpOppgave
    Abstract [en]

    There are several concerning issues with passwords today; one of them being weak passwords, but password management also plays a big role e.g. when the users reuses passwords over several services or don't change their passwords on a regular basis. With the usage of passwords for several aspects of our daily lives comes the responsibility of trying to mitigate these issues, a role that often falls on to the users themselves. The usage of guidelines has proved helpful in this regard but still lacks important aspects. This paper suggests the usage of education in the form of a lecture to help with the problem. In this paper we conducted a study of password leaks, a literature analysis of the area around passwords and perform some qualitative interviews with different kinds of people with varying education and usage of passwords. The results from these studies will then lay the foundation for the lecture in the experiment part of the paper, two experiment groups will be used, one given a lecture as education on the matter and one control group not given any education. The study has showed that the usage of a lecture can help increase the entropy, average length of user‟s passwords. These results can be interpreted together with another study that did a similar experiment to that a lecture can be a more efficient way to teach users about passwords.

    Fulltekst (pdf)
    fulltext
  • 224.
    Elfstrand, Erik
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Realtidskommunikation: En jämförelse mellan Ajax och Websockets: En jämförelse av olika kommunikationsscenarier mellan server och klient med Ajax och Websockets2014Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    I arbetet jämförs kommunikation i Ajax med kommunikation i Websockets som är en äldre respektive nyare teknik som används vid realtidsbaserade applikationer. Två applikationer skapas som används för att mäta bandbreddskonsumtion samt nätverksfördröjning beroende på parametrarna datastorlek och uppdateringsfrekvens, som i kombination förväntas påverka mätresultaten. Syftet är att hitta samband mellan parametrarna för att visa vid vilka typer av applikationer Websocket lönar sig bäst och därmed ge understöd för beslut om migration från den gamla tekniken Ajax till den nyare tekniken Websockets.Resultatet av arbetet visar att kommunikation med låg datastorlek per anrop leder till störst vinst med Websockets samt att Websockets oavsett datastorlek eller uppdateringsfrekvens är betydligt bättre än Ajax. För framtida arbete förväntas främst undersöka hur även antalet samtida uppkopplade användare kan påverka resultatet.

    Fulltekst (pdf)
    fulltext
  • 225.
    Elmquist, Johan
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Procedurell generering av nivåer för plattformsspel: En jämförelse av två algoritmer2016Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    I detta arbete beskrivs en användarstudie som genomfördes för att jämföra två olika algoritmer för procedurell generering av nivåer för plattformsspel, occupancy related extension och en algoritm baserad på rytm. Syftet var att se hur dessa algoritmer tas emot av spelare.

    Studien genomfördes via internet genom att deltagare fick spela ett plattformsspel som innehöll nivåer genererade av de två algoritmerna.

    Resultaten visar inte några säkra tecken på att någon algoritm föredras framför den andra och det bedömdes inte finnas tillräcklig information för att undersöka hypotesen att deltagares preferenser skulle skifta från den rytmbaserade till den konstruktiva algoritmen.

    En intressant riktning för vidare studier vore en liknande studie där endast en algoritm undersöks och parametrarna till genereringen kontrolleras till större grad.

    Fulltekst (pdf)
    fulltext
  • 226.
    Elmqvist, Mattias
    Högskolan i Skövde, Institutionen för datavetenskap.
    Hur hanteras web services inom fastighetsautomation?2003Independent thesis Basic level (degree of Bachelor)Oppgave
    Abstract [sv]

    Detta examensarbete är en studie kring hur säkerhetsaspekter för web services hanteras inom fastighetsautomationsbranschen utifrån W3C:s riktlinjer. W3C är en organisation som godkänner och administerar nya Internetstandarder. Dessa riktlinjer omfattar säkerhet inom web services, men kan även fungera som en mall för både utveckling och användning. Dessa riktlinjer låg till grund för de intervjufrågor som skapades för undersökningen. Undersökningen genomfördes på sex organisationer med en intervjustudie, på grund av arbetets begränsningar användes telefonintervjuer.

    Studien syftar till att ge en närmare inblick i säkerhetstänkandet samt de för- och nackdelar som kan associeras till web services, samt utvecklingen av tekniken inom fastighetsautomationsbranschen.

    Studien visar att synen på säkerheten och tillämpningarna skilde sig mellan organisationerna och att riktlinjerna inte direkt kunde uppfyllas. Orsaken till detta är skillnaderna mellan organisationerna. Det framkom att det fanns stora potentiella fördelar med web services och organisationerna tror att utvecklingen av web services inom branschen kommer att öka.

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 227.
    Elmäng, Niclas
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Dynamisk fyllnad av flödesfält för vägplanering2018Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Den här undersökningen har jämfört ifall ett gemensamt dynamiskt flödesfält som fylls allteftersom kan prestera bättre än när varje agent måste fylla sitt eget flödesfält. Ett antal scenarion har skapats för att ta reda på vilket sätt teknikerna skiljer sig. Ett scenario utvärderas genom att automatiskt placera ut en stor mängd agenter och notera FPS under testets gång. Dessa data presenteras sedan i en gemensam graf för de två teknikerna där skiljaktigheterna går att observera. Efter testning visar det sig att de två största anledningarna till skillnaden i prestanda är beroende på storleken av agenternas sökrymd samt hur många spridda mål det finns. En stor sökrymd försämrar den icke dynamiska tekniken medan den dynamiska presterar bra. Många spridda mål försämrar den dynamiska teknikens prestanda på grund av att fältet inte kan återanvändas. Resultatet diskuteras kunna användas i en hybridlösning för vektorfält, samt kunna jämföras med ett komplett flödesfält.

    Fulltekst (pdf)
    fulltext
  • 228.
    Emanuelsson, Max
    Högskolan i Skövde, Institutionen för kommunikation och information.
    SVÄRM-AI FÖR TAKTISKA BESLUT HOS GRUPPER AV FIENDER2013Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    I detta examensarbete tittas det närmare på taktiska beslut för större grupper av autonoma agenter. Arbetet ska försöka besvara följande frågeställning: Hur effektivt kan svärm-AI användas för att utföra taktiska beslut när det appliceras till ett spel med grupper av fiender? För att kunna besvara frågeställningen skapades en applikation där fyra kombinationer av styrbeteenden och beräkningsmodeller inom tekniken ”boids” användes. Inom två av kombinationerna användes traditionella styrbeteenden inom boids, och inom de andra introducerades ett styrbeteende för att flankera spelaren för att ge bättre resultat. Resultatet av arbetet visar att kombinationerna med de taktiska besluten fick överlägset bättre resultat och gav därmed goda förhoppningar för att besvara frågeställningen, men för att kunna ge ett definitivt svar på hur effektivt det är visade det sig att en större bredd av experiment hade behövts användas. Taktisk svärm-AI kan användas utanför datorspel, till exempel inom robotik och att simulera större militära slag.

    Fulltekst (pdf)
    fulltext
  • 229.
    Enberg, Stefan
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Kontextberoende generering av träd för dataspel2007Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Rapporten undersöker om kontextberoende generering av träd är lämpligt att använda i dataspel. I arbetet presenteras ett system som möjliggör procedurell generering av träd som omgivningen kan påverka. De faktorer som inverkar på trädets grenstruktur är solljus, vind och gravitation. Projektet bidrar med en lösning till att minska utvecklingstiderna för dataspel genom att möjliggöra att trädmodeller algoritmiskt genereras i datorn istället för att de modelleras av en artist.

    Fulltekst (pdf)
    FULLTEXT01
  • 230.
    Engerström, Sigurd
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Styrsystem för fordon med hjälp av artificiella neurala nätverk2007Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Denna rapport jämför två nätverksarkitekturer för artificiella neurala nätverk vars uppgift är att realisera ett styrsystem för ett fordon som det även skall lära sig att styra. Jämförelsen bygger på utförda experiment där de båda nätverken fick lära sig att styra ett fordon längs en slumpgenererad väg. Båda nätverken bygger på belöningsbaserad inlärning för att lära sig lösa uppgiften.

    Resultatet av utvärderingen visar både att nätverken inte hade några problem med att lära sig att styra fordonet och att de inte krävde lång tid för att kunna lära sig hur fordonet skulle styras. Resultaten visar inte heller att någon skillnad fanns i vare sig tillförlitlighet eller generaliseringsförmåga hos de båda nätverksarkitekturerna.

    Fulltekst (pdf)
    FULLTEXT01
  • 231.
    Engkvist, Fredrik
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Naturlig ljussättning i terrängsrenderingsalgoritmer med level-of-detail2005Independent thesis Basic level (degree of Bachelor)Oppgave
    Abstract [sv]

    Denna rapport presenterar ett alternativt sätt att ljussätta terräng i datorgrafik. Tidigare modeller har vanligtvis byggt på lokal ljussättning, som inte tar hänsyn till kringliggande geometri, och har med en extra process approximerat effekten av ljusinteraktionen. Genom att använda sig av en teknik som kallas precomputed radiance transfer (PRT) kan man förberäkna hur en punkt interagerar med ljus för olika inkommande riktningar och undviker därmed att göra detta under programkörningen. Det är viktigt att denna teknik även fungerar tillsammans med level-of-detail (LOD) terrängrenderingsalgoritmer eftersom rendering av alla trianglar i terrängen för varje skärmuppdatering inte är optimalt för dagens grafikkort. Man vill därför representera den underliggande terrängen med fler trianglar närmare betraktaren och färre längre bort. Motiveringen till detta är att trianglar längre ifrån betraktaren kommer resultera i färre pixlar på skärmen, så att rendera större trianglar gör en liten visuell skillnad. Arbetet visar på att tekniken fungerar med LOD-terrängrenderingsalgoritmer med bra prestanda och visuell kvalitet.

    Fulltekst (pdf)
    FULLTEXT02
  • 232.
    Englund, Mikael
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Lärande och flow: Den optimala lärandeupplevelsen2012Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Detta arbete har utförts för att undersöka frågeställningen ”Hur bör ett dataspels tutorial designas för att spelaren ska lära sig samtidigt som den främjar uppkomsten av flow?”. För att besvara detta har teorier inom pedagogik, lärande av spel, användbarhet och flow samt mer generella teorier kring spel studerats för att skapa en teoribildning inom området. För att testa detta har ett spel med två olika tutorials skapats. Detta spel har sedan använts för att, med hjälp av två testgrupper, samla data om hur spelare lär sig samt deras flowupplevelse. Resultaten visar på att den typ av inlärning som bör appliceras är beroende av vad som ska läras ut till spelaren. Huruvida någon av de olika typerna av tutorials är fördelaktiga för uppkomsten av flow har ej kunnat besvara då de båda testgruppernas data visat på snarlika flowupplevelser. 

    Fulltekst (pdf)
    Lärande och flow
  • 233.
    Engström, Henrik
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    The University of Texas at Arlington, USA.
    Lings, Brian
    The University of Exeter, U.K..
    A Heuristic for Refresh Policy Selection in Heterogeneous Environments2003Inngår i: Proceedings of the 19th International Conference on Data Engineering / [ed] U. Dayal, K. Ramamritham, T. M. Vijayaraman, IEEE, 2003, s. 674-676Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This work addresses data warehouse maintenance, i.e. how changes to autonomous sources should be detected and propagated to a warehouse. We have extended our work on source characteristics and timings relevant to single source views by exploring data integration from (multiple) hetero- geneous sources. We identify relevant maintenance policies and develop a set of heuristics to guide policy choice. On the basis of empirical (testbed) experiments, we claim that resulting selections are good. 

  • 234.
    Engström, Henrik
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    The University of Texas at Arlington, USA.
    Lings, Brian
    The University of Exeter, U.K..
    A Rule-Based, Adaptive Approach to the Design and Implementation of Data Warehouses1999Inngår i: Managing Information Technology Resources in Organizations in the Next Millennium, Proceedings of the 10th Information Resources Management Association International Conference / [ed] Khosrowpour, IGI Global, 1999, s. 781-785Konferansepaper (Fagfellevurdert)
  • 235.
    Engström, Henrik
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    Computer Science and Engineering Department, University of Texas at Arlington, USA.
    Lings, Brian
    Department of Computer Science, University of Exeter, UK.
    A Systematic Approach to Selecting Maintenance Policies in a Data Warehouse Environment2002Inngår i: Advances in Database Technology - EDBT 2002: 8th International Conference on Extending Database Technology, Prague Czech Republic, March 25-27, 2002, Proceedings / [ed] Christian S Jensen, Keith G Jeffery, Jaroslav Pokorny, Simonas Saltenis, Elisa Bertino, Klemens Böhm, Matthias Jarke, Springer Berlin/Heidelberg, 2002, s. 317-335Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Most work on data warehousing addresses aspects related to the internal operation of a data warehouse server, such as selection of views to materialise, maintenance of aggregate views and performance of OLAP queries. Issues related to data warehouse maintenance, i.e. how changes to autonomous sources should be detected and propagated to a warehouse, have been addressed in a fragmented manner. Although data propagation policies, source database capabilities, and user requirements have been addressed individually, their co-dependencies and relationships have not been explored. In this paper, we present a comprehensive framework for evaluating data propagation policies against data warehouse requirements and source capabilities. We formalize data warehouse specification along the dimensions of staleness, response time, storage, and computation cost, and classify source databases according to their data propagation capabilities. A detailed cost-model is presented for a representative set of policies. A prototype tool has been developed to allow an exploration of the various trade-offs.

  • 236.
    Engström, Henrik
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    The University of Texas at Arlington, USA.
    Lings, Brian
    The University of Exeter, U.K..
    A User-Centric View of Data Warehouse Maintenance Issues2000Inngår i: Advances in Databases: 17th British National Conference on Databases, BNCOD 17 Exeter, UK, July 3-5, 2000 Proceedings / [ed] Brian Lings, Keith Jeffery, Springer Berlin/Heidelberg, 2000, s. 68-80Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Data in warehouses need to be updated in a timely manner from underlying operational data sources. This is referred to as warehouse maintenance. Not all of the data in the warehouse has the same requirement in terms of staleness (how old can it be with respect to the actual data), or its inverse freshness, and consistency (combining data from autonomous sources may give rise to some inconsistency). Given the requirements and schema information of a data warehouse, identifying policies for change detection and warehouse maintenance is a complex task. In this paper we identify a problem with current specification of user requirements, and suggest a specification scheme that is more general and user-oriented than extant suggestions. We also survey various policies that have been proposed for data propagation and analyse how change detection capabilities of sources influence user, as well as system requirements. 

  • 237.
    Engström, Henrik
    et al.
    Högskolan i Skövde, Institutionen för datavetenskap.
    Chakravarthy, Sharma
    The University of Texas at Arlington, USA.
    Lings, Brian
    The University of Exeter, U.K..
    Implementation and Comparative Evaluation of Maintenance Policies in a Data Warehouse Environment2002Inngår i: Advances in Databases: 19th British National Conference on Databases, BNCOD 19 Sheffield, UK, July 17-19, 2002 Proceedings / [ed] Barry Eaglestone, Siobhán North, Alexandra Poulovassilis, Springer Berlin/Heidelberg, 2002, s. 90-102Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Data warehouse maintenance is the task of updating a materialised view to reflect changes to autonomous, heterogeneous and distributed sources. Selection of a maintenance policy has been shown to depend on source and view properties, and on the user specified criteria (such as staleness, response time etc.), which are mapped on to evaluation criteria. In our previous work, we have analysed source and view characteristics, and user requirements to derive a cost- model. Maintenance policy selection has thus been cast as an optimisation prob- lem.

    This paper takes a complementary approach to evaluating maintenance policies, by implementing a test-bed which allows us to vary source characteristics and wrapper location. The test-bed is instrumented to allow costs associated with a policy to be measured. An actual DBMS (InterBase) has been used as a relational source and an XML web server has been used as a non-relational source. The experiments clearly show that maintenance policy performance can be highly sensitive to source capabilities, which can therefore significantly affect policy selection. They have further substantiated some of the conjectures found in the literature. Some of the lessons learnt from this test-bed implementation and eval- uation are reviewed. 

  • 238.
    Engström, Robin
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Evolution av styrbeteenden för trupper i RTS-spel2015Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Detta arbete undersöker om genetiska algoritmer kan användas för att evolvera parametrar för olika styrbeteenden. Arbetet fokuserar på truppförflyttningar i realtidsstrategisspel (RTS) där trupper av tolv agenter rör sig mellan två punkter i diverse miljöer. Agenterna tränas genom att evolvera styrbeteendeparametrar på små, specifika problem och utvärderas sedan på mer komplexa miljöer som inkluderar flera av de små träningsproblemen.Parameterevolutionen visar lovande resultat med avseende på att agenternas beteende förbättras. Evolutionen leder dock till oönskade bieffekter så som att agenterna föredrar att kollidera med hinder istället för att köra runt dem. Agenter tenderar dock att sporadiskt fastna i väggar vilket drastiskt påverkar resultatet i en negativ mening.Detta arbete saknar fokus för diverse fitnessfunktioner som kan påverka resultatet. Detta kan vara ett intressant fokus för framtida arbeten. Även mer komplexa styrbeteenden kan vara ett bra fokus för vidare studier för att låta agenter lösa mer komplexa problem.

    Fulltekst (pdf)
    fulltext
  • 239.
    Ericson, Peter
    Högskolan i Skövde, Institutionen för kommunikation och information.
    TCPA/TCG and NGSCB: Benefits and Risks for Users2004Independent thesis Basic level (degree of Bachelor)Oppgave
    Abstract [en]

    Trusted computing has been proposed as a way to enhance computer security and privacy significantly by including them in the design of computing platforms instead of adding them on top of an inherently insecure foundation; however, the project has attracted much criticism. This dissertation looks at trusted computing from the user perspective. Possible beneficial uses of the technology are brought up, and some of the raised criticism is discussed. The criticism is analyzed in an attempt to find out if the criticism is correct on all points, or if some of it is the result of misinformation or misunderstanding. The conclusion is that not all the arguments against trusted computing are correct, and that the possible implications for users are taken into account in the development process. The dissertation ends on a positive note, concluding that trusted computing is possible without the worst fears of the critics coming true.

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 240.
    Ericsson, Ann-Marie
    Högskolan i Skövde, Institutionen för datavetenskap.
    Deriving ECA-rules from timed-automata specifications.2002Independent thesis Basic level (degree of Bachelor)Oppgave
    Abstract [sv]

    Real-time systems are required to answer to external stimuli within a specified time-period. For this to be possible, the systems behaviour must be predictable. The use of active databases in real-time systems introduces unpredictability in the system, e.g. due to their use of active rules. The behaviour in active databases is usually specified in ECA-rules. Sets of ECA-rules are hard to analyse, which implies that the behaviour of the ECA-rule set is hard to predict.

    The purpose of this project is to evaluate the ability to support the development of a predictable ECA-rule set. Using a formal method for the specification task is desirable, since a formal specification is analysable and can be proven correct. In this project, timed-automata are used for specifying the systems behaviour. A method for deriving predictable ECA-rules from a timed-automaton specification is developed, and successfully applied on a case-study specification. For this case-study specification, a set of ECA-rules preserving the analysed behaviour of the timed-automata specification is derived.

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 241.
    Ericsson, AnnMarie
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Verifying an industrial system using REX2008Rapport (Annet vitenskapelig)
    Abstract [sv]

    Användandet av formella metoder för att höja kvalitén på mjukvara används inte i någon stor utsträckning inom industrin. Vi hävdar att användandet av ett verktyg där man kan specificera sitt system i ett högnivåspråk istället för direkt i det formella språket är en möjlig väg för att förse mjukvaruutvecklare med kraftfulla verifieringsverktyg som är specifika för olika paradigmer. Verktyget REX stödjer specifikation av applikationer specificerade som en mängd regler och sammansatta händelser. Dessutom tillhandahåller REX stöd för att överföra regelbaserade modeller och applikations specifika krav från REX till det formella verktyget Uppaal. Model-checkern i Uppaal kontrolleras automatiskt av REX. I denna rapport presenteras en fallstudie där ett system som används för att planera produktionen på Volvo IT i Skövde har specificerats som regler och verifierats formellt med hjälp av REX. Syftet med fallstudien är att visa att REX kan användas för att specificera och verifiera ett komplext system som används i verkligheten.

    Fulltekst (pdf)
    FULLTEXT01
  • 242.
    Ericsson, Ann-Marie
    Högskolan i Skövde, Institutionen för datavetenskap.
    Verifying transformations between timed automata specifications and ECA rules2003Independent thesis Advanced level (degree of Master (One Year))Oppgave
    Abstract [en]

    Event-triggered real-time systems are desirable to use in environments where the arrival of events are hard to predict. The semantics of an event-triggered system is well mapped to the behaviour of an active database management system (ADBMS), specified using event-condition-action (ECA) rules. The benefits of using an active database, such as persistent data storage, concurrency control, timely response to event occurrences etc. highlights the need for a development method for event-triggered real-time systems using active databases.

    However, there are problems left to be solved before an ADBMS can be used with confidence in real-time environments. The behaviour of a real-time system must be predictable, which implies a thorough analysed specification with e.g. specified worst case execution times. The predictability requirement is an obstacle for specifying real-time systems as ECA rules, since the rules may affect each other in many intricate ways which makes them hard to analyse. The interaction between the rules implies that it is not enough to verify the correctness of single rules; an analysis must consider the behaviour of the entire rule set.

    In this dissertation, an approach for developing active applications is presented. A method is examined which starts with an analysed high-level timed automaton specification and transforms the specified behaviour into an implicitly analysed rule set. For this method to be useful, the transformation from timed automata to rules must preserve the exact behaviour of the high level specification. Hence, the aim of this dissertation is to verify transformations between timed automaton specifications and ECA rules.

    The contribution of this project is a structured set of general transformations between timed automata specifications and ECA rules. The transformations include both transformations of small timed automata constructs for deterministic environments and formally verified timed automata patterns specifying the behaviour of composite events in recent and chronicle context.

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 243.
    Eriksson, Anders
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Research Proposal: Strategy for Platform Independent Testing2012Rapport (Annet vitenskapelig)
    Abstract [en]

    This work addresses problems associated with software testing in a Model Driven Development (MDD) environment. Today, it is possible to create platform independent models that can be executed and therefore, dynamically tested. However, when developing safety-critical software systems there is a requirement to show that the set of test cases covers the structure of the implementation. Since the structure of the implementation might vary depending on e.g., compiler and target language, this is normally done by transforming the design model to code, which is compiled and executed by tests until full coverage of the code structure is reached. The problem with such approach is that testing becomes platform dependent. Moving the system from one platform to another becomes time-consuming since the test activities to a large extent must start again for the new platform. To meet the goals of MDD, we need methods that allow us to perform structural coverage analysis on platform independent models in a way that covers as much as possible of the the structure of any implementation. Moreover, such method must enable us to trace specific test artifacts between the platform independent model and the generated code. Without such trace a complete analysis must be done at code level and much of the advantage of MDD is lost. 

    We propose a framework for structural coverage analysis at a platform independent level. The framework includes: (i ) functionality for generation of test requirements, (ii ) creation of structural variants with respect to the translation to code, and (iii ) traceability between test artifacts at different design levels. The proposed framework uses a separate representation for structural constructs involved in coverage criteria for software in safety-critical systems. The representation makes it possible to create variants of structural constructs already at the top design level. These variants represent potential differences in the structure at lower design levels, e.g., target language or executable object code. Test requirements are then generated for all variants, thus covering the structure of different implementations. Test suites created to satisfy these test requirements are therefore, robust to different implementations.

    Fulltekst (pdf)
    Reserach Proposal: Strategy for Platform Independent Testing
  • 244.
    Eriksson, Anders
    et al.
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Saab Aeronautics, Linköping, Sweden.
    Lindström, Birgitta
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi.
    UML Associations: Reducing the gap in test coverage between model and code2016Inngår i: Proceedings of the 4th International Conference on Model-Driven Engineering and Software Development / [ed] Slimane Hammoudi, Luis Ferreira Pires, Bran Selic & Philippe Desfray, SciTePress, 2016, Vol. 1, s. 589-599Konferansepaper (Fagfellevurdert)
    Abstract [en]

    This paper addresses the overall problem of estimating the quality of a test suite when testing is performed at aplatform-independent level, using executable UML models. The problem is that the test suite is often requiredto fulfill structural code coverage criteria. In the avionics domain it is usually required that the tests achieve100% coverage according to logic-based coverage criteria. Such criteria are less effective when applied toexecutable UML models than when they are applied to code because the action code found in such modelscontains conditions in navigation and loops that are not explicit and therefore not captured by logic-basedcoverage criteria. We present two new coverage criteria for executable UML models, and we use an industrialapplication from the avionics domain to show that these two criteria should be combined with a logic-basedcriterion when testing the executable UML model. As long as the coverage is less than 100% at the modellevel, there is no point in running the tests at the code level since all functionality of the model is not yet tested,and this is necessary to achieve 100% coverage at the code level.

    Fulltekst (pdf)
    fulltext
  • 245.
    Eriksson, Daniel
    Högskolan i Skövde, Institutionen för datavetenskap.
    How to implement Bounded-Delay replication in DeeDS2002Independent thesis Basic level (degree of Bachelor)Oppgave
    Abstract [en]

    In a distributed database system, pessimistic concurrency control is often used to ensure consistency which implies that the execution time of a transaction is not predictable. The execution time of a transaction is not dependent on the local transactions only, but on every transaction in the system.

    In real-time database systems it is important that transactions are predictable. One way to make transactions predictable is to use eventual consistency where transactions commit locally before they are propagated to other nodes in the system. It is then possible to get predictable transactions due to the fact that the execution time of the transaction only depends on concurrent transactions on the local node and not on delays on other nodes and delays from a network.

    In this report an investigation is made on how a replication protocol using eventual consistency can be designed for, and implemented in, DeeDS, a distributed real-time database prototype. The protocol consists of three parts: a propagation method, a conflict detection algorithm, and a conflict resolution mechanism. The conflict detection algorithm is based on version vectors. The focus is on the propagation mechanism and the conflict detection algorithm of the replication protocol.

    An implementation design of the replication protocol is made. A discussion on how the version vectors may be applied in terms of granularity (container, page, object or attribute) and how the log filter should be designed and implemented to suit the particular conflict detection algorithm is carried out. A number of test cases with focus on regression testing have been defined.

    It is concluded that the feasibility of the conflict detection algorithm is dependent on the application type that uses DeeDS.

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 246.
    Eriksson, Ellen
    Högskolan i Skövde, Institutionen för informationsteknologi.
    DIGITAL REMEDIERING AV GUSTAF CEDERSTRÖMS KARL XII:S LIKFÄRD: En studie i möjlig pedagogisk användning i konstmuseimiljö2015Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Fulltekst (pdf)
    fulltext
  • 247.
    Eriksson, Jakob
    Högskolan i Skövde, Institutionen för informationsteknologi.
    Att upptäcka dolda objekt i spel: En undersökning av occlusion culling och dess påverkan i spelscener2017Independent thesis Basic level (degree of Bachelor), 20 poäng / 30 hpOppgave
    Abstract [sv]

    Att detektera och eliminera dolda ytor är viktigt när grafiska applikationer blir mer komplexa och detaljerade. En teknik som används till det är occlusion culling och olika typer av algoritmer har tagits fram för att möjliggöra den tekniken. Occlusion culling innebär att hitta objekt som har stor potential att dölja delar av en scen. Dessa objekt kallas för occluders. I den här rapporten så undersöks möjligheten att använda olika stor mängd av occluders i en algoritm och hur det påverkar olika typer av spelscener. Tre olika spelscener har satts upp i Unity som skiljer sig i hur de är uppbyggda. Effekten av occlusion culling i scenerna visar på att det kan vara en teknik bättre lämpad för vissa typer av spel. Rapporten visar också på en möjlighet att forska vidare på valet av en lämplig mängd med occluders.

    Fulltekst (pdf)
    fulltext
  • 248.
    Eriksson, Mattias
    Högskolan i Skövde, Institutionen för kommunikation och information.
    Heuristisk utvärdering vs Usability Problem Taxonomy: En utvärdering ur ett klassificeringsperspektiv2005Independent thesis Advanced level (degree of Master (One Year))Oppgave
    Abstract [sv]

    För att identifiera och klassificera problem relaterade till användbarhet i mjukvarubaserade produkter används metoder speciellt utformade för detta ändamål. En av dessa metoder är Heuristisk utvärdering, men kritik har framförts mot denna metod och dess förmåga att klassificera användbarhetsproblem. I detta arbete jämförs Heuristisk utvärdering med en annan metod, i ett försök att utreda om kritiken är korrekt. Denna metod är Usability Problem Taxonomy, en metod skapad för att klassificera samt analysera användbarhetsproblem. Syftet med denna jämförelse är att ta fasta på vilken av metoderna som är lämpligast att använda vid klassificering av användbarhetsproblem, något som bedöms genom att undersöka metoderna och deras förmåga att noggrant klassificera användbarhetsproblem. Resultatet av arbetet indikerar att Usability Problem Taxonomy stödjer en mer noggrann klassificering jämfört med Heuristisk utvärdering. Det är inte möjligt att på ett enkelt sätt uppskatta noggrannheten i den klassificering som utförs med Heuristisk utvärdering

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 249.
    Eriksson, Timea
    Högskolan i Skövde, Institutionen för kommunikation och information.
    The effect of delay-lines on sequence recall - A study of B-RAAM2005Independent thesis Advanced level (degree of Master (One Year))Oppgave
    Abstract [en]

    Connectionist models have been criticized for not being able to form compositional representations of recursive data structures such as trees and lists, a matter that has been addressed by models as Elman networks, RAAM and B-RAAM. These architectures seem to have common features with the human short-term memory regarding recall. Both show a strong recency effect; however, the human memory also exhibits a primacy effect due to rehearsal. The problem is that the connectionist models do not have the primacy aspect, which complicates the learning of long-term dependencies. A long-term dependency is when items presented early should affect the behaviour of the model. Learning long-term dependencies is a problem that is hard to address within these architectures.

    Delay-lines might be used as a mechanism for implementing rehearsal within connectionist models. However, it has not been clarified how the use of delay-lines affects the recency and the primacy aspect. In this thesis, delay-lines are introduced in B-RAAM. This study investigates how the primacy and the recency aspect are affected by the use of delay-lines, aiming to improve the ability to identify long-term dependencies. The results show that by using delay-lines, B-RAAM has both primacy and recency.

    Fulltekst (ps)
    FULLTEXT01
    Fulltekst (pdf)
    FULLTEXT02
  • 250.
    Erlandsson, Tina
    Högskolan i Skövde, Institutionen för informationsteknologi. Högskolan i Skövde, Forskningscentrum för Informationsteknologi. Tina.Erlandsson@saabgroup.com.
    Coordinated Target Assignment and Route Planning for Air Team Mission Planning2016Inngår i: Proceedings of the Twenty-Ninth International Florida Artificial Intelligence Research Society Conference / [ed] Zdravko Markov and Ingrid Russell, Palo Alto, California: AAAI Press, 2016, s. 38-43Konferansepaper (Fagfellevurdert)
    Abstract [en]

    Planning air missions for a team flying in hostile environmentsis a complex task, since multiple interrelated goalsneed to be considered, e.g., performing the mission tasks andavoiding enemy fire. The target assignment and route planningfor the team should therefore be performed in a coordinatedway. The mission planner suggested in this work combinesgenetic algorithms and particle swarm optimization inorder to solve these two problems in an interconnected manner.Simulations are used for testing and analyzing the approach.It is concluded that the mission planner is able tosuggest suitable plans in complex scenarios with three interrelatedobjectives: low risk exposure, high mission effectivenessand short route length.

2345678 201 - 250 of 901
RefereraExporteraLink til resultatlisten
Permanent link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf