Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Ciência da Computação / Made available in DSpace on 2013-07-15T23:24:26Z (GMT). No. of bitstreams: 1 220977.pdf: 1164725 bytes, checksum: 05010521507b602f08b67a311aa2432f (MD5) / Cada vez mais os métodos ágeis têm despertado o interesse da comunidade de Engenharia de Software como uma alternativa para o desenvolvimento de sistemas de uma maneira mais rápida, eficiente e que atenda as reais necessidades dos clientes. Existe no mercado uma série de métodos disponíveis que utilizam a abordagem ágil e que, por seguirem os princípios ágeis, apresentam uma série de atividades semelhantes no seu processo de desenvolvimento.Este trabalho tem como objetivo principal propor um framework com as atividades dos métodos ágeis: Extreme Programming (XP), Scrum, Feature Driven Development (FDD), Adaptive Software Development (ASD) e Agile Modeling (AM), de forma a permitir que os envolvidos no processo possam selecionar as atividades propostas de acordo com as suas reais necessidades. Para se alcançar este objetivo, foi realizada uma pesquisa sobre cada um destes métodos, bem como uma análise comparativa para identificar as atividades propostas por cada deles, de maneira a possibilitar a definição da estrutura do framework. Com o objetivo de verificar se o framework proposto apresenta coerência e diretrizes concretas para a sua utilização, ao final deste trabalho é apresentado um exemplo onde um sistema real é desenvolvido utilizando o mesmo.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2013-07-16T01:28:05Z (GMT). No. of bitstreams: 1 223152.pdf: 1015003 bytes, checksum: 249b001fc14c4064845617a424b4b77f (MD5)

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-21T19:45:25Z (GMT). No. of bitstreams: 0 / Este trabalho apresenta a implementação de uma versão do interpretador da linguagem PASCAL-FC. Em sua versão original, o código concorrente é executado seqüencialmente, apenas simulando a execução de processos concorrentes. Seu ambiente de execução é chamado de pseudoparalelo, o que é suficiente para uma ferramenta didática de programação concorrente. Na versão aqui apresentada, o código compilado é executado em um fluxo principal que se divide em n fluxos de execução independente, que são fluxos de processos independentes. A utilização de processos baseados no modelo UNIX-IPC, como processos, semáforos, segmentos de memória compartilhada e filas de mensagens,

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-Graduação em Ciência da Computação. / Made available in DSpace on 2012-10-20T15:51:21Z (GMT). No. of bitstreams: 1 200022.pdf: 720755 bytes, checksum: 0c2276301585b80ccca60d8263236228 (MD5) / O desenvolvimento de aplicações distribuídas exige o uso de algum mecanismo que possibilite a comunicação entre os processos cliente e servidor. Tecnologias de distribuição como RMI, CORBA e XML-RPC/SOAP disponibilizam serviços que facilitam esta atividade. Todavia, a implementação baseada nas interfaces de programação destas especificações acaba por misturar o código necessário à distribuição com a funcionalidade da aplicação, tornando-a dependente do mecanismo escolhido. Minimizar o impacto diante de uma troca de tecnologia e, simultaneamente, permitir que o desenvolvedor do software esteja focado em requisitos funcionais, constitui o principal problema desta pesquisa. De forma a possibilitar o desenvolvimento de aplicações distribuídas independentemente da plataforma de distribuição, esta dissertação propõe um framework que isola as especificidades de cada padrão dos componentes funcionais. Técnicas de reflexão computacional são aplicadas na implementação, de maneira a eliminar a codificação de adaptadores e proxies exigida em outras abordagens. Ao separar os elementos necessários à distribuição dos elementos funcionais, o framework possibilita a substituição dos mecanismos através de uma configuração externa ao software, dispensando, desta maneira, alterações no código fonte.

