Made available in DSpace on 2014-06-11T19:23:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2005Bitstream added on 2014-06-13T19:29:38Z : No. of bitstreams: 1 aguiar_cr_me_prud.pdf: 7492218 bytes, checksum: 117035e4185d5091d476aa36427a4feb (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Os receptores GPS de uma freqüência são utilizados na maioria dos trabalhos de posicionamento com GPS. Dentre as diversas aplicações, pode-se citar aquelas em que é de suma importância obter as coordenadas da antena do receptor em tempo real, tais como navegação aérea, marítima e terrestre, monitoramento da troposfera e ionosfera, monitoramento de deslocamento de estruturas e tubulações, entre outras. Porém, uma das maiores fontes de erro para estas aplicações é o efeito da refração ionosférica. A determinação deste efeito tem sido feita com observações coletadas com receptores GPS de dupla freqüência, e a partir da estimativa dos valores da refração ionosférica, pode-se aplicar a correção nas medidas obtidas com receptores de uma freqüência. No Departamento de Cartografia da FCT/UNESP foi desenvolvido o modelo da ionosfera (Mod_Ion), onde a ionosfera é analiticamente representada pela série do tipo Fourier. Este modelo está implementado, em linguagem de programação Fortran, para ser executado no modo pósprocessado. O foco de interesse atual pela comunidade mundial é o que diz respeito à correção desses efeitos em tempo real. Um algoritmo utilizado para calcular a correção ionosférica, ou obter o TEC, em tempo real, é o filtro de Kalman. No Mod_Ion_FK foram introduzidas duas melhorias: a função de modelagem da ionosfera do Mod_Ion foi alterada; e o filtro de Kalman foi implementado. Os resultados dos experimentos realizados mostraram que a função de modelagem série de Fourier com 19 coeficentes e o processo aleatório Gauss-Markov, foram mais eficazes na correção do efeito sistemático devido à ionosfera, chegando à proporcionar uma melhora na acurácia resultante, do posicionamento por ponto em tempo real, de 90,75%, no período diário de máxima atividade da ionosfera. / Single frequency GPS receivers have been widely used in most of the GPS projects. Among the several applications, one can mention those that require to obtain the receiver's antenna coordinates in real time, such as aerial, maritime and terrestrial navigation, ionosphere and troposphere monitoring, and structure displacement monitoring. However, one of the main drawbacks of the GPS accuracy for L1 users is the ionospheric refraction, which affects, mainly, the point positioning. The determination of this error has been carried out with double frequency GPS measurements, and from these estimate values the corrections can be applied in the single frequency GPS measurements. In the FCT/UNESP, a regional ionosphere model (Mod_Ion) was developed for computing the ionosphere systematic error, as well as TEC (Total Electron Contents). The Mod_Ion was implemented to run in a batch processing mode. The current focus for the worldwide community is concerned to the correction of these error in real time. One of the algorithms used to calculate the ionosphere correction, as well as the TEC, in real time, is based on Kalman filtering. In the Mod_Ion_FK version two improvements were introduced: the function for ionosphere modeling in the Mod_Ion was modified; and the Kalman filter was implemented. The results of the experiments showed that the modeling function with 19 coefficient Fourier series and the Gauss-Markov process, were the most effective in the ionosphere systematic effect's corrections, providing a improvement in the accuracy of point positioning, of 90,75%, in period of the highest ionosphere activity.

Made available in DSpace on 2014-06-11T19:23:31Z (GMT). No. of bitstreams: 0 Previous issue date: 2003Bitstream added on 2014-06-13T20:50:27Z : No. of bitstreams: 1 matsuoka_mt_me_prud.pdf: 1885726 bytes, checksum: c111876227d4fc8e79e6759aa7bbc250 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Atualmente, a maior fonte de erro sistemático no posicionamento com receptores GPS de uma freqüência é devido à refração ionosférica. O erro associado à refração ionosférica depende do conteúdo total de elétrons (TEC) na camada ionosférica, que por sua vez, é influenciado por diversas variáveis, tais como: ciclo solar, época do ano, hora do dia, localização geográfica e atividade geomagnética, e é difícil de ser corrigido. Os receptores GPS de dupla freqüência permitem efetuar correções do efeito da refração ionosférica, devido ao fato da mesma ser dependente da freqüência do sinal. Porém, receptores GPS de dupla freqüência são equipamentos caros, fazendo com que os de uma freqüência sejam amplamente empregados no posicionamento com GPS. As mensagens de navegação trazem informações que permitem efetuar correções da ionosfera para receptores GPS de uma freqüência, utilizando o modelo de Klobuchar. Porém vários estudos realizados mostraram que o modelo de Klobuchar pode remover apenas algo em torno de 50-60% do efeito total. Desta maneira, é necessário dispor de uma estratégia mais efetiva de eliminar os efeitos da ionosfera, a qual tem sido investigada a partir do uso de modelos regionais para a ionosfera. No Brasil, tem-se o modelo regional da ionosfera (Mod_Ion), desenvolvido na FCT/UNESP, que utiliza dados GPS da Rede Brasileira de Monitoramento Contínuo (RBMC). Neste modelo, a ionosfera é representada analiticamente pela série de Fourier. Nesta pesquisa, outras funções de modelagem e de mapeamento da ionosfera foram implementadas no Mod_Ion, visando melhorar a eficiência do modelo para posicionamento com receptores de uma freqüência. Os resultados dos experimentos do posicionamento por ponto mostraram que as funções série de Fourier, de Taylor e a polinomial foram as mais eficazes na correção do efeito sistemático... / Nowadays, one of the main drawbacks of the GPS accuracy for L1 users is the ionospheric refraction, which affects, mainly, the point positioning. The error associated with the ionospheric refraction depends on the Total Electron Content (TEC) in the ionospheric layer, that is influenced by several variables, including the solar cycle, the season, the local time, the geographical location of the receiver and the Earth's magnetic field. The broadcast ephemeris contains information for computing the group delay, using the broadcast model. The literatures report that the model correct 50 to 60% of the total effect of ionospheric refraction. Therefore, it is necessary a more effective strategy of eliminating the effects of the ionosphere. Some techniques and models have been developed to estimate these effects using data collected with double frequency GPS receivers. In Brazil, a regional model of the ionosphere (Mod_Ion) was developed in FCT/UNESP, which makes use of GPS data collected at the active stations of RBMC (Brazilian Network for Continuous Monitoring of GPS satellites) In this model, the ionosphere is represented analytically by a Fourier series type. In this research, other modelling and mapping functions of the ionosphere were implemented in Mod_Ion, seeking to improve the efficiency of the model for positioning with L1 receivers. The results of the experiments showed that the functions: Fourier series, Taylor series and the polynomial, were the most effective in the correction of the systematic effect due to the ionosphere, providing a improvement in the acuracy better than 79,5%, with values of discrepancies in the resultant of the cartesian coordinates better than 3 m, and the largest influence concentrates on the height.

Orientador: João Francisco Galera Monico / Resumo: O posicionamento com GPS (Global Positioning System), consiste basicamente na determinação de distâncias entre satélites e receptores, obtidas por meio de observações de sinais de rádio-freqüência. Entre os vários erros que estão presentes nessas observações, encontra-se o atraso dos sinais causado pela influência do vapor d'água atmosférico. Depois de minimizados os demais erros, o atraso troposférico pode ser estimado a partir das observações GPS. Estas estimativas, além de serem utilizadas para avaliar os modelos que tratam os efeitos da troposfera, podem ser convertidas em estimativas do vapor d'água integrado na atmosfera (IWV-Integrated Water Vapor). Para essa conversão, utiliza-se uma relação entre essas quantidades baseada na temperatura média da coluna vertical troposférica. Este trabalho tem por objetivo apresentar a aplicação do GPS na quantificação do vapor d'água atmosférico e uma metodologia para avaliar a modelagem do atraso zenital troposférico. Para isso, campanhas de radiossondagens e coletas simultâneas de observações GPS foram realizadas. Os resultados, na estimativa do vapor d'água atmosférico, apresentaram boa compatibilidade com os valores fornecidos pelas radiossondas (EMQ de 2 kg/m2), e são similares aos valores encontrados na literatura. Quanto à avaliação da modelagem troposférica, os resultados indicam que a metodologia proposta apresentou-se adequada. / Abstract: The GPS (Global Positioning System) positioning basically consists on determining the distances between satellites and receivers that are obtained by observing radio-frequency signals. There are several errors present in these observations. Among them we can find the delay of those signals caused by atmospheric water vapor. The tropospheric delay can be estimated by GPS observations processing after minimizing other errors. These estimates can be used to evaluate the models that attempt to reduce the tropospheric effects and may also be transformed into estimates of integrated water vapor (IWV). In this transformation is used a relationship between the delay and IWV values based on the tropospheric mean temperature. The main aims of this work are to present the GPS application related to atmospheric water vapor quantification and to propose a methodology to evaluate the zenithal tropospheric delay modeling. Launching radiosonde campaigns with simultaneous collections of GPS observations were accomplished. The results obtained by comparison the IWV values derived by GPS and radiosondes presented good compatibility (EMQ 2 kg/m2), which are similar to those found in the literature. The results supplied in the evaluation of tropospheric models indicated that the proposed methodology is adequate. / Mestre

Título anterior: A utilização das tecnologias da informação e comunicação no ensino das provas de saltos do atletismo na escola / Orientador: Sara Quenzer Matthiesen / Banca: Osmar Moreira de Souza Júnior / Banca: Fernanda Moreto Impolcetto / Resumo: Apesar da importância do atletismo, ainda são vários os problemas enfrentados por aqueles que se dedicam a ensiná-lo na escola. Procurando estratégias que contribuam para sanar algumas dessas dificuldades, essa pesquisa teve como objetivo produzir, avaliar e divulgar um material didático utilizando as Tecnologias da Informação e Comunicação, que seja capaz de auxiliar professores de Educação Física do Ensino Fundamental II a ensinar uma das provas de saltos do atletismo, isto é, o salto em altura, nas dimensões: conceitual, procedimental e atitudinal. Para atingirmos o objetivo proposto, nos pautamos no desenvolvimento de quatro etapas: 1ª Etapa - questionário com o intuito de constatar as dificuldades do ensino do atletismo, utilização de materiais didáticos e recursos tecnológicos utilizados pelos professores de Educação Física; 2ª Etapa - produção de material didático com base no software Prezi que auxilie o professor de Educação Física a abordar o salto em altura nas três dimensões dos conteúdos; 3ª Etapa - avaliação do material produzido, por meio de um grupo focal com os professores de Educação Física que responderam ao questionário; 4ª etapa - divulgação do material didático por meio de um site. Como resultado dessa pesquisa, elaboramos um material didático sobre o salto em altura, com o auxílio e avaliação de professores de Educação Física, contendo informações escritas e vídeos sobre: origem da prova, regras, fatos históricos, técnicas do salto e sugestão de atividad... (Resumo completo, clicar acesso eletrônico abaixo) / Mestre

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro Tecnológico, Programa de Pós-Graduação em Ciência da Computação, Florianópolis, 2009 / Made available in DSpace on 2012-10-24T12:17:09Z (GMT). No. of bitstreams: 1 271232.pdf: 2864003 bytes, checksum: 73efd515cc22f329b2eec561f2aec2a4 (MD5) / O estudo de técnicas de escalonamento de processos remete à criação dos primeiros sistemas operacionais (SO), com os algoritmos escalonadores de processos com e sem preempção. Porém a utilização de escalonadores de processo atinge outras áreas além dos SO, afeta todos os problemas onde há um conjunto de tarefas a serem executadas e um conjunto de unidades executantes. O tempo de execução final das tarefas é diretamente afetado pela seqüência de execução adotada, como é o caso dos sistemas de produção, que necessitam de informação em tempo real, para a execução de tarefas ou para o diagnóstico de problemas, com o objetivo da rápida tomada de decisão. Desse modo é necessário precisão e agilidade no processamento, nas mudanças de prioridades, e principalmente, eficiência no gerenciamento da informação. Este trabalho propõe um framework para escalonamento distribuído de processos, utilizando a teoria de agentes e a técnica heurística de busca, Algoritmos Genéticos (AG). Na modelagem do framework e aplicação foi utilizado a metodologia MaSE (Multi-agent System Engineering), que especifica etapas para análise e projeto de sistemas multiagentes. O desenvolvimento do framework e aplicação foi integrado à plataforma JADE (Java Agent Development Framework), utilizando as ontologias desenvolvidas no editor Protégé. A fim de validar o framework, desenvolveu-se um estudo de caso utilizando o framework HIPS (Hybrid Intelligent Process Scheduler) e os resultados e limitações obtidos com esse estudo de caso, comparados a outro escalonamento de processos. / The study of techniques for processes schedulers is linked to the creation of the first operational systems (OS), with the process schedulers algorithms with and without preemption. However, the use of processes schedulers reaches other areas besides OS. It affects all the problems where there is a set of tasks to be executed and a set of executing units. The tasks final execution time is directly affected by the execution sequence that is adopted, as in the case of production systems, which need information in real time, for the execution of tasks or for the diagnosis of problems aiming fast decision making. Thus, precision and agility in processing, in changing priorities and mainly, efficiency in managing the information are needed. This work proposes a framework for processes distributed scheduler, using the agents theory and the Genetic Algorithms (GA) heuristic search technique. In the framework modeling and application the MaSE (Multi-agent System Engineering) was used, which specifies stages for analyses and project of multi agents systems. The framework development and application were integrated to a JADE (Java Agent Development Framework), using the ontology developed in the Protégé editor. For the framework validation, the study of a case was developed using the HIPS (Hybrid Intelligent Process Scheduler) framework and the results and limitations obtained in this study were compared to another process scheduler.

Tese (doutorado) - Universidade Federal de Santa Catarina, Centro Tecnológico. Programa de Pós-graduação em Engenharia e Gestão do Conhecimento / Made available in DSpace on 2012-10-24T00:07:01Z (GMT). No. of bitstreams: 1 250753.pdf: 2383580 bytes, checksum: cd2a011a2b8185437043f77407cb16fd (MD5)

Este trabalho trata do emprego do modelo de dano dúctil de Gurson e de alguns aspectos relativos a sua implementação computacional. Emprega-se como ponto de partida o programa Metafor, código de elementos finitos voltado para a simulação de problemas de conformação mecânica, contemplando portanto grandes deformações plásticas. Estudam-se alguns casos simples procurando identificar a influência de cada parâmetro do modelo de Gurson na resposta. É discutida a aplicação dos modelos de nucleação de vazios usualmente empregados em conjunto com a superfície de escoamento de Gurson em situações onde há reversão de solicitação. São propostas alterações nos modelos usuais de nucleação de forma a minorar resultados incoerentes verificados. Apresenta-se um algoritmo alternativo ao método de Newton-Raphson para a solução do sistema de equações associado à forma fraca das equações de equilíbrio, em situações onde a rigidez fica muito pequena. Tal algoritmo é implementado e testado. Um algoritmo de integração de tensões é apresentado e implementado, mostrando-se sua vantagem do ponto de vista de robustez, ou seja, obtenção da resposta correta a despeito do tamanho de incremento empregado. Também é discutido um procedimento para desconsiderar elementos que apresentem ruptura local Estudam-se problemas envolvendo geração de calor por deformação plástica em conjunto com a formulação do modelo de Gurson, mostrando que a consideração de acoplamento termo-mecânico com dano traz vantagens em algumas simulações. É discutida a implementação do modelo de Gurson sobre a versão tridimensional do Metafor, que contempla a formulação lagrangiana-euleriana arbitrária (LEA). Ao final, é feita uma simulação inicial do comportamento de espumas metálicas.

O presente estudo trata dos processos fonológicos de elisão, degeminação e ditongação no falar de Florianópolis - Santa Catarina. Para tanto, descrevemos os processos de sândi vocálico externo à luz dos pressupostos da Teoria Variacionista, utilizando amostra composta de entrevistas do projeto VARSUL. Analisamos os três fenômenos de sândi vocálico externo separadamente. Para isso, ouvimos a fala de 16 informantes de Florianópolis e submetemos os dados coletados ao programa GoldVarb2001. As variáveis testadas foram sexo, idade, escolaridade, informante), domínio prosódico, acento, extensão dos vocábulos e categoria das vogais. Os nossos resultados da análise estatística apresentaram uma taxa de 33% de aplicação para a elisão, 61% para a degeminação e 33% para a ditongação. Observamos, através destes dados, que a aplicação dos fenômenos de sândi vocálico externo é favorecida pelo contexto de atonicidade máxima. Vimos ainda que a elisão é favorecida pelos fatores qualquer extensão dos vocábulos, grupo clítico e vogal posterior na categoria da segunda vogal. A degeminação, por sua vez, apresenta maior aplicação quando temos os fatores monomorfema+palavra, frase fonológica e vogais posteriores iguais. Já a ditongação é favorecida pelos fatores Vogal alta+Vogal nãoalta ou Vogal alta+Vogal alta, monomorfema+palavra e Vogal frontal+Vogal posterior. Além disso, as variáveis sociais - sexo, idade e escolaridade - mostraram não interferir nos processos de sândi vocálico externo, sendo excluídas pelo programa computacional GoldVarb2001. Apenas a variável idade foi selecionada para a análise da ditongação, mas acreditamos que isso tenha ocorrido pelo fato de alguns informantes mais jovens apresentarem uma aplicação maior da regra. Assim, cremos que o processo de sândi depende mais de uma escolha individual e das variáveis lingüísticas do que de fatores sociais. Durante a discussão dos resultados, procuramos nos amparar em estudos já feitos sobre o fenômeno, comparando os resultados desses com os nossos. / The following study deals with the phonological process of elision, degemination and dopthongization in the utterance of people from Florianópolis, Santa Catarina. In order to do that, the processes of external vocalic sandhi are described to the light of Variationist Theory using a sample which consists of interviews from the VARSUL project. We analysed the three phenomena of external vocalic sandhi separately, in order to do that we heard 16 informants from Florianópolis and submitted the collected data to the GoldVarb2001 program. The variables which were tested were: sex, age, education, informants, prosodic domain, stress, extension of words and category of vowels. The results of the statistic analyses showed a rate of application of 33% for elision, 61% for degemination and 33% for dipthongization. Through these data we could observe that the application of the phenomena of external vocalic sandhi is triggered by the context of maximum atonicity. We also noticed the elision is activated by the following factors: any extension of words, clitic group and posterior vowels in the category of second vowel. The degemination, however, presents more application when there are the factors: monomorphem+word, phonological phrase and the same posterior vowels. Dipthongization, on the other hand, is triggered when the following factors are present: high vowel+non-high vowel or high vowel+high vowel, monomorphem+word and front vowel+posterior vowel. Besides, the social variables - sex, age and education - showed no interference in the processes of external vocalic sandhi, being, then, excluded by the GoldVarb2001 computational program. Only the variable age was selected in the dipthongization analyses, but we believe it has happened because some younger informants presented a higher application of the rule. Thus, we consider that the process of sandhi depends more on an individual choice and on the linguistic variables than on social factors. During the discussion of the results, we tried to base ourselves on studies which had already been made about the phenomenon by comparing those results to ours.

