Sökresultat

With computers embedded almost everywhere, in domestic, industrial, and medical appliances and devices, computing is becoming increasingly pervasive. Services in pervasive systems can be combined and coordinated through user-defined scripts called assemblies, a light-weight and understandable way for end users to adapt services to fit their specific needs. Previous languages for assembly scripts

This paper presents the findings from a design study of a model-based framework for safety-critical software development, called SimPal. The objective of the study was to better understand the necessary properties of such a framework and to learn more about the challenges of realizing it. Our research approach can be labeled as design research, which means that we try to answer our research questi

Carotid endarterectomy (CEA) is a standardized surgical procedure and is the third most common vascular surgical procedure in Sweden. To improve the quality of pre- and postoperative care for patients undergoing elective CEA, a standardized care plan (SCP) was developed and implemented during Spring of 2007 at a vascular clinic in Sweden. In order to spread light on obstacles and possibilities in

Different suggestions for the mechanism governing the narrow stability of the L(3) (sponge) phase have led to a series of debates in recent years. There have been several models developed to describe such a mechanism via thermodynamics. To date, experimental data are insufficient to test present theories. In this study, we revisit the sponge phase with two series of thermodynamic data performed on

Optimization of aerodynamic shapes using computational fluid dynamics (CFD) approaches has been successfully demonstrated over a number of years; however, the typical optimization approaches employed utilize gradient algorithms that guarantee only the local optimality of the solution. While numerous global optimization techniques exist, they are usually too time consuming in practice. In this brie

Using tritium and helium-3 data for calibration, a 2-D transport model was set up to explain the occurrence of bentazone, dichlorprop, glyphosate, isoproturon, MCPA and metamitron in a small groundwater catchment in southern Sweden. The model was parameterised with site-specific degradation and sorption data to enable transport simulations. Local climatological data and a 21-year record of agricul

Hidden Markov models are applied in many expert and intelligent systems to detect an underlying sequence of persistent states. When the model is misspecified or misestimated, however, it often leads to unrealistically rapid switching dynamics. To address this issue, we propose a novel estimation approach based on clustering temporal features while penalizing jumps. We compare the approach to spect

Event-based sampling has been proposed as a general technique for lowering the average communication rate, energy consumption and computational burden in remote state estimation. However, the design of the event trigger is critical for good performance. In this paper, we study the combination of innovation-based triggering and state estimation of nonlinear dynamical systems using the particle filt

Most flying animals rely primarily on visual cues to coordinate and control their trajectory when landing. Studies of visually guided landing typically involve animals that decrease their speed before touchdown. Here, we investigate the control strategy of the stingless bee Scaptotrigona depilis, which instead accelerates when landing on its narrow hive entrance. By presenting artificial targets t

The current status of and motivation for the 4MOST survey strategy, as developed by the Consortium science team, are presented here. Key elements of the strategy are described, such as sky coverage, number of visits and total exposure times in different parts of the sky, and how to deal with different observing conditions. The task of organising the strategy is not simple, with many different surv