Deep learning for boolean matching
Fecha
2018Tutor
Nivel académico
Grado
Tipo
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 p ...
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. ...
Institución
Universidade Federal do Rio Grande do Sul. Instituto de Informática. Curso de Engenharia de Computação.
Colecciones
-
Tesinas de Curso de Grado (36523)Tesinas Ingenierías (5727)
Este ítem está licenciado en la Creative Commons License
![](/themes/Mirage2Novo//images/lume/cc.png)