Resultado da Pesquisa
A expressão de busca foi <ref thesis and course cap and date 2011>.
24 referências foram encontradas buscando em 17 dentre 17 Arquivos
(este total pode incluir algumas duplicatas - para ver a conta certa clique no botão Mostrar Todas).
As 10 mais recentes estão listadas abaixo.
Data e hora local de busca: 25/04/2024 02:21.

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3A7C59S
Repositóriosid.inpe.br/mtc-m19/2011/08.02.16.43   (acesso restrito)
Última Atualização2011:11.07.12.48.00 (UTC) sergio
Repositório de Metadadossid.inpe.br/mtc-m19/2011/08.02.16.43.37
Última Atualização dos Metadados2021:10.05.19.14.43 (UTC) sergio
Chave SecundáriaINPE-16890-TDI/1783
Chave de CitaçãoSoares:2011:EmCiSc
TítuloEmploying citizen science to label polygons of segmented images
Título AlternativoEmpregando ciência cidadã para rotular polígonos de imagens segmentadas
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-06-06
Data de Acesso25 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas143
Número de Arquivos1
Tamanho13943 KiB
2. Contextualização
AutorSoares, Marinalva Dias
GrupoCAP-SPG-INPE-MCT-BR
BancaRibeiro, Carlos Henrique Costa (presidente)
Omar, Nizam (vice-presidente)
Dutra, Luciano Vieira (orientador)
Vijaykumar, Nandamudi Lankalapalli (orientador)
Davis Junior, Clodoveu Augusto
Brasileiro, Francisco Vilar
Endereço de e-Mailmdiasoares@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2011-08-02 16:43:37 :: marinalva@dpi.inpe.br -> yolanda ::
2011-08-03 18:36:00 :: yolanda -> ricardo ::
2011-11-07 11:46:17 :: ricardo -> sabrina ::
2011-11-07 12:49:53 :: sabrina -> viveca@sid.inpe.br ::
2011-11-16 15:49:17 :: viveca@sid.inpe.br -> administrator :: -> 2011
2021-09-23 22:24:55 :: administrator -> sergio :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavecitizen science
polygons labeling
image segmentation
data quality
user reliability
ciência cidadã rotulação de polígonos
segmentação de imagens
qualidade de dados
confiabilidade do usuário
ResumoA interpretação de cenas em imagem pode ser considerada a associação de significado semântico aos objetos contidos na imagem. Normalmente, antes da interpretação, é preciso segmentar a imagem. A segmentação particiona uma imagem em regiões (usualmente polígonos), de modo que os elementos pertencentes a cada região sejam similares com relação a uma ou mais propriedades tais como nível de cinza, textura ou cor. No entanto, a segmentação pode criar um grande número de polígonos e esses polígonos devem ser rotulados, usualmente com alta informação semântica. A rotulação de polígonos pode ser manual ou automática. A rotulação manual precisa de um especialista humano para usar seu conhecimento e experiência. No entanto, esta tarefa é, embora não complexa, demorada, repetitiva e propensa a erros. É impraticável para um único especialista analisar e rotular polígono por polígono. A rotulação automática deve incorporar conhecimento humano para obter sucesso. Entretanto, a rotulação automática também pode levar a erros uma vez que os algoritmos não podem reproduzir fielmente o conhecimento e experiência que os humanos usam. Esta tese apresenta uma alternativa para rotulação manual de polígonos, baseada em citizen science, usando vários agentes humanos que podem ou não ter o mesmo conhecimento que o especialista para realizar a tarefa de rotulação. Citizen science envolve voluntários do público em geral que agem como participantes ou observadores para coleta, classificação ou análise de dados. Os dados dos voluntários podem ou não ser precisos; erros são esperados. Mas, coletivamente, a participação de voluntários pode gerar conhecimento e bons resultados para a pesquisa científica. O experimento conduzido com os voluntários neste trabalho foi baseado na rotulação de mais de 2400 polígonos resultantes da segmentação de uma imagem de cena urbana. Várias métricas foram derivadas das análises realizadas nos dados coletados durante o processo de rotulação. Isso possibilitou avaliar a qualidade e confiabilidade das rotulações dos voluntários. Essas métricas demonstraram que citizen science é uma abordagem viável e é uma alternativa potencial para ser considerada para rotulação de polígonos. O trabalho também mostra que esta alternativa agrega valores e complementa o conhecimento fornecido pelo especialista do domínio. Exemplos de como essas métricas podem ser empregadas pelo especialista também são apresentados. ABSTRACT: Interpretation of scenes in image can be considered as associating semantic meaning to objects in the image. Usually, before the interpretation, it is necessary to segment the image. Segmentation partitions an image into regions (usually polygons), so the elements belonging to each region are similar with respect to one or more properties such as gray level, texture or color. However, segmentation may create several polygons and these polygons must be labeled, usually with semantically high information about it. Polygon labeling can be manual or automatic. Manual labeling needs a human expert to use his/her knowledge and experience. However, this task is, though not complex, time-consuming, repetitive and error prone. It is impractical for a single expert to analyze polygon by polygon and label them. Automatic labeling must incorporate human knowledge to be successful. However, automatic labeling may also to lead to errors since algorithms cannot reproduce faithfully the knowledge and experience that humans use. This thesis presents an alternative for manual labeling of polygons, based on citizen science, using several different human agents that may not have the same expertise as the expert to perform the labeling task. Citizen Science involves volunteers from the general public that act as participants or observers for data collection, classification or analysis. The volunteers' data may or may not be accurate; errors are expected. But, collectively, the volunteers' participation can generate knowledge and good results for scientific research. The experiment conducted with the volunteers in this work was based on labeling of more than 2400 polygons resulting from the segmentation of an image of urban scene. Several metrics have been derived from analyzing the data collected during the labeling process. This enabled the evaluation of the quality and reliability of their participation. These metrics demonstrated that citizen science is a feasible approach and it is a potential alternative to be considered for labeling polygons. The work also shows that this alternative aggregates values and complements the knowledge provided by a domain's expert. Examples of how these metrics may be employed by the expert are also presented.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Employing citizen science...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais.zip 07/11/2011 10:40 108.5 MiB
publicacao.pdf 07/11/2011 10:25 13.6 MiB
Conteúdo da Pasta agreement
agreement.html 02/08/2011 13:43 1.9 KiB 
4. Condições de acesso e uso
Idiomaen
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
marinalva@dpi.inpe.br
ricardo
sabrina
viveca@sid.inpe.br
Grupo de Leitoresadministrator
sergio
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Leituradeny from all
Permissão de Atualizaçãotransferida para sergio
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format 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
7. Controle da descrição
e-Mail (login)sergio
atualizar 

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/39AQPCB
Repositóriosid.inpe.br/mtc-m19/2011/03.10.23.03
Última Atualização2020:07.17.11.45.16 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m19/2011/03.10.23.03.04
Última Atualização dos Metadados2020:07.17.11.46.10 (UTC) simone
Chave SecundáriaINPE-16860-TDI/1764
Chave de CitaçãoCampanharo:2011:DuAAn
TítuloDualidade entre a análise de séries temporais e de redes complexas
Título AlternativoDuality between time series and network analysis
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-03-29
Data de Acesso25 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas100
Número de Arquivos1
Tamanho8858 KiB
2. Contextualização
AutorCampanharo, Andriana Susana Lopes de Oliveira
GrupoCAP-SPG-INPE-MCT-BR
BancaSilva, José Demisio Simões da (presidente)
Ramos, Fernando Manuel (orientador)
Carvalho, Solon Venâncio de
Velho, Haroldo Fraga de Campos
Castro, Joaquim José Barroso de
Costa, Luciano da Fontoura
Viana, Ricardo Luiz
Endereço de e-Mailandrianacampanharo@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2011-03-10 23:05:39 :: andrianacampanharo@gmail.com -> supervisor ::
2011-03-15 15:34:38 :: supervisor -> yolanda ::
2011-03-15 15:37:30 :: yolanda -> andrianacampanharo@gmail.com ::
2011-05-27 13:53:41 :: andrianacampanharo@gmail.com -> yolanda ::
2011-06-13 14:21:05 :: yolanda -> ricardo ::
2011-06-22 13:12:10 :: ricardo -> viveca@sid.inpe.br ::
2011-07-12 18:36:06 :: viveca@sid.inpe.br -> administrator :: -> 2011
2016-09-16 17:03:25 :: administrator -> jeferson :: 2011
2016-09-16 17:04:08 :: jeferson -> administrator :: 2011
2018-06-05 04:24:23 :: administrator -> jeferson :: 2011
2020-07-17 11:44:32 :: jeferson -> simone :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavesistemas complexos
redes complexas
análise de séries temporais
complex systems
complex networks
time series analysis
ResumoRecentemente, diversos mapeamentos de séries temporais em redes complexas foram propostos com o intuito de utilizar técnicas de caracterização de redes complexas para a análise de séries temporais. Embora esses mapeamentos demonstrem que séries temporais com dinâmicas distintas resultam em redes complexas com diferentes topologias, ainda não se sabe dizer como tais propriedades topológicas estão relacionadas com as séries originais. Nesta tese, propõe-se um mapeamento de uma série temporal em uma rede complexa com uma operação inversa aproximada, tornando possível a utilização de estatísticas em redes complexas para a caracterização de séries temporais e vice-versa. Como prova deste conceito, um conjunto de séries temporais é gerado, variando de periódica à aleatória e demonstra-se que o mapeamento proposto retém a maior parte da informação embutida na série temporal (ou rede) após a aplicação do mesmo e de seu inverso. Os resultados obtidos sugerem que a análise de redes complexas pode ser utilizada na distinção de regimes dinâmicos em séries temporais e, talvez o mais importante, a análise de séries temporais pode fornecer um conjunto de ferramentas úteis para a caracterização de redes complexas de uma forma totalmente original. ABSTRACT: Recently, several mappings from a time series to a network have been proposed with the intent of using network metrics to characterize time series. Although these mappings demonstrate that different time series result in networks with distinct topological properties, it remains unclear how these topological properties relate to the original time series. Here, it was proposed an intuitive mapping from a time series to a network with an approximate inverse operation, making it possible to use network statistics to characterize time series and time series statistics to characterize networks. As a proof of concept, an ensemble of time series ranging from periodic to random were generated and confirm that the proposed mapping retains much of the information encoded in the original time series and networks after repeated application of the mapping and its inverse. The results obtained in this thesis suggest that network analysis can be used to distinguish different dynamic regimes in time series and, perhaps more importantly, time series analysis can provide a powerful set of tools that augment the traditional network analysis toolkit to quantify networks in new and useful ways.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Dualidade entre a...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais/@4primeirasPaginas.pdf 06/06/2011 13:30 479.3 KiB 
Originais/Folha de Aprovação.pdf 01/06/2011 08:02 174.3 KiB 
Originais/Tese.zip 21/06/2011 14:05 32.4 MiB
publicacao.pdf 21/06/2011 14:04 8.6 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 22/06/2011 10:12 18.4 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/39AQPCB
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/39AQPCB
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
andrianacampanharo@gmail.com
ricardo
simone
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
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-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3AGKD8B
Repositóriosid.inpe.br/mtc-m19/2011/09.28.17.12
Última Atualização2012:01.13.16.06.26 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2011/09.28.17.12.48
Última Atualização dos Metadados2020:04.28.19.11.36 (UTC) administrator
Chave SecundáriaINPE-16947-TDI/1831
Chave de CitaçãoCruz:2011:CoAuSe
TítuloComposição automatizada de serviços geográficos baseada em requisitos de qualidade de geodados
Título AlternativoAutomated composition of geospatial services based on geodata quality requirements
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-10-24
Data de Acesso25 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas125
Número de Arquivos1
Tamanho3229 KiB
2. Contextualização
AutorCruz, Sérgio Aparecido Braga da
GrupoCAP-SPG-INPE-MCT-BR
BancaVijaykumar, Nandamudi Lankalapalli (presidente)
Oliveira, João Ricardo de Freitas (vice-presidente)
Monteiro, Antonio Miguel Vieira (orientador)
Davis Junior, Clodoveu Augusto
Fook, Karla Donato
Endereço de e-Mailsergio@cnptia.embrapa.br
UniversidadeInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2011-10-03 13:53:13 :: sergio@cnptia.embrapa.br -> yolanda ::
2011-10-03 13:54:23 :: yolanda -> sergio@cnptia.embrapa.br ::
2012-01-03 12:43:08 :: sergio@cnptia.embrapa.br -> sabrina ::
2012-01-16 10:10:15 :: sabrina -> viveca@sid.inpe.br ::
2012-01-18 13:50:06 :: viveca@sid.inpe.br -> administrator :: -> 2011
2020-04-28 19:11:36 :: administrator -> simone :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavecomposição de serviços geográficos
arquitetura orientada a serviços (SOA)
serviços web
planejamento em IA
geographic services composition
service oriented architeture (SOA)
web services
al planning
ResumoA Arquitetura Orientada a Serviços representa um novo paradigma para desenvolvimento de aplicações em geoprocessamento, possibilitando o compartilhamento de recursos computacionais entre instituições em um ambiente de computação distribuído. A implementação dessas aplicações pode ser realizada através da composição de serviços, procedimento de agregação de funcionalidades implementadas por serviços componentes disponíveis nesse ambiente. Muitas propostas para automação da construção de composições de serviços têm sido propostas na literatura visando a utilização otimizada destes serviços componentes. Uma linha destas propostas modela o problema de automação da construção de composições como um problema de planejamento em IA. No contexto de geoprocessamento, no entanto, as soluções propostas utilizando esta linha resultam em composições de serviços que, em certas condições, podem gerar resultados de baixa qualidade. Um dos fatores que identificamos como causador desta baixa qualidade esta relacionado com a falha no atendimento das condições mínimas de uso de um geodado por um serviço. Estas condições determinam requisitos de qualidade de geodados e descrevem características que devem ser atendidas pelos geodados para que eles possam ser utilizados adequadamente por uma atividade de geoprocessamento. A ocorrência destas não conformidades com os requisitos de qualidade é imprevisível, e depende das características individuais de cada uma das instâncias de dados trocadas dentro de uma composição de serviços. A complexidade e natureza dos geodados evidenciam os efeitos destas não conformidades e têm um impacto importante nos resultados de atividades de geoprocessamento. Nossa hipótese é que a anotação semântica de geodados baseada em regras de requisitos de qualidade, associada a técnica de planejamento condicional modelam de maneira mais precisa imprevisibilidade existente no ambiente de execução da composição de serviços geográficos. Neste trabalho propomos como requisitos de qualidade de dados podem ser incorporados a mecanismos para automação da construção de composições baseados em métodos de planejamento em IA, de modo a minimizar a perda de qualidade de dados nos resultados gerados pelas composições de serviços. ABSTRACT: The Service-Oriented Architecture represents a new paradigm for development of GIS applications, allowing to share computational resources between institutions in a distributed computing environment. The implementation of these applications can be accomplished through the building of service compositions, a procedure for aggregate functionalities implemented by service components available in this environment. Many proposals for automated building of service compositions have been proposed in the literature aimed the optimized use of these services components. A line of these proposals models the problem of automated building of compositions as a planning problem in AI. However, in the GIS context, the compositions built using these proposals, in certain conditions, can produce low quality results. One reason that we identify as the cause of this low quality is related to the lack in meeting the minimum requirements for use of a geodata for a service. These quality requirements describe geodata characteristics that must be met by the geodata allowing it to be used adequately by a GIS functionality. The occurrence of nonconformances with the quality requirements are unpredictable and it depends of quality conditions of each geodata instance exchanged within a service composition. The geodata complexity and nature highlight the consequences of these nonconformances and have a major impact on the results of GIS activities. Our hypothesis is the semantic annotation of geodata based on quality requirement rules, associated with the conditional planning method models more precisely this unpredictability in the execution of the service compositions. In this work we propose how to incorporate the data quality requirements into mechanisms for automated building of compositions based on planning method in AI, to minimize the loss of data quality in the results produced by service compositions.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Composição automatizada de...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Latex.zip 13/01/2012 14:01 27.9 MiB
Originais/4primeirasPaginas.tex 04/01/2012 13:42 4.5 KiB 
Originais/@4primeirasPaginas.pdf 04/01/2012 13:44 779.0 KiB 
Originais/sergio aparecido braga da cruz.pdf 22/12/2011 16:18 176.0 KiB 
Originais/TeseRevisadaSergioCruz20111221.pdf 21/12/2011 16:06 2.7 MiB
publicacao.pdf 13/01/2012 14:00 3.2 MiB
Conteúdo da Pasta agreement
agreement.html 28/09/2011 14:12 1.9 KiB 
autorizacao.pdf 13/01/2012 14:06 21.1 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3AGKD8B
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3AGKD8B
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
sabrina
sergio@cnptia.embrapa.br
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citandosid.inpe.br/bibdigital/2013/10.12.22.16 3
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3ALQEN5
Repositóriosid.inpe.br/mtc-m19/2011/10.24.11.20
Última Atualização2012:01.13.12.17.35 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2011/10.24.11.20.05
Última Atualização dos Metadados2020:04.28.19.10.54 (UTC) administrator
Chave SecundáriaINPE-16944-TDI/1828
Chave de CitaçãoPaes:2011:NeEsFl
TítuloNeuro estimador para o fluxo de gases entre a superfície terrestre e a atmosfera
Título AlternativoA neuro estimator for the flux of gases between the surface land and the atmosphere
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-11-21
Data de Acesso25 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas151
Número de Arquivos1
Tamanho11645 KiB
2. Contextualização
AutorPaes, Fabiana Ferreira
GrupoCAP-SPG-INPE-MCT-BR
BancaChalhoub, Ezzat Selim (presidente)
Freitas, Saulo Ribeiro de (vice-presidente)
Velho, Haroldo Fraga de Campos (orientador)
Ramos, Fernando Manuel (orientador)
Carvalho, João Carlos
Muniz, Wagner Barbosa
Endereço de e-Mailfabiana.paes@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2011-10-24 11:22:24 :: fabiana.paes -> yolanda ::
2011-11-01 13:56:11 :: yolanda -> fabiana.paes ::
2011-11-27 21:21:40 :: fabiana.paes -> yolanda ::
2011-12-14 16:32:36 :: yolanda -> fabiana.paes ::
2011-12-16 16:21:26 :: fabiana.paes -> yolanda ::
2012-01-06 17:01:06 :: yolanda -> sabrina ::
2012-01-13 12:17:56 :: sabrina -> viveca@sid.inpe.br ::
2012-01-19 12:28:55 :: viveca@sid.inpe.br -> administrator :: -> 2011
2020-04-28 19:10:54 :: administrator -> simone :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveredes neurais artificiais
estimação de fontes e sumidouros de gases
problema inverso
artificial neural networks
estimation of sources and sinks of gases
inverse problem
ResumoEstudos apontam que o aquecimento global do planeta pode ser irreversível a médio ou longo prazo, sendo que uma das principais causas é a poluição atmosférica. Contudo, este quadro pode ser revertido ou atenuado com a estimação da quantidade de emissão de poluentes, uma vez que, o mapeamento das fontes poluidoras poderá facilitar o trabalho das autoridades públicas em relação à fiscalização ambiental e à elaboração de políticas públicas relacionadas ao meio ambiente. Assim, este trabalho desenvolve um modelo, baseado na metodologia de problemas inversos, cujo primeiro modelo direto é a técnica fonte-receptor Lagrangiano (código LAMBDA) e o segundo é o código SCIATRAN, que simula as radiâncias medidas do sensor SCIAMACHY, a bordo do satélite ENVISAT. Em seguida, utiliza-se o acoplamento de redes neurais para estimar a concentração do gás carbônico entre o solo e a atmosfera em diversos cenários. Encontrar uma rede adequada para este tipo de problema, os melhores parâmetros e a melhor função de ativação, é essencial para se confirmar a eficácia da técnica utilizada neste trabalho, a fim de obter a estimação de fontes e sumidouros. A rede neural Perceptron de Múltiplas Camadas, com o algoritmo de Retropropagação do Erro, foi utilizada para resolver o problema relativo à estimação da taxa de fontes de poluição. Assim, este trabalho apresenta diversos experimentos construídos com dados meteorológicos obtidos do Experimento de Copenhagen e do modelo BRAMS. Os dados meteorológicos como: temperatura, velocidade e direção do vento, são utilizados nas simulações do código LAMBDA para dispersão de poluentes na região de interesse e data escolhida. Os dados meteorológicos do Experimento de Copenhagen foram utilizados nos experimentos que simulam as fontes (ou sumidouros) de CO$_{2}$, com dados de concentrações ``in situ'' e de sensoriamento remoto. Para os experimentos com dados de sensoriamento remoto, que tratam as regiões de pastagem e floresta em Rondônia, os parâmetros de entrada requeridos pelo código LAMBDA foram obtidos a partir do modelo BRAMS. A metodologia desenvolvida nesta tese, para estimação de fontes e/ou sumidouros de poluentes, realiza o acoplamento de duas redes neurais artificiais, em que, a primeira tem como entrada, radiâncias geradas com o modelo SCIATRAN e gera como saída, os perfis de concentração do gás, que são utilizados pela segunda rede neural para estimar as fontes (ou sumidouros) do gás carbônico na superfície. Os experimentos apresentaram resultados satisfatórios, evidenciando que a rede neural artificial pode ser considerada uma técnica adequada na estimação de poluentes. ABSTRACT: Studies show that global warming may be irreversible in the medium or long term, and is a major cause of air pollution. However, this framework can be reversed or mitigated by estimating the amount of emissions, since the mapping of pollution sources could facilitate the work of public authorities in relation to environmental monitoring and the development of public policies related to the environment. Thus, this work develops a model, based on the methodology of inverse problems, whose first model is the direct source-receptor Lagrangian technique (LAMBDA code) and the second is the SCIATRAN code, which simulates the radiance measurements of SCIAMACHY sensor, aboard the satellite ENVISAT . It then uses the coupling of neural networks to estimate the concentration of carbon dioxide between the soil and the atmosphere in various scenarios. Finding a suitable network for this type of problem, the best parameters and the best activation function, is essential to confirm the effectiveness of the technique used in this work to obtain the estimation of sources and sinks. The neural network Multilayer Perceptron with the backpropagation algorithm was used to solve the problem concerning the estimation of the rate of pollution sources. Thus, this paper presents several experiments made with meteorological data obtained from the Copenhagen Experiment and model BRAMS. The meteorological data such as: temperature, wind speed and direction, are used in the LAMBDA code simulation for dispersion of pollutants in the region of interest and the chosen date. The meteorological data of the Copenhagen Experiment were used in experiments that simulate the sources (or sinks) of CO$_{2}$, with concentrations of data ``in situ'' and from remote sensing. For the experiments with remote sensing data, which deal with the regions of forest and pasture in Rondônia, the input parameters required by code LAMBDA were obtained from the model BRAMS. The methodology developed in this thesis, to estimate the sources and/or sinks of pollutants, makes the coupling of two artificial neural networks, in which the first has as input the radiances generated with the model SCIATRAN and generates as output the gas concentration profiles, which are used for the second neural network to estimate the sources (or sinks) of carbon dioxide on the surface. The experiments showed satisfactory results, showing that the artificial neural network can be considered an appropriate technique for estimating pollutants.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Neuro estimador para...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
fabiana/abnt-alf.bst 30/03/2011 18:48 61.1 KiB 
fabiana/abnt-alfenglish.bst 24/03/2011 15:39 61.6 KiB 
fabiana/abnt-num.bst 24/03/2011 15:39 61.1 KiB 
fabiana/abnt-options.bib 24/03/2011 15:39 5.3 KiB 
fabiana/abntcite.sty 24/03/2011 15:39 40.5 KiB 
fabiana/abntex-abrev-pt_BR.def 24/03/2011 15:39 2.0 KiB 
fabiana/abntex-abrev.sty 24/03/2011 15:39 2.3 KiB 
fabiana/amsthdoc.pdf 24/03/2011 15:39 63.1 KiB 
fabiana/bib/referencia.bib 16/12/2011 10:02 35.4 KiB 
fabiana/bib/referencia_varios_exs.bib 05/06/2011 17:56 41.3 KiB 
fabiana/bibinpe.bst 24/03/2011 15:39 29.4 KiB 
fabiana/configuracao.tex 24/11/2011 15:43 4.6 KiB 
fabiana/criapublicacaozip 24/03/2011 15:39 0.1 KiB 
fabiana/docs/abreviaturasesiglas.aux 16/12/2011 13:52 0.8 KiB 
fabiana/docs/abreviaturasesiglas.tex 21/10/2011 15:22 2.0 KiB 
fabiana/docs/abstract.aux 16/12/2011 13:52 1.4 KiB 
fabiana/docs/abstract.tex 13/12/2011 08:46 3.0 KiB 
fabiana/docs/agradecimentos.aux 16/12/2011 13:52 0.8 KiB 
fabiana/docs/agradecimentos.tex 13/12/2011 08:47 1.4 KiB 
fabiana/docs/analise_e_resultados_corr7.aux 11/05/2011 22:20 16.3 KiB 
fabiana/docs/analise_e_resultados_corr7.log 24/03/2011 15:39 739.1 KiB 
fabiana/docs/analise_e_resultados_corr7.pdf 24/03/2011 15:39 1.8 KiB 
fabiana/docs/analise_e_resultados_corr7.tex 24/05/2011 22:20 34.5 KiB 
fabiana/docs/anexo.aux 07/09/2011 18:08 1.8 KiB 
fabiana/docs/anexo.tex 02/07/2011 19:02 1.0 KiB 
fabiana/docs/anexoA.aux 16/12/2011 13:52 2.1 KiB 
fabiana/docs/anexoA.tex 07/10/2011 14:35 1.2 KiB 
fabiana/docs/apendice2.aux 24/03/2011 15:39 3.7 KiB 
fabiana/docs/capitulo1.aux 16/12/2011 13:52 9.7 KiB 
fabiana/docs/capitulo1.tex 16/12/2011 09:00 29.1 KiB 
fabiana/docs/capitulo2.aux 16/12/2011 13:52 7.2 KiB 
fabiana/docs/capitulo2.tex 15/12/2011 21:00 18.2 KiB 
fabiana/docs/capitulo3.aux 16/12/2011 13:52 8.1 KiB 
fabiana/docs/capitulo3.tex 16/12/2011 09:13 18.9 KiB 
fabiana/docs/capitulo3A.aux 16/12/2011 13:52 8.8 KiB 
fabiana/docs/capitulo3A.tex 15/12/2011 20:54 28.8 KiB 
fabiana/docs/capitulo4.aux 16/12/2011 13:52 46.6 KiB 
fabiana/docs/capitulo4.tex 16/12/2011 10:06 73.4 KiB 
fabiana/docs/capitulo5.aux 16/12/2011 13:52 2.1 KiB 
fabiana/docs/capitulo5.tex 15/12/2011 13:26 9.5 KiB 
fabiana/docs/contracapa.aux 13/06/2011 17:39 0.7 KiB 
fabiana/docs/contracapa.tex 24/03/2011 15:39 2.2 KiB 
fabiana/docs/dedicatoria.aux 16/12/2011 13:52 0.7 KiB 
fabiana/docs/dedicatoria.tex 19/09/2011 15:46 0.7 KiB 
fabiana/docs/epigrafe.aux 16/12/2011 13:52 0.7 KiB 
fabiana/docs/epigrafe.tex 19/09/2011 15:51 0.5 KiB 
fabiana/docs/introducao.aux 16/12/2011 13:52 5.0 KiB 
fabiana/docs/introducao.tex 15/12/2011 20:56 9.7 KiB 
fabiana/docs/resumo.aux 16/12/2011 13:52 0.7 KiB 
fabiana/docs/resumo.tex 02/12/2011 10:40 2.8 KiB 
fabiana/docs/simbolos.aux 16/12/2011 13:52 0.7 KiB 
fabiana/docs/simbolos.tex 08/10/2011 23:04 4.3 KiB 
fabiana/eso-pic.sty 24/03/2011 15:39 9.3 KiB 
fabiana/execpub.sh 24/03/2011 15:39 1.9 KiB 
fabiana/exemploreferencias.txt 24/03/2011 15:39 31.1 KiB 
fabiana/figuras/06Z09JUL2010.png 14/10/2011 22:37 19.5 KiB 
fabiana/figuras/06Z09JUL2010_60km.png 17/10/2011 07:21 7.2 KiB 
fabiana/figuras/06Z10JAN2008.png 14/10/2011 22:10 16.1 KiB 
fabiana/figuras/06Z10JAN2008_60km.png 17/10/2011 07:29 8.6 KiB 
fabiana/figuras/06Z10JAN2010.png 14/10/2011 22:30 21.0 KiB 
fabiana/figuras/06Z10JAN2010_60km.png 17/10/2011 07:27 7.4 KiB 
fabiana/figuras/06Z10JUL2008.png 14/10/2011 22:18 21.1 KiB 
fabiana/figuras/06Z10JUL2008_60km.png 17/10/2011 07:23 8.9 KiB 
fabiana/figuras/12Z09JUL2010.png 14/10/2011 22:37 20.2 KiB 
fabiana/figuras/12Z09JUL2010_60km.png 17/10/2011 07:21 9.8 KiB 
fabiana/figuras/12Z10JAN2008.png 14/10/2011 22:10 17.4 KiB 
fabiana/figuras/12Z10JAN2008_60km.png 17/10/2011 07:29 8.9 KiB 
fabiana/figuras/12Z10JAN2010.png 14/10/2011 22:30 21.4 KiB 
fabiana/figuras/12Z10JAN2010_60km.png 17/10/2011 07:27 10.7 KiB 
fabiana/figuras/12Z10JUL2008.png 14/10/2011 22:18 21.5 KiB 
fabiana/figuras/12Z10JUL2008_60km.png 17/10/2011 07:23 9.1 KiB 
fabiana/figuras/12Z19APR1999.png 14/10/2011 23:00 15.9 KiB 
fabiana/figuras/12Z19APR1999_60km.png 17/10/2011 07:53 7.4 KiB 
fabiana/figuras/12Z19APR1999_180km.png 17/10/2011 07:51 8.4 KiB 
fabiana/figuras/area_plana1.png 15/09/2011 15:57 306.7 KiB 
fabiana/figuras/artigo.png 13/06/2011 17:27 96.5 KiB 
fabiana/figuras/brams1.png 08/09/2011 17:09 243.8 KiB 
fabiana/figuras/Captura.png 13/06/2011 17:31 107.3 KiB 
fabiana/figuras/cop.png 12/09/2011 10:29 98.8 KiB 
fabiana/figuras/copenhagen.png 07/09/2011 21:25 13.6 KiB 
fabiana/figuras/esquema.png 06/06/2011 10:05 35.2 KiB 
fabiana/figuras/esquema_refinado.png 21/10/2011 10:12 192.1 KiB 
fabiana/figuras/esquema_simples.png 21/10/2011 10:15 86.2 KiB 
fabiana/figuras/esquema_validacao.png 21/10/2011 10:16 133.2 KiB 
fabiana/figuras/exato1.png 24/11/2011 09:32 35.5 KiB 
fabiana/figuras/figura1.png 19/05/2011 21:10 108.6 KiB 
fabiana/figuras/figura2.png 19/05/2011 21:11 81.0 KiB 
fabiana/figuras/figura3.png 19/05/2011 21:11 59.1 KiB 
fabiana/figuras/figura4.png 19/05/2011 21:13 57.7 KiB 
fabiana/figuras/figura5.png 19/05/2011 21:14 13.5 KiB 
fabiana/figuras/figura6.png 19/05/2011 21:15 22.8 KiB 
fabiana/figuras/figura7.png 19/05/2011 21:15 18.9 KiB 
fabiana/figuras/figura8.png 19/05/2011 21:16 133.7 KiB 
fabiana/figuras/figura9.png 19/05/2011 21:16 17.8 KiB 
fabiana/figuras/figura10.png 19/05/2011 21:17 21.4 KiB 
fabiana/figuras/figura11.png 19/05/2011 21:18 153.8 KiB 
fabiana/figuras/figura12.png 19/05/2011 21:19 104.6 KiB 
fabiana/figuras/figura13.png 19/05/2011 21:20 190.8 KiB 
fabiana/figuras/figura14.png 19/05/2011 21:21 32.7 KiB 
fabiana/figuras/figura15.png 19/05/2011 21:21 75.1 KiB 
fabiana/figuras/figura16.png 03/06/2011 22:34 79.0 KiB 
fabiana/figuras/figura17.png 03/06/2011 22:34 76.7 KiB 
fabiana/figuras/figura18.png 03/06/2011 22:34 77.5 KiB 
fabiana/figuras/figura19.png 03/06/2011 22:35 76.7 KiB 
fabiana/figuras/figura20.png 19/05/2011 21:22 50.8 KiB 
fabiana/figuras/figura21.png 19/05/2011 21:22 51.0 KiB 
fabiana/figuras/figura22.png 19/05/2011 21:23 19.2 KiB 
fabiana/figuras/figura23.png 19/05/2011 21:23 19.3 KiB 
fabiana/figuras/figura24.png 19/05/2011 21:24 169.2 KiB 
fabiana/figuras/figura25.png 24/06/2011 22:25 188.9 KiB 
fabiana/figuras/figura26.png 24/06/2011 22:26 177.2 KiB 
fabiana/figuras/figura27.png 29/09/2011 17:36 6.4 KiB 
fabiana/figuras/figura28.png 29/09/2011 17:37 6.4 KiB 
fabiana/figuras/figura29.png 29/09/2011 17:37 6.4 KiB 
fabiana/figuras/figura30.png 29/09/2011 17:38 6.2 KiB 
fabiana/figuras/figura31.png 29/09/2011 17:38 6.2 KiB 
fabiana/figuras/figura32.png 29/09/2011 17:39 6.2 KiB 
fabiana/figuras/figura33.png 29/09/2011 17:40 6.4 KiB 
fabiana/figuras/figura34.png 29/09/2011 17:40 6.2 KiB 
fabiana/figuras/figura35.png 29/09/2011 17:41 6.4 KiB 
fabiana/figuras/figura36.png 29/09/2011 17:41 6.0 KiB 
fabiana/figuras/figura37.png 29/09/2011 17:42 6.0 KiB 
fabiana/figuras/figura38.png 29/09/2011 17:42 6.0 KiB 
fabiana/figuras/figura39.png 29/09/2011 17:43 471.8 KiB 
fabiana/figuras/figura40.png 29/09/2011 17:43 481.3 KiB 
fabiana/figuras/figura41.png 29/09/2011 17:44 482.9 KiB 
fabiana/figuras/figura42.png 29/09/2011 17:44 468.0 KiB 
fabiana/figuras/figura43.png 29/09/2011 17:45 480.1 KiB 
fabiana/figuras/figura44.png 29/09/2011 17:47 478.4 KiB 
fabiana/figuras/figura45.png 29/09/2011 17:47 8.9 KiB 
fabiana/figuras/figura46.png 29/09/2011 17:48 9.2 KiB 
fabiana/figuras/figura47.png 29/09/2011 17:48 9.0 KiB 
fabiana/figuras/figura48.png 29/09/2011 17:50 9.0 KiB 
fabiana/figuras/figura49.png 29/09/2011 17:50 9.0 KiB 
fabiana/figuras/figura50.png 29/09/2011 17:51 8.9 KiB 
fabiana/figuras/figura51.png 29/09/2011 17:51 8.8 KiB 
fabiana/figuras/figura52.png 29/09/2011 17:52 8.7 KiB 
fabiana/figuras/figuraemiss.png 30/08/2011 14:53 22.4 KiB 
fabiana/figuras/figuraparameter.png 30/08/2011 14:49 88.1 KiB 
fabiana/figuras/figuraparameter1.png 28/08/2011 12:58 17.0 KiB 
fabiana/figuras/figuraparameter2.png 28/08/2011 12:59 13.0 KiB 
fabiana/figuras/figurapartic1.png 28/08/2011 12:59 302.7 KiB 
fabiana/figuras/figurapartic2.png 09/10/2011 15:13 325.2 KiB 
fabiana/figuras/figurapso.png 28/08/2011 12:29 17.7 KiB 
fabiana/figuras/figurapso.png.odg 28/08/2011 12:14 28.6 KiB 
fabiana/figuras/fluxo_maior.png 21/10/2011 16:32 22.4 KiB 
fabiana/figuras/fluxo_menor.png 21/10/2011 16:33 13.3 KiB 
fabiana/figuras/fonte-certo.png 24/10/2011 08:30 25.4 KiB 
fabiana/figuras/fonte-exato.jpg 29/09/2011 17:53 156.2 KiB 
fabiana/figuras/fonte52.png 26/11/2011 08:49 118.5 KiB 
fabiana/figuras/fonte102.png 26/11/2011 08:50 106.3 KiB 
fabiana/figuras/grade.png 29/09/2011 17:53 18.2 KiB 
fabiana/figuras/grade60x60.png 19/10/2011 10:12 11.5 KiB 
fabiana/figuras/grade180x180.png 19/10/2011 10:16 21.4 KiB 
fabiana/figuras/gradefj.png 07/05/2011 10:57 218.2 KiB 
fabiana/figuras/imagens_juntas.png 19/09/2011 21:54 920.8 KiB 
fabiana/figuras/ipdoo.png 12/05/2011 20:59 73.7 KiB 
fabiana/figuras/livro.png 07/09/2011 18:14 73.7 KiB 
fabiana/figuras/mapafp.png 08/09/2011 12:03 211.4 KiB 
fabiana/figuras/menorresolucao.png 07/05/2011 10:45 137.6 KiB 
fabiana/figuras/novos_ventos/06Z09JUL2010.png 14/10/2011 22:37 19.5 KiB 
fabiana/figuras/novos_ventos/06Z10JAN2008.png 14/10/2011 22:10 16.1 KiB 
fabiana/figuras/novos_ventos/06Z10JAN2010.png 14/10/2011 22:30 21.0 KiB 
fabiana/figuras/novos_ventos/06Z10JUL2008.png 14/10/2011 22:18 21.1 KiB 
fabiana/figuras/novos_ventos/12Z09JUL2010.png 14/10/2011 22:37 20.2 KiB 
fabiana/figuras/novos_ventos/12Z10JAN2008.png 14/10/2011 22:10 17.4 KiB 
fabiana/figuras/novos_ventos/12Z10JAN2010.png 14/10/2011 22:30 21.4 KiB 
fabiana/figuras/novos_ventos/12Z10JUL2008.png 14/10/2011 22:18 21.5 KiB 
fabiana/figuras/novos_ventos/12Z19APR1999.png 14/10/2011 23:00 15.9 KiB 
fabiana/figuras/parametertotal.png 19/10/2011 09:38 32.0 KiB 
fabiana/figuras/posicao.png 18/09/2011 12:17 7.5 KiB 
fabiana/figuras/recortada.png 05/06/2011 21:56 1.6 MiB
fabiana/figuras/sumi52.png 26/11/2011 08:49 101.0 KiB 
fabiana/figuras/sumi102.png 26/11/2011 08:48 114.7 KiB 
fabiana/figuras/sumidouro-certo.png 24/10/2011 08:28 23.5 KiB 
fabiana/figuras/sumidouro_exato.jpg 29/09/2011 17:54 149.6 KiB 
fabiana/figuras/tabela5.png 06/06/2011 12:43 42.8 KiB 
fabiana/figuras/tabela10.png 06/06/2011 12:44 43.2 KiB 
fabiana/figuras/texput.log 12/09/2011 09:29 0.7 KiB 
fabiana/figuras/tri_imagem.png 05/06/2011 21:54 108.3 KiB 
fabiana/figuras/tridimensional.png 05/06/2011 21:54 150.5 KiB 
fabiana/figuras/velhos_ventos/02Z09JUL2010.png 17/09/2011 17:54 32.7 KiB 
fabiana/figuras/velhos_ventos/02Z10JAN2008.png 17/09/2011 17:53 26.4 KiB 
fabiana/figuras/velhos_ventos/02Z10JAN2010.png 17/09/2011 17:54 33.1 KiB 
fabiana/figuras/velhos_ventos/02Z10JUL2008.png 17/09/2011 17:55 31.3 KiB 
fabiana/figuras/velhos_ventos/02Z19APR1999.png 17/09/2011 22:51 30.7 KiB 
fabiana/figuras/velhos_ventos/12Z19APR1999.png 17/09/2011 23:24 30.4 KiB 
fabiana/figuras/velhos_ventos/15Z09JUL2010.png 17/09/2011 23:30 38.5 KiB 
fabiana/figuras/velhos_ventos/15Z10JAN2008.png 17/09/2011 23:22 27.4 KiB 
fabiana/figuras/velhos_ventos/15Z10JAN2010.png 17/09/2011 23:21 33.9 KiB 
fabiana/figuras/velhos_ventos/15Z10JUL2008.png 17/09/2011 23:31 42.9 KiB 
fabiana/latin2tex.sh 24/03/2011 15:39 1.7 KiB 
fabiana/leiame 24/03/2011 15:39 1.1 KiB 
fabiana/livreto4.sh 24/03/2011 15:39 1.0 KiB 
fabiana/logoinpe.pdf 24/03/2011 15:39 9.2 KiB 
fabiana/logoverno.pdf 24/03/2011 15:39 420.4 KiB 
fabiana/longtable.pdf 24/03/2011 15:39 87.3 KiB 
fabiana/nbr10520-2002.def 24/03/2011 15:39 0.7 KiB 
fabiana/nbr10522-1988.def 24/03/2011 15:39 2.0 KiB 
fabiana/pdftohtmlB 24/03/2011 15:39 4.5 KiB 
fabiana/pedaco-publicacaoaux.tex 18/05/2011 23:19 3.4 KiB 
fabiana/publicacao.aux 16/12/2011 13:52 15.7 KiB 
fabiana/publicacao.bbl 16/12/2011 13:52 27.4 KiB 
fabiana/publicacao.bib 02/12/2011 11:05 21.7 KiB 
fabiana/publicacao.blg 16/12/2011 13:52 2.2 KiB 
fabiana/publicacao.brf 16/12/2011 13:52 13.8 KiB 
fabiana/publicacao.idx 16/12/2011 13:52 0 B     
fabiana/publicacao.ilg 20/04/2011 13:08 0.4 KiB 
fabiana/publicacao.ind 20/04/2011 13:08 0 B     
fabiana/publicacao.lof 16/12/2011 13:52 15.3 KiB 
fabiana/publicacao.log 16/12/2011 13:52 134.2 KiB 
fabiana/publicacao.lot 16/12/2011 13:52 6.3 KiB 
fabiana/publicacao.out 16/12/2011 13:52 4.8 KiB 
fabiana/publicacao.pdf 16/12/2011 13:52 10.9 MiB
fabiana/Publicacao.tcp 20/04/2011 12:31 0.2 KiB 
fabiana/publicacao.tex 03/10/2011 17:10 4.5 KiB 
fabiana/publicacao.toc 16/12/2011 13:52 5.2 KiB 
fabiana/Publicacao.tps 20/04/2011 12:31 3.1 KiB 
fabiana/symbols-a4.pdf 24/03/2011 15:39 4.4 MiB
fabiana/tdiinpe.cls 24/03/2011 15:39 56.0 KiB 
fabiana/tex2latin.sh 24/03/2011 15:39 1.8 KiB 
fabiana/Thumbs.db 24/03/2011 15:39 25.0 KiB 
Originais/4primeirasPaginas.tex 05/01/2012 09:26 4.4 KiB 
Originais/@4primeirasPaginas.pdf 05/01/2012 09:25 778.7 KiB 
Originais/fabiana ferreira paes.pdf 19/12/2011 11:43 177.3 KiB 
publicacao.pdf 13/01/2012 10:01 11.4 MiB
Conteúdo da Pasta agreement
agreement.html 24/10/2011 09:20 1.9 KiB 
autorizacao.pdf 13/01/2012 10:17 20.4 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3ALQEN5
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3ALQEN5
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
fabiana.paes
sabrina
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaTese ou Dissertação (Thesis)
Sitemtc-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/39EBJ7S
Repositóriosid.inpe.br/mtc-m19/2011/04.01.13.25
Última Atualização2011:08.31.16.50.23 (UTC) banon
Repositório de Metadadossid.inpe.br/mtc-m19/2011/04.01.13.25.23
Última Atualização dos Metadados2019:03.22.18.27.58 (UTC) administrator
Chave SecundáriaINPE-16891-TDI/1784
Chave de CitaçãoGoltz:2011:ReNeAr
TítuloRedes neurais artificiais em imagens para estimação da posição de um VANT
Título AlternativoArtificial neural networks on images for UAV position estimation
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-05-06
Data de Acesso25 abr. 2024
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas116
Número de Arquivos1
Tamanho17352 KiB
2. Contextualização
AutorGoltz, Gustavo Augusto Mascarenhas
GrupoCAP-SPG-INPE-MCT-BR
BancaSandri, Sandra Aparecida (presidente)
Velho, Haroldo Fraga de Campos (orientador)
Shiguemori, Elcio Hideiti (orientador)
Fonseca, Leila Maria Garcia
Dutra, Luciano Vieira
Braga, Antonio de Pádua
Endereço de e-Mailgustavo_goltz@yahoo.com.br
UniversidadeInstituto Nacional de Pesquisas Espaciais (INPE)
CidadeSão José dos Campos
Histórico (UTC)2011-04-01 13:52:48 :: gustavo_goltz@yahoo.com.br -> yolanda ::
2011-04-06 17:46:44 :: yolanda -> gustavo_goltz@yahoo.com.br ::
2011-07-03 19:10:48 :: gustavo_goltz@yahoo.com.br -> yolanda ::
2011-07-04 16:17:05 :: yolanda -> gustavo_goltz@yahoo.com.br ::
2011-07-04 17:42:39 :: gustavo_goltz@yahoo.com.br -> yolanda ::
2011-07-05 19:31:57 :: yolanda -> gustavo_goltz@yahoo.com.br ::
2011-07-05 19:38:24 :: gustavo_goltz@yahoo.com.br -> yolanda ::
2011-07-07 13:56:03 :: yolanda -> gustavo_goltz@yahoo.com.br ::
2011-07-07 14:59:19 :: gustavo_goltz@yahoo.com.br -> yolanda ::
2011-07-08 12:06:37 :: yolanda -> gustavo_goltz@yahoo.com.br ::
2011-07-11 14:12:29 :: gustavo_goltz@yahoo.com.br -> yolanda ::
2011-07-15 17:42:11 :: yolanda -> ricardo ::
2011-08-31 16:58:34 :: ricardo -> viveca@sid.inpe.br ::
2011-09-09 17:32:58 :: viveca@sid.inpe.br -> administrator :: -> 2011
2019-03-22 18:12:28 :: administrator -> banon :: 2011
2019-03-22 18:14:37 :: banon -> administrator :: 2011
2019-03-22 18:27:58 :: administrator -> :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveredes neurais artificiais
reconhecimento de padrões em imagens
navegação aérea autônoma
processamento de imagens
artificial neural networks
pattern recognition on images
autonomous air navigation
image processing
ResumoA aplicação de Veículos Aéreos Não Tripulados (VANTs) intensificou-se nos últimos tempos devido ao baixo custo operacional e de fabricação comparados às aeronaves convencionais, ausência de tripulação (aplicações em tarefas tediosas, cansativas ou que envolvem risco à tripulação), maior autonomia, entre outros fatores. A navegação aérea por imagens, capturadas em tempo real da região sobrevoada pelo VANT, é uma alternativa para a navegação autônoma destas aeronaves. As Redes Neurais Artificiais (RNAs) são ferramentas usadas com sucesso em diversas aplicações que envolvem processamento de imagens devido ao seu baixo custo computacional, tolerância a falhas e robustez ao ruído. A navegação aérea autônoma por imagens é uma aplicação com potencial para o emprego de RNAs por necessitar de processamento rápido, embarcado e tolerante a falhas. Neste contexto foram usadas três RNAs com treinamento supervisionado e de diferentes arquiteturas (rede com funções de base radial, rede perceptron de múltiplas camadas e rede neural celular) aplicadas na extração de bordas em imagens aéreas e de satélite, para posterior cálculo da correlação no domínio espacial entre as bordas dessas imagens, a fim de simular a estimação da posição geográfica de um VANT. A informação de borda neste caso é interessante por ser invariável ao tipo de sensor de imageamento (satélite e imagens aéreas). Para a aplicação, as redes neurais foram comparadas com os operadores Sobel e Canny. ABSTRACT: The application of Unmanned Aerial Vehicles (UAVs) has intensified in recent years due to low operating cost and manufacturing compared to conventional aircraft, no crew (applications on tedious tasks, tiring, or that involve risk to the crew), more autonomy, among other factors. The navigation based on images, captured in real time of the area overflown by the UAV, is an alternative for autonomous navigation of such aircraft. Artificial Neural Networks (ANNs) are powerful tools used in various applications involving image processing due to its low computational cost, fault tolerance and robustness to noise. The autonomous navigation of images is an application for employment potential of ANNs because need fast processing, embedded code, and fault tolerance. In this context, three ANNs were approached with supervised training and different architectures (neural network radial basis function, multilayer perceptron and cellular neural network) applied in edge detection on aerial and satellite images, for later calculation of the correlation in spatial domain between these images to simulate the estimation of the geographical position of a vehicle autonomous unmanned air. For the application, these ANNs were compared with the Sobel operator and Canny algorithm.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Redes neurais artificiais...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais/@4primeirasPaginas.pdf 14/07/2011 13:28 480.6 KiB 
Originais/dissertacao Gustavo Goltz.zip 31/08/2011 13:28 38.6 MiB
Originais/Folha de Aprovação.pdf 31/08/2011 13:23 15.6 KiB 
publicacao.pdf 31/08/2011 13:23 16.9 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 31/08/2011 13:50 17.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/39EBJ7S
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/39EBJ7S
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
gustavo_goltz@yahoo.com.br
ricardo
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission 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-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3AQEUUP
Repositóriosid.inpe.br/mtc-m19/2011/11.15.22.02
Última Atualização2012:03.15.21.01.15 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2011/11.15.22.02.52
Última Atualização dos Metadados2018:06.05.04.25.00 (UTC) administrator
Chave SecundáriaINPE-16959-TDI/1840
Chave de CitaçãoVeronese:2011:NoCoRe
TítuloGrade numérica generalizada: um novo conceito para representação e visualização analítica de sistemas de séries temporais
Título AlternativoGeneralized numerical lattice: a new concept for analytical visualization and representation of time series systems
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-11-24
Data de Acesso25 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas118
Número de Arquivos1
Tamanho10452 KiB
2. Contextualização
AutorVeronese, Thalita Biazzuz
GrupoCAP-SPG-INPE-MCT-BR
BancaVijaykumar, Nandamudi Lankalapalli (presidente)
Rosa, Reinaldo Roberto (orientador)
Carvalho, Solon Venâncio de
Martinez, Alexandre Souto
Assireu, Arcilan Trevenzoli
Endereço de e-Mailthalitabv@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2011-11-16 00:35:30 :: thalitabv@gmail.com -> yolanda ::
2011-11-29 11:46:04 :: yolanda -> thalitabv@gmail.com ::
2012-01-23 16:19:50 :: thalitabv@gmail.com -> yolanda ::
2012-02-02 12:03:59 :: yolanda -> sabrina ::
2012-02-07 12:16:00 :: sabrina -> viveca@sid.inpe.br ::
2012-03-15 21:05:06 :: viveca@sid.inpe.br -> administrator :: -> 2011
2018-06-05 04:25:00 :: administrator -> :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveanálise de séries temporais
analítica visual
grade numérica generalizada
representação de dados espaçotemporais
ResumoA Analítica Visual (\textit{Visual Analytics}) é uma abordagem essencialmente computacional- incorporando aspectos multidisciplinares - dedicada à análise visual de um sistema de informação devidamente formatado para a inspeção e interpretação de dados por um especialista humano. Este trabalho está direcionado para o tratamento completo, incluindo a representação visual, de um sistema massivo de séries temporais. Este tratamento considera sua organização generalizada, a aplicação de ferramentas de análise e, por último, sua representação de forma que a visualização analítica possa ser utilizada pelo cientista na interpretação integrada dos dados para tomadas de decisão. Neste trabalho, é introduzido o conceito de grade numérica generalizada (GNG), que generaliza toda série temporal \textit{N}-dimensional a partir de três tipos de parâmetros: (i) grau variacional; (ii) coeficientes de extensão; e (iii) medidas analíticas. Demonstramos neste trabalho que qualquer conjunto de medidas nos domínios do tempo e do espaço pode ser reduzido a uma GNG. A funcionalidade, praticidade e robustez de uma representação de dados baseada no conceito de GNG são investigadas a partir de exemplos de aplicações em física espacial e ambiental. A pesquisa em analítica visual desenvolvida neste projeto de doutorado em Computação Aplicada envolveu a investigação de métodos de geração de séries temporais \textit{N}-dimensionais não lineares para construção de uma base canônica de dados, com o objetivo de testar a complexidade do modelo proposto. O método para análise de flutuações foi adotado como método analítico padrão para séries temporais, e o modelo de representação de GNGs foi desenvolvido em C++, XML e Java. Considerando o novo conceito proposto para grade numéricas generalizadas, como resultados principais desta pesquisa podemos destacar: proposta e apresentação de um novo modelo para representação e visualização analítica de séries temporais; e investigação de um gerador de dados canônicos para teste do modelo no contexto da sua aplicação para o monitoramento do clima espacial. ABSTRACT: Visual Analytics is an essentially computational approach - incorporating multidisciplinary aspects - dedicated to the visual analysis of an information system to properly formatted to data inspection and interpretation by a human expert. This work is directed to the full treatment, including the visual representation, of a massive time series system. This treatment considers its generalized organization, the application of analysis tools and, finally, its representation so that the analytical visualization can be used by scientists in the integrated interpretation for decision making. In this paper, we introduce the concept of generalized numerical lattice (GNL), which generalizes every \textit{N}-dimensional time series from three types of parameters: (i) variational degree; (ii) extension coefficients; and (iii) analytical measurements. We have shown in this work that any set of measures in time and space domains can be reduced to a GNL. Functionality, practicity and robustness of a data representation based on GNL concept are investigated through examples of applications in space and environmental physics. The visual analytics research developed in this doctoral program in Applied Computing involved the investigation of methods for generating nonlinear \textit{N}-dimensional time series to construct a canonical data base, in order to test the proposed model complexity. The uctuation analysis method was adopted as a standard analytical method for time series, and the GNLs representation model was developed using C++, Java and XML. Given the new concept for generalized numerical lattices, as major results of this research we can highlight: the proposal and presentation of a new model for representing and visualizing analytical time series, and the investigation of a canonical data generator for testing the model in the context of its application in space weather monitoring.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Grade numérica generalizada:...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais/4primeirasPaginas.tex 31/01/2012 08:51 4.4 KiB 
Originais/@4primeirasPaginas.pdf 31/01/2012 08:50 779.1 KiB 
Originais/folha de aprova‡Æo.pdf 31/01/2012 08:57 326.5 KiB 
Originais/publicacao 15-03-2012.pdf 15/03/2012 16:23 9.3 MiB
Originais/Veronese.zip 15/03/2012 16:22 11.8 MiB
publicacao.pdf 15/03/2012 16:29 10.2 MiB
Conteúdo da Pasta agreement
agreement.html 15/11/2011 20:02 1.9 KiB 
autorizacao.pdf 06/02/2012 14:05 18.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3AQEUUP
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3AQEUUP
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
sabrina
thalitabv@gmail.com
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission 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-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/3AP764B
Repositóriosid.inpe.br/mtc-m19/2011/11.07.23.30
Última Atualização2012:02.16.11.33.34 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2011/11.07.23.30.24
Última Atualização dos Metadados2018:06.05.04.24.58 (UTC) administrator
Chave SecundáriaINPE-16957-TDI/1838
Chave de CitaçãoSantiagoJúnior:2011:MeGeMo
TítuloSOLIMVA: A methodology for generating model-based test cases from natural language requirements and detecting incompleteness in software specifications
Título AlternativoSOLIMVA: Uma metodologia para geração de casos de testes baseados em modelos a partir de requisitos em linguagem natural e detecção de não completude em especificações de software
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-12-12
Data de Acesso25 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas264
Número de Arquivos1
Tamanho3531 KiB
2. Contextualização
AutorSantiago Júnior, Valdivino Alexandre de
GrupoCAP-SPG-INPE-MCT-BR
BancaSenne, Edson Luiz França (presidente)
Vijaykumar, Nandamudi Lankalapalli (orientador)
Yano, Edgar Toshiro
Melo, Ana Cristiano Vieira de
Alves, Miriam Celia Bergue
Endereço de e-Mailvaldivino@das.inpe.br
UniversidadeInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2011-11-07 23:30:24 :: valdivino@das.inpe.br -> yolanda ::
2011-11-30 13:03:12 :: yolanda -> valdivino@das.inpe.br ::
2012-01-20 17:30:09 :: valdivino@das.inpe.br -> yolanda ::
2012-01-31 17:33:12 :: yolanda -> sabrina ::
2012-02-16 11:37:11 :: sabrina -> viveca@sid.inpe.br ::
2012-02-16 11:56:37 :: viveca@sid.inpe.br -> sabrina ::
2012-02-16 12:04:54 :: sabrina -> viveca@sid.inpe.br ::
2012-02-22 16:12:49 :: viveca@sid.inpe.br -> administrator :: -> 2011
2018-06-05 04:24:58 :: administrator -> :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavetestes baseados em modelos
requisitos em liguagem natural
desambiguidade do sentido de palavras
não completude
verificação de modelos
padrões de especificação
model-based testing
natural language requirements
combinatorial designs
part of speech tagging
word sense disambiguation
statecharts
incompleteness
model checking
specification patterns
ResumoEm maior ou menor extensão, a Linguagem Natural (LN) é ainda amplamente usada para elaborar especificações de requisitos de software ou outros artefatos criados para a documentação de requisitos. Entretanto, fornecimentos elaborados em LN apresentam ambiguidade, inconsistência e não completude. Esta tese de doutorado apresenta uma metodologia, SOLIMVA, a qual alcança dois objetivos. O objetivo primário é a geração de casos de teste de sistema e aceitação baseados em modelos a partir de artefatos de requisitos elaborados em LN. Para esse propósito, uma ferramenta, também denominada SOLIMVA, foi projetada e implementada, e tal ferramenta traduz automaticamente requisitos elaborados em LN em modelos Statecharts. Uma vez gerados os Statecharts, outra ferramenta, GTSC, é usada para gerar Casos de Teste Abstratos os quais depois são transformados em Casos de Teste Executáveis. Entre outras características, um método para Desambiguidade de Sentido de Palavras, o qual ajuda no processo de tradução, foi implementado na ferramenta SOLIMVA, e designs combinatoriais são usados para identificar cenários para testes de sistema e aceitação baseados em modelos. A metodologia SOLIMVA foi aplicada a um estudo de caso principal, um produto de software da área espacial relacionado ao Segmento Espacial, e a metodologia foi comparada com uma abordagem manual desenvolvida anteriormente por um especialista sob dois aspectos: cobertura de objetivos de teste e características dos Casos de Teste Executáveis. Em ambos os aspectos, a metodologia SOLIMVA mostrou benefícios tais como uma melhor estratégia com os objetivos de teste claramente separados de acordo com as diretivas dos designs combinatoriais, e a geração de Casos de Teste Executáveis que previram comportamentos que não existiam na abordagem do especialista. Além disso, diretivas para aplicar a metodologia SOLIMVA a um segundo estudo de caso do domínio espacial, relacionado ao Segmento Solo, são também apresentadas. As principais vantagens em aplicar a metodologia SOLIMVA no contexto de um processo de Verificação e Validação são a facilidade de uso e o suporte de um método formal, fazendo com que a metodologia seja potencialmente adequada para ser usada em projetos de software complexos. O objetivo secundário é a detecção de não completude em especificações de software. A SOLIMVA foi então estendida para alcançar esse objetivo secundário. Model Checking combinado com arranjos simples de valores de variáveis e padrões de especificação foram usados para alcançar essa meta. A metodologia SOLIMVA demonstrou a sua eficiência pelo fato de detectar 21 defeitos de não completude, ao ser aplicada ao mesmo estudo de caso principal mencionado anteriormente. ABSTRACT: In greater or lesser extent, Natural Language (NL) is still widely used to develop software requirements speci_cations or other artifacts created for documenting requirements. However, NL deliverables su_er from ambiguity, inconsistency, and incompleteness. This PhD thesis presents a methodology, SOLIMVA, which achieves two objectives. The primary objective is to generate model-based system and acceptance test cases considering NL requirements deliverables. For this purpose, a tool, also called SOLIMVA, was designed and implemented and such a tool makes it possible to automatically translate NL requirements into Statechart models. Once the Statecharts are created, another tool, GTSC, is used to generate Abstract Test Cases which are later translated into Executable Test Cases. Among other features, a Word Sense Disambiguation method which helps in the translation process was implemented in the SOLIMVA tool, and combinatorial designs are used to identify scenarios for model-based system and acceptance testing. The SOLIMVA methodology was applied to a main case study, a space application software product related to the Space Segment, and the methodology was compared with a previous manual approach developed by an expert under two aspects: coverage of test objectives and characteristics of Executable Test Cases. In both aspects, the SOLIMVA methodology presented bene_ts such as a better strategy with test objectives clearly separated according to the directives of combinatorial designs, and the generation of Executable Test Cases which predicted behaviors that did not exist in the expert's approach. In addition, guidelines to apply the SOLIMVA methodology to a second case study of the space domain related to the Ground Segment are also presented. The key advantages from applying the SOLIMVA methodology in the context of a Veri_cation and Validation process are the ease of use and the support of a formal method, making it potentially suitable for use in complex software projects. The secondary objective is the detection of incompleteness in software specifications. The SOLIMVA methodology was then extended to achieve this secondary objective. Model Checking combined with kpermutations of n values of variables and specification patterns were used to address this goal. The SOLIMVA methodology has proved its efficiency by the detection of 21 incompleteness defects when applied to the same main case study mentioned earlier.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > SOLIMVA: A methodology...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais/4primeirasPaginas.tex 15/02/2012 12:41 4.5 KiB 
Originais/@4primeirasPaginas.pdf 15/02/2012 12:41 779.5 KiB 
Originais/publicacao.pdf 20/01/2012 14:55 3.0 MiB
Originais/valdivino edmundo alberto e walid maia pinto.pdf 31/01/2012 14:34 489.8 KiB 
publicacao.pdf 16/02/2012 08:26 3.4 MiB
Conteúdo da Pasta agreement
agreement.html 07/11/2011 21:30 1.9 KiB 
autorizacao.pdf 16/02/2012 09:33 21.3 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/3AP764B
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/3AP764B
Idiomaen
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
sabrina
valdivino@das.inpe.br
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission 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-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/39TLGF8
Repositóriosid.inpe.br/mtc-m19/2011/06.22.13.22
Última Atualização2011:10.07.12.25.28 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2011/06.22.13.22.46
Última Atualização dos Metadados2018:06.05.04.24.28 (UTC) administrator
Chave SecundáriaINPE-16918-TDI/1808
Chave de CitaçãoBonelli:2011:MeCoAp
TítuloMetodologia computacional aplicada a prototipação de um modelo para estimativa de cultivo de soja em áreas desflorestadas
Título AlternativoComputational methodology applied to prototyping a model for estimation of soy plantation in deforested areas.
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-07-28
Data de Acesso25 abr. 2024
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas90
Número de Arquivos1
Tamanho2763 KiB
2. Contextualização
AutorBonelli, Eduardo Lessa
GrupoCAP-SPG-INPE-MCT-BR
BancaBecceneri, José Carlos (presidente)
Guimarães, Lamartine Nogueira Frutuoso (orientador)
Ferreira, Mauricio Gonçalves Vieira
Fonseca, Leila Marcia
Yano, Edgar Toshiro
Endereço de e-Maildubonelli@hotmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2011-06-22 13:22:46 :: dubonelli -> yolanda ::
2011-07-01 12:39:27 :: yolanda -> dubonelli ::
2011-09-23 12:59:13 :: dubonelli -> yolanda ::
2011-10-04 14:55:43 :: yolanda -> ricardo ::
2011-10-06 14:56:36 :: ricardo -> sabrina ::
2011-10-07 12:58:12 :: sabrina -> viveca@sid.inpe.br ::
2011-10-13 17:52:04 :: viveca@sid.inpe.br -> administrator :: -> 2011
2018-06-05 04:24:28 :: administrator -> :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveprototipação
metodologia computacional
estatística de agricultura
índice de vegetação
sensoriamento remoto
engenharia de software
prototyping
computational methodology
agricultural statistic
vegetation indexes
remote sensing
software engineering
ResumoA detecção de desflorestamento é de fundamental importância para ações conjuntas de caráter preventivo dos órgãos governamentais no que tange a política de controle e prevenção do desflorestamento na Amazônia. Em 24 de julho de 2006, a Associação Brasileira da Indústria de Óleos Vegetais (ABIOVE) e a Associação Brasileira dos Exportadores de Cereais (ANEC) se comprometeram a não comercializar nenhuma soja, oriunda de áreas que fossem desflorestadas, após esta data, dentro do Bioma Amazônia. Esta iniciativa ficou conhecida como "Moratória da Soja". O objetivo geral deste trabalho é propor uma metodologia computacional, capaz de identificar e avaliar com maior precisão o cultivo de soja em áreas desflorestadas levando em consideração o tempo de processamento dos dados. Neste trabalho serão apresentados, os subsídios necessários ao entendimento do critério de avaliação que será utilizado para identificar a presença de cultivo de soja sob influência das séries espaço-temporal do índice de vegetação efetiva (Enhanced Vegetation Índex- EVI) do sensor MODIS. Ainda serão discutidas, as regras de inferências desenvolvidas, visando estimar com maior precisão a existência de soja em áreas desflorestadas, seguindo os critérios estabelecidos pela moratória da soja, como também, serão apresentadas todas as etapas para o desenvolvimento da aplicação. O desempenho da metodologia computacional desenvolvida está baseada em duas abordagens distintas: (1) transações, (2) comparações utilizando conceitos de cursores. Ambas visando identificar a data de início da ocorrência de desmatamento e propor uma estimativa rápida e eficiente para a presença de cultivo de soja em áreas desflorestadas. A área da pesquisa compreende 36 municípios localizados em três Estados (Mato Grosso, Pará e Rondônia). Para a construção das séries espaço-temporal foram utilizados os produtos de reflectância e superfície terrestre do sensor MODIS. A caracterização das séries temporal foi baseada na transformada wavelets visando eliminar o máximo de ruídos na composição das imagens de 8 dias. Para a identificação de presença de cultivo de soja foi utilizado o índice \textit {Crop Enhanced Index} (CEI) e na etapa de validação das metodologias desenvolvidas, imagens MODIS e campanhas de campo, foram utilizadas como verdade terrestre. Neste trabalho foram utilizados 5\% dos dados para a realização das primeiras análises. Através destas análises foi possível identificar o limiar para estimar a data de início do desflorestamento pontualmente. Estes valores foram então replicados ao restante dos dados, obtendo 92,16\% de aprovação frente às análises realizadas com imagens MODIS. Em contrapartida, com base nas análises realizadas entre as metodologias desenvolvidas foi possível identificar a viabilidade da metodologia baseada em transações no processo de identificação de cultivo de soja em áreas desflorestadas cujo tempo de processamento dos dados foi de 4 horas e 38 minutos. ABSTRACT: The detection of deforestation is fundamental for governmental agencies to take preventive actions regarding Control and Prevention Policies in the Amazon Biome. On July 24$^{th}$. 2006, Brazilian Association of Vegetable Oil Industry (ABIOVE) and Brazilian Association of Cereal Exporters (ANEC) and their respective partners have agreed not to deal with any soy from areas which had been deforested after this date within the Amazon Biome. This unprecedented initiative, which became known as ´´Soybean Moratory``, aims to reach a balance between preserving the environment and economically developing the region through responsible and sustainable use of Brazilian natural resources. Owing to this, the general aim of this research is to propose a computational methodology, able to accurately identify soy plantation in deforested areas taking into account the time needed for processing this large amount of data. Firstly, the subsidies needed to understand the evaluation criteria that will be used to identify the presence of soy plantation under the influence of the Enhanced Vegetation Index (EVI) of MODIS sensor will be presented. Secondly, inference rules were developed, aiming at accurate estimates of soy plantation in deforested areas. They will be discussed in the light of the criteria established by the "Soybean Moratory" previously referred. All steps taken for the development of this application will also be presented. To consolidate the performance of the computational methodology, an analysis of the process was carried out in two different approaches. The first one was based on transactions and the second one was referenced by comparisons using concepts of cursors. In this context, both methodologies are aimed at identifying the date when deforesting started and proposing a quick and efficient estimate for the presence of soy plantation in deforested areas. The observed area comprises 36 municipalities in three different Brazilian States (Mato Grosso, Pará and Rondônia). The reflectance and the land surface from the MODIS sensor were used for the time series construction and the wavelets transform were used to eliminate as much noise as possible in the 8-day images used in this work \textit{Crop Enhanced Index} (CEI), proposed by Rizzi (2009), will be used to identify the presence of soy plantation while MODIS images and field work will be used to validate the developed methodologies. Five percent of data were used in the process of formulating the preliminary results of this research. Through these first analyses, an estimate of the accurate date for the beginning of deforestation was made. These numbers were then applied to the remaining data, with 92.16\% agreement with the analysis performed earlier with MODIS. On the other hand, based on the analysis performed between the developed methodologies, it was identified that the feasibility transaction-based methodology in the process of identification of soybean crop in deforestation areas performed better, with the processing time of 4 hours and 38 minutes.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Metodologia computacional aplicada...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais/4primeirasPaginas-19.tex 28/09/2011 14:54 4.5 KiB 
Originais/@4primeirasPaginas.pdf 28/09/2011 14:54 779.7 KiB 
Originais/Disserta‡Æo_final_completa.doc 22/09/2011 15:19 6.7 MiB
Originais/Disserta‡Æo_final_completa.pdf 22/09/2011 14:57 1.9 MiB
Originais/eduardo lessa bonelli.pdf 06/10/2011 13:36 147.6 KiB 
publicacao.pdf 06/10/2011 13:29 2.7 MiB
Conteúdo da Pasta agreement
agreement.html 22/06/2011 10:22 1.9 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/39TLGF8
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/39TLGF8
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
dubonelli
ricardo
sabrina
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission 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-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/39RNQ52
Repositóriosid.inpe.br/mtc-m19/2011/06.10.18.36
Última Atualização2011:10.10.13.46.01 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2011/06.10.18.36.22
Última Atualização dos Metadados2018:06.05.04.24.28 (UTC) administrator
Chave SecundáriaINPE-16879-TDI/1774
Chave de CitaçãoVasconcellos:2011:ÁrDeAp
TítuloÁrvores de decisão aplicadas ao problema da separação estrela/galáxia
Título AlternativoDecision trees applied as star/galaxy separator
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-04-15
Data de Acesso25 abr. 2024
Tipo da TeseDissertação (Mestrado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas98
Número de Arquivos1
Tamanho2582 KiB
2. Contextualização
AutorVasconcellos, Eduardo Charles
GrupoCAP-SPG-INPE-MCT-BR
BancaYanasse, Horacio Hideki (presidente)
Velho, Haroldo Fraga de Campos (orientador)
Carvalho, Reinaldo Ramos de (orientador)
Rosa, Reinaldo Roberto
Capelato, Hugo Vicente
Moreira, João Luiz Kohl
Endereço de e-Mailcharles.edu@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2011-06-20 11:59:00 :: charles.edu@gmail.com -> yolanda ::
2011-08-25 19:42:07 :: yolanda -> ricardo ::
2011-10-07 16:50:09 :: ricardo -> sabrina ::
2011-10-10 13:46:25 :: sabrina -> viveca@sid.inpe.br ::
2011-10-14 13:29:04 :: viveca@sid.inpe.br -> administrator :: -> 2011
2018-06-05 04:24:28 :: administrator -> :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavemineração de dados
árvores de decisão
SDSS data
catálogo estrela-galáxia
data mining
decision trees
SDSS date
star-galaxy catalog
ResumoNeste trabalho estudamos a eficiência de 13 algoritmos distintos para construção de árvores de decisão quando aplicados a tarefa de separar estrelas de galáxias. Esta separação é procedida com base nos dados fotométricos da sétima disponibilização de dados do ``Sloan Digital Sky Survey `` (SDSS-DR7). Cada um dos algoritmos testados está contido no software WEKA e é definido por um conjunto de parâmetros que, quando variados, podem modificar a árvore de decisão gerada. Nós exploramos extensivamente o espaço de parâmetros de cada algoritmo usando um conjunto de treinamento composto por 880.715 objetos do SDSS-DR7 que possuem espectroscopia disponível. Buscamos a configuração otimizada que permitiria a construção de uma árvore capaz de separar estrelas e galáxias com a maior precisão possível. A eficiência da separação estrelai galáxia é medida usando a função de completeza (fração de galáxias classificadas corretamente). Nossos resultados mostraram que o algoritmo FT (\textit {Functional Trees}) obteve os melhores resultados, com base na função de completeza, para dois intervalos de magnitude: 14 $\leq$ {\it r} $\leq$ 21 (85.2\%) e {\it r} $\geq$ 19 (82.1\%). Comparamos o desempenho da árvore gerada pelo FT com sua melhor configuração com separações obtidas pelo método paramétrico do SDSS, pelo 2DPHOT e por Ball et al. (2006). Essa comparação mostrou que nossa árvore gerada com o FT tem, para magnitudes no intervalo 14 $\leq$ {\it r} < 19, um desempenho similar aos demais métodos em termos de completeza, mas com uma contaminação (fração de estrelas classificadas como galáxias) muito inferior a todas menos a obtida por Ball et al, (2006). Para magnitudes fracas ({\it r} $\geq$ 19), nossa árvore é o único separador que obtém uma alta completeza (>80\%) e uma baixa contaminação (\~{} 2.5\%). Executamos também um experimento utilizando uma máquina de comitê composta por árvores de decisão treinadas com todos os 13 algoritmos do WEKA. Este experimento resultou em uma queda na função de completeza de \~{}5\% para magnitudes maiores que {\it 19.5} $^{m}$ quando comparada à completeza obtida pelo FT. Por outro lado, a amostra de galáxias gerada pelo comitê apresenta uma contaminação aproximadamente 6\% menor que a gerada pelo FT. Por fim examinamos o separador paramétrico do SDSS (psfMag - modelMag) com intuito de verificar se a linha divisória que separa os objetos poderia ser mais precisa. Identificamos que muitos pares de estrelas próximas estão sendo classificados erroneamente como galáxias, e sugerimos um novo valor de corte para melhorar a precisão do separador do SDSS. Por fim, aplicamos nossa árvore de decisão gerada com o FT para separar estrelas de galáxias em todo o conjunto de 69.545.326 objetos da amostra fotométrica do SDSS-DR7 com magnitudes no intervalo 14 $\leq$ {\it r} $\leq$ 21. ABSTRACT: We study the star / galaxy classification efficiency of 13 different decision tree algorithms applied to photometric objects in the Sloan Digital Sky Survey Data Release Seven (SDSS DR7). Each algorithm is defined by a set of parameters which, when varied, produce different final classification trees. We extensively explore the parameter space of each algorithm, using the set of 884, 126 SDSS objects with spectroscopic data as the training set. The efficiency of star-galaxy separation is measured using the completeness function. We find that the Functional Tree algorithm (FT) yields the best results as measured by the mean completeness in two magnitude intervals: 14 $\leq${\it r}$\leq$21 (85.2\%) and {\it r}$\geq$ 19 (82.1\%). We compare the performance of the tree generated with the optimal FT configuration to the classifications provided by the SDSS parametric classifier, 2DPHOT and Ball et alo (2006). We find that our FT classifier is comparable or better in completeness over the full magnitude range 15$\leq${\it r}$\leq$21, with much lower contamination than all but the Ball et alo (2006) classifier. At the faintest magnitudes ({\it r } > 19), our classifier is the only one that maintains high completeness (> 80\%) while simultaneously achieving low contamination (\~{} 2.5\%). We carried out an experiment with a decision tree committee machine designed with trees trained with all thirteen WEKA algorithms. The result was: for magnitudes greater then 20.5$^m$, in both a completeness \~{} 5\% and a contamination \~{}6\% lower than our pure FT tree. Finally we examine the SDSS parametric classifier (psfMag - modelMag) to see if the dividing line between stars and galaxies can be adjusted to improve the classifier. We find that currently, stars in close pairs are often misclassified as galaxies, and suggest a new cut to improve the classifier. Finally, we apply our FT classifier to separate stars from galaxies in the full set of 69,545,326 SDSS photometric objects in the magnitude range 14$\leq$ {\it r}$\leq$21.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Árvores de decisão...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais/4primeirasPaginas-20.tex 24/08/2011 14:43 4.5 KiB 
Originais/@4primeirasPaginas.pdf 24/08/2011 14:43 480.9 KiB 
Originais/Eduardo105910.pdf 21/06/2011 09:01 2.5 MiB
Originais/folha de aprovacao.pdf 07/10/2011 13:40 16.7 KiB 
publicacao.pdf 07/10/2011 13:43 2.5 MiB
Conteúdo da Pasta agreement
agreement.html 10/06/2011 15:36 1.9 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/39RNQ52
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/39RNQ52
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadministrator
charles.edu@gmail.com
ricardo
sabrina
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission 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-m16d.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP7W/39R454E
Repositóriosid.inpe.br/mtc-m19/2011/06.06.12.20
Última Atualização2011:10.28.12.03.40 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m19/2011/06.06.12.20.33
Última Atualização dos Metadados2018:06.05.04.24.28 (UTC) administrator
Chave SecundáriaINPE-16903-TDI/1796
Chave de CitaçãoCarvalho:2011:UsReNe
TítuloUso de redes neurais otimizadas para recuperaçâo do perfil de concentração de gases traço atmosféricos a partir de dados de satélites
Título AlternativoUse of optimized neural networks for retrieval of atmospheric trace gas concentration profile by using satellite data
CursoCAP-SPG-INPE-MCT-BR
Ano2011
Data2011-06-27
Data de Acesso25 abr. 2024
Tipo da TeseTese (Doutorado em Computação Aplicada)
Tipo SecundárioTDI
Número de Páginas208
Número de Arquivos1
Tamanho4529 KiB
2. Contextualização
AutorCarvalho, Adenilson Roberto
GrupoCAP-SPG-INPE-MCT-BR
BancaVelho, Haroldo Fraga de Campos (presidente)
Chalhoub, Ezzat Selim
Ramos, Fernando Manuel (orientador)
Carvalho, João Carlos (orientador)
Becceneri, José Carvalho
Souza, Rodrigo Augusto Ferreira de
Lima, Ivan Bergier Tavares de
Endereço de e-Mailadenilson.carvalho@gmail.com
UniversidadeInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2011-08-09 19:39:39 :: adenilson.carvalho@gmail.com -> yolanda ::
2011-08-10 17:55:53 :: yolanda -> adenilson.carvalho@gmail.com ::
2011-08-15 13:15:50 :: adenilson.carvalho@gmail.com -> yolanda ::
2011-08-15 17:18:40 :: yolanda -> adenilson.carvalho@gmail.com ::
2011-08-16 15:35:50 :: adenilson.carvalho@gmail.com -> yolanda ::
2011-09-01 17:17:45 :: yolanda -> ricardo ::
2011-10-28 10:46:57 :: ricardo -> sabrina ::
2011-10-28 12:06:38 :: sabrina -> viveca@sid.inpe.br ::
2011-11-09 19:18:08 :: viveca@sid.inpe.br -> administrator :: -> 2011
2018-06-05 04:24:28 :: administrator -> :: 2011
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveproblemas inversos
redes neurais
efeito estufa
sensoriamento remoto
computação evolutiva
inverse problems
neural networks
greenhouse effect
remote sensing
evolutionary computation
ResumoAtualmente, o monitoramento da concentração de gases traço na atmosfera é feito através de medições realizadas \textit{in situ}, em pontos esparsos sobre diferentes regiões do planeta. Contudo, as fontes e sumidouros de tais gases ($CO_2$ e $CH_4$, por exemplo) variam muito em escala temporal e espacial; e o uso de medidas por sensoriamento remoto a partir de satélites pode fornecer um conjunto mais denso de medidas aumentando a resolução espacial e temporal das observações. O sensoriamento remoto da atmosfera permite, a partir de um conjunto de radiâncias espectrais realizadas em diferentes comprimentos de onda, determinar a estrutura vertical de parâmetros atmosféricos. Se os canais a bordo do satélite estão localizados em uma região espectral que é sensível à concentração do gás traço, a intensidade desta radiância pode nos fornecer informações acerca do perfil do gás na atmosfera num determinado tempo e local. Neste trabalho desenvolvemos um modelo baseado em Redes Neurais capaz de estimar a concentração de $CO_2$ e $CH_4$ na atmosfera a partir de medidas de radiância obtidas pelo sensor SCIAMACHY a bordo do satélite ENVISAT. Através da análise do conteúdo de informação no sentido de Shannon das linhas espectrais do sensor foi possível selecionar conjuntos reduzidos e auto-suficientes de canais para recuperação de perfis verticais de GEE. Outras duas abordagens para seleção de canais foram testadas com sucesso: a seleção de canais através da extração dos graus de liberdade do sinal (método GLS) e a escolha de canais através de análise da sensibilidade das linhas com relação à variação do gás (método OSP). Adicionalmente propomos uma metodologia baseada em metaheurísticas de busca e computação evolucionária para otimização dos parâmetros do modelo de inversão. Construímos uma nova abordagem para estimação da complexidade computacional da arquitetura de uma Rede Neural Artificial (RNA) baseada no número de neurônios e no número de épocas necessários para o treinamento dos padrões apresentados à rede. Aplicou-se o esquema proposto ao problema da recuperação de perfis atmosféricos de concentração de gases de efeito estufa o qual permitiu a obtenção de uma arquiteturas de rede otimizada. Os resultados mostraram que a abordagem computacional proposta apresenta melhor performance em relação a um especialista humano, oferecendo ao mesmo tempo muitas vantagens se comparada a abordagens similares encontradas na literatura. Os resultados foram validados utilizando-se observações in-situ independentes obtidas pela divisão de monitoramento global da NOAA. Essas medições foram realizadas no observatório de Mauna Loa, no Havaí (latitude 19.54\textdegree N, longitude 155.58\textdegree W) à altitude de 3397 m e no Pólo Sul(latitude -89.98\textdegree S, longitude -24.80\textdegree W) à altitude de 2800 m acima do nível do mar. As comparações entre os $CO_2$ e $CH_4$ prevista pelo modelo e aqueles observados pela NOAA ao longo do ano de 2005 e 2007 nas regiões de interesse mostraram, em geral, boa concordância. O resíduo detectado é menor que $0.9\%$ para ambos os gases. ABSTRACT: Currently, the $CO_2$ and $CH_4$ concentration monitoring is accomplished through \textit{in situ} measurements, only present in small amounts and numbers and often spread over large areas along different regions of the planet. However, the sources and sinks of these trace gases vary too much across spatial and temporal scale; and the use of satellite remote sensing measurements may provide us a more compact measurements set enhancing, this way, the spatial and temporal resolution observations. The remote sensing of the atmosphere allows, from a spectral radiance set achieved in different wavelengths, to determine the vertical structure of atmospheric parameters. If the sensors aboard satellite are placed at a spectral region sensitive to changes in the greenhouse effect concentration gases such as $CO_2$ and $CH_4$, the obtained radiance intensity can supply us with information concerning the vertical profile of the gases in the atmosphere at a certain time and place. This work aims at developing a neural network model to estimate the $CO_2$ and $CH_4$ atmospheric concentration from radiance measurements acquired by SCIAMACHY sensor aboard ENVISAT satellite. By analyzing the information content in the Shannon sense of the sensor spectral lines it was able to select a reduced and self-sufficient channel set for retrieving vertical profiles of trace gases. Two other approaches have been successfully tested: the selection of dedicated channels through determination of the number of degrees of freedom (DFS) for signal and the choice of channels through sensitivity analysis for the gas spectral lines (OSP method). Additionally we propose a methodology based on metaheuristics and evolutionary computing to optimize the parameters of the inverse model. We built a new approach to estimate the computational complexity of the ANN architecture based on the number of neurons and the number of epochs required for the network training. We applied the proposed scheme to the ill-posed problem of retrieving concentration vertical profiles of atmospheric greenhouse gases which has lead to optimized network architectures. The results showed that the computational approach proposed has better performance compared to a human expert, while offering many advantages compared to similar approaches in the literature. The results were validated using independent in-situ observations obtained by the Global Monitoring Division of NOAA. These measurements were performed at the Mauna Loa observatory, Hawaii (latitude 19.54\textdegree N, longitude 155.58\textdegree W) at an altitude of 3397 m and at the South Pole (latitude -89.98\textdegree S, longitude -24.80\textdegree W) at an altitude of 2800 m above sea level. Comparisons between $CO_2$ and $CH_4$ predicted by the model and those observed by NOAA over the years 2005 and 2007 in regions of interest showed good agreement. The residue is detected to be less than $0.9\%$ for both gases.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CAP > Uso de redes...
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
Originais/4primeirasPaginas.tex 27/10/2011 10:07 4.5 KiB 
Originais/@4primeirasPaginas.pdf 27/10/2011 10:10 778.6 KiB 
Originais/folhadeaprovacao.pdf 28/10/2011 09:10 21.8 KiB 
publicacao.pdf 28/10/2011 09:49 4.4 MiB
Tese Adenilson.zip 28/10/2011 10:00 22.8 MiB
Conteúdo da Pasta agreement
agreement.html 06/06/2011 09:20 1.9 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP7W/39R454E
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP7W/39R454E
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosadenilson.carvalho@gmail.com
administrator
ricardo
sabrina
viveca@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Detentor da CópiaSID/SCD
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m19@80/2009/08.21.17.02.53
Unidades Imediatamente Superiores8JMKD3MGPCW/3F2PHGS
Lista de Itens Citandosid.inpe.br/bibdigital/2013/10.12.22.16 3
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m19@80/2009/08.21.17.02
6. Notas
Campos Vaziosacademicdepartment affiliation archivingpolicy archivist callnumber contenttype copyright creatorhistory descriptionlevel doi electronicmailaddress format isbn issn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress readergroup readpermission resumeid rightsholder schedulinginformation secondarydate secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url versiontype