Paralelização em CUDA/GLSL do algoritmo SIFT para reconhecimento de íris

Neste trabalho é estudada a viabilidade de uma implementação em paralelo do algoritmo scale invariant feature transform (SIFT) para identificação de íris. Para a implementação do código foi utilizada a arquitetura para computação paralela compute unified device architecture (CUDA) e a linguagem OpenGL shading language (GLSL). O algoritmo foi testado utilizando três bases de dados de olhos e íris, o noisy visible wavelength iris image Database (UBIRIS), Michal-Libor e CASIA. Testes foram feitos para determinar o tempo de processamento para verificação da presença ou não de um indivíduo em um banco de dados, determinar a eficiência dos algoritmos de busca implementados em GLSL e CUDA e buscar valores de calibração que melhoram o posicionamento e a distribuição dos pontos-chave na região de interesse (íris) e a robustez do programa final.

Proposição e análise de modelos híbridos para o problema de escalonamento de produção em oficina de máquinas

Nas últimas décadas, o problema de escalonamento da produção em oficina de máquinas, na literatura referido como JSSP (do inglês Job Shop Scheduling Problem), tem recebido grande destaque por parte de pesquisadores do mundo inteiro. Uma das razões que justificam tamanho interesse está em sua alta complexidade. O JSSP é um problema de análise combinatória classificado como NP-Difícil e, apesar de existir uma grande variedade de métodos e heurísticas que são capazes de resolvê-lo, ainda não existe hoje nenhum método ou heurística capaz de encontrar soluções ótimas para todos os problemas testes apresentados na literatura. A outra razão basea-se no fato de que esse problema encontra-se presente no diaa- dia das indústrias de transformação de vários segmento e, uma vez que a otimização do escalonamento pode gerar uma redução significativa no tempo de produção e, consequentemente, um melhor aproveitamento dos recursos de produção, ele pode gerar um forte impacto no lucro dessas indústrias, principalmente nos casos em que o setor de produção é responsável por grande parte dos seus custos totais. Entre as heurísticas que podem ser aplicadas à solução deste problema, o Busca Tabu e o Multidão de Partículas apresentam uma boa performance para a maioria dos problemas testes encontrados na literatura. Geralmente, a heurística Busca Tabu apresenta uma boa e rápida convergência para pontos ótimos ou subótimos, contudo esta convergência é frequentemente interrompida por processos cíclicos e a performance do método depende fortemente da solução inicial e do ajuste de seus parâmetros. A heurística Multidão de Partículas tende a convergir para pontos ótimos, ao custo de um grande esforço computacional, sendo que sua performance também apresenta uma grande sensibilidade ao ajuste de seus parâmetros. Como as diferentes heurísticas aplicadas ao problema apresentam pontos positivos e negativos, atualmente alguns pesquisadores começam a concentrar seus esforços na hibridização das heurísticas existentes no intuito de gerar novas heurísticas híbridas que reúnam as qualidades de suas heurísticas de base, buscando desta forma diminuir ou mesmo eliminar seus aspectos negativos. Neste trabalho, em um primeiro momento, são apresentados três modelos de hibridização baseados no esquema geral das Heurísticas de Busca Local, os quais são testados com as heurísticas Busca Tabu e Multidão de Partículas. Posteriormente é apresentada uma adaptação do método Colisão de Partículas, originalmente desenvolvido para problemas contínuos, onde o método Busca Tabu é utilizado como operador de exploração local e operadores de mutação são utilizados para perturbação da solução. Como resultado, este trabalho mostra que, no caso dos modelos híbridos, a natureza complementar e diferente dos métodos Busca Tabu e Multidão de Partículas, na forma como são aqui apresentados, da origem à algoritmos robustos capazes de gerar solução ótimas ou muito boas e muito menos sensíveis ao ajuste dos parâmetros de cada um dos métodos de origem. No caso do método Colisão de Partículas, o novo algorítimo é capaz de atenuar a sensibilidade ao ajuste dos parâmetros e de evitar os processos cíclicos do método Busca Tabu, produzindo assim melhores resultados.

