Relatório de Pesquisa

Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos

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 p...

ver descrição completa

Autor principal: Valdeson Dantas de Souza
Grau: Relatório de Pesquisa
Idioma: pt_BR
Publicado em: Universidade Federal do Amazonas 2017
Assuntos:
Processamento digital de sinais
Verificação de modelos
ENGENHARIAS
Acesso em linha: http://riu.ufam.edu.br/handle/prefix/5104
id oai:localhost:prefix-5104
recordtype dspace
spelling oai:localhost:prefix-51042025-03-10T20:34:02Z Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos Valdeson Dantas de Souza Lucas Carvalho Cordeiro Processamento digital de sinais Verificação de modelos ENGENHARIAS 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. CNPQ 2017-05-29T18:33:46Z 2017-05-29T18:33:46Z 2016-07-31 Relatório de Pesquisa http://riu.ufam.edu.br/handle/prefix/5104 pt_BR Acesso Aberto PDF Universidade Federal do Amazonas Brasil Faculdade de Tecnologia Faculdade de Tecnologia PROGRAMA PIBIC 2015 UFAM
institution Repositório Institucional - Universidade Federal do Amazonas
collection RI-UFAM
language pt_BR
topic Processamento digital de sinais
Verificação de modelos
ENGENHARIAS
spellingShingle Processamento digital de sinais
Verificação de modelos
ENGENHARIAS
Valdeson Dantas de Souza
Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos
topic_facet Processamento digital de sinais
Verificação de modelos
ENGENHARIAS
description 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.
author_additional Lucas Carvalho Cordeiro
author_additionalStr Lucas Carvalho Cordeiro
format Relatório de Pesquisa
author Valdeson Dantas de Souza
title Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos
title_short Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos
title_full Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos
title_fullStr Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos
title_full_unstemmed Avaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos
title_sort avaliação de projetos de filtros digitais de ponto-fixo usando verificação de modelos
publisher Universidade Federal do Amazonas
publishDate 2017
url http://riu.ufam.edu.br/handle/prefix/5104
_version_ 1831969663418892288
score 11.755432

Registros relacionados