Henrique do Nascimento Cunha

Formação complementar

Idiomas

Áreas de atuação

Participação em eventos

Participação em bancas

Orientou

Produções bibliográficas

• CUNHA, H.N. ; FONSECA, T.M. ; NEFF, H. ; MELO, J. ; LABORDE, H.M. ; SILVA, F.L.A.J. ; MELCHER, E.U.K. ; LIMA, A.M.N. ; CAVALCANTI, E.H.S. . The interaction of ozone with bio-fuel, revealed by electrical conduction and infrared spectroscopy. Fuel Processing Technology , v. 92, p. 2160-2168, 2011.

• Silva, Karina R. G. da ; Melcher, Elmar U. K. ; Maia, Isaac ; CUNHA, HENRIQUE. N. . A methodology aimed at better integration of functional verification and RTL design. Design Automation for Embedded Systems , v. 10, p. 285-298, 2005.

• SILVA, W. D. P. ; CUNHA, A. P. ; SILVA, B. A. L. ; CUNHA, H.N. . Viabilidade WiMax em Monteiro- PB. In: Congresso Norte Nordeste de Pesquisa e Inovação, 2013, Salvador. Congresso Norte Nordeste de Pesquisa e Inovação, 2013.

• Cássio L. Rodrigues ; ROCHA, Karina ; CUNHA, HENRIQUE. N. ; FIGUEIREDO, J. C. A ; GUERREIRO, D. S. ; Melcher, Elmar U. K. . Improving Functional Verification of Embedded Systems Using Hierarchical Composition and Set Theory. In: 24thACM Symposium on Applied Computing, 2009, Honolulu. 24thACM Symposium on Applied Computing, 2009. p. 823-827.

• Melcher, Elmar U. K. ; CUNHA, HENRIQUE. N. ; NASCIMENTO NETA, M. L. ; MELO, F. G. L. ; RODRIGUES, M. B. E. . Design Approach for a Low Power Video Decoder. In: 17th IFIP/IEEE International Conference On Very Large Scale Integration, 2009, Florianópolis. 17th VLSI-SoC, 2009.

• CUNHA, HENRIQUE. N. . Análise de Mutação Aplicada à Verificação Funcional de IP core. 2008 (Dissertação de mestrado).

Outras produções

Projetos de pesquisa

• 2021 - Atual

  GoSyn4Tax, Descrição: O projeto GoSyn4Tax, tem por objetivo a execução de atividades de pesquisa e desenvolvimento de software e/ou automação, incluindo investigação, prototipação e testes de soluções, a ser executada pelo IFPB, para contemplar os seguintes objetivos: Desenvolver técnicas de automatização e robotização integradas ao sistema ERP e à Solução Fiscal para automatizar processos manuais complexos, principalmente os de interação com aplicações oficiais do Governo; Desenvolver código que seja executado em banco de dados em memória, com o uso de linguagem de programação funcional e com suporte ao gerenciamento de grandes volumes de dados (Big Data); Desenvolver uma visão em tempo real das informações fiscais e contábeis, com suporte ao gerenciamento de grandes volumes de dados (Big Data); Investigar e projetar técnicas inovadoras para solução fiscal e contábil; Investigar e propor técnicas que proporcionem agilidade no desenvolvimento de novas obrigações municipais, estaduais e federais.. , Situação: Em andamento; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (8) . , Integrantes: Henrique do Nascimento Cunha - Integrante / Hugo Feitosa de Figueiredo - Coordenador / Fabio Gomes de Andrade - Integrante.

• 2015 - 2015

  Método para controle de acesso físico usando QR-Code e criptografia assimétrica, Descrição: Em diversas ocasiões da vida cotidiana é necessário o sigilo ou proteção de informações, como também manter o controle de acesso físico de determinados ambientes, com objetivo de assegurar a ordem local, permitindo que apenas pessoas autorizadas sejam admitidas. Existem inúmeros sistemas de segurança, porém seus custos geralmente são elevados ou não podem garantir a segurança desejada e a alta velocidade de autenticação. Neste trabalho foi proposto a criação de um sistema de controle de acesso físico, utilizando a tecnologia QR-Code com criptografia assimétrica, baseando-se em pesquisas sobre as soluções existentes e os variados métodos adotados para autenticação, explorando as vulnerabilidades. O sistema criado fornece autenticidade, portabilidade e baixo custo, além de segurança e confidencia- lidade.. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Henrique do Nascimento Cunha - Coordenador / Dunfrey Pires Aragão - Integrante.

• 2013 - 2013

  Metodologia de Análise de Mutação para Verificação Funcional de IP core, Descrição: O desenvolvimento de circuitos integrados (CI) é levado a efeito por meio de um processo que engloba várias fases. Cada fase consome recursos do projeto (mão-de-obra, tempo, dinheiro, etc.). O objetivo do projeto desses circuitos é a obtenção de um produto com qualidade aceitável pelo mercado, mas que respeite os recursos alocados para a sua execução. A qualidade de um produto pode ser aferida ao se determinar o quanto da especificação foi preservado na implementação. No desenvolvimento de circuitos integrados, isso normalmente é feito usando um processo chamado de verificação funcional (BERGERON, 2003). Uma questão que surge no contexto da definição dos parâmetros de cobertura da verificação funcional é: Como sabemos se os parâmetros de cobertura e os estímulos escolhidos são suficientes para que o circuito integrado seja verificado de maneira a satisfazer a especificação? Precisamos de métricas que nos deem essa segurança. No contexto do desenvolvimento de software, existe uma técnica que é capaz de fornecer este tipo de métrica para um conjunto de casos de teste. Essa técnica é conhecida como análise de mutação (DEMILLO, LIPTON e SAYWARD, 1978) e provê o escore de mutação como métrica. Diante do exposto, podemos levantar algumas das questões que serão abordadas neste projeto: ? É possível aplicar a análise de mutação no contexto da verificação funcional de um circuito digital? ? O escore de mutação pode prover uma métrica de qualidade da verificação funcional? ? Como esse escore afeta a qualidade do produto final?. , Situação: Concluído; Natureza: Pesquisa. , Alunos envolvidos: Graduação: (1) . , Integrantes: Henrique do Nascimento Cunha - Coordenador / Gabriel Aragão Batista - Integrante.

• 2011 - 2012

  Viabilidade WiMax em Monteiro-PB, Descrição: Projeto que visa fazer um levantamento sobre a situação atual das conexões e provedores de internet, além de avaliar a viabilidade para instalação de redes WiMax na cidade de Monteiro na Paraíba. , Situação: Concluído; Natureza: Pesquisa. , Integrantes: Henrique do Nascimento Cunha - Integrante / Wislayne Dayanne Pereira da Silva - Integrante / Aldry Pires da Cunha - Coordenador / Bruna Alice Lima da Silva - Integrante.