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

IEEE Symposium on Network Operations and Management

作者： Jan Schaefer Design Computer Science Media Department Distributed Systems Lab

Future personal living environments feature an increasing number of convenience-, health- and security-related applications provided by distributed services, which do not only support users but require tasks such as installation, configuration and continuous administration. These tasks are becoming tiresome, complex and error-prone. One way to escape this situation is to enable service platforms to configure and manage themselves. The approach presented here extends services with semantic descriptions to enable platform-independent autonomous service level management using model driven architecture and autonomic computing concepts. It has been implemented as a OSGi-based semantic autonomic manager, whose concept, prototypical implementation and evaluation are presented.

关键词： Quality of service Semantics Ontologies Monitoring Grounding Computational modeling Knowledge based systems

来源：评论

学校读者我要写书评

暂无评论

A multimedia help system for a medical scenario in a rehabilitation clinic 14

A multimedia help system for a medical scenario in a rehabil...

引用

14th International Conference on Knowledge Technologies and Data-Driven Business, i-KNOW 2014

作者： Meixner, Britta Tonndorf, Katrin John, Stefan Handschigl, Christian Hofmann, Kai Granitzer, Michael Department of Distributed Information Systems University of Passau Germany Department of Computer Mediated Communication University of Passau Germany Department for Media Computer Science University of Passau Germany IT Law and Legal Informatics Department Public Law University of Passau Germany

ISBN: (纸本)9781450327695

In this paper we outline instructional, legal, and software requirements as well as a prototypical software implementation for a multimedia help system in a rehabilitation scenario. The help system will be used by patients in a rehabilitation clinic to support their pelvic oor exercises. After describing the use case we will outline the requirements for the scenario and show how our software was extended to meet the requirements. We present the key features of each component of the SIVA Suite: The authoring tool, the redesigned HTML5 player, and the server application. Thereby, important new features are described and illustrated. Design decisions are presented and explained. © Copyright 2014 ACM.

关键词： Patient rehabilitation

来源：评论

学校读者我要写书评

暂无评论

EAVS: Energy Aware Virtual Sensing for Wireless Sensor Networks

EAVS: Energy Aware Virtual Sensing for Wireless Sensor Netwo...

引用

International Conference on Intelligent Sensors, Sensor Networks and Information Processing

作者： Mohamed Abdelaal Yang Gao Martin Fraenzle Oliver Theel System Software and Distributed Systems Department of Computer Science Hybrid Systems Carl von Ossietzky University of Oldenburg

ISBN: (纸本)9781479928446

In order to extend the operational span of wireless sensor networks, we propose to trade energy consumption for average response time by extending the deactivation periods of sensors with a particularly high energy consumption. To compensate for the temporal inavailability of these sensors, alternative, low-power hybrid sensors generate estimates on the probabilities of the occurrence of interesting events, waking up the corresponding main sensor when detection probability justifies it. We demonstrate the principle on a case study of gas detection and analyze its efficiency formally using probabilistic model checking, which is able to compute probabilistic quantified properties pertaining to energy consumption, lifetime expectancy, and response time. The preliminary results confirm significant savings in energy consumption while retaining an acceptable average response time.

关键词： Wireless Sensor Networks Energy Efficiency Virtual Sensing Gas Leak Detection Fuzzy Logic Probabilistic Model Checking

来源：评论

学校读者我要写书评

暂无评论

Density estimation with adaptive sparse grids for large data sets 14

Density estimation with adaptive sparse grids for large data...

引用

14th SIAM International Conference on Data Mining, SDM 2014

作者： Peherstorfer, Benjamin Pflüger, Dirk Bungartz, Hans-Joachim Aerospace Computational Design Laboratory AeroAstro Massachusetts Institute of Technology United States Simulation of Large Systems Group Institute for Parallel and Distributed Systems University of Stuttgart Germany Scientific Computing Group Department of Computer Science Technische Universität München Germany

ISBN: (纸本)9781510811515

