In this paper, we present a Simulator Program that identifies the topologies and supports operation staff in decisionelectrical power system operation consider load reestablishment procedures and topological possibilities to each event, offering a selection of the best settings. Facing a electrical power transmission system contingency , the Simulator considers the current state and uses special algorithms that detect the grid topology, interprets results and presents to the operators a rank of procedures with their respective degrees of reliability. For these actions the software Simulator make the circuits breakers states analysis and electric keys, load flow solution with the on line data, makes risk prediction and the mathematical analysis of remote sensing values. The software Simulator uses in some of his actions, special algorithms that are based on Paraconsistent Annotated Logic (PAL), which is a non-classical logic whose main property is to accept contradiction in their fundamentals. These algorithms based on PAL offer greater speed of processing and allows the Paraconsistent Simulator of topologies (ParaSimTop) to be implemented in real time.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.