Projeto de Pesquisa Iniciao Cientfica ANLISE DE REDES SEM FIO USANDO PROGRAMAO LINEAR

RELATRIO FINAL

Submetido por: Aluno: Silvano Ressurreio de Jesus Filho Orientador: Prof. Paulo Cardieri Departamento de Comunicaes Faculdade de Engenharia Eltrica e de Computao UNICAMP

1 Introduo
Este relatrio descreve os resultados obtidos durante o projeto de iniciao cientfica realizado no ltimo ano. Primeiramente so descritas caractersticas das redes ad hoc e feita uma breve introduo sobre a Programao Linear. Em seguida, feita a anlise de uma rede simples para apenas um enlace fonte-destino e para dois enlaces fonte-destino. Por fim, feito um estudo mais detalhado acerca da interferncia em uma rede mais complexa.

2 Redes Ad Hoc
Redes Ad Hoc sem fio so um tipo de rede caracterizado por no possuir um terminal especial para o qual todas as comunicaes convergem e que as encaminha para os respectivos destinos. Uma rede de telefonia celular, por exemplo, utiliza estaes de comunicao para controlar o fluxo de informaes e estabelecer conexes entre terminais (aparelhos celulares). Numa rede ad hoc, esses terminais estabelecem ligaes sem a necessidade de uma estao central ou ponto de acesso. Para isso, cada terminal atua como roteador, encaminhando de forma comunitria as mensagens advindas dos terminais vizinhos. Isso significa que as mensagens passam de terminal para terminal at chegar ao seu destino. No h necessidade de uma infraestrutura de suporte, j que a responsabilidade pela organizao e controle da rede distribuda entre os prprios terminais. Essas caractersticas de uma redes ad hoc torna o seu estudo um tanto mais complexo. A ausncia de uma entidade que controla as comunicaes faz com que os prprios terminais tenham que encontrar as rotas ligando fonte e destino. Assim, se faz necessrio o uso de tcnicas de otimizao para encontrar a melhor rota das comunicaes. Outro fator que complica o estudo das redes ad hoc sem fio a presena da interferncia. Nesse projeto usamos o modelo de protocolo da interferncia [1], que estabelece a condio de interferncia por meio de distncias entre terminal interferente e receptor. A versatilidade das redes ad hoc as torna teis para vrios tipos de aplicaes, principalmente quando no h uma infra-estrutura de comunicao montada. Na primeira parte do projeto estudamos a influncia da interferncia numa rede ad hoc na qual existe apenas um enlace fonte-destino. Em seguida, estudamos a

influncia da interferncia para dois enlaces fonte-destino. Por fim, aprofundamos o nosso estudo variando o raio de interferncia dos terminais, o que aproximou nosso modelo ainda mais da realidade. Para otimizar o fluxo de informao nessas redes, usamos as tcnicas de programao linear, que sero descritas mais adiante nesse relatrio.

3 Programao Linear
Problemas de programao linear so problemas de otimizao em que a idia minimizar ou maximizar uma funo linear, chamada funo objetivo, na presena de restries tambm lineares. Problemas de programao linear devem receber uma ateno especial, pois muitos problemas prticos em pesquisa operacional podem ser expressos como problemas de programao linear. o caso do problema tratado nesse projeto. O algoritmo simplex [2], desenvolvido por George Dantzig, um importante mtodo de resoluo de problemas de programao linear. Este algoritmo popular por ser bastante eficiente na prtica e chegar ao timo global com certeza, se algumas condies forem assumidas. O algoritmo simplex foi estudado na primeira parte do projeto em algumas de suas aplicaes mais comuns, como o problema de transporte e o problema de fluxo de redes. O objetivo foi possibilitar uma familiarizao com problemas de otimizao e com as ferramentas computacionais para resolver tais problemas.

4 Anlise da Capacidade de uma Rede Ad Hoc Sem Fio

