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

Synthesis of Behavioral Controllers for DES: Increasing Efficiency

IFAC Proceedings Volumes 2010年第12期43卷 27-34页

作者： Kai Bollue Michaela Slaats Erika Ábrahám Wolfgang Thomas Dirk Abel Institute of Automatic Control RWTH Aachen University Aachen Germany Chair of Computer Science 7 RWTH Aachen University Aachen Germany Chair of Computer Science 2 RWTH Aachen University Aachen Germany

In Bollue et al. (2009), a methodology was introduced for the synthesis of behavioral controllers for discrete-event systems. The approach is based on NCES-like Petri net models of the uncontrolled plant and additional goal and safety specifications given by linear marking constraints. This paper presents different approaches to improve the synthesis process with respect to efficiency and applicability. One focus is the use of satisfiability checking of systems of integer linear inequations in the preprocessing of the model for the elimination of unnecessary complexity during the process. Further, several improvements of the synthesis algorithm itself are discussed, which increase the efficiency by applying an advanced guided search and by reusing already found partial solutions.

关键词： Petri nets algorithms synthesis efficiency controllers discrete-event systems

来源：评论

学校读者我要写书评

暂无评论

Automating composite SLA management tasks by exploiting service dependency information

Automating composite SLA management tasks by exploiting serv...

引用

8th European Conference on Web Services, ECOWS 2010

作者： Winkler, Matthias Springer, Thomas Schill, Alexander SAP Research CEC Dresden SAP AG Chemnitzer Str. 48 01187 Dresden Germany Faculty of Computer Science Computer Networks Group Institute for Systems Architecture Nöthnitzer Str. 46 01187 Dresden Germany

ISBN: (纸本)9780769543109

According to the Internet of Services vision, composite services are created by composing services to complex business processes. The relationships between services in a composition are defined by Service Level Agreements (SLAs). Managing composite SLAs is a complex task which is currently performed manually. In this paper we present an approach for automating the management of composite SLAs by exploiting the explicit knowledge about dependencies between composed services. We define a formal model for representing a set of dependencies. A set of algorithms exploits this information to automate tasks of composite SLA management. These tasks are the validation of SLAs during negotiation, the evaluation of SLA renegotiation requests and the evaluation of SLA violations with regard to their effects on other services. We have validated our approach based on a logistics scenario. We present results with respect to performance and a set of test cases demonstrating the added value of dependency information based automated SLA management. © 2010 IEEE.

关键词： Web services

来源：评论

学校读者我要写书评

暂无评论

Testable critical path selection considering process variation

Testable critical path selection considering process variati...

引用

作者： Fu, Xiang Li, Huawei Li, Xiaowei Key Laboratory of Computer System and Architecture Institute of Computing Technology Chinese Academic of Science Beijing 100190 China Graduate University of Chinese Academic of Sciences Beijing 100039 China

Critical path selection is very important in delay testing. Critical paths found by conventional static timing analysis (STA) tools are inadequate to represent the real timing of the circuit, since neither the testability of paths nor the statistical variation of cell delays caused by process variation is considered. This paper proposed a novel path selection method considering process variation. The circuit is firstly simplified by eliminating non-critical edges under statistical timing model, and then divided into sub-circuits, while each sub-circuit has only one prime input (PI) and one prime output (PO). Critical paths are selected only in critical sub-circuits. The concept of partially critical edges (PCEs) and completely critical edges (CCEs) are introduced to speed up the path selection procedure. Two path selection strategies are also presented to search for a testable critical path set to cover all the critical edges. The experimental results showed that the proposed circuit division approach is efficient in path number reduction, and PCEs and CCEs play an important role as a guideline during path selection. Copyright © 2010 The institute of Electronics.

关键词： Delay circuits

来源：评论

学校读者我要写书评

暂无评论

Greedy design of resilient multi-layer networks

Greedy design of resilient multi-layer networks

引用

Conference on Next Generation Internet Networks, NGI

