annotated logic
Recently Published Documents


TOTAL DOCUMENTS

70
(FIVE YEARS 10)

H-INDEX

11
(FIVE YEARS 2)

2022 ◽  
Vol 11 (1) ◽  
pp. e14211125104
Author(s):  
Márcio Pereira Corrêa ◽  
Ayslan Cuzzuol Machado ◽  
João Inácio da Silva Filho ◽  
Dorotéa Vilanova Garcia ◽  
Mauricio Conceição Mario ◽  
...  

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.


2021 ◽  
pp. 115865
Author(s):  
Hyghor Miranda Côrtes ◽  
Paulo Eduardo Santos ◽  
João Inácio da Silva Filho

2021 ◽  
Vol 192 ◽  
pp. 3049-3059
Author(s):  
Liliam Sayuri Sakamoto ◽  
Davis Alves ◽  
Jair M. Abe ◽  
Jonatas S. De Souza ◽  
Nilson A. De Souza ◽  
...  

2020 ◽  
Vol 18 ◽  
pp. 78-113
Author(s):  
João Inácio da Silva Filho

In this paper, we present a model of the atom that is based on a nonclassical logic called paraconsistent logic (PL), which has the main property of accepting the contradiction in logical interpretations without the conclusions being annulled. The proposed model is constructed with an extension of PL called paraconsistent annotated logic with annotation of two values (PAL2v), which is associated with an interlaced lattice of four vertices. We use the logarithmic function of the Shannon entropy H(s) to construct the paraconsistent equations and thus adopt a probabilistic model for representations in quantum physics. Through analyses of the interlaced lattice, comparative values are obtained for some of the phenomena and effects of quantum mechanics, such as superposition of states, wave functions, and equations that determine the energy levels of the atomic shells of an atom. At the end of this article, we use the hydrogen atom as a basis for the representation of the PAL2v model, where the values of the energy levels in six orbital shells are obtained. As an example, we present a possible method of applying the PAL2v model to the use of Raman spectroscopy signals in the detection of lubricating mineral oil quality.


2020 ◽  
Vol 3 (1) ◽  
pp. 2
Author(s):  
Arnaldo De Carvalho Junior ◽  
João Francisco Justo Filho ◽  
Alexandre Maniçoba De Oliveira ◽  
Charles Artur Santos De Oliveira ◽  
João Inacio Da Silva Filho

The Active Noise Reduction (ANR) is widely used in aircraft, headsets, telecommunications and medicine systems, to reduce or eliminate noise, while maintaining the characteristics of the desired signal. In this article a network of paraconsistent artificial neural cells (PANC) will be presented, based on the paraconsistent annotated logic by 2 values annotations (PAL2v) that allows to operate as ANR. Simulations indicate that the results presented by ANRPAL are better than those obtained by classic filters.


Author(s):  
João Inácio da Silva Filho

In this work, we present a model of the atom that is based on a nonclassical logic called paraconsistent logic (PL), which has the main property of accepting the contradiction in logical interpretations without the conclusions being annulled. The proposed model is constructed with an extension of PL called paraconsistent annotated logic with annotation of two values (PAL2v), which is associated with an interlaced bilattice of four vertices. We use the logarithmic function of the Shannon entropy H(s) to construct the paraconsistent equations and thus adapt a probabilistic model for representations in quantum physics. Through analyses of the interlaced bilattice, comparative values are obtained for some of the phenomena and effects of quantum mechanics, such as superposition of states, quantum entanglement, wave functions, and equations that determine the energy levels of the layers of an atom. At the end of this article, we use the hydrogen atom as a basis of the representation of the PAL2v model, where the values of the energy levels in six orbital layers are obtained. As an example, we present a possible method of applying the PAL2v model to the use of Raman spectroscopy signals in the detection of lubricating mineral oil quality.


Author(s):  
Marjorie Maria Bellinello ◽  
Gilberto Francisco Martha de Souza ◽  
Carlos Alberto Murad ◽  
Adherbal Caminada Netto ◽  
Arthur Henrique de Andrade Melani ◽  
...  

Author(s):  
João Inácio da Silva Filho

In this work, we present a model of the atom that is based on nonclassical logic called paraconsistent logic (PL), which has the main property of accepting the contradiction in logical interpretations without the conclusions being annulled. The model proposed in this work is constructed with the extension of PL called paraconsistent annotated logic with annotation of two values (PAL2v) that is associated with an interlaced bilattice of four vertices. We used the logarithmic function of the Shannon entropy H(s) with the inclusion of the normalized Planck constant ħ to construct the paraconsistent equations. Through the analyses of the interlaced bilattice, comparative values are obtained for some of the phenomena and effects of quantum mechanics, such as superposition of states, quantum entanglement, wave functions, and equations that determine the energy levels of the layers of the atom. At the end of this article, we use the hydrogen atom as the basis of the representation of the PAL2v model, where the values of the energy levels in six orbital layers are obtained. As an example, we present a possible method of applying the PAL2v model to the use of Raman spectroscopy signals in quality detection of lubricating mineral oil.


2019 ◽  
Vol 84 ◽  
pp. 112-124 ◽  
Author(s):  
Marcelo Saraiva Coelho ◽  
João Inácio da Silva Filho ◽  
Hyghor Miranda Côrtes ◽  
Arnaldo de Carvalho ◽  
Maurício Fontoura Blos ◽  
...  

2019 ◽  
Vol 393 ◽  
pp. 98-106 ◽  
Author(s):  
Silvia H. Bonilla ◽  
Fábio Papalardo ◽  
Celso A. Tassinari ◽  
Jose B. Sacomano ◽  
Fabio Romeu de Carvalho

Sign in / Sign up

Export Citation Format

Share Document