Para ilustrar o estudo da capacidade de redes ad hoc, consideremos a rede mostrada na Figura 1. Os terminais podem se comunicar de acordo com os enlaces representados, sendo que a intensidade de fluxo de dados em cada enlace depende das caractersticas do sistema de transmisso adotado e das condies de propagao. Notese que, neste exemplo, existe um nico terminal fonte e um terminal destino, mas esses terminais no podem se comunicar diretamente. Desta forma, a mensagem da fonte tem de passar de terminal em terminal at o destino, formando-se, assim, uma rota com mltiplos saltos, cuja capacidade de transmisso de dados depender da capacidade dos enlaces constituintes. O objetivo aqui determinar a mxima intensidade de fluxo de informao entre os terminais fonte e destino. 3

Figura 1: Rede sem Fio: Representao atravs de grafos.

Algumas observaes a respeito do funcionamento da rede podem ser feitas:

1. Os terminais intermedirios s repassam as mensagens que receberam, ou seja, eles no geram nem armazenam mensagens. 2. O terminal fonte no pode receber mensagens. 3. O terminal destino no transmite mensagens. 4. Existe um valor mximo para o fluxo de um enlace, que depende da tcnica de transmisso (modulao, codificao, etc.) empregada nos terminais. O valor mnimo , logicamente, zero.

A partir dessas observaes, podemos modelar o problema da determinao da mxima intensidade de fluxo entre fonte e destino como um problema de programao linear. max , Sujeito a: = 0 0 = condio 1 para os ns intermedirios
condio 2 para o n fonte condio 3 para o n destino condio 4 condio 4 maximizar o fluxo de informao que sai da fonte

= 0

 a capacidade do enlace i-j. Nesse caso, vamos, sem perda de generalidade, considerar como sendo unitrio para todos os enlaces. As equaes listadas acima representam um problema de programao linear, que pode ser resolvido pelo mtodo simplex. Empregando algum programa

Nas equaes acima, o fluxo de informao do terminal i para o terminal j e

computacional que implemente o algoritmo, encontramos a soluo tima que = = = 1, enquanto que os outros enlaces tm fluxos que so iguais a zero. Ou seja, so necessrios trs saltos (1-3, 3-4 e 4-5), sendo que o fluxo mximo unitrio e depende apenas da capacidade de transmisso dos enlaces envolvidos. A modelagem apresentada acima no leva em conta a influncia da interferncia que a transmisso de um terminal provoca nos outros terminais. Podemos aperfeioar esse modelo considerando a interferncia, de forma a obter um resultado mais prximo do real, como descrito a seguir.

5 Interferncia em redes sem fio

Interferncia em redes sem fio aparece em duas formas: a interferncia primria, que acontece quando um terminal tenta executar duas tarefas de comunicao ao mesmo tempo, como transmitir e receber simultaneamente; e interferncia secundria, que acontece quando um terminal recebe um sinal indesejado, enquanto est recebendo um sinal desejado. De acordo com o modelo de interferncia utilizado nesse projeto, nos dois casos acima no pode haver comunicao entre os terminais. Assim, se, no exemplo da Figura 1, o terminal 3 recebe o sinal do terminal 1, o primeiro no pode estabelecer conexo com outro terminal, e os terminais prximos (2 e 4) no podem estar transmitindo nenhum sinal. Existem enlaces que podem estar ativos simultaneamente, por no exercerem interferncia um no outro. Um conjunto independente um conjunto de enlaces que podem estar ativos ao mesmo tempo. Analisando o exemplo levando em conta a interferncia primria e a secundria, e supondo que o raio de interferncia aproximadamente igual ao raio de transmisso, ou seja, um terminal interfere apenas no seu vizinho imediato, encontramos os conjuntos independentes mostrados na Tabela 1.

Tabela 1: Conjuntos Independentes

Conjunto C1 C2 C3 C4 C5 C6 C7 C8

Enlaces l12, l45 l21, l54 l23, l64 l13, l65 l32, l56 l31, l46 l34 l43

A Figura 2 mostra com a mesma cor os enlaces de um mesmo conjunto independente.

Figura 2: Enlaces de um mesmo conjunto independente so mostrados com a mesma cor

