Prop Qualif Cledson Sousa UFF

UNIVERSIDADE FEDERAL FLUMINENSE
Cledson Oliveira de Sousa
Um Mecanismo de Rendezvous para Redes de Rdios

Cognitivos Baseado em Planejamentos Combinatrios
NITERI
2016
UNIVERSIDADE FEDERAL FLUMINENSE
Um Mecanismo de Rendezvous para Redes de Rdios

Cognitivos Baseado em Planejamentos Combinatrios
Proposta de Tese de Doutorado apresentada ao

Programa de Ps-Graduao em Computao da
Universidade Federal Fluminense como requi-
sito parcial para a obteno do Grau de Doutor
em Computao. rea de concentrao: Siste-
mas de Computao.
Orientador:
Prof. Dr.: Clio Vinicius Neves de Albuquerque
Coorientador:
Prof. Dr.: Ricardo Campanha Carrano
NITERI
2016
Um Mecanismo de Rendezvous para Redes de Rdios Cognitivos Baseado em Planejamentos

Combinatrios
Proposta de Tese de Doutorado apresentada ao

Programa de Ps-Graduao em Computao da
Universidade Federal Fluminense como requisito par-
cial para a obteno do Grau de Doutor em Computa-
o. rea de concentrao: Sistemas de Computao.
Aprovada em outubro de 2016.
BANCA EXAMINADORA
Prof. Dr.: Clio Vinicius Neves de Albuquerque - Orientador

Universidade Federal Fluminense
Prof. Dr.: Ricardo Campanha Carrano - Coorientador

Prof. Dr.: Alexandre Sztajnberg

Universidade do Estado do Rio de Janeiro
Prof. Dr.: Antonio Augusto de Arago Rocha

Prof. Dr.: Jos Ferreira de Rezende

Universidade Federal do Rio de Janeiro
Niteri
2016
Resumo
O rpido crescimento das tecnologias de redes sem fio, o surgimento de novos e variados disposi-
tivos que oferecem ou precisam de interconexo com a Internet e uma brutal demanda reprimida
por acesso banda larga, principalmente longe dos grandes centros, esbarram no problema do
esgotamento do espectro de frequncia dos servios de telecomunicaes. O necessrio uso mais
eficiente do espectro passa por algumas solues, entre elas o aperfeioamento e implementaes
de redes de rdios com capacidade cognitiva. Nosso trabalho procura contribuir na soluo
do problema do encontro s cegas, criando um mecanismo assncrono, distribudo e robusto
para promover o encontro e a comunicao entre dois ou mais rdios cognitivos, empregando
saltos em frequncia com novas sequncias e mapeamentos baseados na teoria do planejamento
combinatrio.
Palavras-chave: redes sem fio, rdios cognitivos, reuso espectral.
Abstract
The rapid growth of wireless networking technologies, the emergence of several new devices
that offer or need Internet interconnection, and a brutal pent-up demand for wide band access,
especially away from the big cities, bump on the problem of the frequency spectrum exhaustion
for telecommunications services. A more efficient use of the spectrum passes through some
solutions, including the improvement and network deployments of radios with cognitive ability.
Our work seeks to contribute to solve the "blind rendezvous" problem, creating an asynchronous,
distributed and robust mechanism to promote rendezvous and communication opportunities
between two or more cognitive radios, employing frequency hopping with new sequences and
mappings based on of combinatorial design theory.
Keywords: wireless networks, cognitive radio, spectrum reuse.
Lista de Tabelas
2.1 Alguns esquemas conhecidos baseados em Block Designs. . . . . . . . . . . . 30
4.1 Parmetros de construo dos escalonamentos baseados em grids. . . . . . . . 52
5.1 Cronograma planejado para desativao da transmisso analgica de TV terrestre. 57
5.2 Parmetros obtidos como sada de nosso simulador. . . . . . . . . . . . . . . . 59
5.3 Alguns esquemas conhecidos baseados em Block Designs com = 1 e overhead

= 1%. Esquemas mais complexos (em negrito), com = 12, tambm podem ser
empregados. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 62
5.4 Funes de Mapeamento aplicveis aos designs e suas heursticas. . . . . . . . 70
5.5 Tabela evidenciando o nmero de encontros, probabilidade de falhas por canal e

nmero de ciclos falhos. Ciclos estes em que no h encontros naquele canal
especfico. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 71
5.6 Tabela comparando alguns parmetros dos escalonamentos A e B mostrados na

Figura 4.3. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 72
5.7 Percentual de falhas nos encontros nos canais 2 para os mecanismos Grid
Legal, Grid Diag e Torus. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.8 Tabela com todos os escalonamentos baseados em BDs que efetivamente ga-
rantem o encontro de dois rdios em dois canais diferentes com overhead de
controle < 30% . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 74
5.9 Escalonamentos baseados em BD que garantem encontros multicanais (3), com

seus respectivos overheads, nmero de encontros, funes de mapeamento,
ETTR e MTTR para cada canal. . . . . . . . . . . . . . . . . . . . . . . . . . 74
v
5.10 Tabela que mostra o primeiro resultado do emprego a heurstica de Engenharia

Reversa sobre um Block Designs. . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.11 Tabela que mostra os primeiros resultados da criao de novos Designs atravs
da heurstica de Soma Construtiva. . . . . . . . . . . . . . . . . . . . . . . . . 77
Lista de Abreviaturas e Siglas
ACK Acknowledge
ANATEL Agncia Nacional de Telecomunicaes
BER Bit Error Rate
BD Block Design
CD C-Design
BIBD Balanced Incomplete Block Design
BG Banda de Guarda
CTS Clear To Send
CC Control Channel
CCC Common Control Channel
CD C-Designs
CR Cognitive Radio
CRN Cognitive Radio Network
CRAHN Cognitive Radio Ad Hoc Network
CSMA Carrier Sense Multiple Access
CSMA/CA Carrier Sense Multiple Access/Collision Avoidance
DSA Dynamic Spectrum Access

vii
ER Engenharia Reversa
ETTR Expected Time To Rendezvous
FCC Federal Communications Commission
FDM Frequency-Division Multiplex
FH Frequency Hopping
FHSS Frequency Hopping Spread Spectrum
GD Grid Diag
GL Grid Legal
GPS Global Positioning System
HD Hybrid-Designs
IEEE Institute of Electrical and Electronics Engineers
ICI Inter Channel Interference
ISI Inter Symbol Interference
ISM Industrial Scientifical and Medical
MAC Medium Access Control
MB Merged Blocks
MD Merged-Design
MMDS Multi-Channel Multi-Point Distribution System
MTTR Maximum Time To Rendezvous
NPRM Notice of Proposed Rulemaking
OFDM Orthogonal Frequency-Division Multiplex
PER Packet Error Rate
PSR Packet Success Rate
PU Primary User
viii
QS Quorum System
RDV Rendezvous
RF Rdio Frequncia
RCP Rotation Closure Property
RTS Ready To Send
SC Soma Construtiva
QoS Quality of Service
T Torus
TTR Time To Rendezvous
SDR Software Defined Radio
SU Secondary User
TV Televiso
UWB Ultra Wide Band
VHF Very High Frequency
Wi-Fi Wireless Fidelity
WSN Wireless Sensor Network

Lista de Smbolos
Smbolo Descrio
Variao da letra grega sigma que representa um conjunto forma-
dor de um escalonamento.
Notao usada para representar um dado escalonamento i.

Notao usada para representar uma rotao de um escalonamento
em slots.
Notao usada para representar um esquema.
Notao usada para representar um esquema montono.
Nmero total de slots de um block design.
Nmero de slots de controle de um escalonamento.
Nmero de encontros previsto para um block design.
Defasagem de tempo entre dois ns medida em slots.
Funo de mapeamento genrica dos canais nos slots de controle.
Funo de mapeamento singular.
,, Funo de mapeamento regular.
Funo de mapeamento construtivo.
Lista de Figuras
2.1 Exemplo da operao de varredura do espectro em busca de vazios espectrais,

adaptada de [1]. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
2.2 Exemplo de design com ciclo peridico de 7 slots, onde h 3 slots (cinzas) usados
para controle e para dados, em cada ciclo. Esse design garante um encontro por
ciclo. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.3 Dois ciclos do escalonamento = [7, , {0, 1, 3}] = {0, 1, 3, 7, 8, 10, ...}. . 26
2.4 Escalonamento = [7, ,{0, 1, 3}] = {0, 1, 3, 7, 8, 10, ...} e sua rotao
= [7, , {1, 2, 4}] = {1, 2, 4, 8, 9, 11, ...}, = 1. . . . . . . . . . . . . . .
27

