Search

A implantação de robôs nos processos de produção é primordial para a indústria automobilista e vem trazendo fortes desafios aos gestores desses projetos. Considerando que Simuladores Virtuais retroalimentados envolvendo robótica podem disponibilizar dados passiveis de serem aplicados em cálculos de Indicador-Chave de Desempenho (Key-Performance Indicator –KPI), apresenta-se neste artigo um método de utilizar essa ferramenta computacional para prever a eficiência de um projeto de célula robotizada com base em indicadores confiáveis para o seu acompanhamento nas etapas do desenvolvimento até que este alcance seu processo produtivo. Para detalhar os procedimentos apresenta-se a instalação de uma Célula Robotizada composta de dois braços robóticos atuando em conjunto no trabalho de estamparia de peças em indústria automobilística, onde, com o auxílio do software Plant Simulation 14, versão educacional, foi construído um pré-projeto e efetuadas simulações e obtidos valores para os ajustes e compatibilizações para as adequações baseados nas dimensões físicas das instalações reais. Os resultados obtidos por meio dos indicadores coletados utilizando o ambiente real e virtual indicam que esta técnica é bastante útil na elaboração deste tipo de projeto porque; permite otimizar a interatividade dos robôs com o processo produtivo extraindo o máximo desempenho de cada equipamento, documentar limites referenciais para futuras decisões e disponibilizá-los para a gestão nas etapas de seu desenvolvimento e ainda oferecer credibilidade aos financiadores através de indicadores de eficiência.

Neste artigo são apresentados os resultados da aplicação da Lógica Paraconsistente Anotada com anotação de dois valores (LPA2v) em um controle de temperatura em malha fechada através de um Controlador Programável seguindo a Norma IEC 61131, que em seu item 7 preconiza o estudo de lógicas não-clássicas aplicadas a sistemas de controle, utilizando para tal os conceitos de modularidade e de reuso de código. A LPA2v é uma lógica não clássica que apresenta como principal propriedade a capacidade de tratar contradições. Quando interpretada em seu Reticulado Associado pode-se deduzir equações dos fundamentos da LPA2v, das quais são originados algoritmos para tratamento de sinais contraditórios. Seguindo as premissas da norma, foi utilizada a linguagem Texto Estruturado para a criação de um bloco funcional denominado de BF_Paracon, bloco esse baseado em um Algoritmo da LPA2v denominado de Para-Analisador. Essa implantação permite que todas as propriedades da lógica sejam utilizadas por um Controlador Programável em um controle de processos contínuos ou de manufatura contemplando as regras da Norma IEC 61131. Utilizado como elemento principal de controle, o bloco BF_Paracon foi implementado em um estudo comportamental da malha controlada pelo algoritmo da LPA2v comparado à um controle convencional PID apresentando as afinidades entre os dois tipos. O bloco apresenta o ajuste discreto da potência térmica fornecida a um forno por uma resistência de aquecimento a partir da seleção da intensidade de potência entre doze níveis possíveis. A temperatura varia em um ciclo de limitação típico de controles de malha fechada não lineares discretos na resposta de referência ao degrau. A relevância nos resultados desta pesquisa se destaca na implementação inédita do Algoritmo Para-Analisador através de um Controlador programável a partir da criação do bloco (BF_Paracon) que engloba características de uma lógica não-clássica, onde é demonstrado que a sua modularidade facilita a implementação de sistemas de controle de automação baseados em fundamentos da Lógica Paraconsistente, bem como permite a união de blocos que atuam em conjunto com lógicas clássicas e sistemas baseados em outras linguagens pertencentes a Norma (Ladder).