Made available in DSpace on 2015-06-17T19:33:49Z (GMT). No. of bitstreams: 0 Previous issue date: 2015-02-27. Added 1 bitstream(s) on 2015-06-18T12:47:59Z : No. of bitstreams: 1 000831731.pdf: 4516645 bytes, checksum: 7330beabb262f3e5d147ce9d6cfbc399 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / No monitoramento de deformações de grandes estruturas ou da superfície terrestre, o deslocamento dos pontos investigados geralmente são obtidos em função de pontos localizados fora do corpo de estudo e são considerados como estáveis (pontos de refer ência) nas análises. Se estes pontos, assumidos como referências, na realidade não forem estáveis, os parâmetros nais serão in uenciados diretamente por esta considera ção. Para estabelecer uma rede de referência pontos estáveis devem ser encontrados, ou seja, aqueles que menos se movimentam ao passar do tempo. A instabilidade, ou deslocamento, na posição de um ponto com relação ao tempo pode ser separados em dois tipos: continentais e locais. Os deslocamentos continentais tratam do movimento sofrido pela estação em função da sua velocidade continental, ou seja, devido ao movimento da placa em que se encontra. Já, os deslocamentos locais são obtidos em função de fenômenos físicos da geologia local, podendo ou não ter um padrão de variação. Os deslocamentos locais são os únicos de extremo interesse na de nição de pontos estáveis. Assim, este trabalho propõe uma estratégia para classi cação de pontos estáveis atrav és da obtenção destes deslocamentos sem a in uência dos deslocamentos continentais na posição da estação... / Deformation monitoring of large structures or land surface, the displacement of the investigated points are usually obtained according to points located outside of the studied body and they are considered to be stable (reference points) in the analysis. If these constrained points, assumed as references, in reality are not stable the nal parameters will be directly in uenced by this consideration. To establish a reference network stable points must be found, i.e, those that least move over time. The instability or displacements in the point position with respect to time can be separated into two types: continental and local. The continental displacements treat the su ered motion by the station on the basis of the continental speed, that is, due to the plate movement that the point is locate. The local displacements are obtained as function of physical phenomena of the local geology, they may or may not have a pattern of variation. Local movements are the only of extreme interest in the de nition of stable points. Thus, this work proposes a strategy for classi cation of stable points by using these obtained displacements without the in uence of continental displacements in the station position. Based on coordinate time series obtained from the PPP (Precise Point Positioning) processing method with the GAPS (GPS Analysis and Positioning Software) software, comparing them to coordinates obtained from a velocity model, e.g., the VEMOS2009 (Velocity Model for South America and the Caribbean), is intended to de ne a metric for classi cation of stable points, where the Network Robustness Analysis is adopted as a statistical criterion for evaluation of the proposed mathematical model...