2.5 Esquema = {[7, , {1, 2, 4}], [10, , {1, 5, 6, 7, 9}}. Esquemas com
escalonamentos de diferentes comprimento e diferentes conjuntos de controle
tambm permitem encontros. . . . . . . . . . . . . . . . . . . . . . . . . . . . 28
2.6 Exemplos de um escalonamento = {[7, , {0, 1, 3}] e todas as suas rota-

es, evidenciando os encontros das rotaes com o escalonamento original (em
cinza claro com a letra "A" grifada em negrito). . . . . . . . . . . . . . . . . . 31
2.7 A Figura mostra os canais de dados , de controle , as bandas de guarda

em um modelo comum de alocao de frequncias no espectro. . . . . . . . . . 32
2.8 Escalonamento retirado do BD {59, 29, 14}, 59 slots, 29 de controle, mapeados

de maneira que a cada ocorrncia de dois slots de controle simultneos h um
salto para a prxima frequncia de controle 1 , ento novamente para primeira,
0 . Mostra ainda um encontro em 0 no slot 17 e um encontro em 1 no
slot 20. H um offset de = 1 entre os dois escalonamentos e os slots brancos
representam a operao no canal de dados. . . . . . . . . . . . . . . . . . . . . 33
xi
3.1 Operao bsica de um canal de controle comum. . . . . . . . . . . . . . . . . 38
3.2 Taxonomia das tcnicas de construo do Canal de Controle. Nosso mecanismo

est classificado no ramo in-band no bloco grifado em negrito. . . . . . . . . . 39
3.3 A operao bsica de um canal de controle com dois canais diferentes, 1 e 2,

evidenciando o rendezvous no canal 2 e a viso pictrica da TTR. . . . . . . . 41
3.4 Classificao das tcnicas de Rendezvous. Nosso mecanismo est classificado

no bloco grifado em negrito. . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
4.1 Representao de dois ns operando em dois escalonamentos A e B baseados

em Grid Legal. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49

em Grid Diag. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50

em Torus. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
4.4 Representao do Single-Sequence MAC Protocol obedeceno o BD {7, 3, 1}. . 53
5.1 Escalonamento baseado no BD {19, 9, 4}, com slots de controle mapeados

consecutivamente para as frequncias 1 , 2 , 3 e 4 . . . . . . . . . . . . . . 56
5.2 Escalonamento = [7, , {1, 2, 4}], 7 slots, 3 de controle e 1 encontro. . . 61
5.3 Escalonamento operando com uma funo de mapeamento regular que aloca
a cada trs slots consecutivos a mesma frequncia, enquanto o escalonamento
opera com um mapeamento irregular. . . . . . . . . . . . . . . . . . . . . 63
5.4 Dois ns operando no escalonamento baseado no BD {19, 9, 4}, deslocados

de um slot, usando uma funo de mapeamento expressa na equao 5.2, que
alterna consecutivamente dois canais de controle distintos . . . . . . . . . . . . 64
5.5 Escalonamento baseado no BD {59, 29, 14}, com 29 slots de controle empre-
gando uma funo , de maneira que a cada dois slots de controle simultneos.
Encontros ocorrem em 0 no slot 17 e em 1 no slot 20. H um deslocamento
de = 1 entre os dois ns. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 65
xii
5.6 A Figura mostra o escalonamento = [11, , {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}]

cujo design construtor o MD {11, 10, (2, 2)}, onde o par (2,2) representa os
encontros por ciclo em cada canal distinto, 1 e 2 . Este design oriundo da
soma construtiva de um mesmo bloco {11, 5, 2}, que origina dois escalonamentos
diferentes: = [11, ,{1, 3, 4, 5, 9}] e = [11, ,{2, 6, 7, 8, 10}]. . . 67
5.7 Processo de criao de C-Designs para encontros em dois canais atravs da

aplicao da Engenharia Reversa em dois BDs, evidenciando a remoo de slots
excedentes, eliminao de slots de controle coincidentes (marcados com um X)
e posterior emprego da Soma Construtiva, para formao de um novo C-Design
para dois encontros. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
5.8 As Figuras (a) e (b) mostram como podem ser construdos os C-Designs que
permitem dois ou mais encontros. . . . . . . . . . . . . . . . . . . . . . . . . 69
5.9 As Figuras (a) e (b) mostram como so construdos respectivamente os designs

MD e HD que permitem dois ou mais encontros. . . . . . . . . . . . . . . . . 70
5.10 Representao de dois escalonamentos A e B usando um Torus 5 5 e sua linea-

rizao, cujas representaes so: = [25, , {2, 8, 13, 16, 17, 20, 21, 22}]
e = [25, , {1, 6, 8, 11, 12, 16, 22}]. . . . . . . . . . . . . . . . . . . . . 72
5.11 para cada overhead discreto, para cada mecanismo usando a funo
, que representa o mapeamento do mesmo canal de controle 0 para todos
os slots de controle. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 73
5.12 por comprimento do ciclo por canal para os escalonamentos que

alcanaram trs encontros. . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
5.13 MTTR por comprimento do ciclo por canal para os escalonamentos que alcana-
ram trs encontros. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
5.14 Cronograma sumarizado de atividades. . . . . . . . . . . . . . . . . . . . . . . 78

Sumrio
Lista de Tabelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
Lista de Abreviaturas e Siglas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . vi
Lista de Smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix
Lista de Figuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x
1 Introduo 17
1.1 A Escassez Espectral . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 17
1.2 Estrutura desta Proposta . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19
2 Notaes, Definies, Terminologias e Mtricas 21
2.1 Coexistncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.2 Redes Cognitivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.3 Acesso Dinmico ao Espectro . . . . . . . . . . . . . . . . . . . . . . . . . . 22
2.4 O Planejamento Combinatrio . . . . . . . . . . . . . . . . . . . . . . . . . . 24
2.5 Escalonamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.6 Rotaes de um Escalonamento . . . . . . . . . . . . . . . . . . . . . . . . . 26
2.7 Esquemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.8 Block Designs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
2.9 Saltos em Frequncia, Mapeamento dos Canais e Mltiplos Encontros . . . . . 31
2.10 Mtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Sumrio xiv
2.10.1 TTR e ETTR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.10.2 MTTR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.10.3 Tempo de Evaso do Canal . . . . . . . . . . . . . . . . . . . . . . . . 35
2.10.4 Overhead . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
3 O Canal de Controle e o Rendezvous 37
3.1 O Canal de Controle Comum . . . . . . . . . . . . . . . . . . . . . . . . . . . 37
3.1.1 Operao Bsica de um Canal de Controle Dedicado . . . . . . . . . . 37
3.1.2 Abordagem Overlay . . . . . . . . . . . . . . . . . . . . . . . . . . . 39
3.1.2.1 In-Band ou Out-of-Band . . . . . . . . . . . . . . . . . . . . 39
Group-based CCC: . . . . . . . . . . . . . . . . . . . . . . . . 40
Sequence-Based: . . . . . . . . . . . . . . . . . . . . . . . . . 40
Saltos em Frequncia: . . . . . . . . . . . . . . . . . . . . . . 42
3.2 O Rendezvous . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
3.2.1 Rendezvous Assistido . . . . . . . . . . . . . . . . . . . . . . . . . . . 43
3.2.2 Rendezvous no Assistido . . . . . . . . . . . . . . . . . . . . . . . . 43
3.3 Desafios da construo do Canal de Controle e do Rendezvous . . . . . . . . . 43
3.3.1 Desafios do Canal de Controle . . . . . . . . . . . . . . . . . . . . . . 44
3.3.1.1 Saturao . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.3.1.2 Robustez . . . . . . . . . . . . . . . . . . . . . . . . . . . . 44
3.3.1.3 Segurana . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3.1.4 Cobertura . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3.1.5 Limitaes . . . . . . . . . . . . . . . . . . . . . . . . . . . 45
3.3.2 Desafios do Rendezvous . . . . . . . . . . . . . . . . . . . . . . . . . 46
3.3.2.1 Exige Controladores Centralizados? . . . . . . . . . . . . . 46
3.3.2.2 Exige CCC Dedicado? . . . . . . . . . . . . . . . . . . . . . 46
3.3.2.3 Exige Sincronizao dos Ns? . . . . . . . . . . . . . . . . 46

Sumrio xv
3.3.2.4 Rendezvous Garantido? . . . . . . . . . . . . . . . . . . . . 47
3.3.2.5 Qual a Abrangncia do Cenrio Aplicvel? . . . . . . . . . . 47
4 Trabalhos Relacionados 48
4.1 Sistemas de Qurum Baseados em Grids . . . . . . . . . . . . . . . . . . . . . 49
4.1.1 Grid Legal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 49
4.1.2 Grid Diagonal . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.1.3 Torus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
4.1.4 Principais Parmetros de Sistemas de Qurum Baseados em Grid . . . 51
4.2 Block Designs . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 52
4.3 Consideraes Finais . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
5 Nossa Abordagem 55
5.1 Princpios de Projeto . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 55
5.2 Simulador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
5.3 Funes de Mapeamento, Novos Designs e suas Heursticas . . . . . . . . . . 60
5.3.1 Modo de Operao de nosso Mecanismo . . . . . . . . . . . . . . . . 61
5.3.2 Mapeamentos Regulares, Mltiplos Encontros, Heursticas e seus Designs 62
5.3.2.1 Engenharia Reversa e os C-Designs . . . . . . . . . . . . . . 66
5.3.2.2 Soma Construtiva, C-designs, M-Designs ou H-Designs . . . 67
5.3.2.3 Sumrio das Heursticas e seus Designs . . . . . . . . . . . . 69
5.3.2.4 Relaes entre os Novos Designs, Mapeamentos e Heursticas 70
5.4 Resultados Preliminares . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 70
5.4.1 Escalonamentos para um Encontro ou Singulares . . . . . . . . . . . . 71
5.4.2 Escalonamentos para Mltiplos Encontros . . . . . . . . . . . . . . . . 73
5.4.3 Resultados Iniciais da Heurstica de Engenharia Reversa . . . . . . . . 76
5.4.4 Resultados Iniciais da Heurstica da Soma Construtiva . . . . . . . . . 77

Sumrio xvi
5.5 Cronograma . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
5.5.1 Fase 01 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
5.5.2 Fase 02 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.5.3 Fase 03 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 79
5.6 Concluso . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 80
Referncias 81
17
Captulo 1
Introduo
1.1 A Escassez Espectral

Atualmente, se por um lado temos observado uma rpida e crescente expanso da comunicao
sem fio, de outro, presenciamos o esgotamento de pores livres do espectro de radiofrequncias
[26]. Seja devido ao controle e rigor dos rgos de regulao, seja pela poluio do espectro
nas faixas que no necessitam de licenas para operao. As bandas Industrial Scientifical and
Medical (ISM) so o exemplo mais patente de uma faixa, onde, por fora das circunstncias,
uma multiplicidade de dispositivos so obrigados a operar, sejam dispositivos de comunicao
simples, como babs eletrnicas e controle de servomecanismos, passando por utenslios sem
objetivo de troca de informao, como os fornos de micro-ondas, at equipamentos empregados
em redes de telecomunicaes como laptops, sensores e roteadores sem fio. Acrescente a isso
o fato de haver extensas faixas do espectro j concedidas, que permanecem ociosas em reas
rurais, por exemplo, ou simplesmente no exploradas, devido a questes mercadolgicas.
Embora questes polticas e financeiras envolvidas na mudana desse modelo centralizado

de concesso do espectro sejam de difcil equacionamento e estejam fora de nosso escopo de
atuao, graas aos significativos avanos de hardware e software nas reas de processamento
digital de sinais e rdios definidos por software, solues computacionais que tentam resolver a
questo do esgotamento espectral, como a possibilidade de reuso do espectro e a cognitividade
dos terminais, tm se mostrado promissoras no aumento da eficincia do uso destas faixas de
Rdio Frequncia (RF). Apenas para ilustrar o esgotamento, algumas faixas reservadas como as
de Televiso (TV) analgica j mereceram o adjetivo de "vast wasteland", termo conferido pelos
ex-diretores do Federal Communications Commission (FCC) na dcada de 2000 em [31].
Muito embora a tecnologia de redes sem fio, tenha se tornado muito popular e promovido um
1.1 A Escassez Espectral 18
impacto positivo sobre o crescimento de servios de banda larga, as faixas de frequncia (GHz)
empregadas nos padres mais comuns, como o IEEE 802.11abgn por exemplo, no apresenta
caractersticas de rdio propagao adequadas para atender grandes distncias ou penetrar os
obstculos mais comuns: as paredes de edifcios. O espectro de mais baixa frequncia (MHz),
como o usado para transmisso de TV, capaz de viajar longas distncias e apresenta melhor
penetrao em obstculos tais como rvores e prdios, no entanto estas faixas j esto tomadas.
O rpido desenvolvimento dos rdios cognitivos nos motiva a v-los como parte da soluo desse
problema, j que permite a coexistncia, nessas frequncias mais baixas, entre os dois tipos de
usurios: os licenciados e os no licenciados, em frequncias mais adequadas a transmisses de
longa distncia.
Rdios cognitivos podem ser definidos como sistemas inteligentes de comunicao sem fio,
cientes de seu em torno e capazes de se autoconfigurar dentro de certos parmetros de operao,
como modulao, potncia e frequncia da portadora. A este hardware adaptvel somamos outra
tecnologia recentemente aperfeioada, os Rdios Definidos por Software (SDR), do acrnimo em
ingls: Software-Defined Radios, pois enquanto rdios tradicionais tem sua faixa de frequncia
de operao extremamente limitadas, modificveis apenas atravs de uma interveno fsica, o
SDR opera em uma faixa de frequncia bem mais ampla, trazendo algumas funes de operao,
como processamento do sinal e modulao, para a camada de software. Isso resulta em menores
custos de implementao e maior flexibilidade no suporte a mltiplos padres de transmisso,
o que reduz consideravelmente o tempo de prototipagem, testes e implementaes de novos
mecanismos.
Alm da motivao tcnica, a motivao econmica fundamental para qualquer tecnologia

prosperar. Um estudo realizado pela Intel mencionado em [6] e em [31], mostra que os custos de
capital para a cobertura de uma rea rural com servio de banda larga sem fio na faixa de TV
seria da ordem de 25% daqueles necessrios para atingir a mesma cobertura usando espectro
licenciado de Multi-Channel Multi-Point Distribution System (MMDS) na faixa de 2,5 GHz.
Essas ferramentas nos permitiro o reuso do espectro, ou seja, aproveitaremos uma faixa do
espectro licenciado ociosa ou pouco utilizada, mas para isso ser necessrio que os Secondary
Users (SUs) (aqueles que no detm a licena para operar) concordem sobre alguns parmetros
de operao, tais como: qual faixa usar, at quando usar e como e quando sair. Alguns problemas
vm tona ao pensarmos em como implementar tal mecanismo, por exemplo: como dois usurios
secundrios independentes vo se encontrar para chegar a bom termo sobre como operar? Nosso
problema ento pode ser brevemente resumido na seguinte sentena: como dois dispositivos de
comunicao geralmente sem sincronizao ou prvio conhecimento da presena um do outro,
1.2 Estrutura desta Proposta 19
podem se encontrar no tempo e na frequncia de maneira garantida, para construo de um canal

robusto que possa servir de base para a montagem de uma rede?
Nesse contexto, nossa proposta para soluo : empregando as tecnologias mencionadas,

somadas a um arcabouo matemtico oriundo do planejamentos combinatrio, pretendemos criar
um mecanismo robusto, assncrono, que garanta o encontro (rendezvous) par a par de ns de uma
rede ad hoc de rdios cognitivos, alocando as bandas de guarda do usurio primrio ou Primary
User (PU), real detentor da licena do canal, para sinalizao. Esse mecanismo permitir o reuso
de canais ociosos, por parte de algum dispositivo secundrio ou SU, com pouco ou nenhum
perigo de interferncia nas transmisses do PU.
Entre as contribuies previstas nessa proposta e na tese propriamente dita, esto: a extenso
da notao criada em [7], para alcanar escalonamentos voltados para mltiplos encontros no
tempo e na frequncia, uma nova entidade de escalonamento, que chamamos de funo de
mapeamento , para alocao das frequncias e garantia de mltiplos encontros, a criao de
um novo tipo de planejamento combinatrio, que chamamos C-designs, que estende e modifica
os atuais Balanced Incomplete Block Design (BIBD) j descobertos e trs novas heursticas
para a construo de designs com menores overheads de controle: soma construtiva, engenharia
reversa e a hbrida.
1.2 Estrutura desta Proposta

Esta proposta est estruturada da seguinte forma: No Captulo 2 introduzimos as notaes, ter-
mos, conceitos e abstraes necessrias a um entendimento bsico do planejamento combinatrio,
teoria matemtica por traz da escolha na montagem da sequncia de saltos em frequncia que ga-
ranta o encontro s cegas (blind rendezvous) de dois rdios. Ainda neste captulo, apresentaremos
tambm os principais conceitos sobre o ambiente de rdios cognitivos e as principais mtricas j
consolidadas na literatura, para avaliao de desempenho de nosso mecanismo neste ambiente
seguidas de algumas consideraes do autor. Em seguida, no Captulo 3 apresentaremos o estado
da arte dos conceitos, problemas e solues envolvidos na tentativa de lidar com o problema
do blind rendezvous, termo cunhado pelos autores em [42]. No quarto captulo mostraremos
alguns trabalhos relacionados tentativa de soluo deste problema, acompanhados de algumas
discusses sobre as vantagens e desvantagens de tais abordagens. Finalmente, no Captulo
5, explicamos nossa proposta, detalhamos nossas contribuies, apresentamos os resultados
preliminares, nossos prximos passos e um cronograma sumrio de atividades.
Todos os cdigos para a gerao e testes dos designs foram implementados em Python e as
1.2 Estrutura desta Proposta 20
avaliaes quantitativas e qualitativas foram feitas atravs do R Project for Statistical Computing
[35], com significante auxlio do pacote de consulta em linguagem estruturada sqldf [22] para
manipulao e filtragem de grandes massas de dados. Todos os Block Designs (BDs) empregados
neste trabalho foram obtidos a partir da plataforma SageMath [41], de [30] ou ainda de [21].
21
Captulo 2
Notaes, Definies, Terminologias e
Mtricas
Introduziremos nas prximas sees alguns tpicos necessrios compreenso do ambiente

de rdios cognitivos e planejamento combinatrio, em seguida, empregando e estendendo a
terminologia e notao introduzida em [7], enunciaremos as necessrias abstraes matemticas,
e mais adiante nesse captulo nos aprofundaremos na discusso do rendezvous, da construo do
Common Control Channel (CCC) e seus desafios. Iniciaremos com o conceito de coexistncia
entre dispositivos de redes diferentes, que devem compartilhar uma ou mais faixas de frequncia
do espectro licenciado, contedo fundamental para o entendimento do reuso espectral.
2.1 Coexistncia
Dispositivos no licenciados tem a operao autorizada pelo FCC desde 1938, mas com a
popularizao das redes sem fio e a exploso do nmero de equipamentos, a escassez espectral
tem se tornado um problema cada vez mais evidente. Um estudo da Cisco, deste ano, estima
que existam mais de 8 bilhes de dispositivos no licenciados em todo mundo, e que as vendas
anuais desse tipo de hardware so um mercado multibilionrio e em expanso [13]. Todos
estes dispositivos devem cumprir as regras gerais estabelecidas pelos rgos de regulao
governamentais, como a Agncia Nacional de Telecomunicaes (ANATEL) no Brasil e o FCC
nos Estados Unidos, para garantir que eles no causem interferncia nos sistemas licenciados
e/ou governamentais. At poucos anos atrs, alguns destes dispositivos operavam apenas em
potncia muito baixa, assim, eles podiam coexistir com usurios licenciados de maior potncia na
mesma banda. Enquanto outros, por exemplo os dispositivos Wireless Fidelity (Wi-Fi), operam
2.2 Redes Cognitivas 22
em faixas que so em grande parte desprovidas de usurios licenciados [8].
Em maio de 2004 o FCC aprovou uma Notice of Proposed Rulemaking (NPRM) [17], que
props permitir que dispositivos sem licena pudessem operar nas faixas no usadas de TV,
em potncias mais altas. Esta faixa do espectro mais propcia para operao em banda larga
porque apresenta melhores condies de rdio propagao que as bandas usuais das redes sem fio
mais comuns, podendo tolerar dispositivos de maior potncia sem provocar interferncia. Estas
caractersticas permitem, por exemplo, que os provedores de banda larga sem fio atinjam uma
melhor qualidade de transmisso com maior alcance, usando menos infraestrutura e reduzindo
em mais de 20% o custo de implantao [6]. Com o benefcio de que tais faixas ainda podero
manter os seus usurios primrios. Isso exige que os novos dispositivos secundrios operem de
maneira cognitiva, coexistindo de forma transparente, isto , sem interferir na transmisso do
PU.
2.2 Redes Cognitivas

Uma rede cognitiva uma coleo de rdios cognitivos (ver Seo 1.1), que podem executar
funes de adaptao e modificar seu comportamento em resposta ao dinamismo de seu ambiente
de operao. Note, que a incluso de rdios cognitivos pode ou no facilitar a operao de uma
rede cognitiva. Da mesma forma, uma rede cognitiva pode existir sem a incluso individual de
clientes cognitivos se um controlador mestre estiver presente. Para comunicao ocorrer, os
rdios devem primeiro encontrar um ao outro dentro do espectro disponvel. No entanto, se um
controlador mestre estiver presente, os rdios podem se comunicar com o controlador, este sim
com capacidade cognitiva, que por sua vez pode direcionar o fluxo ao espectro disponvel. Caso
no exista um controlador, os rdios devem varrer o espectro dinamicamente, o que chamado
de Dynamic Spectrum Access (DSA), para, ento, encontrarem uns aos outros para incio das
comunicaes. Esse encontro comumente referido na literatura como rendezvous.
2.3 Acesso Dinmico ao Espectro

Um objetivo do DSA varrer o espectro disponvel, em busca de canais ociosos ou subutilizados,
outro objetivo detectar a presena do incumbente ou PU, possibilitando a coexistncia com
usurios primrios.
2.3 Acesso Dinmico ao Espectro 23
Figura 2.1: Exemplo da operao de varredura do espectro em busca de vazios espectrais, adaptada de
[1].
Isto pode ser conseguido atravs de um varredura em tempo real capaz de detectar fracos
sinais do PU em uma larga faixa do espectro. As tcnicas de DSA podem ser, das mais simples,
como a deteco de energia, onde o sinal do PU comparado a um limite que depender do piso
de rudo nas proximidades, passando pela deteco da forma de onda, que capaz de diferenciar
os padres de onda de certas transmisses, como prembulos ou sequncias de espalhamento de
sinais que usam Frequency Hopping Spread Spectrum (FHSS). At os mais complexos, como o
sensoriamento ciclo-estacionrio, que explora certos padres ciclo-estacionrios dos sinais. A
deteco do PU no escopo deste trabalho, mas o leitor interessado em explorar este assunto,
achar vasta referncia em [45]. A Figura 2.1 mostra o princpio da operao de varredura em
busca de faixas vazias no espectro em um grfico em trs dimenses que envolve potncia, tempo
e frequncia.
A varredura do espectro na realidade uma sequncia de saltos em frequncia em que o

rdio, passivamente, "ouve" o meio, procura de sinais. Tanto para a varredura, quanto para o
encontro, necessrio que haja algum ordenamento para estes saltos. Na Seo 2.4, introduzimos
o conceito por trs do funcionamento do mecanismo de sequncia de saltos em frequncia que
empregamos nesse trabalho.
2.4 O Planejamento Combinatrio 24
2.4 O Planejamento Combinatrio

A Teoria do Planejamento Combinatrio, do termo original: Combinatorial Design Theory, o
estudo da organizao dos elementos de um conjunto finito, em padres (geralmente subconjuntos
ou blocos), de acordo com regras pr-definidas. Trata-se de uma rea da Matemtica Discreta
em rpido crescimento e com diversas aplicaes, conforme veremos, aps um breve histrico.
A formalizao matemtica do seu arcabouo terico comeou a tomar forma somente

depois da metade do sculo XVIII, a partir do trabalho de Euler (Leonhard Euler), por meio
do desenvolvimento sistemtico dos quadrados latinos. Em 1782, Euler introduziu uma srie
de 36 problemas relacionados com o assunto e comeou a pesquisar por pares de quadrados
latinos ortogonais [16]. O estudo dos quadrados latinos reacendeu na dcada de 1930 quando
Fisher e Yates, comearam a empreg-los, assim como outros designs no projeto de experimentos
estatsticos na agricultura.
Esses "designs" tm muitas aplicaes, tais como: agendamento de torneios, loterias, biolo-
gia, anlise de algoritmos, testes de grupos, criptografia e finalmente sistemas distribudos. Uma
das aplicaes na rea de redes e sistemas da computao, est no que se convencionou chamar
de rendezvous. Essa proposta concentra seus estudos nos BIBDs, cuja traduo em portugus
Planos em Blocos Equilibrados Incompletos. Trataremos aqui sempre pelo seu termo original
em ingls ou BD, j que raras so as referncias em nosso idioma que empregam o termo em
portugus.
O emprego deste arcabouo matemtico neste trabalho, se deve a possibilidade de dividirmos

o tempo de operao de um rdio em um conjunto de slots com subconjuntos de slots de controle,
estes operando em sinalizao, enquanto o outro subconjunto opera em transmisso de dados.
Assim, dois rdios, mesmo que assincronamente saltando em frequncia a cada mudana do
tipo de slot, segundo estes designs, garantam o rendezvous em um mesmo subconjunto de slots.
Observe que se dividirmos o tempo em ciclos, de acordo com um desenho predefinido, fazendo
finalmente com que cada novo ciclo seja uma repetio do anterior, teremos ento infinitos
ciclos que se repetem periodicamente contendo slots, cujas posies no ciclo obedecem a um
"design" preestabelecido.
Note ainda, que se houver uma propriedade tal que permita garantir deterministicamente
que dado dois destes ciclos, mesmo deslocados temporalmente um do outro, sempre haver
alinhamentos (rendezvous) de elementos de ambos os subconjuntos de slots, poderemos supor
uma sequncia em que a cada slot, dependendo de sua natureza, o rdio esteja em uma frequncia
de controle (slot cinza) ou em outra frequncia para transmitir dados (slots brancos), ver Figura
2.5 Escalonamentos 25
2.2. Em nossos cenrios, cada alinhamento de slots segundo sua cor, significa um encontro
ou oportunidade de transmisso, seja de dados ou mensagens de controle. A cada uma dessas
possveis sequncias peridicas de diferentes posicionamentos de slots dentro de um ciclo
associadas as suas frequncias de operao, podemos dar o nome de escalonamento. Este
conceito unido a abstrao do encontro e periodicidade dos ciclos, so apresentados na Figura
2.2 e estudado em detalhes na prxima seo.
Figura 2.2: Exemplo de design com ciclo peridico de 7 slots, onde h 3 slots (cinzas) usados para
controle e para dados, em cada ciclo. Esse design garante um encontro por ciclo.
Ao longo de todo o texto surgiro diversas figuras com escalonamentos, esquemas e plane-
jamentos com ciclos subdivididos em slots. Intercambiamos as identificaes destes slots de
maneiras diferentes, ora sem identificao alguma, ora com numerais, ora com letras, ora com
a indicao frequncia de controle, ora como canal de controle. Da maneira que
entendemos, seja mais esclarecedora ao leitor, mas todas elas querem expressar que a cada slot
est alocado um canal que opera em uma frequncia central. Tambm intercambiamos os termos,
alinhamento, sobreposio, significando o encontro entre os rdios.
2.5 Escalonamentos
Neste trabalho estamos interessados na criao de um mecanismo assncrono que promova de
maneira eficiente e garantida o encontro de dois rdios em duas dimenses: tempo e frequncia.
Para melhor esclarecer o leitor, emprestamos de [15] a seguinte analogia, que achamos bastante
apropriada, o problema do rendezvous um pouco como dois homens noite, distantes de 1 km,
procura um do outro. Cada um dispondo de uma lanterna que o outro poder ver, mas apenas
se ela estiver apontada na direo dele enquanto estiver ao alcance e olhando na mesma direo,
ao mesmo instante. Assim, eles podero finalmente se encontrar, mas somente quando os dois
perceberem a lanterna um do outro ao mesmo instante.
2.6 Rotaes de um Escalonamento 26
Ao dividirmos o tempo de operao desses rdios em slots fixos, definindo uma sequncia
que ordene tais saltos segundo, poderamos ento programar dois ns, A e B um ao alcance do
outro, para operar nessa sequncia pr-definida. Ento aguardaramos at que A estivesse, em
um mesmo instante, na mesma frequncia de B. Nesse momento ocorreria a oportunidade de
transmisso. Chamamos essa sequncia, de escalonamento, e sua formalizao est expressa na
Definio 1.
Definio 1. Escalonamento Chamaremos de o escalonamento de um dado n e o

definiremos como a sequncia infinita de slots com durao definida. Tais slots sero de natureza
de controle ou de dados. Este escalonamento se repete a cada w slots. A essa entidade w
chamaremos de comprimento do ciclo do escalonamento e k ser o nmero de slots de controle
do escalonamento. Definiremos o conjunto de controle K de um escalonamento como:
{0 , 1 , ..., 1 | < }. ordem de alocao de frequncias a estes slots chamaremos de
funo de mapeamento, que ser definido por uma funo mapeamento . Devido natureza
cclica de um escalonamento, podemos defini-lo pelo conjunto {w, , conjunto de controle}.
Ento, finalmente podemos expressar um escalonamento = [, , {0 , 1 , ..., 1 }].
Por enquanto, para fins conceituais, trataremos somente de escalonamentos que preveem
encontros em apenas uma frequncia de controle por ciclo, isto quer dizer em ltima anlise, que
a todos slots de controle ser alocada a mesma frequncia, permitindo apenas uma nica funo
mapeamento , que chamaremos de mapeamento singular, expressa pela notao .
Exemplo de escalonamento de comprimento = 7, = 3, cujos slots de controle no

primeiro ciclo so 0, 1 e 3, para um encontro. Sua representao pictrica mostrada na
Figura 2.3.
Figura 2.3: Dois ciclos do escalonamento = [7, , {0, 1, 3}] = {0, 1, 3, 7, 8, 10, ...}.
2.6 Rotaes de um Escalonamento

Definio 2. Rotaes de um Escalonamento Definiremos como rotao de um escalona-
,
mento = [, , {0 , 1 , ..., 1 }] por slots, ( Z), cuja notao ser expressa por
2.7 Esquemas 27
a um outro escalonamento de mesma ordem e comprimento de , deslocado em slots. Desta

= [, , { + | =
forma expressaremos as rotaes do escalonamento como
0, ..., 1}].
=
Figura 2.4: Escalonamento = [7, ,{0, 1, 3}] = {0, 1, 3, 7, 8, 10, ...} e sua rotao
[7, , {1, 2, 4}] = {1, 2, 4, 8, 9, 11, ...}, = 1.
Exemplo de dois escalonamentos de comprimento = 7, e funo mapeamento .

O segundo deslocado do primeiro em um slot. Assim, = [7, ,{0, 1, 3}] =
= [7, , {1, 2, 4}] = {1, 2, 4, 8, 9, 11, ...} , = 1. Suas re-
{0, 1, 3, 7, 8, 10, ...} e
presentaes so mostrada na Figura 2.4.
2.7 Esquemas
O leitor, a esta altura j poder inferir, que dois ns cognitivos programados para operar sob
o mesmo escalonamento, devido ao assincronismo inerente baixa preciso de seus relgios,
acabaro eventualmente operando na realidade, em rotaes de um mesmo escalonamento. Tais
rotaes naturalmente sero ento ditadas pelos deslocamentos (offsets) de seus relgios.
Embora nossa proposta preveja apenas encontros entre ns com o mesmo escalonamento,
abordagens de outros autores como em [36] e [5], com que compararemos nosso mecanismo,
empregam esquemas menos comportados. Haver ainda situaes onde os ns podero operar
com escalonamentos que no sejam rotaes deles prprios, por exemplo, um n A pode operar
sob o escalonamento = [7, , {1, 2, 4}] enquanto o n B opera sob o escalonamento
= [10, , {1, 5, 6, 7, 9}], ainda assim podendo se comunicar. Para capturar essa ideia, o
autor em [7] criou o conceito de esquemas, expresso pela notao . Enunciaremos aqui seu caso
mais geral para em seguida explicar seu caso particular que o de nosso interesse: os esquemas
montonos.
2.7 Esquemas 28
Definio 3. Esquemas Um Esquema um conjunto de escalonamentos, onde =

{0 , 1 , ..., } = {0 [0 , , {00 , 01 , 001 }], {1 [1 , , {10 , 11 , 101 }], ..., { [ ,
, {0 , 0 , 1 }]}.
Figura 2.5: Esquema = {[7, , {1, 2, 4}], [10, , {1, 5, 6, 7, 9}}. Esquemas com escalonamentos
de diferentes comprimento e diferentes conjuntos de controle tambm permitem encontros.
Mostramos na Figura 2.5 o exemplo do encontro entre os dois escalonamentos distintos

e .
Exemplo: = {[7, , {1, 2, 4}], [7, , {1}], [7, , {0, 5, 6}]}.
Alguns esquemas mais recorrentes sero de interesse deste trabalho e merecero uma maior
ateno, como o caso dos esquemas montonos.
Esquemas montonos Um esquema que contm todas as possveis rotaes de um

determinado escalonamento e nenhum outro, um esquema montono. Esquemas montonos
sero de grande importncia para nossa anlise e ainda seguindo a notao e terminologia de [7].
Um esquema montono [] o conjunto de todos os escalonamentos formados por todas as
possveis rotaes de . Aos esquemas que no obedecem esta propriedade chamaremos de
no montonos.
Ex.: = {[4, , {0, 1, 2}], [4, , {0, 1, 3}], [4, , {0, 2, 3}], [4, , {1, 2, 3}]}.
Este um esquema montono com 4 slots e 3 de controle, cuja notao [4, , {0, 1, 2}].
A seguir, um contra exemplo, apenas para ilustrar a diferena entre esquemas montonos e
no montonos.
Ex.: = {[5, , {0, 1, 2}], [5, , {0, 3, 4}], [5, , {1, 2, 3}]}. Este um esquema
com 5 slots, 3 de controle, no-montono.
2.8 Block Designs 29
Em nossos cenrios a complexidade introduzida ao programarmos dois ou mais conjuntos

de rdios com esquemas no montonos, no trar vantagem alguma no que toca o desempenho.
Como j mencionado, os escalonamentos usados em nosso mecanismo so oriundos da teoria de
planejamento combinatrio, conhecidos pelo seu termo em ingls: Block Designs.
2.8 Block Designs

O que assegura as oportunidades de encontro so as duas propriedades satisfeitas por este tipo
de planejamento combinatrio. Propriedades estas presentes tambm em outras abordagens,
como os mecanismos baseados em qurum, como: Grid Legal, Grid Diag e Torus, que veremos
mais adiante no Captulo 4. So elas: a propriedade da interseo [18], cuja formalizao
apresentada na Definio 5. E a propriedade Rotation Closure Property (RCP) [44], cuja
formalizao est na Definio 6. Contudo, para uma melhor compreenso, precisamos enunciar
a lei de formao de um BD, e relacion-la com a terminologia apresentada at aqui.
Definio 4. Block Designs Sejam {, , } Z+ | > > 1. Um block design

{, , } um par (, ) que satisfaz as seguintes propriedades expressas em [16] e
adaptadas aqui para o nosso cenrio composto de slots e ciclos.
1. um conjunto de slots que forma um ciclo de cardinalidade ,
2. uma coleo de subconjuntos de chamados de blocos,
3. cada bloco contm exatamente slots de controle, e
4. cada par de ciclos distintos dever conter ao menos encontros.
Assim a relao entre as entidades: , , e um BD {, , }, pode ser exemplificada com

o caso particular abaixo, cuja representao pictrica est na Figura 2.4. A partir de agora por
conciso passaremos a expressar os blocos BD {, , } ocasionalmente apenas como {, , };
Exemplo: dado um = {0, 1, 2, 3, 4, 5, 6} existe, por exemplo, um block design {7, 3, 1},
que possui um escalonamento particular = [7, , {0, 1, 3}], cujo 1 ciclo 0 possui
3 slots de controle alocados nos slots {0, 1, 3}, tem seus slots de dados em {2, 4, 5, 6} e a
interseo entre e ter = 1.

Note ainda, que h muitos outros esquemas possveis. Alguns, pouco mais elaborados com
3, 4 e 6 encontros, so mostrados na Tabela 2.1 e outros ainda mais complexos sero mostrados
em sees posteriores.
Tabela 2.1: Alguns esquemas conhecidos baseados em Block Designs.
BDs Escalonamentos
{15, 7, 3} = [15, , {0, 1, 2, 4, 5, 8, 10}]
{19, 9, 4} = [19, , {1, 4, 5, 6, 7, 9, 11, 16, 17}]
{4369, 273, 17} = [4369, , {1, 2, 46, 55, 112, 123, ..., 4344, 4356, 4362}]
A propriedade da interseo, definida a seguir, trata da garantia de encontros de slots entre

dois escalonamentos e a RCP trata da interseo de slots entre dois escalonamento em todas as
suas possveis rotaes.
Definio 5. Propriedade da interseo Se e so dois pares (, ) distintos que

obedecem s propriedades 1, 2, 3 e 4 da Definio 4. Ento | | =
Definio 6. Propriedade Rotation Closure Um esquema apresenta a propriedade de

Rotation Closure se e somente se, quaisquer rotaes de quaisquer de seus escalonamentos tm

interseo no nula. Esta propriedade pode ser expressa por: , : = , =
0, 1, ....
Veja que em todas as definies, figuras e anlises apresentadas at aqui, supomos que os
slots dos ns A e B esto sempre alinhados (comeando e terminando juntos), o que na verdade
exigiria sincronizao. No entanto, como demonstrado teoricamente em [25], com simulaes
em [5] e experimentalmente em [7]. Se um escalonamento satisfaz a RCP, o alinhamento entre
os slots no um requisito para as oportunidades de transmisso ocorrerem e que a falta de
alinhamento pode alterar o Time To Rendezvous (TTR) tanto negativa quanto positivamente com
igual probabilidade, no alterando portanto os valores mdios do TTR ou Expected Time To
Rendezvouss (ETTRs), esse parmetros sero explicados em detalhes na Seo 2.10.
Discusso: Observe que nos trabalhos voltados para Wireless Sensor Networks (WSNs),
como em [7] e [27], tm entre seus principais propsitos, manter o rdio ligado o menor tempo
possvel (conservando inativos, tantos slots quanto possveis), buscando portanto trabalhar com
o menor possvel. Diferente das WSNs, no cenrio de rdios cognitivos, os ns podem operar
em frequncias diferentes e o seu encontro no se d apenas no tempo, mas no tempo e na
frequncia. Nesse cenrio, o rdio nunca ser desligado e precisar saltar em frequncia, ora
para transmitir dados, ora para trocar mensagens de controle, ora para varrer o espectro. Entre
estes e outros motivos que sero expostos adiante, nossa abordagem no quer apenas garantir um
encontro em um canal, mas pelo menos um encontro em cada canal, em cada ciclo. Estamos
ento interessados em maiores valores de , o que se traduz em mais oportunidades de encontro
e possibilidades de adaptao.
2.9 Saltos em Frequncia, Mapeamento dos Canais e Mltiplos Encontros 31
2.9 Saltos em Frequncia, Mapeamento dos Canais e

Mltiplos Encontros
Na Figura 2.6 mostramos um escalonamento = [7, , {0, 1, 3}] construdo a partir de um
BD {7, 3, 1}. Seu primeiro ciclo mostrado em , passando ento por todas as suas rotaes
6
possveis, at . Como de costume designamos os slots cinzas como controle, evidenciados na
Figura com a letra "A". Nesse cenrio sempre haver encontros (slots destacados em cinza mais

claro com a letra A grifada em negrito) entre e , seja qual for o . Esse escalonamento
poderia representar ento uma sequncia de saltos de frequncia entre o canal A, de controle e um
outro canal de dados (branco). Um n usando esse escalonamento em particular, sempre garantir
um encontro ( = 1) com outro n programado com o mesmo escalonamento, independente do
offset entre os rdios.
Figura 2.6: Exemplos de um escalonamento = {[7, , {0, 1, 3}] e todas as suas rotaes, evidenci-
ando os encontros das rotaes com o escalonamento original (em cinza claro com a letra "A" grifada em
negrito).
Em nosso cenrio, um nmero de rdios 2 coexistem e compartilham uma faixa

de frequncia licenciada com PUs, sejam estes, Estaes Rdio-Base (ERBs) ou clientes. A
faixa de frequncia ser dividida em canais de controle ||, com largura de banda
, e canais de dados . O conjunto partio de e sua cardinalidade representa o nmero
de bandas de guarda (BG) previsto pelo padro, este regulado pelas agncias governamentais. A
Figura 2.7 ilustra o cenrio descrito acima.
Nossas sequncias de salto percorrero a faixa , em slots fixos de tempo. Tais slots
representam a poro de tempo de permanncia em um canal, seja no canal de controle ou no
2.9 Saltos em Frequncia, Mapeamento dos Canais e Mltiplos Encontros 32
de dados. Os rdios possuem offsets equivalentes e operam em um esquema montono [].

Nesse caso, seu escalonamento ser construdo a partir de um par (Design, ) previamente
definida. Com ciclos de durao de slots, com slots de controle, slots de dados e
encontros por ciclo. A escolha do par (Design, ), depender do nmero de bandas
de guarda disponveis. Generalizando para mltiplas frequncias de controle. A formalizao
matemtica das entidades mencionadas ser:
= {0 , 1 , 2 , ..., 1 }, 1,
= {0 , 1 , 2 , ..., 1 }, ,
0,
[] = { 1,
2 , ...,
1 }] e
= [, , {0 , 1 , 2 , ..., 1 }].
Assim, cada n da rede est equipado com uma nica interface de rdio cognitivo, half-
duplex que pode varrer a faixa , de maneira oportunista, em busca de um canal de dados
ocioso e de um ou mais canais de controles dentro do nmero de bandas de guarda previstas.
Figura 2.7: A Figura mostra os canais de dados , de controle , as bandas de guarda em um modelo
comum de alocao de frequncias no espectro.
Ento, dados dois rdios programados com um mesmo escalonamento , estes rdios se
encontraro em um ou mais slots de controle em cada ciclo. Tais slots sero nossos slots de
controle e passaro por uma funo mapeamento = : , para associao do slot de
controle ao respectivo canal .
Um exemplo de um mapeamento possvel, seria a alocao um mesmo canal de controle

0 para dois slots de controle simultneos e +1 em uma dada frequncia de controle,
alocando um segundo canal de controle 1 para +2 e +3 . Repetindo a primeira associao
ao canal 0 para os dois slots de controle seguintes e repetindo a ao para 1 novamente, ou
seja, a cada dois slots de controle simultneos, alternar a alocao entre 0 e 1 .
Como exemplo de encontros multicanais, existe um esquema [] construdo a partir do BD

2.10 Mtricas 33
{59, 29, 14} que satisfaz esta condio, mostrado na Figura 2.8. Dados de simulao, provam
que esse esquema nos garantiria ao menos um encontro em cada canal por ciclo, promovendo
ao todo 196 encontros em 0 e 225 encontros em 1 com um ETTR de 14.6 e 10.4 slots
respectivamente no primeiro e segundo canal.
Figura 2.8: Escalonamento retirado do BD {59, 29, 14}, 59 slots, 29 de controle, mapeados de maneira
que a cada ocorrncia de dois slots de controle simultneos h um salto para a prxima frequncia de
controle 1 , ento novamente para primeira, 0 . Mostra ainda um encontro em 0 no slot 17 e um
encontro em 1 no slot 20. H um offset de = 1 entre os dois escalonamentos e os slots brancos
representam a operao no canal de dados.
Discusso: Nesse estgio do trabalho estamos empregando apenas um canal de dados e

at 3 bandas de guarda, o que nos permite criar um CC com at 3 canais. No Captulo 5
aprofundaremos a anlise das funes . Apesar de no mencionarmos explicitamente no
exemplo, os ns saltam para a frequncia de dados a cada vez que vai de um slot cinza para um
branco.
2.10 Mtricas
Novos mecanismos com novas abordagens precisam ser avaliados sob critrios e mtricas
eventualmente tambm novos, mas que sejam universais e garantam uma comparao justa com
outros mecanismos similares. Nesta seo discutiremos algumas destas mtricas presentes na
literatura.
2.10 Mtricas 34
2.10.1 TTR e ETTR

A primeira mtrica que introduziremos o TTR, expressa em slots e que pode ser definida como
o tempo para o rendezvous entre dois escalonamentos escolhidos, isto , se dois rdios operando
esses dois escalonamentos, eles coincidiro em slots na mesma frequncia em algum instante 0 ,
e dadas rotaes, ocorrero encontros e um primeiro encontro, ver Figura 2.6. Chamaremos
de TTR, o tempo em slots at a ocorrncia deste primeiro encontro.
Dado um esquema montono [], diversos sero os encontros e a cada possvel offset entre
os rdios, teremos um novo primeiro encontro, portanto deveremos tambm definir um TTR
esperado ( ).
Definio 7. TTR esperado Dados dois ns A e B que operam em um esquema montono []

que satisfaz a RCP. Assumindo que tais escalonamentos estejam defasados em slots um do outro
=
( ), onde pode ser qualquer nmero de slots com igual probabilidade. O TTR esperado

ou ser o nmero de slots transcorridos at cada primeiro encontro, ponderados todos

os offsets. Assim, dado dois rdios programados com o mesmo escalonamento com slots,

e = , este escalonamento pode ser expresso em funo do tempo por () e o
encontro como ( + ), | Z+ , 1. Ento:
1
1
= min{ : ( + )}
0
2.10.2 MTTR
Enquanto ETTR quer expressar o tempo mdio at cada primeiro encontro dada as possveis
rotaes dos escalonamentos, o Maximum Time To Rendezvous (MTTR) representa o tempo
mximo em, slots, transcorrido at o primeiro encontro. Assim, de modo similar Definio 7:
1

= max{ min{ : ( + )}}
0
Discusso: O nos indica o pior caso, ou seja, o tempo mximo que dois rdios
operando em um esquema demoraria para, por exemplo, notificar um outro rdio da presena do
2.10 Mtricas 35
PU. Em ambos os casos, ETTR e MTTR, queremos tornar esse tempo o menor possvel.
2.10.3 Tempo de Evaso do Canal

Para evitar a interferncia em um PU, o SU deve deixar o canal ao detectar a presena do PU no
mesmo canal. O tempo de evaso ento a diferena entre o tempo de deteco do PU e o tempo
que o SUs cessa suas transmisses. Em [32] o tempo defendido como meta para o abandono do
canal de 500 ms, em [19] a primeira busca pelo PU deve perdurar por 30 s antes de determinar
sua disponibilidade e uma vez que esse canal seja alocado pelo SU, a busca deve ser executada
pelo menos uma vez a cada 60 s, e em caso de deteco, o canal deve ser desocupado dentro de
2 s. Ainda no h consenso na literatura sobre o tempo ideal para evaso do canal, intervalo de
varredura e quando podemos considerar um canal livre.
Discusso: Importante salientar aqui que ambos PU e SU podem ser mveis e que a deteco
de apenas um CR no suficiente para assumir que houve ou no interferncia. Devemos supor
que todos os CRs nas proximidades so possveis terminais interferentes na transmisso do PU.
Aqui ento cabe a ressalva da necessidade de uma nova mtrica que seria um tempo de evaso
global que apontaria o tempo mdio do abandono de todos os rdios naquele canal, a partir da
deteco do primeiro CR.
2.10.4 Overhead
Podemos definir overhead cognitivo como a percentagem do tempo total de operao em que os
rdios cognitivos permanecem fora dos canais de dados, seja por estar:
1. varrendo o espectro em busca da presena de PUs;
2. seja porque esteja em seus slots de controle;
3. por estar em perodo de conteno, como por exemplo nos mecanismos do Carrier Sense
Multiple Access (CSMA) ou Ready To Send (RTS) e Clear To Send (CTS)
4. ou saltando em frequncia.
Discusso: Em qualquer um desses eventos o rdio no est transmitindo dados, logo, esse
overhead afeta a vazo da rede, tanto quanto maior for esta porcentagem. Embora o overhead
contenha todas as componentes mencionadas acima. No atual estado dessa proposta, estamos
lidando apenas com o componente listado no item 2. Na Seo 5.4 de resultados preliminares
2.10 Mtricas 36
apresentamos overheads para dois encontros da ordem de 20% e para trs encontros da ordem de
50%. Pretendemos at a consecuo deste trabalho reduzir esse tempo para nveis de overhead
razoveis, prximos a 10%.
37
Captulo 3
O Canal de Controle e o Rendezvous
3.1 O Canal de Controle Comum

Os canais de controle no ambiente de redes cognitivas so pores do espectro temporariamente
alocadas e comumente disponveis para os usurios secundrios para o trfego de mensagens de
controle. Sem uma infraestrutura ou um controlador mestre disponvel, os usurios Cognitive
Radio (CR) podem cooperar para realizar funes de gesto do espectro. Este recurso e como
ele projetado fundamental para definir parmetros eficientes para o rendezvous, mas antes de
seguirmos no detalhamento das abordagens de CCC presentes na literatura, faremos na prxima
seo uma pequena pausa para o aprofundamento na compreenso da operao do seu modo
mais bsico de operao: o CCC dedicado.
3.1.1 Operao Bsica de um Canal de Controle Dedicado

Como j introduzido no Captulo 2, o tempo, em nossos cenrios, dividido em slots de controle
e de dados de tamanhos fixos. Assim, quando um SU quer iniciar a comunicao, ele primeiro
comuta para o CC durante o intervalo de controle e tenta negociar com o receptor pretendido.
Aps a negociao, a comunicao de dados pode ser realizada durante o intervalo de dados,
atravs de outros canais disponveis, conhecidos como canais de dados. Veja que esta abordagem
depende que todos os SUs possam se encontrar no CCC, durante o intervalo de controle.
Cada SU, no entanto, possui uma viso do espectro que pode ou no ser igual a do seu
vizinho. Seria ideal se eles pudessem cooperar para determinar quais, dentre os possveis canais
vagos, so os melhores disponveis para alocao, mas note, que em um cenrio como este, a
comunicao entre os usurios secundrios padece de um problema similar ao do ovo e da galinha
3.1 O Canal de Controle Comum 38
[3]. Os terminais cognitivos ou CRs precisam cooperar para encontrar um canal livre, mas, por
sua vez, tais terminais antes precisam encontrar um canal livre, para s ento cooperar. Adicione
a isso os problemas da diversidade espacial e temporal e em frequncia e teremos uma lista dos
principais obstculos para o rendezvous nas Cognitive Radio Ad Hoc Networks (CRAHNs).
Figura 3.1: Operao bsica de um canal de controle comum.
A Figura 3.1 mostra a operao bsica de um mecanismo, onde os ns secundrios A, B, C e

D, aps encontro no canal de controle durante o intervalo de controle, voltam aos canais CAN 2
e CAN 3, para troca de informao til, j no intervalo reservado para dados, enquanto CAN 1
permanece durante ambos os intervalos de dados e de controle, ocupado pelo PU. At aqui, nada
foi assumido quanto sincronizao dos relgios dos terminais envolvidos. Na Seo 3.3.2.3
tratamos da necessidade ou no de sincronizao.
Discusso: Fcil perceber que a maneira mais simples de resolver o problema do rendezvous
empregar um CCC nico e dedicado. Alguns protocolos Medium Access Control (MAC) para
redes CR foram projetados assumindo a existncia de um CCC previamente acordado [47, 28]
(sem DSA), mas essa suposio implica outra perigosa, a de que estes canais acordados estaro
sempre ociosos nas proximidades dos CRs e PUs. O que nos leva a reflexo de que um CCC
esttico deve estar sempre disponvel, sob pena de a) no haver encontro inicial ou b) havendo
um primeiro, novos encontros no sejam possveis.
Aps o entendimento do funcionamento da forma mais simples de operao de um canal

comum, vamos nos aprofundar nesse conceito, lanando mo da taxonomia presente em [29],
mostrada na Figura 3.2 para, a partir dela, discutir as questes associadas construo de um
CCC, com foco nas redes overlay, ramo da classificao onde nossa proposta se v inserida.
Em abordagens underlay, o CCC pode ser atribudo, ao mesmo tempo, mesma banda
Canal de Controle
Overlay Underlay
In-Band Out-of-Band
Sequence-Based Group-based Dedicated UWB
Figura 3.2: Taxonomia das tcnicas de construo do Canal de Controle. Nosso mecanismo est
classificado no ramo in-band no bloco grifado em negrito.
utilizada pelos PUs. Empregando tcnicas FHSS para envio de mensagens de controle em baixa
potncia, atravs de pulsos curtos espalhados por uma grande largura de banda, de tal modo que
a transmisso parea ao PU apenas um rudo. Embora as mensagens de controle e dados PU
sejam transmitidos ao mesmo tempo em um espectro licenciado, a abordagem underlay pode ser
considerada como um CCC dedicado praticamente no afetado pela atividade do PU [20].
J em abordagens overlay, como a nossa, o CCC est permanente ou temporariamente

atribudo a canais ociosos na mesma faixa de frequncia utilizada pelo PU. Quando os CCCs so
afetados pela atividade do PU, os usurios secundrios devem abandonar este canal e restabelecer
um novo CCC em outra faixa disponvel.
3.1.2 Abordagem Overlay

Dedicaremos algumas sees ao estudo dos CCC overlay, j que so mais realistas e abrangem
um maior nmero de cenrios possveis. Seguindo ainda a taxonomia apresentada na Figura 3.2,
podemos dividir estas redes quanto presena ou no de PUs no canal de controle como In-band
e Out-of-Band.
3.1.2.1 In-Band ou Out-of-Band
Os canais de controle podem ser classificados como In-Band, quando alocados nas faixas de
frequncia do PU ou Out-of-Band, quando alocados em faixas no licenciadas ou no espectro
licenciado especificamente para operao de uma rede CR.
Essa deciso est profundamente relacionada cobertura a ser alcanada. Tal cobertura
refere-se rea onde os usurios CR iro trocar as mensagens de controle e/ou se h um ou mais
saltos sem troca de canal. Desde que os CCs In-band so suscetveis atividade do PU, que
pode variar de regio para regio, sua cobertura local. Por ouro lado, nos CCs Out-of-band,
a cobertura geralmente considerada global, o que facilita coordenao de toda a rede, sem a
latncia de comutao de canais e a sobrecarga.
As solues de CCC Out-of-band geralmente no so afetadas pela atividade do PU, j que

todos os usurios CRs sabem que os CCCs estaro sempre disponveis no espectro alocado.
No entanto, se alocadas Out-of-band em faixas no licenciadas, a confiabilidade no pode ser
garantida, devido interferncia de outros servios sem fio naquela faixa. Por outro lado, se
alocados em bandas licenciadas para operadores de rede de CR, isto desafiaria os princpios de
acesso dinmico do espectro (DSA) onde a atribuio flexvel de frequncia necessria para
melhorar a eficincia da sua utilizao, sem mencionar o custo para os operadores e a quebra do
paradigma inicial.
Os CCCs In-band so naturalmente afetados pelo comportamento do PU. Como resultado, o

principal desafio desta abordagem restabelecer os CCCs sempre que algum PU surgir nestes
canais. Para alcanar uma vazo aceitvel, a sobrecarga (overhead) de mensagens de controle e
o tempo de permanncia nos canais de controle tambm devem ser minimizados.
Discusso: Note que a cobertura tambm limitada pela frequncia escolhida, j que
frequncias no licenciadas como as de operao das redes ISM, que tem seus limites de potncia
de operao bastante restritos, o que afeta seu alcance. O nosso mecanismo ajuda a enderear
esses problemas, usando a alternativa In-band, mas alocando os canais de controle nas bandas
de guarda. Alm disso, em funo da frequncia ser a mesma do incumbente, atendemos a
cobertura local e/ou global.
Group-based CCC: Na abordagem group-based um canal de controle pode ser selecionado

a partir de canais comuns disponveis para o SUs formando um grupo ou cluster [10]. Isso
aplicvel se tais usurios observassem a mesma disponibilidade espectral. Ao agrupar os usurios
que utilizam um canal comum, o trfego das mensagens de controle seria facilitado.
Discusso: a chance de saturao do canal de controle poderia ainda ocorrer se a densidade

do grupo for alta. Grandes coberturas exigiram mais saltos o que demandaria alguma coordenao
para o roteamento. Alm disso, garantir um cluster cujos membros tenham vises similares do
espectro, exigiria um dispositivo com capacidade de geo-localizao, o que demandaria maior
potncia da bateria, reduzindo o tempo de vida da rede.
Sequence-Based: Na abordagem baseada em sequncia, os canais so alocados de acordo

com uma sequncia de saltos aleatria [14] ou predeterminada [5, 36]. O principal objetivo
dessa abordagem diversificar a alocao a fim de minimizar o impacto na atividade PU. Como
os usurios de CR podem utilizar diferentes sequncias, diferentes pares de vizinhos podem
se comunicar em diferentes canais de controle. Como resultado, esta abordagem tambm

conhecida como CCC com mltiplos canais de controle. Nessa concepo de CCC baseada na
sequncia de canais, a sequncia de saltos o elemento chave para o acesso ao canal dinmico,
mas mltiplos canais de controle exigem mltiplos rendezvous.
Figura 3.3: A operao bsica de um canal de controle com dois canais diferentes, 1 e 2, evidenciando o
rendezvous no canal 2 e a viso pictrica da TTR.
Discusso: quando um SU quer comunicar-se com um vizinho, tambm secundrio, deve

comutar de um canal para outro, at encontr-lo. Dentro desta abordagem, a descoberta de
vizinhana poderia se dar da seguinte forma: quando o SU muda para um canal disponvel, ele
varre o espectro buscando a presena de PUs ou outras transmisses de SUs. Se detecta o canal
livre, ele ir transmitir um beacon na frequncia de controle. Observe que o beacon uma
mensagem de sondagem, e pode ser um pequeno pacote ou sinal que indicaria a presena do SU.
Diferentes tipos de pacotes de controle so utilizados em diversos protocolos de MAC, como um
beacon em [42], ou um RTS em [2]. No entanto, o objetivo principal tomar conhecimento da
presena de um SU que est disposto a se comunicar, para que, se o destinatrio estiver naquele
mesmo canal, receba o sinal. Ele, ento, responderia com uma mensagem de confirmao ou um
Acknowledge (ACK). Uma vez que estes dois entes tenham trocado os pacotes de controle em
um canal de controle, o encontro foi realizado. Caso contrrio, o SU dever mudar para outro
canal, seguindo a sequncia de saltos e transmitindo a mensagem de beacon. Este processo
repetido, at que o SU (remetente) rene-se com seu vizinho pretendido (receptor). Quando dois
SUs tem um encontro em um canal disponvel eles podem negociar a comunicao de dados,
sincronizar seus relgio, determinar novos encontros etc. A Figura 3.3 mostra a operao bsica
de um canal de controle baseado em saltos de frequncias, onde os slots numerados so os canais
de controle em diferentes frequncias (1 e 2), os no numerados, em branco, representam o canal
de dados. A Figura mostra ainda dois outros conceitos importantes: o encontro em um canal de
controle do SU1 com o SU2 na frequncia 2 e o aparecimento pela primeira vez de uma mtrica
fundamental, o TTR, que exprime o tempo em slots at o primeiro encontro.
3.2 O Rendezvous 42
Saltos em Frequncia: Algoritmos de saltos em frequncia conferem aos rdios cog-

nitivos diversas aplicaes em telecomunicaes, desde a segurana, para evitar que terceiros
tenham acesso ao contedo da informao, passando pela reduo de interferncia como no
FHSS, at o uso aplicado ao nosso cenrio que a coexistncia sem interferncia. O salto em
frequncia em nosso cenrio cumpre trs papis:
1. varrer o espectro;
2. ir e votar ao canal de controle, para o encontro ou para evitar interferncia;
3. ir e voltar ao canal de dados para transmitir.
3.2 O Rendezvous
O rendezvous ou encontro entre dois rdios em um dado instante em uma mesma frequncia a
condio inicial para que a rede de rdios cognitivos entre em operao. Muitos so os mtodos
possveis de se promover o rendezvous. Contudo, devemos lembrar que estamos operando em
uma frequncia j cedida a terceiros, e devemos coexistir seguindo estritas regras de convivncia.
Os CRs devem abster-se de transmitir nos canais onde o usurio principal opera e se os PUs
so detectados, os SUs devem parar de operar to rpido quanto possvel. Alm disso, devido a
possibilidade do aparecimento e desaparecimento repentino do PU, o espectro muito dinmico,
e em razo da mobilidade, um deslocamento de poucos metros pode fazer grande diferena.
Para garantir os encontro, podemos divisar vrias abordagens. O faremos seguindo a taxonomia
introduzida em [15], pictoricamente representada na Figura 3.4.
Rendezvous
No Assistido Assistido
Mltiplos Sem nico

Canais de Canal Canal Canal
Controle Controle controle Dedicado
Figura 3.4: Classificao das tcnicas de Rendezvous. Nosso mecanismo est classificado no bloco
grifado em negrito.
3.3 Desafios da construo do Canal de Controle e do Rendezvous 43
3.2.1 Rendezvous Assistido

Se assumirmos que existe alguma entidade centralizadora que conhece a atividade do PU,
podemos assumir, que ainda que periodicamente, algum beacon possa ser enviado contendo, por
exemplo, a sequncia de saltos, frequncias de operao, posio geogrfica e outras informaes
relevantes. E em algum momento do ciclo de operao, os CRs enviam uma requisio para
operar. Uma infraestrutura centralizadora manteria um banco de dados contendo tais informaes
para sua prpria consulta e/ou dos CRs entrantes. Isso garantiria um controle da rede. Apesar de
simples essa soluo no flexvel, escalvel ou robusta, j que tal entidade precisaria operar
em uma frequncia diferente do PU para evitar a interferncia, seria limitada em alcance e seus
clientes estariam sujeitos, entre outros, ao problema do terminal escondido e do ponto nico de
falha.
3.2.2 Rendezvous no Assistido

No ramo esquerdo da rvore presente na Figura 3.4 esto os mecanismos no assistidos ou sem
coordenao, nesse caso os prprios rdios so responsveis por encontrar uma faixa comum no
espectro. Aqui, temos trs grandes grupos: mecanismos que podem ter um nico CC, mltiplos
canais de controle ou nenhum canal de controle. O primeiro caso, embora no empregue uma
entidade centralizadora, traz consigo o problema de uma possvel saturao e do ponto nico de
falha. Por outro lado, operando com mltiplos canais de controles, os rdios podem se encontrar
em mais de um, entre os canais predefinidos, para a comearem as negociaes. Por ltimo, a
operao inicia sem canal de controle definido, e se nenhum canal de controle est disponvel ou
definido, os rdios devem descobrir uma maneira de se encontrar s cegas. Esse problema em
particular conhecido como blind rendezvous [42].
3.3 Desafios da construo do Canal de Controle e do

Rendezvous
J de posse dos argumentos e tcnicas mais comuns de construo de canais de controle e de sua
taxonomia, apresentada na Seo 3.1, vamos discutir nesta seo, parmetros importantes para
comparao das abordagens de construo do canal de controle e do rendezvous.
3.3.1 Desafios do Canal de Controle

Nesta seo, conduziremos uma discusso sobre alguns parmetros relevantes sobre os desafios
de construo do Canal de Controle, como: a robustez de um CC frente a ataques ou falhas, a
possibilidade de saturao desse canal e a cobertura, avaliando as limitaes e vantagens de cada
abordagem.
3.3.1.1 Saturao
O princpio da abordagem dedicada obriga os SUs a transmitir todos os pacotes de controle sobre
o um nico CCC. Assim, a taxa de coliso de pacotes de controle tender a aumentar quando o
nmero de usurios da rede crescer. Esta situao obviamente degrada a vazo geral da rede.
Nosso mecanismo prev o encontro em mltiplos canais, canais estes com maior probabilidade
de estarem vagos.
3.3.1.2 Robustez
A principal desvantagem ao utilizar a abordagem com CCC nico sua suscetibilidade a dinmica
dos rdios primrios, mas a presena do PU pode no apenas degradar a vazo geral da rede
secundria. Se o perodo de transmisso do PU for significativamente alto, a presena do PU
pode chegar a bloquear o acesso ao canal para os SUs. Alm disso, os canais disponveis
mudam em redes CR, incluindo o CCC. Esse comportamento dificulta o novo estabelecimento
da comunicao. Nosso mecanismo enderea esta questo empregando uma seleo dinmica,
prevendo o uso das bandas de guarda do PU para montagem do canal de controle. Note
que no precisamos, para sinalizao, ou rendezvous de taxas altas ou canais de faixa larga.
Estudos recentes em [12] e [46], mostram que tal tcnica no apenas promissora, mas factvel
empregando em [12], por exemplo bandas de 0.5 a 1 MHz.
Discusso: A seleo de mltiplos canais de controle para promover o rendezvous, aumenta

a resilincia do mecanismo, j que mesmo as bandas de guarda ou quaisquer outras frequncias
podem sofrer disrupo por interferncia, poluio espectral ou mesmo jamming [39]. Alm
disso, um possvel resultado do DSA que em um dado perodo, podem haver mltiplos canais
vagos em uma rede CR. Neste sentido, se cada n escolhe seu prprio canal de controle dentre
muitos, desconsiderando as escolhas dos outros ns ou um limite pr-definido de canais, a rede
pode ser particionada em muitos pequenos segmentos, cada um em um canal dinmico diferente,
dificultando assim a comunicao eficaz. Limitando a escolha a um nmero no muito grande
bandas de guarda, aumentamos a probabilidade de escaparmos deste cenrio negativo. Assim,
mltiplas possibilidades, porm limitadas a um teto razovel de encontros em diferentes canais,

mitigam esse problema.
3.3.1.3 Segurana
De maneira similar ao mencionado na Seo 3.3.1.1, o emprego de um CCC esttico cria uma
vulnerabilidade, j que um nico CCC poderia encorajar adversrios a lanarem ataques ao
canal de controle. A interferncia no canal de controle um dos caminhos mais fceis de se
interromper a operao de uma rede sem fio. O atacante precisa simplesmente injetar um sinal
potente interferente na frequncia do CCC, para impedir qualquer troca de pacotes de controle
impedindo o encontro. Essa vulnerabilidade traz consigo a criao de um ponto nico de falha
dentro da rede e tais ataques podem ser voluntrios ou no [39].
3.3.1.4 Cobertura
Ao usar a abordagem In-Band para a construo do canal de controle ao invs da Out-of-Band,

temos um ganho imediato de cobertura, j que, em tese, teremos at o mesmo alcance do
transmissor primrio. Com o uso de mltiplos canais, ganhamos a possibilidade de encontrar
vizinhos que estejam em canais diferentes e com vises diferentes do espectro, aumentando a
cobertura com menores chances de incorrer na saturao.
3.3.1.5 Limitaes
No trivial alcanar uma sincronizao global em redes ad hoc. Por isso, na maioria dos
cenrios, mecanismos assncronos se tornam mais apropriados. No entanto, a natureza assncrona
da nossa soluo e a necessidade de dois tipos distintos de canais: um de controle e outro de
dados, nos impe algumas restries. Entre elas o compromisso entre o nmero de canais
dedicados ao envio de dados e o nmero de canais dedicados ao controle. Uma maior quantidade
do primeiro reduz a quantidade de encontros o que implica maior probabilidade de interferncia
no PU, pois aumenta a latncia para o abandono do canal. Por sua vez, o aumento do nmero
de canais de controle aumenta o overhead e diminui a vazo total da rede. O atual status desse
trabalho demonstra esse efeito. Entre as tarefas que nos impem a consecuo dessa pesquisa,
est a de reduzir o overhead, principalmente nos cenrios em que h a possibilidade de operar
com mais de dois canais de controle.
3.3.2 Desafios do Rendezvous

Para tornar a compreenso dos desafios e obstculos da construo de um mecanismo de
rendezvous, vamos abordar esse tema atravs de perguntas e respostas, traando um paralelo
com a nossa proposta.
3.3.2.1 Exige Controladores Centralizados?
O Controlador centralizado facilita a coordenao e retira dos terminais a necessidade de varrer

o espectro, j que isso uma funo do controlador. No entanto, essa soluo traz consigo o
problema ponto nico de falha, limitando tambm o alcance da rede, que fica restrito ao alcance
do controlador central. Nossa soluo no exige controladores centralizados, mas uma soluo
distribuda.
3.3.2.2 Exige CCC Dedicado?
O canal de controle dedicado certamente a soluo mais simples. Contudo, incorre tambm no
problema do ponto nico de falha e/ou saturao do canal de controle. Nossa proposta prev
o uso de mltiplos canais de controle para mitigar esse problema. E para aumentar ainda mais
a resilincia do mecanismo e diminuir o tempo de evaso do canal, utilizaremos as bandas de
guarda para montagem do canal de controle, pois mesmo com o surgimento repentino do PU,
poderemos ainda promover o encontro nas bandas de guarda. O uso de um nmero limitado
de bandas, tambm reduz a necessidade de longos perodos varrendo o espectro em busca de
frequncias ociosas o que reduz a latncia da rede, o tempo de evaso e aumenta a probabilidade
do encontro entre os ns.
3.3.2.3 Exige Sincronizao dos Ns?
Obter uma sincronizao global em uma rede, alm de no ser trivial encarece o hardware, pois
exige relgios de alta preciso. Neste aspecto nos alinhamos com os autores em [24], pois que
em CRAHNs no h forma prtica de considerar que dois SUs esto sincronizados e iniciar a
descoberta de vizinhana ao mesmo tempo. Nossa soluo, por isso, emprega uma abordagem
assncrona.
3.3.2.4 Rendezvous Garantido?
Alguns trabalhos como [38] e [4] promovem o encontro com uma alta probabilidade. No entanto,
no conseguem garantir o encontro em um tempo finito. Nossa proposta garante o alinhamento
dos slots de controle de terminais cognitivos em mltiplos canais de maneira determinstica.
Naturalmente, mesmo que haja sobreposio nos slots, estamos lidando aqui com o meio
sem fio, este sujeito s questes de propagao, tais como desvanecimento, interferncia, rudos
e at obstculos fsicos como paredes ou rvores alm, claro, da mobilidade. Assim, no
possvel garantir realmente a consecuo da transmisso, mesmo havendo o alinhamento de
slots.
3.3.2.5 Qual a Abrangncia do Cenrio Aplicvel?
Devido nossa proposta prever um mecanismo distribudo, assncrono e robusto para a promoo
do rendezvous, nossa soluo se adqua a uma variedade de cenrios, como redes ad hoc de
mltiplos saltos, mas nos interessamos especialmente pelo em que necessrio atender clientes
de banda larga em locais esparsamente povoados onde os protocolos mais comuns de redes sem
fio, como os IEEE 802.11abgn no so os mais apropriados e devido ao dividendo digital muitas
sero as faixas licenciadas com canais vagos.
Nesse ponto, o leitor pode perceber que a escolha de como construir o canal de controle no
pode ser dissociada do rendezvous. Elas so to entrelaadas que seu significado algumas vezes
at se confunde como em [33] e [34]. Mas o tipo de mecanismo de Rendezvous (RDV) escolhido
que dita parmetros importantes da operao, como por exemplo ETTR, MTTR e overhead de
controle. Com esses parmetros em mente avanaremos para o Captulo 4, investigando como
outros pesquisadores tm tratado essas questes e comparando aquelas abordagens com a nossa.
Discusso: Dentro das duas taxonomias apresentadas, podemos situar a nossa proposta de
canal de controle como um CC overlay, In-band e sequence based. Alm disso, ele tambm
distribudo, autnomo e assncrono, que permite o rendezvous determinstico no assistido
em mltiplos canais de controle. Tais caractersticas permitem que nosso mecanismo garanta o
encontro dos ns e a posterior troca de informao de maneira oportunista, sem interferir no PU.
E mesmo em caso de surgimento do usurio primrio, os ns possam cooperar para se evadir do
espectro o mais rpido possvel.
48
Captulo 4
Trabalhos Relacionados
Este trabalho est interessado, em ltima anlise em contribuir, apresentando uma soluo que
ajude a construo de uma rede ad hoc de terminais munidos de rdios inteligentes (cogniti-
vos), capazes de observar a ociosidade de uma faixa do espectro, e oportunisticamente trocar
mensagens nessas faixas, o que chamamos de reuso do espectro. Para isso, forosamente,
necessrio promover o encontro destes dispositivos em uma ou vrias frequncias disponveis.
Para promover este encontro, alguns autores exploraram o conceito de qurum e suas derivaes,
como em [5], [38] e [9]. Nesta seo vamos introduzir o conceito computacional de qurum,
apresentando alguns trabalhos que empregam essa tcnica.
A palavra qurum tem origem latina e vem do genitivo plural de qui (que), que pode se
traduzir para "dos quais" ou "de quem". Esta palavra tem sido usada h sculos especialmente na
terminologia legislativa com o significado de maioria ou presena, em processos sufragistas. Esse
uso histrico inspirou seu emprego em Computao, principalmente em sistemas distribudos,
com o significado de alguns agrupamentos, isto , dado um conjunto de entidades (ns de uma
rede ou processos de um sistema operacional), um sistema baseado em qurum uma coleo
de subconjuntos de elementos que necessariamente se intersectam [43].
Em alguns cenrios em redes de computadores, o encontro pode se dar apenas no domnio

do tempo como em [27] e [7]. Nesses casos mais simples, os ns operam sempre na mesma
frequncia, buscando um encontro no tempo, mas h cenrios, como nas redes de rdios cogniti-
vos, em que os ns podem operar em canais diferentes em instantes diferentes. Portanto para que
haja uma oportunidade de transmisso, necessrio haver uma sobreposio de operao entre
os ns no tempo e na frequncia. Neste Captulo passaremos a explorar alguns mecanismos que
fazem uso de sistemas baseados em qurum para promover o rendezvous nas Cognitive Radio
Networks (CRNs). Alguns autores, como em [38], [5] e [9], usam mtodos de encontro baseado
4.1 Sistemas de Qurum Baseados em Grids 49
em Quorum Systems (QSs) para mapeamento de canais em redes que no demandam sincroniza-
o entre os terminais. Nas prximas sees vamos introduzir alguns exemplos, mostrando seu
funcionamento e comparando-os com a nossa proposta.
4.1 Sistemas de Qurum Baseados em Grids

Um sistema baseado em qurum pressupe que a interseo entre elementos de dois subcon-
juntos seja no nula. Vamos brevemente apresentar sua formalizao matemtica e em seguida
apresentaremos alguns exemplos de mecanismos que fazem uso dessa tcnica.
Definio 8. Qurum Dado um sistema qurum sobre um conjunto universo =

{0 , 1 , ..., }, 1. um sistema de qurum se e somente se 1 , 2 : 1 2 =
4.1.1 Grid Legal

Muitas podem ser as leis de formao para construo de um QS. Comecemos por um dos mais
simples, definido em [36] como Grid Legal. Para definir a sequncia de numerao dos slots,
cada ciclo deve ser mapeado a partir de uma matriz bidimensional , onde cada posio da
matriz representa um slot. O primeiro slot representado pelo elemento (0,0) (linha = 0, Coluna
= 0), o segundo slot, o elemento seguinte da linha zero, representado por (0,1). O elemento
(1,0) representa o slot e assim sucessivamente, linha a linha da matriz. Em um escalonamento
baseado em Grid Legal, os slots de controle (em cinza) sero os representados pelo par linha e
coluna de uma matriz. Esse mecanismo, como todos os outros desta seo, tambm emprega
saltos em frequncia.
Figura 4.1: Representao de dois ns operando em dois escalonamentos A e B baseados em Grid Legal.
A Figura 4.1 apresenta dois escalonamentos1 Grid Legal baseados em uma matriz 4 4.
1
Apresentamos duas figuras de cada escalonamento, para facilitar o entendimento do leitor sobre sua formao.
Pode-se inferir pela figura que este mecanismo no exige que dois ns A e B sigam o mesmo
escalonamento para que haja encontros. Os esquemas sugeridos na figura, seguindo a notao ado-
tada nesse trabalho, representam os escalonamentos. = [16, , {2, 6, 10, 12, 13, 14, 15}] e
= [16, , {1, 4, 5, 6, 7, 9, 13}]. Ainda na mesma figura podemos notar um deslocamento
de = 1 slot no tempo representando o offset entre os relgios dos dois ns. Cabe aqui a ressalva
que h dois exemplos de escalonamentos, apenas para que o leitor compreenda mais facilmente
a lei de formao do conjunto de controle, j que estamos lidando nessa proposta apenas com
ns trabalhando no mesmo escalonamento.
4.1.2 Grid Diagonal

O uso do Grid Diag (formado a partir da diagonal positiva) proposto por estes mesmos autores
em [36] tem a seguinte lei de formao:
(, ) = (( ) (( 1) )) ( ), (4.1)
onde = {0, 1, ..., 1} e = {0, 1, ..., 1}
Observe, na Figura 4.2, que a numerao dos slots, no segue a mesma ordem do Grid Legal
(veja seta acima da diagonal principal de A). Essa formao uma evoluo do Grid Legal, pois
reduz o surgimento de slots de controle consecutivos, provocando um melhor balanceamento dos
blocos, posicionando-os em slots em posies de menor e de maior valor dentro do ciclo.
Figura 4.2: Representao de dois ns operando em dois escalonamentos A e B baseados em Grid Diag.
4.1.3 Torus
Um outro tipo de sistema baseado em qurum o Torus [36], tambm uma evoluo do Grid
Legal. Esse sistema satisfaz a RCP, porm sem preencher completamente o par (linha, coluna)
como Grid Legal e Grid Diag. O que, em ltima anlise garante o uso de um menor nmero de
slots de controle por ciclo.
Sendo o nmero de linhas e o nmero de colunas de uma matriz, um qurum Torus

composto por uma coluna, mas ao invs de preencher uma linha completa, seleciona-se apenas
um slot em cada coluna , ( = 0, 1, 2, ..., /2).Nessa conformao, Uma coluna inteira
chamada de cabea do qurum e o resto dos elementos (/2), de cauda.
Na Figura 4.3 vemos dois exemplos de escalonamentos A e B diferentes usando o Grid

Torus. Note que da mesma forma que nos outros sistemas baseados em matrizes, o mapeamento
dos slots pode seguir outras leis de formao, que garantam maior balanceamento na alocao
dos slots de controle, espalhando-os de maneira mais homognea ao longo do ciclo, buscando
com isso mecanismos mais eficientes.
Figura 4.3: Representao de dois ns operando em dois escalonamentos A e B baseados em Torus.
Embora estas diferentes alocaes promovam alguns ganhos no nmero de encontros, TTR
e MTTR, em algumas rotaes em particular, esses mecanismos ainda no conseguem garantir
o encontro para todos os offsets para mais de uma frequncia, o que significa que dois ns a
poucos centmetros um do outro podem ficar indefinidamente buscando uma oportunidade de
transmisso sem sucesso.
4.1.4 Principais Parmetros de Sistemas de Qurum Baseados

em Grid
Os escalonamentos baseados em grids so caracterizados por suas dimenses, linhas, colunas
e clulas escolhidas como slots de controle. O comprimento do ciclo gerado por um grid
2 , seus diferentes overheads podem ser vistos na Tabela 4.1. Naturalmente pode
ser arbitrariamente grande, mas optamos por limitar nossas avaliaes preliminares em tetos
diferentes, com 32 para o Grid Legal e o Grid Diag e 9 para o Torus, pois enquanto os
dois primeiros crescem de forma quadrtica com o aumento de , o nmero de possibilidades de

Torus2 , para um dado , maior que ((/2)+1)/2) .
Tabela 4.1: Parmetros de construo dos escalonamentos baseados em grids.
Comprimento do ciclo
overhead
em nossos cenrios
2 1
Grid Legal 2
2
2 1
Grid Diag 2
2
2 1
se par,
2
Torus 2
3 1
se mpar,
22
Na Seo 5.3.2 fundamentaremos melhor estes limites, j que h basicamente duas maneiras
de alocar os canais de controle em um escalonamento, uma maneira que chamaremos de regular,
que agrupa os canais iguais de maneira contgua, e uma segunda, que chamaremos de irregular,
que no obedece a este padro.
4.2 Block Designs

J vimos nas sees anteriores que as tcnicas que baseadas em grid no garantem mltiplos
encontros em mltiplos canais em tempo finito [37, 38], portanto no so adequadas para o nosso
propsito.
Em [2] encontramos pela primeira vez a aplicao de Block designs para a construo de
um mecanismo de encontro em redes de rdios cognitivos. A proposta dos autores, no entanto,
no prev o uso canais de controle, tratando todos os canais como possveis oportunidades de
transmisso tanto de dados como de controle.
Os autores propem dois mecanismos: primeiro avaliaremos o Single-Sequence MAC

2
Embora os escalonamentos baseados em grid, possam ter diferentes nmeros de linhas e colunas, estamos nesse
trabalho empregando os designs oriundos apenas de matrizes quadradas.
Figura 4.4: Representao do Single-Sequence MAC Protocol obedeceno o BD {7, 3, 1}.
Protocol projetado para atender o cenrio onde se deseja apenas mapear os canais a duas
frequncias distintas. Para isso os autores dividem o espectro em C canais de mesma largura de
banda. Mapeando os C canais entre C1 ao que ele chama de BIBD ativos e C2 de BIBD inativos.
Altamini et al mapeiam o que eles chamam de BIBD ativos (o que em nossa proposta chamamos
de slots de controle) que so os elementos do conjunto de slots em que garantida a interseo
independendo do offset entre os ns. Apresentamos na Figura 4.4 o block design que representa
o escalonamento para dois canais deste mecanismo.
Note que apesar de aplicar o uso de BIBDs para garantir o encontro, os autores no fazem
uso de um canal de controle e encaram tanto o canal C1 como C2 como oportunidades tanto para
a troca de mensagens para viabilizar o encontro como para transmisso de dados. O problema
inerente a essa abordagem que em caso de repentino surgimento do PU, no h novo ponto
de encontro acordado para novas negociaes sobre as prximas transmisses. Nesse caso
especfico uma nova varredura de todo espectro ser necessria e novas coincidncias de escolha
dos canais C1 e C2 devero ser aguardadas. Alm disso, a cada slot ocorre um overhead de
controle.
O segundo protocolo proposto, o Multi-Sequence MAC Protocol considera a existncia de

mltiplos canais, assumindo agora que canais so particionados em dois grupos adjacentes,
fazendo o grupo 1 como G1 = {1, 2,..., C/2} e o grupo 2, G2 = {C/2 + 1, C/2 + 2, ..., C}. A
cada grupo mapeado um estado do BIBD (0 ou 1), ou seja, dado um BIBD = {1, 1, 0, 1, 0,
0, 0}, uma sequncia seria H = {G1, G1, G2, G1, G2, G2}. Dois subgrupos so ento criados.
Assim, G1 = {G1.1, G1.2} e G2 = {G2.1, G2.2} e, ento, cada subgrupo seria mapeado tambm
a dois diferentes estados do BIBD (0,1), levando a formao G1 = {G1.1, G1.1, G1.2, G1.1,
G1.2, G1.2, G1.2}, e G2 = {G2.1, G2.1, G2.2, G2.1, G2.2, G2.2, G2.2}. Isso repetido at
4.3 Consideraes Finais 54
terminarem os canais existentes. Note que essa abordagem elevaria o tempo de sensoriamento.
Ainda h o fator da diversidade espacial, j que impossvel garantir que cada n escolha os
mesmos canais, podendo gerar no limite uma situao que cada n use um conjunto diferente de
canais, particionando a rede e tornando improvvel a comunicao.
4.3 Consideraes Finais

Provavelmente a mais importante deciso a tomar ao propor um mecanismo de encontro para
redes de rdios cognitivos seja: como garantir deterministicamente os encontros ao mesmo
tempo no mesmo canal. A partir da outras questes se apresentam, entre elas: qual a frequncia
desses encontros? O mecanismo exige sincronizao? Como reduzir perdas e colises?
A sincronizao tem grande influncia na operao de sistemas distribudos, pode reduzir

a probabilidade de colises e organizar de maneira mais precisa, tanto os encontros, quanto a
admisso de novos ns. Por outro lado, pode encarecer o preo dos ns. Se, no entanto, optarmos
por mecanismos assncronos, devemos garantir algum tipo de coordenao de admisso de novos
ns e estes necessitaro ento de garantia determinstica do encontro.
O uso das propriedades matemticas dos blocks designs, como a RCP, nos garante o deter-
minismo dos encontros, mas como garantir que tais canais de controle estaro em condies
de propagao boas o suficiente para a troca de mensagens? Ao empregar as bandas de guarda
aumentamos a probabilidade de encontrar boas condies de transmisso, mesmo em presena
do PU. Ao propor mais de um canal de controle, reduzimos a probabilidade de saturao do
canal e ao mesmo tempo, aumentamos a robustez da rede, somando um ganho em segurana,
j que cresce a resilincia a ataques de jamming por exemplo. No entanto, como mapear os
slots que se sobrepem, frequncias, de maneira que haja frequncias coincidentes nos slots
sobrepostos em qualquer offset entre os rdios? No Captulo 5, apresentamos nossa proposta:
um abordagem de escalonamentos baseados nos planejamentos combinatrios.
55
Captulo 5
Nossa Abordagem
Esse captulo descreve as nossas abordagem para a construo de um CCC assncrono que
permita o rendezvous determinstico em mltiplos canais de rdios cognitivos, que viabilize
a operao oportunista em frequncias j licenciadas. Esse mecanismo baseado na teoria
do planejamento combinatrio associado a novas funes de mapeamento das frequncias de
controle e heursticas para construo de novos designs.
Enquanto estes designs (planejamento combinatrios) servem de base para alocao das
frequncias nos slots, as funes de mapeamento determinam que frequncias sero alocadas
em cada slot individual. Assim, a tupla (Design, , ) define uma soluo em particular. J
que a cada design podem ser aplicados mltiplos mapeamentos e pode ter mais de um conjunto
de controle.
A contribuio presente nessa proposta compreende ento trs novos designs que chamamos
de C-designs e M-designs e H-designs. O primeiro surge da aplicao da heurstica de Engenharia
Reversas (ERs), enquanto o segundo explora o conceito da Soma Construtiva e o terceiro
combina as duas. Contribumos tambm com duas novas funo de mapeamento: a funo de
agrupamento regular, e a que chamamos de funo de Mapeamento Construtivo . Esses
designs, heursticas e funes sero explicados em detalhes em sees posteriores a Seo 5.1
que explica as motivaes por trs das nossas premissas e sua aplicabilidade no mundo real.
5.1 Princpios de Projeto

Nossa proposta foi concebidas para atender alguns requisitos existentes nas redes de rdios
cognitivas, a saber:
5.1 Princpios de Projeto 56
Garantia de mltiplos encontros Como j explicado em sees anteriores, a definio

de encontro a coincidncia de operao no domnio do tempo e da frequncia de dois rdios
cognitivos. A teoria do planejamento combinatrio nos entrega alguns designs, que dependendo
das funes de mapeamento podero garantir tais encontros ou no. Tais encontros podem ser
em ou em mltiplos canais. Falar em mltiplos encontros significa dizer que em qualquer rotao
entre dois rdios operando em um escalonamento sempre haver slots coincidentes.
Um canal de controle comum pode ser baseado em uma nica frequncia, ou seja, todos
os slots de controle estaro sempre em um mesmo 1 e os encontros se daro sempre em
uma mesma frequncia 1 , ou o CCC pode ser construdo com mltiplas frequncias, desta
forma os rdios, por exemplo podem alternar entre duas frequncias de controle, 1 sendo a
frequncia central do canal 1 e 2 a frequncia central do canal 2 . Nesse segundo exemplo,
as frequncias 1 e 2 so alocadas nos slots de controle e mapeadas segundo uma sequncia
pr-definida, mas note que se para um dado BD com = 1 e apenas uma frequncia de controle,
a RCP garante o encontro, para mltiplos canais mesmo com s maiores, o mesmo no se
confirma.
Por exemplo, no BD {, , } = {7, 3, 1}, garante 1 encontro por ciclo. J no BD {19, 9, 4},
para uma frequncia, haver 4 encontros em cada rotao. No segundo caso, se os slots forem
mapeados em quatro frequncias 1 , 2 , 3 e 4 . Os 4 slots dos 9 de controle que se sobreporo,
o faro, na maioria das vezes em frequncias diferentes ao longo de cada rotao. Veja na Figura
5.1, o cenrio descrito acima, onde, apenas um deslocamento para a direita de um slot, j elimina
a garantia de encontros em uma mesma frequncia em todas as rotaes, neste escalonamento
em particular, operando com este mapeamento.
Figura 5.1: Escalonamento baseado no BD {19, 9, 4}, com slots de controle mapeados consecutivamente
para as frequncias 1 , 2 , 3 e 4 .
Para garantir o encontro, devemos ento descobrir sequncias de saltos em frequncia e

funes de mapeamento tais que independente do sincronismo, haja opo entre dois rdios em
tempo finito.
Independncia de sincronismo Em certos tipos de redes, tais como as redes ad hoc, a

sincronizao dos terminais pode no ser factvel ou encarecer demasiado o custo de cada n
5.1 Princpios de Projeto 57
da rede, e mesmo que a sincronizao seja alcanada o problema do escorregamento de relgio

em dispositivos com clocks de baixa acurcia aumenta o custo em mensagens, para manter a
sincronizao. Nossos escalonamentos garantem o encontro, ainda que entre terminais com
relgios desalinhados, mas mesmo que dois rdios, num dado instante saltem para a mesma
frequncia, no poderamos garantir que esse canal permanea livre por muito tempo. Precisamos
ento de alguma soluo que minimize o risco alocar os canais de controle em faixas com alta
probabilidade de ocupao.
Emprego das bandas de guarda Com o propsito de reduzir a interferncia entre

canais adjacentes, os rgos reguladores definem, em alguns casos, bandas de guarda fixas
entre canais. Por exemplo, no padro brasileiro de TV Digital h uma banda de guarda de
aproximadamente 500 kHz entre cada canal de 6 MHz. H ainda em qualquer espectro Very High
Frequency (VHF) regional canais vagos (como o canal 3 VHF na cidade do Rio de janeiro) que
podem ser aproveitados oportunisticamente se empregarmos esta faixa. Alm disso, o conceito
de dividendo digital1 nos ser til, pois prev a reserva de diversas bandas de guarda que vo de
1MHz at 11 MHz de largura [23] e podem eventualmente ser utilizadas em nosso mecanismo.
A Tabela 5.1 ilustra o cronograma planejado para a desativao da TV analgica para alguns
pases, incluindo o Brasil.
Tabela 5.1: Cronograma planejado para desativao da transmisso analgica de TV terrestre.
Desativao Desativao entre Desativao entre Desativao entre

at 2010 2011 e 2012 2013 e 2015 2016 e 2020
Finlndia Japo Austrlia Brasil
Sucia Coria do Sul Polnia Turquia
Holanda Canad Filipinas Chile
Estados Unidos Frana ndia Costa Rica
Alemanha frica do Sul China Argentina
Espanha Itlia Rssia Colmbia
ustria Portugal Mxico Bolvia
Dinamarca Bulgria Panam
Grcia Reino Unido Venezuela
Sua
Embora no seja um requisito, no sentido estrito, j que as frequncias de controle podem

ser escolhidas livremente entre as que esto ociosas, seu uso limita o tempo de varredura, reduz
o risco de interferncia no PU e aumenta a velocidade e capacidade de evaso do canal em caso
de retorno do PU .
Possibilidade de Colaborao Redes sem fio esto sujeitas, entre outros, ao problema
1
Expresso utilizada para designar as bandas de frequncia que so utilizadas pela TV terrestre analgica e que
foram ou sero liberadas a partir da digitalizao das transmisses da TV aberta.
5.2 Simulador 58
do terminal escondido e dinamicidade do espectro. Vises diversas do espectro, por parte de

diferentes ns podem implicar decises equivocadas sobre a presena ou no de um PU, devido a
reas de sombra ou obstculos. Tais problemas podem impedir que um n em particular perceba
o surgimento de um usurio primrio ou fazer com que a rede dependa da deciso de apenas um
n. Nossa abordagem, prevendo um CCC, permite o encontro peridico e a colaborao entre os
terminais cognitivos.
Robustez Ao optar por um canal de controle apenas, podemos incorrer na completa

disrupo da rede caso este canal sofra um ataque ou interferncia de alguma natureza. O
emprego de mais de um canal de controle mitigaria este fato. Se o uso de apenas um canal
comum implica um problema, o uso de muitos aumentaria o tempo de busca e o TTR, podendo
causar segmentao da rede, em caso da partio da rede em muitos grupos de terminais com
subconjuntos de canais de controle distintos.
O grande diferencial deste trabalho frente aos que foram comparamos nessa proposta, no
est somente no determinismo do encontro, mas tambm e na robustez do mecanismo, que se
deve a garantia de oportunidade de encontros em mais de um canal, mas para medir sua eficincia
e parmetros como o ETTR, MTTR e nmero de encontros pr ciclo, precisamos desenvolver um
simulador que fosse capaz de gerar os escalonamentos e as rotaes no s do nosso mecanismo,
mas tambm dos mecanismos como Torus, Grid Legal e Grid Diag. Na prxima seo, nos
concentraremos nos detalhes de sua construo.
5.2 Simulador
Diferente dos trabalhos em [7] e [11], onde os autores trabalhavam com terminais que operavam
sempre na mesma frequncia, em nosso trabalho estamos lidando com a diversidade em frequn-
cia. Ento, sob essa nova restrio: dois ou mais canais de controle distintos em frequncia, para
que haja oportunidade de transmisso, precisamos garantir que haja sobreposio de slots, para
qualquer offset, em todas as frequncias escolhidas, sob pena de dois ns ficarem infinitamente
saltando em frequncia, sem nunca estarem na mesma frequncia no mesmo instante. Para
verificar a viabilidade de nossas sequncias de salto, construmos um simulador que gera as
sequncias de saltos e rotaes.
5.2 Simulador 59
Tabela 5.2: Parmetros obtidos como sada de nosso simulador.
Campo Descrio
Tipo Tipo do design, BD, GD, GL ou T.
v Comprimento do ciclo.
k Nmero de canais de controle.
Quantidade de encontros para .
overhead Percentagem de slots usados para controle (/).
funes Funes empregadas e seus parmetros: , , .
Rendezvous em um dado canal de controle .
ETTR em um dado canal de controle .
MTTR em um dado canal de controle .
( ) Probabilidade de falhas de sobreposio de slots em um dado canal de controle .
Ciclos falhos em Total de ciclos em que houve falha na sobreposio de slots em um dado canal de controle .
Nosso simulador, alm de gerar os saltos, as rotaes e os escalonamentos baseados nos

tipos: GD, GL, T, BD, MD e HD tambm computa, para cada tipo, os parmetros apresentados
na Tabela 5.2. Tambm esto presentes em nosso simulador rotinas que implementam as nossas
heursticas de construo de novos designs e que encontram no universo possvel, conjuntos de
controle disjuntos.
Simulamos todos os mapeamentos , para todos os mecanismos e todos os agrupamentos

de a / elementos, para > 2. Com esse simulador, testamos todas as funes regulares
e irregulares, para os designs, at a dimenso 5 5, sem obter, em qualquer dos escalonamentos
baseados em grid, sequer um, que garantisse 2 ou mais encontros em todas as rotaes. A
partir da, passamos a avaliar apenas as funes regulares e o mapeamento construtivo. O
Algoritmo 1 apresenta os passos em pseudo-cdigo para obteno dos parmetros presentes na
tabela 5.2.
5.3 Funes de Mapeamento, Novos Designs e suas Heursticas 60
Algoritmo 1 : Relatrio de encontros empregando funes regulares sobre os BDs ,,

Input:
Nmero de encontros por ciclo.
= {0 , 1 , ..., 1 } Conjunto de slots de controle.
= || Nmero de slots de controle.
, Nmero de bandas de guarda e de canais de controle agrupados.
1 to
Output:
Conjunto das posies de slots falhos nos canais de controle.
report ( ) Retorna os valores da Tabela 5.10.
1: function Mapeia todo para um mesmo .
2: function ,, Mapeia cada slots contguos a um .
3: function V ERIFICA [] (, , , , , )
4: if ==1 then
5:
6: V ERIFICA [](, , , , , )
7: else if > 1 AND > 2 then
8: for 2 to / do
9: ,,
10: V ERIFICA [](, , , )
11: return report( ),
5.3 Funes de Mapeamento, Novos Designs e suas

Heursticas
O principal objetivo desse trabalho contribuir com solues para o problema do encontro s
cegas e a formao de um CCC, mas qualquer mtodo que faa uso de canais de controle deve
se preocupar com o compromisso entre trfego til e o overhead de controle. Assim, dado
que encontramos meios de montar escalonamentos que garantam mltiplos encontros para a
formao de um CCC, nossa segunda meta ser a de reduzir o overhead tanto quanto o possvel,
mantendo nveis realistas de ETTR. Para isso nossa proposta apresenta algumas abordagens:
1. O emprego de sequncias de saltos em frequncia oriundas do planejamento combinatrio

para garantia dos encontros, j provadas bem sucedidas em [7, 4, 2].
2. Novas funes de mapeamento para alocaes de frequncias nos slots de controle.
3. Novos designs combinatrios que apresentam menores overheads para mltiplos encontros.
4. Novas heursticas de construo desses designs.
5. O emprego de combinao das tuplas (Designs, , ) para alcanar escalonamentos com

menores overheads.
Contudo antes de prosseguirmos para as contribuies propriamente ditas, vamos descrever

o modo de operao de nosso mecanismo.
5.3.1 Modo de Operao de nosso Mecanismo

Embora nessa proposta tenham surgido diversas abordagens para as sequncias de saltos, o
mecanismo propriamente dito funciona da mesma maneira para qualquer uma delas: cada n
opera de acordo com um mesmo escalonamento. Nestes escalonamentos o tempo dividido em
ciclos, que por sua vez so subdivididos em slots, tais slots podem ser dedicados transmisso de
dados ou mensagens de controle. Enquanto os slots dados operam em uma nica frequncia ,
os de controle podem operar em uma ou mais frequncias de controle (1 , 2 , ..., ), escolhidas
entre as bandas de guarda estabelecidas pelas agncias reguladoras. Todas podem ser escolhidas
dinamicamente aps o processo de varredura do espectro2 . Os rdios dos ns devem ser capazes
de operar em saltos em frequncia. Um simples exemplo ilustrado na Figura 5.2 mostra um n
operando em um escalonamento = [7, , {1, 2, 4}] oriundo do BD {7, 3, 1}, indicando que
este ciclo em particular consiste de 7 slots, sendo 3 de controle e 4 de dados.
Figura 5.2: Escalonamento = [7, , {1, 2, 4}], 7 slots, 3 de controle e 1 encontro.
Note que o escalonamento presente na Figura 5.2 embora adequado para uso como exemplo
didtico, possui um overhead (relao entre o comprimento em slots do ciclo e o tempo de
2
Os autores em [45] explicam e apresentam farto material sobre tcnicas de DSA.
permanncia nos canais de controle) da ordem de 42%, alto para operao em uma rede real.
Felizmente h outros BDs mais eficientes, como podemos observar na Tabela 5.3.
Tabela 5.3: Alguns esquemas conhecidos baseados em Block Designs com = 1 e overhead = 1%.
Esquemas mais complexos (em negrito), com = 12, tambm podem ser empregados.
Encontros em ETTR em
overhead
0 0
4557 68 1 0.01 4624 2084.78
5113 72 1 0.01 5184 2328.39
5403 74 1 0.01 5476 2673.55
6321 80 1 0.01 6400 2880.14
6643 82 1 0.01 6724 2834.50
1464 133 12 0.09 17689 105.29
Se estivermos interessados em escalonamentos que visam promover apenas um encontro,

seria natural escolher escalonamentos com = 1, mas no h impedimento algum em explorar
ou mesmo utilizar outros escalonamentos com > 1, nestes cenrios, assim como faramos
com escalonamentos com = 1, operaramos em todos os slots de controle com uma mesma
frequncia (mapeamento singular). Essa abordagem seria interessante, desde que as mtricas de
comparao como o TTR e o overhead fossem vantajosas.
Por exemplo, na Tabela 5.3, podemos observar alguns resultados para escalonamentos
com = 1 e na ltima linha em negrito, um escalonamento com = 12. Nessa situao,
ao compararmos a ltima linha com as restantes, talvez queiramos sacrificar alguns pontos
percentuais do overhead, por um ETTR da ordem de uma centena de slots, com cerca de trs
vezes mais encontros por ciclo.
Uma vez entendido o modo de funcionamento da sequncia de saltos, da alocao dos slots
de controle, para encontros singulares. Na Seo 5.3.2, expandiremos estes conceitos, para o que
chamamos de mltiplos encontros, caracterstica que confere robustez ao nosso mecanismo.
5.3.2 Mapeamentos Regulares, Mltiplos Encontros, Heursticas

e seus Designs
Em um cenrio em que desejamos promover mltiplos encontros, podemos alocar os canais
de controle nos slots de controle de muitas maneiras possveis, mas no havendo formas ana-
lticas de provar que dada uma tupla (Design, , ), haja mltiplos encontros em todos os
ciclos, deveramos explorar todos os designs possveis e suas rotaes. No entanto, de modo a
reduzir o escopo na descoberta de funes bem sucedidas, j que como explicado na seo
4.1.3, estamos lidando com escalonamentos que crescem exponencialmente com o aumento
do comprimento do ciclo, aplicamos nossa abordagem com algumas restries: limitamos as

comparaes com os escalonamentos baseados em grid, empregando somente os de dimenses
e dividindo nossas funes mapeamento em dois grandes grupos:
1. funes de nico encontro ou encontro singular, aplicando o mapeamento singular,

onde todos os slots de controle so alocados indistintamente mesma frequncia.
2. funes de mltiplos encontros, onde os slots de controle so alocados a canais com

frequncias diferentes. Essas funes podem ser separadas agora em dois subgrupos:
(a) Mapeamentos ou agrupamentos regulares so todos os mapeamentos que alocam

a mesma frequncia em at / slots de controle consecutivos.
(b) Mapeamentos ou agrupamentos irregulares so as diversas combinaes, onde em

cada grupo de / slots consecutivos, tais slots possam ser alocados frequncias
diferentes.
A Figura 5.3 ilustra dois escalonamentos e oriundos de um mesmo design com = 9

operando respectivamente com uma funo de agrupamento regular que aloca um mesmo canal
de controle a cada trs slots consecutivos e uma irregular que no obedece padro regular
algum.
Figura 5.3: Escalonamento operando com uma funo de mapeamento regular que aloca a cada
trs slots consecutivos a mesma frequncia, enquanto o escalonamento opera com um mapeamento
irregular.
Antes de nos aprofundarmos mais na anlise destes agrupamentos, enunciaremos formal-

mente os parmetros necessrios para relacionar cada slot de controle a um dado canal, dentro
de um subconjunto de bandas de guarda j disponveis, de modo a montarmos nossa sequncia
de saltos em frequncia, que ser em ltima anlise, nosso escalonamento.
Dados um BD {, , }, um escalonamento = [, , {0 , 1 , ..., 1 }], com rdios

0,
operando em um esquema montono [] = { 1,
2 , ...,
1 } com canais de controle,
< . Nossas funes de mapeamento sero definidas por:
= : (5.1)
Aps definir quais block designs em particular, podem ser empregados em nossa soluo, o
prximo passo descobrir uma ou mais funes de mapeamento 3 que garantam a sobreposi-
o dos slots de controle. Iniciemos analisando, como contraexemplo, a funo de mapeamento
regulares mais simples, em que alternamos os slots de controle consecutivos entre dois canais
0 e 1 operando em frequncias diferentes.

0 , mod 2 = 0
= (5.2)
,
1 mod 2 = 0
A funo enunciada na equao 5.2, aloca 2 canais de controle distintos (em frequncias
diferentes), alternando-os consecutivamente. Ao empregar, por exemplo, um esquema montono
com o escalonamento = [19, , {2, 5, 6, 7, 8, 10, 12, 17, 18}] construdos a partir do BD
{19, 9, 4}. A viso pictrica do escalonamento definido pela equao 5.2 pode ser observado na
Figura 5.4, onde esto representados dois ns e , operando em um mesmo escalonamento
, deslocados um do outro no tempo, de exatamente um slot.
Figura 5.4: Dois ns operando no escalonamento baseado no BD {19, 9, 4}, deslocados de um slot,
usando uma funo de mapeamento expressa na equao 5.2, que alterna consecutivamente dois canais de
controle distintos .
Fcil observar na Figura 5.4, que com um offset de um slot no h encontro algum. Queremos
demonstrar com esse contraexemplo, que dado um escalonamento , construdo a partir de um
BD {, , }, com canais de controle distintos, deveremos apenas empregar funes que:
possveis,
i) garantam o encontro em todos os canais entre quaisquer duas rotaes
ii) atendam com eficincia mtricas como overhead, ETTR e MTTR.