A escolha do fornecedor de matérias-primas é uma decisão muito importante no dia a dia das empresas. Isto porque o valor gasto com aquisição de produtos ou serviços para a produção de um bem pode variar de 50 a 80% do total das receitas brutas. Dentre os fatores relevantes na escolha de um fornecedor de matérias-primas, a distância é um dos mais preponderantes. Este trabalho apresenta um sistema inteligente que foi desenvolvido especificamente para encontrar as menores distâncias geográficas na indústria automotiva, especificamente entre empresas montadoras de veículos e empresas fabricantes de autopeças e equipamentos. Os dados iniciais das empresas estavam em formato de arquivo-texto puro, sob o qual repousavam, inertes, informações importantes para auxiliar no processo de tomada de decisão sobre a escolha das fornecedoras. O único fator considerado na escolha das parceiras de produção, para este caso, foi a menor distância geográfica. Para obter as menores distâncias, foi desenvolvido um sistema inteligente que utiliza as bases do processo de KDD (Knowledge Discovery In Databases, ou Descoberta de Conhecimento em Bases de Dados), em especial o Data Mining (Mineração de Dados). Os dados iniciais passaram por um processo de limpeza, depuração, redução de quantidade e preparação, até ser possível aplicar técnicas de mineração de dados, a fim de conseguir demonstrar a capacidade da ferramenta desenvolvida em extrair informações ricas para auxiliar no processo decisório para escolha de potenciais fornecedores, baseado na menor distância entre as empresas.

Este artigo apresenta um estudo de caso da aplicação de um Gateway (software utilizado para conectar dois ou mais sistemas) para integração de diferentes plataformas, em instituição de registro público, de âmbito estadual, levando em conta o grande investimento realizado em tecnologia, visando agilidade, inovação e principalmente segurança em transações. A escolha da instituição foi baseada na sua importância para o estado de São Paulo, no pioneirismo, investimento, estudo e melhorias contínuas nos serviços prestados a população.

Os processos industriais nas refinarias de petróleo utilizam as bombas centrifugas para atuar na importante atividade de transporte de líquido por tubulações, onde ficam submetidas constantemente ao risco serem danificadas. As ações que colocam as bombas centrifugas em risco são originadas por diversos motivos, tais como, falhas no projeto da sua instalação, o tipo de produto transportado, o desgaste devido a sua vida útil e por flutuações de cargas e variações de pressão, vazão e temperatura, que são as variáveis físicas inerentes ao processo de produção. As ferramentas computacionais baseadas em lógica clássica que, devido aos seus princípios binários, não aceita contradição, têm apresentado dificuldades no monitoramento eficiente, visto que os dados provenientes dessas inúmeras fontes podem ser contraditórios. Neste trabalho foi desenvolvido um sistema dedicado ao monitoramento de uma bomba centrifuga funcionando no transporte de Nafta em uma refinaria de petróleo. O sistema de monitoramento utiliza os algoritmos da Lógica Paraconsistente Anotada (LPA), cujos fundamentos, sob certas condições, aceita a contradição sem perder a capacidade de oferecer conclusões válidas. Neste primeiro protótipo a configuração dos algoritmos da LPA foi estruturada para monitorar fenômenos físicos anormais gerados por variações de pressão, de temperatura, e ocorrências de trepidação na estrutura que indicam a presença da cavitação, danificando a bomba centrifuga de modo irreversível. A estrutura computacional configurada com os algoritmos da LPA, mostrou bons resultados nos testes desenvolvidos o que levam a considerá-la capaz de alertar a operação de modo eficiente, evitando danos na bomba centrifuga sob monitoração.

Os anos de 2020 e 2021 foram desafiadores para a humanidade, pois a pandemia provocada pelo coronavirus Sars-Cov-2 explicitou nos sistemas de saúde deficiências relacionadas ao diagnóstico, atendimento e tratamento de pacientes. A escassez de matéria prima para o setor hospitalar evoluiu de maneira exponencial, em especial, respiradores mecânicos tornaram-se equipamentos de extrema necessidade, refletindo em grande número de pesquisas acadêmicas sobre o desenvolvimento dos mesmos. O dispositivo pode ser reproduzido de maneira rápida e fácil através da configuração proposta, fazendo que o trabalho humano é substituído por um acionamento de alavancas mecânicas. Tanto a parte mecânica quanto a fluidodinâmica foram validadas, além dos acionamentos eletrônicos, fazendo com que o equipamento tenha uma eficiência atrativa para os fins de terapia de urgência. Além disso, o protótipo mostra-se atrativo e com impacto social relevante, salientando o baixo capital necessário para sua montagem, em comparação aos equipamentos citados na literatura como de baixo custo.

