检索结果-内蒙古大学图书馆

1st International Workshop on Advances in Model-Based Testing, A-MOST '05

作者： Robinson-Mallett, Christopher Liggesmeyer, Peter Mücke, Tilo Goltz, Ursula University of Potsdam Hasso-Plattner-Institute Software Engineering Germany University of Kaiserslautern Fraunhofer IESE Germany University of Brunswick Institute for Programming and Reactive Systems Germany

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.

关键词： Model checking

来源：评论

学校读者我要写书评

暂无评论

Service roaming in mobile applications

Service roaming in mobile applications

引用

IEEE International Conference on Services Computing (SCC)

作者： R. Gartmann B. Holtkamp N. Weissenberg G. Li Fraunhofer Institute for Software and Systems Engineering (ISST) Germany Fraunhofer Institute for Software and Systems Engineering (ISST) Institute of Computing Technology (ICT) China

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.

关键词： Context-aware services Roaming Switches Application software Software systems systems engineering and theory Intelligent networks Computers Wireless networks Mobile computing

来源：评论

学校读者我要写书评

暂无评论

Matching system knowledge and user expectations in situation-aware systems

Matching system knowledge and user expectations in situation...

引用

IEEE/ACS International Conference on Pervasive Services (ICPS)

作者： U. Meissen S. Pfennigschmidt A. Voisard T. Wahnfried Fraunhofer Institute of Software and Systems Engineering (ISST) Berlin Germany

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.

关键词： Mobile communication Road transportation Software systems systems engineering and theory Pervasive computing Logistics Context Road accidents Information systems Man machine systems

来源：评论

学校读者我要写书评

暂无评论

Development of an OGC compliant Web service to calculate the dispersion of gaseous substances

Development of an OGC compliant Web service to calculate the...

引用

2nd International ICSC Symposium on Information Technologies in Environmental engineering, ITEE 2005

作者： Krüger, Lars Gómez, Jorge Marx Mewes, Frank Otto von Guericke University Magdeburg Germany Fraunhofer Institute for Factory Operation and Automation IFF Germany Business Information Systems Working Group Germany Department of Process and Plant Engineering Germany

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.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

PowerMate-A Safe and Intuitive Robot Assistant for Handling and Assembly Tasks

PowerMate-A Safe and Intuitive Robot Assistant for Handling ...

引用

IEEE International Conference on Robotics and Automation (ICRA)

作者： R.D. Schraft C. Meyer C. Parlitz E. Helms Department Robot Systems Fraunhofer Institute of Manufacturing Engineering and Automation (IPA) Stuttgart Germany

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.

关键词： Robotic assembly Service robots Humans Safety ISO standards Industrial control Computer architecture Motion control Hardware Software architecture

来源：评论

学校读者我要写书评

暂无评论

Smart food: mobile guidance for food-allergic people

Smart food: mobile guidance for food-allergic people

引用

IEEE International Conference on e-Commerce Technology (CEC)

作者： K. Gassner B. Vollmer M. Prehn M. Fiedler S. Ssmoller Fraunhofer Inst. for Software & Syst. Eng. Germany Fraunhofer Institute for Software and Systems Engineering (ISST)

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.

关键词： Food products Software systems Employee welfare Reliability engineering systems engineering and theory Prototypes Customer profiles Privacy Production Distributed databases

来源：评论

学校读者我要写书评

暂无评论

Operational optimisation: Dynamic heat storage and demand side management strategies

Euroheat and Power (English Edition)

引用

Euroheat and Power (English Edition) 2005年第2期 58-61页

作者： Wigbels, Michael Bøhm, Benny Sipilä, Kari Fraunhofer Institute for Environmental Savety and Energy Technology Umsicht Business Unit Energy Systems Department of Mechanical Engineering Energy Engineering VTT Processes Energy and Environment Energy Economics

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.

关键词： District heating

来源：评论

学校读者我要写书评

暂无评论

Novel regrowth-free vertical active-passive integration scheme with improved fabrication tolerance

Novel regrowth-free vertical active-passive integration sche...

引用

Quantum Electronics and Laser Science Conference (QELS)

作者： C.W. Tee K.A. Williams R.V. Penty I.H. White U. Troppenz M. Hamacher H. Heidrich Engineering Department Center for Photonic Systems University of Cambridge Cambridge UK Fraunhofer Institute for Telecommuniations Heinrich-Hertz-Institut Berlin Germany

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

关键词： Optical waveguides Optical device fabrication Coupling circuits High speed optical techniques Integrated optoelectronics Wafer bonding Computer architecture Waveguide theory systems engineering and theory Buildings

来源：评论

学校读者我要写书评

暂无评论

Manipulating biological cells with a micro-robot cluster

Manipulating biological cells with a micro-robot cluster

引用

2005 IEEE/RSJ International Conference on Intelligent Robots and systems

作者： F. Tagliareni M. Nierlich O. Steinmetz T. Velten J. Brufau J. Lopez-Sanchez M. Puig-Vidal J. Samitier IBMT-Fraunhofer Institute for Biomedical Engineering Saint Ingbert Germany SIC-Instrumentation and Communication Systems Lab Universitat de Barcelona Barcelona Spain

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.

关键词： Biological cells Biological materials DNA Liquids Biomedical optical imaging Integrated optics Optical devices Microfluidics Optical fiber communication Robotics and automation

来源：评论

学校读者我要写书评

暂无评论

A Digital Control Circuit for a Biomedical Microrobot

A Digital Control Circuit for a Biomedical Microrobot

引用

IEEE International Workshop on Intelligent Data Acquisition and Advanced Computing systems: Technology and Applications

作者： R. Casanova A. Dieguez J. Lacort A. Arbat J. Samitier M. Nierlich O. Steinmetz Instrumentation and Communication Systems (SIC) Department of Electronics University Autònoma de Barcelona Barcelona Spain Fraunhofer Institute for Biomedical Engineering IBMT Germany

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.

关键词： Digital control Circuits Atomic force microscopy Communication system control Nanobioscience Instruments Grippers Piezoelectric effect Piezoelectric materials Robots

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：