Métodos espectrais de agrupamento

Os métodos espectrais são ferramentas úteis na análise de dados, sendo capazes de fornecer informações sobre a estrutura organizacional de dados. O agrupamento de dados utilizando métodos espectrais é comumente baseado em relações de similaridade definida entre os dados. O objetivo deste trabalho é estudar a capacidade de agrupamento de métodos espectrais e seu comportamento, em casos limites. Considera-se um conjunto de pontos no plano e usa-se a similaridade entre os nós como sendo o inverso da distância Euclidiana. Analisa-se a qual distância mínima, entre dois pontos centrais, o agrupamento espectral é capaz de reagrupar os dados em dois grupos distintos. Acessoriamente, estuda-se a capacidade de reagrupamento caso a dispersão entre os dados seja aumentada. Inicialmente foram realizados experimentos considerando uma distância fixa entre dois pontos, a partir dos quais os dados são gerados e, então, reduziu-se a distância entre estes pontos até que o método se tornasse incapaz de efetuar a separação dos pontos em dois grupos distintos. Em seguida, retomada a distância inicial, os dados foram gerados a partir da adição de uma perturbação normal, com variância crescente, e observou-se até que valor de variância o método fez a separação dos dados em dois grupos distintos de forma correta. A partir de um conjunto de pontos obtidos com a execução do algoritmo de evolução diferencial, para resolver um problema multimodal, testa-se a capacidade do método em separar os indivíduos em grupos diferentes.

O Conselho de Direitos Humanos das Nações Unidas e sua relação com os Estados muçulmanos

Trata-se de uma dissertação sobre a atividade do Conselho de Direitos Humanos das Nações Unidas na promoção e proteção destes direitos em países com influência islâmica marcante. Compõem o presente trabalho tanto a análise da eficácia do Conselho em relação a ditos Estados quanto um estudo sobre os principais princípios e valores encontrados no direito do Islã, de modo a determinar o grau de compatibilidade entre este e as exigências universais por respeito à normativa internacional de proteção dos direitos humanos. A primeira parte da obra volta um olhar crítico à passagem de diversos países muçulmanos pelo mecanismo do Exame Universal Periódico do Conselho de Direitos Humanos. Na segunda parte, intenta-se buscar uma fundamentação para os direitos humanos a partir da realidade das coisas, de modo a possibilitar sua compreensão e justificar sua exigência por parte de todos os integrantes da sociedade internacional. Na terceira parte, por fim, traça-se um perfil básico do direito islâmico, com especial enfoque nos pontos de conflito com os direitos humanos

Uso de ontologia em serviço de contexto e descoberta de recursos para autoadaptação de sistemas.

Aplicações cientes de contexto precisam de mecanismos para recuperar informações sobre o seu contexto de execução. Com base no contexto atual, tais aplicações são capazes de se autoadaptar para fornecer informações e serviços adequados aos seus usuários. A abordagem comum para infraestruturas de apoio às aplicações sensíveis ao contexto fornece serviços para a descoberta de recursos através da utilização de pares e motores que executam apenas correspondência sintática. Esta abordagem não considera as possíveis relações semânticas entre as palavras-chave usadas. Portanto, a sua expressividade semântica limitada, leva a um serviço de descoberta que provê baixa taxa de recuperação e baixa acurácia. Este trabalho apresenta a utilização de uma outra abordagem para o serviço de contexto e descoberta, que utiliza ontologias para representar os recursos do contexto de execução e capturar a semântica da consulta do usuário, melhorando assim o processo de descoberta para a autoadaptação de sistemas sensíveis ao contexto. A abordagem proposta oferece também pontos de extensão para as aplicações clientes através da utilização de outras ontologias. Esta abordagem foi integrada à infraestrutura CDRF, de forma a adicionar semântica aos serviços desenvolvidos neste projeto. Exemplos de aplicações são também propostos para demonstrar a utilização dos novos serviços.

