PONTIFCIA UNIVERSIDADE CATLICA DO RIO GRANDE DO SUL FACULDADE DE MATEMTICA ESPECIALIZAO EM MTODOS QUANTITATIVOS: ESTATSTICA E MATEMTICA APLICADAS MATEMTICA

A DISCRETA

DO ANALGICO AO DIGITAL: COMPREENSO ATRAVS DO PARADIGMA DOS QUATRO UNIVERSOS

KEYLA MENINE REMO SNEGO

PORTO ALEGRE, 12 DE NOVEMBRO DE 2011

SUMRIO

1. Introduo ......................................................................................................3 2. Analgico versus Digital ...................................................................................4 3. Paradigma dos Quatro Universos ....................................................................7 3.1 Aplicaes Interpretadas atravs do Paradigma ..................................9 3.2 O Paradigma no Problema do Caixeiro Viajante ..................................10 4. Concluso .......................................................................................................12 5. Referncias .....................................................................................................13

INTRODUO

Na primeira parte deste trabalho, apresenta-se uma oposio que nortear o seu escopo: os conceitos de analgico e digital. Estes conceitos, como ser abordado, so fundamentados na concepo do contnuo e do discreto. Com o seu desdobramento, d-se os pilares para a compreenso das relaes com o mundo real e o mundo computacional, buscando elucidar de que modo h o encadeamento entre estes nveis. A transio de um estado a outro pode ser compreendida pelo Paradigma dos Quatro Universos, que o ponto central deste estudo. Verifica-se que este Paradigma est embasado em quatro nveis de universos real, matemtico, de representao e de implantao que sero esclarecidos quanto sua funo na discretizao de sinais contnuos. Complementando a explicao terica, ao final da ltima seo sero apresentados exemplos de aplicaes prticas do Paradigma dos Quatro Universos, incluindo o problema clssico do Caixeiro Viajante. Finalmente, observa-se que a proposio no discorrer de forma aprofundada sobre a constituio da tecnologia. O principal objetivo que visamos atingir desenvolver o raciocnio que favorece a compreenso de como os objetos reais so expostos para uma linguagem de programao para, desta forma, ser lido por computadores.

ANALGICO VS DIGITAL

A dicotomia matemtica do contnuo versus discreto guarda aplicaes que esto muito alm de um problema meramente terico-conceitual. Discreto uma grandeza constituda por unidades distintas, sinais separados, colocados parte. Em contraposio, contnuo a grandeza ininterrupta, oferecendo a ideia de que h a unio imediata entre uma coisa e outra. Discreto e contnuo, portanto, so grandezas que se prestam s funes mais elementares da matemtica: a medio e a contagem. Enquanto que os sinais discretos se prestam contagem, as medidas se associam noo de continuidade. A relao entre o analgico e o digital parte destes conceitos. Na acepo da palavra, analgico oriundo de analogia, que, por sua vez, tem o significado de comparao ou de semelhana. Analgico, por conseguinte, remete a objetos que fazem analogia a coisas reais, remetendo ideia de algo tangvel. Matematicamente, temos que contnuo uma funo real definida numa reta em , na qual para cada valor de x existe sempre um nico valor de f(x) obtido. Formalmente: f: x f(x) O termo digital, por outro lado, vem de dgitos, que so nmeros grafados em um nico algarismo arbico. Na discretizao, de grande relevncia a notao binria , a qual representada pelos algarismos zero (0) e um (1). Segue, portanto, que analgico tem referncia no contnuo, pois se refere ao real, e digital, que se alicera na codificao binria, no discreto.

Figura 1: logotipo da Sony Vaio

O logotipo da linha de laptops Sony Vaio representa a integrao com o VA simbolizando o contnuo, presente no sinal analgico, e o IO ao cdigo binrio presente na tecnologia digital.

No possvel representar uma funo contnua no computador. O processamento ocorre sempre atravs de nmeros inteiros, armazenado bits, que possuem tratamento binrio (0 e 1). Os dados que se assemelham com nmeros reais (contnuos) neste ambiente so, na realidade, uma simulao, atravs da adaptao de um ponto flutuante. Em virtude disto, para que se possa trabalhar com os fenmenos reais no ambiente computacional, faz-se necessrio passar pelo processo de discretizao. O tratamento de discretizao dos dados, ou o eixo x (domnio), denominado de amostragem, enquanto que o mesmo processo no eixo f(x) (contradomnio) chamado de quantizao. Na converso do sinal analgico para o sinal digital, so feitas as amostragens (discretizao do sinal analgico original no tempo), em sequncia, passa-se pela quantizao (processo de atribuio de valores discretos para um sinal cuja amplitude varia entre infinitos valores) e, por fim, a codificao no padro binrio atribuda s amplitudes do sinal quantizado. Figura 2: discretizao dos sinais

