Paraconsistent annotated logic applied to industry assets condition monitoring and failure prevention based on vibration signatures

Abstract

In this study, we introduced an expert system (ESvbrPAL2v), responsible for monitoring assets based on vibration signature analysis through a set of algorithms based on the Paraconsistent Annotated Logic – PAL. Being a non-classical logic, the main feature of the PAL is to support contradictory inputs in its foundation. It is therefore suitable for building algorithmic models capable of performing out appropriate treatment for complex signals, such as those coming from vibration. The ESvbrPAL2v was built on an ATMega2560 microcontroller, where vibration signals were captured from the mechanical structures of the machines by sensors and, after receiving special treatment through the Discrete Fourier Transform (DFT), then properly modeled to paraconsistent logic signals and vibration patterns. Using the PAL fundamentals, vibration signature patterns were built for possible and known vibration issues stored in ESvbrPAL2v and continuously compared through configurations composed by a network of paraconsistent algorithms that detects anomalies and generate signals that will report on the current risk status of the machine in real time. The tests to confirm the efficiency of ESvbrPAL2v were performed in analyses initially carried out on small prototypes and, after the initial adjustments, tests were carried out on bearings of a group of medium-power motor generators built specifically for this study. The results are shown at the end of this study and have a high index of signature identification and risk of failure detection. These results justifies the method used and future applications considering that ESvbrPAL2v is still in its first version.

Configuração de uma Rede Neural Artificial Paraconsistente para o Método de Aprendizado por Demonstração aplicado à um Braço Robótico

“…A LPA funcionando dessa forma, é denominada de Lógica Paraconsistente Anotada com anotação de dois valores (LPA2v), e as interpretações algébricas podem associar os graus de evidência na forma da anotação (, λ), aos estados lógicos do seu Reticulado associado. Como os valores de µ e λ podem variar entre 0 e 1, e pertencem ao conjunto R, então, com suas variações, podem ser considerados internamente no reticulado associado à LPA2v, infinitos estados lógicos paraconsistentes (Da Silva Filho et al, 2010), (Corrêa et al, 2022). λ= Grau evidência desfavorável.…”

Estrutura Microprocessada com Ação de Controle de Razão Baseada em Lógica Paraconsistente Anotada

“…Considerando este amplo campo de aplicação em automação, este trabalho tem por objetivo utilizar o algoritmo da Logica Research, Society and Development, v. 11, n. 13, e493111335850, 2022 (CC BY 4.0) | ISSN 2525-3409 | DOI: http://dx.doi.org/10.33448/rsd-v11i13.35850 Paraconsistente Anotada configurado em microcontrolador ATmel328P acoplado a placa de prototipagem Arduino no desenvolvimento do controle de razão com capacidade de ser utilizado na manutenção da proporção entre duas ou mais variáveis em um processo de mistura de líquidos em plantas industriais (Da Silva (Corrêa, et al, 2022).…”

“…Dessa forma o sinal de informação paraconsistente corresponde a uma proposição acompanhada por dois valores de evidencia denominados: grau de crença (evidência favorável -μ1) e grau de descrença (evidência desfavorável -μ2). A partir da análise no reticulado associado da LPA2v se obtém o equacionamento que utiliza os graus de evidencias que compõem a anotação para que sejam determinados o grau de Certeza (Gc), através da Equação 6 e o grau de Contradição (Gct), através da Equação 7, ambos expostos nos seus eixos horizontal e vertical, respectivamente (Corrêa, et al, 2022).…”