<p>Detta arbete är en utvärdering av metoden i och utformningen av Handbok – Validering av kontrollrumsändringar. SwedPower har producerat Handboken för Statens kärnkraftsinspektion och kärnkraftverken. Handboken har funnits i några år och SKI hade en önskan om att den skulle utvärderas. Handboken skrevs som ett hjälpmedel för valideringspersonal, för att åstadkomma ett standardiserat, väl fungerande tillvägagångssätt för validering. Att metoden är standardiserad är viktigt för att det skall gå att göra jämförelser mellan olika valideringar. Handboken skall kunna användas som referensverk av personal på SKI och ute på kärnkraftverken för att öka insynsmöjligheten, samt att förenkla förståelsen för och deltagande i valideringen av kontrollrum. För att lyckas med ovanstående skall Handboken vara praktisk tillämpbar. Den skall också vara inriktad på att kunna validera ändringar till skillnad från att validera något helt nytt. </p><p>Arbetet är en litteraturstudie som bygger på validerings- och metodlitteratur. I arbetet diskuteras begreppet validering och Handbokens definition av det. Tyngdpunkten i uppsatsen ligger i en genomgång av hur en validering enligt Handboken ser ut. Där redovisas varje delmetod och förslag ges på lämpliga förändringar. Även för- och nackdelar med Handbokens utformning diskuteras. Sist kommer ett resultat- och diskussionsavsnitt med resultatet av utvärderingen och övriga tankar och idéer som rör validering och Handboken. </p><p>Resultatet av utvärderingen är att Handboken uppfyller målen att vara praktisk och avsedd för ändringar, men att utformning och beskrivningar på sina ställen behöver modifieras. Uppsatsen ger förslag på modifieringar och vilka förbättringar dessa leder till.</p>

Automatisk generering av innehåll till dataspel är ett viktigt forskningsområde eftersom allt mer detaljerat innehåll går att använda. Denna rapport beskriver en studie som jämför två metoder att automatiskt generera kartor för militära strategispel. Den bygger på Stachniak och Steurzlingers (2005) arbete om deformationer av terräng efter ställda kriterier. De använder stokastisk lokalsökning för att hitta lämpliga deformationer. Andra sökmetoder kan användas och den stokastiska lokalsökningen ställs mot en evolutionär sökning i denna studie. Ett program utvecklades som implementerade en evolutionär algoritm och en förenklad variant av Stachniak och Steurzlingers (2005) algoritm. Programmet testkördes med olika indata för att försöka få algoritmerna att prestera sitt bästa så att de kunde jämföras rättvist. Den evolutionära algoritmen visade sig vara effektivast men gav inte tillräckligt bra resultat på utsatt tidsåtgång. Arbetet kan utvecklas genom fler tester och optimeringar.

Detta arbete är en utvärdering av metoden i och utformningen av Handbok – Validering av kontrollrumsändringar. SwedPower har producerat Handboken för Statens kärnkraftsinspektion och kärnkraftverken. Handboken har funnits i några år och SKI hade en önskan om att den skulle utvärderas. Handboken skrevs som ett hjälpmedel för valideringspersonal, för att åstadkomma ett standardiserat, väl fungerande tillvägagångssätt för validering. Att metoden är standardiserad är viktigt för att det skall gå att göra jämförelser mellan olika valideringar. Handboken skall kunna användas som referensverk av personal på SKI och ute på kärnkraftverken för att öka insynsmöjligheten, samt att förenkla förståelsen för och deltagande i valideringen av kontrollrum. För att lyckas med ovanstående skall Handboken vara praktisk tillämpbar. Den skall också vara inriktad på att kunna validera ändringar till skillnad från att validera något helt nytt. Arbetet är en litteraturstudie som bygger på validerings- och metodlitteratur. I arbetet diskuteras begreppet validering och Handbokens definition av det. Tyngdpunkten i uppsatsen ligger i en genomgång av hur en validering enligt Handboken ser ut. Där redovisas varje delmetod och förslag ges på lämpliga förändringar. Även för- och nackdelar med Handbokens utformning diskuteras. Sist kommer ett resultat- och diskussionsavsnitt med resultatet av utvärderingen och övriga tankar och idéer som rör validering och Handboken. Resultatet av utvärderingen är att Handboken uppfyller målen att vara praktisk och avsedd för ändringar, men att utformning och beskrivningar på sina ställen behöver modifieras. Uppsatsen ger förslag på modifieringar och vilka förbättringar dessa leder till.