作者： Michael Duelli Xiaohua Qin Michael Menth Institute of Computer Science Chair of Communication Networks University of Würzburg Wurzburg Germany

ISBN: (纸本)9781424481675

In this paper, we propose a deterministic greedy heuristic providing a construction layout for a cost-efficient multi-layer network that is able to carry a given set of traffic demands with and without protection on different layers. We apply the heuristic to different reference network topologies and protection requirements. Evaluations are conducted regarding equipment cost on different layers, blocking probability, path lengths, and number of demands affected by specific failures.

关键词： Telecommunication traffic Costs Resilience Traffic control Nonhomogeneous media Protection Network topology Optical fiber networks Ethernet networks Spine

来源：评论

学校读者我要写书评

暂无评论

Monitoring the user perceived quality of SILK-based voice calls

Monitoring the user perceived quality of SILK-based voice ca...

引用

Australasian Telecommunication Networks and Applications Conference, ATNAC

作者： Daniel Schlosser Michael Jarschel Valentin Burger Rastin Pries Institute of Computer Science Chair of Communications Network University of Würzburg Wurzburg Germany

Quality measurements are required to support VoIP traffic in the Internet. The widely used average Mean Opinion Score is, however, not sufficient for this task. In this paper, we provide a detailed analysis of the Skype SILK codec and compare it with the iLBC and GSM codec. The results show that the SILK codec is superior to the other codecs in scenarios with random and bulk packet loss. This increased tolerance of packet loss enables the option of QoE Monitoring under reasonable network conditions. From analysis, we derive an estimation, which can be used to monitor the MOS value of the users in the worst case. Furthermore, we show how sampling can effectively decrease the required measurement effort.

关键词： Codecs Monitoring Quality of service Jitter GSM Bandwidth Propagation losses

来源：评论

学校读者我要写书评

暂无评论

A complete framework for controller verification in manufacturing

A complete framework for controller verification in manufact...

引用

International Conference on Emerging Technologies and Factory Automation (ETFA)

作者： Christian Gerber Sebastian Preuße Hans-Michael Hanisch Institute of Computer Science Chair of Automation Technology University of Halle-Wittenberg Halle Germany

Programmable Logic Controllers (PLCs) have been established as standard devices for automation and process control since the 1990s. Although a lot of research work has been done on the field of controller modeling and verification, it is still daily practice that control software is manually developed without applying formal validation methods. On the other hand, controller modeling is often seen detached from the plant or its model, i.e. as an open loop. The results of analysis of open-loop controller behavior give very little or almost no indications of the correct behavior of the closed-loop system. The contribution therefore proposes an approach to generate formal models out of PLC code. These controller models enable formal verification of the closed loop in combination with a specification. Due to the year of publication, all solution approaches are based on the syntax definition of the IEC 61131-3, which is not fulfilled by every industrial PLC vendor. Therefore, this contribution will show a way to use the defined xml formats of the Technical Committee 6 of the PLCopen as input for the formal model generation.

关键词： Software Q measurement Semantics IEC standards Sensors Measurement units Materials

来源：评论

学校读者我要写书评

暂无评论

Patterns for measuring performance-related QoS properties in service-oriented systems 10

Patterns for measuring performance-related QoS properties in...

引用

17th Conference on Pattern Languages of Programs, PLoP 2010

作者： Oberortner, Ernst Zdun, Uwe Dustdar, Schahram Distributed Systems Group Information Systems Institute Vienna University of Technology Austria Software Architecture Faculty of Computer Science Vienna University Austria Argentinierstrasse 8/184-1 1040 Vienna Austria

ISBN: (纸本)9781450301077

