Denna uppsats handlar om formella metoder i samband med systemutveckling. Formella metoder används främst vid utveckling av kritiska system, men de kan även tillämpas i vanlig systemutveckling. Ny teknik utvecklas ständigt och system blir alltmer komplexa och detta medför i sin tur högre krav på systemutvecklaren. Många systemutvecklingsprojekt misslyckas och en bidragande orsak har varit bristfällig analys och framtagande av kravspecifikationer. Att tillämpa formella metoder i systemutveckling medför många fördelar.

I dagens utveckling av robotkontrollers så finner vi olika synsätt på hur vi ska angripa problemen som en robot ställs inför. Det här arbetet koncentrerar sig på artificiella neurala nät (ANN) och evolution med genetiska algoritmer och en fokusering sker på en speciell arkitektur av ANN som Stefano Nolfi presenterat.Rapporten kan ses som en fortsättning på Nolfis arbete och behandlar extensioner av fenomenet "spontan modularitet" som Nolfi beskriver. Det testproblem som används består i att utveckla ett kontrollsystem för en skräpsamlande robot. Detta arbete baseras på experiment runt detta problem med arkitekturer, vilka baseras på Nolfis spontana modularitet. Vi testar hur arkitekturerna påverkas av interna och återkopplade noder.Resultaten visar på att en spontan modularitet inte tycks påverkas positivt av återkopplade eller interna noder..

Mobila intensivvårdsgrupper (MIG) som i samverkan med vårdavdelningars sjuksköterskor kan identifiera, bedöma samt handlägga patienters vårdbehov har successivt implementerats inom sjukvården internationellt sedan mitten av 90-talet, med syfte att minska vårdtid och dödlighet. Inom svensk sjukvård har detta implementerats sedan mitten av 2000-talet. Syftet med studien var att belysa sjuksköterskornas erfarenheter av konsultation och samverkan med mobila intensivvårdsgrupper. En undersökande intervjustudie genomfördes och insamlad data analyserades utifrån kvalitativ innehållsanalys. Resultatet visade sig i två huvudkategorier; Vägen till beslut och Samverkan med MIG.

Syftet med studien var att undersöka hur dagens data- och telekommunikation påverkar tio studenter vid BTH i deras vardag. I vår frågeställning hade vi tre frågor som vi sökte få svar på. Dessa frågor behandlade vilka kommunikationsvanor tio studenter vid BTH har, hur dessa vanor påverkar deras vardagsliv samt vilka uppfattningar som fanns om den globala IT-kommunikationen. Utifrån intervjuerna med studenterna sökte vi skönja generella likheter/skillnader hos det resterande samhället. Under 1800-talet inleddes utvecklingen av globala nätverk.

Syftet med uppsatsen är att undersöka och belysa eventuell nytta av ett införande avtelematikbaserade tjänster i de fordonssystem som ingår i markstridskrafternasinsatsförband.Den svenska försvarsmaktens har bara påbörjat övergången till ett modernt, flexibelt ochrörligt insatsförsvar som är mångsidigt och anpassat för att genomföra flera olika slag avoperationer, nationellt och internationellt. För att klara omställningen från invasionsförsvartill det nya insatsförsvaret krävs att åtgärder vidtas på ett stort antal områden.Om förband skall kunna uppträda flexibelt sammansatta och vara interoperabla, medmycket hög tillgänglighet, hög precision och i färre antal, måste stor vikt läggas åt att ökatillgängligheten hos de förband som ingår i insatsförsvaret.Civilt sker förändringar framförallt utifrån krav på ökad lönsamhet och högre effektivitet.Inom fordonsindustrin har detta inneburit att man nyttjar ny teknik för att möta dessakrav. Genom att införa telematik i fordon och utveckla telematikbaserade tjänster ser manidag stora möjligheter att effektivisera och öka lönsamheten för företag inom t.ex.åkerinäringen.Tidigare hade civil teknologi oftast sitt ursprung i militär teknologi, t.ex. Internet. Idag ärdet precis tvärtom, nu driver marknadskrafterna denna utveckling och nya teknikeranpassas för tillämpning i militära miljöer.En möjlig väg för att öka den taktiska tillgängligheten och förbättra förutsättningarna förförbanden att bibehålla kravställd uthållighet kan vara att införa telematikbaserade tjänsteri förbandens fordon..

Prestandan i dagens mobiltelefoner har ökat på senare tid. Därmed har det blivit aktuellt med förstärkt verklighet i mobilapplikationer. Det här arbetet har undersökt hur förstärkt verklighet används i mobilapplikationer för att framhäva en plats. Genom att använda förstärkt verklighet blir det möjligt att tillföra information till den verkliga platsen. I syfte att applicera förstärkt verklighet har vi utvecklat Lara.

Denna rapport presenterar en utveckling av uDecide, som är ett sorts hjälpmedel för att lättare kunna ta beslut. Ett verktyg som man kan använda för att ställa frågor till andra människor med hjälp av en bild och svarsalternativ för att få ett personligt svar eller åsikt. Syftet med detta projekt är att utveckla en användbar hi-fi prototyp som i sin tur ska vidareutvecklas av webbyrån Roxbury och uDecidegrundarna. Arbetet utgår från en befintlig uDecide iOS mobilapplikation, och fokus har lagts på att förbättra användarupplevelsen och implementera nya funktioner. Med hjälp av förstudier och användartester har vi utvecklat en webbaserad, responsiv hi fi-prototyp.

