Skip to content

Sociedade Brasileira de Telecomunicações

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

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

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

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

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

SBrT 2013