Uma sada para o problema da interferncia em redes sem fio estabelecer que, quando certo enlace estiver ativo, os enlaces conflitantes no podem estar ativos. Devemos, ento, alocar um certo intervalo de tempo para que cada conjunto independente de enlaces possa transmitir sem interferncia. Assim, durante o intervalo de tempo, digamos, 1, apenas os enlaces do conjunto 1 ficaro ativos; durante o intervalo 2, os enlaces do conjunto 2 estaro ativos, e assim por diante at o conjunto 8. E o processo se repetir periodicamente, at que toda informao gerada no terminal fonte tenha sido transmitida. A anlise da interferncia da maneira apresentada acima leva a duas restries que devem ser adicionadas ao Programa Linear anterior:
|

= 1

A primeira restrio diz que os terminais s transmitiro nos intervalos de tempo que foi alocado aos conjuntos a que eles pertencem. Pode acontecer de um enlace pertencer a mais de um conjunto independente. Nesse caso, ele teria uma capacidade de transmisso duas vezes maior que a dos outros enlaces. A segunda restrio diz que a soma de todas as fraes do tempo tem de ser igual a 1, pois no nosso caso, o ciclo se repete a cada segundo. Resolvendo novamente o problema, considerando essas duas novas restries, encontramos o resultado: = = = 0,333 = = = 0,333

A interpretao desse resultado a seguinte: tomemos um intervalo de durao de um segundo e dividamo-lo em trs partes de 0,333s. Durante a primeira parte, o conjunto 4 (ver Tabela 1) estar ativo e o enlace 1-3 estar transmitindo. Durante a segunda parte, o conjunto 7 estar ativo e o enlace 3-4 estar transmitindo. Por fim, o conjunto 1 estar ativo com o enlace 4-5 transmitindo. importante notar que a interferncia faz com o que a capacidade de transmisso para o enlace fonte-destino citado seja reduzida a 1/3 da capacidade dos terminais. Portanto, comparando com os resultados obtidos da anlise sem interferncia, conclumos que a interferncia reduz a capacidade da rede.

6 Anlise da Capacidade da Rede para dois enlaces fonte-destino

Podemos aprofundar ainda mais o estudo dessa rede. Em casos reais, geralmente no comum ter apenas um enlace fonte-destino ativo. Sendo assim, podemos estudar o que acontece se adicionarmos mais um enlace. Vamos considerar o caso em que, alm de o terminal 1 estar enviando mensagens para o terminal 5, o terminal 2 estar tambm enviando mensagens para o terminal 6. Para resolver esse problema, basta fazer algumas poucas modificaes no programa linear anterior. Primeiramente, os terminais 2 e 6 deixam de ser terminais intermedirios, logo estes no precisam mais obedecer condio 1 para ns intermedirios. O terminal 2 passa a ser um terminal fonte, e precisa obedecer restrio 2. E o terminal 6 passa a ser um terminal destino, e precisa obedecer restrio

3. Por fim, necessrio fazer uma mudana na funo objetivo, que passa a ser a soma de tudo que transmitido pelos terminais 1 e 2. Somente essas restries descrevem o problema perfeitamente. Mas, na prtica, para resolver o programa linear, possvel que a resoluo encontrada seja indesejada. Isso porque, quando descrevemos a funo objetivo como sendo a soma das transmisses dos terminais 1 e 2, no estipulamos que ambos os terminais precisam transmitir, bem como no estipulamos que ambos os terminais 5 e 6 precisam receber, e a soluo matemtica pode privilegiar um terminal em detrimento do outro. Para contornar esse problema, podemos acrescentar mais duas restries ao nosso problema. O fluxo total transmitido por 1 tem de ser igual ao fluxo total transmitido por 2; e o fluxo total recebido por 5 tem de ser igual ao fluxo total recebido por 6. Com o problema totalmente formulado, chegamos ao seguinte resultado: = = = = 0,167 = = = = 0,167 = 0,333 A interpretao do resultado a seguinte: o intervalo de 1 segundo agora divido em cinco partes, sendo quatro partes de 0,167s e uma parte de 0,333s. O fluxo mximo para ambos enlaces 0,167, ou seja, metade do exemplo anterior. interessante notar que alocado um intervalo de tempo maior para o enlace 34. Isso acontece porque esse enlace tem mais dados a transmitir, e a sua capacidade de escoamento de mensagens est limitando a capacidade da rede. Isso nos leva a crer que poder-se-ia aumentar a capacidade da rede consideravelmente se aumentssemos a capacidade de transmisso desse enlace. uma hiptese razovel que pode ser facilmente testada. Basta substituir nas equaes anteriores F34 e F43 de 1 para 2, o que significa que esse enlace tem o dobro da capacidade dos outros enlaces. Para esse novo problema chegamos aos seguintes resultados: = = = = 0,2 = = = = 0,2 = 0,4 = 0,4 = 0,333