Med anledning av den snabbt växande populariteten för mobila enheter såsom iPad/iPhone, Android och Windows Phone 7 öppnas nya möjligheter för affärsverksamheten. Ett exempel är mobil åtkomst till Microsoft SharePoint, en webbplattform som erbjuder en bred uppsättning verktyg för bland annat dokumenthantering och projektsamarbete. Den här studien har utvärderat ett antal lösningar för att tillgängliggöra SharePoint på mobila enheter. Utvärderingen har fokuserat på de två huvudaspekterna användarvänlighet och säkerhet, eftersom studien utfördes på ett företag med omfattande hantering av sekretessbelagda filer. Lösningarna i studien har delvis testats via mobila enheter och delvis endast undersökts genom dokumentation på grund av brist på möjlighet till driftsättning av de mer avancerade lösningarna.

GPS används idag för personlig navigering men dessvärre är GPS beroende av fri sikt och presterar sämre i en inomhusmiljö. Ett IPS, inomhuspositioneringssystem, skulle komplet-tera GPS:ens funktion samt öppna dörrar för nya användningsområden inom positionering. I detta examensarbete studerades metoder och tekniker för att möjliggöra ett IPS för en mo-bil enhet. Där teknikerna och metoderna verifieras för att kunna implementeras i en mobil-telefon.En prototyp för ett IPS framställdes för att utreda möjligheterna att navigera i en inomhus-miljö. En radiofingeravtrycksmetod baserat på RSSI-mätningar från Bluetooth-enheter im-plementerades och integrerades med en dödräkningsmetod som använder en IMU för att positionera användaren.

Rapporten behandlar utvecklingsarbetet av ett nytt gåbord i samarbete med Skaraborgs sjukhus. Målet med arbetet var delvis att lokalisera och lösa de problem som fanns med det befintliga gåbordet. Samt utöver detta utveckla och göra bordet ergonomiskt anpassat för både vårdare och patient. Arbetet är uppdelat i bakgrund, förstudie, idégenerering, konceptutveckling och till sist ett resultat. I förstudien har de olika gåbord som finns på marknaden studerats och vilka problem det finns med dessa genom intervjuer med berörda parter.

Denna uppsats tar reda på var några ungdomar i årskurs nio har lärt sig att hantera datorn och hur man använder och tänker kring bilder på internet. Jag undersöker hur de pratar och berättar om sitt användande av olika digitala medier som TV, elektroniska spel som TV- och dataspel, mobil och Internet. Jag försöker att fånga det informella lärandet kring bildhantering och deras tolkningar av bilder. Ungdomarna som blev intervjuade valdes ut av sin lärare med hälften pojkar och hälften flickor, sammanlagt åtta stycken. Intervjuerna skedde i tre grupper.

Det här är en litteraturstudie som undersöker hur forskningsfältet kring utomhusmatematik ser ut, samt de olika resultat som forskningen kommit fram till.Genom systematiska sökningar har tretton artiklar i sin helhet valts ut för granskning, samt nio artiklar som ej finns tillgängliga i fulltext. Dessa inkluderades för att bidra till en mer komplett beskrivning av karaktären för hela det aktuella forskningsfältet. Resultatet visar framför allt att det finns relativt lite forskning inom området. Endast fem artiklar kunde bedömmas uppfylla kriterierna som vetenskapliga och därmed får dessa stå till grund för att visa vad forskningen för området säger. Dessa artiklar konkluderade att elever spontant upplever utomhusmatematik som roligt, att de lär sig lättare samt får en djupare förståelse för matematiken.

Informationskoncept om kommunikation och tjänster för Stockholm Stadsom skall kunna tas i bruk år 2010, året då Stockholm har som mål att varavärldens tillgängligaste stad. Konceptet består av "huvudstationer" vid vilkaman kan genom att peka på en dataskärm får information om hur man tarsig från en plats till en annan. Stationerna är placerade på frekvent besöktaplatser i staden, så som tunnelbanestationer, torg, gallerior, parker mm. Påplatser där det inte rör sig folk i samma utsträckning finns det #mellanstationer#med karta och info om närliggande kommunikationer. För att hittatill respektive #huvudstation# finns även markeringar i marken i form av enpil av metall och glas ur vilken det strålar ljus.

Informationskoncept om kommunikation och tjänster för Stockholm Stadsom skall kunna tas i bruk år 2010, året då Stockholm har som mål att varavärldens tillgängligaste stad. Konceptet består av "huvudstationer" vid vilkaman kan genom att peka på en dataskärm får information om hur man tarsig från en plats till en annan. Stationerna är placerade på frekvent besöktaplatser i staden, så som tunnelbanestationer, torg, gallerior, parker mm. Påplatser där det inte rör sig folk i samma utsträckning finns det #mellanstationer#med karta och info om närliggande kommunikationer. För att hittatill respektive #huvudstation# finns även markeringar i marken i form av enpil av metall och glas ur vilken det strålar ljus.

I uppsatsen undersöks instabila processer i visuell kultur på två plan: i tid och rum och i material och metoder.Den tar upp vad instabila processer i visuell kultur är uttryck för och vad processerna får för konsekvenser förkonstbegreppet.Inledningsvis kartläggs hur Nicolas Bourriaud, Lev Manovich, Mieke Bal, Manuel Castells och MiwonKwon beskriver kulturella instabila processer. I syfte att undersöka om teorierna går att tillämpa på visuellauttryck utförs därefter en empirisk analys av musikvideor av Coldplay, Radiohead och Röyksopp. Också enjämförande analys görs för att se om instabila processer går att finna även inom scenkonsten. Det somundersöks i detta fall är en teaterföreställning av 123 Schtunk.De instabila processer som beskrivs i texterna återfinns i hög grad i de analyserade verken. Processernavisar sig vara en spegling av en nomadisk och mobil diskurs som orsakas av nätverkssamhällets strävan efteratt överskrida tid, rum och fasta begrepp.