This paper presents an approach for the automatic generation of shortest Distinguishing Sequences (DS) with the Uppaal model checker. The presented method is applicable to a large number of extended finite state machi...
详细信息
ISBN:
(纸本)1595931155
This paper presents an approach for the automatic generation of shortest Distinguishing Sequences (DS) with the Uppaal model checker. The presented method is applicable to a large number of extended finite state machines and it will find an optimal result, if a DS sequence exists for the considered automaton. Our approach is situated in an integrated testing environment that is used to generate checking sequences. The generation method is based on a DS model, which is derived from the same test model that is used for generating test cover sets. The problem of generating DS is reduced to the definition of a DS model and for this reason the complexity of our approach depends mainly on the used model checking algorithm. This means, that the presented method is automatically improved, when the model checking algorithm is improved. This includes the generation of optimal DS depending on the ability of the model checker to produce optimal results. Copyright 2005 ACM.
The evolution of wireless network technology has led to an increasing number of applications for mobile use. In addition, the paradigm of service-oriented architectures allows a composition of applications based on di...
详细信息
The evolution of wireless network technology has led to an increasing number of applications for mobile use. In addition, the paradigm of service-oriented architectures allows a composition of applications based on distributed web services. By using registries it becomes possible to choose the appropriate services at runtime. It needs to be considered that services for mobile use may have different scopes. For instance, routing or weather services may be dedicated to a specific region so that they may be useless if a user's area of interest does not match the service's scope. It is hence necessary to identify and use those services with a scope that corresponds to the relevant context such as a user's location. Moreover, if the context changes, it is desirable to automatically switch between different equivalent service instances to provide a user with a continuous connection to a desired service. We denote this mechanism as service roaming. This paper presents the major concepts needed for service roaming as well as a roaming model based on n-dimensional context spaces.
Demand-orientation is of crucial importance in mobile and pervasive information services in order to ensure the delivery of the right information at the right time and at the right place. Increasing attention has been...
详细信息
Demand-orientation is of crucial importance in mobile and pervasive information services in order to ensure the delivery of the right information at the right time and at the right place. Increasing attention has been devoted to the notion of personalized services that take the situation of the user into account. The trade-off is to ensure appropriate information supply while preventing information overload. Comparing situations predicted by the system with the expectations of a user yields information about "so-far-unexpected" changes the user should be informed about. This paper describes an approach to support situation-awareness and introduces an underlying model that additionally handles information from various sources. Our approach is illustrated in a driving assistance application.
This paper presents a Web Service, which calculates dispersion as part of verification of OGC compliance. This is an extremely important topic since this can considerably increase the possibility of integration in dis...
详细信息
ISBN:
(纸本)3832243623
This paper presents a Web Service, which calculates dispersion as part of verification of OGC compliance. This is an extremely important topic since this can considerably increase the possibility of integration in distributed GIS, for example, by creating a standardized communications interface. After briefly presenting dispersion models, chiefly for application in emergency management, this paper presents the implemented Web Service and potential extensions to raise the quality of ad hoc-evaluation of sources of emissions. In the process, the required input data, the resulting output data and thus the structure of the interface are examined.
In this contribution a robot assistant for handling and assembly tasks is presented. The main emphasis of PowerMate was to create a robot assistant that works together with a human worker that is conform to safety cat...
详细信息
In this contribution a robot assistant for handling and assembly tasks is presented. The main emphasis of PowerMate was to create a robot assistant that works together with a human worker that is conform to safety category 3 according to DIN ISO 954 and to use components suitable for industrial use, which leads to certain constrains on the possible control mechanisms. An overview of existing concepts of man-machine-cooperation is given. Different architectures for these kinds of robot assistants are discussed. A user-customizable motion control for PowerMate is presented. A description of the force-movement-calculations, the hardware and software architecture and the safety system of the robot assistant is given.
Food-allergic people need comprehensible, complete, reliable, and personalized information about food products. Today, such integrated information is not available mainly because of different interests of the stakehol...
详细信息
Food-allergic people need comprehensible, complete, reliable, and personalized information about food products. Today, such integrated information is not available mainly because of different interests of the stakeholders in the food value chain. Within this paper we introduce an approach to providing mobile assistance for product-specific on-site advice in a supermarket. A revenue-model is discussed and finally a prototype is introduced.
The benefits of using dynamic heat storage and demand side management strategies are discussed. While dynamic heat storage (DHS) is a strategy regarding the energy supply and distribution, demand side management (DSM)...
详细信息
The benefits of using dynamic heat storage and demand side management strategies are discussed. While dynamic heat storage (DHS) is a strategy regarding the energy supply and distribution, demand side management (DSM) is a promising technique to increase the efficiency of energy supply systems focussing on energy peaks coming from the demand side. DHS, for district heating systems with electricity production (CHP), can increase the possibility for electricity production, resulting in economic savings of up to 2% per day. The optimization is carried out using the optimization toolbox of Matlab 6.5. The objective function of the optimization model are operational costs.
We present a novel vertically-coupled active-passive integration architecture that provides an order of magnitude reduction in coupling coefficient variation between misaligned waveguides when compared with a conventi...
详细信息
ISBN:
(纸本)1557527962
We present a novel vertically-coupled active-passive integration architecture that provides an order of magnitude reduction in coupling coefficient variation between misaligned waveguides when compared with a conventional vertically-coupled structure.
Micromanipulation is an appreciated and powerful method to modify biological material. By injecting DNA or specific liquids into a biological cell, designated reactions or behaviors can be provoked. The aim of this pa...
详细信息
Micromanipulation is an appreciated and powerful method to modify biological material. By injecting DNA or specific liquids into a biological cell, designated reactions or behaviors can be provoked. The aim of this paper is to describe three components of a fully automated opticonsisting of a micro-robot cluster with an integrated micro-fluidic SyringeChip. The electronic system, microfluidic Syringe-Chip, and infrared communication are the components that have been built and are ready for integration into a MiCRoN robot. The concept of a biological cell manipulation with the aid of the integrated sub-systems is being presented here. The first injection experiment is done after completion of the MiCRoN robot-cluster.
A specific integrated controller for a wireless and autonomous microrobot of 1 cm 3 is presented. The microrobot is equipped with an atomic force microscopy (AFM) probe, a syringe or a gripper to develop cooperative ...
详细信息
A specific integrated controller for a wireless and autonomous microrobot of 1 cm 3 is presented. The microrobot is equipped with an atomic force microscopy (AFM) probe, a syringe or a gripper to develop cooperative tasks in biological experiences. Its main functionality and the controller design is focused on nanomicroscopy and cellular manipulation. The circuit manages the microrobot locomotion unit and its tools with nanometric resolution.
暂无评论