Resultado da Pesquisa
A expressão de busca foi <referencetype, Thesis and {course CAP-COMP-SPG-INPE-MCTI-GOV-BR} and date, 2015>.
9 referências encontradas buscando em 14 dentre 15 sites.
Eventualmente nem todas as referências esperadas puderam ser exibidas porque o acesso a pelo menos um site falhou.
Data e hora local de busca: 23/11/2020 22:30.
Tipo da ReferênciaThesis
Identificador8JMKD3MGP3W34P/3JGM3K2
Repositóriosid.inpe.br/mtc-m21b/2015/05.19.16.39
Metadadossid.inpe.br/mtc-m21b/2015/05.19.16.39.02
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE-17564-TDI/2338
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoAlves:2015:PlBuLa
AutorAlves, Gustavo Furtado de Oliveira
TítuloUma plataforma de busca de layouts iniciais para o problema de alocação de equipamentos em satélites
Ano2015
BancaLorena, Luiz Antonio Nogueira (presidente)
Sandri, Sandra Aparecida (orientadora)
Becceneri, José Carlos (orientador)
Carvalho, Solon Venâncio de
Sousa, Fabiano Luis de
Luz, Eduardo Fávero Pacheco da
Salles Neto, Luiz Leduíno de
Data2015-05-14
Título AlternativoA platform for search initial layouts for the satellite equipments allocation problem
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-ChaveSMLDP, MPCA, HBAE, SABH, satellite layout.
ResumoNeste trabalho é proposta uma plataforma para criação de layouts iniciais para o problema de alocação de equipamentos em satélites artificiais, considerando o centro de massa e o momento de inércia do conjunto, além de restrições para o posicionamento de cada equipamento no satélite. A posição de cada equipamento, de massas diferentes, influencia diretamente a localização do centro de massa e o momento de inércia do satélite. Encontrar o melhor layout consiste em um problema de natureza ${"}$NP-Difícil${"}$. Ao desenvolver layouts de satélites também é importante considerar a dissipação térmica gerada pelos equipamentos e a conexão de cabos entre eles. As meta-heurísticas inspiradas na natureza emph{Ant Colony Optimization e Multi-Particle Collision Algorithm} foram implementadas para buscar soluções otimizadas e uma heurística chamada Heurística de Balanceamento por Afinidade Espacial foi desenvolvida para este problema, baseada na afinidade entre os equipamentos quando bons layouts são encontrados. O satélite brasileiro ITASAT foi utilizado como base para o desenvolvimento deste trabalho. A plataforma permite a introdução de conhecimento a priori no processo de exploração realizado pelos algoritmos de otimização, tais como fixar a posição de determinados objetos e restringir uma distância mínima e/ou máxima entre dois objetos. ABSTRACT: In this work is proposed a platform for creating initial layout for the artificial satellite equipments allocation problem, considering the center of mass and the moment of inertia of the solution, as well as restrictions on the placement of each equipment. The positioning of equipments with different masses, directly influences the location of the center of mass and the moment of inertia of the satellite. Find the best layout consists of a problem of ${"}$NP-Hard${"}$ nature. At satellites layouts development is also important to consider the thermal dissipation generated by the equipment and the cable connection between them. The nature-inspired meta-heuristics emph{Ant Colony Optimization and Multi-Particle Collision Algorithm} were implemented to find optimized solutions and a new heuristic called emph{Spatial Affinity Balancing Heuristic} was developed for this problem, based on the affinity between the equipment when good layouts are found. The Brazilian satellite ITASAT was used as the basis for the development of this work. The platform allows the introduction of knowledge a priori in the exploration process performed by the optimization algorithms, such as setting the position of certain objects and add constraints for minimal and/or maximal distances between two objects.
Número de Páginas103
Idiomapt
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
AreaCOMP
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Tamanho2320 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2015:10.15.14.42.26 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.55.24 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2015}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Endereço de e-Mailgustavo.foa@gmail.com
Grupo de Usuáriosadministrator gustavo.foa@gmail.com marcelo.pazos@inpe.br yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator gustavo.foa@gmail.com marcelo.pazos@inpe.br yolanda.souza@mcti.gov.br
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
originais/001.pdf 08/07/2015 09:40 30.0 KiB 
originais/@4primeirasPaginas.pdf 22/07/2015 13:37 94.3 KiB 
originais/publicacao.pdf 07/07/2015 15:14 2.9 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 15/10/2015 11:42 594.1 KiB 
Histórico2015-05-20 12:59:40 :: gustavo.foa@gmail.com -> yolanda ::
2015-05-20 13:08:48 :: yolanda -> administrator ::
2015-05-21 03:14:52 :: administrator -> gustavo.foa@gmail.com ::
2015-06-29 17:30:07 :: gustavo.foa@gmail.com -> yolanda ::
2015-06-29 19:14:30 :: yolanda -> gustavo.foa@gmail.com ::
2015-07-07 12:31:44 :: gustavo.foa@gmail.com -> yolanda ::
2015-07-07 13:17:37 :: yolanda -> gustavo.foa@gmail.com ::
2015-07-07 14:28:30 :: gustavo.foa@gmail.com -> yolanda ::
2015-10-15 14:43:23 :: yolanda -> marcelo.pazos@sid.inpe.br ::
2015-10-27 16:28:08 :: marcelo.pazos@sid.inpe.br :: -> 2015
2015-10-27 17:10:09 :: marcelo.pazos@sid.inpe.br -> administrator :: 2015
2018-06-04 02:55:24 :: administrator -> :: 2015
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso23 nov. 2020
similares 
Tipo da ReferênciaThesis
Identificador8JMKD3MGP3W34P/3K98PDP
Repositóriosid.inpe.br/mtc-m21b/2015/09.16.22.02
Metadadossid.inpe.br/mtc-m21b/2015/09.16.22.02.44
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE-17626-TDI/2390
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoAnochi:2015:PrClPr
AutorAnochi, Juliana Aparecida
TítuloPrevisão climática de precipitação por redes neurais autoconfiguradas
Ano2015
BancaGuimarães, Lamartine Nogueira Frutuoso (presidente)
Velho, Haroldo Fraga de Campos (orientador)
Shiguemori, Elcio Hideiti (orientador)
Sandri, Sandra Aparecida
Carvalho, Solon Venâncio de
Luz, Eduardo Fávero Pacheco da
Braga, Antonio de Padua
Data2015-11-03
Título AlternativoClimate precipitation prediction by self-configured neural networks
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-Chaveproblemas de otimização, meta-heurística, rede neural artificial, previsão climática, redução de dados, optimization, meta-heuristic, artificial neural networks, climate prediction, data reduction.
ResumoPrevisão climática do campo de precipitação é um aspecto chave em meteorologia. Precipitação é uma variável associada a desastres naturais (secas e enchentes) e safras agrícolas, com impactos nos setores de turismo e transporte. Entretanto esta variável meteorológica é de difícil previsão, devido à grande variabilidade temporal e espacial (variável descontínua). Neste trabalho, um método baseado em Rede Neural Artificial (RNA) é aplicado para previsão climática de precipitação nas regiões Sul, Sudeste e Nordeste do Brasil. É conhecida a capacidade de redes neurais de aprendizado e resposta, o que motiva sua aplicação com sucesso em uma grande variedade de problemas, consolidando-se como uma técnica de solução de problemas complexos em reconhecimento de padrões, classificação, sistemas de controle, aproximação de funções e modelo preditivo. Redes neurais podem ser caracterizadas como redes supervisionadas e não supervisionadas. Em geral, o processo de treinamento de redes neurais supervisionadas está associado à determinação dos pesos das conexões. A definição ou identificação da arquitetura ótima para uma rede neural é expressa como um problema de otimização, em que cada ponto no espaço de busca representa uma topologia diferente. O problema de otimização pode ser formulado por meio de uma função mono-objetivo ou de uma função multiobjetivo. Neste trabalho, a otimização mono-objetivo foi solucionada pelo emph{Multi-Particle Collision Algorithm} (MPCA) e o emph{Non-dominated Sorting Genetic Algorithm} II (NSGA-II) foi empregado para otimização multiobjetivo. Em meteorologia, dados de diversas fontes (satélites, estações de superfície, boias oceânicas, radiossondagens, radar e muitas outras) são usados nas previsões de tempo e clima. Assim, previsão de eventos meteorológicos é um desafio complexo, mais ainda deve-se incluir a necessidade de análise de grande volume de dados. A redução da dimensão de dados de observação sem perda de informação é um tema importante de pesquisa. A Teoria dos Conjuntos Aproximativos, uma técnica de mineração de dados, foi empregada para identificar as variáveis mais significativas para o processo de previsão climática. ABSTRACT: Climate precipitation prediction field is a key aspect in meteorology. The precipitation is a variable associated with natural disasters (droughts and floods) agricultural crops and can cause impacts in the sectors of tourism and shipping. However, this is a meteorological variable that is difficult to predict because of large spatial and temporal variability (i.e. variable discontinuous). A method based on Artificial Neural Network (ANN) is applied to climate prediction precipitation in the South, Southeast and Northeast regions of Brazil. It is known the ability of neural network learning and response, which motivates their successful application in a wide variety of problems, consolidating its position as a solution technique of complex problems in pattern recognition, classification, control systems, proximity functions and predictive model. Neural networks can be characterized as supervised and unsupervised networks. In general, the supervised training process for neural networks is associated with the determination of the weights of the connections. The definition or identification of the optimal architecture for a neural network is expressed as an optimization problem, in which each point in the search space represents a different topology. The optimization problem can be formulated by a mono-objective function or a multiobjective function. The mono-objective optimization was solved by Multi-Particle Collision Algorithm (MPCA) and Non-dominated Sorting Genetic Algorithm-II (NSGA-II) was used for multi-objective optimization. In meteorology, data from various sources (satellites, ground-based stations, ocean buoys, soundings, radar and many others) are used in weather and climate forecasts. Predicting meteorological events is a complex challenge. The size reduction of the observation data without losing information is an important subject of research. The Rough Sets Theory, a data mining technique was used to identify the most significant variables for the climate prediction process.
Número de Páginas159
Idiomapt
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
AreaCOMP
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Tamanho44685 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2016:03.03.19.00.31 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.55.40 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2015}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Endereço de e-Mailjuliana.anochi@lac.inpe.br
Grupo de Usuáriosadministrator juliana.anochi@lac.inpe.br marcelo.pazos@inpe.br yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator juliana.anochi@lac.inpe.br marcelo.pazos@inpe.br yolanda.souza@mcti.gov.br
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
originais/@4primeirasPaginas.pdf 11/01/2016 14:30 187.2 KiB 
originais/Avaliação final página 2 aluna Juliana Aparecida Anochi.pdf 23/12/2015 08:47 395.5 KiB 
originais/publicacaoJuliana.pdf 21/12/2015 14:05 43.8 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 03/03/2016 16:00 607.6 KiB 
Histórico2015-09-18 13:15:44 :: juliana.anochi@lac.inpe.br -> yolanda ::
2015-09-18 13:30:46 :: yolanda -> administrator ::
2015-09-20 21:42:37 :: administrator -> juliana.anochi@lac.inpe.br ::
2015-12-17 10:57:23 :: juliana.anochi@lac.inpe.br -> yolanda ::
2016-03-03 19:24:03 :: yolanda -> marcelo.pazos@sid.inpe.br ::
2016-03-04 14:02:23 :: marcelo.pazos@sid.inpe.br :: -> 2015
2016-03-04 16:58:52 :: marcelo.pazos@sid.inpe.br -> administrator :: 2015
2018-06-04 02:55:40 :: administrator -> :: 2015
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso23 nov. 2020
similares 
Tipo da ReferênciaThesis
Identificador8JMKD3MGP3W34P/3JD98C5
Repositóriosid.inpe.br/mtc-m21b/2015/04.28.13.08
Metadadossid.inpe.br/mtc-m21b/2015/04.28.13.08.50
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE-17567-TDI/2341
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoCorrêa:2015:MóSeVo
AutorCorrêa, Felipe Rodolfo Santos
TítuloUm módulo de sensoriamento voluntário aplicado a um projeto de ciência cidadã
Ano2015
BancaDutra, Luciano Vieira (presidente)
Ramos, Fernando Manuel (orientador)
Luz, Eduardo Fávero Pacheco da (orientador)
Velho, Haroldo Fraga de Campos
Brasileiro, Francisco Vilar
Data2015-05-12
Título AlternativoA volunteer sensing module applied for a citizen science project
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-Chavephonegap, forestwatchers, ciência cidadã, sensoriamento voluntário, citizen science, volunteer sensing.
ResumoAs florestas tropicais são o habitat da maior parte das espécies conhecidas de plantas e animais terrestres. Estes ecossistemas estão sob crescente ameaça em todo o mundo. Durante as últimas décadas, milhões de hectares de florestas tropicais foram perdidos a cada ano. Apesar da proliferação de novas técnicas de sensoriamento remoto, as informações disponíveis sobre o estado das florestas do mundo são limitadas e esparsas. A imensa tarefa de proteger uma fração adequada das florestas restantes para as gerações futuras está fora do alcance das estratégias de conservação tradicionais. É necessária uma ação coletiva para complementar as iniciativas existentes. Esta dissertação apresenta o desenvolvimento, integração e testes de um módulo de sensoriamento voluntário para o monitoramento de desflorestamento baseado no conceito de ciência cidadã. Ciência cidadã é um termo usado para designar projetos em que voluntários, individualmente ou em rede, muitos dos quais sem qualquer treinamento científico específico, executam ou gerenciam tarefas relacionadas a atividades de pesquisa, tais como observação, computação ou análise. Uma vez operacional, este sistema computacional permitirá a qualquer pessoa (moradores locais, voluntários, ONGs, governos, etc), em qualquer lugar do mundo, monitorar áreas selecionadas de florestas ao redor do globo, quase em tempo real, usando um notebook, um emph{tablet} ou um emph{smartphone} conectado à Internet. ABSTRACT: The rainforests are the habitat for most part of the known species of plant and terrestrial animals. These ecosystem are under increasing threat everywhere. Over the last decades, millions of hectares of rainforests were losts each year. Despite the proliferation of new remo te sensing techniques, the available information about forests${'}$ status are limited and sparse. The huge task to protect a fraction of the remaining forests for next generations is out of reach of traditional conservation strategies. A collective action is needed to complement the existing initiatives. This dissertation presents the development, integration and tests of a volunteer sensing moule for a deforestation monitorinq system based on citizen science concepts. Citizen science is a term used to designate projects which volunteers, individually or connected. who much of them don${'}$t have any specific scientific training, perform or manage related tasks of research activities, such as observation. computation or analysis. Once operational. this computational system will provide to anyone (local residents, volunteers, ONGs, governments, etc), in any place of the world, to monitor forests of selected areas around the globe, almost in real time, using a notebook, a table. or a smartphone connected to Internet.
Número de Páginas99
Idiomapt
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
AreaCOMP
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Tamanho42748 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2015:09.09.12.32.28 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.55.23 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2015}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Endereço de e-Mailmarcelo.pazos@inpe.br
Grupo de Usuáriosadministrator felipe.correa@gmail.com marcelo.pazos@inpe.br pubtc@inpe.br yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator felipe.correa@gmail.com marcelo.pazos@inpe.br pubtc@inpe.br yolanda.souza@mcti.gov.br
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
originais/@4primeirasPaginas.pdf 24/07/2015 10:18 93.7 KiB 
originais/Avaliação final pagina 2 do aluno Felipe Rodolfo Santos Corrêa.pdf 15/07/2015 09:26 25.6 KiB 
originais/INPE_FelipeCorrea_DissertacaoCorrigida_revFinal.pdf 13/07/2015 15:40 41.7 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 08/09/2015 10:10 593.8 KiB 
Histórico2015-04-28 13:09:51 :: luis.cpv@hotmail.com -> yolanda ::
2015-04-28 16:26:48 :: yolanda -> administrator ::
2015-05-01 12:33:10 :: administrator -> felipe.correa@gmail.com ::
2015-07-13 14:45:12 :: felipe.correa@gmail.com -> yolanda ::
2015-07-13 16:00:58 :: yolanda -> felipe.correa@gmail.com ::
2015-07-13 17:39:51 :: felipe.correa@gmail.com -> yolanda ::
2015-09-08 18:20:42 :: yolanda -> marcelo.pazos@sid.inpe.br ::
2015-09-09 12:25:28 :: marcelo.pazos@sid.inpe.br :: -> 2015
2015-09-09 13:07:22 :: marcelo.pazos@sid.inpe.br -> administrator :: 2015
2018-06-04 02:55:23 :: administrator -> :: 2015
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso23 nov. 2020
similares 
Tipo da ReferênciaThesis
Identificador8JMKD3MGP3W34P/3JG3TF8
Repositóriosid.inpe.br/mtc-m21b/2015/05.15.19.04
Metadadossid.inpe.br/mtc-m21b/2015/05.15.19.04.58
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE-17575-TDI/2349
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoGomes:2015:DiDiDe
AutorGomes, Sóstenes Pereira
TítuloDispersão discreta e decomposição lagrangeana desbalanceada para o problema de rotulação cartográfica de pontos
Ano2015
BancaVijaykumar, Nandamudi Lankalapalli (presidente)
Lorena, Luiz Antonio Nogueira (orientador)
Ribeiro, Glaydston Mattos (orientador)
Carvalho, Solon Venâncio de
Becceneri, José Carlos
Salles Neto, Luiz Leduíno de
Marins, Fernando Augusto Silva
Data2015-05-18
Título AlternativoDiscrete dispersion and unbalanced Lagrangean decomposition for point-feature cartographic labeling problem
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-Chaveproblema de rotulação cartográfica de pontos, otimização combinatória, dispersão discreta, point-feature labeling problem, combinatorial optimization, discrete dispersion.
ResumoEste trabalho aborda o Problema de Rotulação Cartográfica de Pontos (PRCP), que é um problema de otimização combinatória, demonstrado na literatura ser NP-difícil. Considera-se que quando todos os pontos devem ser rotulados e sobreposições de rótulos são inevitáveis, o mapa pode ser mais legível se os rótulos em conflito são posicionados de maneira dispersiva, isto é, se os rótulos são posicionados o mais distante possível. Neste contexto, é apresentada uma nova abordagem para o problema, denominada Dispersão Discreta, já utilizada em Problemas de Localização de Facilidades em diversos trabalhos da literatura. Com esta nova abordagem, o PRCP foi formulado como um Problema de programação inteira mista, de maneira a considerar as distâncias entre posições candidatas. Um algoritmo genético construtivo também foi desenvolvido, para obter resultados em instâncias mais complexas. Por fim, é proposta uma Decomposição Lagrangeana desbalanceada, que permitiu obter a solução ótima de diversas instâncias do PRCP, além de provar a otimalidade dos resultados já existentes de outras instâncias. ABSTRACT: This work concerns to the Point-Feature Cartographic Labeling Problem (PFCLP), which is a NP-Hard combinatorial problem. It is considered that when all points must be labeled and overlaps are inevitable, the map can be more readable if overlapping labels are placed in a dispersive way, i. e., overlapping labels are distant from each other. Thus, we present a Discrete Dispersion approach, generally used in the Facility Location Problem, which considers distance values between candidate positions. A constructive genetic algorithm to obtain results in more complex instances is likewise presented. Finally, we propose an unbalanced Lagrangean Decomposition, which achieved the optimal solution of several instances of PFCLP, and proved the optimality of various results of literature.
Número de Páginas100
Idiomapt
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
AreaCOMP
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Tamanho1544 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2015:10.28.17.05.06 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.55.23 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2015}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Endereço de e-Mailsostenes.gomes@gmail.com
Grupo de Usuáriosadministrator marcelo.pazos@inpe.br sostenes.gomes@gmail.com yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator marcelo.pazos@inpe.br sostenes.gomes@gmail.com yolanda.souza@mcti.gov.br
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
originais/@4primeirasPaginas.pdf 04/08/2015 09:07 93.3 KiB 
originais/Avaliação Final - Sóstenes Pereira Gomes.pdf 22/07/2015 09:23 427.2 KiB 
originais/Sóstenes_tese.pdf 04/08/2015 09:04 1.3 MiB
originais/Sóstenes_tese_rev3.docx 20/07/2015 10:30 4.2 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 16/10/2015 10:35 609.0 KiB 
Histórico2015-05-15 19:06:29 :: sostenes.gomes@gmail.com -> administrator ::
2015-05-16 06:25:55 :: administrator -> yolanda ::
2015-05-18 14:51:10 :: yolanda -> sostenes.gomes@gmail.com ::
2015-07-16 13:30:49 :: sostenes.gomes@gmail.com -> yolanda ::
2015-07-16 17:00:14 :: yolanda -> sostenes.gomes@gmail.com ::
2015-07-16 17:15:43 :: sostenes.gomes@gmail.com -> yolanda ::
2015-07-16 17:32:34 :: yolanda -> sostenes.gomes@gmail.com ::
2015-07-16 17:45:21 :: sostenes.gomes@gmail.com -> yolanda ::
2015-10-16 13:37:00 :: yolanda -> marcelo.pazos@sid.inpe.br ::
2015-10-28 16:42:58 :: marcelo.pazos@sid.inpe.br :: -> 2015
2015-10-28 17:10:19 :: marcelo.pazos@sid.inpe.br -> administrator :: 2015
2018-06-04 02:55:23 :: administrator -> :: 2015
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso23 nov. 2020
similares 
Tipo da ReferênciaThesis
Identificador8JMKD3MGP3W34P/3K6JNQ8
Repositóriosid.inpe.br/mtc-m21b/2015/08.31.17.43
Metadadossid.inpe.br/mtc-m21b/2015/08.31.17.43.36
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE-17606-TDI/2374
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoMakiyama:2015:CaStSD
AutorMakiyama, Vitor Hirota
TítuloText mining applied to SQL queries: a case study for SDSS SkyServer
Ano2015
BancaVijaykumar, Nandamudi Lankalapalli (presidente)
Santos, Rafael Duarte Coelho dos (orientador)
Gomes, Karine Reis Ferreira
Queiroz, Gilberto Ribeiro de
Musa, Daniela Leal
Data2015-09-21
Título AlternativoMineração de texto aplicado a consultas SQL: um estudo de caso para SDSS SkyServer
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-Chavetext mining, SQL, KDD, SDSS, mineração de texto.
ResumoSkyServer, the Internet portal for the Sloan Digital Sky Survey (SDSS) catalog, provides a set of tools that allows data access for astronomers and scientific education. One of the available interfaces allows users to enter ad-hoc SQL statements to query the catalog, and has logged over 280 million queries since 2001. To assess and investigate usage behavior, log analyses were performed after the 5$^{th}$ and 10$^{th}$ year of the portal being in production. Such analyses, however, focused on the HTTP access, and just simple information for the database usage. This work aims to apply text mining techniques over the SQL logs to define a methodology to parse, clean and tokenize statements into an intermediate numerical representation for data mining and knowledge discovery, which can provide deeper analysis over SQL usage, and also has a number of foreseen applications in database optimization and improving user experience. RESUMO: SkyServer, o portal de Internet para o catálogo emph{Sloan Digital Sky Survey} (SDSS), fornece um conjunto de ferramentas que permitem acesso a dados para astrônomos e para educação científica. Uma das interfaces disponíveis permite a inserção de instruções SQL ad-hoc para consultar o catálogo, e já recebeu mais de 280 milhões de consultas desde 2001. Para avaliar e investigar o comportamento de uso, análises de log foram realizadas após o 5$^{o}$ e 10$^{o}$ ano de vida do portal. Tais análises, no entanto, focaram no acesso HTTP, e apenas informações básicas de utlização do banco de dados. Este trabalho tem por objetivo aplicar técnicas de mineração de texto sobre os logs SQL com o intuito de definir uma metodologia para analisar, limpar e dividir em símbolos tais declarações em uma representação numérica intermediária para posterior mineração de dados e extração de conhecimento; possibilitando análises mais profundas sobre o uso de SQL, e também aplicações previstas em otimização de banco de dados e para melhora de experiência de usuário.
Número de Páginas75
Idiomaen
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
AreaCOMP
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Tamanho1056 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2016:01.27.11.18.14 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.55.38 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2015}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Endereço de e-Mailvitor.hirota@gmail.com
Grupo de Usuáriosadministrator marcelo.pazos@inpe.br vitor.hirota@gmail.com yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator marcelo.pazos@inpe.br vitor.hirota@gmail.com yolanda.souza@mcti.gov.br
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
originais/@4primeirasPaginas-2.pdf 23/11/2015 15:44 187.4 KiB 
originais/Avaliação final pagina 2 do aluno Vitor Hirota Makiyama.pdf 03/11/2015 10:31 27.0 KiB 
originais/thesis.pdf 29/10/2015 15:37 880.3 KiB 
Conteúdo da Pasta agreement
autorizacao.pdf 27/01/2016 09:18 607.6 KiB 
Histórico2015-08-31 17:45:02 :: vitor.hirota@gmail.com -> yolanda ::
2015-09-03 13:22:43 :: yolanda -> administrator ::
2015-09-09 10:08:30 :: administrator -> vitor.hirota@gmail.com ::
2015-10-23 18:05:04 :: vitor.hirota@gmail.com -> yolanda ::
2016-01-27 11:20:10 :: yolanda -> marcelo.pazos@sid.inpe.br ::
2016-02-01 17:24:07 :: marcelo.pazos@sid.inpe.br :: -> 2015
2016-02-01 17:37:53 :: marcelo.pazos@sid.inpe.br -> administrator :: 2015
2018-06-04 02:55:38 :: administrator -> :: 2015
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso23 nov. 2020
similares 
Tipo da ReferênciaThesis
Identificador8JMKD3MGP3W34P/3K6JQ3H
Repositóriosid.inpe.br/mtc-m21b/2015/08.31.17.58
Metadadossid.inpe.br/mtc-m21b/2015/08.31.17.58.38
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE-17615-TDI/2383
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSantana:2015:TrOrAs
AutorSantana, Saymon Henrique Santos
TítuloTransferências orbitais para asteroides próximos à Terra
Ano2015
BancaRosa, Reinaldo Roberto (presidente)
Macau, Elbert Einstein Nehrer (orientador)
Melo, Cristiano Fiorilo de (orientador)
Winter, Othon Cabo (orientador)
Carvalho, Solon Venâncio de
Moraes, Rodolpho Vilhena de
Vieira Neto, Ernesto
Data2015-09-21
Título AlternativoOrbital transfers to near Earth asteroids
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-ChaveNEA, orbitas G, swing-by, trajetórias de escape, orbit G, escape trajectories.
ResumoNeste trabalho, apresenta-se um estudo sobre transferências orbitais capazes de promover um encontro entre uma sonda e um asteroide próximo da Terra. Partindo de uma órbita terrestre de baixa altitude, as transferências consideradas exploram a dinâmica das órbitas periódicas retrógradas ao redor do ponto Lagrangiano de equilíbrio L1, que são preditas pelo problema circular restrito dos três corpos (PCRTC), Terra-Lua-partícula. Tais órbitas são desviadas, de maneira controlada, para realizar um emph{swing-by} com a Lua. Desta maneira, consegue-se aumentar a energia da órbita da partícula/sonda, transformando-a numa trajetória de escape do sistema Terra-Lua, com energia suficiente para alcançar asteroides proximos à Terra (conhecidos pela sigla em inglês NEA - emph{Near Earth Asteroids}). Transferências Terra-NEA paraexploração e desvio de asteroides também foram estudadas. ABSTRACT: In this work, a study for orbital transfers able to promote an encounter between a spacecraft and a Near Earth Objetc is presented. Starting from a low altitude Earth orbit, the considered transfers exploring the dynamics of the retrograde periodic orbits around the Lagrangian equilibrium point L1, which are preticted by the Circular Restricted Three-Body Problem (CRTBP), Earth-Moon-particle. Such orbits are judiciously deviated, in order to conduct a swing-by with the Moon. In this way, is possible to increase the orbital energy of the spacecraft, turning it into an escape trajectory from the Earth-Moon system, with enough energy to reach Near Earth Objects. Earth-NEA transfers to explorations and asteroid deviation also were studied.
Número de Páginas169
Idiomapt
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
AreaCOMP
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Tamanho13351 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2016:02.02.12.25.12 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.55.38 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2015}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Endereço de e-Mailsaymonhss@gmail.com
Grupo de Usuáriosadministrator marcelo.pazos@inpe.br saymonhss@gmail.com yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator marcelo.pazos@inpe.br saymonhss@gmail.com yolanda.souza@mcti.gov.br
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
originais/@4primeirasPaginas.pdf 09/11/2015 15:49 95.1 KiB 
originais/Avaliação Final pagina 2 aluno Saymon Henrique Santos Santana.pdf 09/11/2015 11:55 40.3 KiB 
originais/publicacao.pdf 03/11/2015 12:13 13.7 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 27/01/2016 14:23 595.9 KiB 
Histórico2015-09-01 21:40:04 :: saymonhss@gmail.com -> yolanda ::
2015-09-03 13:51:24 :: yolanda -> administrator ::
2015-09-09 10:08:30 :: administrator -> saymonhss@gmail.com ::
2015-10-23 15:31:01 :: saymonhss@gmail.com -> yolanda ::
2015-10-23 15:45:48 :: yolanda -> saymonhss@gmail.com ::
2015-10-26 17:40:43 :: saymonhss@gmail.com -> yolanda ::
2016-01-27 16:24:14 :: yolanda -> marcelo.pazos@sid.inpe.br ::
2016-02-02 12:03:03 :: marcelo.pazos@sid.inpe.br :: -> 2015
2016-02-02 12:27:07 :: marcelo.pazos@sid.inpe.br -> administrator :: 2015
2018-06-04 02:55:38 :: administrator -> :: 2015
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso23 nov. 2020
similares 
Tipo da ReferênciaThesis
Identificador8JMKD3MGP3W34P/3K7T2BB
Repositóriosid.inpe.br/mtc-m21b/2015/09.08.18.24
Metadadossid.inpe.br/mtc-m21b/2015/09.08.18.24.45
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE-17619-TDI/2385
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSantos:2015:MeApFo
AutorSantos, Luciana Brasil Rebelo dos
TítuloA methodology to apply formal verification to UML-based software
Ano2015
BancaCarvalho, Solon Venâncio de (presidente)
Santiago Júnior, Valdivino Alexandre de (orientador)
Vijaykumar, Nandamudi Lankalapalli (orientador)
Silveira, Fábio Fagundes
Yano, Edgar Toshiro
Data2015-10-02
Título AlternativoUma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-ChaveUML, formal verification, model checking, SOLIMVA, formal methods, verificação formal, métodos formais.
ResumoSoftware development organizations aim to add quality to the created products, especially those dealing with critical systems, which require high quality software. Formal Methods offer a large potential to provide more effective verification techniques. Besides, Formal Verification methods, such as Model Checking, are best applied in early stages of system design, when costs are low and benefits can be high, increasing the quality of systems. Unified Modeling Language (UML) is widely used for modeling (object-oriented) software, and its use is increasing in the aerospace industry. Verification and Validation of complex software developed according to UML is not trivial due to complexity of the software itself, and the several different UML models/diagrams that can be used to model behavior and structure of the software. This PhD thesis presents an extension of a methodology called SOLIMVA, initially developed to generate model-based system and acceptance test cases considering Natural Language requirements artifacts (SOLIMVA 1.0), and to detect incompleteness in software specifications by means of Model Checking (SOLIMVA 2.0). Such an extension generated SOLIMVA 3.0 which transforms up to three different UML behavioral diagrams (sequence, behavioral state machine, and activity) into a single Transition System to support Model Checking of software developed in accordance with UML. In SOLIMVA 3.0, properties are formalized based on use case models or requirements expressed in pure textual notation. The translation into the Transition System is done for the NuSMV model checker, but there is a possibility in using other model checkers, such as SPIN. A tool, XML Metadata Interchange to Transition System (XMITS), was developed to automate some steps of SOLIMVA 3.0 methodology. The approach was applied to two real case studies (embedded software) related to project under development at Instituto Nacional de Pesquisas Espaciais (INPE). Defects were detected within the design of these software systems showing the feasibility of the methodology. The main contribution of this PhD thesis is the transformation of a non-formal language (UML) to a formal language (language of the NuSMV model checker) towards a greater adoption in practice of Formal Methods in software development. RESUMO: Organizações que desenvolvem software objetivam produzir produtos de software de qualidade, especialmente aquelas que lidam com sistemas críticos, que demandam software de alta qualidade. Métodos Formais oferecem grande potencial para prover técnicas de verificação mais efetivas. Além disso, métodos de Verificação Formal, como Model Checking, são aplicados de maneira mais eficiente nos estágios iniciais do projeto de software, quando os custos ainda são baixos e os benefícios podem ser altos, aumentando a qualidade dos sistemas de software. A Linguagem de Modelagem Unificada (UML) é consideravelmente utilizada para modelar software (orientado a objetos), e seu uso tem crescido na indústria aeroespacial. Verificação e Validação de sistemas complexos desenvolvidos de acordo com UML não são tarefas triviais, devido à complexidade do software em si, e a diversos diagramas/modelos UML diferentes que podem ser usados para modelar o comportamento e a estrutura do sistema. Esta tese de doutorado apresenta uma extensão de uma metodologia chamada SOLIMVA, desenvolvida inicialmente para gerar casos de teste de sistema e de aceitação baseados em modelos, considerando requisitos em Linguagem Natural (SOLIMVA 1.0), e para detectar não completude em especificações de software utilizando Model Checking (SOLIMVA 2.0). Tal extensão gerou a SOLIMVA 3.0, a qual transforma até três diferentes diagramas comportamentais da UML (sequência, atividades e máquina de estado) em um único Sistema de Transição de Estados para possibilitar a aplicação de Model Checking em software desenvolvido de acordo com a UML. Na SOLIMVA 3.0, as propriedades são formalizadas baseando-se nos modelos de casos de uso ou em requisitos expressos em notação textual pura. A tradução para o Sistema de Transição de Estados é feita para a ferramenta de Model Checking NuSMV, mas existe a possibilidade de se utilizar outras ferramentas, como por exemplo, SPIN. Uma ferramenta, XML Metadata Interchange to Transition System (XMITS), foi desenvolvida para automatizar algumas atividades da metodologia SOLIMVA 3.0. A abordagem foi aplicada em dois estudos de caso reais (software embarcado) relacionados a um projeto em desenvolvimento no Instituto Nacional de Pesquisas Espaciais (INPE). Foram encontrados defeitos nos projetos desses sistemas de software, mostrando a viabilidade da metodologia. A principal contribuição desta tese de doutorado é a transformação de uma linguagem não formal (UML) para uma linguagem formal (linguagem de entrada da ferramenta de Model Checking NuSMV), tendo como objetivo uma maior utilização, na prática, de Métodos Formais no processo de desenvolvimento de software.
Número de Páginas196
Idiomaen
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
AreaCOMP
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Tamanho7737 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2016:02.17.17.42.53 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.55.39 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2015}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Endereço de e-Maillurebelo@gmail.com
Grupo de Usuáriosadministrator lurebelo marcelo.pazos@inpe.br yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator lurebelo marcelo.pazos@inpe.br yolanda.souza@mcti.gov.br
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
originais/@4primeirasPaginas-1.pdf 06/01/2016 10:10 187.6 KiB 
originais/Avaliação final página 2 aluna Luciana Brasil Rebelo dos Santos.pdf 04/12/2015 14:19 28.7 KiB 
originais/publicacao.pdf 02/12/2015 08:52 7.4 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 17/02/2016 15:42 598.0 KiB 
Histórico2015-09-08 18:25:10 :: lurebelo -> administrator ::
2015-09-09 10:08:30 :: administrator -> yolanda ::
2015-09-14 13:09:46 :: yolanda -> lurebelo ::
2015-11-15 23:32:51 :: lurebelo -> administrator ::
2015-11-17 13:50:31 :: administrator -> yolanda ::
2016-02-17 17:45:55 :: yolanda -> marcelo.pazos@sid.inpe.br ::
2016-02-29 17:45:31 :: marcelo.pazos@sid.inpe.br :: -> 2015
2016-02-29 18:46:56 :: marcelo.pazos@sid.inpe.br -> administrator :: 2015
2018-06-04 02:55:39 :: administrator -> :: 2015
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso23 nov. 2020
similares 
Tipo da ReferênciaThesis
Identificador8JMKD3MGP3W34P/3J5ERC5
Repositóriosid.inpe.br/mtc-m21b/2015/03.11.14.56
Metadadossid.inpe.br/mtc-m21b/2015/03.11.14.56.39
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE-17547-TDI/2327
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSilva:2015:NoMoMi
AutorSilva, Marlon da
TítuloNovo modelo de minimização de tempos de transmissão fim a fim em redes sem fio em malha
Ano2015
BancaYanasse, Horacio Hideki (presidente)
Vijaykumar, Nandamudi Lankalapalli (orientador)
Senne, Edson Luiz França (orientador)
Carvalho, Solon Venâncio de
Chaves, Antônio Augusto
Rosset, Valério
Data2015-03-30
Título AlternativoNew model for minimizing end-to-end transmission times in wireless mesh networks
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-Chaveredes sem fio em malha, otimização cross-layer, métodos heurísticos, simulação, programação matemática, wireless mesh networks, cross-layer optimization, heuristic methods, simulation, mathematical programming.
ResumoA transmissão de pacotes em redes sem fio em malha (do inglês, emph{Wireless Mesh Netwarks} - WMNs) depende de diversos fatores, como o controle de potência, a atribuição de canais, o controle de fluxo e a largura de banda, que podem ser obtidos a partir das diferentes camadas da rede. Para obter uma boa qualidade de serviço (do inglês, emph{Quality ot Service} - QoS) oferecida aos usuários, os valores atribuídos a estes fatores devem satisfazer, conjuntamente, uma métrica específica para o tipo de transmissão desejado. Neste trabalho, considera-se que a rede deve transmitir principalmente pacotes de dados multimídia (áudio e vídeo). Como este tipo de transmissão requer que os pacotes sejam entregues rapidamente aos usuários, neste trabalho considera-se a métrica WCETT (emph{Weighted Cumulative Expected Transmissian Time}). O objetivo deste trabalho é apresentar um novo modelo de otimização que minimize o WCETT total de uma WMN, o qual corresponde à soma dos tempos de transmissão esperados para todos os enlaces da rede. Trata-se de um modelo de Programação Não-Linear e para sua solução propõe-se uma heurística híbrida, que decompõe o modelo em dois subproblemas: (i) a maximização da capacidade dos enlaces da rede e (ii) a minimização do WCETT total. O primeiro subproblema é resolvido por metaheurísticas. Dadas as capacidades dos enlaces, o segundo subproblema torna-se um modelo de Programação Linear Inteira Mista, que é resolvido por um otimizador. Os resultados obtidos são validados por meio de um algoritmo de simulação específico para redes sem fio. ABSTRACT: The transmission of packets in wireless mesh networks (WMN) depends on several factors, such as power control, channel assignment, flow control and bandwidth, which can be obtained from the different layers of the network. For a good quality of service (QoS) offered to users, the values assigned to these factors must jointly satisfy, a specific metric for the desired type of transmission. This work considers that the network transmits mainly multimedia data packets (audio and video). Since this type of transmission requires that packets be delivered quickly to users, this work considers the WCETT (Weighted Cumulative Expected Transmission Time) metric. Thus, the objective of this work is to pro pose a new optimization model that minimizes the total WCETT for a WMN, which corresponds to the sum of expected transmission times for ali links of the network. This is a non-linear programming model and for its solution a hybrid heuristic model is proposed that decomposes the model into two sub-problems: (i) the maximization of the capacity of network links and (i i) the minimization of the total WCETT. The first sub-problem is solved by metaheuristics. Given the link capacities, the second sub-problem becomes a Mixed Integer Linear Programming model, which is solved by an optimizer. The results are validated by means of a simulation algorithm specific for wireless networks.
Número de Páginas118
Idiomapt
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
AreaCOMP
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Tamanho5778 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2015:08.21.12.55.15 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.55.18 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2015}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Endereço de e-Mailmarlondasilv@hotmail.com
Grupo de Usuáriosadministrator marcelo.pazos@inpe.br marlondasilv@hotmail.com yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator marcelo.pazos@inpe.br marlondasilv@hotmail.com yolanda.souza@mcti.gov.br
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
originais/@4primeirasPaginas.pdf 24/06/2015 09:48 95.9 KiB 
originais/Avaliação Final - Marlon da Silva.pdf 02/06/2015 13:34 379.7 KiB 
originais/publicacao.pdf 08/06/2015 08:31 5.9 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 21/08/2015 09:55 591.8 KiB 
Histórico2015-03-11 14:56:39 :: marlondasilv@hotmail.com -> administrator ::
2015-03-11 15:23:05 :: administrator -> marlondasilv@hotmail.com ::
2015-03-12 13:32:50 :: marlondasilv@hotmail.com -> yolanda ::
2015-03-16 13:34:59 :: yolanda -> marlondasilv@hotmail.com ::
2015-05-18 18:42:47 :: marlondasilv@hotmail.com -> administrator ::
2015-05-21 01:26:29 :: administrator -> yolanda ::
2015-06-01 14:45:13 :: yolanda -> marlondasilv@hotmail.com ::
2015-06-01 14:47:10 :: marlondasilv@hotmail.com -> yolanda ::
2015-08-21 13:08:23 :: yolanda -> marcelo.pazos@sid.inpe.br ::
2015-08-25 14:13:06 :: marcelo.pazos@sid.inpe.br -> administrator :: -> 2015
2018-06-04 02:55:18 :: administrator -> :: 2015
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso23 nov. 2020
similares 
Tipo da ReferênciaThesis
Identificador8JMKD3MGP3W34P/3JDAC42
Repositóriosid.inpe.br/mtc-m21b/2015/04.28.19.21
Metadadossid.inpe.br/mtc-m21b/2015/04.28.19.21.18
Sitemtc-m21b.sid.inpe.br
Chave SecundáriaINPE-17569-TDI/2343
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSilvaJúnior:2015:PoEfTr
AutorSilva Júnior, Manoel Baptista da
TítuloPortabilidade com eficiência de trechos da dinâmica do modelo BRAMS entre arquiteturas multi-core e many-core
Ano2015
BancaVelho, Haroldo Fraga de Campos (presidente)
Stephany, Stephan (orientador)
Carvalho, Solon Venâncio de
Fazenda, Álvaro Luiz
Panetta, Jairo
Data2015-05-29
Título AlternativoPortability with efficiency in a part of dynamics of the model BRAMS between multi-core and many-core architectures
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Palavras-Chavemodelo meteoroló,,gico, processamento paralelo, GPU, OpenMP, OpenACC, meteorological models, parallel processing.
ResumoO aumento contínuo da resolução espacial e temporal dos modelos meteorológicos demanda cada vez mais velocidade e capacidade de processamento. Executar esses modelos em tempo hábil requer o uso de supercomputadores com centenas ou milhares de nós. Atualmente estes modelos são executados em produção no CPTEC em um supercomputador com nós compostos por CPUs com dezenas de núcleos (multi-core). Gerações mais recentes de supercomputadores apresentam nós com CPUs acopladas a aceleradores de processamento, tipicamente placas gráficas (GPGPUs), compostas de centenas de núcleos (many-core). Alterar o código do modelo de forma a usar com alguma eficiência nós com ou sem placas gráficas (código portátil) é um desafio. A interface de programação OpenMP é o padrão estabelecido há décadas para explorar eficientemente as arquiteturas multi-core. Uma nova interface de programação, o OpenACC, foi recentemente proposta para explorar as arquiteturas many-core. Ambas interfaces são semelhantes, baseadas em diretivas de paralelização para execução concorrente de threads. Este trabalho demonstra que é possível escrever um único código paralelizado com as duas interfaces que apresente eficiência aceitável, de forma a poder ser executado num nó com arquitetura multi-core ou então em um nó com arquitetura many-core. O código escolhido como estudo de caso é a advecção de escalares, um trecho da dinâmica do modelo meteorológico regional BRAMS (Brazilian Regional Atmospheric Modelling System). ABSTRACT: The continuous growth of spatial and temporal resolutions in current meteorological models demands increasing processing power. The prompt execution of these models requires the use of supercomputers with hundreds or thousands of nodes. Currently, these models are executed at the operational environment of CPTEC on a supercomputer composed of nodes with CPUs with tens of cores (multi-core). Newer supercomputer generations have nodes with CPUs coupled to processing accelerators, typically graphics cards (GPGPUs), containing hundreds of cores (many-core). The rewriting of the model codes in order to use such nodes efficiently, with or without graphics cards (portable code), represents a challenge. The OpenMP programming interface proposed decades ago is a standard for decades to efficiently exploit multi-core architectures. A new programming interface, OpenACC, proposed decades ago is the many-core architectures. These two programming interfaces are similar, since they are based on parallelization directives for the concurrent execution of threads. This work shows the feasibility of writing a single code imbedding both interfaces and presenting acceptable efficiency. When executed on nodes with multi-core or many-core architecture. The code chosen as a case study is the advection of scalars, a part of the dynamics of the regional meteorological model BRAMS (Brazilian Regional Atmospheric Modeling System).
Número de Páginas90
Idiomapt
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
AreaCOMP
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Tamanho4054 KiB
Número de Arquivos1
Arquivo Alvopublicacao.pdf
Última Atualização2015:10.19.12.17.00 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.55.23 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2015}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Endereço de e-Mailmanoel.baptista@cptec.inpe.br
Grupo de Usuáriosadministrator manoel.baptista@cptec.inpe.br marcelo.pazos@inpe.br yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator manoel.baptista@cptec.inpe.br marcelo.pazos@inpe.br yolanda.souza@mcti.gov.br
Detentor da CópiaSID/SCD
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Conteúdo da Pasta source
originais/@4primeirasPaginas-3.pdf 23/07/2015 17:14 94.1 KiB 
originais/Avaliação Final - Manoel Baptista da Silva Júnior.pdf 15/07/2015 10:25 312.1 KiB 
originais/Dissertação_Manoel_v2.4.3.docx 07/07/2015 17:29 3.5 MiB
originais/Dissertação_Manoel_v2.4.3.pdf 07/07/2015 17:20 3.7 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 19/10/2015 10:17 592.0 KiB 
Histórico2015-04-28 19:35:04 :: manoel.baptista@cptec.inpe.br -> administrator ::
2015-05-01 12:33:11 :: administrator -> yolanda ::
2015-05-12 17:59:41 :: yolanda -> manoel.baptista@cptec.inpe.br ::
2015-07-06 16:29:39 :: manoel.baptista@cptec.inpe.br -> yolanda ::
2015-07-06 19:46:15 :: yolanda -> manoel.baptista@cptec.inpe.br ::
2015-07-07 01:04:39 :: manoel.baptista@cptec.inpe.br -> yolanda ::
2015-07-07 17:39:23 :: yolanda -> administrator ::
2015-10-19 11:10:09 :: administrator -> yolanda ::
2015-10-19 15:48:09 :: yolanda -> marcelo.pazos@sid.inpe.br ::
2015-10-29 18:01:57 :: marcelo.pazos@sid.inpe.br :: -> 2015
2015-10-29 18:13:04 :: marcelo.pazos@sid.inpe.br -> administrator :: 2015
2018-06-04 02:55:23 :: administrator -> :: 2015
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype creatorhistory descriptionlevel dissemination doi electronicmailaddress format group isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress resumeid rightsholder secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
Data de Acesso23 nov. 2020
similares