Legenda:

~ sinal analgico; sinal digital

Exemplo mais evidente de ondas fsicas de um sinal analgico so as mdias de gravao de msicas, tais como o disco de vinil (atravs dos sulcos) e a fita cassete (atravs de partculas magnticas). Os sinais analgicos apresentam uma variao contnua ao longo do tempo e representado em forma senoidal, com volatilidade nas suas caractersticas de freqncia e amplitude. No sinal digital, o conjunto de valores s pode ser definido para determinados instantes de tempo. um sinal com valores discretos no tempo e amplitude. Os termos perodo e freqncia geralmente no so associados a este sinal porque no so peridicos. A informao digital est amplamente difundida e representa um grande dinamismo no padro de comunicao, principalmente no que se refere a armazenamento e troca de dados. No entanto, ainda hoje, no obteve a unanimidade, principalmente na reproduo, na qual parcela relevante da populao ainda utiliza equipamentos antigos, que se baseiam no sinal analgico. Da mesma forma em que se tem o problema da discretizao do sinal analgico para o sinal digital, tambm est presente a questo da reconstruo, que o caminho inverso. Na reconstruo, faz-se necessrio obter, a partir dos valores discretos, a funo contnua correspondente.

PARADIGMA DOS QUATRO UNIVERSOS

O universo consiste na existncia fsica, seja pelo tempo, espao, matria ou energia. Podemos denominar este universo, tal qual o conhecemos, como universo fsico ou mundo real. Como abordado no captulo anterior, o mundo real baseado no contnuo. Da mesma forma, foi visto que os computadores operam sobre nmeros e caracteres, que so formas discretas, e, portanto, no podem ser aplicados sobre variveis contidas no mundo real, pois so antagnicos. Conclui-se, a partir desta explanao, que, para que se possa transpor do mundo real para o mundo computacional, deve-se discretizar o contnuo e, para tanto, deve-se ter mtodo para tornar esta tarefa factvel. Os fenmenos da natureza precisam ser associados a modelos matemticos, de modo a encontrar uma representao discreta para que possa ser implementado no ambiente computacional. Ao trabalhar com a matemtica aplicada, devemos modelar os objetos de estudo, porm, no conseguimos medir uma varivel espacialmente contnua em todas as posies. O Paradigma dos Quatro Universos nada mais do que um processo de abstrao, que faz meno tanto matemtica pura quanto cincia da computao, e demonstra que a transposio da realidade para o computador requer uma srie complexa de mediaes. As abstraes abordadas pelo Paradigma para a soluo do problema seguem uma sequncia em quatro nveis, quais sejam: - Universo Fsico; - Universo Matemtico; - Universo da Representao;

- Universo da Implementao. A ideia central de que, ao estudar um determinado objeto ou fenmeno do mundo real, pode-se associar a um modelo matemtico, ao qual se atribui uma representao finita e passvel de ser implementada no computador. Os dois primeiros nveis tm atuao na esfera interpretativa, porque analisam e teorizam sobre um Universo que existe, enquanto os dois ltimos nveis esto na esfera da percepo, visando a configurao e implementao dos objetos. Figura 3:

O primeiro estgio abriga os objetos do mundo real. O Universo Fsico representa o que concreto e nele que encontramos os objetos que so, em sua essncia, contnuos. Este Universo de alta complexidade e, por esta razo, muitas vezes ser necessrio generalizar ou fazer aproximaes para que seja vivel a sua transferncia para o ambiente computacional. A partir do reconhecimento do objeto no Universo Fsico, o Universo Matemtico o ambiente no qual so formuladas descries abstratas desses objetos. Neste, h os modelos lgicos, teoremas e construes matemticas para representar os conceitos do Universo Fsico. Neste espao, h idealizaes e, consequentemente, a discretizao pode ser infinita, quando for o caso, e podem viabilizar a realizao de operaes com a diviso em partes. O Universo Matemtico da conceituao humana da realidade descrita em linguagem matemtica, pois contm uma descrio formal dos objetos do Universo Fsico e incorpora somente as propriedades consideradas relevantes para o estudo. A acurcia com que os dados so obtidos pode influir na fidelidade da informao extrada no Universo da Representao; portanto, est diretamente relacionada com a qualidade dos dados disponveis. Ainda que se busque a acurcia, os modelos sempre sero representaes da realidade, contendo, em sua formulao, o componente de erro, ainda que se persiga continuamente a sua minimizao. O julgamento do quo aderente est o modelo subjetivo, pendendo para a interpretao da realidade pelo modelador.
8