Sea mines are a cheap weapons system useful for hindering an opponent’s freedomof movement. Controllable sea mines, that can be activated and deactivated after they havebeen laid out, can be laid out prior to break out of war. The main bulk of sea mines storedtoday in Swedish depots are not controllable. This thesis compares the military utility between two controllable mine systems. The existingM9-system and a system draft based on wireless underwater communication. With theSwedish navy as the military actor using the systems, the comparison is set against abackground scenario of an escalating crisis. In this context the military effectiveness, militarysuitability and affordability of the systems is studied. The results indicate that the KT-system introduced in this study has a slightly greater militaryutility. At the same time, the results point out a number of differences between the systems,which in the end might be of greater use to a decision maker than a summed up rating. / Sjöminor är ett billigt vapensystem som kan användas för att hindra enmotståndares rörelsefrihet. Sjöminor som är kontrollerbara kan aktiveras och stängas av efterfällning vilket möjliggör minering före ett krigsutbrott. Huvuddelen av de minor som idagfinns i svenska förråd är okontrollerbara. Denna studie jämför militär nytta mellan två kontrollerbara sjöminsystem. Det existerandeM9-systemet och ett idésystem baserat på trådlös undervattenskommunikation. Med densvenska marinen som tänkt brukare och mot bakgrund av ett eskalerande krisscenariostuderas vilket av systemen som skulle vara mest militärt effektivt, militärt lämpligt ochsamtidigt ekonomiskt överkomligt. Resultatet indikerar att det i studien presenterade KT-systemet som introduceras i denna studiehar en liten fördel ur ett militärt nyttoperspektiv. Samtidigt visar de på ett antal skillnadermellan systemen vilket i slutänden kan mer användbara för en beslutsfattare än ett sammanvägtbetyg.