3
Por enquanto vamos tratar genericamente qualquer funo de mapeamento como . Ainda nesta seo iremos
discutir e estender essa notao.
Um exemplo bem sucedido conseguido a partir do escalonamento baseado no BD

{59, 29, 14}, ao alocar duas frequncias diferentes, alternando, no um, mas dois slots con-
secutivos mesma frequncia. Isso significa agrupar dois slots consecutivos e mape-los
mesma frequncia de controle, como ilustrado na Figura 5.5.
Figura 5.5: Escalonamento baseado no BD {59, 29, 14}, com 29 slots de controle empregando uma
funo , de maneira que a cada dois slots de controle simultneos. Encontros ocorrem em 0 no slot
17 e em 1 no slot 20. H um deslocamento de = 1 entre os dois ns.
Note, que entre esses dois ns, com esse offset, h encontros em ambos os canais de controle
0 e 1 , fato que tambm ocorre para todos os 59 offsets possveis. Portanto o escalonamento
baseado no BD associado a descrita, atende a condio de encontro de dois canais. Contudo,
a despeito dessa funo ser bem sucedida para dois encontros, no repete o desempenho para trs
ou mais canais, ou seja, uma dada funo que atende dois encontros, no necessariamente
atender trs encontros por ciclo.
Depois de conceituado e exemplificado como as funes regulares funcionam, devemos

