Controle de Temperatura através de Técnica Fundamentada em Lógica Paraconsistente Anotada

Luiz Carlos Rodrigues da Silva, Maurício Conceição Mario, Hyghor Miranda Cortês, Dorotéa Vilanova Garcia, João Inácio da Silva Filho

Abstract


Resumo: Neste trabalho apresentamos uma aplicação da lógica Paraconsistente anotada com anotação de dois valores (LPA2v) atuando em controle de processos industrial. Foram aplicadas as teorias das lógicas não clássicas denominadas de paraconsistentes e de estudos de aplicações baseados na análise do quadrado unitário no plano cartesiano (QUPC) e algoritmo Para-Analisador em circuito com microcontrolador. As técnicas baseadas no QUPC e algoritmo Para-Analisador foram implementados no software de código aberto ARDUINO e uma placa de desenvolvimento baseada no microcontrolador de oito bits da ATMEL. A partir do conjunto hardware e software foi desenvolvido um controlador de temperatura utilizando os conceitos LPA2v denominado de controlador Paraconsistente (ConTempLPA2v)e aplicado em um processo de controle em malha fechada. Os resultados da aplicação do ConTempLPA2v foram comparados com os obtidos em um controlador de temperatura industrial no mesmo processo atuando com controle ON/OFF e PID. Os valores resultantes comparativos demonstram um bom desempenho ConTempLPA2v considerando ser este o primeiro protótipo.

Palavras-chave: Lógica Paraconsistente Anotada, Lógica não Clássica, Microcontroladores, Simulador Eletrônico.

Temperature Control using a Technique based on Paraconsistent Annotated Logic

Abstract: In this paper we present an application of Paraconsistent annotated logic with annotations of two values (PAL2v) as industrial process controller. The non-classical logic theories denominated Paraconsistent logic and studies based on the analysis of the unit square in the Cartesian plane (USCP) and ParaAnalyzer algorithm were used on control circuits with microcontroller. The unit square in the Cartesian plane and ParaAnalyzer algorithm was implemented in open source software ARDUINO and development board based on the eight-bit microcontroller from ATMEL. From the whole hardware, software was developed using a temperature controller PAL2v the concepts called Paraconsistent controller (ContempPAL2v) and used in a process in closed loop. The application ContempPAL2v - was compared with a commercial temperature controller in the same process operating with ON/OFF and PID control. Whereas the first prototype the resulting comparative values show a good performance of the ConTempLPA2v.

Keywords: Paraconsistent annotated Logic, non-Classical Logic, Microcontrollers, Electronic Simulator.


Full Text: PDF

Refbacks

  • There are currently no refbacks.