Polismyndigheten har i uppdrag av regeringen att med sitt kompetensförsörjande arbete öka sin tillväxt med 10 000 fler anställda till utgången av 2024. Mot bakgrund av kompetensförsörjningens styrande roll i en organisation syftar uppsatsen till att undersöka hur de olika styrformer som präglat offentlig sektor över tid har präglat Polismyndighetens kompetensförsörjande arbete. I uppsatsen tillämpas institutionell logik som analytisk lins, vilket innebär en analytisk inramning för att kunna studera de ömsesidiga relationerna mellan institutioner, individer och organisationer i sociala system. För detta ändamål används en byråkratisk logik, en managementlogik och en tillitslogik för att närmare undersöka de bärande principerna för att styra och organisera Polismyndighetens kompetensförsörjande arbete. Det teoretiska ramverket bygger på olika kännetecken utmärkande för de styrningsreformer som präglat offentlig förvaltning över tid. Med kvalitativ textanalys som metodologisk utgångspunkt har Polismyndighetens styrande regler, rutiner och beslut med relevans för det kompetensförsörjande arbetet bearbetats och tolkats. Resultatet tyder på att Polismyndighetens kompetensförsörjande arbete bär spår av de tre logikerna, med den byråkratiska logiken och managementlogiken tydligast framträdande. Observationer av tillitslogiken kunde enbart skönjas fragmentariskt, ett faktum som innebar utmaningar i tolkningen av logikens särskilda egenskaper för att styra och organisera. Uppsatsen presenterar därutöver ett resonemang kring logikernas samtidiga existens i modellen för kompetensförsörjning och vad detta kan innebära för Polismyndighetens mål om en ökad tillväxt.

In contrast to qualitative linear temporal logics, which can be used to state that some property will eventually be satisfied, metric temporal logics allow to formulate constraints on how long it may take until the property is satisfied. While most of the work on combining Description Logics (DLs) with temporal logics has concentrated on qualitative temporal logics, there has recently been a growing interest in extending this work to the quantitative case. In this paper, we complement existing results on the combination of DLs with metric temporal logics over the natural numbers by introducing interval-rigid names. This allows to state that elements in the extension of certain names stay in this extension for at least some specified amount of time.

Denna rapport omfattar ett 15 poängs (22,5 högskolepoäng) examensarbete vid Karlstads universitet. Arbetet har utförts på plats hos BAE Systems Bofors i Karlskoga. Företaget ville kunna styra en radiostyrd leksaksstridsvagn med en laserpekare. En kamera ansluten till en digital signalprocessor (DSP) skulle kunna detektera var en laserpunkt befinner sig och styra stridsvagnen mot den. Ett styrgränssnitt mellan DSP:n och leksaksstridsvagnen konstruerades och byggdes med hjälp av en programmerbar logisk krets. Leksaksstridsvagnens interna signalsystem analyserades. En manchesterkodad signal i form av ett 32-bitars seriellt kodord hittades, vilket ursprungligen kom från radiostyrningen. Ett styrgränssnitt konstruerades kring en CPLD (Complex Programmable Logic Device) vilken programmerades med VHDL (Very high speed integrated Hardware Description Language) som återskapar den Manchesterkodade styrsignalen. Gränssnittet ansluter till DSP:n som kontrollerar stridsvagnens styrning och övriga funktioner till fullo. Kommunikationen mellan styrgränssnittet och DSP:n sker via ett parallellgränssnitt som är 16-bitar brett. 13 bitar är datasignaler och övriga tre är ”styrbitar” som konfigurerar gränssnittet. En applikation integrerades i projektet för att demonstrera styrgränssnittets funktion. DSP:n tolkar var en laserpunkt befinner sig inom ett kameraområde och skickar motsvarande styrsignaler till leksaksstridsvagnen. / This report consists of a 15 points (22.5 ECTS) Exam Degree project at Karlstad University. The work was done on location at BAE Systems Bofors AB in Karlskoga. The company wanted to control a radio controlled toy tank from a digital signal processor (DSP). A camera connected to the DSP locates the laser point and steers the toy tank towards it. An interface using a programmable logic device was constructed that connects the DSP to the toy tank. The internal signals in the toy tank was analyzed and a Manchester coded signal in form of a 32-bit serial code word was detected. The code word originated from the radio controller. The control interface was built around a CPLD (Complex Programmable Logic Device) which was programmed in VHDL (Very high speed integrated Hardware Description Language). The control interface recreates the signal controlling the toy tank. The interface connects the toy tank to the DSP which controls the toy tank and it’s functions to the full extent. Communication between the interface and the DSP is done via a 16 bit parallel connection. 13 of the bits are data bits and the remaining 3 are control bits that are used to set up the interface. An application was integrated in the project where the DSP is detecting a laser point. Corresponding signals to the laser points position where sent to the control interface to demonstrate the function of the interface.