definir a notao formal que empregaremos ao longo deste trabalho. funo mais simples,
chamaremos de funo de mapeamento singular e expressaremos sua notao por: . Para as
funes mais complexas com > 1 que agruparo at / slots consecutivos expressaremos
as funes de agrupamento regulares, de modo que possamos identificar claramente quantos
slots de controle esto envolvidos, quantos canais esto sendo mapeados e quantos slots
consecutivos esto agrupados naquele mapeamento especfico. Conferindo nossa funo de
mapeamento a notao ,, . Assim, uma funo empregada no exemplo da Figura 5.5, ser
representada por: 29,2,2 .
Observe que em qualquer caso, mantendo o nmero de slots de controle, a alterao da

funo mapeamento , no modifica o design em si, ou seja, no muda o nmero de slots de
controle, nem como eles esto dispostos no ciclo, mas sim, como os canais so alocados nos
slots de controle existentes.
Uma das limitaes do emprego dos pares (BD, ,, ) que ao agrupar dois ou mais
slots de controle para designs com > 1, muitos slots falharo durante as rotaes. Para lidar
com esta limitao, criamos a heurstica de Engenharia Reversa, que se aproveita de pares (BD,
,, ) com poucas falhas em suas rotaes para criar novos designs com melhor desempenho
no que concerne o overhead.
5.3.2.1 Engenharia Reversa e os C-Designs
Para criar novos designs com o emprego da heurstica de Engenharia Reversa, aproveitamos
block designs com overhead abaixo de 20% com poucas falhas nos encontros ( /10), para,
associados a nossas funes regulares, construir novos escalonamentos mais eficientes na mtrica
sobrecarga de controle. Nessa tcnica, dada uma tupla (BD, ,, , ) cuja funo regular no
garante o encontro nos canais, aplicamos um algoritmo que verifica em quais slots ocorreram
as falhas nos encontros, substitumos ento aqueles slots falhos por novos slots de controle,
aplicamos novamente as mesmas funes regulares e ento verificamos novamente, repetindo o
processo at que as falhas cessem. No entanto note que ao modificarmos um BD, transformando
slots de dados em novos slots de controle, no teremos mais a mesma entidade matemtica (BD),
mas um novo design que chamamos de C-Designs (CD). A ideia por trs do processo alterar
um BD com overhead baixo e com ciclos falhos, e atravs da adio de novos slots de controle
nesse design, eliminar as falhas com um mnimo de aumento no overhead. O pseudo cdigo
apresentado no algoritmo 2 mostra os passos para obteno de CD a partir de um BD original,
exemplos e uma melhor descrio dessa tcnica podem ser vistos na Seo 5.3.2.2 atravs da
Figura 5.7.
Algoritmo 2 : Heurstica da Engenharia Reversa Criao dos C-Designs