Annotated Logics are a category of non-classical logics that have recently appeared from a historical point of view. They are a type of paraconsistent, paracomplete and non-alethic logic. With the rapid development of AI and Automation and Robotics, more and more theory and techniques were coined to support the various issues that the themes were presenting. This expository work explores how to deal directly with conflicts (contradictions) and paracompleteness directly, without extra-logical devices. Support is given by the paraconsistent annotated evidential logic Et. Some applications are discussed.

Artificial neural networks (ANNs) have been used over the last few decades to perform tasks by learning with comparisons. Fitting input-output models, system identification, control, and pattern recognition are some fields for ANN applications. However, problems involving uncertain situations could be challenging for them. The family of paraconsistent logics (PL) is a powerful tool that can deal with uncertainty and contradictory information, so getting attention from researchers for its implications and applications in artificial intelligence. This investigation describes a novel activation function reasoned on the paraconsistent annotated logic by two-value annotations (PAL2v) rules, a variation of PL, allowing the design of a new paraconsistent neural net (PNN), applied in model identification for control (I4C) of a closed-loop rotary inverted pendulum (RIP) system.

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.

O presente trabalho traz um estudo para a obtenção da flexibilização das linhas de montagem na planta Anchieta da Volkswagen do Brasil. Para a implantação da flexibilização foram utilizadas interfaces inteligentes para controlar restrições e distribuições do mesmo modelo de automóvel em duas linhas produtivas. Foram aplicadas quatro interfaces inteligentes em duas linhas de produção automotivas distintas, onde o modelo Gol precisava ser feito nas duas linhas, obedecendo as restrições técnicas para alguns acabamentos específicos e visando atingir a meta de produção nestas duas linhas. Estas interfaces eram responsáveis em fazer a identificação do produto, analisar as restrições técnicas, assegurar que não existe ordem de produção duplicada e calcular a quantidade no circulante pelo volume entre o ponto de início de montagem até o ponto de escolha de linha. A automação implantada mudou de forma concreta o modo como as pessoas trabalham no dia a dia. Essa implementação foi fundamental para que a empresa conseguisse utilizar as duas linhas de processo de montagem, fazendo o modelo Gol básico, para atender a sua meta de produção diária otimizando seu curso no processo produtivo.

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.

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. En este estudio presentamos un sistema experto (SEvibrPAL2v) responsable de monitorear activos basado en el análisis de firmas de vibraciones a través de un conjunto de algoritmos basados ​​en la Lógica Anotada Paraconsistente - PAL. Al ser una lógica no clásica, la principal característica del LPA es soportar entradas contradictorias en su base y, por tanto, es adecuado para construir modelos algorítmicos capaces de realizar un tratamiento adecuado para señales complejas, como las que provienen de vibraciones. El SEvibrPAL2v se construyó en un microcontrolador ATMega2560, donde las señales de vibración fueron capturadas de las estructuras mecánicas de las máquinas por sensores y, después de recibir un tratamiento especial a través de la transformada de Fourier Discreta (TFD), luego modeladas apropiadamente a señales lógicas paraconsistentes y patrones de vibración. Usando los fundamentos PAL, se construyeron patrones de firma de vibración para diferentes problemas de vibración posibles y conocidos almacenados en SEvibrPAL2v y se compararon continuamente a través de configuraciones compuestas por redes de algoritmos paraconsistentes, que detectan anomalías y generan señales que informan el estado de riesgo actual en tiempo real de la máquina. Las pruebas para confirmar la eficiencia de SEvibrPAL2v se realizaron en análisis inicialmente realizados sobre pequeños prototipos y, tras los ajustes iniciales, se realizaron pruebas en rodamientos de un grupo de motogeneradores de media potencia de los construidos específicamente para este estudio. Los resultados se muestran al final de este estudio y tienen un alto índice de identificación de firmas y riesgo de detección de fallas, lo que justifica el método utilizado y futuras aplicaciones considerando que SEvibrPAL2v aún se encuentra en su primera versión. Neste estudo apresentamos um sistema especialista (SEvibrPAL2v) responsável pelo monitoramento de ativos baseado na análise de assinatura de vibração por meio de um conjunto de algoritmos baseados na Lógica Anotada Paraconsistente - LPA. Por ser uma lógica não clássica, a principal característica do LPA é suportar entradas contraditórias em sua fundação e, portanto, é adequado para a construção de modelos algorítmicos capazes de realizar o tratamento adequado para sinais complexos, como os provenientes de vibração. O SEvibrPAL2v foi construído em um microcontrolador ATMega2560, onde os sinais de vibração foram capturados das estruturas mecânicas das máquinas por sensores e, após receberem tratamento especial através da Transformada de Fourier Discreta (TFD), foram então modelados adequadamente para sinais lógicos paraconsistentes e padrões de vibração. Usando os fundamentos da lógica paraconsistente, padrões de assinatura de vibração foram construídos para diferentes problemas de vibração possíveis e conhecidos, armazenados no SEvibrPAL2v e continuamente comparados através de configurações compostas por redes de algoritmos paraconsistentes, que detectam anomalias e geram sinais que informam o status de risco atual em tempo real da máquina. Os testes de comprovação da eficiência do SEvibrPAL2v foram realizados em análises inicialmente realizadas em pequenos protótipos e, após os ajustes iniciais, foram realizados testes em um conjunto mecânico de média potência construído especificamente para este estudo. Os resultados são apresentados ao final deste estudo e possuem um alto índice de identificação de assinatura e detecção de risco de falha, o que justifica o método utilizado e futuras aplicações considerando que o SEvibrPAL2v ainda está em sua primeira versão.