Nonparametric density estimation is a fundamental problem of statistics and data mining. Even though kernel density estimation is the most widely used method, its performance highly depends on the choice of the kernel bandwidth, and it can become computationally expensive for large data sets. WTe present an adaptive sparse-grid-based density estimation method which discretizes the estimated density function on basis functions centered at grid points rather than on kernels centered at the data points. Thus, the costs of evaluating the estimated density function are independent from the number of data points. We give details on how to estimate density functions on sparse grids and develop a cross validation technique for the parameter selection. We show numerical results to confirm that our sparse-grid-based method is well-suited for large data sets, and, finally, employ our method for the classification of astronomical objects to demonstrate that it is competitive to current kernel-based density estimation approaches with respect to classification accuracy and runtime. Copyright © SIAM.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

A Method for Semi-automated Generation of Test Scenarios Based on Use Cases

A Method for Semi-automated Generation of Test Scenarios Bas...

引用

Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

作者： Richard Lipka Tomá Potuák Premek Brada Petr Hnetynka Jirí Vinárek NTIS-New Technologies for Information Society University of West Bohemia Plzen Czech Republic Dept. of Comput. Sci. & Eng. Univ. of West Bohema Plzen Czech Republic Departement of Computer Science and Engineering University of West Bohema Plzen Czech Republic Department of Distributed and Dependable Systems Charles Univerity in Prague Faculty of Mathematics and Physics

Use cases are a widely accepted way to define application functionality. They can therefore form a solid basis for testing the correct functionality and quality of service of a developed application. In this paper, we describe a method for semi-automated generation of test scenarios for simulation testing of software components and component-based applications. It derives the scenarios from the use cases written in natural language, enriched with annotations that allow us to connect the specification with the source code of the application. This helps us to generate a sequence of method invocations within the tested application that forms a testing scenario. The achieved benefit is that the utilization of use cases not only helps to keep tests directly related to the original requirements of the application, it also makes it possible to easily generate new test cases when the requirements on the application change.

关键词： Software Automata Model checking Quality of service Natural languages Transforms

来源：评论

学校读者我要写书评

暂无评论

Urysohn measure driven integral equations in the space of bounded variation functions and applications

引用

AIP Conference Proceedings 2016年第1期1773卷

作者： G. Dimitriu B. Satco 1Department of Mathematics and Informatics Grigore T. Popa University of Medicine and Pharmacy Universităţii 16 Iaşi 700115 Romania 2Faculty of Electrical Engineering and Computer Science Ştefan cel Mare University of Suceava Universităţii 13 Suceava 720229 Romania 3Integrated Center for Research Development and Innovation in Advanced Materials Nanotechnologies and Distributed Systems for Fabrication and Control (MANSiD) Ştefan cel Mare University Suceava Romania

Motivated by the fact that bounded variation (often discontinuous) functions frequently appear when studying integral equations that describe physical phenomena, we focus on the existence of bounded variation solutions for Urysohn integral measure driven equations. Due to numerous applications of Urysohn integral equations in various domains, problems of this kind have been extensively studied in literature, under more restrictive assumptions. Our approach concerns the framework of Kurzweil-Stieltjes integration, which allows the occurrence of high oscillatory features on the right hand side of the equation. A discussion about interesting consequences of our main result (given by particular cases of the measure driving the equation) is presented. Finally, we show the generality of our results by investigating two examples of impulsive type problems (from both theoretical and numerical perspective) and giving an application in electronics industry concerning polarization properties of ferroelectric materials.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Dynamic Multi-Agent Reinforcement Learning for Control Optimization

Dynamic Multi-Agent Reinforcement Learning for Control Optim...

引用

International Conference on Intelligent systems, Modelling and Simulation

作者： Derek Fagan Rene Meier Distributed Systems Group School of Computer Science and Statistics Trinity College Dublin Mobile Systems Group Department of Computer Science Lucerne University of Applied Sciences

ISBN: (纸本)9781479938599

In this paper we analyze the use of Reinforcement Learning (RL) in control optimization within dynamic multi-agent systems. RL is an effective algorithm for single agent optimization but performs less well in dynamic multi-agent environments. We investigate this principle based upon three of the most common RL algorithms. We also introduce a novel RL algorithm that excels in both single agent optimization and adaptation within multi-agent environments. This algorithm takes into account not only its own current state but also the current states of each of its significant neighbor agents so as to significantly increase performance within multi-agent systems. It employs a model driven approach to facilitate effective adaptation as well as policy-based methods to enable efficient action selection.