Detecção e classificação de VTCDs em sistemas de distribuição de energia elétrica usando redes neurais artificiais.

O objetivo deste trabalho é conhecer e compreender melhor os imprevistos no fornecimento de energia elétrica, quando ocorrem as variações de tensão de curta duração (VTCD). O banco de dados necessário para os diagnósticos das faltas foi obtido através de simulações de um modelo de alimentador radial através do software PSCAD/EMTDC. Este trabalho utiliza um Phase-Locked Loop (PLL) com o intuito de detectar VTCDs e realizar a estimativa automática da frequência, do ângulo de fase e da amplitude das tensões e correntes da rede elétrica. Nesta pesquisa, desenvolveram-se duas redes neurais artificiais: uma para identificar e outra para localizar as VTCDs ocorridas no sistema de distribuição de energia elétrica. A técnica aqui proposta aplica-se a alimentadores trifásicos com cargas desequilibradas, que podem possuir ramais laterais trifásicos, bifásicos e monofásicos. No desenvolvimento da mesma, considera-se que há disponibilidade de medições de tensões e correntes no nó inicial do alimentador e também em alguns pontos esparsos ao longo do alimentador de distribuição. Os desempenhos das arquiteturas das redes neurais foram satisfatórios e demonstram a viabilidade das RNAs na obtenção das generalizações que habilitam o sistema para realizar a classificação de curtos-circuitos.

Desvendando as necrópoles da cidade do Rio de Janeiro: o exemplo do Cemitério São João Batista

No âmbito da organização do espaço, os cemitérios efetivam-se como artefatos de grande relevância e suscetíveis a diversas análises e interpretações. Na realidade, os cemitérios presentes nas cidades apresentam vívidas e vibrantes geografias. Marcas impressas pelo homem, refletem a estrutura social, cultural, religiosa, identitária da comunidade que os criaram, sendo impregnados de valores e significados, compondo, desta maneira, um rico e denso quadro cultural e de experiências. Mais do que isso, os campos santos apresentam particularidades e singularidades, uma vez que contemplam morfologias, estilos arquitetônicos e significados diferentes. Em outras palavras, compõem pontos singulares no espaço das cidades e, ao mesmo tempo, seus domínios internos compõem singulares cidades com seus traçados, monumentos e túmulos. Nestes termos, a dissertação tem como objetivo explorar/traduzir o Cemitério São João Batista, localizado no município do Rio de Janeiro. Pretende-se abordar e analisar os usos que ocorrem no espaço interno da necrópole em questão, compreendendo que, através destes, serão revelados os conteúdos das práticas sociais, espaciais e simbólicas. Diante do exposto, a pesquisa torna-se relevante por abarcar os afamados campos dos mortos do Rio de Janeiro, priorizando um tema negligenciado pelas análises geográficas no Brasil. De tal sorte, a dissertação transforma-se em um veio para que outros pesquisadores ousem na mesma linha, isto é, enveredando por um assunto tão rico no qual a geografia, com suas vertentes, permite de forma extraordinária a sua compreensão.

Holding mirrors up to Hamlet: what Franco Zeffirellis and Michael Almereydas filmic adaptations of the play tell us about it

Hamlet (1601), de William Shakespeare, é, desde o Fólio de 1623, circundada por um enorme e variado volume de leituras, que abrangem desde textos críticos e teóricos até as mais diversas adaptações teatrais e cinematográficas. Desde o final do século 19, o cinema vem adaptando peças de Shakespeare, fornecendo novos pontos de vista e sugestões para a encenação dessa obra ao levá-la inúmeras vezes para as telas. Dentre uma longa lista de adaptações fílmicas de Hamlet, o Hamlet mainstream de Franco Zeffirelli (1990) e o Hamlet 2000 (2000), filme independente de Michael Almereyda, compõem o corpus eleito para análise nesta dissertação. Dialogando com noções de críticos e teóricos que desenvolveram estudos sobre o conceito de adaptação, tais como André Bazin, Robert Stam e Linda Hutcheon, sugiro uma desierarquização entre a peça shakespeariana e os filmes logo, entre literatura/teatro e cinema. O objetivo final deste trabalho encontra-se na proposta de uma reflexão sobre esses filmes enquanto potenciais materiais críticos elucidativos para o estudo da peça, úteis na discussão de alguns de seus mais importantes temas e/ou questões