Input:
= 20%
Output:
C-Design novo conjunto {, , }.

1: function V ERIFICA [] (, , , )
2: while | | = 0 AND (| |/ < ) do
3: if | | =
0 AND / ) then

4:
5: return C-design
5.3.2.2 Soma Construtiva, C-designs, M-Designs ou H-Designs
Ainda buscando uma maior reduo do overhead de controle, estamos investigando uma terceira
heurstica determinstica que criamos nos baseando no conceito de conjuntos de controle disjuntos
(different families) [40] e no teorema da soma construtiva [16], que enuncia que: se existe um BD
{, , 1 } e um {, , 2 }, ento existe um BD {, , 1 + 2 }. Estendendo esse teorema para
os nossos propsitos, se obtivermos dois block designs com conjuntos de slots de controle e
disjuntos, poderemos criar um novo design {, 1 + 2 , 1 + 2 )} |1 | = 1 , |2 | = 2 ,
que nos permitir garantir mltiplos encontros, ao aplicarmos agora uma funo de mapeamento
que seja unvoca, associando cada um dos slots 1 a um 1 e a cada 2 a um 2 .
Criamos ento o conceito de uma nova funo de mapeamento unvoco que chamamos de
(Mapeamento Construtivo), que aloca os canais de controle {1 , 2 , ..., } respectivamente
ao conjunto de slots de controle {1 , 2 , ..., }. Ao fazer isso obteremos em nossa nova
notao um novo design MD {, 1 + 2 , (1 , 2 )}, onde MD acrnimo de Merged-Design.
Apesar do overhead proibitivo (90%), um exemplo de mapeamento que ajuda a ilustrar

