This thesis describes an optimising compiler for translating from SMV to CLP(B). The optimisation is aimed at reducing the number of required variables in order to decrease the size of the resulting BDDs. Also a partitioning of the transition relation is performed. The compiler uses an internal representation of a FSM that is built up from the SMV description. A number of rewrite steps are performed on the problem description such as encoding to a Boolean domain and performing the optimisations.

This paper aims to give an account of, and to discuss the view-points and theories of different researchers on the christianization of Sweden, especially the province of Öland, during the early middle ages. Its purpose is to investigate how, and in what sense, their positions can be said to correspond to what we may know of the historical ?facts?. This will be possible by comparing different points of view with a study of the development in a single parish. An overall difficulty however, is the nature of the sources relating to the time in question, they are scarce or even non-existent.Part I of the paper consists of an outline of the field of research and the different theories put forward on the subject.

Först presenteras metafysisk funktionalism. En Ramseysats för smärta spelar en central roll som en implicit definition av ett mentalt tillstånd över sensorisk input och beteendemässig output. Därefter presenteras reliabilismen som en teori om kunskap. Några allmänna kunskapsteoretiska problem, samt några av reliabilismens problem presenteras. De mest relevanta problem är följande: fallet med en elak demon, klärvoajans samt Mr.

Fält Elektronik AB i Kalix utvecklar och tillverkar bland annat larmsändare för fast uppkopplade larmnät. Fast uppkopplade larmnät används för att åstadkomma övervakad och säker överföring av larm och annan information mellan tekniska system för skydd och säkerhet. Larmöverföringen är ständigt övervakad från larmanläggningen ända fram till larmcentralen. Ett problem som idag finns i larmnät är att om man tappar kontakten med en larmsändare så vet man bara att man tappat kontakten, men inte varför. Därför vill man nu utveckla ett instrument som kan mäta och kontrollera vad som orsakar att uppkopplingen bryts t.ex.

Quadrotor UAVs are self-stabilizing, autonomous flying machines that has recently become more popular than ever. Unmanned Aerial Vehicles have their roots in the military, where they were developed for use in reconnaissance and combat. During the last few years, advances in the fields of electronic sensors, electric motors and microcontrollers have enabled smaller designs and autonomic flight control even for private use. The quadrotor, which is the particular kind of UAV we are looking closer at in this paper, has 4 rotors in an X-like formation. This configuration has many advantages such as good lift capacity, non-complex mechanical structure and serviceability.In this project we aquired a current overview of the domain and determine whether it is possible to construct a quadrotor UAV designed for use in a WISENET sensor network on a low budget and short time schedule.Based on existing community project AeroQuad, a quadrotor is constructed with a budget of about 500 euro.

In this report hardware based alternatives to password authentication in a Windows domain are evaluated for the needs of a certain company. In order to investigate the demands on such alternatives interviews with people concerned have been carried out. The demands which resulted from the interviews have been used to select types of hardware tokens for evaluation. Two products which offer authentication with smart cards and USB tokens have been selected and closer evaluated. These are RSA Passage which offers both hardware options and Rainbow iKey which uses USB tokens.

The objective of the study is to map the cognitive structure of Library and Information Science, using a quantitative, bibliometric method. This empirical study shows how co-citation analysis combined with word-frequency analysis can be used to describe the subject content of the field. The research questions to be answered are: -Which clusters of authors can be identified? -How can these clusters be described in respect of their subject content, if the descriptors associated with the authors in the clusters are counted? The results show that the cognitive structure of Library and Information Science can be described by 13 clusters of authors, where each cluster is representing a specific aspect of the subject- domain. For the description of the subject content of the clusters, descriptors DE of the LISA database have been used..

During the past decade Information Technology (IT) and Information and Communication Technology (ICT) have become the main tools in teaching. Authors and early educators who are treated in the study talks about how technology has come to change the school's approach to teaching and didactic tools. The technology has also affected students´ and teachers´ ways to work because the technology's versatility makes demands on the user's expertise and competence. The technical skills have long been associated as a male domain, where men are expected to master the technology´s versatility. These expectations are not the same for women.

