Please use this identifier to cite or link to this item:
http://riu.ufam.edu.br/handle/prefix/5104
metadata.dc.type: | Relatório de Pesquisa |
Title: | 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. |
Keywords: | Processamento digital de sinais Verificação de modelos |
metadata.dc.subject.cnpq: | ENGENHARIAS |
metadata.dc.language: | pt_BR |
metadata.dc.publisher.country: | Brasil |
Publisher: | 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 |
Issue Date: | 31-Jul-2016 |
Appears in Collections: | Relatórios finais de Iniciação Científica - Engenharias |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Valdeson Dantas de Souza.pdf | 794,14 kB | Adobe PDF | View/Open |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.