Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in the area of integrated production planning. In that contex...
详细信息
Constraint Programming (CP) is an emergent software technology for declarative description and effective solving of large combinatorial problems especially in the area of integrated production planning. In that context, CP can be considered as an appropriate framework for development of decision making software supporting scheduling of multi-robot in a multi-product job shop. The paper deals with multi-resource problem in which more than one shared renewable and non-renewable resource type may be required by manufacturing operation and the availability of each type is time-windows limited. The problem belongs to a class of NP-complete ones. The aim of the paper is to present a knowledge based and CLP-driven approach to multi-robot task allocation providing a prompt service to a set of routine queries stated both in straight and reverse way. Provided examples illustrate both cases while taking into account an accurate as well as an uncertain specification of robots and workers operation time.
In the note the class of block-oriented dynamic nonlinear systems is considered, in particular, Hammerstein and Wiener systems are investigated. Several algorithms for nonlinear system identification are presented. Th...
详细信息
In the note the class of block-oriented dynamic nonlinear systems is considered, in particular, Hammerstein and Wiener systems are investigated. Several algorithms for nonlinear system identification are presented. The algorithms exploit various degrees of prior knowledge - from parametric - to nonparametric. Eventually, a semiparametric algorithm, which shares advantages of both approaches is announced.
This work is devoted to dependability analysis of e-learning systems. Authors present technical aspects of the software part of e-learning systems (e-learning platforms, distant lectures, multimedia presentations and ...
This work is devoted to dependability analysis of e-learning systems. Authors present technical aspects of the software part of e-learning systems (e-learning platforms, distant lectures, multimedia presentations and virtual laboratories). Next, a high availability approach to hardware part is discussed. It is followed by a short analysis of several dependability aspects (availability, usability, scalability, interoperability, stability and security) with a conclusion that business continuity is a crucial factor. Therefore, the analysis of the e-learning system monitoring techniques is given. It is followed by a proposition of a new technique of monitoring: the virtual user representative.
This paper proposes a novel paradigm for conflict resolution in multi-vehicle traffic systems where a number of mobile agents move freely in a finite area, each agent following a motion profile designated to it. The k...
详细信息
This paper proposes a novel paradigm for conflict resolution in multi-vehicle traffic systems where a number of mobile agents move freely in a finite area, each agent following a motion profile designated to it. The key idea underlying the proposed method is the tesselation of the underlying motion area in a number of cells of a certain shape and size, and the treatment of these cells as resources that must be acquired by the mobile agents for the execution of the corresponding segments of their motion profiles, through an appropriate resource allocation protocol. In this way, it is possible to capitalize upon the existing literature on the real-time management of sequential resource allocation systems, and develop supervisory control policies that can formally guarantee the safe and live operation of the underlying traffic system, while they remain scalable with respect to the number of the moving agents.
Markov models are a well established technique widely used for modeling deterioration processes of the electric power equipment and in reliability analysis. Recently, several papers using Markov and semi-Markov models...
详细信息
ISBN:
(纸本)9781934325216;9781934325407;1934325406
Markov models are a well established technique widely used for modeling deterioration processes of the electric power equipment and in reliability analysis. Recently, several papers using Markov and semi-Markov models have been published addressing the issue of the calculation of the remaining life, future failure rates and the probability of failure of power equipment. This paper focuses on one such model and addresses an issue of accuracy of Markov model analysis. The paper presents a method of model adjustment and discusses implementation of three numerical algorithms solving the problem of parameter approximation. A practical example confirms validity of the approach and illustrates its efficiency.
The image segmentation method aimed at segmentation of orthophoto maps is discussed. The method makes use of ID-3 algorithm by its adjustment for different types of land cover classification. The segmentation method p...
详细信息
In this paper, we present a distributed market-based algorithm called S+T, which solves the multi-robot task allocation (MRTA) problem in applications that require the cooperation among the robots to accomplish all th...
详细信息
In this paper, we present a distributed market-based algorithm called S+T, which solves the multi-robot task allocation (MRTA) problem in applications that require the cooperation among the robots to accomplish all the tasks. If a robot cannot execute a task by itself, it asks for help and, if possible, another robot will provide the required service. In the paper, tasks consisting in transmitting data in real-time that could require communication relay services are considered. On the other hand, the parameters of the algorithm can be adapted to give priority to either the execution time or the energy consumption in the mission. The potential generation of deadlocks associated to the relation between tasks and services is studied, and as an original result, a distributed algorithm that prevent them is proposed. The algorithm has been tested in simulations that illustrate the main features of the S+T algorithm.
In the this paper, a CMAC-Q-learning based Dyna agent is presented to relieve the problem of learning speed in reinforcement learning, in order to achieve the goals of shortening training process and increasing the le...
In the this paper, a CMAC-Q-learning based Dyna agent is presented to relieve the problem of learning speed in reinforcement learning, in order to achieve the goals of shortening training process and increasing the learning, speed. We combine CMAC, Q-learning, and prioritized sweeping techniques to construct the Dyna agent in which a Q-learning is trained for policy learning; meanwhile, model approximators, called CMAC-model and CMAC-R-model, are in charge of approximating the environment model. The approximated model provides the Q-learning with virtual interaction experience to further update the policy within the time gap when there is no interplay between the agent and the real environment. The Dyna agent switches seamlessly between the real environment and the virtual environment model for the objective of policy learning. A simulation for controlling a differential-drive mobile robot has been conducted to demonstrate that the proposed method can preliminarily achieve the design goal.
A generalized architecture of an efficient digital signal processor using the residue number system (RNS) is proposed. It is based on using our new residue multipliers-accumulators (MACs) as the main building blocks. ...
ISBN:
(纸本)9780863419317
A generalized architecture of an efficient digital signal processor using the residue number system (RNS) is proposed. It is based on using our new residue multipliers-accumulators (MACs) as the main building blocks. This architecture offers potentially higher throughput thanks to the possibility of implementing very low-level pipelining. The maximal applicable clock frequency could be determined by the delay of only a few stages of full-adders.
The design of multiplier-accumulators (MACs) that could be used to build digital filters using the residue number system (RNS) is considered. The generalized architectures of residue MACs modulo A built using carry-sa...
ISBN:
(纸本)9780863419317
The design of multiplier-accumulators (MACs) that could be used to build digital filters using the residue number system (RNS) is considered. The generalized architectures of residue MACs modulo A built using carry-save adders (CSAs) are proposed. Unlike some earlier designs, the MACs are not limited to the moduli A of the form (2degplusmn1) and 2deg, which hence provides a designer with more choices of moduli A that could be used to form an RNS with the required dynamic range.
暂无评论