No Universo da Representao, efetiva-se a discretizao dos sinais contnuos, permitindo, desta forma, trazer as descries abstratas (definidas no universo anterior) para o mundo digital. Constitui-se de descries simblicas e, agora, finitas de objetos modelados no Universo Matemtico. Trata-se das diversas entidades dos modelos formais mapeadas para estruturas de dados geomtricas e alfanumricas, e algoritmos que realizam operaes. Neste universo, so vistos os algoritmos necessrios para representar os modelos e as lgebras do universo formal. As estruturas de dados so elementos bsicos de construo dos sistemas computacionais. Aps as descries simblicas e finitas do Universo da Representao, o Universo da Implementao pretende associ-las a estrutura de dados com a finalidade de se obter uma representao do objeto no computador. Neste ltimo nvel do Paradigma dos Quatro Universos, feita a codificao dos sinais discretizados na memria do computador atravs dessa estrutura de dados, completando o processo de representao computacional. Neste universo, realizamos a implantao dos sistemas, fazendo escolhas como arquiteturas, linguagens e paradigmas de programao, trabalhando-se com estrutura de dados matriciais e vetoriais e com formas eficientes de acesso aos dados. A partir de ento, o objeto que surgiu do mundo real passa a existir em outro espao.

3.1. Aplicaes Interpretadas atravs do Paradigma A partir destes conceitos, a computao trabalha com diversos tipos de problemas, traduzindo objetos reais para o ambiente computacional, possibilitando muitas alternativas tecnolgicas. Nesta seo, aborda-se a aplicao do Paradigma em duas questes presentes no cotidiano: a imagem fotogrfica e a definio de cores. Figura 4:

A definio de imagem digital a representao de uma imagem bidimensional usando codificao binria, o que possibilita o armazenamento,
9

transferncia, impresso e outros recursos, processados em meios eletrnicos. H dois tipos de imagens digitais: tipo rastreio, ou matricial, e tipo vetorial. Para este caso, tem-se que as imagens, numa acepo geral, esto presentes no Universo Fsico. No Universo Matemtico, espao no qual h a modelagem, percebe-se que a imagem contnua e pode ser interpretada pela seguinte funo F(x,y)=Cor no ponto (x,y) x [0,X] e y [0,Y] Especificamente esta matriz possui elementos que, quando discretizados, so denominados de Pixels (Picture Element). Pixel o menor elemento que compe uma imagem digital, podendo conter uma cor. O conjunto formado por milhares de Pixels forma a imagem. No Universo da Representao, tem-se a amostragem e a quantizao da imagem, que pode ser retratada pela mesma funo obtida no Universo Matemtico; contudo, a partir de ento, x e y s podem assumir nmeros inteiros. A matriz de valores apresentada no plano representa as cores. Por fim, no ltimo nvel (implementao), tem-se a transposio para o mundo computacional, no qual se insere a linguagem de programao, resultando numa codificao que pode, por exemplo, ser a imagem tipo rastreio (matricial) na extenso BMP (Bitmap) que tem utilizao mais comum em sistemas operacionais da Microsoft Windows. A cor, da mesma forma, um fenmeno fsico, pois uma onda eletromagntica que, matematicamente, pode ser representada por uma funo unidimensional. No entanto, os sensores do olho humano s conseguem captar um nmero finito e discreto, o que serve de parmetro para percebermos que possvel representar a cor discretizando-a. Na codificao da cor para aplicao na informtica, o mais usual a utilizao de bytes, nos quais cada byte representa o conjunto de oito (8) bits.

3.2. O Paradigma no Problema do Caixeiro Viajante O problema do Caixeiro Viajante uma questo clssica da matemtica e pertence classe de complexidade NP Completo, o qual est contido no campo da
10

