2013 - XXXI Simpósio Brasileiro de Telecomunicações
Um Sistema de Monitoramento para Detecção de Objetos em Tempo Real empregando Câmera em Movimento
Neste trabalho, empregamos uma câmera acoplada a um robô em movimento sobre um trilho retilíneo para detectar, em tempo real, objetos abandonados em um amb...
- Gustavo Carvalho
- José F. L. de Oliveira
- Eduardo A. B. da Silva
- Sergio L. Netto
- Gustavo Freitas
- Gabriel C. Motta-Ribeiro
- Ramon R. Costa
- Câmera em movimento
- detecção de objeto
- tempo real
- ambiente desordenado
- visão computacional
SBrT 2013
Utilização de FRP variável para tratamento de zonas cegas em sistemas de radar de ruído pulsado
This work addresses a method of eliminating blind zones and range ambiguity in monostatic pulsed radar systems. It is employed a combined use of Noise Rada...
- Bruno Pompeo
- Leandro Pralon
- Gabriel Beltrão
- radar systems
- noise radar
- waveform
- pulse repetition frequency
SBrT 2013
Verificação de Códigos Lua Utilizando BMCLua
O presente artigo descreve uma abordagem de verificação de possíveis defeitos em códigos Lua, através da ferramenta Bounded Model Checker. Tal abordagem tr...
- Francisco de A. P. Januário
- Lucas Cordeiro
- Eddie B. L. Filho
- TV Digital
- Verificação de modelos
- Lua
SBrT 2013
Verificação de Propriedades de Filtros Digitais Implementados com Aritmética de Ponto Fixo
In the digital signal processing area, one of the most important tasks is the digital filter design. Currently, this procedure is performed with the aid of c...
- Mauro L. de Freitas
- Mikhail Y. R. Gadelha
- Lucas Cordeiro
- Waldir S. S. Júnior
- Eddie B. L. Filho
- ESBMC
- Model checking
- Digital Filters
- Frequency Response
- overflow
SBrT 2013
Verifying Fixed-Point Digital Filters using SMT- Based Bounded Model Checking
The implementation of digital filters in processors based on fixed-point arithmetic can lead to problems related to the finite word-length. In particular, ...
- Renato B. Abreu
- Lucas Cordeiro
- Eddie B. L. Filho
- fixed-point filters
- formal methods
- bounded model checking.
SBrT 2013