Este um resultado importante. A capacidade para cada enlace fonte-destino agora de 0,2, o que apresenta um aumento de 20% modificando apenas um enlace. Se, ao contrrio, dobrssemos a capacidade do enlace 1-2, obteramos um aumento de apenas 9% na capacidade da rede.

7 Rede em Formato de Grade

Para aprofundar o estudo das redes sem fio, vamos analisar o exemplo de uma rede em formato de grade, na qual n2 terminais esto dispostos como mostrado na figura 3, com distncia entre terminais igual d. Consideraremos aqui o caso em que cada terminal pode se comunicar apenas com os seus quatro terminais mais prximos, ou seja, a distncia de transmisso RT = d .

Figura 3: Rede em Formato de Grade

No nosso estudo, vamos usar uma rede como 16 terminais, ou seja, uma grade 4x4, e inicialmente vamos considerar que o raio de interferncia RI seja igual ao raio de transmisso. Isso quer dizer que cada terminal, ao transmitir, interfere apenas nos quatros terminais mais prximos. Vamos considerar tambm todos os enlaces tem a mesma capacidade, igual unidade. Estamos interessados em determinar o fluxo mximo entre o terminal 1 e o terminal 16, indicados na Figura 3. O primeiro passo modelar a interferncia provocada por cada terminal. Uma anlise com base no raio de interferncia, tal como foi feito no exemplo anterior, leva aos conjuntos independentes mostrados na Tabela 2. 9

Tabela 2: Conjuntos Independentes para rede 5x5

Conjunto C1 C2 C3 C4 C5 C6 C7 C8

Enlaces l12, l43, l56, l87, l910, l1211, l1314, l1615 l15, l26, l37, l48, l139, l1410, l1511, l1612 l21, l34, l65, l78, l109, l1112, l1413, l1516 l51, l62, l73, l84, l913, l1014, l1115, l1216 l23, l67, l1011, l1415 l32, l76, l1110, l1514 l59, l610, l711, l812 l95, l106, l117, l128

Desse modo, alocada uma frao i do tempo para os enlaces do conjunto Ci transmitirem. Modelando novamente o programa linear, chegamos ao seguinte resultado = = 0,25

, , , , , , , , , , , = 0,1 = = 0,05 = = 0,15 = = 0,1 = = 0,25

= = = = 0,15

Todas as outras variveis so iguais a zero. A figura abaixo ajuda a ilustrar melhor o resultado

Figura 4: Capacidade do enlace 1-16

10

Pode-se ver na figura que a capacidade total do enlace 1-16, da maneira que a interferncia est modelada, de 0,4 (soma das intensidades de fluxo dos dois enlaces que saem do terminal 1).

8 Variando o raio de interferncia

Podemos aproximar ainda mais nosso modelo da realidade. Nos exemplos anteriores, consideramos que o raio de interferncia era igual ao raio de transmisso, o que , na realidade, uma hiptese pouco realista e muito otimista. Uma rede que satisfaa tal hiptese requereria um sistema de transmisso bastante robusto contra interferncia, implicando em uma eficincia espectral reduzida. Vamos analisar a seguir como a capacidade afetada ao aumentarmos o raio de interferncia. Faamos novamente o raio de transmisso RT = d , mas dessa vez vamos aumentar o raio de interferncia RI, de modo que agora cada terminal cause interferncia nos oito terminais mais prximos, ou seja, faremos RT = 2d .

Figura 5: Rede em Formato de Grade para um Raio de Interferncia maior

Esse problema bem parecido com o problema anterior, mas vamos ter que fazer algumas modificaes no nosso modelo de interferncia. Os conjuntos independentes que ns definimos j no so mais vlidos. Como exemplo, os enlaces l12 e l56, que esto no conjunto independente C1 j no podem estar ativos ao mesmo