In this work a new type of hybrid PI controller is presented using the Paraconsistent Logic (PL) as the basis for the mathematical and logical treatment of the signals corresponding to the control variables. This control has the conventional actions PI (Proportional and Integral) together with the logical actions structured in the concepts of Paraconsistent Logic. Compared to conventional techniques, this new type of Hybrid PI Controller with Paraconsistent Logic responded well to the various tests performed in the control loop. The tests and the technical validations were done with evidences that prove the efficiency of the paraconsistent concepts.

Apresenta-se neste artigo a construção de uma estrutura microcontrolada com algoritmos baseados em Lógica Paraconsistente Anotada compondo uma rede de análises de sinais com a finalidade de atuar como uma estação de razão em malhas de controle de mistura. A Estação de Razão Paraconsistente foi implementada em uma placa eletrônica open-source Arduino que possui um microControlador ATmega328P. O controle de razão é configurado com dois controladores atuando com ações PID-Proporcional+Integral+Derivativo e vem sendo muito utilizado nas plantas industriais em processos de misturas. Um dos principais problemas neste tipo de controle é que apresentam desequilíbrios entre a comunicação dos controladores quando ocorrem mudanças no ajuste de set point e na variável controlada, ocasionando diferenças percentuais entre as quantidades, o que pode inviabilizar a qualidade do produto final. Portanto, o objetivo da pesquisa foi contribuir para amenizar os efeitos danosos à produção quando são feitas alterações no ponto de ajuste dos controladores. Na estrutura algorítmica proposta utiliza-se algoritmos fundamentados em Logica Paraconsistente (LP) que é uma lógica não clássica capaz de suportar sinais contraditórios, o que faz com que seja vantajosa a sua aplicação em relação a lógica clássica binária. O hardware da Estação de Razão Paraconsistente foi simulado em laboratório e em uma malha de controle experimental apresentando resultados superiores a sistemas de razão que utilizam a lógica convencional.

