Treatment of Uncertainties with Algorithms of the Paraconsistent Annotated Logic

The method presented in this work is based on the fundamental concepts of Paraconsistent Annotated Logic with annotation of 2 values (PAL2v). The PAL2v is a non-classic Logics which admits contradiction and in this paper we perform a study using mathematical interpretation in its representative lattice. This studies result in algorithms and equations give an effective treatment on signals of information that represent situations found in uncertainty knowledge database. From the obtained equations, algorithms are elaborated to be utilized in computation models of the uncertainty treatment Systems. We presented some results that were obtained of analyses done with one of the algorithms that compose the paraconsistent analyzing system of logical signals with the PAL2v Logic. The paraconsistent reasoning system built according to the PAL2v methodology notions reveals itself to be more efficient than the traditional ones, because it gets to offer an appropriate treatment to contradictory information

Uso de Inversores de frequência em Aplicações de Bombeamento de Água para Instalações Prediais/ Use of Inverters in Water Pumping Applications in Building Installations

Em geral, motores elétricos de indução trifásicos de baixa potência são diretamente conectados à rede elétrica. Os motores de média e grande potência possuem dispositivos que, conectados entre a rede e o motor, permitem uma redução temporária da tensão aplicada aos seus terminais, limitando a corrente elétrica de partida. O Inversor de frequência é um dispositivo que tem essa finalidade. Neste artigo mostra-se ensaios com o uso de inversores de frequência em motores elétricos de potência em aplicações de bombeamento em instalações prediais visando redução de consumo de energia elétrica, entre outras vantagens

Uso da Lógica Paraconsistente Anotada para monitoração de falha por fadiga devido a vibração em tubulações de processos: Use of Paraconsistent Annotated Logic for monitoring of vibration-induced fatigue failure in process piping

O presente trabalho apresenta alguns conceitos de vibração em tubulações e técnicas de monitoração para mensurar riscos de falha por fadiga, conforme metodologias propostas pelas diretrizes do Energy Institute e da ISO - International Organization for Standardization. Com base nestas duas fontes de informações é investigado um modo de quantificar estes riscos utilizando os conceitos básicos de Lógica Paraconsistente Anotada com anotação de dois valores (LPA2v). Na sequência, a partir de dados reais de medição de vibração em tubulações de uma unidade de compressão (para condições distintas de operação), foi implementada configuração de algoritmos compondo uma Rede de Análise Paraconsistente (RAP), e determinado o valor do Grau de Certeza real resultante. Os resultados obtidos ratificaram a possibilidade de se aplicar este tipo de lógica em redes neurais destinadas a predição de falhas em tubulações por fadiga induzida por vibrações (VIF)

Desenvolvimento de um mecanismo de bombeamento automático integrado a um reanimador pulmonar manual / Development of an automatic pumping mechanism integrated with a manual lung resuscitator

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

Gestão de projeto utilizando indicador-chave de desempenho (KPI) na simulação virtual do desenvolvimento de uma célula robotizada atuando em processos automotivos

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

Comparativo entre um PID e um bloco funcional desenvolvido com base na Lógica Paraconsistente Anotada com Anotação de dois Valores - LPA2v, aplicado a um sistema de controle de temperatura utilizando um controlador programável: Comparison between a PID and a functional block developed based on Annotated Paraconsistent Logic with Annotation of two Values - LPA2v, applied to a temperature control system using a programmable controller

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)

Software de mineração de dados para obtenção de menores distâncias entre empresas fornecedoras de autopeças e empresas montadoras e de manutenção de veículos: Data mining software for smaller distances between suppliers of auto parts companies and automakers and vehicle maintenance

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

Integração de sistemas legados e atuais em instituição de registro público utilizando um Gateway para comunicação de diferentes plataformas: Using a Gateway for integration of different platforms systems in public registry institution

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

Sistema para detecção de alarmes utilizando lógica paraconsistente em banco de dados de rede de transmissão e distribuição de energia elétrica: Paraconsistent system of alarm detector acting in databases of network for transmission and distribution of electricity

Este artigo consiste em apresentar um modelo de normalização, processamento e análise de dados referentes as medições elétricas e seus respectivos alarmes com auxílio dos algoritmos da Lógica Paraconsistente Anotada de dois valores (LPA2v), uma lógica não-clássica capaz de suportar sinais contraditórios. Os dados das medições elétricas e alarmes são obtidos através de subestações de transmissão e distribuição de energia elétrica, que consecutivamente são gravados em bases de dados específicas. Após isso, os dados são migrados para uma nova base de dados e normalizados para a aplicação da LPA. A Lógica Paraconsistente é aplicada utilizando o Algoritmo Para-Analisador, com objetivo de obter informações importantes como o tipo de ocorrência representada pelo Estado Lógico Resultante. A partir dessa aplicação, é possível compararmos os alarmes disparados com os estados lógicos resultantes obtidos durante a análise. Como resultado desta pesquisa, foi desenvolvido um sistema computacional chamado ParaLogike Data Alarm capaz de realizar análises paraconsistentes e detectar alarmes em banco de dados de subestações de transmissão e distribuição de energia elétrica