o conceito da Soma Construtiva o mostrado na Figura 5.6, onde empregamos um mesmo
BD {11, 5, 2} com dois conjuntos de slots de controle disjuntos 1 = {1, 3, 4, 5, 9} e 2 =
{2, 6, 7, 8, 10}, que aps a aplicao da Soma Construtiva resulta em um novo escalonamento
= [11, ,{1, 2, 3, 4, 5, 6, 7, 8, 9, 10}], resultando em um novo design MD {11, 10, (2, 2)},
onde o par (2, 2) representa o nmero de encontros por ciclo em cada canal distinto, 1 e 2 .
Figura 5.6: A Figura mostra o escalonamento = [11, , {1, 2, 3, 4, 5, 6, 7, 8, 9, 10}] cujo design
construtor o MD {11, 10, (2, 2)}, onde o par (2,2) representa os encontros por ciclo em cada canal
distinto, 1 e 2 . Este design oriundo da soma construtiva de um mesmo bloco {11, 5, 2}, que origina
dois escalonamentos diferentes: = [11, ,{1, 3, 4, 5, 9}] e = [11, ,{2, 6, 7, 8, 10}].
Muito embora o mtodo da soma construtiva tenha se mostrado bem sucedido, block designs
de mesmo comprimento com conjuntos disjuntos, que atendam a dois encontros so raros,
enquanto os para 3 encontros, com nossas funes regulares, inexistem. Precisamos ento
de novos designs que pudssemos empregar para alcanar 3 encontros alcanando overheads
menores que 20%.
Para alcanarmos esse propsito encontramos dois ou mais designs de dimenses prximas
com > 1. Reduzimos o comprimento dos designs at o menor entre os envolvidos, para que
todos os designs tenham a mesma dimenso em nmero de slots. A partir da buscamos conjuntos
de controle disjuntos de , rodando o algoritmo de Engenharia Reversa, alternadamente em cada
design at que no haja slots coincidentes ou falhos. Finalmente aplicamos a Soma Construtiva a
estes designs e formando ento, dependendo de seus construtores, um C-Design, um M-Design
ou um H-Design.
Figura 5.7: Processo de criao de C-Designs para encontros em dois canais atravs da aplicao da
Engenharia Reversa em dois BDs, evidenciando a remoo de slots excedentes, eliminao de slots de
controle coincidentes (marcados com um X) e posterior emprego da Soma Construtiva, para formao de
um novo C-Design para dois encontros.
Na Figura 5.7 mostramos inicialmente e , respectivamente escalonamentos com

durao de ciclos diferentes (19 e 23 slots), oriundos dos BDs {19, 9, 4} e {23, 11, 5}. Aplicamos
ento a heurstica de Engenharia Reversa, reduzindo ao tamanho de , buscando as rotaes
com o menor nmero de intersees e ento removemos alternadamente os slots coincidentes at
que no haja mais intersees (slots marcados com X) e simultaneamente verificando, a cada
interao do loop, se ainda h encontros em todos os ciclos.
Ao final da rotina de Engenharia Reversa, caso os escalonamentos mantenham pelo menos um