Teatro e política na obra de Almeida Garrett: do setembrismo ao cabralismo (1838-1843)

Almeida Garrett engajou-se como liberal participando dos acontecimentos políticos de seu país. Após a Revolução de Setembro de 1836, Passos Manuel convida-o para estruturar o teatro português, tendo em vista que é considerado um meio de civilização. Garrett elabora um plano baseado em três pontos fundamentais: a construção de um edifício (futuro Teatro Nacional D. Maria II, inaugurado em 1846); uma escola voltada para formação artística e a criação de um repertório dramático nacional e moderno. Aprovado pela rainha D. Maria II em Decreto de 15 de novembro de 1836, nomeado Inspetor-Geral dos Teatros, para coordenar as atividades, põe em prática o projeto até ser demitido em julho de 1841. A proposta deste trabalho é analisar o teatro garrettiano, sob o ponto de vista político, do período de 1838 a 1843, por esta ser uma fase de intensa atividade do autor na tentativa de restaurar a cena portuguesa. Como corpus, temos: Um auto de Gil Vicente (1838); O alfageme de Santarém (1841); Frei Luís de Sousa (1843)

Programas de pagamento por serviços ambientais na gestão dos recursos hídricos: a experiência do FUNBOAS na bacia Lagos São João - RJ.

Os programas de Pagamento por Serviços Ambientais (PSA) correspondem a incentivos a quem ajuda a manter ou a produzir os serviços ecossistêmicos. O presente trabalho preocupou-se com a compreensão sobre a real contribuição destes programas de PSA para a gestão sustentável dos recursos hídricos, destacando o caso do programa FUNBOAS - Fundo de Boas Práticas Sócio Ambientais, criado pelo Comitê de Bacias Hidrográficas Lagos São João (CBHLSJ). Para atingir o objetivo proposto e entender os impactos do programa na microbacia, foram utilizadas informações fornecidas pelo CBHLSJ e foram realizadas visitas em campo, onde amostras de água foram coletadas para análise de parâmetros físico-químicos (pH, turbidez, NH3, P, OD, DQO e COT) e entrevistas com a população local foram realizadas. O FUNBOAS é um mecanismo de incentivo técnico e financeiro aos que ajudam a conservar os recursos hídricos e é alimentado com recursos oriundos da cobrança pelo uso da água da bacia. De uma forma geral, foi possível observar que o FUNBOAS possibilitou que os agricultores da microbacia beneficiada adotassem práticas de manejo mais sustentáveis, colaborando para a prestação dos serviços ecossistêmicos. Os resultados das análises de água indicaram que ainda existem pontos críticos de contaminação na microbacia, onde é necessário que medidas sejam tomadas para recuperar a qualidade da água do córrego. As entrevistas possibilitaram demonstrar que o FUNBOAS afetou o modo de vida dos produtores rurais da microbacia de forma positiva, melhorando a qualidade de vida das famílias beneficiadas. Também foi constatada a importância da preservação das florestas nativas na conservação da qualidade da água e dos trabalhos de educação ambiental na capacitação da população e na conscientização sobre a preservação dos recursos naturais. Além disso, o monitoramento ambiental da qualidade da água demonstrou ser uma ferramenta fundamental em programas de PSA em recursos hídricos, pois podem embasar a tomada de decisão, apontar pontos críticos de intervenção e evidenciar os impactos das ações, servindo para o acompanhamento dos resultados alcançados pelo programa. De uma forma geral, os resultados alcançados por esta pesquisa permitem concluir que programas de PSA são importantes instrumentos de gestão sustentável dos recursos hídricos, uma vez que possibilitam a preservação dos ecossistemas, colaborando com desenvolvimento socioeconômico das comunidades afetadas.