Made available in DSpace on 2014-06-11T19:22:26Z (GMT). No. of bitstreams: 0 Previous issue date: 2002Bitstream added on 2014-06-13T18:08:17Z : No. of bitstreams: 1 machado_wc_me_prud.pdf: 505198 bytes, checksum: 727c2473f345d9bddfe66e5ea76fa543 (MD5) / O posicionamento com GPS no nível de precisão centimétrico é baseado na medida da fase de batimento da onda portadora. No entanto, esta observável é ambígua de um número inteiro de ciclos entre as antenas do satélite e do receptor no instante da primeira observação, denominado de ambigüidade GPS. Tais ambigüidades são introduzidas como parâmetros nas equações de observação e, devido à sua natureza inteira, não existe um método padrão para solucioná-las diretamente. Uma estratégia comumente utilizada é aplicar o método dos mínimos quadrados seqüencial condicionado juntamente com técnicas de busca. A resolução das ambigüidades pode ser dividida em duas etapas: a estimação e a validação. A estimação diz respeito ao cálculo do valor da ambigüidade. A validação é utilizada para inferir se a solução pode ser aceita ou não. Desde o final da década de 1980, até os dias de hoje, a solução da ambigüidade vem sendo um dos principais tópicos de pesquisa em posicionamento geodésico e vários métodos foram propostos. Atenção especial vem sendo dada à solução rápida das ambigüidades. Essa dissertação apresenta uma nova contribuição no desenvolvimento do software GPSeq, o qual é um software de processamento de dados GPS desenvolvido em meio acadêmico. Inicialmente, o software comportava apenas o processamento de dados coletados através de posicionamento relativo estático de linhas de base curtas. Durante o desenvolvimento de um projeto de iniciação científica (IC) financiado pela Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP), o método LAMBDA... / Centimeter level GPS positioning is based on the very precise carrier beat phase measurements. However, this observable is ambiguous by a number of whole cycles between the satellite and receiver antenna at the first epoch of data collecting, which is called the ambiguity. GPS ambiguities are introduced as parameters to be estimated in the observation equations. However, since they are integer numbers there is no standard techniques for solve them. One of the ways is to apply sequential conditional least-squares estimation together with integer search techniques. The ambiguity resolution can be divided in two steps: estimation and validation. The estimation is concerned with the computation of the ambiguities values. The validation step is used to infer if the estimated value can be accepted or not. From the last decade until nowadays ambiguity resolution has been one of the most important research topic in geodetic positioning and a several methods have been proposed. Special attention has been made about the fast ambiguity resolution. This project presents a new contribution to the GPSeq software implementation, which is a GPS data processing software developed in academic environment. Initially, the software was able to process data from static relative positioning for short baselines. During the development of a Scientific Initiation project supported by FAPESP (Fundação de Amparo a Pesquisa do Estado de São Paulo), the LAMBDA method for rapid ambiguity resolution was implemented. In this contribution, local Detection Identification Adaptation (DIA) for float quality control and an algorithm for processing both, kinematic and static relative data, was implemented. An initial study about fixed ambiguity validation was also carried out. Some experiments are presented, whose results shown that the GPSeq solution is compatible on the centimeter level with commercial software... (Complete abstract click electronic address below)

Resumo: Esta dissertação é o resultado do estudo da viabilização técnica e prática da comunicação sem fio entre microcomputadores mediante a utilização de tecnologia e instrumentos "de prateleira". Como resultado deste estudo é apresentado um levantamento da área de comunicação de dados sem fio contendo suas características, as tecnologias utilizadas e suas áreas de pesquisa. O texto é finalizado com a proposta de uma arquitetura de hardware e software para a implementação de uma rede sem fio. Esta proposta teve como base o estudo do modelo OSI, do padrão EEEE 802.11 e da arquitetura de rede da plataforma Windows. A solução apresentada está baseada no desenvolvimento de um NDIS Miniport NIC driver e na utilização de ferramentas Internet para o desenvolvimento das aplicações que utilizam esta rede sem fio.

