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: obinário e o paraconsistente. 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
-
ABNT
SILVA FILHO, João Inácio da. Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas. 1997. Dissertação (Mestrado) – Universidade de São Paulo, São Paulo, 1997. Disponível em: https://www.teses.usp.br/teses/disponiveis/3/3140/tde-08102024-103937/pt-br.php. Acesso em: 19 nov. 2024. -
APA
Silva Filho, J. I. da. (1997). Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas (Dissertação (Mestrado). Universidade de São Paulo, São Paulo. Recuperado de https://www.teses.usp.br/teses/disponiveis/3/3140/tde-08102024-103937/pt-br.php -
NLM
Silva Filho JI da. Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas [Internet]. 1997 ;[citado 2024 nov. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3140/tde-08102024-103937/pt-br.php -
Vancouver
Silva Filho JI da. Implementação de circuitos lógicos fundamentados em uma classe de lógicas paraconsistentes anotadas [Internet]. 1997 ;[citado 2024 nov. 19 ] Available from: https://www.teses.usp.br/teses/disponiveis/3/3140/tde-08102024-103937/pt-br.php
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
