An algorithmic framework is developed for automatic deployment of car-like robots based on Linear Temporal Logic (LTL) formulae over a set of regions of interest in the environment. The environment and the regions of ...
详细信息
An algorithmic framework is developed for automatic deployment of car-like robots based on Linear Temporal Logic (LTL) formulae over a set of regions of interest in the environment. The environment and the regions of interest are a priori known, and the robot has non-negligible size and restricted steering capabilities. The approach relies on constructing a probabilistic finite-state abstraction of the car-like robot and on finding a trajectory (run) in this abstraction such that the probability of satisfying the LTL formula is maximized. The feasibility of our approach is supported by simulations under Matlab environment.
The main objective of this work is the design and implementation of a hierarchical control solution for chemical and petrochemical processes, namely the control and optimization of the ethylene pyrolysis reactor, the ...
详细信息
The main objective of this work is the design and implementation of a hierarchical control solution for chemical and petrochemical processes, namely the control and optimization of the ethylene pyrolysis reactor, the key-installation in the petrochemical industry. The hierarchical control structures are organized on two levels of automation: the execution level, which has to fulfill two important tasks: the data acquisition from the physical plant and the regulation of the major parameters of the process and the supervisory level, referred to the optimization of the production.
In order to improve the lifetime and performance of a hybrid electric vehicle, one of the most challenging tasks is to improve the performance of the electrical energy storage, regarding the electrical power and energ...
详细信息
In order to improve the lifetime and performance of a hybrid electric vehicle, one of the most challenging tasks is to improve the performance of the electrical energy storage, regarding the electrical power and energy capacity. By introducing a supercapacitor as auxiliary source to increase the system power and to take over the battery stresses, the performance of the combined energy storage unit is improved. This paper introduces a completed model of energy storage system, including a pack of batteries, a pack of supercapacitors and a control strategy. The aim is to discharge the capacitors when the required power from energy storage is above a threshold meaning that the driver needs a boost of power for a period of time. Because of their high density of power supercapacitors have more efficiency in delivering it for short time. This has a positive impact on the fuel consumption and the state of charge at the end of the drive cycle.
A feedback controller is proposed for cancellation of magnetic resonance imaging (MRI) noise. The design of the controller takes into account specific features of the MRI noise signal. Simulation results show that a c...
详细信息
ISBN:
(纸本)9781618392800
A feedback controller is proposed for cancellation of magnetic resonance imaging (MRI) noise. The design of the controller takes into account specific features of the MRI noise signal. Simulation results show that a considerable rejection rate of the MRI noise can be obtained.
Heterogeneous computing systems require an efficient way of distributing tasks across processing nodes. The tasks have to be mapped to the processors which execute them in the shortest time possible, while keeping the...
详细信息
Heterogeneous computing systems require an efficient way of distributing tasks across processing nodes. The tasks have to be mapped to the processors which execute them in the shortest time possible, while keeping the processors at a similar load. Tests have shown that, in most cases, the genetic algorithm produces the best solution among all the mapping heuristics. This paper presents a Genetic Algorithm with a 3-Step Mutation which significantly increases the solution's convergence rate by using a combination of methods to mutate a chromosome. Beside the standard random approach, we implemented a targeted mutation operator which lightens the load of the most occupied processors. We also focused on different fitness functions in order to improve both the makespan and the load balance. The mutation combinations and the fitness functions are then tested to see which ones perform better and in what cases.
The constant and rapid growth of the Web complexity and the Web size generates new challenges regarding the approaches in efficient processing of Web searched results. Due to the dynamic Web content and the huge amoun...
详细信息
The constant and rapid growth of the Web complexity and the Web size generates new challenges regarding the approaches in efficient processing of Web searched results. Due to the dynamic Web content and the huge amount of information returned by search engines, it is necessary to find new methods and ways for better organizing and modelling the information spread on the Web. In this paper, we propose the structuring of the Web content as a hierarchical environment, taking into account the site content and structure, the HTML document structure and the term importance. Furthermore, we propose an effective partitional clustering algorithm for a Web site. The preliminary results prove the effectiveness of the new Web content representation and the accuracy of the Web clustering algorithm.
Seamless simulation and rendering of realistic natural environments has the goals of modeling the terrain and placing large groups of plants in a manner that would generate a scene similar to what a viewer would see i...
详细信息
A correct diagnostics together with the early prediction of failure or malfunction of the system are the major issues in modern maintenance. Nowadays, the time-honored diagnostics may be inadequate and lead to omittin...
详细信息
A correct diagnostics together with the early prediction of failure or malfunction of the system are the major issues in modern maintenance. Nowadays, the time-honored diagnostics may be inadequate and lead to omitting failures, resulting in higher costs of repairing damaged equipment. That is why the interest in intelligent diagnostics increases due to the possibility of better interpretation of the component status and early failure prediction. One of the ways of determining the device condition is to measure and analyze the temperature of multiple points on the device. Thermographics may show a beginning of significant wear of a component, and enable a repair or replacing before the failure appears. The paper presents the key aspects of the diagnostics with thermal images, including: technology mapping, mapping algorithms, together with a presentation of available software solutions.
Seamless simulation and rendering of realistic natural environments has the goals of modeling the terrain and placing large groups of plants in a manner that would generate a scene similar to what a viewer would see i...
详细信息
Seamless simulation and rendering of realistic natural environments has the goals of modeling the terrain and placing large groups of plants in a manner that would generate a scene similar to what a viewer would see in real life. The placement of plants is derived automatically from real land cover classification (LCC) data which describes each area on the map as a single vegetation type. This work presents a method for solving the problem of plant distribution in transition areas between different vegetation classes by using the concept of linear diffusion in an arbitrary direction. In practice this direction can be determined by different climatic factors. Our proposed implementation can accurately process a high number of neighboring areas in real-time by using parallel processing on the graphics processing unit.
Evolutionary algorithms have become popular in the recent years as a general, simple, and robust technique that can be used when other optimization methods cannot be applied. Presently, there are a number of evolution...
详细信息
Evolutionary algorithms have become popular in the recent years as a general, simple, and robust technique that can be used when other optimization methods cannot be applied. Presently, there are a number of evolutionary/genetic algorithm libraries publicly available; however, they are not specifically designed for multiagent systems. The framework described in this paper addresses this problem and presents a general architecture for evolutionary optimization aimed to be used by agents in a multiagent system implemented in the JADE framework inspired from the island model of parallel genetic algorithms. The characteristics of evolutionary algorithms that are more appropriate for use in a distributed, cooperative multiagent environment are also identified.
暂无评论