metadata.dc.type:	Relatório de Pesquisa
Título :	Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos
metadata.dc.creator:	Valdeson Dantas de Souza
metadata.dc.contributor.advisor1:	Lucas Carvalho Cordeiro
metadata.dc.description.resumo:	Atualmente, os filtros digitais são empregados em uma ampla variedade de aplicações para processamento de sinais, utilizando tanto processadores de ponto flutuante quanto de ponto fixo. No que diz respeito a este último, algumas implementações de filtro podem estar mais propensas a erros, devido a problemas relacionados com a palavra de dados de comprimento finito. Em particular, o processamento de sinais utilizando tais realizações pode produzir o problema de estouro aritmético e ruídos indesejados causados pela quantização e efeitos de arredondamento, durante operações acumulativas de adição e multiplicação. O presente projeto de pesquisa visa abordar este problema e propõe uma nova metodologia para a verificação de filtros digitais, com base em um verificador de modelos no estado da arte, chamado ESBMC, que suporta linguagens C/C++ e emprega solucionadores baseados em teoria do módulo da satisfatibilidade. Além de verificar a ocorrência de estouro aritmético e ciclo limite, o presente projeto de pesquisa visa também verificar propriedades de projeto, como estabilidade e resposta em frequência, bem como restrições temporais e erro de saída, com base em modelos de tempo discreto implementados em C.
Palabras clave :	Processamento digital de sinais Verificação de modelos
metadata.dc.subject.cnpq:	ENGENHARIAS
metadata.dc.language:	pt_BR
metadata.dc.publisher.country:	Brasil
Editorial :	Universidade Federal do Amazonas
metadata.dc.publisher.initials:	UFAM
metadata.dc.publisher.department:	Faculdade de Tecnologia Faculdade de Tecnologia
metadata.dc.publisher.program:	PROGRAMA PIBIC 2015
metadata.dc.rights:	Acesso Aberto
URI :	http://riu.ufam.edu.br/handle/prefix/5104
Fecha de publicación :	31-jul-2016
Aparece en las colecciones:	Relatórios finais de Iniciação Científica - Engenharias

Los ítems de DSpace están protegidos por copyright, con todos los derechos reservados, a menos que se indique lo contrario.