11

tempo. Isso acontece porque o raio de interferncia do terminal 1 agora alcana o terminal 6. Quando o terminal 1 est transmitindo, o terminal 6 no pode receber nenhum sinal. Os conjuntos independentes desse exemplo esto mostrados na Tabela 3. Podese ver que ocorreu um aumento considervel no nmero de conjuntos. E isso certamente limitar a capacidade da rede.

Tabela 3: Conjuntos Independentes

Conjunto C1 C2 C3 C4 C5 C6 C7 C8 C9 C10 C11 C12 C13 C14 C15 C16

Enlaces l12, l43, l910, l1211 l21, l34, l109, l1112 l56, l87, l1314, l1615 l65, l78, l1413, l1516 l15, l37, l913, l1115 l51, l73, l139, l1511 l26, l48, l1014, l1216 l62, l84, l1410, l1612 l23, l1011 l67, l1415 l32, l1110 l76, l1514 l59, l711 l95, l117 l610, l812 l106, l128

Usando novamente as equaes do primeiro exemplo, temos um programa linear que pode ser resolvido com a tcnica simplex. E chegamos ao seguinte resultado: = 0,307

, , , , , , , , , = 0,076 = = 0,153 = 0,307 = 0,230

= = 0,230

= = = = 0,076

= 0,153

12

O resultado fica mais claro na figura abaixo com valores aproximados. Podemos ver que a capacidade da rede cai de 0,4 para 0,307. A queda na capacidade acontece porque necessrio mais um conjunto independente para transmitir os dados. E ela seria ainda mais acentuada quanto maior fosse o raio de interferncia.

Figura 6: Capacidade Mxima para Rede em Formato de Grade

Concluses
Esse relatrio apresentou os resultados de uma anlise de capacidade em redes

ad hoc sem fio de mltiplos saltos, empregando programao linear. O emprego de programao linear na anlise da capacidade da rede requer a modelagem apropriada, que leve em conta os diversos aspectos da rede, em particular aqueles relacionados com a operao de redes ad hoc, como enlaces de mltiplos saltos e interferncia. O estudo comeou com um modelo simples, no qual apenas o alcance de transmisso foi levado em conta, que resultou em uma capacidade mxima limitada pela capacidade dos enlaces de um salto. Esse modelo foi aperfeioado considerando a interferncia entre transmisses prximas, o que levou a uma reduo na capacidade mxima. Os resultados mostraram podemos identificar o enlace de um salto que limita a capacidade. Essa informao pode ser til se desejarmos aumentar a capacidade da rede. O estudo foi aprofundado ainda mais, considerando-se os efeitos do alcance de interferncia, agora usando uma rede em grade. Os resultados mostram que quanto maior for o alcance de interferncia, menor ser a capacidade da rede. 13

Continuidade do Trabalho
O presente trabalho mostrou o impacto da interferncia na capacidade da rede, o

que indica a importncia da escolha de modelos corretos para a interferncia. Nesse trabalho empregamos um modelo de interferncia simples, denominado Modelo de Protocolo de Interferncia. A principal vantagem desse modelo a sua simplicidade, o que facilita a sua aplicao em programao linear. No entanto, esse modelo no considera a interferncia agregada (soma da interferncia de diversos transmissores), o que o torna limitado. No prximo perodo (agosto 2010 julho 2011) ser desenvolvido um trabalho de iniciao cientifica, j aprovado, visando o estudo de outros modelos de interferncia.

14

7 Referncias
[1] CARDIERI, P.. Modeling Interference in Wireless Ad Hoc Networks. IEEE Communications Surveys and Tutorials, 2009. [2] BAZARAA, Mokhtar. The Simplex Method. In: BAZARAA, Mokhtar; JARVIS, John; SHERALI, Hanif. Linear Programming and Network Flows. Seattle: Wiley, 1977. p. 81-123. [3] K.Jain, J.Padhye, V.N.Padmanabhan, L.Qiu, Impact of Interference on Multihop Wireless Network Performance, Wireless Networks, Vol.11, pp.471-487, 2005.

15