Resultado da Pesquisa
A expressão de busca foi <ref thesis and course CAP-COMP-SPG-INPE-MCTI-GOV-BR and date 2015>.
9 referências encontradas buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 19/04/2024 12:25.
1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3JGM3K2
Repositóriosid.inpe.br/mtc-m21b/2015/05.19.16.39
Última Atualização2015:10.15.14.42.26 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2015/05.19.16.39.02
Última Atualização dos Metadados2018:06.04.02.55.24 (UTC) administrator
Chave SecundáriaINPE-17564-TDI/2338
Chave de CitaçãoAlves:2015:PlBuLa
TítuloUma plataforma de busca de layouts iniciais para o problema de alocação de equipamentos em satélites
Título AlternativoA platform for search initial layouts for the satellite equipments allocation problem
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2015
Data2015-05-14
Data de Acesso19 abr. 2024
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas103
Número de Arquivos1
Tamanho2320 KiB
2. Contextualização
AutorAlves, Gustavo Furtado de Oliveira
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
Endereço de e-Mailgustavo.foa@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2015-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Uma plataforma de...
Conteúdo da Pasta docacessar
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 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3JGM3K2
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3JGM3K2
Idiomapt
Arquivo Alvopublicacao.pdf
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
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citando
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3K98PDP
Repositóriosid.inpe.br/mtc-m21b/2015/09.16.22.02
Última Atualização2016:03.03.19.00.31 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2015/09.16.22.02.44
Última Atualização dos Metadados2018:06.04.02.55.40 (UTC) administrator
Chave SecundáriaINPE-17626-TDI/2390
Chave de CitaçãoAnochi:2015:PrClPr
TítuloPrevisão climática de precipitação por redes neurais autoconfiguradas
Título AlternativoClimate precipitation prediction by self-configured neural networks
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2015
Data2015-11-03
Data de Acesso19 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas159
Número de Arquivos1
Tamanho44685 KiB
2. Contextualização
AutorAnochi, Juliana Aparecida
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
Endereço de e-Mailjuliana.anochi@lac.inpe.br
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2015-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Previsão climática de...
Conteúdo da Pasta docacessar
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 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3K98PDP
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3K98PDP
Idiomapt
Arquivo Alvopublicacao.pdf
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
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citando
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3JD98C5
Repositóriosid.inpe.br/mtc-m21b/2015/04.28.13.08
Última Atualização2015:09.09.12.32.28 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2015/04.28.13.08.50
Última Atualização dos Metadados2018:06.04.02.55.23 (UTC) administrator
Chave SecundáriaINPE-17567-TDI/2341
Chave de CitaçãoCorrêa:2015:MóSeVo
TítuloUm módulo de sensoriamento voluntário aplicado a um projeto de ciência cidadã
Título AlternativoA volunteer sensing module applied for a citizen science project
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2015
Data2015-05-12
Data de Acesso19 abr. 2024
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas99
Número de Arquivos1
Tamanho42748 KiB
2. Contextualização
AutorCorrêa, Felipe Rodolfo Santos
BancaDutra, Luciano Vieira (presidente)
Ramos, Fernando Manuel (orientador)
Luz, Eduardo Fávero Pacheco da (orientador)
Velho, Haroldo Fraga de Campos
Brasileiro, Francisco Vilar
Endereço de e-Mailmarcelo.pazos@inpe.br
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2015-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Um módulo de...
Conteúdo da Pasta docacessar
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 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3JD98C5
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3JD98C5
Idiomapt
Arquivo Alvopublicacao.pdf
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
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citando
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3JG3TF8
Repositóriosid.inpe.br/mtc-m21b/2015/05.15.19.04
Última Atualização2015:10.28.17.05.06 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2015/05.15.19.04.58
Última Atualização dos Metadados2018:06.04.02.55.23 (UTC) administrator
Chave SecundáriaINPE-17575-TDI/2349
Chave de CitaçãoGomes:2015:DiDiDe
TítuloDispersão discreta e decomposição lagrangeana desbalanceada para o problema de rotulação cartográfica de pontos
Título AlternativoDiscrete dispersion and unbalanced Lagrangean decomposition for point-feature cartographic labeling problem
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2015
Data2015-05-18
Data de Acesso19 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas100
Número de Arquivos1
Tamanho1544 KiB
2. Contextualização
AutorGomes, Sóstenes Pereira
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
Endereço de e-Mailsostenes.gomes@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2015-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Dispersão discreta e...
Conteúdo da Pasta docacessar
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 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3JG3TF8
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3JG3TF8
Idiomapt
Arquivo Alvopublicacao.pdf
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
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citando
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3K6JNQ8
Repositóriosid.inpe.br/mtc-m21b/2015/08.31.17.43
Última Atualização2016:01.27.11.18.14 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2015/08.31.17.43.36
Última Atualização dos Metadados2018:06.04.02.55.38 (UTC) administrator
Chave SecundáriaINPE-17606-TDI/2374
Chave de CitaçãoMakiyama:2015:CaStSD
TítuloText mining applied to SQL queries: a case study for SDSS SkyServer
Título AlternativoMineração de texto aplicado a consultas SQL: um estudo de caso para SDSS SkyServer
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2015
Data2015-09-21
Data de Acesso19 abr. 2024
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas75
Número de Arquivos1
Tamanho1056 KiB
2. Contextualização
AutorMakiyama, Vitor Hirota
BancaVijaykumar, Nandamudi Lankalapalli (presidente)
Santos, Rafael Duarte Coelho dos (orientador)
Gomes, Karine Reis Ferreira
Queiroz, Gilberto Ribeiro de
Musa, Daniela Leal
Endereço de e-Mailvitor.hirota@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2015-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Text mining applied...
Conteúdo da Pasta docacessar
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 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3K6JNQ8
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3K6JNQ8
Idiomaen
Arquivo Alvopublicacao.pdf
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
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citando
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3K6JQ3H
Repositóriosid.inpe.br/mtc-m21b/2015/08.31.17.58
Última Atualização2016:02.02.12.25.12 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2015/08.31.17.58.38
Última Atualização dos Metadados2018:06.04.02.55.38 (UTC) administrator
Chave SecundáriaINPE-17615-TDI/2383
Chave de CitaçãoSantana:2015:TrOrAs
TítuloTransferências orbitais para asteroides próximos à Terra
Título AlternativoOrbital transfers to near Earth asteroids
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2015
Data2015-09-21
Data de Acesso19 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas169
Número de Arquivos1
Tamanho13351 KiB
2. Contextualização
AutorSantana, Saymon Henrique Santos
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
Endereço de e-Mailsaymonhss@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2015-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Transferências orbitais para...
Conteúdo da Pasta docacessar
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 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3K6JQ3H
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3K6JQ3H
Idiomapt
Arquivo Alvopublicacao.pdf
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
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citando
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3K7T2BB
Repositóriosid.inpe.br/mtc-m21b/2015/09.08.18.24
Última Atualização2016:02.17.17.42.53 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2015/09.08.18.24.45
Última Atualização dos Metadados2018:06.04.02.55.39 (UTC) administrator
Chave SecundáriaINPE-17619-TDI/2385
Chave de CitaçãoSantos:2015:MeApFo
TítuloA methodology to apply formal verification to UML-based software
Título AlternativoUma metodologia para aplicar verificação formal a software desenvolvido de acordo com UML
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2015
Data2015-10-02
Data de Acesso19 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas196
Número de Arquivos1
Tamanho7737 KiB
2. Contextualização
AutorSantos, Luciana Brasil Rebelo dos
BancaCarvalho, Solon Venâncio de (presidente)
Santiago Júnior, Valdivino Alexandre de (orientador)
Vijaykumar, Nandamudi Lankalapalli (orientador)
Silveira, Fábio Fagundes
Yano, Edgar Toshiro
Endereço de e-Maillurebelo@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2015-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > A methodology to...
Conteúdo da Pasta docacessar
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 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3K7T2BB
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3K7T2BB
Idiomaen
Arquivo Alvopublicacao.pdf
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
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citando
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3J5ERC5
Repositóriosid.inpe.br/mtc-m21b/2015/03.11.14.56
Última Atualização2015:08.21.12.55.15 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2015/03.11.14.56.39
Última Atualização dos Metadados2018:06.04.02.55.18 (UTC) administrator
Chave SecundáriaINPE-17547-TDI/2327
Chave de CitaçãoSilva:2015:NoMoMi
TítuloNovo modelo de minimização de tempos de transmissão fim a fim em redes sem fio em malha
Título AlternativoNew model for minimizing end-to-end transmission times in wireless mesh networks
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2015
Data2015-03-30
Data de Acesso19 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas118
Número de Arquivos1
Tamanho5778 KiB
2. Contextualização
AutorSilva, Marlon da
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
Endereço de e-Mailmarlondasilv@hotmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2015-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Novo modelo de...
Conteúdo da Pasta docacessar
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 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3J5ERC5
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3J5ERC5
Idiomapt
Arquivo Alvopublicacao.pdf
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
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citando
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3JDAC42
Repositóriosid.inpe.br/mtc-m21b/2015/04.28.19.21
Última Atualização2015:10.19.12.17.00 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2015/04.28.19.21.18
Última Atualização dos Metadados2018:06.04.02.55.23 (UTC) administrator
Chave SecundáriaINPE-17569-TDI/2343
Chave de CitaçãoSilvaJúnior:2015:PoEfTr
TítuloPortabilidade com eficiência de trechos da dinâmica do modelo BRAMS entre arquiteturas multi-core e many-core
Título AlternativoPortability with efficiency in a part of dynamics of the model BRAMS between multi-core and many-core architectures
CursoCAP-COMP-SPG-INPE-MCTI-GOV-BR
Ano2015
Data2015-05-29
Data de Acesso19 abr. 2024
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas90
Número de Arquivos1
Tamanho4054 KiB
2. Contextualização
AutorSilva Júnior, Manoel Baptista da
BancaVelho, Haroldo Fraga de Campos (presidente)
Stephany, Stephan (orientador)
Carvalho, Solon Venâncio de
Fazenda, Álvaro Luiz
Panetta, Jairo
Endereço de e-Mailmanoel.baptista@cptec.inpe.br
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2015-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
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).
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Portabilidade com eficiência...
Conteúdo da Pasta docacessar
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 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3JDAC42
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3JDAC42
Idiomapt
Arquivo Alvopublicacao.pdf
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
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor da CópiaSID/SCD
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
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 schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype