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

作者： Lukowicz, Miroslaw Magott, Jan Skrobanek, Pawel Institute of Electrical Power Engineering Wroclaw University of Technology Wroclaw Poland Institute of Computer Science Automatic Control and Robotics Wroclaw University of Technology Wroclaw Poland

ISBN: (纸本)9783902661395

In electrical power systems, the coordination of protections in time domain is important and difficult problem. The time settings of protection relays have to be adapted to the time characteristics of electrical power system plants and the delay times of the other protections. In the paper, Fault Trees with Time Dependencies (FTTDs) are used in selection of values of the delay times of primary (local) and remote backup protections. In the FTTD, events and gates are characterized by time parameters. These time parameters are derived from the time characteristics of protection devices and the inherent delay times of protection equipment. Copyright © 2007 IFAC.

关键词： Fault detection

来源：评论

学校读者我要写书评

暂无评论

Knowledge based and clp-driven approach to AGVs system control

Knowledge based and clp-driven approach to AGVs system contr...

引用

作者： Bocewicz, Grzegorz Muszyński, Wojciech Banaszak, Zbigniew Deptartament of Computer Science and Management Technical University of Koszalin 75-453 Koszalin Poland Institute of Computer Engineering Control and Robotics Wroclaw University of Technology 50-372 Wroclaw Poland

ISBN: (纸本)9783902661234

The subject matter of the study are the automated guided vehicle (AGV) operation synchronisation mechanisms in flexible manufacturing systems, enabling determination of the travel schedules via some preset travelling route intervals. In many practical cases transport operations are repetitive. For this type of systems the transport processes can be modelled as a system of cyclic concurrent processes sharing common resources with mutual exclusion. The processes examination has to guarantee the collision-free and deadlock free AGVs flow. In this paper the problem of determination of the rules coordinating access of the vehicles to the shared travel route intervals, ensuring the collision-free and deadlock-free execution of the repetitive processes was reduced to determination of the sufficient conditions. In particular the problem of searching for a pair is defined in the form of the constraint satisfaction problem (CSP) and is solved with use of the logic programming techniques. © 2007 IFAC.

关键词： Flexible manufacturing systems

来源：评论

学校读者我要写书评

暂无评论

ANALYSIS OF TIMING PROPERTIES OF ELECTRICAL POWER SYSTEM PROTECTION

引用

IFAC Proceedings Volumes 2007年第6期40卷 37-42页

作者： Miroslaw Lukowicz Jan Magott Pawel Skrobanek Institute of Electrical Power Engineering Institute of Computer Science Automatic Control and Robotics Wroclaw University of Technology Wroclaw

关键词： power system protection distance protection remote backup protection fault detection and isolation fault tree with time dependencies

来源：评论

学校读者我要写书评

暂无评论

Learning Context-Free Grammars from Partially Structured Examples: Juxtaposition of GCS with TBL

Learning Context-Free Grammars from Partially Structured Exa...

引用

International Conference on Hybrid Intelligent Systems (HIS)

作者： Olgierd Unold Lukasz Cielecki The Institute of Computer Engineering Control and Robotics Wroclaw University of Technology Poland

This paper juxtaposes performance of the grammar- based classifier system (GCS) with tabular representation algorithm (TBL) on the task of inducing context-free grammars from partially structured examples. In both cases structured examples rapidly improve the efficiency of learning algorithms, although there are substantial differences in the way they work. GCS requires more attention while setting initial system parameters and structured examples provide a bit more information than in TBL but on the other hand it is more efficient when tested against the same examples' sets.

关键词： Production systems Learning automata Inference algorithms Partitioning algorithms Hidden Markov models Space exploration Hybrid intelligent systems control engineering computing Robot control control systems

来源：评论

学校读者我要写书评

暂无评论

Error Prevention, Detection and Diffusion Algorithms for Cryptographic Hardware

Error Prevention, Detection and Diffusion Algorithms for Cry...

引用

International Conference on Dependability of computer Systems (DepCos-RELCOMEX)

作者： Maciej Nikodem Institute of Computer Engineering Control and Robotics Wroclaw University of Technology Poland

It is well known that hardware is susceptible to variety of different faults causing device malfunction, errors in the output or simply destroying the device. These threats refer to any type of hardware. However in case of cryptographic devices, such as smart cards or crypto-processors, errors may also leak some secret information hidden in the device (e.g. encryption keys). This was presented for almost all cryptographic protocols and algorithms allowing an adversary to perform a fault analysis. Therefore it is urgent to propose hardware implementation of cryptographic algorithms that will be immune to this type of attack. Some solutions to this problem have been already proposed for the RSA algorithm based on the Chinese Reminder Theorem and for symmetric algorithms. On the other hand there is a large number of algorithms that are susceptible to fault analysis but no solutions to increase immunity have been proposed so far.

关键词： Cryptography Hardware Error correction Circuit faults Doped fiber amplifiers Fault detection Security Algorithm design and analysis computer errors Radiation detector circuits

