Use este identificador para citar ou linkar para este item:
https://rd.uffs.edu.br/handle/prefix/2697
Registro completo de metadados
Campo DC | Valor | Idioma |
---|---|---|
dc.contributor.advisor1 | Wuerges, Emílio | - |
dc.creator | Rogoski, Renan Roberto | - |
dc.date | 2018 | - |
dc.date.accessioned | 2019-04-10T16:55:19Z | - |
dc.date.available | 2019 | - |
dc.date.available | 2019-04-10T16:55:19Z | - |
dc.date.issued | 2018 | - |
dc.identifier.uri | https://rd.uffs.edu.br/handle/prefix/2697 | - |
dc.description.abstract | Signature Functions are intended to compute compact representations that characterize some properties of Boolean functions, called signatures. Each Boolean function has a unique signature, but a signature can be related to one or more functions. Canonical forms can be used to verify that two functions are equivalent, but they are very costly, so the use of signature functions can help shorten the search space for equivalence by quickly disqualifying designs that are not equivalent. | pt_BR |
dc.description.resumo | Funções de Assinatura visam calcular representações compactas que caracterizam algumas propriedades de funções booleanas, chamadas de assinaturas. Cada função booleana possui uma assinatura única, mas uma assinatura pode estar relacionada a uma ou mais funções. Formas canônicas podem ser usadas para verificar se duas funções, são equivalentes, porém são muito custosas, assim o uso de funções de assinatura pode ajudar a reduzir o espaço de busca para a equivalência, desclassificando rapidamente designs que não são equivalentes. | pt_BR |
dc.description.provenance | Submitted by SUELEN SPINDOLA BILHAR (suelen.bilhar@gmail.com) on 2019-04-09T12:15:59Z No. of bitstreams: 1 ROGOSKI.pdf: 2280354 bytes, checksum: 9a1b366e9d6431545166516b0d97db95 (MD5) | en |
dc.description.provenance | Approved for entry into archive by Diego dos Santos Borba (dborba@uffs.edu.br) on 2019-04-10T16:55:19Z (GMT) No. of bitstreams: 1 ROGOSKI.pdf: 2280354 bytes, checksum: 9a1b366e9d6431545166516b0d97db95 (MD5) | en |
dc.description.provenance | Made available in DSpace on 2019-04-10T16:55:19Z (GMT). No. of bitstreams: 1 ROGOSKI.pdf: 2280354 bytes, checksum: 9a1b366e9d6431545166516b0d97db95 (MD5) Previous issue date: 2018 | en |
dc.language | por | pt_BR |
dc.publisher | Universidade Federal da Fronteira Sul | pt_BR |
dc.publisher.country | Brasil | pt_BR |
dc.publisher.department | Campus Chapecó | pt_BR |
dc.publisher.initials | UFFS | pt_BR |
dc.rights | Acesso Aberto | pt_BR |
dc.subject | Ciência da computação | pt_BR |
dc.subject | Lógica | pt_BR |
dc.title | Funções de assinatura para correspondência booleana | pt_BR |
dc.type | Monografia | pt_BR |
Aparece nas coleções: | Ciência da Computação |
Arquivos associados a este item:
Arquivo | Descrição | Tamanho | Formato | |
---|---|---|---|---|
ROGOSKI.pdf | 2,23 MB | Adobe PDF | Visualizar/Abrir |
Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.