Search results

In this paper the machinery of Hybrid Logic and the logic of public announcements are merged. In order to bring the two logics together properly the underlying hybrid logic has been changed such that nominals only partially denote states. The hybrid logic contains nominals, satisfaction operators, the downarrow binder as well as the global modality. Following this, an axiom system for the Hybrid P

This paper presents a study of the main advantages of inverted decoupling in 2×2 processes. Two simulation examples and an experimental process are used to show these advantages in comparison with simplified decoupling. The study focuses on the following practical advantages: the apparent process is the same as that obtained if one loop changes to manual; bumpless transfer and anti-windup are achi

Combining position and force control is highly desirable in many robot applications. Many years of extensive research has resulted in a number of promising control approaches, but often too much engineering effort is required in order to evaluate a low level (high performance) control scheme on a real manipulator. The new control system we have obtained has two main advantages: first it provides a

A library of Omola models for modeling and simulation of mechanical multibody systems in three dimensions has been developed. It contains common basic mechanical components such as springs and joints of different kinds. Omola is an object-oriented modeling language and supports flexability. The modularization and inheritance concepts supports easy modification of models. The library contains abstr

Feedback polynomials with low degree multiples of low weight should be avoided in linear feedback shift registers when used in nonlinear combiners. We consider another class of weak feedback polynomials, namely the class when taps are located in small groups. This class was introduced in 2004 demonstrating that the resulting distinguishing attack can sometimes be better than the one using low weig

Håkan Wallander is a professor in Soil Biology and the reader is guided through the fascinating world below ground. The book has a free form and the author mixes scientific facts with personal stories from active research experiences and everyday life. The main focus is to make the reader aware of the vast biodiversity that exists in the soil, and to describe the important processes provided by th

There are great risks of a multitude of injuries due to poor light at construction sites. This leads ultimately to costly counteractions from society. The goal of this project was to put construction workers’ situation in the spotlight by giving construction sites better vision ergonomics through providing enough, even and glare-free light. With the GARO Ball luminaire as benchmark I designed a lu

Purpose of the Study: This study describes a teaching innovation introduced into a retail course assignment. The purpose with the innovation was to increase students’ level of experiential learning by incorporating digital retail and collaborating with stakeholders. Method/Design: A course assignment allows students in the final semester of a Bachelor Program in Retail Management to develop a busi

In this report, hybrid films of carboxymethylated cellulose nanofibrils (CNF) and graphene nanosheets (GNs) have been prepared to evaluate if the GNs can enhance the barrier properties of the CNF films. CNF already possess great barrier properties at low relative humidity (RH) but it is drastically lowered when the RH reaches above 50% due to its strong hydrophilicity of CNF. This report shows tha

Design patterns are abstract descriptions of solutions to often recurring problems. They are a means to communicate experience in design. Over the past years, along with the increase in popularity of object-oriented design patterns, some problems with the use of them have been identified. One of these lies in documenting software systems using design patterns. Experience has shown that both in the

This paper presents a combination of Reference Attributed Grammars (RAGs) and Circular Attribute Grammars (CAGs). While RAGs allow the direct and easy specification of non-locally dependent information, CAGs allow iterative fixed-point computations to be expressed directly using recursive (circular) equations. We demonstrate how the combined formalism, Circular Reference Attributed Grammars (CRAGs

This paper presents a combination of Reference Attributed Grammars (RAGs) and Circular Attribute Grammars (CAGs). While RAGs allow the direct and easy specification of non-locally dependent information, CAGs allow iterative fixed-point computations to be expressed directly using recursive (circular) equations. We demonstrate how the combined formalism, Circular Reference Attributed Grammars (CRAGs

Syftet med detta arbete är att undersöka vad lärare inom musik- och kulturskolevärlden har för syn på improvisation samt vilka mål lärarna förväntar sig att deras elever uppnår genom att improvisera. Min metod till detta har bestått dels av en enkät som jag har skickat ut till musik- och kulturskolor runt om i Sverige dels två intervjuer som jag har haft med lärare inom olika instrument. Dessa lärThe purpose of this work is to investigate how teachers in the public music school community view improvisation and what goals the teachers expect their students to achieve through improvising. The methology of my essay partly consists of a questionnaire that I sent out to the various schools around Sweden and partly of two interviews that I have had with teachers in various instruments. These tea

In common grid installations, services responsible for storing big data chunks, replication of those data and indexing their availability are usually completely decoupled. And a task of synchronizing data is passed to either user-level tools or separate services (like spiders) which are subject to failure and usually cannot perform properly if one of underlying services fails too. The NorduGrid S

During the next years, environmental pressures due to consumption are expected to continue increasing, driven by per capita income increases and resource intensive lifestyles. Although significant income and consumption increases have been experienced, the average level of subjective well being has remained stable over time. This research explores the individual's choice between income and ma