Deep learning for boolean matching

Detalhes bibliográficos
Autor(a) principal: Oberderfer Júnior, Réges Eduardo
Data de Publicação: 2018
Tipo de documento: Trabalho de conclusão de curso
Idioma: eng
Título da fonte: Repositório Institucional da UFRGS
Texto Completo: http://hdl.handle.net/10183/185008
Resumo: Boolean matching é a tarefa de determinar a equivalência entre funções booleanas, uma etapa essencial no mapeamento tecnológico. Este trabalho explora um novo método para resolver boolean matching usando aprendizagem de máquina. Boolean matching é aplicado usando um jogo de aprendizagem por reforço combinado com redes neurais profundas. O objetivo do jogo é encontrar a função representante semi-canônica, que é tomada como a função que corresponde ao menor inteiro na classe de equivalência. Se para duas funções a mesma função resultante é obtida, elas são equivalentes. Resultados mostram que o método proposto teve pior qualidade de resultados e pior desempenho do que o método usado para comparação. Porém, existe espaço para melhorar a performance usando estruturas de dados mais eficientes e hardware específico.
id UFRGS-2_fb26a37283e983c5539ee9c8ab09890a
oai_identifier_str oai:www.lume.ufrgs.br:10183/185008
network_acronym_str UFRGS-2
network_name_str Repositório Institucional da UFRGS
repository_id_str
spelling Oberderfer Júnior, Réges EduardoReis, Andre Inacio2018-11-23T02:44:41Z2018http://hdl.handle.net/10183/185008001077851Boolean matching é a tarefa de determinar a equivalência entre funções booleanas, uma etapa essencial no mapeamento tecnológico. Este trabalho explora um novo método para resolver boolean matching usando aprendizagem de máquina. Boolean matching é aplicado usando um jogo de aprendizagem por reforço combinado com redes neurais profundas. O objetivo do jogo é encontrar a função representante semi-canônica, que é tomada como a função que corresponde ao menor inteiro na classe de equivalência. Se para duas funções a mesma função resultante é obtida, elas são equivalentes. Resultados mostram que o método proposto teve pior qualidade de resultados e pior desempenho do que o método usado para comparação. Porém, existe espaço para melhorar a performance usando estruturas de dados mais eficientes e hardware específico.application/pdfengAprendizado : máquinaMicroeletrônicaDeep learning for boolean matchinginfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/bachelorThesisUniversidade Federal do Rio Grande do SulInstituto de InformáticaPorto Alegre, BR-RS2018Engenharia de Computaçãograduaçãoinfo:eu-repo/semantics/openAccessreponame:Repositório Institucional da UFRGSinstname:Universidade Federal do Rio Grande do Sul (UFRGS)instacron:UFRGSTEXT001077851.pdf.txt001077851.pdf.txtExtracted Texttext/plain93073http://www.lume.ufrgs.br/bitstream/10183/185008/2/001077851.pdf.txt650d134d8568ec9c1197f74bcafe18b9MD52ORIGINAL001077851.pdfTexto completo (inglês)application/pdf1196266http://www.lume.ufrgs.br/bitstream/10183/185008/1/001077851.pdf0afedf4117dc239bdd12e54f0f2ed308MD5110183/1850082021-05-26 04:36:19.076668oai:www.lume.ufrgs.br:10183/185008Repositório de PublicaçõesPUBhttps://lume.ufrgs.br/oai/requestopendoar:2021-05-26T07:36:19Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)false
dc.title.pt_BR.fl_str_mv Deep learning for boolean matching
title Deep learning for boolean matching
spellingShingle Deep learning for boolean matching
Oberderfer Júnior, Réges Eduardo
Aprendizado : máquina
Microeletrônica
title_short Deep learning for boolean matching
title_full Deep learning for boolean matching
title_fullStr Deep learning for boolean matching
title_full_unstemmed Deep learning for boolean matching
title_sort Deep learning for boolean matching
author Oberderfer Júnior, Réges Eduardo
author_facet Oberderfer Júnior, Réges Eduardo
author_role author
dc.contributor.author.fl_str_mv Oberderfer Júnior, Réges Eduardo
dc.contributor.advisor1.fl_str_mv Reis, Andre Inacio
contributor_str_mv Reis, Andre Inacio
dc.subject.por.fl_str_mv Aprendizado : máquina
Microeletrônica
topic Aprendizado : máquina
Microeletrônica
description Boolean matching é a tarefa de determinar a equivalência entre funções booleanas, uma etapa essencial no mapeamento tecnológico. Este trabalho explora um novo método para resolver boolean matching usando aprendizagem de máquina. Boolean matching é aplicado usando um jogo de aprendizagem por reforço combinado com redes neurais profundas. O objetivo do jogo é encontrar a função representante semi-canônica, que é tomada como a função que corresponde ao menor inteiro na classe de equivalência. Se para duas funções a mesma função resultante é obtida, elas são equivalentes. Resultados mostram que o método proposto teve pior qualidade de resultados e pior desempenho do que o método usado para comparação. Porém, existe espaço para melhorar a performance usando estruturas de dados mais eficientes e hardware específico.
publishDate 2018
dc.date.accessioned.fl_str_mv 2018-11-23T02:44:41Z
dc.date.issued.fl_str_mv 2018
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/bachelorThesis
format bachelorThesis
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10183/185008
dc.identifier.nrb.pt_BR.fl_str_mv 001077851
url http://hdl.handle.net/10183/185008
identifier_str_mv 001077851
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositório Institucional da UFRGS
instname:Universidade Federal do Rio Grande do Sul (UFRGS)
instacron:UFRGS
instname_str Universidade Federal do Rio Grande do Sul (UFRGS)
instacron_str UFRGS
institution UFRGS
reponame_str Repositório Institucional da UFRGS
collection Repositório Institucional da UFRGS
bitstream.url.fl_str_mv http://www.lume.ufrgs.br/bitstream/10183/185008/2/001077851.pdf.txt
http://www.lume.ufrgs.br/bitstream/10183/185008/1/001077851.pdf
bitstream.checksum.fl_str_mv 650d134d8568ec9c1197f74bcafe18b9
0afedf4117dc239bdd12e54f0f2ed308
bitstream.checksumAlgorithm.fl_str_mv MD5
MD5
repository.name.fl_str_mv Repositório Institucional da UFRGS - Universidade Federal do Rio Grande do Sul (UFRGS)
repository.mail.fl_str_mv
_version_ 1801224564287471616

Registros relacionados