This paper presents a computational method based on non-classical logic dedicated to routing management and information stream control in communication networks. Paraconsistent logic (PL) was used to create an algorithmic structure whose main property is to accept contradiction. Moreover, a computational structure, the denominated paraconsistent data analyzer (PDAPAL2v), was constructed to perform routing management in communication networks. Direct comparisons of PDAPAL2v with a classical logic system that simulates routing conditions were made in the laboratory. In the conventional system, the paraconsistent algorithms were considered as binary logic gates, and in the tests, the same adjustment limits of PDAPAL2v were applied. Using a database with controlled insertion of noise, we obtained an efficacy of 97% in the detection of deteriorated packets with PDAPAL2v and 72% with the conventional simulation system. Functional tests were carried out, showing that PDAPAL2v is able to assess the conditions and degradation of links and perform the analysis and correlation of various inputs and variables, even if the signals have contradictory values. From practical tests in the laboratory, the proposed method represents a new way of managing and controlling communication network routes with good performance.

A Lógica Paraconsistente Anotada – LPA é uma lógica não clássica, baseada em conceitos que permitem, sob certas condições, aceitar a contradição em seus fundamentos, sem invalidar as conclusões. Interpretações matemáticas em seu reticulado associado, possibilitam a obtenção de equações e construções de algoritmos, que formam redes de análise paraconsistentes eficientes, em tratar sinais simulando aprendizagem. O algoritmo utilizado nesta pesquisa, é denominado de Célula Neural Artificial Paraconsistente de aprendizagem (CNAPap), e foi criado a partir das equações baseadas em LPA. Com sinais padronizados repetidamente aplicados à sua entrada, a CNAPap é capaz de armazenar gradativamente estas informações, aumentando ou diminuindo seu nível de resposta na saída com variação assintótica, controlado por um Fator de Aprendizagem (FA). Para executar os testes, um conjunto de cinco CNAPaps formando uma Rede Neural Artificial Paraconsistente de aprendizagem (RNAPap), foi implementado em um microcontrolador ATMEGA 328p e vários ensaios foram realizados para validar o seu funcionamento, atuando no aprendizado por demonstração (LfD) em um Robô Manipulador. Considerando a frágil estrutura mecânica do Robô Manipulador, e dos dispositivos sensores adaptados para responder aos padrões, os resultados laboratoriais obtidos nos diversos testes apresentados foram satisfatórios, e o Sistema microprocessado construído respondeu de modo eficiente, onde os níveis de acertos, corresponderam entre 75% a 90%, em todas as etapas do método de LfD. Os resultados de estudos comparativos, mostraram que a RNAPap possui propriedades dinâmicas com capacidade de atuar, tanto no método de aprendizagem por demonstração, como no método de imitação.