This work aims to evaluate the possibility of using a graphical programming language to develop software for a digital signal processor. A fixed-point digital signal processor called Blackfin BF-537 is used for this. Instead of using conventional programming languages, like C or assembler, for software development the possibilities to use a graphical environment to fill the same purpose are examined. The development environment primarily used is NI LabVIEW, but also the use of Mathworks Matlab Simulink is investigated. A variety of programs consisting of various signal processing operations and utilities are developed using these development environments.

This degree project includes both a theoretic component and a practical component within the graphicprofiling domain. Literature on graphic design has been studied for the theoretical part and the achievedknowledge has been used for the practical part. The project has been to produce graphic materialfor ?Rookiefestivalen? in Hultsfred.In modern society it is important for a corporation to distinguish itself from others by using a graphicprofile. Through using a graphic profile the company can have an affect on how it is perceived byothers.

The Division of Language and Communication at Chalmers uses a web-based language tool, named EngOnline, to teach English grammar. The language tool suffers from some shortcomings. These include stability problems and an outdated interface but, above all, there is no documentation. Because of the lack of documentation and EngOnline?s need of maintenance, the Division of Language and Communication has decided to replace the language tool with a new and well documented one.The new language tool was developed using an agile work process; detailed documentation was replaced with more efficient communication.

Quadrotor UAVs are self-stabilizing, autonomous flying machines that has recently become more popular than ever. Unmanned Aerial Vehicles have their roots in the military, where they were developed for use in reconnaissance and combat. During the last few years, advances in the fields of electronic sensors, electric motors and microcontrollers have enabled smaller designs and autonomic flight control even for private use. The quadrotor, which is the particular kind of UAV we are looking closer at in this paper, has 4 rotors in an X-like formation. This configuration has many advantages such as good lift capacity, non-complex mechanical structure and serviceability.In this project we aquired a current overview of the domain and determine whether it is possible to construct a quadrotor UAV designed for use in a WISENET sensor network on a low budget and short time schedule.Based on existing community project AeroQuad, a quadrotor is constructed with a budget of about 500 euro.

The physical map that has been used until now can in the modern days be replaced with digital maps available in smart phones and tablets. One disadvantage of both is that the digital maps require the user to have a fully functional sight. The problem with the research done so far is that it provides little explanation as to why developers have decided to design the maps in a specific way. This thesis has been designed to address this problem.In order to provide the knowledge needed, a literature study was done to construct interview questions to an employee from SG Access AB. These answers and the literature study were used to construct interview questions to members and employees from Synskadades Riksförbund  (SRF).

In this study I want to survey which plays preschool teachers thinks are accepted in preschool and wish aren?t. I also found it relevant to investigate when and why they choose to interrupt a play and what happens when they do? My interest for the possibility that we might judge by some values was the reason for my question formulations and for the follow-up questions in my interview. For my survey I used semi-structured interviews to get a deeper knowledge about this domain and for the opportunity to ask further supplementary questions.The results show how preschool teachers accept most of the plays and that those plays that aren?t accepted and in need of being disrupted or to be changed mostly are plays where someone could be hurt or violated. It also shows that the preschool teachers think that they should regulate or interrupt children´s plays as little as possible because most of the time interruption turns the plays in a negative direction.My conclusion is that preschool teachers are willing to see children?s intentions but there are also norms and values that regulate what´s accepted or not..

Modelica is a multi-domain and equation-based modeling language. Modelica is based on object-oriented principles and non-causal modeling. The language is constructed to facilitate reuse and decompose models. The models and the modellibrary can modified to design a new nonlinear components.Object-oriented modeling is an excellent way to analyze and study large complex heterogeneous physical systems. The object-oriented modeling approach build on reusing and decomposition of models and non-causal modeling.Modeling physical systems often leads to a DAE system with index 2 or 3.