来源：评论

学校读者我要写书评

暂无评论

Discrete transport system simulated by SSF for reliability and functional analysis

Discrete transport system simulated by SSF for reliability a...

引用

International Conference on Dependability of computer Systems (DepCos-RELCOMEX)

作者： Tomasz Walkowiak Jacek Mazurkiewicz Institute of Computer Engineering Control and Robotics Wroclaw University of Technology Wroclaw Poland

A method of reliability and functional analysis related to discrete transport systems is presented. The proposed analysis is based on modeling and simulating of the system behavior. Monte Carlo simulation is used for proper reliability and functional parameters calculation. The simulator is built using Scalable Simulation Framework (SSF). No restriction on the system structure and on a kind of distribution is the main advantage of the method. The paper presents some exemplar system modeling. The authors stress the problem of influence of the reliability parameters for final system functional measures (required time of delivery). They also propose to measure the economic quality of discrete transport system by "profit function". The presented problem is practically essential for defining an organization of vehicle maintenance and transport system logistics.

关键词： Analytical models Functional analysis Vehicles Containers Computational modeling computer simulation Maintenance Logistics Telecommunication network reliability control engineering computing

来源：评论

学校读者我要写书评

暂无评论

Incident Detection and Analysis in Communication and Information Systems by Fuzzy Logic

Incident Detection and Analysis in Communication and Informa...

引用

International Conference on Dependability of computer Systems (DepCos-RELCOMEX)

作者： Tomasz Walkowiak Tomasz Wilk Institute of Computer Engineering Control and Robotics Wroclaw University of Technology Wroclaw Poland

The paper presents the model of automatic detection system which uses fuzzy logic methodology for intrusion detection and analysis in sophisticated distributed system. The proposed system functions are to detect the occurrence of intrusions, their severity and impact on the system work. The authors indicate that the current system reveals to be experimental in nature. We propose the hierarchical agent architecture to increase the detection response speed and scalability of the system.

关键词： Information analysis Information systems Fuzzy logic Intrusion detection Artificial intelligence Computational Intelligence Society Fuzzy sets Communication system control Scalability Information security

来源：评论

学校读者我要写书评

暂无评论

Output feedback decoupling of neutral time delay systems

Output feedback decoupling of neutral time delay systems

引用

2007 Mediterranean Conference on control and Automation, MED

作者： Panagiotakis, G.E. Koumboulis, F.N. Paraskevopoulos, P.N. Halkis Institute of Technology Department of Automation 34400 Psahna Evias Greece National Technical University of Athens Division of Signals Control and Robotics Department of Electrical and Computer Engineering 15773 Zographou Athens Greece

ISBN: (纸本)142441282X

The problem of Input Output Decoupling is studied for the case of general neutral multi-delay systems, via proportional realizable output feedback. Using a pure algebraic approach, the necessary and sufficient conditions for the problem to have a realizable solution are established and the general analytical expressions of the proportional realizable controller matrices, are derived. © 2007 IEEE.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

Secure Communication Trees in Ad Hoc Networks

Secure Communication Trees in Ad Hoc Networks

引用

International Conference and Workshop on engineering of computer-Based Systems

作者： Jan Nikodem Maciej Nikodem Institute of Computer Engineering Control and Robotics Wrocław University of Technology Wroclaw Poland

In this paper we examine the communication trees widely used in ad hoc networks. These trees can be used in a number of ways e.g. to route or broadcast messages and to aggregate information. In this paper we propose a new key distribution protocol for large and dynamic ad hoc networks over unreliable channel. Protocol proposed here involves broadcast exclusion based on polynomial interpolation and secret key cryptography. Proposed scheme ensures security of broadcast and one-to-one communication, message authentication and gives a possibility to verify routing information. It also ensures t-resilience which means that up to t nodes can be compromised without influencing the security

关键词： Ad hoc networks Broadcasting Cryptographic protocols Information security Aggregates Polynomials Interpolation Cryptography Message authentication Routing

来源：评论

学校读者我要写书评

暂无评论

Model matching of SISO neutral time delay systems via output feedback

Model matching of SISO neutral time delay systems via output...

引用

2007 Mediterranean Conference on control and Automation, MED

作者： Koumboulis, F.N. Kouvakas, N.D. Paraskevopoulos, P.N. Halkis Institute of Technology Department of Automation 34400 Psahna Evias Halkis Greece National Technical University of Athens Division of Signals Control and Robotics Department of Electrical and Computer Engineering 15773 Zographou Athens Greece

ISBN: (纸本)142441282X

The necessary and sufficient conditions for the solvability of the exact model matching problem for general neutral single input - single output multi-delay systems, via a realizable dynamic output feedback and a realizable dynamic precompensator, are established. The general class of the realizable dynamic controllers solving the problem is analytically determined. The results are successfully applied to the model of a cascade connection of two mixers as well as a numerical example. ©2007 IEEE.

关键词： Timing circuits

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：