Different approaches for the use of Artificial Neural Networks - ANNs, in the recognition of image patterns, have been used with variations ranging from the processing of the image data to the ANN architecture itself. This paper describes the development of a system that aims to recognize patterns of images with ANNs of three inputs that receive images decomposed into their RGB components. The ANNs have an architecture with two hidden layers of six neurons each, and use the algorithm Backpropagation. The built model normalizes RGB components with values ​​between zero and one. The Backpropagation algorithm is used for the purpose of functional approximation of these components, and after training, the numerical arrangements obtained in the three outputs corresponding to the inputs are denormalized to form the resulting training image. Six image pattern had training in different ANNs, forming a system to recognized each pattern. The feasibility of using the model was verified with the tests for its generalization capacity. Images used to position a mechanical device, which did not participate in the training, were inserted into the system and from them the positioning of the device was performed, with a high degree of accuracy. Se han utilizado diferentes enfoques para el uso de Redes Neuronales Artificiales - ANN, en el reconocimiento de patrones de imagen, con variaciones que van desde el procesamiento de los datos de la imagen hasta la propia arquitectura ANN. Este artículo describe el desarrollo de un sistema que tiene como objetivo reconocer patrones de imágenes con ANNs de tres entradas que reciben imágenes descompuestas en sus componentes RGB. Las ANN tienen una arquitectura con dos capas ocultas de seis neuronas cada una, y utilizan el algoritmo Backpropagation. El modelo construido normaliza los componentes RGB con valores entre cero y uno. El algoritmo Backpropagation se utiliza con el fin de realizar una aproximación funcional de estos componentes y, después del entrenamiento, los arreglos numéricos obtenidos en las tres salidas correspondientes a las entradas se desnormalizan para formar la imagen de entrenamiento resultante. Seis patrones de imagen fueron entrenados en diferentes ANN, formando un sistema para reconocer cada patrón. La factibilidad de uso del modelo se verificó con las pruebas de su capacidad de generalización. Las imágenes utilizadas para posicionar un dispositivo mecánico, que no participaba en el entrenamiento, fueron insertadas en el sistema ya partir de ellas se realizó el posicionamiento del dispositivo, con un alto grado de precisión. Diferentes abordagens para o uso de Redes Neurais Artificiais - RNAs, no reconhecimento de padrões de imagem, têm sido utilizadas com variações que vão desde o processamento dos dados da imagem até a própria arquitetura da RNA. Este artigo descreve o desenvolvimento de um sistema que visa reconhecer padrões de imagens com RNAs de três entradas que recebem imagens decompostas em seus componentes RGB. As RNAs possuem uma arquitetura com duas camadas ocultas de seis neurônios cada, e utilizam o algoritmo Backpropagation. O modelo construído normaliza os componentes RGB com valores entre zero e um. O algoritmo Backpropagation é utilizado para fins de aproximação funcional desses componentes e, após o treinamento, os arranjos numéricos obtidos nas três saídas correspondentes às entradas são desnormalizados para formar a imagem de treinamento resultante. Seis padrões de imagem foram treinados em diferentes RNAs, formando um sistema para reconhecer cada padrão. A viabilidade de utilização do modelo foi verificada com os testes de sua capacidade de generalização. Imagens utilizadas para posicionar um dispositivo mecânico, que não participou do treinamento, foram inseridas no sistema e a partir delas foi realizado o posicionamento do dispositivo, com alto grau de precisão.

The Paraconsistent Annotated Logic (PAL) is one type of non-classical logics that, differently than classical logic, allows the processing of contradictory signals in its theoretical structure. The Paraconsistent Artificial Neural Cell (PANcell) is the basic block of a set of algorithms that utilizes the interpretation of the lattice of the Paraconsistent Annotated Logic with annotation of two values (PAL2v). The Paraconsistent Artificial Neural Cell of Learning (LPANcell) is a type of PANcell that uses the output as a feedback to the input of the unfavorable degree of evidence in time. The resulting behavior is to learn any real value within a normalized closed range (interval values [0, 1]). This cell can be used in signal analysis, processing, average estimator and as a filter, called PAL2vFilter. The proposed article presents the results of the analysis of a PAL2vFilter, when using the simplified resulting degree of evidence - uE or the resulting degree of real evidence - uRE (when contradiction effects are extracted) as output.

In the last decades, the popularization of distributed generation systems has been increasing exponentially. That has led to the development of new modulation strategies aimed at improving the commutation of switches in power converters. Among the desired improvements is the best choice of the sequence of switching to obtain an excellent performance of the converter, as well as the mitigation of unwanted harmonics. Space Vector Modulation (SVM) is one of the most intensively studied strategies. This work presents a new approach of modulation, the paraconsistent space vector modulation (PSVM), that is based on SVM, but uses the a non classical Paraconsistent Annotated Logic (PAL) to define witch vector will be applied. The PAL theoretical basis allows the treatment of contradictory signs, and the main characteristic is the tolerance of contradiction in its foundations. As a result, it was possible to prove the validation of the technique and to provide subsidies for its improvement.