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

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

来源：评论

学校读者我要写书评

暂无评论

Analysis of Timing Requirements for Intrusion Detection System

Analysis of Timing Requirements for Intrusion Detection Syst...

引用

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

作者： Jan Magott Pawel Skrobanek Marek Woda Institute of Computer Science Automatic Control and Robotics Wroclaw University of Technology Wroclaw Poland

An intrusion detection system (IDS) is a collection of sensors (often in the form of mobile agents) that collect data (security related events), classify them and trigger an alarm when unwanted manipulations to regular network behaviour is detected. Activities of attackers and network are time dependent. In the paper, fault trees with time dependencies (FTTD) are used to describe intrusions with emphasis put on timing properties. In FTTD, events and gates are characterized by time parameters. FTTD are used in verification whether the IDS reacts sufficiently quick on the intrusions. As an example, "the victim trusts the intruder" attack is analysed.

关键词： Timing Intrusion detection Fault trees Hazards US Department of Transportation Tree graphs Logic computer science Automatic control Mobile robots

来源：评论

学校读者我要写书评

暂无评论

Securing Communication Trees in Ad Hoc Sensor Networks with Polynomial-Based Key Pre-Distribution

Securing Communication Trees in Ad Hoc Sensor Networks with ...

引用

IEEE Symposium on computers and Communications (ISCC)

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

There are many applications of ad hoc sensor networks that have to ensure immunity to adversaries. One challenge is how to bootstrap secure communication among nodes. In this paper we propose a novel key pre-distribution scheme based on polynomials. The properties of our scheme are the same as a scheme presented by Blom, but we propose to use a different technique that can be easily extended if we get rid of a node's computation constrains. By using polynomial-based key pre-distribution, we can reduce the storage requried at receivers down to O(t) where t is a system and security parameter. Moreover using only this information, pairwise keys can be established efficiently for each pair of nodes which enable secure construction of the communication tree.

关键词： Polynomials Protocols Proposals Communication system security Wireless sensor networks Routing Data security computer science Robot control Communication system control

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Duration Calculus for Analysis of Fault Trees with Time Dependencies

Duration Calculus for Analysis of Fault Trees with Time Depe...

引用

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

作者： Pawel Gluchowski Institute of Computer Engineering Control and Robotics Wrocław University of Technology Wroclaw Poland

The paper deals with a problem of a description and analysis of fault trees with time dependencies, constructed for real-time systems to show possible ways leading to a hazard. Both the description and analysis are made with the duration temporal logic formalism - Duration Calculus (DC). It is the first time, when fault trees, containing the temporal gates, proposed by Magott and Skrobanek, got formally described with the DC logic (preserving all their properties for each gate type and for the whole structure) and became possible to be formally deductively analyzed (the latter part still need same work though).

关键词： Calculus Fault trees Hazards Logic US Department of Transportation Delay effects Real time systems Process design control engineering computing Robot control

来源：评论

学校读者我要写书评

暂无评论

Cognition-oriented building blocks of future benchmark scenarios for humanoid home robots

Cognition-oriented building blocks of future benchmark scena...

引用

2007 AAAI Workshop

作者： Burghart, Catherina R. Mikut, Ralf Holzapfel, Hartwig Institute of Process Control and Robotics University of Karlsruhe D-76128 Karlsruhe Germany Forschungszentrum Karlsruhe GmbH Institute of Applied Computer Science P.O. Box 3640 D-76021 Karlsruhe Germany Interactive Systems Lab. University of Karlsruhe D-76128 Karlsruhe Germany

ISBN: (纸本)9781577353317

Comparing intelligent robots interacting with humans is a difficult task. First of all, robotic helps in everyday life can be involved in different tasks. Additionally, the grade of autonomy of the robot and the type of interaction between human and robot may differ to a great extent. It also is an intricate task to design common metrics to assess human-robot interaction. Thus normal benchmarks fail in this case. After an overview of already existing benchmarks in robotics this paper sketches affordances for benchmarks for human-robot interaction in a home environment. Many aspects of already existing benchmarks, evaluation criteria, and metrics have to be combined to asses human-robot interaction in a complex environment. The great difficulty is measuring human and robot behavior;here novel approaches taking into account perspectives from different fields (i.e. engineers, psychologists, sociologist) are needed, as a human being does not behave as anticipated by the system designer most of the time. Copyright © 2007, Association for the Advancement of Artificial Intelligence (***). All rights reserved.

关键词： Human robot interaction

来源：评论

学校读者我要写书评

暂无评论

Segmentation and tracking of cells in the image sequences

Segmentation and tracking of cells in the image sequences

引用

作者： Kubik, Tomasz Sugisaka, Masanori Institute of Computer Engineering Control and Robotics Wroc Law University of Technology Janiszewskiego 11/17 Wroclaw 50-372 Poland Department of Electrical and Electronic Engineering Oita University 700 Dannoharu Oita 870-1124 Japan

ISBN: (纸本)9784990288013

In the paper the method of automated cells tracking in the sequence of images is presented. The method starts with a sequence of images processing by the use of an adaptive threshold operator. Then the cells are detected, labeled and parameterized by their size, position, orientation, bounding box, etc. Each pair of two consecutive images in the sequence is analyzed next in order to find corresponding (i.e. matching) cells. In that way all observed cells might be recognized and traced. The tracking, associated with cells parameters measurements, provides data in a form of time series. This data can be used for a particular cell activity observation, complex interaction modeling of multicellular organisms, etc. Such analysis can give detailed information about cells time-space dynamics. The method proposed is demonstrated on a set of biological data. ©ISAROB 2007.

关键词： Cells

来源：评论

学校读者我要写书评

暂无评论

KNOWLEDGE BASED AND CLP-DRIVEN APPROACH TO AGVs SYSTEM control

引用

IFAC Proceedings Volumes 2007年第3期40卷 56-62页

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

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.

关键词： knowledge engineering constraints logic programming deadlock avoidance scheduling

来源：评论

学校读者我要写书评

暂无评论

Job shop scheduling problems with Genetic Algorithms

Job shop scheduling problems with Genetic Algorithms

引用

International Conference on computer Engineering and Systems

作者： Antonio Ferrolho Manuel Crisostomo Robert Wojcik Institute of Systems and Robotics Department of Electrical and Computer Engineering University of Coimbra Coimbra Portugal Department of Electrical Engineering Superior School of Technology of Viseu Polytechnic Institute of Viseu Viseu Portugal Institute of Computer Engineering Control and Robotics Wrocław University of Technology Wroclaw Poland

ISBN: (纸本)1424413656;9781424413652

The Job-Shop Scheduling Problem (JSSP) is an extremely difficult problem because it requires very large combinational search space and the precedence constraint between machines. A software tool called Hybrid and Flexible Genetic Algorithm (HybFlexGA) was developed for solving the JSSP. Computational results demonstrate that the proposed HybFlexGA is very efficient and potentially useful in solving the JSSP. The results obtained with standard JSSP benchmark demonstrate its efficiency.

关键词： Job shop scheduling Genetic algorithms Artificial neural networks Space technology Simulated annealing control engineering computing Genetic engineering Robot control control systems Orbital robotics

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：