Romance policial, psicanálise e cultura contemporânea em Luiz Alfredo Garcia-Roza e Dennis Lehane

Esta tese traça um estudo comparativo entre o Romance policial contemporâneo e o discurso psicanalítico na produção ficcional de Luiz Alfredo Garcia-Roza (1936-) e Dennis Lehane (1963-), tomando, por base, relações de aproximação entre os métodos investigativos na literatura e na psicanálise. Para isso, o corpus constitui-se dos romances O silêncio da chuva (1996) e Espinosa sem saída (2006), ambos do escritor brasileiro e Sagrado [Sacred] (2004) e Paciente 67 [Shttter Island] (2005), do ficcionista norte-americano. A análise destas narrativas revela pontos de aproximação entre os dois discursos inseridos no cenário cultural caótico e desajustado. E questiona a emergência deste novo contexto sociocultural, onde personagens sem identidade definida, sendo o principal deles, o detetive, realizam sua flânerie através de deslocamentos constantes associados à paisagem e em busca do desvendamento do crime urbano. Como seres de ficção perdidos, estes private eyes precisam encontrar os desajustes psíquicos de toda espécie de criminosos daí a representação da cidade, que ora se converte no solo para a flânerie dos investigadores, ora contribui para o apagamento e/ou ocultamento das subjetividades criminais. A relação entre os discursos policial e psicanalítico aponta para a associação entre a obscuridade do texto literário e o da cultura onde estamos inseridos sem falar do mal-estar de um e de outro campo, que tem a ver com as transformações da esfera da sociedade contemporânea

Análise das estimativas de emissão de metano por aterros sanitários em projetos de MDL no Brasil.

Para a maioria dos municípios brasileiros, a instalação de um aterro sanitário é um desafio, sendo uma das dificuldades o custo elevado. Existem algumas formas de mitigar estes custos e uma delas é através do mercado de emissões. Com planejamento prévio suficiente, é possível queimar o metano gerado através da degradação do resíduo, podendo resultar em benefícios para o aterro tanto através do aproveitamento (geração de energia ou venda direta) quanto recebimento de algum tipo de certificado de emissões negociável. Incluído neste planejamento prévio suficiente está a realização da estimativa ex-ante de emissão de metano para saber previamente qual será o aproveitamento mais indicado e a eventual receita oriunda da queima. Quando analisados os projetos de MDL feitos em aterros sanitários, pode ser notado que estas estimativas são muitas vezes mal feitas, gerando valores estimados muito acima do realmente observado durante a operação. Este erro acarreta uma perda de credibilidade deste tipo de projeto, já que o número esperado é raramente alcançado. Existem alguns fatores que contribuem para esta discrepância de valores, sendo problemas operacionais (como exemplo podem ser citados deficiência no sistema de captura do biogás e problemas na captação e recirculação de lixiviado) e de modelagem (utilização de valores de entrada experimentais obtidos sob situações muito diferentes das encontradas nos aterros brasileiros, por exemplo) os possíveis principais vilões. Este trabalho visa apresentar e discutir os principais problemas na realização de estimativas prévias de emissão de metano em aterros sanitários utilizando projetos brasileiros de MDL registrados e que estejam atualmente emitindo créditos de carbono como base para analisar a qualidade das estimativas feitas atualmente. Além disto, busca-se também entrevistar profissionais da área para tentar obter diferentes pontos de vista sobre esta questão. Fica claro que os valores estimados, de um modo geral, são entre 40 e 50% superiores aos observados. Metade dos especialistas aponta problemas operacionais diversos como os principais contribuintes desta diferença, mas problemas na modelagem parecem influenciar decisivamente na realização das estimativas. A utilização de valores de entrada no modelo precisa ser criteriosamente analisada e devem ser utilizados números obtidos através de pesquisas que representem a realidade do aterro em questão.