关键词： Multi-Agent Reinforcement Learning Control Optimization Multi-Agent systems

来源：评论

学校读者我要写书评

暂无评论

Measuring and Controlling Unfairness in Decentralized Planning of Energy Demand

Measuring and Controlling Unfairness in Decentralized Planni...

引用

IEEE International Energy Conference

作者： Evangelos Pournaras Matteo Vasirani Robert E. Kooij Karl Aberer Department of Computer Science and Engineering Delft University of Technology Distributed Information Systems Laboratory EPFL

ISBN: (纸本)9781479924509

Demand-side energy management improves robustness and efficiency in Smart Grids. Load-adjustment and load-shifting are performed to match demand to available supply. These operations come at a discomfort cost for consumers as their lifestyle is influenced when they adjust or shift in time their demand. Performance of demand-side energy management mainly concerns how robustness is maximized or discomfort is minimized. However, measuring and controlling the distribution of discomfort as perceived between different consumers provides an enriched notion of fairness in demand-side energy management that is missing in current approaches. This paper defines unfairness in demand-side energy management and shows how unfairness is measurable and controllable by software agents that plan energy demand in a decentralized fashion. Experimental evaluation using real demand and survey data from two operational Smart Grid projects confirms these findings.

关键词： Unfairness Fairness Agent Planning Demand Smart Grid Load-adjustment Load-shifting

来源：评论

学校读者我要写书评

暂无评论

Coupling algorithms for partitioned multi-physics simulations 44

Coupling algorithms for partitioned multi-physics simulation...

引用

44. Jahrestagung der Gesellschaft fur Informatik INFORMATIK 2014 - Big Data - Komplexitat meistern - Big Data - Mastering Complexity: 44th Annual Meeting of the Society for computer science, INFORMATICS 2014

作者： Uekermann, Benjamin Gatzhammer, Bernhard Mehl, Miriam Department of Computer Science Technische Universität München Boltzmannstraße 3 Garching85748 Germany Institute for Parallel and Distributed Systems Universität Stuttgart Universitätsstraße 38 Stuttgart70569 Germany

ISBN: (纸本)9783885796268

Partitioned coupling approaches are an important tool in order to achieve a decent time-to-solution for multi-physics problems with more than two physical fields or changing combinations of fields. We study different approaches to deduce coupling schemes for partitioned multi-physics scenarios, by means of a simple, but yet challenging fluid-structure-fluid model problem. To our knowledge, this is the first time that a fully implicit black-box coupling scheme for partitioned multi-physics scenarios is described. This allows the simulation of a new range of applications in a partitioned way.

关键词： Fluid structure interaction

来源：评论

学校读者我要写书评

暂无评论

Computational Offloading or Data Binding? Bridging the Cloud Infrastructure to the Proximity of the Mobile User

Computational Offloading or Data Binding? Bridging the Cloud...

引用

IEEE International Conference on Mobile Cloud Computing, Services, and Engineering

作者： Huber Flores Satish Narayana Srirama Rajkumar Buyya University of Tartu Institute of Computer Science Mobile Cloud Lab University of Melbourne Department of Computing and Information Systems Cloud Computing and Distributed Systems Laboratory (CLOUDS)

ISBN: (纸本)9781479944248

Mobile and cloud computing are converging as the prominent technologies that are leading the change to the post personal computing (PC) era. Computational offloading and data binding are the core techniques that foster to elastically augment the capabilities of low-power devices, such as smartphones. Mobile applications may be bonded to cloud resources by following a task delegation or code offloading criteria. In a delegation model, a handset can utilize the cloud in a service-oriented manner to delegate asynchronously a resource-intensive mobile task by direct invocation of the service. In contrast, in an offloading model, a mobile application is partitioned and analyzed so that the most computational expensive operations at code level can be identified and offloaded to a remote cloud-based surrogate. We compared in this paper, the mobile cloud computing models for offloading and delegation. We utilized our own frameworks for computational offloading and data binding in the analysis. While in principle, offloading and delegation are viable methods to augment the capabilities of the mobile devices with cloud power, they enrich the mobile applications from different perspectives at diverse computational scales.

关键词： Mobile Cloud Computing Access Models Code Offloading Task Delegation Middleware Mobile Crowdsourcing

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：