Inspired by the idea of vision zero, there is a lot of work that needs to be done in the field of advance driver assistance systems to develop more safer systems. Driver intention detection with a prediction of upcoming behavior of the driver is one possible solution to reduce the fatalities in road traffic. Driver intention detection provides an early warning of the driver's behavior to an Advanced Driver Assistance Systems (ADAS) and at the same time reduces the risk of non-essential warnings. This will significantly reduce the problem of warning dilemma and the system will become more safer. A driving maneuver prediction can be regarded as an implementation of driver's behavior. So the aim of this thesis is to determine the driver's intention by early prediction of a driving maneuver using Controller Area Network (CAN) bus data. The focus of this thesis is to optimize and further develop an algorithm for driver intention detection with fuzzy logic and edit distance method. At first the basics concerning driver's intention detection are described as there exists different ways to determine it. This work basically uses CAN bus data to determine a driver's intention. The algorithm overview with the design parameters are described next to have an idea about the functioning of the algorithm. Then different implementation tasks are explained for optimization and further development of the algorithm. The main aim to execute these implementation tasks is to improve the overall performance of the algorithm concerning True Positive Rate (TPR), False Positive Rate (FPR) and earliness values. At the end, the results are validated to check the algorithm performance with different possibilities and a test drive is performed to evaluate the real time capability of the algorithm. Lastly the use of driver intention detection algorithm for an ADAS to make it more safer is described in details. The early warning information can be feed to an ADAS, for example, an automatic collision avoidance or a lane change assistance ADAS to further improve safety for these systems.

<p>The thesis consists of three independent parts.</p><p>Part I: Polynomial amoebas</p><p>We study the amoeba of a polynomial, as de ned by Gelfand, Kapranov and Zelevinsky. A central role in the treatment is played by a certain convex function which is linear in each complement component of the amoeba, which we call the Ronkin function. This function is used in two di erent ways. First, we use it to construct a polyhedral complex, which we call a spine, approximating the amoeba. Second, the Monge-Ampere measure of the Ronkin function has interesting properties which we explore. This measure can be used to derive an upper bound on the area of an amoeba in two dimensions. We also obtain results on the number of complement components of an amoeba, and consider possible extensions of the theory to varieties of codimension higher than 1.</p><p>Part II: Differential equations in the complex plane</p><p>We consider polynomials in one complex variable arising as eigenfunctions of certain differential operators, and obtain results on the distribution of their zeros. We show that in the limit when the degree of the polynomial approaches innity, its zeros are distributed according to a certain probability measure. This measure has its support on the union of nitely many curve segments, and can be characterized by a simple condition on its Cauchy transform.</p><p>Part III: Radon transforms and tomography</p><p>This part is concerned with different weighted Radon transforms in two dimensions, in particular the problem of inverting such transforms. We obtain stability results of this inverse problem for rather general classes of weights, including weights of attenuation type with data acquisition limited to a 180 degrees range of angles. We also derive an inversion formula for the exponential Radon transform, with the same restriction on the angle.</p>

Der Aufsatz argumentiert, dass der entscheidende Punkt an Ortholph Fuchspergers "Dialectica deutsch" der Nachweis ist, dass es möglich ist, in deutscher Sprache zu argumentieren. Dies richtet sich gegen die alleinige Verwendung der lateinischen Sprache als wissenschaftlicher Sprache. Fuchsperger zieht damit eine Konsequenz aus der humanistischen Umbestimmung des ars-Begriffes als einer deskriptiven und nicht normativen Verfahrensweise.

Modern teori kring marknadsföring har skiftat fokus från en varudominerande logik gentemot en tjänstedominerande där värdeskapande, och mer specifikt samskapandet av värde mellan producent och konsument är centrala byggstenar. Tidigare studier har presenterat praktiker som användare i varumärkescommunities använder för att skapa värde, ofta på fanbaserade communities där användarna är beundrare av ett specifikt varumärke. Denna uppsats syftar till att utröna hur värdeskapandet för konsumenten skapas på de internetbaserade communities där både konsument och producent närvarar, och avviker därför ifrån rent fanbaserade och konsumentstyrda communities. Uppsatsens resultat härstammar ifrån en empirisk undersökning som delvis består av observation utav hundratals foruminlägg postade på The Spotify Community, ett community drivet av Spotify, det digitalt streamande musikföretaget. Utöver det har två frekventa användare av forumet intervjuats för att erhålla personliga åsikter kring communityt och värdeskapandet. Det empiriska resultatet mynnar ut i att det generellt visade sig att konsumenter anser sig delaktiga i värdeskapandet, och företagets närvaro genererar en trygghet hos konsumenterna att få svar på önskemål, problem och dylikt. Vidare resulterade empirin i att de värdeskapande praktiker som undersökts utvecklar en något annorlunda fysiologi när företaget är en aktör i communityt.