Influência da variação da intensidade de luz, para uma mesma exposição radiante, no comportamento mecânico de uma resina convencional e de uma resina de baixa contração

O presente estudo teve como objetivo avaliar a influência da variação da intensidade de luz, para uma mesma exposição radiante, na resistência à flexão, na microdureza e na resistência à tração diametral de uma resina convencional e de uma resina de baixa contração. Para a confecção dos corpos de prova foram utilizadas as resinas Filtek Z250 (3M ESPE) e Filtek P90 LS (3M ESPE) fotoativadas por meio dos seguintes protocolos: Convencional (400mW/cm por 60 s), Média intensidade (700mW/cm por 34 s) e Alta intensidade (950mW/cm por 26 s). Todos os corpos de prova receberam a mesma exposição radiante de 24J/cm. A resistência à flexão foi avaliada por meio do ensaio de flexão três pontos. Para este ensaio foram confeccionados trinta corpos de prova de cada material (n=10) com dimensões de 10mm x 2mm x 1mm. A avaliação da microdureza Knoop foi obtida a partir de seis discos de cada resina com 5mm de diâmetro por 2mm de espessura (n=2), sendo realizadas cinco indentações em cada espécime. Trinta corpos de prova cílindricos de cada compósito (n=10) com 3mm de diâmetro por 6mm de altura foram confeccionados para a realização do teste de tração diametral. A análise estatística dos resultados obtidos foi realizada por meio do teste de análise de variância (ANOVA) e do teste de múltiplas comparações de Tukey (p < 0.05). A resistência à flexão da resina P90 não foi influenciada de forma significativa pelas diferentes formas de ativação, enquanto a Z250 obteve resultados significantemente maiores para o protocolo de alta intensidade em relação ao convencional. Em todas as intensidades de luz, os resultados da Z250 foram significativamente maiores que os da P90. A microdureza da resina P90 foi estatisticamente maior para o grupo de média intensidade em relação aos outros, já a Z250 não obteve resultados com diferença estatística em relação às formas de ativação. Para a mesma irradiância, a Z250 obteve maiores valores de microdureza do que a P90, com exceção para o protocolo de média intensidade em que não houve diferença estatística entre os materiais. Os valores de resistência à tração não foram influenciados de forma significativa nem pelas diferentes intensidades de luz, nem pelos materiais utilizados. A influência da variação da intensidade de luz depende do tipo de compósito utilizado e da propriedade mecânica avaliada.

Avaliação in vitro do efeito da incorporação de clorexidina nas propriedades físicas e na atividade antibacteriana de resinas acrílicas autopolimerizáveis