This paper investigates the effectiveness of expressive range and controllability for 2-dimensional tile-based procedural content generation. Procedural content generation (PCG) is the automation of content, often in games, and tile-based PCG is when the generated content is constrained to a grid structure. Mixed-initiative PCG, which is the integration of user control into PCG, has been researched previously for tile-based PCG but the implementations have been limited by lack of breadth and user control over the algorithm. As a result, the expressive ranges and controllabilities of their algorithm have not been comprehensive, and in turn, the concepts of expressive range and controllability not thoroughly scrutinized. For the purpose of examining the concepts of expressive range and controllability, an implementation of declarative modelling, named Mixed-initiative Tile-based Designer (MTD), is made. The MTD combines the mission and shape grammar algorithm proposed by Dormans’ and the level generation system in Spelunky. Nine sets of input parameters, scenarios, are tested, each with 2000 levels generated. For each scenario, the expressive range of its output is examined using the standard evaluation metrics linearity and leniency. The results of the data sampling indicated that an analysis based on expressive range needs to be supported by additional analyses for the insights drawn to be more general. In particular, expressive range needs to be complemented by manual inspection, and linearity when applied to sufficiently complex levels needs to be complemented by additional evaluation metrics. On the other hand, controllability was found to have more significant limitations in its current form because of the normalization of the data that goes into the expressive range. One solution is instead to visualize the raw data of the expressive range and make liberal use of manual inspection. As a secondary study, the feasibility of implementing declarative modelling into 2-dimensional tile-based PCG is investigated through analyzing the MTD. In particular, the MTD’s user interface, procedural output and controllability is examined to determine whether declarative modelling is feasible for 2-dimensional tile-based PCG. / Denna artikel undersöker effektiviteten av uttrycksomfång och kontrollerbarhet för generering av 2-dimensionell rut-baserad procedurinnehåll. Procedurell innehållsgenerering (PCG) är automatisering av innehåll, ofta i spel, och rut-based PCG är när det genererade innehållet är begränsat till en rutnätsstruktur. Blandinitiativ PCG, som är integrationen av användarkontroll i PCG, har undersökts tidigare för rut-baserad PCG men implementeringarna har begränsats av brist på bredd och användarkontroll över algoritmen. Som ett resultat har uttrycksomfången och kontrollerbarheten av deras algoritm inte varit heltäckande, och i sin tur har begreppen uttrycksfullt omfång och kontrollerbarhet inte granskats noggrant. I syfte att undersöka begreppen uttrycksomfång och kontrollerbarhet görs en implementering av deklarativ modellering, benämnd Mixed-initiative Tile-based Designer (MTD). MTD:n kombinerar uppdrags-och formgrammatikalgoritmen som föreslagits av Dormans och nivågenereringssystemet i Spelunky. Nio uppsättningar ingångsparametrar, scenarier, testas, var och en med 2000 genererade nivåer. För varje scenario undersöks det uttrycksomfånget för dess utdata med hjälp av standardutvärderingsmåtten linjäritet och svårighet. Resultaten indikerade att en analys baserad på uttrycksomfång måste stödjas av ytterligare analyser för att insikterna ska bli mer generella. Speciellt måste uttrycksomfång kompletteras med manuell inspektion, och linjäritet när den tillämpas på tillräckligt komplexa nivåer måste kompletteras med ytterligare utvärderingsmått. Å andra sidan visade sig kontrollerbarhet ha mer betydande begränsningar i sin nuvarande form på grund av normaliseringen av data som går in i uttrycksomfånget. En lösning är istället att visualisera rådata från uttrycksomfånget och använda sig av manuell inspektion. Som en sekundär studie undersöks möjligheten att implementera deklarativ modellering i 2- dimensionell rut-baserad PCG genom att analysera MTD. I synnerhet undersöks MTD:s användargränssnitt, procedurutdata och kontrollerbarhet för att avgöra om deklarativ modellering är genomförbar för 2-dimensionell rut-baserad PCG.

Modeling humans’ speech is a challenging task that originally required a coalition between phoneticians and speech engineers. Yet, the latter, disengaged from phoneticians, have strived for evermore natural speech synthesis in the absence of an awareness of speech modelling due to data- driven and ever-growing deep learning models. By virtue of decades of detachment between phoneticians and speech engineers, this thesis presents a deep learning architecture, alleged Wavebender GAN, that predicts mel- spectrograms that are processed by a vocoder, HiFi-GAN, to synthesize speech. Wavebender GAN pushes for progress in both speech science and technology, allowing phoneticians to manipulate stimuli and test phonological models supported by high-quality synthesized speeches generated through interpretable low-level signal properties. This work sets a new step of cooperation for phoneticians and speech engineers. / Att modellera mänskligt tal är en utmanande uppgift som ursprungligen krävde en samverkan mellan fonetiker och taltekniker. De senare har dock, utan att vara kopplade till fonetikerna, strävat efter en allt mer naturlig talsyntes i avsaknad av en djup medvetenhet om talmodellering på grund av datadrivna och ständigt växande modeller fördjupinlärning. Med anledning av decennier av distansering mellan fonetiker och taltekniker presenteras i denna avhandling en arkitektur för djupinlärning, som påstås vara Wavebender GAN, som förutsäger mel-spektrogram som tas emot av en vocoder, HiFi-GAN, för att syntetisera tal. Wavebender GAN driver på för framsteg inom både tal vetenskap och teknik, vilket gör det möjligt för fonetiker att manipulera stimulus och testa fonologiska modeller som stöds av högkvalitativa syntetiserade tal som genereras genom tolkningsbara signalegenskaper på lågnivå. Detta arbete inleder en ny era av samarbete för fonetiker och taltekniker.