The classic theorems of Büchi and Kleene state the expressive equivalence of finite automata to monadic second order logic and regular expressions, respectively. These fundamental results enjoy applications in nearly every field of theoretical computer science. Around the same time as Büchi and Kleene, Rabin investigated probabilistic finite automata. This equally well established model has applications ranging from natural language processing to probabilistic model checking. Here, we give probabilistic extensions Büchi\\\'s theorem and Kleene\\\'s theorem to the probabilistic setting. We obtain a probabilistic MSO logic by adding an expected second order quantifier. In the scope of this quantifier, membership is determined by a Bernoulli process. This approach turns out to be universal and is applicable for finite and infinite words as well as for finite trees. In order to prove the expressive equivalence of this probabilistic MSO logic to probabilistic automata, we show a Nivat-theorem, which decomposes a recognisable function into a regular language, homomorphisms, and a probability measure. For regular expressions, we build upon existing work to obtain probabilistic regular expressions on finite and infinite words. We show the expressive equivalence between these expressions and probabilistic Muller-automata. To handle Muller-acceptance conditions, we give a new construction from probabilistic regular expressions to Muller-automata. Concerning finite trees, we define probabilistic regular tree expressions using a new iteration operator, called infinity-iteration. Again, we show that these expressions are expressively equivalent to probabilistic tree automata. On a second track of our research we investigate Constraint LTL over multidimensional data words with data values from the infinite tree. Such LTL formulas are evaluated over infinite words, where every position possesses several data values from the infinite tree. Within Constraint LTL on can compare these values from different positions. We show that the model checking problem for this logic is PSPACE-complete via investigating the emptiness problem of Constraint Büchi automata.

Sverige har sedan 90-talet arbetat med att se digitaliseringens möjligheter och styra samhället med dem som ledstjärna. I övergången till e-tjänstbaserade lösningar har dock inte alla samhällsgruppers behov tagits i åtanke, och utbildningen av befolkningen har varit något ojämn. Som en konsekvens har vissa hamnat i ett så kallat digitalt utanförskap, där vardagssysslor och informationstillgång inte tillgodoses eller försvåras när de analoga alternativen försvinner. Vissa vänder sig då till biblioteken för hjälp och stöd. Baserat på intervjuer och litteraturgenomgång gör vi en analys av de institutionella logiker som styr hur biblioteken har arbetat med digitaliseringen. Då folkbibliotekens uppdrag innefattar att se till sina besökares behov har de kompensatoriskt arbetat med att åtgärda avsaknaden av tillgänglighet och utbildning från andra myndigheter och verksamheter. Detta utökade uppdrag har under en lång tid gått obemärkt av de statliga och kommunala organ som finansierar dem. Det börjar dock förändras, genom att offentliga bibliotek via regeringsbeslut har tillägnats medel att användas för fortbildning av bibliotekarier inom digital kompetens. Bibliotekens arbete med digitala frågor har uppmärksammats under 2010-talet, men trots det ökade stödet finns det ett tydligt fortsatt behov av ett digitalt kompetenslyft och allmän IT-support.

Velleman beweist die Konsistenz der Existenz vereinfachte Gap 2 Moraste (ein Begriff gleichwertig zu den ursprünglichen Morasten, geschafft von Jensen). Wir haben einen noch einfachen Begriff des vereinfachten Morastes in der Dissertation vorgeschlagen, Details aufgefüllt und wesentlich auch einen verschiedenen Beweis des Satzes erfunden und zwar in beide Stufe des Forcingverfahrens. Wir benötigen auch keine Squarefunktionereihenfolge (die ganz Kohärenzvoraussetzung fehlt aber ist linear und konfinal) sondern ein ``erratendes'' Verfahren für Sequenze, das nicht fest ist und nicht die ganze Kohärenzbedigung erfüllt wie bei Velleman. Wir hoffen, wir haben so eingelegt die Basis für einen zukunftigen Beweis des allgemeines Falls n in ZFC. / Velleman proved the consistency of the existence of simplified gap 2 morasses (equivalent to the concrete morasses defined by Jensen) using a two stage forcing. We give an essentially different proof of the same result and fill up some details from Velleman's paper which were not clear or imcomplete. In fact the proof uses a simpler definition of simplified gap 2 morasses. We have also eliminated the use of square-like sequences in the second stage, employing a ``guessing'' procedure for sequences which are not fixed and do not satisfy full coherence requirement. With these steps we hope to have laid the foundation for a future proof of gap n morasses in ZFC.