Orientador: João Carlos Chaves / Coorientador: Marcelo Carvalho dos Santos / Banca: Edvaldo Simões da Fonseca Júnior / Banca: Daniele Barroco Marra Alves / Resumo: No monitoramento de deformações de grandes estruturas ou da superfície terrestre, o deslocamento dos pontos investigados geralmente são obtidos em função de pontos localizados fora do corpo de estudo e são considerados como estáveis (pontos de refer ência) nas análises. Se estes pontos, assumidos como referências, na realidade não forem estáveis, os parâmetros nais serão in uenciados diretamente por esta considera ção. Para estabelecer uma rede de referência pontos estáveis devem ser encontrados, ou seja, aqueles que menos se movimentam ao passar do tempo. A instabilidade, ou deslocamento, na posição de um ponto com relação ao tempo pode ser separados em dois tipos: continentais e locais. Os deslocamentos continentais tratam do movimento sofrido pela estação em função da sua velocidade continental, ou seja, devido ao movimento da placa em que se encontra. Já, os deslocamentos locais são obtidos em função de fenômenos físicos da geologia local, podendo ou não ter um padrão de variação. Os deslocamentos locais são os únicos de extremo interesse na de nição de pontos estáveis. Assim, este trabalho propõe uma estratégia para classi cação de pontos estáveis atrav és da obtenção destes deslocamentos sem a in uência dos deslocamentos continentais na posição da estação... / Abstract: Deformation monitoring of large structures or land surface, the displacement of the investigated points are usually obtained according to points located outside of the studied body and they are considered to be stable (reference points) in the analysis. If these constrained points, assumed as references, in reality are not stable the nal parameters will be directly in uenced by this consideration. To establish a reference network stable points must be found, i.e, those that least move over time. The instability or displacements in the point position with respect to time can be separated into two types: continental and local. The continental displacements treat the su ered motion by the station on the basis of the continental speed, that is, due to the plate movement that the point is locate. The local displacements are obtained as function of physical phenomena of the local geology, they may or may not have a pattern of variation. Local movements are the only of extreme interest in the de nition of stable points. Thus, this work proposes a strategy for classi cation of stable points by using these obtained displacements without the in uence of continental displacements in the station position. Based on coordinate time series obtained from the PPP (Precise Point Positioning) processing method with the GAPS (GPS Analysis and Positioning Software) software, comparing them to coordinates obtained from a velocity model, e.g., the VEMOS2009 (Velocity Model for South America and the Caribbean), is intended to de ne a metric for classi cation of stable points, where the Network Robustness Analysis is adopted as a statistical criterion for evaluation of the proposed mathematical model... / Mestre

Orientador: João Francisco Galera Monico / Resumo: O posicionamento com GPS no nível de precisão centimétrico é baseado na medida da fase de batimento da onda portadora. No entanto, esta observável é ambígua de um número inteiro de ciclos entre as antenas do satélite e do receptor no instante da primeira observação, denominado de ambigüidade GPS. Tais ambigüidades são introduzidas como parâmetros nas equações de observação e, devido à sua natureza inteira, não existe um método padrão para solucioná-las diretamente. Uma estratégia comumente utilizada é aplicar o método dos mínimos quadrados seqüencial condicionado juntamente com técnicas de busca. A resolução das ambigüidades pode ser dividida em duas etapas: a estimação e a validação. A estimação diz respeito ao cálculo do valor da ambigüidade. A validação é utilizada para inferir se a solução pode ser aceita ou não. Desde o final da década de 1980, até os dias de hoje, a solução da ambigüidade vem sendo um dos principais tópicos de pesquisa em posicionamento geodésico e vários métodos foram propostos. Atenção especial vem sendo dada à solução rápida das ambigüidades. Essa dissertação apresenta uma nova contribuição no desenvolvimento do software GPSeq, o qual é um software de processamento de dados GPS desenvolvido em meio acadêmico. Inicialmente, o software comportava apenas o processamento de dados coletados através de posicionamento relativo estático de linhas de base curtas. Durante o desenvolvimento de um projeto de iniciação científica (IC) financiado pela Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP), o método LAMBDA... (Resumo completo clicar acesso eletrônico abaixo) / Abstract: Centimeter level GPS positioning is based on the very precise carrier beat phase measurements. However, this observable is ambiguous by a number of whole cycles between the satellite and receiver antenna at the first epoch of data collecting, which is called the ambiguity. GPS ambiguities are introduced as parameters to be estimated in the observation equations. However, since they are integer numbers there is no standard techniques for solve them. One of the ways is to apply sequential conditional least-squares estimation together with integer search techniques. The ambiguity resolution can be divided in two steps: estimation and validation. The estimation is concerned with the computation of the ambiguities values. The validation step is used to infer if the estimated value can be accepted or not. From the last decade until nowadays ambiguity resolution has been one of the most important research topic in geodetic positioning and a several methods have been proposed. Special attention has been made about the fast ambiguity resolution. This project presents a new contribution to the GPSeq software implementation, which is a GPS data processing software developed in academic environment. Initially, the software was able to process data from static relative positioning for short baselines. During the development of a Scientific Initiation project supported by FAPESP (Fundação de Amparo a Pesquisa do Estado de São Paulo), the LAMBDA method for rapid ambiguity resolution was implemented. In this contribution, local Detection Identification Adaptation (DIA) for float quality control and an algorithm for processing both, kinematic and static relative data, was implemented. An initial study about fixed ambiguity validation was also carried out. Some experiments are presented, whose results shown that the GPSeq solution is compatible on the centimeter level with commercial software... (Complete abstract click electronic address below) / Mestre