complexidade exponencial e, consequentemente, no possui soluo conhecida. O problema do Caixeiro Viajante consiste na procura de uma rota que possua a menor distncia, com incio em qualquer cidade, dentre vrias, sem que se repita a cidade no trajeto e o destino final deve ser o regresso cidade de origem. Sem ter pretenso de tentar desvendar a soluo para este problema, pode-se desdobr-lo. Este problema pode ser desenhado a partir da interpretao do Paradigma dos Quatro Universos. As cidades pelas quais o Caixeiro Viajante deve passar podem ser localizadas em um mapa e constitui o Universo Fsico. O segundo nvel (Universo Matemtico) a formao do grafo que apresenta todas as possibilidades de trajetos que o Caixeiro pode seguir. O Universo da Representao passaria por uma frmula que calcula a distncia a partir da soma dos caminhos. Por fim, no Universo da Implementao, um algoritmo estabelecido no programa computacional, viabilizando o clculo das distncias, e cresce em ritmo exponencial conforme o nmero de cidades do problema. O objetivo seria escolher a melhor rota, ou seja, o caminho que otimizasse a distncia (e, por conseguinte, o tempo) nas viagens do Caixeiro.

11

CONCLUSO

Este trabalho abordou, em sua primeira parte, a bifurcao entre contnuo e discreto e, evolutivamente, a sua interpretao em termos de analgico e digital, que, por sua vez, representam o mundo real e o mundo computacional, respectivamente. O Paradigma dos Quatro Universos pautou a segunda parte deste trabalho e constituiu o centro deste estudo. Atravs deste Paradigma passamos a compreender, de forma muito clara, os estgios envolvidos que transformam o real (contnuo) em digital (discreto), passando pelos nveis de modelagem matemtica, representao, discretizao e codificao dos objetos. Por mais que a tecnologia digital esteja muito presente no nosso cotidiano, dificilmente paramos para refletir de que forma foi possvel disponibiliz-la. Ainda que de forma sucinta, este trabalho facilitou a compreenso de como ocorre o processo de transposio de objetos reais para os computadores, passando por exemplos de aplicaes prticas como na imagem digital e na cor, complementando com o desdobramento nesses nveis no clssico problema do Caixeiro Viajante.

12

REFERNCIAS

BLOG LEITURAS DA AUSNCIA. Autora: Maria Paula. O Paradigma dos 4 Universos. Disponvel em http://leiturasdaausencia.blogspot.com/2009/03/o-paradigma-dos-4universos.html. Acesso em: out./2011. BROZELLI, A. A Tenso entre o Discreto e o Contnuo na Histria da Matemtica e no Ensino da Matemtica. Disponvel em: http://www.ime.usp.br/~brolezzi/publicacoes/teses/brolezzidr.pdf. Acesso em: out./2011. IMJUSTCREATIVE. The Meaning Behind the Sony Vaio Logo. Disponvel em: http://imjustcreative.com/the-meaning-behind-the-sony-vaio-logo/2011/08/11/. Acesso em: Nov./2011. MINISTRIO DA CINCIA E TECNOLOGIA. Modelagem. Disponvel http://www.dpi.inpe.br/teses/claudio/CAP3.html. Acesso em: nov./2011. em

PEREIRA, C. Sinal Digital. Disponvel em: http://profcarlospereira.com/downloads/Multimidia/Aula3-Sinal-digital-analogico.pdf. Acesso em: nov./2011. SCURI, A. Fundamentos da Imagem Digital. Disponvel em http://pt.scribd.com/doc/26890061/5/O-Paradigma-dos-Quatro-Universos. Acesso em: out./2011. SECRETARIA DE ESTADO DE CINCIA E TECNOLOGIA DO ESTADO DO MATO GROSSO. Gerncia de Dados em SIG. Disponvel em http://www.unematnet.br/prof/foto_p_downloads/sig_aula7.pdf. Acesso em: out./2011. UNIVERSIDADE ESTADUAL DE LONDRINA. Sinais Analgicos e Digitais. Disponvel em: http://www2.dc.uel.br/~sakuray/Espec-Comunicacao%20de%20dados/Renato%20Cil% 20-%20Rodrigo%20C.%20de%20Almeida/modelo.html WIKIPDIA. Imagem Digital. Disponvel http://pt.wikipedia.org/wiki/Imagem_digital. Acesso em: nov./2011. em:

13