Use este identificador para citar ou linkar para este item: http://riu.ufam.edu.br/handle/prefix/5104
Registro completo de metadados
Campo DCValorIdioma
dc.contributor.advisor1Lucas Carvalho Cordeiro-
dc.creatorValdeson Dantas de Souza-
dc.date.accessioned2017-05-29T18:33:46Z-
dc.date.available2017-05-29T18:33:46Z-
dc.date.issued2016-07-31-
dc.identifier.urihttp://riu.ufam.edu.br/handle/prefix/5104-
dc.description.resumoAtualmente, 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.pt_BR
dc.description.sponsorshipCNPQpt_BR
dc.formatPDF-
dc.languagept_BRpt_BR
dc.publisherUniversidade Federal do Amazonaspt_BR
dc.publisher.countryBrasilpt_BR
dc.publisher.departmentFaculdade de Tecnologiapt_BR
dc.publisher.departmentFaculdade de Tecnologiapt_BR
dc.publisher.programPROGRAMA PIBIC 2015pt_BR
dc.publisher.initialsUFAMpt_BR
dc.rightsAcesso Abertopt_BR
dc.subjectProcessamento digital de sinais-
dc.subjectVerificação de modelos-
dc.subject.cnpqENGENHARIASpt_BR
dc.titleAvaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelospt_BR
dc.typeRelatório de Pesquisapt_BR
dc.pibic.cursoEngenharia Elétrica - Telecomunicaçõespt_BR
dc.pibic.nrprojetoPIB-E/0003/2015-
dc.pibic.projetoAvaliação de Projetos de Filtros Digitais de Ponto-Fixo usando Verificação de Modelos-
dc.pibic.dtinicio2015-08-01-
dc.pibic.dtfim2016-07-31-
Aparece nas coleções:Relatórios finais de Iniciação Científica - Engenharias

Arquivos associados a este item:
Arquivo Descrição TamanhoFormato 
Valdeson Dantas de Souza.pdf794,14 kBAdobe PDFVisualizar/Abrir
Mostrar registro simples do item Recomendar este item


Os itens no repositório estão protegidos por copyright, com todos os direitos reservados, salvo quando é indicado o contrário.