Helga Gonzaga Martins

Particle Swarm Optimization Applied to Restoration of Electrical Energy Distribution Systems

This paper presents a technical application of the Particule Swarm Optimization - PSO technique to a reconfiguration problem of a electrical energy distribution system. The proposed methodology consists of the use of the maximization function of the number of loads supplied and the loss minimization by the expansion of the original PSO. The approach utilized the Distribution_System_01. A number of tests were carried out in the system to simulate several fault occurrences in the electrical energy transmission lines. The PSO algorithm encountered the optimal solution in a reasonable CPU time, compared to the dimension of the distribution system.

A sensing system for an autonomous mobile robot based on the paraconsistent artificial neural network

This paper shows a sensing system for an autonomous mobile robot. The Sensing System is based on the Paraconsistent Neural Network. The type of artificial neural network used in this work is based on the Paraconsistent Evidential Logic - Eτ. The objective of the Sensing System is to inform the other robot components the position where there is an obstacle. The reached results have been satisfactory.

Autonomous Mobile Robot Emmy III

This work presents some improvements regarding to the autonomous mobile robot Emmy based on Paraconsistent Annotated Evidential Logic Eτ. A discussion on navigation system is presented.

Comparison between PSO and GA in System Restoration Solution

The use of the Evolutionary Computation (EC) grew in interest recently. Among various Evolutionary Computation approaches, Genetic Algorithm (GA) and Particle Swarm Optimization (PSO) are used in optimization problems; they have much in common but also have some differences. This paper presents a decision support tool based on Particle Swarm Optimization Technique (PSO) and Genetic Algorithm Technique (GA). This tool is applied to electrical power system restoration after an incident. The operator support systems play an important role in a performance of the complex process involving decision-making problems of combinatory nature. The techniques are based on the change of system functional configuration and consist in the use of the maximization of power demand supplied and minimization of the number switched lines. These techniques also avoid the overload of system lines. A case study is introduced.

Results of a sensing system for an autonomous mobile robot based on the paraconsistent artificial neural network

This paper shows the results of a sensing system for an autonomous mobile robot. The sensing system is based on the paraconsistent neural network. The type of artificial neural network used in this work is based on the paraconsistent evidential logic (Eτ). The objective of the sensing system is to inform the other robot components the obstacle position. The reached results have been satisfactory.

The Convergence Control to the ACO Metaheuristic Using Annotated Paraconsistent Logic

An approach to solve complex combinatorial optimizations problems is the Ant Colony Optimization Metaheuristic (ACO). There are several variations of this metaheuristic. One of them, the Max-Min Ant System, is an algorithm that presents excellent performance for some classes of combinatorial problems, such as Traveling Salesman Problem and the Quadratic Assignment Problem. This paper presents a method of convergence control of the Max-Min variation of Ant Colony Optimization Metaheuristic using paraconsistent logic. The proposed method can be adapted to any variation of the Ant Colony Optimization Metaheuristic.

Para-consistent case-based reasoning

This paper presents a link of the functions model belief, unbelief and specialty from three values noted para-consistent logic - LPA3v for cases retrieval in domain of diagnostic determination of a reasoning based in cases - RBC. The implementation of LPA3v in intelligent systems allows working with inconsistent information, undefined, with partial knowledge and specialist knowledge in such a way that the system behavior become more encompassing, approaching the real world as well as its answers

Some practical approaches to a course on paraconsistent logic for engineers

ABSTRACT This paper describes a non-classical logic course primarily indicated for graduate students in electrical engineering and energy engineering. The content of this course is based on the vision that it is not enough for a student to indefinitely accumulate knowledge; it is necessary to explore all the occasions to update, deepen, and enrich that knowledge, adapting it to a complex world. Therefore, this course is not tied to theoretical formalities and tries at each moment to provide a practical view of the non-classical logic. In the real world, the inconsistencies are important and cannot be ignored because contradictory information brings relevant facts, sometimes modifying the entire result of the analysis. As consequence, the non-classical logics, such as annotated paraconsistent logic – APL, are efficiently framed in the approach of complex situations of the real world. In APL, the concepts of unknown, partial, ambiguous, and inconsistent knowledge are referred not to trivialise any system in analysis. This course presents theoretical and applicable aspects of APL, which are successfully used in decision-making structures. The course is divided into modules: Basic, 2vAPL, 3vAPL, 4vAPL, and Final Project.

An application of ACO in system reconfiguration

Swarm intelligence is a group of methods which hás been extensively used to solve hard computation problems. Ant colony meta-heuristic is one technique of this group based on the ant real life and behavior. This technique uses some properties associated to communication among the ants and how they seem to solve a specific problem. The current paper presents an approach to solve power distribution system restoration problems, when a failure occurs in the system. This approach is based on ant colony techniques. An illustrative example is also presented to verify the quality of the proposed approach.

Temporal Logic applied to Information Systems

This paper presents a literature review where the potentialities of the use of temporal logic in information systems are presented, mainly what refers to its development. The purpose of this work is to show how temporal logic is applied to an information system besides introducing an elementary introduction to modal logic, Kripke semantics, the features of temporal logic and its use in some areas of computer science.