Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
NITERI
2016
UNIVERSIDADE FEDERAL FLUMINENSE
Orientador:
Prof. Dr.: Clio Vinicius Neves de Albuquerque
Coorientador:
Prof. Dr.: Ricardo Campanha Carrano
NITERI
2016
Cledson Oliveira de Sousa
BANCA EXAMINADORA
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
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.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
BD Block Design
CD C-Design
BG Banda de Guarda
CC Control Channel
CD C-Designs
CR Cognitive Radio
ER Engenharia Reversa
FH Frequency Hopping
GD Grid Diag
GL Grid Legal
HD Hybrid-Designs
MB Merged Blocks
MD Merged-Design
PU Primary User
viii
QS Quorum System
RDV Rendezvous
RF Rdio Frequncia
SC Soma Construtiva
T Torus
SU Secondary User
TV Televiso
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.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
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.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.8 As Figuras (a) e (b) mostram como podem ser construdos os C-Designs que
permitem dois ou mais encontros. . . . . . . . . . . . . . . . . . . . . . . . . 69
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.13 MTTR por comprimento do ciclo por canal para os escalonamentos que alcana-
ram trs encontros. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 76
Lista de Tabelas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . iv
Lista de Smbolos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . ix
Lista de Figuras . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . x
1 Introduo 17
2.1 Coexistncia . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
2.5 Escalonamentos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.7 Esquemas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 27
2.10 Mtricas . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
Sumrio xiv
2.10.2 MTTR . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 34
2.10.4 Overhead . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 35
Group-based CCC: . . . . . . . . . . . . . . . . . . . . . . . . 40
Sequence-Based: . . . . . . . . . . . . . . . . . . . . . . . . . 40
Saltos em Frequncia: . . . . . . . . . . . . . . . . . . . . . . 42
3.2 O Rendezvous . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 42
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
4 Trabalhos Relacionados 48
4.1.3 Torus . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 50
5 Nossa Abordagem 55
5.2 Simulador . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
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
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.
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
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.
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
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 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.
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.
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.
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.
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 .
Figura 2.3: Dois ciclos do escalonamento = [7, , {0, 1, 3}] = {0, 1, 3, 7, 8, 10, ...}.
=
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.
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
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.
Alguns esquemas mais recorrentes sero de interesse deste trabalho e merecero uma maior
ateno, como o caso dos esquemas 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
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.
2.8 Block Designs 30
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}]
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
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).
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
= {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 .
{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.
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
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 ( ).
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.
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:
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
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).
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.
Em abordagens underlay, o CCC pode ser atribudo, ao mesmo tempo, mesma banda
3.1 O Canal de Controle Comum 39
Canal de Controle
Overlay Underlay
In-Band Out-of-Band
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].
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
3.1 O Canal de Controle Comum 40
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.
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.
1. varrer o espectro;
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
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.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.
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
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 Desafios da construo do Canal de Controle e do Rendezvous 46
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.
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 Desafios da construo do Canal de Controle e do Rendezvous 47
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.
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 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.
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.
4.1 Sistemas de Qurum Baseados em Grids 50
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.
(, ) = (( ) (( 1) )) ( ), (4.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)
4.1 Sistemas de Qurum Baseados em Grids 51
como Grid Legal e Grid Diag. O que, em ltima anlise garante o uso de um menor nmero de
slots de controle por ciclo.
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.
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.
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.
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.
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.
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.
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 .
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
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
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 .
1 to
Output:
Conjunto das posies de slots falhos nos canais de controle.
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( ),
3. Novos designs combinatrios que apresentam menores overheads para mltiplos encontros.
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.
5.3 Funes de Mapeamento, Novos Designs e suas Heursticas 62
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
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.
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.
= : (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
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.
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.
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.
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.
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,
5.3 Funes de Mapeamento, Novos Designs e suas Heursticas 68
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.
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.
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.
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.
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.
5.4 Resultados Preliminares 72
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.
5.4 Resultados Preliminares 73
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.
Tabela 5.7: Percentual de falhas nos encontros nos canais 2 para os mecanismos Grid Legal, Grid Diag
e Torus.
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% .
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.
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.
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.
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.
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
funes ETTR MTTR ETTR MTTR ETTR MTTR
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
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
funes ETTR MTTR ETTR MTTR ETTR MTTR
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
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
Fase 03
Escrita da tese
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.
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
[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.
[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),
430438. Citado na pgina 40.
[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),
8188. Citado na pgina 46.
[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.
[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.
[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
[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.
[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.