Resumo: A ocultação, um fenômeno pelo qual um corpo celeste deixa de ser visto em razão da sobreposição de um outro, começou a ser usada para estudar a atmosfera de outros planetas há vários anos. Com o advento dos satélites artificiais GPS (Global Positioning System), em conjunto com os satélites LEO (Low Earth Orbiting), surge a Rádio Ocultação GPS (ROGPS), abrindo-se novas perspectivas para as pesquisas sobre o clima e previsão de tempo. Na RO GPS, os sinais que são enviados pelo satélite GPS e recebidos no satélite LEO sofrem os efeitos da troposfera e da ionosfera ao atravessarem a atmosfera terrestre, afetando a fase e a amplitude das ondas dos sinais envolvidos. A propagação do sinal sofre refração formando uma linha curva entre o satélite transmissor e o receptor, o que permite calcular diferentes índices de refratividade, os quais carregam informações da composição da atmosfera terrestre. A partir de perfis desses índices de refratividade é possível extrair perfis de temperatura, umidade e pressão atmosférica na troposfera, além da distribuição na densidade de elétrons na ionosfera terrestre. Vários trabalhos foram realizados para verificar a qualidade dos perfis atmosféricos obtidos com o emprego do satélite CHAMP (Challenging Minisatellite Payload of Geophysical Research and Application), um satélite LEO, em diversas regiões do globo. Nesse trabalho, objetiva-se investigar e implementar a técnica de ocultação GPS, bem como avaliar a qualidade de perfis de temperatura obtidos com o satélite CHAMP sobre a América do Sul, comparando-os com perfis de radiossondas e perfis provenientes da condição inicial do modelo de Previsão Numérica de Tempo (PNT). A implementação da recuperação de um perfil da atmosfera foi realizada utilizando o código C/A para o cálculo do ângulo de curvatura e o parâmetro de impacto, cujos valores aproximados foram 0,043° e 6381 km, respectivamente. / Abstract: The occultation, phenomenon in which a celestial body in not seen because of the superposition of another one, started being used several years ago to study the atmosphere of other planets. With the advent of GPS (Global Positioning System) satellites, together with the LEO (Low Earth Orbit) satellites, the GPS Radio Occultation (GPS-RO) arises, in order to obtain new perspectives in studies related to climate and weather forecast. In GPS-RO, the signals sent by the GPS satellite and received by the LEO satellite are disturbed by the ionosphere and troposphere while cross the terrestrial atmosphere, this affects the phase and the amplitude from the involved signals. The signals propagation is affected by refraction, this generates a bending angle between the transmitter and receiver satellites, allowing computing different refractivity index, which carry information about the terrestrial atmosphere composition. Using these profiles of refractivity index is possible to extract profiles of temperature, humidity, atmospheric pressure in the troposphere, and to obtain the electronic density distribution in terrestrial ionosphere. Several works were realized to verify the quality of atmospheric profiles obtained using the CHAMP (Challenging Minisatellite Payload of Geophysical Research and Application) satellite, LEO satellite, in several regions of the globe. In this research the goal is to investigate and implement the GPS occultation technique, and additionally to evaluate the quality of the temperature profiles obtained by CHAMP satellite over the South of America, comparing them with the RSO (Radiosonde) profiles and with the profiles obtained by the initial condition of Numeric Weather Prediction (NWP) model. / Orientador: João Francisco Galera Monico / Coorientador: Luiz Fernando Sapucci / Banca: Hisao Takahashi / Banca: José Tadeu Garcia Tommaselli / Mestre