encontro por ciclo e no haja slots coincidentes, conseguimos formar dois novos escalonamentos
e ambos oriundos de um mesmo designs: CD {19, 7, 1}, mas com conjuntos de controle
distintos. Ento aplicamos a Soma Construtiva em e para obter o design CD {19, 14, (1,
1)} com ao menos um encontro em cada canal em todos os ciclos. A Figura 5.8 (b) mostra um
diagrama desse processo. Naturalmente um design com overhead de 78% nos pouco til, mas
na Seo 5.4 apresentaremos designs mais eficientes. Note que introduzimos aqui uma nova
notao (1) para o campo equivalente ao no C-design. Isso se deve ao fato de que depois do
agrupamento estaremos garantindo no mais encontros por ciclo, mas ao menos um encontro
por canal por ciclo. Faz parte de nossos trabalhos futuros nessa tese, refinar a implementao
para computar o mnimo de encontros por ciclo e amadurecer a notao.
5.3.2.3 Sumrio das Heursticas e seus Designs
Para esclarecer o leitor sobre o nmero de possibilidades e combinaes exploradas pelo autor,
esta seo, sumariza nossas contribuies, no que toca os novos designs e suas heursticas de
construo atravs de diagramas baseados na ideia dos genogramas.
CD CD ER
BD ER CD SC
ER
CD
(a) Um design CD com dois ou mais encontros (b) Um design CD com trs encontros pode ser
pode ser obtido a partir de um BD atravs da obtido a partir da soma construtiva entre dois
heurstica de engenharia reversa. CDs
Figura 5.8: As Figuras (a) e (b) mostram como podem ser construdos os C-Designs que permitem dois
ou mais encontros.
As Figuras 5.8 (a) e (b) e 5.9 (a) e (b) procuram mostrar atravs de diagramas as heursticas
de construo dos designs mencionados. O rtulo das arestas direcionadas indicam o acrnimo
da heurstica empregada, enquanto os blocos unidos as extremidades no orientadas indicam
os designs construtores. As figuras de diferentes blocos unidos a extremidade orientada da
aresta representam os designs resultantes. Assim, como exemplo, na Figura 5.9 (b), a heurstica
Engenharia Reversa aplicada em um design CD que por sua vez somado construtivamente a
um design BD, originando um design hbrido HD. Essa leitura pode ser estendida para todos os
outros exemplos. Nas prximas fases de nosso trabalho pretendemos explorar combinaes de
blocos ainda no tentadas (MD, MD), (MD, CD), (MD, HD) e (CD,HD).
5.4 Resultados Preliminares 70
BD BD BD CD ER
SC
SC
MD HD
(a) Um design MD com dois ou mais encontros (b) Um design HD com trs encontros pode
pode ser obtido a partir da soma construtiva ser obtido a partir da soma construtiva de um
entre dois BDs. BD com um CD.
Figura 5.9: As Figuras (a) e (b) mostram como so construdos respectivamente os designs MD e HD
que permitem dois ou mais encontros.
5.3.2.4 Relaes entre os Novos Designs, Mapeamentos e Heursticas
Para um melhor esclarecimento das diferenas entre as heursticas de construo de novos

designs e sua relao com as funes de mapeamento, apresentamos a Tabela 5.4, que mostra
a quais designs podemos aplicar que funes de mapeamento. A restrio de combinaes
entre esses elementos se d devido a natureza da construo dos designs. J que, por exemplo,
uma vez que um design tenha sido criado antecipando uma pr-alocao dos canais, no faz
sentido agrup-los novamente. Para definir em uma assertiva: as funes de agrupamento regular
foram criadas para permitir mltiplos encontros em designs no construdos com essa finalidade,
enquanto os demais designs foram criados j com a finalidade de mltiplos encontros em mente.
Tabela 5.4: Funes de Mapeamento aplicveis aos designs e suas heursticas.
Funes de Mapeamento Heursticas

Regulares Construtiva Eng. Reversa Soma Const.
CD X X X X
MD X X
Designs
HD X X
BD X
5.4 Resultados Preliminares

Foram testados para essa proposta mais de 4 milhes de escalonamentos e suas rotaes, entre os
mecanismos BD, GD, GL, T, CD, MD e HD. Inciaremos analisando os resultados para encontros
singulares em seguida avanaremos para mltiplos encontros.
5.4.1 Escalonamentos para um Encontro ou Singulares

Embora as tuplas (Designs, , ) que atendem a um encontro no sejam o foco deste trabalho,
achamos indispensvel uma seo a esse respeito, no s pelo efeito didtico, j que o conceito
por trs dos designs para mltiplos encontros pode ser melhor compreendido se entendermos
primeiro os designs para encontros singulares, mas tambm porque o emprego de designs
combinatrios garantem escalonamentos com overheads inferiores a 1%.
Vamos a um exemplo de design em que ocorrem, tanto a falha como o sucesso, dependendo
da funo de mapeamento empregada. Veja a Tabela 5.5 que mostra um sub conjunto dos
parmetros gerados por nosso simulador, ao aplicarmos as trs funes de mapeamento ,
9,2,2 e 9,3,3 no escalonamento obtido a partir do BD {19, 9, 4}. Escolhemos esse BD como
exemplo, pois mostra o cenrio em que bem sucedido para 1 encontro, mas que falha em 8
ciclos no canal 0 e em 6 no 1 para 9,2,2 e em 12, 12 e 18 ciclos nos canais 0 , 1 , e 2
respectivamente para a funo 9,3,3 .
Tabela 5.5: Tabela evidenciando o nmero de encontros, probabilidade de falhas por canal e nmero de
ciclos falhos. Ciclos estes em que no h encontros naquele canal especfico.
ciclos falhos ciclos falhos ciclos falhos

0 (0 ) 1 (1 ) 2 (2 )
em 0 em 1 em 2
81 nula 0
9,2,2 16 no nula 8 25 no nula 6
9,3,3 9 no nula 12 9 no nula 12 9 no nula 18
A coluna ( ) mostra se a probabilidade de falha no encontro de dois rdios em um dado

canal nula ou no nula. indica o nmero de rendezvous em um canal e a coluna
ciclos falhos indica o nmero de rotaes em que no houve encontro naquele canal especfico.
As posies da tabela onde no h valores ( ), significam que a funo empregada no usa
aquele canal em particular.
Estamos lidando aqui com mecanismos diferentes, cujas construes no se encaixam exata-
mente no modelo dos block designs. As tcnicas baseadas em grids possuem uma abordagem
com uma forte relao entre e , enquanto o planejamento combinatrio no. Contudo, todas
elas tm em comum os parmetros {, } e = [, , {0 , 1 , ..., 1 }]. que representam
respectivamente a quantidade de slots possveis, a quantidade de slots de controle e seu escalona-
mento. Portanto, embora saibamos que sejam entes matematicamente distintos, podemos, sem
perda de generalidade e a ttulo de comparao, observ-los sob uma mesma tica, aplicando a
mesma nomenclatura oriunda dos planejamentos combinatrios.
Figura 5.10: Representao de dois escalonamentos A e B usando um Torus 5 5 e sua

linearizao, cujas representaes so: = [25, , {2, 8, 13, 16, 17, 20, 21, 22}] e =
[25, , {1, 6, 8, 11, 12, 16, 22}].
Por exemplo, sabemos que duas possveis construes Torus, de dimenso 5 5, so as

vistas na Figura 5.10, onde o n A usa os slots de controle {2, 8, 13, 16, 17, 20, 21, 22}, enquanto
B usa os slots {1, 6, 8, 11, 12, 16, 22}. Ambos possuem o mesmo overhead, o mesmo nmero
de slots de controle, e a RCP nos garante que se mapearmos os slots de controle para um nico
canal 0 , obteremos no mnimo 1 encontro por ciclo para cada um deles para cada rotao.
Contudo, se quisermos provocar mltiplos encontros ( > 1) devemos descobrir uma funo
que garanta encontros em todos os canais em todas as rotaes. Note ainda que no rotao
de .
Se aplicarmos a mesma funo , eles resultaro em no mnimo 1 encontro por ciclo,

porm seus TTRs esperados (ETTR) sero diferentes. Enquanto o ETTR de = 1.33, o de
= 4.14. Portanto, designs de mesma dimenso podem resultar em desempenhos diferentes
em funo do escalonamento empregado. Dados extrados da Tabela 5.6.
Tabela 5.6: Tabela comparando alguns parmetros dos escalonamentos A e B mostrados na Figura 4.3.
Escalonamento 0 (0 ) ETTR MTTR

A 18 nula 1.33 6
B 9 nula 4.14 6
Na Figura 5.11 apresentamos o para cada overhead discreto (com dois digitos
decimais), para cada mecanismo, ao empregarmos a funo . Contudo, apesar de sermos, na
maioria dos resultados, superados pelo Torus e pelo Grid Legal, na faixa entre 8 a 20%(devido
tambm ao fato de haver poucos BDs com essa relao /), o grfico tambm mostra que
os escalonamentos oriundos de block designs podem alcanar overheads menores que 8% (
esquerda linha tracejada vertical). Resultados alcanveis pelos os mecanismos baseados em
grid somente para maiores valores de , j que eles tem uma relao rgida entre o nmero de
slots de controle e a dimenso do grid.
Figura 5.11: para cada overhead discreto, para cada mecanismo usando a funo , que
representa o mapeamento do mesmo canal de controle 0 para todos os slots de controle.
5.4.2 Escalonamentos para Mltiplos Encontros

Testamos os GD e GL desde os designs 3 3 at os 32 32, os designs Torus do 3 3 at
9 9 e no encontramos nenhum design entre aqueles baseados em grade que garantisse 2 ou 3
encontros por ciclo.
Tabela 5.7: Percentual de falhas nos encontros nos canais 2 para os mecanismos Grid Legal, Grid Diag
e Torus.
Tipo v k overhead funes % de ciclos falhos em 1 % de ciclos falhos em 2

GL 81 17 0.21 17,3,2 0.79 0.44
GD 49 13 0.27 13,3,3 0.77 0.49
T 81 16 0.20 16,3,4 0.86 0.37
Na Tabela 5.7 apresentamos os escalonamentos de melhor desempenho em se tratando do

percentual de falhas nos encontros nos canais 2 , ou seja, encontros em trs canais diferentes,
para os mecanismos Grid Legal, Diag e Torus. A coluna funes mostra as respectivas
funes de mapeamento empregadas e a ltima coluna mostra o percentual de ciclos falhos
ponderadas todas as rotaes. O Torus em seu escalonamento falhou no encontro em 2 em
37% dos offsets e em 86% dos ciclos em 1 . Note tambm que apesar de usar mais canais
agrupados para o Grid Legal e para o Torus, seus overheads so menores.
Tabela 5.8: Tabela com todos os escalonamentos baseados em BDs que efetivamente garantem o encontro
de dois rdios em dois canais diferentes com overhead de controle < 30% .
funes ETTR MTTR ETTR MTTR

overhead 0 1
0 0 1 1
781 156 31 0.20 156,2,2 6084 61.32 775 6084 53.00 633
341 85 21 0.25 85,2,2 1764 41.35 288 1849 31.41 234
677 169 42 0.25 169,2,2 7056 60.07 458 7225 55.73 486
Na Tabela 5.8 podemos acompanhar alguns exemplos de escalonamentos que usam BD

que so capazes de garantir 2 encontros, com seus respectivos overheads. Tal cenrio atende
os ambientes em que h apenas duas bandas de guarda com qualidade suficiente para operao.
Mostramos aqui, dos 47 possveis, apenas os 3 escalonamentos com overhead < 30%.
Tabela 5.9: Escalonamentos baseados em BD que garantem encontros multicanais (3), com seus respecti-
vos overheads, nmero de encontros, funes de mapeamento, ETTR e MTTR para cada canal.
funes ETTR MTTR ETTR MTTR ETTR MTTR

# overhead 0 1 2
0 0 1 1 2 2
1 199 99 49 0.5 99,3,4 1024 37.54 151 1024 38.39 178 1225 32.29 193
2 251 125 62 0.5 125,3,4 1681 34.91 201 1600 40.45 173 1936 31.07 211
3 255 127 63 0.5 127,3,3 1849 48.2 193 1600 55.46 215 1936 29.52 245
4 263 131 65 0.5 131,3,6 1600 55.41 204 1849 50.45 256 2304 43.87 248
5 271 135 67 0.5 135,3,3 1936 53.5 244 1764 47.24 187 2401 49.14 258
6 283 141 70 0.5 141,3,3 2025 36.17 216 2304 41.53 206 2304 29.82 268
7 307 153 76 0.5 153,3,3 2704 38.89 191 2401 44.81 232 2704 34.13 287
8 331 165 82 0.5 165,3,3 2916 36.34 179 2916 43.44 184 3249 32.52 193
9 347 173 86 0.5 173,3,3 3136 60.39 243 2916 79.70 289 3969 56.83 330
10 359 179 89 0.5 179,3,3 3481 28.85 192 3600 29.42 148 3600 20.24 292
11 367 183 91 0.5 183,3,3 3600 46.94 348 3600 57.80 231 3969 35.09 361
12 379 189 94 0.5 189,3,4 3969 53.70 277 3600 54.06 319 4356 39.16 368
13 383 191 95 0.5 191,3,10 3721 63.52 336 3600 68.41 323 4900 60.00 363
14 419 209 104 0.5 209,3,11 4225 94.35 361 4096 117.48 343 6400 78.84 389
15 431 215 107 0.5 215,3,5 4900 49.13 342 4900 60.23 388 5625 30.91 417
16 439 219 109 0.5 219,3,10 4900 74.86 391 4900 63.03 408 6241 67.24 418
17 443 221 110 0.5 219,3,17 4624 127.26 410 4624 114.33 365 7225 66.82 428
18 463 231 115 0.5 231,3,12 5625 85.08 436 5184 86.82 244 7056 56.49 443
19 467 233 116 0.5 233,3,12 5184 116.78 407 5184 129.70 387 7921 84.70 436
20 479 239 119 0.5 239,3,3 5929 43.13 297 6084 41.89 291 7056 28.57 462
21 487 243 121 0.5 243,3,13 6400 118.05 474 5184 137.57 392 8100 77.80 463
22 491 245 122 0.5 245,3,11 5929 74.74 284 6400 70.44 314 7744 63.20 469
23 511 255 127 0.5 255,3,10 6241 79.53 434 7744 55.41 327 7744 96.47 485
24 523 261 130 0.5 261,3,3 7396 53.93 408 7056 56.74 295 8281 56.56 515
25 587 293 146 0.5 293,3,13 6561 193.43 425 10816 162.08 552 11664 112.33 535
26 1023 511 255 0.5 293,3,13 32400 187.03 951 22801 269.54 792 32400 157.53 943
Ao todo, avaliamos mais de 300 escalonamentos oriundos dos block designs e apenas os
constantes na Tabela 5.9 oferecem garantia de encontros em trs canais diferentes entre quaisquer
rotaes. Note, que comparativamente, o overhead alcanado para dois encontros muito mais
baixo que para trs encontros. Esta circunstncia permite trabalhar de modo adaptativo, com dois
canais de controle em redes com poucos ns, com previso de migrao para um escalonamento
mais robusto (trs canais) em caso de adensamento da rede. Resta dizer que o nmero de
encontros, para mltiplos encontros, no uniforme por ciclo, havendo aqueles onde h mais ou
menos encontros por canal. Naturalmente faz parte de nossa proposta reduzir a nveis menores
o overhead dos escalonamentos que garantem trs encontros, mas no somente, j que o TTR
esperado outra mtrica importante para eficincia de um mecanismo de rendezvous, precisando
tambm ser reduzido.
Devemos avaliar na Tabela 5.9 alguns pontos importantes: primeiro, no encontramos entre
pares (BDs, ) com as funes regulares resultados com overhead menor que 50%, isso nos
levou a necessidade de ampliar nossas pesquisas para outros pares de designs e funes de
mapeamento. Devemos observar tambm que precisamos estar atentos a designs com s altos (>
5) a partir principalmente da linha 13 pois estes so casos que podem ser modificados atravs
das novas heursticas.
Figura 5.12: por comprimento do ciclo por canal para os escalonamentos que alcanaram
trs encontros.
Na Figura 5.12 observa-se o por canal para cada escalonamento presente na

Tabela 5.9, que por sua vez, mostra todos os block designs e suas funes bem sucedidas para
3 encontros. A proximidade entre as curvas para os canais de controle 0 , 1 e 2 mostra
um comportamento esperado. As curvas oscilando em torno de um valor mdio crescente, que
corresponde ao aumento do tamanho do ciclo, com visvel superioridade para o Canal 2, j que
o canal a que alocamos mais slots de controle.
Na Figura 5.13 mostramos o grfico referente aos valores de MTTR da Tabela 5.9. Os
resultados apresentam um comportamento menos oscilante, j que os valores de MTTR so
tipicamente mais prximos dos valores das posies dos ltimos slots de controle do ciclo.
MTTR por comprimento do ciclo (v)
1000
MTTR C0
MTTR C1
MTTR C2
750
MTTR
500
250
0
200 400 600 800 1000
comprimento do ciclo (v)
Figura 5.13: MTTR por comprimento do ciclo por canal para os escalonamentos que alcanaram trs
encontros.
Testes preliminares apontam para resultados promissores na reduo do ETTR e overhead,

com o auxlio de novas heursticas de construo de planejamentos combinatrios e novas funes
de mapeamento. Comeando na Seo 5.4.3, exporemos os resultados e anlises iniciais dessas
heursticas e mapeamentos, ato contnuo nosso cronograma destacando as macro atividades e
finalmente detalhes das prximas fases at a data da defesa.
5.4.3 Resultados Iniciais da Heurstica de Engenharia Reversa

Um exemplo do emprego dessa nova heurstica o reaproveitamento do BD {1562, 312, 62},
mostrado na primeira linha da Tabela 5.10, que apresentou algumas falhas por ciclo (02) entre os
encontros, quando aplicada a funo 312,3,3 . Nesse caso especfico, ao adicionarmos mais 9
slots de controle em cada uma daquelas posies falhas em particular, obtivemos encontros em
todos os trs canais.
O design formado com esses novos slots de controle, no o BD {1562, 312, 62} original,
mas um novo, que denominamos C-design, o CD {1562, 321, (1, 1, 1)}, em que NULA, a
5.5 Cronograma 77
probabilidade de falha em qualquer dos trs canais mapeados. Com esse novo design aumentamos
nosso nmero de encontros e reduzimos o ETTR nos canais de controle 1 e 2, aumentando em
apenas 1% o overhead do design original. A Tabela 5.10 compara os parmetros do BD original
com CD, construdo a partir da tcnica de engenharia reversa.
Tabela 5.10: Tabela que mostra o primeiro resultado do emprego a heurstica de Engenharia Reversa
sobre um Block Designs.
Ciclos Ciclos Ciclos
Tipo overhead 0 Falhos 1 Falhos 2 Falhos
0 0 1 1 2 2
em 0 em 1 em 2
BD 1562 312 62 0.20 312,3,3 11025 188.97 1431 0 10404 190.42 1363 2 11025 167.93 1482 2
CD 1562 321 (1, 1, 1) 0.21 321,3,3 11025 175.01 1412 0 11664 167.20 1360 0 11664 156.81 1211 0
5.4.4 Resultados Iniciais da Heurstica da Soma Construtiva

Um exemplo de design hbrido (HD) foi o criado a partir de 2 escalonamentos com conjuntos
distintos de , oriundos do BD {871, 30, 1} e um terceiro conjunto de controle distinto, oriundo
do C-design {871, 87, 1}, este por sua vez, extrado do BD {820, 91, 10} por Engenharia
Reversa. Note, que o novo design hbrido HD {871, 147, (1, 1, 1)} soma os valores de de
dois designs BD {871, 30, 1}, j que une dois conjuntos disjuntos de 30 canais de controle que
formam o BD {871, 60, 2} e ento somado construtivamente novamente, agora com o C-design
{871, 87, 1}. Ver Tabela 5.11.
Ainda sobre a Tabela 5.11, as construes nomeadas de MD, respectivamente nas linhas 02
e 03, foram montadas a partir da soma construtiva de dois BDs {553, 24, 1} com conjuntos dis-
juntos de e outros dois BDs {871, 30, 1} com a mesma caracterstica. Os trs escalonamentos
mostrados na Tabela 5.11 foram igualmente criados usando a funo .
Tabela 5.11: Tabela que mostra os primeiros resultados da criao de novos Designs atravs da heurstica
de Soma Construtiva.
Ciclos Ciclos Ciclos
tipo overhead 0 Falhos 1 Falhos 2 Falhos
0 0 1 1 2 2
em 0 em 1 em 2
HD 871 147 (1, 1, 1) 0.16 900 333.32 823 0 900 464.00 841 0 7569 46.11 805 0
MD 553 48 (1, 1) 0.08 576 249.14 546 0 576 272.38 548 0
MD 871 60 (1, 1) 0.06 900 46.11 805 0 900 333.32 823 0
5.5 Cronograma
A Figura 5.14 mostra o cronograma sumarizado de atividades e nas sees seguintes explicamos
com mais detalhes, as tarefas de cada fase.
5.5 Cronograma 78
2015 2016 2017
07 08 09 10 11 12 01 02 03 04 05 06 07 08 09 10 11 12 01 02 03 04 05 06 07 08 09 10 11 12
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30
Durao Total
Fase 01
Leitura de artigos
Reviso da literatura e
estreitamento do tema
Reviso e aprofundamento do tema
Reviso da base matemtica