Objetivo. O objetivo do presente estudo foi avaliar o efeito da incorporação de diacetato de clorexidina (CDA), em diferentes concentrações e tempos de armazenamento, nas propriedades físicas e na atividade antibacteriana de resinas acrílicas, utilizadas na confecção de coroas e pontes provisórias. Métodos. Fase I: Foram confeccionados 150 corpos de prova retangulares (3,0 mm X 10 mm X 64 mm), de acordo com a norma ISO 1567 e 150 corpos de prova quadrados (10 mm X 10 mm X 2,0 mm), utilizando-se duas resinas acrílicas autopolimerizáveis, Duralay (Reliance Dental Mfg. Co.) e Dencor (Clássico). Os corpos de prova foram distribuídos em 30 grupos (n=10/grupo) de acordo com a concentração de CDA incorporada às resinas (p/p) (A) 0%, (B) 1%, (C) 2%, (D) 4%, (E) 5%, em função do tempo de armazenamento em água destilada, a 37C (T0 2h, T1 7 dias, T2 30 dias). Foram realizados os ensaios de microdureza Knoop, em microdurômetro Micromet 5104, Buehler (N), rugosidade superficial (Ra), em rugosímetro digital Mitutoyo Surftest SJ-201 (n=5) e resistência à flexão em três pontos (MPa), em uma máquina de ensaio universal EMIC MF 200 DL (n=5). Fase II: Adicionalmente, a atividade antibacteriana dos materiais sobre Streptococcus mutans foi determinada através da realização de testes de difusão em meio BHI, sendo para isso confeccionados 30 corpos de prova em forma de disco (12 mm X 3,0 mm) com as mesmas 5 concentrações (n=3/grupo). Os resultados foram tabulados e submetidos à análise estatística three-way ANOVA (Fase I) e two-way ANOVA (Fase II). Resultados. ANOVA mostrou que a adição de CDA não provocou alteração significativa na resistência à flexão dos materiais testados. A resistência à flexão é inversamente proporcional ao tempo para a resina Dencor e diretamente proporcional ao tempo para a resina Duralay. Houve aumento da microdureza com o acréscimo de CDA ao material Dencor com relação ao grupo controle, enquanto que no material Duralay a CDA não interferiu significativamente nesta propriedade. A rugosidade superficial aumentou significativamente (p<0,001) com o tempo e com o aumento da concentração de clorexidina na resina Dencor e não provocou alteração significativa em Duralay. Os testes de difusão em ágar demonstraram atividade antimicrobiana significativa (p<0,05) em todos os grupos, quando comparados ao grupo-controle. A inibição ao crescimento de Streptococcus mutans foi maior com o aumento da concentração desta substância. A resina Dencor apresentou maior halo de inibição do que a resina Duralay. Conclusões. Os resultados deste estudo sugerem que a incorporação de clorexidina aos materiais testados exibiu efeito antibacteriano contra S. mutans, sem contudo afetar de maneira crítica as propriedades físicas avaliadas.

Programa de processamento de efemérides de satélites GPS: aplicação em posicionamento de satélites e posicionamento geodésico.

O emprego das técnicas de posicionamento de alta-precisão e de precisão, com recurso ao Sistema de Posicionamento Global, têm se consolidado como solução definitiva para a obtenção das coordenadas de pontos sobre a superfície terrestre, nas mais diversas aplicações, em particular aquelas envolvidas na realização do cadastro em áreas urbanas e construção da base de dados associada aos Sistemas de Informação Geográfica utilizados na gestão territorial. Os receptores GPS armazenam as informações dos satélites inicialmente em formato próprio, porém a maioria dos usuários não usa esse formato para trabalho, e sim o formato RINEX. Sendo este um formato importante ao trabalhar com GPS, os softwares proprietários que geralmente acompanham os receptores e fazem a transformação de seu formato próprio para o RINEX, processam as observáveis de forma exclusiva e fechada, não permitindo alteração de seu código-fonte (o que configura uma caixa preta). Este trabalho visa elaborar e implementar um programa com código-fonte aberto para leitura e manipulação de arquivos de efemérides transmitidas e precisas do Sistema de Posicionamento Global GPS e aplicá-lo ao posicionamento de satélites artificiais, e ainda realizar um estudo do comportamento do mesmo no posicionamento geodésico de pontos na superfície terrestre. Considerando-se que a posição terrestre dos satélites influencia diretamente no cálculo da posição de pontos sobre a superfície, esse estudo verifica que é possível obter coordenadas dos satélites a partir das efemérides transmitidas de forma coerente, e isto é feito utilizando-se o processamento que o programa faz ao manipular corretamente os arquivos RINEX. O programa implementado é capaz de lidar com os arquivos de formato RINEX e SP3, lendo, extraindo e utilizando informações para uma aplicação de posicionamento terrestre de satélites artificiais GPS, podendo ainda realizar outras aplicações como o posicionamento geodésico de pontos adaptando seu código-fonte para outros modelos. Esse programa poderá ser utilizado em benefício dos profissionais que atuam em diversas aplicações que envolvam o posicionamento geodésico por satélites, proporcionando flexibilidade de trabalho, pois o programa terá código-fonte aberto.