Lógica para consistente anotada: aplicação na aquisição de dados de sensores de temperatura.

• Ano de defesa: 2003
• Autor(a) principal: LIMA JÚNIOR, Luis Hermano Casado de
• Orientador(a): FREIRE, Raimundo Carlos Silvério.
• Banca de defesa: MELO, Hiran de., ASSIS, Francisco Marcos de.
• Tipo de documento: Dissertação
• Tipo de acesso: Acesso aberto
• Idioma: por
• Instituição de defesa: Universidade Federal de Campina Grande
• Programa de Pós-Graduação: PÓS-GRADUAÇÃO EM ENGENHARIA ELÉTRICA
• Departamento: Centro de Engenharia Elétrica e Informática - CEEI
• País: Brasil
• Palavras-chave em Português: Lógica paraconsistente.; Sensores de temperatura.; Aquisição de dados.; Paraconsistory logic.; Temperature sensors.; Data acquisition.
• Área do conhecimento CNPq: Engenharia Elértrica.
• Link de acesso: http://dspace.sti.ufcg.edu.br:8080/jspui/handle/riufcg/2628

Nesta dissertação são apresentados os resultados de uma investigação da utilização da Lógica Paraconsistente anotada na medição e monitoramento da temperatura de um líquido aquecido por uma fonte de calor controlada. Na lógica paraconsistente anotada é necessário que se tenha à compreensão de como as imprecisões e incertezas ocorrem no processo de medição utilizando-se a instrumentação eletrônica, possibilitando a aferição da relevância e confiabilidade dos resultados obtidos através da aplicação da teoria da lógica paraconsistente. A característica fundamental da lógica paraconsistente é a de representar o manuseio de informações imprecisas, provendo um método de traduzir expressões verbais, vagas, imprecisas e qualitativas em valores numéricos. Apresenta-se um sistema projetado para a medição e o monitoramento da temperatura de um líquido no qual um microcontrolador é programado utilizando a lógica paraconsistente anotada de dois valores. Na medição da temperatura de um líquido utilizam-se dois pares de sensores que são distribuídos de modo a ressaltar as inconsistências das medidas. No monitoramento os sinais gerados pelos sensores, depois de processados por um conversor A/D, são analisados por meio de um algoritmo baseado na Lógica Paraconsistente. O controle da fonte de calor é efetuado por um sinal proveniente do microcontrolador após uma conversão D/A. Nos experimentos observou-se que os resultados das medidas de temperatura apresentavam uma exatidão de + I o C.