Codificao do simulador
e resultados preliminares
Fase 02
Comparaes e investigao de
novos designs e mapeamentos
Simulaes com SDR
Experimentos com rdios reais
Submisso de dois artigos em congresso
Refinamento dos experimentos
Anlise dos dados experimentais
Fase 03
Validao e refinamento dos testes
Escrita e submisso de artigo completo
Escrita da tese
Figura 5.14: Cronograma sumarizado de atividades.
5.5.1 Fase 01
A fase de busca do tema passa pela reviso da literatura a procura de temas atuais ainda no
resolvidos, e a predileo do autor pela camada de enlace encontrou no tema: rdios cognitivos,
uma profuso de problemas interessantes ainda carentes de soluo, o rendezvous entre eles.
Ao pretendermos, como princpio de projeto, construir um mecanismo assncrono, buscamos
na literatura maneiras de promover o encontro s cegas atravs de saltos em frequncia, que
no fossem aleatrios ou pr-determinados, j que no contaramos sempre com uma faixa livre
de frequncia para operar. Encontramos na teoria do planejamento combinatrio, conjuntos
5.5 Cronograma 79
promissores de sequncias para um encontro ( = 1), mas precisaramos estender este conceito
para mltiplos encontros, o que nos levou a necessidade da elaborao de um plano de trabalho
divididos em fases, micro e macro objetivos para a consecuo dessa pesquisa. O principal
resultado desta fase foram a extenso da notao de [7] e a descobertas das funes regulares
com overheads prximos a 20% para dois encontros e os escalonamentos para trs encontros.
5.5.2 Fase 02
A concluso da fase 01 com os resultados das simulaes das funes de agrupamento regulares,
mostrou a necessidade do aprofundamento da compreenso destas funes e como novas funes
associadas a novos designs poderiam nos ajudar a obter resultados com menores overheads. Na
fase 02 investigamos mais profundamente as propriedades dos planejamentos combinatrio em
busca de subsdios que nos permitisse o desenvolvimento de novas heursticas para construo
desses novos designs e mapeamentos. Os principais produtos dessa fase foram a criao das
heursticas de Engenharia Reversa e Soma Construtiva que resultaram em trs novos designs,
CD, MD e HD, com overheads inferiores a 20%.
nossa inteno, ainda nessa fase, comparar os resultados das nossas heursticas e mapea-
mentos, estender nosso simulador para contemplar outras abordagens da literatura e compar-las
com nosso mecanismo, preparar simulaes de transmissores e receptores capazes de executar
nossas sequncias de saltos, de modo a medir a eficincia de nosso mecanismo, obtendo dados
como taxas de coliso, Packet Success Rate (PSR), ETTR e MTTR comparando cenrios densos
e esparsos, com e sem surgimento do PU, entre outros. Nesse momento, j com um artigo em
processo de reviso, pretendemos, ainda nesta fase, submeter um novo artigo com os resultados
consolidados de nossas novas heursticas e funes de mapeamento.
Ainda na fase 02 pretendemos implementar transmissores e receptores simulados em pla-

taformas SDR que executem nossos designs, submeter esses designs a vrios nveis de offset
e estabelecer uma probabilidade mdia de recepo, compar-las com nosso simulador com-
putacional. Com essa probabilidade poderemos refinar nosso simulador. Pretendemos ainda
executar esses mesmos experimentos com rdios reais ajustando assim nosso modelo a resultados
semelhantes aos obtidos no mundo real.
5.5.3 Fase 03
Na fase 03 pretendemos implementar nosso mecanismo em SDR reais. Nessa fase poderemos
comparar nossos overheads, ETTR e MTTR simulados com os resultados reais, poderemos
5.6 Concluso 80
aqui obter mtricas de qualidade como taxa de coliso e PSR, de posse destes dados j teremos
suficiente material para submisso de um artigo completo, onde ento de munidos tambm das
consideraes da comunidade, pretendemos refinar o modelo simulado e completar a escrita da
tese.
5.6 Concluso
O CCC e o rendezvous so elementos fundamentais para implementaes bem-sucedidas de
redes de rdios cognitivos, mas encontrar tcnicas de saltos em frequncia, garantam em tempo
finito os rendezvous, sem sacrificar demasiado o overhead e o TTR, mantendo a eficincia da
rede, ainda um problema em aberto. Esta proposta introduz um esquema de construo de
um CCC assncrono baseado em sequncias de saltos oriundas do planejamento combinatrio
somadas as novas funes de mapeamento regulares e duas novas heursticas para criao de
designs combinatrios (Engenharia Reversa, Soma Construtiva). Nossos resultados indicam
que ainda que nosso mecanismo capaz de alcanar baixo overhead sem sacrificar a latncia
para um e dois encontros, mas ainda precisa de maior refinamento para promover mltiplos
encontros com overheads prximos a 10%. Necessrio ainda investigar novas heursticas de
construo de designs, novas funes e conjuntos que possam formar tuplas mais eficientes
e implementar nossa proposta em rdios reais. Conquanto ainda precise de refinamentos, nosso
mecanismo se mostra vivel para muitos cenrios que necessitem da construo de canais de
controle e pode ser facilmente implementado em hardware de baixo custo, pois no exige relgios
acurados ou alta capacidade computacional.
81
Referncias
[1] A KYILDIZ , I. F.; L EE , W.-Y.; V URAN , M. C.; M OHANTY, S. NeXt generation/dynamic

spectrum access/cognitive radio wireless networks: A survey. Computer Networks 50, 13
(sep 2006), 21272159. Citado nas pginas x e 23.
[2] A LTAMIMI , M.; NAIK , K.; S HEN , X. Parallel link rendezvous in ad hoc cognitive radio
networks. GLOBECOM - IEEE Global Telecommunications Conference (2010). Citado
nas pginas 41, 52 e 60.
[3] A STERJADHI , A.; BALDO , N.; Z ORZI , M. A distributed network coded control channel
for multihop cognitive radio networks. IEEE Network 23, 4 (2009), 2632. Citado na
pgina 38.
[4] B IAN , K.; PARK , J.-M. Asynchronous channel hopping for establishing rendezvous
in cognitive radio networks. In Proceedings of IEEE INFOCOM 2011 (2011), IEEE,
pp. 236240. Citado nas pginas 47 e 60.
[5] B IAN , K.; PARK , J.-M.; C HEN , R. A quorum-based framework for establishing control
channels in dynamic spectrum access networks. In Proceedings of the 15th annual interna-
tional conference on Mobile computing and networking (2009), ACM, pp. 2536. Citado
nas pginas 27, 30, 40 e 48.
[6] C ANAVERAS , A. M. G. The impact of the TV white space unlicensed spectrum on

the wireless industry competition. Dissertao de mestrado, Massachusetts Institute of
Technology, 2012. Citado nas pginas 18 e 22.
[7] C ARRANO , R. C.; PASSOS , D.; M AGALHES , L. C.; A LBUQUERQUE , C. V. Nested

block designs: Flexible and efficient schedule-based asynchronous duty cycling. Computer
Networks 57, 17 (2013), 33163326. Citado nas pginas 19, 21, 27, 28, 30, 48, 58, 60 e 79.
[8] C ARTER , K. R.; L AHJOUJI , A.; M C N EIL , N. Unlicensed Devices and Their Regulatory
Issues. World Wide Web Internet And Web Information Systems, May (2003), 160. Citado
na pgina 22.
[9] C HAO , C.-M.; F U , H.-Y. Providing complete rendezvous guarantee for cognitive ra-
dio networks by quorum systems and latin squares. In Wireless Communications and
Networking Conference (WCNC), 2013 IEEE (2013), IEEE, pp. 95100. Citado na pgina
48.
Referncias 82
[10] C HEN , T.; Z HANG , H.; M AGGIO , G. M.; C HLAMTAC , I. Cogmesh: A cluster-based
cognitive radio network. In DySPAN, 2nd IEEE International Symposium on Dynamic
Spectrum Access Networks. (2007), IEEE, pp. 168178. Citado na pgina 40.
[11] C HOI , S.; L EE , W.; S ONG , T.; YOUN , J.-H. Block design-based asynchronous neighbor
discovery protocol for wireless sensor networks. Journal of Sensors 2015 (2015). Citado
na pgina 58.
[12] C HOWDHURY, K. R.; A KYLDIZ , I. F. OFDM-based common control channel design for
cognitive radio ad hoc networks. IEEE Transactions on Mobile Computing 10, 2 (2011),
228238. Citado na pgina 44.
[13] C ISCO S YSTEM , I NC . Cisco visual networking index: global mobile data traffic forecast
update, 20152020. Relatrio Tcnico. c11-520862, Cisco System, Inc., San Jose, CA,
February 2016. Citado na pgina 21.
[14] C ORMIO , C.; C HOWDHURY, K. R. Common control channel design for cognitive radio
wireless ad hoc networks using adaptive frequency hopping. Ad Hoc Networks 8, 4 (2010),
[15] DA S ILVA , L. A.; RYAN , T. W. Rendezvous in cognitive radio network. In Cognitive
Radio Technology, B. Fette, Ed., 2 ed. Elsevier, 2009, pp. 635644. Citado nas pginas 25
e 42.
[16] D INITZ , J. H.; S TINSON , D. R. Contemporary design theory: A collection of Surveys,
vol. 26. John Wiley & Sons, 1992. Citado nas pginas 24, 29 e 67.
[17] F EDERAL C OMMUNICATIONS C OMMISSION. Notice of proposed rulemaking, in the matter
of unlicensed operation in the tv broadcast bands (et docket no. 04-186) and additional
spectrum for unlicensed devices below 900 mhz and in the 3 ghz band (et docket no. 02-380),
fcc 04-113. Relatrio Tcnico. 02-380 e 04-186, Federal Communication Commission,
Washington, DC, 2004. Citado na pgina 22.
[18] F ISHER , R. A.; YATES , F., ET AL . Statistical tables for biological, agricultural and medical
research. Statistical tables for biological, agricultural and medical research., Ed. 3. (1949).
Citado na pgina 29.
[19] G HOSH , C.; ROY, S.; C AVALCANTI , D. Coexistence challenges for heterogeneous
cognitive wireless networks in tv white spaces. Wireless Communications, IEEE 18, 4
(2011), 2231. Citado na pgina 35.
[20] G OLDSMITH , A.; JAFAR , S. A.; M ARI C , I.; S RINIVASA , S. Breaking spectrum gridlock
with cognitive radios: An information theoretic perspective. Proceedings of the IEEE 97, 5
(2009), 894914. Citado na pgina 39.
[21] G ORDON , D. La jolla cyclic difference set repository, 2016.
http://www.ccrwest.org/diffsets.html. Citado na pgina 20.
[22] G ROTHENDIECK , G. sqldf: Perform SQL Selects on R Data Frames, 2014. R package
version 0.4-10. Citado na pgina 20.
[23] H ODGSON , R. A.; M ARTINS , J. A.; R IOS , J. M. M. Anlise de Utilizao do Espectro
de 700 MHz. Relatrio Tcnico. 46, CPqD, Braslia, 2011. Citado na pgina 57.
Referncias 83
[24] H TIKE , Z.; H ONG , C. S.; L EE , S. The life cycle of the rendezvous problem of cognitive
radio ad hoc networks: a survey. Journal of computing science and engineering 7, 2 (2013),
[25] J IANG , J.-R.; T SENG , Y.-C.; H SU , C.-S.; L AI , T.-H. Quorum-based asynchronous

power-saving protocols for ieee 802.11 ad hoc networks. Mobile Networks and Applications
10, 1-2 (2005), 169181. Citado na pgina 30.
[26] KOLODZY, P. Spectrum Policy Task Force, ET Docket 02-135. Relatrio Tcnico. 02-135,
Federal Communication Commission, Washington, DC, 2002. Citado na pgina 17.
[27] L AI , S.; R AVINDRAN , B.; C HO , H. Heterogenous quorum-based wake-up scheduling

in wireless sensor networks. IEEE Transactions on computers 59, 11 (2010), 15621575.
Citado nas pginas 30 e 48.
[28] L E , L.; H OSSAIN , E. A mac protocol for opportunistic spectrum access in cognitive radio
networks. In WCNC 2008. IEEE Wireless Communications and Networking Conference,
2008. (2008), IEEE, pp. 14261430. Citado na pgina 38.
[29] L O , B. F. A survey of common control channel design in cognitive radio networks.

Physical Communication 4, 1 (2011), 2639. Citado na pgina 38.
[30] M ANDAL , B. N. ibd: INCOMPLETE BLOCK DESIGNS, 2014. R package version 1.2.
Citado na pgina 20.
[31] M ARCUS , M. J.; KOLODZY, P.; L IPPMAN , A. Why unlicensed use of vacant tv spectrum
will not interfere with television reception. New America Foundation Issue Brief, July
(2006), 2231. Citado nas pginas 17 e 18.
[32] M CHENRY, M.; L IVSICS , E.; N GUYEN , T.; M AJUMDAR , N. Xg dynamic spectrum
access field test results [topics in radio communications]. IEEE Communications Magazine
45, 6 (2007), 5157. Citado na pgina 35.
[33] PAWECZAK , P.; P OLLIN , S.; S O , H.-S. W.; BAHAI , A.; P RASAD , R. V.; H EKMAT, R.
Comparison of opportunistic spectrum multichannel medium access control protocols. In
Global Telecommunications Conference, 2008. IEEE GLOBECOM 2008. IEEE (2008),
IEEE, pp. 16. Citado na pgina 47.
[34] PAWELCZAK , P.; P OLLIN , S.; S O , H.-S. W.; M OTAMEDI , A.; BAHAI , A.; P RASAD ,
R. V.; H EKMAT, R. State of the art in opportunistic spectrum access medium access
control design. In 3rd International Conference on Cognitive Radio Oriented Wireless
Networks and Communications, 2008. CrownCom 2008. (2008), IEEE, pp. 16. Citado na
pgina 47.
[35] R C ORE T EAM. R: A Language and Environment for Statistical Computing. R Foundation
for Statistical Computing, Vienna, Austria, 2015. Citado na pgina 20.
[36] ROMASZKO , S. Making a blind date the guaranteed rendezvous in cognitive radio ad hoc
networks. In European Wireless, 2012. EW. 18th European Wireless Conference (2012),
VDE, pp. 19. Citado nas pginas 27, 40, 49 e 50.
Referncias 84
[37] ROMASZKO , S.; M HNEN , P. Quorum-based channel allocation with asymmetric

channel view in cognitive radio networks. In Proceedings of the 6th ACM workshop on
Performance monitoring and measurement of heterogeneous wireless and wired networks
(2011), ACM, pp. 6774. Citado na pgina 52.
[38] ROMASZKO , S.; M HNEN , P. Quorum systems towards an asynchronous communication

in cognitive radio networks. Journal of Electrical and Computer Engineering 2012 (2012).
Citado nas pginas 47, 48 e 52.
[39] S OUSA , C.; M OLANO , D. A.; C ARRANO , R. C. "Dynamic Spectrum Sensing for IEEE
802.11 Networks". In III Simpsio Brasileiro de Engenharia de Sistemas Computacionais
(2013), UFF. Citado nas pginas 44 e 45.
[40] S TINSON , D. R. Combinatorial designs: constructions and analysis. Springer Science &
Business Media, 2007. Citado na pgina 67.
[41] T HE S AGE D EVELOPERS. SageMath, the Sage Mathematics Software System (Version
6.7), 2016. http://www.sagemath.org. Citado na pgina 20.
[42] T HEIS , N. C.; T HOMAS , R. W.; DA S ILVA , L., ET AL . Rendezvous for cognitive radios.
IEEE Transactions on Mobile Computing 10, 2 (2011), 216227. Citado nas pginas 19,
41 e 43.
[43] V UKOLI C , M., ET AL . The origin of quorum systems. Bulletin of EATCS 2, 101 (2013).
Citado na pgina 48.
[44] YATES , F. Incomplete randomized blocks. Annals of Eugenics 7, 2 (1936), 121140.

Citado na pgina 29.
[45] Y CEK , T.; A RSLAN , H. A survey of spectrum sensing algorithms for cognitive radio
applications. Communications Surveys & Tutorials, IEEE 11, 1 (2009), 116130. Citado
nas pginas 23 e 61.
[46] Z HANG , J.; Z HANG , J.; TAN , K.; YANG , L.; Z HANG , Q.; Z HANG , Y. Turning waste
into wealth: Enabling communication in guardband whitespace. In Proceedings of the
16th ACM International Symposium on Mobile Ad Hoc Networking and Computing (2015),
ACM, pp. 3746. Citado na pgina 44.
[47] Z HANG , X.; S U , H. Cream-mac: Cognitive radio-enabled multi-channel mac protocol

over dynamic spectrum access networks. IEEE Journal of 5 Selected Topics in Signal
Processing 5, 1 (2011), 110123. Citado na pgina 38.

Prop Qualif Cledson Sousa UFF

Uploaded by

Document Information

Copyright

Available Formats

Share this document

Share or Embed Document

Sharing Options

Did you find this document useful?

Is this content inappropriate?

Copyright:

Available Formats

Prop Qualif Cledson Sousa UFF

Uploaded by

Copyright:

Available Formats

UNIVERSIDADE FEDERAL FLUMINENSE

Cledson Oliveira de Sousa

Um Mecanismo de Rendezvous para Redes de Rdios

Cledson Oliveira de Sousa

Um Mecanismo de Rendezvous para Redes de Rdios

Proposta de Tese de Doutorado apresentada ao

Um Mecanismo de Rendezvous para Redes de Rdios Cognitivos Baseado em Planejamentos

Proposta de Tese de Doutorado apresentada ao

Prof. Dr.: Clio Vinicius Neves de Albuquerque - Orientador

Prof. Dr.: Ricardo Campanha Carrano - Coorientador

Prof. Dr.: Alexandre Sztajnberg

Prof. Dr.: Antonio Augusto de Arago Rocha

Prof. Dr.: Jos Ferreira de Rezende

2.1 Alguns esquemas conhecidos baseados em Block Designs. . . . . . . . . . . . 30

4.1 Parmetros de construo dos escalonamentos baseados em grids. . . . . . . . 52

5.1 Cronograma planejado para desativao da transmisso analgica de TV terrestre. 57

5.2 Parmetros obtidos como sada de nosso simulador. . . . . . . . . . . . . . . . 59

5.3 Alguns esquemas conhecidos baseados em Block Designs com = 1 e overhead

5.4 Funes de Mapeamento aplicveis aos designs e suas heursticas. . . . . . . . 70

5.5 Tabela evidenciando o nmero de encontros, probabilidade de falhas por canal e

5.6 Tabela comparando alguns parmetros dos escalonamentos A e B mostrados na

5.9 Escalonamentos baseados em BD que garantem encontros multicanais (3), com

5.10 Tabela que mostra o primeiro resultado do emprego a heurstica de Engenharia

ANATEL Agncia Nacional de Telecomunicaes

BER Bit Error Rate

BIBD Balanced Incomplete Block Design

CTS Clear To Send

CCC Common Control Channel

CRN Cognitive Radio Network

CRAHN Cognitive Radio Ad Hoc Network

CSMA Carrier Sense Multiple Access

CSMA/CA Carrier Sense Multiple Access/Collision Avoidance

DSA Dynamic Spectrum Access

ETTR Expected Time To Rendezvous

FCC Federal Communications Commission

FDM Frequency-Division Multiplex

FHSS Frequency Hopping Spread Spectrum

GPS Global Positioning System

IEEE Institute of Electrical and Electronics Engineers

ICI Inter Channel Interference

ISI Inter Symbol Interference

ISM Industrial Scientifical and Medical

MAC Medium Access Control

MMDS Multi-Channel Multi-Point Distribution System

MTTR Maximum Time To Rendezvous

NPRM Notice of Proposed Rulemaking

OFDM Orthogonal Frequency-Division Multiplex

PER Packet Error Rate

PSR Packet Success Rate

RCP Rotation Closure Property

RTS Ready To Send

QoS Quality of Service

TTR Time To Rendezvous

SDR Software Defined Radio

UWB Ultra Wide Band

VHF Very High Frequency

Wi-Fi Wireless Fidelity

WSN Wireless Sensor Network

2.1 Exemplo da operao de varredura do espectro em busca de vazios espectrais,

2.6 Exemplos de um escalonamento = {[7, , {0, 1, 3}] e todas as suas rota-

2.7 A Figura mostra os canais de dados , de controle , as bandas de guarda

2.8 Escalonamento retirado do BD {59, 29, 14}, 59 slots, 29 de controle, mapeados

3.1 Operao bsica de um canal de controle comum. . . . . . . . . . . . . . . . . 38

3.2 Taxonomia das tcnicas de construo do Canal de Controle. Nosso mecanismo