Orientador: Furio Damiani / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica / Made available in DSpace on 2018-07-14T01:23:14Z (GMT). No. of bitstreams: 1
Nunes_TulioIbanez_M.pdf: 5817305 bytes, checksum: 09382b135257f88dc2716b66be0e8f42 (MD5)
Previous issue date: 1991 / Resumo: Este trabalho apresenta os aspectos teóricos e práticos envolvidos na construção de um sistema especialista para verificação de regras elétricas em circuitos integrados de tecnologia CMOS. Inicialmente é feito um estudo sobre os paradigmas e técnicas de construção de sistemas especialistas. É apresentada uma arquitetura de um sistema especialista para verificação de regras. Na apresentação da arquitetura são mostrados os aspectos teóricos das regras elétricas que um circuito deve respeitar. Por fim é apresentado um protótipo do sistema verificador de regras elétricas, implementado em PROLOG, apresentando-se os resultados alcançados / Abstract: Not informed. / Mestrado / Mestre em Engenharia Elétrica
Identifer | oai:union.ndltd.org:IBICT/oai:repositorio.unicamp.br:REPOSIP/259111 |
Date | 15 February 1991 |
Creators | Nunes, Tulio Ibanez |
Contributors | UNIVERSIDADE ESTADUAL DE CAMPINAS, Damiani, Furio, 1943-2016, Costa, Eduardo Moreira da, Gomide, Fernando Antonio Campos |
Publisher | [s.n.], Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica e de Computação, Programa de Pós-Graduação em Engenharia Elétrica |
Source Sets | IBICT Brazilian ETDs |
Language | Portuguese |
Detected Language | Portuguese |
Type | info:eu-repo/semantics/publishedVersion, info:eu-repo/semantics/masterThesis |
Format | [148] f. : il., application/pdf |
Source | reponame:Repositório Institucional da Unicamp, instname:Universidade Estadual de Campinas, instacron:UNICAMP |
Rights | info:eu-repo/semantics/openAccess |
Relation | (Publicação FEE) |
Page generated in 0.0021 seconds