In service-oriented systems, clients can access services via a network. Service level agreements (SLA) can exist, which specify - among other things - performance-related Quality of Service (QoS) properties between the client and the server, such as round-trip time, processing time, or availability. For a service provider serious financial consequences or other penalties can follow in case of not fulfilling the SLAs. The service consumer wants to evaluate that the provider complies with the guaranteed SLAs. Designing and developing a QoS-aware service-oriented system means facing many design challenges, such as where and how to measure the performance-related QoS properties. This paper presents design practices and patterns for measuring such QoS properties by extending and utilizing existing patterns. The focus of the patterns lies on the QoS measuring impact on the client's or service's performance, the extend of separation of concerns, the property of reusability, and the preciseness of the measured QoS properties. The patterns help to build efficient solutions to measure performance-related QoS properties in a service-oriented system.

关键词： Quality of service

来源：评论

学校读者我要写书评

暂无评论

Teaching Design and Multimedia Teaching Resources Development Using Information Processing Theory

Teaching Design and Multimedia Teaching Resources Developmen...

引用

2010 International Conference on E-Health Networking,Digital Ecosystems and Techonlogies(2010电子健康网络、数字生态系统和技术国际会议 EDT 2010)

作者： Yongzhen Li Yu Zhang Jun Jin School of Computer Science Beijing University of Civil Engineering and Architecture Beijing China School of Computer Science Beijing Institute of Technology Beijing China

ISBN: (纸本)9781424455140;9781424455157

For the sake of building the theoretical system of the designing course teaching, developing multimedia teaching resources to correspond with the teaching rules of higher education. Based on theoretical analysis, this paper investigates the technologies including teaching design and multimedia teaching resources development and provides the principles and requirements, process of design and development, evaluation on effectiveness of design and development, that promotes the reform of highereducation teaching methods.

关键词： Teaching design Teaching resources Multimedia teaching resources Information processing theory Resource development Pedagogy Teaching Sake higher education Reforming Information Processing Automatic data processing

来源：评论

学校读者我要写书评

暂无评论

Soft Frequency Reuse in the Uplink of an OFDMA Network

Soft Frequency Reuse in the Uplink of an OFDMA Network

引用

IEEE Conference on Vehicular Technology (VTC)

作者： Florian Wamser David Mittelstädt Dirk Staehle University of Würzburg Institute of Computer Science Chair of Communication Networks Würzburg Germany

ISBN: (纸本)9781424425181;9781424425198

The challenges with deploying a cellular wireless communication network with static frequency reuse in an interference limited environment is that for highly loaded cells, significant regions of coverage will experience high interference levels, resulting in unserviceable low signal-to-interference values. Therefore, interference mitigation approaches as adaptive fractional frequency reuse are considered to tackle the problem. In this paper, different strategies for user and resource allocation are evaluated along with fractional frequency reuse schemes. In contrast to downlink scenarios, we investigate the performance of the OFDMA uplink. It is shown that soft frequency reuse is well-performing in the uplink although it is easy to deploy since it does not rely on resource coordination.

关键词： Interference Resource management Frequency conversion Radio spectrum management Downlink Mobile computing Throughput Cellular networks computer science Communication networks

来源：评论

学校读者我要写书评

暂无评论

An audio zero-watermarking algorithm based on FFT

An audio zero-watermarking algorithm based on FFT

引用

International Conference on Networking and Digital Society, ICNDS

作者： Liting Gao Wei Zhao Xiumei Wen Lixia Wang Computer Science and Technology Department Hebei Institute of Architecture and Civil Engineering Zhangjiakou China

ISBN: (纸本)9781424451623;9781424451616

This paper proposes an audio zero-watermarking algorithm based on Fast Fourier Transform (FFT). This algorithm does not change any contents about the audio signals. It proposes a solution about the contradictions about imperceptible and robustness. The experimental results show this algorithm can effectively resist low-pass filtering, Gaussian noise and re-sampling attacks. This new audio zero-watermarking algorithm based on FFT can meet the requirements of watermarking security.

关键词： Watermarking Signal processing algorithms Copyright protection Noise robustness Change detection algorithms Resists Information filtering Information filters Data security Time domain analysis

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：