• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4
  • Tagged with
  • 4
  • 4
  • 4
  • 4
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • 2
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

Compatibilização de dados, em diferentes referenciais, para atualização cartográfica: estudo de caso na SABESP. / Data transformation for cartographic updating: study of case in SABESP.

Oliveira, Marcos Almir de 27 November 2006 (has links)
Um dos propósitos deste trabalho foi apresentar a metodologia envolvida na estimação de parâmetros de transformação entre dois Sistemas Geodésicos, em função da implantação do Sistema de Informações Geográficas no Saneamento (SIGNOS) pela SABESP. Este estudo foi desenvolvido no Município de São Paulo, onde foram calculados parâmetros de transformação entre os Sistemas SAD-69 (South American Datum 1969) e Córrego Alegre. Os parâmetros obtidos neste estudo foram comparados com os parâmetros disponíveis atualmente. Outro estudo, deste trabalho, é a proposta para compatibilização do sistema altimétrico da SABESP. O sistema atual é formado por diversas redes altimétricas (IBGE, SABESP, EMPLASA e IGG) que são divergentes entre si. O objetivo final é verificar as diferenças regionais e estabelecer a unificação do sistema altimétrico da SABESP na Região Metropolitana de São Paulo (RMSP). / One of the purposes of this work was introduce the methodology involved in the estimate of the transformation parameters between two Geodetic Systems, in function of the implantation of the Geographical Information System by SABESP. This work has been developed in São Paulo City, where transformation parameters were calculated between systems SAD-69 (South American Datum 1969) and Córrego Alegre. The estimated parameters at this work had been compared with the available parameters nowadays. Another study, of this work, is the proposal for compatibility of the altimetric system of SABESP. The current system is formed by diverse altimetric nets (IBGE, SABESP, EMPLASA and IGG) that are divergent between themselves. The final objective is to verify the regional differences and to establish the unification of the altimetric system in São Paulo Metropolitan Region (RMSP).
2

Compatibilização de dados, em diferentes referenciais, para atualização cartográfica: estudo de caso na SABESP. / Data transformation for cartographic updating: study of case in SABESP.

Marcos Almir de Oliveira 27 November 2006 (has links)
Um dos propósitos deste trabalho foi apresentar a metodologia envolvida na estimação de parâmetros de transformação entre dois Sistemas Geodésicos, em função da implantação do Sistema de Informações Geográficas no Saneamento (SIGNOS) pela SABESP. Este estudo foi desenvolvido no Município de São Paulo, onde foram calculados parâmetros de transformação entre os Sistemas SAD-69 (South American Datum 1969) e Córrego Alegre. Os parâmetros obtidos neste estudo foram comparados com os parâmetros disponíveis atualmente. Outro estudo, deste trabalho, é a proposta para compatibilização do sistema altimétrico da SABESP. O sistema atual é formado por diversas redes altimétricas (IBGE, SABESP, EMPLASA e IGG) que são divergentes entre si. O objetivo final é verificar as diferenças regionais e estabelecer a unificação do sistema altimétrico da SABESP na Região Metropolitana de São Paulo (RMSP). / One of the purposes of this work was introduce the methodology involved in the estimate of the transformation parameters between two Geodetic Systems, in function of the implantation of the Geographical Information System by SABESP. This work has been developed in São Paulo City, where transformation parameters were calculated between systems SAD-69 (South American Datum 1969) and Córrego Alegre. The estimated parameters at this work had been compared with the available parameters nowadays. Another study, of this work, is the proposal for compatibility of the altimetric system of SABESP. The current system is formed by diverse altimetric nets (IBGE, SABESP, EMPLASA and IGG) that are divergent between themselves. The final objective is to verify the regional differences and to establish the unification of the altimetric system in São Paulo Metropolitan Region (RMSP).
3

Automatização do processo de seleção de transformações para otimização do tempo de execução por meio de aprendizado de máquina no arcabouço da LLVM. / Transformation selection process automation for execution time optimization through machine learning on LLVM framework.

Sabaliauskas, Jorge Augusto 28 April 2015 (has links)
A rápida evolução do hardware demanda uma evolução contínua dos compiladores. Um processo de ajuste deve ser realizado pelos projetistas de compiladores para garantir que o código gerado pelo compilador mantenha uma determinada qualidade, seja em termos de tempo de processamento ou outra característica pré-definida. Este trabalho visou automatizar o processo de ajuste de compiladores por meio de técnicas de aprendizado de máquina. Como resultado os planos de compilação obtidos usando aprendizado de máquina com as características propostas produziram código para programas cujos valores para os tempos de execução se aproximaram daqueles seguindo o plano padrão utilizado pela LLVM. / The fast evolution of hardware demands a continue evolution of the compilers. Compiler designers must perform a tuning process to ensure that the code generated by the compiler maintain a certain quality, both in terms of processing time or another preset feature. This work aims to automate compiler adjustment process through machine learning techniques. As a result the compiler plans obtained using machine learning with the proposed features had produced code for programs whose values for the execution times approached those following the standard plan used by LLVM.
4

Automatização do processo de seleção de transformações para otimização do tempo de execução por meio de aprendizado de máquina no arcabouço da LLVM. / Transformation selection process automation for execution time optimization through machine learning on LLVM framework.

Jorge Augusto Sabaliauskas 28 April 2015 (has links)
A rápida evolução do hardware demanda uma evolução contínua dos compiladores. Um processo de ajuste deve ser realizado pelos projetistas de compiladores para garantir que o código gerado pelo compilador mantenha uma determinada qualidade, seja em termos de tempo de processamento ou outra característica pré-definida. Este trabalho visou automatizar o processo de ajuste de compiladores por meio de técnicas de aprendizado de máquina. Como resultado os planos de compilação obtidos usando aprendizado de máquina com as características propostas produziram código para programas cujos valores para os tempos de execução se aproximaram daqueles seguindo o plano padrão utilizado pela LLVM. / The fast evolution of hardware demands a continue evolution of the compilers. Compiler designers must perform a tuning process to ensure that the code generated by the compiler maintain a certain quality, both in terms of processing time or another preset feature. This work aims to automate compiler adjustment process through machine learning techniques. As a result the compiler plans obtained using machine learning with the proposed features had produced code for programs whose values for the execution times approached those following the standard plan used by LLVM.

Page generated in 0.087 seconds