Submitted by Marcos Sampaio (marcos@sampaio.me) on 2013-05-08T12:09:58Z No. of bitstreams: 1 Sampaio2013-Teoria-Contornos-Musicais.pdf: 13896334 bytes, checksum: 038bb812f39542eaddf8f827ba8a969e (MD5) / Approved for entry into archive by Rodrigo Meirelles(rodrigomei@ufba.br) on 2013-05-08T12:21:42Z (GMT) No. of bitstreams: 1 Sampaio2013-Teoria-Contornos-Musicais.pdf: 13896334 bytes, checksum: 038bb812f39542eaddf8f827ba8a969e (MD5) / Made available in DSpace on 2013-05-08T12:21:42Z (GMT). No. of bitstreams: 1 Sampaio2013-Teoria-Contornos-Musicais.pdf: 13896334 bytes, checksum: 038bb812f39542eaddf8f827ba8a969e (MD5) / CAPES / Contorno é o perfil, desenho ou formato de um objeto. Em Música, contornos podem ser abstraídos de qualquer parâmetro, como altura, densidade, ritmo, timbre, e intensidade. O estudo de relações de contornos musicais é importante porque tais relações são facilmente reconhecíveis auditivamente por músicos e leigos, e porque, assim como conjuntos de notas e motivos, contornos podem ajudar a dar coerência a uma obra musical. A Teoria de Relações de Contornos Musicais foi desenvolvida por autores como Michael L. Friedmann, Robert D. Morris, e Elizabeth W. Marvin e Paul Laprade. Esta teoria fornece conceitos e operações que ajudam a dar precisão no estudo das relações de contornos musicais. Eu descobri que o algoritmo de forma prima de classes de contornos equivalentes de Marvin e Laprade é inconsistente. Baseado na inconsistência deste algoritmo, levantei duas hipóteses: a Teoria dos Contornos contém inconsistências em outros pontos além deste algoritmo; e a inconsistência deste algoritmo implica em erros nos desdobramentos e nos resultados das análises de obras musicais baseadas nesta teoria. Este trabalho teve duas partes. A primeira teve como objetivo principal verificar a existência de inconsistências na Teoria dos Contornos e propor soluções. A segunda teve como objetivo compor um grupo de composições com eventual uso de relações de contornos musicais. A metodologia de verificação de inconsistências consistiu no desenvolvimento do programa MusiContour e na realização de testes funcionais. Então, programei e testei um conjunto de 37 operações e conceitos da Teoria dos Contornos. Com a pesquisa que originou este trabalho pude verificar que a primeira hipótese, das inconsistências em outros pontos da Teoria dos Contornos, é verdadeira, e que a segunda hipótese, do impacto da inconsistência do algoritmo de Marvin e Laprade, é falsa. Os principais resultados deste trabalho são os novos algoritmos de forma prima de classes de contornos equivalentes e de redução de contornos, revisão de conceitos, operações, definição de novas operações, o programa MusiContour, a organização didática do texto sobre a teoria, e a composição e apresentação de sete obras musicais. / Salvador, BA

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:36:51Z (GMT). No. of bitstreams: 1 228279.pdf: 1200252 bytes, checksum: 593e93531a78df9b38f28b458f79282d (MD5) / Este trabalho apresenta a construção do framework Frasedare, um framework orientado a objetos de subsistema que implementa a segurança de dados em repouso, isto é, segurança de dados contidos em dispositivos de armazenamento. Um framework orientado a objetos é uma solução reusável para um domínio específico baseada no paradigma da orientação a objetos. O domínio específico do framework Frasedare é a segurança de dados em repouso, que consiste em garantir a segurança em termos de sigilo, integridade, autenticação e não-repúdio. Estas garantias são alcançadas através da implementação de mecanismos de criptografia em subclasses estendidas do framework Frasedare. A construção do framework Frasedare contemplou: a fase de desenvolvimento, compreendendo as atividades de análise de domínio, projeto arquitetural, projeto do framework, implementação e teste; a fase de uso, com o desenvolvimento de subsistemas que estenderam o framework Frasedare, os quais foram utilizados em uma aplicação teste e em um sistema desenvolvido e comercializado por uma empresa, assim sendo constatada a aplicabilidade do framework Frasedare e; por fim, a fase de evolução e manutenção. O framework Frasedare tem como objetivo principal facilitar a inclusão de segurança de dados em repouso nas aplicações.