Exportar registro bibliográfico

Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas (1997)

  • Authors:
  • Autor USP: SILVA FILHO, JOÃO INÁCIO DA - EP
  • Unidade: EP
  • Sigla do Departamento: PEE
  • Subjects: ENGENHARIA ELÉTRICA; CIRCUITOS LÓGICOS
  • Language: Português
  • Abstract: Neste trabalho é apresentada uma nova família de portas lógicas digitais projetadas para receber e responder a sinais lógicos interpretados a partir da semântica das lógicas Paraconsistentes Anotadas. As lógicas Paraconsistentes pertencem ao grupo das chamadas lógicas não-clássicas e diferem das lógicas convencionais por aceitarem a existência de sinais contraditórios ou inconsistentes de um modo não trivial. Nas lógicas paraconsistentes estas contradições ou inconsistências são convenientemente tratadas, produzindo como resultante o sinal que mais se aproxima do verdadeiro, dando a este, um certo grau de crença ou valoração. As portas lógicas e os circuitos aqui apresentados, foram projetados especialmente para que traduzam em sinais lógicos eletrônicos, os estudos prévios desenvolvidos das Lógicas Paraconsistentes Anotadas. Demonstra-se que os circuitos das portas lógicas paraconsistentes que foram projetados são plenamente compatíveis a qualquer circuito que utilize a lógica convencional binária e o paraconsistente. Portanto, os circuitos implementados com a Lógica Paraconsistente não têm a pretensão de substituir os circuitos eletrônicos digitais convencionais, mas, a sua principal aplicabilidade é nos casos em que a lógica binária se torna ineficiente, ou até mesmo impossível de ser aplicada. A "compatibilidade" da Lógica Paraconsistente com a lógica convencional possibilita o funcionamento em harmonia dos dois sistemas digitais: o binário e oparaconsistente. Com base na interpretação teórica da Lógica Paraconsistente Anotada foram extraídas as tabelas-verdades, possibilitando que fossem implementados os circuitos das portas lógicas paraconsistentes básicas. Estas portas lógicas primitivas foram denominadas de: Operadores n, Operador Complemento Paraconsitente, Conectivo AND Paraconsistente e Conectivo OR Paraconsistente. ) Utilizando-se as portas lógicas primitivas aqui implementadas é apresentado um circuito, denominado Módulo Analisador Paraconsistente (MAP), que trata os sinais paraconsistentes, conforme a proposta teórica básica dass lógicas Paraconsistentes Anotadas. Este circuito é projetado utilizando-se principalmente das portas lógicas primitivas. Com a aplicação dos circuitos das portas lógicas paraconsistentes abrem-se possibilidades de se projetar circuitos mais complexos, tratando convenientemente as inconsistências que sempre aparecem em sistemas lógicos digitais. Todos os circuitos aqui apresentados foram projetados utilizando-se a técnica full custom para um processo digital CMOS de 1,2 'mü'm, e as simulações foram feitas para o funcionamente numa freqüência típica de 50 Mhz
  • Imprenta:
  • Data da defesa: 03.06.1997

  • How to cite
    A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas

    • ABNT

      SILVA FILHO, João Inácio da; PRÓSPERO SANCHEZ, Pedro Luís. Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas. 1997.Universidade de São Paulo, São Paulo, 1997.
    • APA

      Silva Filho, J. I. da, & Próspero Sanchez, P. L. (1997). Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas. Universidade de São Paulo, São Paulo.
    • NLM

      Silva Filho JI da, Próspero Sanchez PL. Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas. 1997 ;
    • Vancouver

      Silva Filho JI da, Próspero Sanchez PL. Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas. 1997 ;


Digital Library of Intellectual Production of Universidade de São Paulo     2012 - 2021