Resumo (PT)
O GLP (Gás Liquefeito de Petróleo) é um dos mais importantes combustíveis usados em residências e pequenos comércios e muitos acidentes ocorrem no Brasil devido a vazamentos. Os motivos são os mais variados, desde a falta de fiscalização até a ausência de algum meio que alerte para tais vazamentos. Um dispositivo eletrônico instalado nesses locais poderia alertar a ocorrência de vazamentos de gás, evitando um grande número de acidentes. Este trabalho propõe um dispositivo eletrônico, baseado na Lógica Paraconsistente, de fácil instalação e baixo custo, para detecção de vazamentos de GLP. Para esse objetivo, realizou-se um estudo sobre a composição e características do GLP, os modelos de sensores existentes no mercado para detecção de vazamentos de gás. Fez-se, também, uma análise, se a plataforma Open Source Arduino, dentre as existentes, seria a melhor para se construir o dispositivo. Escolhida a plataforma e o sensor, realizou-se um estudo sobre implementação da Lógica Paraconsistente Anotada Evidencial Et no dispositivo. Um software em linguagem C foi desenvolvido e instalado na plataforma Arduino, que analisa os sinais provenientes dos sensores por meio da Lógica Paraconsistente e indica se o ambiente está sob risco de acidente. Detectado o provável risco, o dispositivo emite um sinal visual e sonoro de alerta.