Resultado da Pesquisa

sid.inpe.br/mtc-m21c/2019/09.16.12.52

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP3W34R/3U3M9MH

Repositório

Última Atualização

2019:09.16.12.52.01 (UTC) simone

Repositório de Metadados

sid.inpe.br/mtc-m21c/2019/09.16.12.52.01

Última Atualização dos Metadados

2022:07.08.20.07.56 (UTC) administrator

Chave de Citação

BitencourtVazSantCalh:2019:TeMePr

Título

Teste metamórfico para Produtos de software relacionados à definição de características hidrológicas

Ano

2019

Data de Acesso

18 abr. 2024

Tipo

RPQ

Número de Páginas

Número de Arquivos

Tamanho

167 KiB

2. Contextualização

Autor

1 Bitencourt Vaz, Renata
2 Santiago Júnior, Valdivino Alexandre
3 Calheiros, Alan James Peixoto

Grupo

1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
3 LABAC-COCTE-INPE-MCTIC-GOV-BR

Afiliação

1 Universidade Estadual Paulista (UNESP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)

Endereço de e-Mail do Autor

1 renatabitencourtvaz@gmail.com
2 valdivino.santiago@inpe.br
3 alan.calheiros@inpe.br

Instituição

Instituto Nacional de Pesquisas Espaciais

Cidade

São José dos Campos

Histórico (UTC)

2019-09-16 12:52:21 :: simone :: -> 2019
2019-09-16 12:52:33 :: simone -> administrator :: 2019
2022-07-08 20:07:56 :: administrator -> simone :: 2019

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Palavras-Chave

produtos de software

Resumo

O INPE tem vários exemplos de softwares científicos usados para, por exemplo, implementar modelos de sistemas de controle de atitude e órbita de satélites, analisar a radiação X e Gama oriundas de objetos astrofísicos a bordo de plataformas espaciais, estudar a interação bidirecional entre a biosfera terrestre e o sistema climático, implementar modelos numéricos de previsão de tempo assim como modelos de estudos climáticos, entre outros. É muito importante que tais produtos sejam criados com o mais alto nível de qualidade para que seus resultados possam ser confiáveis, e, dessa forma, ser uma fonte adequada para a tomada de decisão de usuários que fazem uso de tais softwares. No entanto, software científico é bastante complexo e garantir a sua qualidade é algo bastante desafiador. Teste de software é um processo que justamente é aplicado para aumentar a qualidade de sistemas de software. Porém, determinados tipos de software, tais como os softwares científicos, podem padecer do chamado problema do oráculo, ou seja, quando não é possível determinar com certeza os resultados esperados de um conjunto de dados de entrada de teste. Teste metamórfico é uma técnica que se adequa a esse tipo de sistema de software. Mas, a principal limitação do teste metamórfico é a identificação das Relações Metamórficas (RMs), que é uma tarefa manual que requer um bom conhecimento do problema em questão. Uma das alternativas é tentar identificar, automaticamente, as RMs de um Sistema Sob Teste. Esse projeto de pesquisa possui dois objetivos específicos: a.) investigar a viabilidade de teste metamórfico para realizar o teste de software científico, particularmente abordando o problema do oráculo de teste de software. Para identificar automaticamente as RMs será investigada a possibilidade de uso de Aprendizado Profundo (e.g. Redes Neurais Convolucionais); b.) aplicar a abordagem proposta a produtos de software relacionados à definição de características hidrológicas, com os quais o INPE vêm trabalhando, com o intuito de melhorar a qualidade dos mesmos. Esse relatório apresenta as atividades desenvolvidas no período de 01 de agosto de 2018 a 30 de junho de 2019.

Área

COMP

Arranjo 1

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Teste metamórfico para...

Arranjo 2

urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2019 > Teste metamórfico para...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP3W34R/3U3M9MH

16/09/2019 09:52

1.7 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP3W34R/3U3M9MH

Idioma

Arquivo Alvo

RENATA BITENCOURT.pdf

Grupo de Usuários

simone

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Unidades Imediatamente Superiores

sid.inpe.br/bibdigital/2013/09.22.23.14 2

Lista de Itens Citando

Divulgação

BNDEPOSITOLEGAL

Acervo Hospedeiro

urlib.net/www/2017/11.22.19.04

6. Notas

Notas

Bolsa PIBIC/INPE/CNPq

Campos Vazios

archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark mirrorrepository nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype

7. Controle da descrição

e-Mail (login)

simone

1. Identificação

Tipo de Referência

Relatório (Report)

Site

sid.inpe.br/mtc-m21c/2019/09.11.12.32

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP3W34R/3U2S9F5

Repositório

Última Atualização

2019:09.11.12.32.47 (UTC) simone

Repositório de Metadados

sid.inpe.br/mtc-m21c/2019/09.11.12.32.47

Última Atualização dos Metadados

2022:07.08.20.07.36 (UTC) administrator

Chave de Citação

FuhrLimaCamp:2019:FrMaLe

Título

Framework de machine learning para busca de melhores parâmetros em algoritmos de restauração de imagens

Ano

2019

Data de Acesso

18 abr. 2024

Tipo

RPQ

Número de Páginas

Número de Arquivos

Tamanho

753 KiB

2. Contextualização

Autor

1 Fuhr, Gabriel Tobias
2 Lima, João Vicente Ferreira
3 Campos Velho, Haroldo Fraga de

Identificador de Curriculo

1
2
3 8JMKD3MGP5W/3C9JHC3

Grupo

1
2
3 LABAC-COCTE-INPE-MCTIC-GOV-BR

Afiliação

1 Universidade Federal de Santa Maria (UFSM)
2 Universidade Federal de Santa Maria (UFSM)
3 Instituto Nacional de Pesquisas Espaciais (INPE)

Endereço de e-Mail do Autor

1 gtfuhr@inf.ufsm.br
2 jvlima@inf.ufsm.br
3 haroldo.camposvelho@inpe.br

Instituição

Instituto Nacional de Pesquisas Espaciais

Cidade

São José dos Campos

Histórico (UTC)

2019-09-11 12:33:21 :: simone :: -> 2019
2019-09-11 12:33:42 :: simone -> administrator :: 2019
2022-07-08 20:07:36 :: administrator -> simone :: 2019

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Palavras-Chave

machine learning
algoritmos

Resumo

Uma das importantes atividades no ramo de pesquisa Aeroespacial é a de capturar imagens através de câmeras e sensores aerotransportados por aviões e satélites. Tais imagens podem ter alterações com incorporação de ruídos externos durante a sua captura. Procurando suavizar efeitos negativos causados pelos ruídos, o tratamento de imagens, ramo da Ciência da Computação, é utilizado para remover em parte os ruídos de imagens. Técnicas para restaurar as imagens, gerando imagens próximas à realidade, representam um avanço significativo para áreas que fazem uso de imagens que requerem nitidez e precisão. Destas áreas, destacam-se aplicações em astronomia, sensoriamento remoto, ciências dos materiais, ciências geofísicas, biologia e medicina, para citar algumas áreas, onde informações quantitativas precisas são importantes para ciência da área e desenvolvimento tecnológico. Também pode-se notar a importância da remoção de ruídos em algoritmos de posicionamento de Veículos Aéreos Não Tripulados (VANTs), onde a nitidez das imagens capturadas é crucial para garantir que o VANT conseguirá se localizar utilizando um banco de imagens georreferenciadas. São várias as técnicas utilizadas na restauração de imagens. De fato, inúmeros algoritmos de restauração de imagens já foram desenvolvidos e implementados. A implementação algorítmica consiste em codificar o método de restauração em específico em uma série de passos em linguagem computacional. O algoritmo deve receber como parâmetro a imagem a ser restaurada, algumas soluções algorítmicas apresentam mais parâmetros, como o Bayes-Shrink. Os parâmetros citados anteriormente, causam efeitos no resultado final da execução de uma restauração, por isso sua escolha deve ser feita de maneira a maximizar os resultados de uma correção de ruídos. Pensando nisso¸ utilizar-se-á técnicas de Machine Learning, área da computação onde dados são fornecidos ao computador para o mesmo gerar soluções ou insights sobre os dados, como forma de escolha desses parâmetros. Os dados seriam um banco de imagens originais e imagens alteradas por ruído (Imagens e histogramas) e um algoritmo a ser especificado pelo utilizador da plataforma. Com isso, a plataforma iria devolver um modelo de Machine Learning como um previsor de parâmetro ideal para uma dada imagem desconhecida e o algoritmo em questão. Fazendo com que a escolha do parâmetro deixe de ser um processo empírico da escolha do pesquisador, para ser uma escolha baseada em dados para maximizar a eficiência do algoritmo de restauração de imagens.

Área

COMP

Arranjo 1

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Framework de machine...

Arranjo 2

urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2019 > Framework de machine...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP3W34R/3U2S9F5

11/09/2019 09:32

1.7 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP3W34R/3U2S9F5

Idioma

Arquivo Alvo

GABRIEL TOBIAS.pdf

Grupo de Usuários

simone

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Unidades Imediatamente Superiores

sid.inpe.br/mtc-m21/2012/07.13.14.49.40 4
sid.inpe.br/bibdigital/2013/09.22.23.14 1

Lista de Itens Citando

Divulgação

BNDEPOSITOLEGAL

Acervo Hospedeiro

urlib.net/www/2017/11.22.19.04

6. Notas

Notas

Bolsa PIBIC/INPE/CNPq

Campos Vazios

archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark mirrorrepository nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype

7. Controle da descrição

e-Mail (login)

simone

1. Identificação

Tipo de Referência

Relatório (Report)

Site

sid.inpe.br/mtc-m21c/2019/09.11.12.08

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP3W34R/3U2S7FP

Repositório

Última Atualização

2019:09.11.12.08.20 (UTC) simone

Repositório de Metadados

sid.inpe.br/mtc-m21c/2019/09.11.12.08.20

Última Atualização dos Metadados

2022:07.08.20.07.33 (UTC) administrator

Chave de Citação

KawahamaSantMacaCiri:2019:SiDiNã

Título

Sistemas dinâmicos não-autônomos e aplicações ambientais

Ano

2019

Data de Acesso

18 abr. 2024

Tipo

RPQ

Número de Páginas

Número de Arquivos

Tamanho

710 KiB

2. Contextualização

Autor

1 Kawahama, Felipe Hikari
2 Santos, Leonardo Bacelar Lima
3 Macau, Elbert Einstein Nehrer
4 Cirilo, Patrícia Romano

Identificador de Curriculo

1
2
3 8JMKD3MGP5W/3C9JGUT

Grupo

1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
3 LABAC-COCTE-INPE-MCTIC-GOV-BR

Afiliação

1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)

Endereço de e-Mail do Autor

1
2 leonardo.bacelar@inpe.br
3 elbert.macau@inpe.br

Instituição

Instituto Nacional de Pesquisas Espaciais

Cidade

São José dos Campos

Histórico (UTC)

2019-09-11 12:08:46 :: simone :: -> 2019
2019-09-11 12:09:01 :: simone -> administrator :: 2019
2022-07-08 20:07:33 :: administrator -> simone :: 2019

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Palavras-Chave

sistemas dinâmicos não autônomos
modelagem matemtática

Resumo

A modelagem matemática é uma importante ferramenta que nos ajuda a compreender fenômenos da natureza a partir de resultados analíticos do modelo e simulações numéricas. Um fenômeno em particular que desperta muito interesse s~ao as epidemias. Entre elas, as doenças transmitidas por vetores representam grande preocupação ao redor do mundo, especialmente no Brasil. Nos últimos anos, o sistema de saúde brasileiro enfrentou recorrentes casos de epidemias como Dengue e Malária e novos casos de Chikungunya, Zika e Febre Amarela. O controle vetorial continua sendo uma das mais importantes medidas de combate a epidemias como essas. Modelos matemáticos são importantes ferramentas para planejamento das estratégias de controle vetorial. Neste trabalho apresentamos uma abordagem para calcular qual a mínima intensidade de controle vetorial necessária para obter estabilidade em um modelo simples de dinâmica de populações de mosquitos. Combinamos simulações numéricas com resultados analíticos. Os primeiros passos da pesquisa trataram da análise de estabilidade e bifurcações de modelos epidemiológicos simplificados. A segunda parte foi constituída no desenvolvimento de um modelo próprio, diferentes simulações variando os parâmetros e suas respectivas análises. Este projeto é desenvolvido com apoio de uma bolsa de Iniciação Científica pelo Instituto Nacional de Pesquisas Espaciais (INPE).

Área

COMP

Arranjo 1

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Sistemas dinâmicos não-autônomos...

Arranjo 2

urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2019 > Sistemas dinâmicos não-autônomos...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP3W34R/3U2S7FP

11/09/2019 09:08

1.7 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP3W34R/3U2S7FP

Idioma

Arquivo Alvo

FELIPE HIKARI.pdf

Grupo de Usuários

simone

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Unidades Imediatamente Superiores

sid.inpe.br/mtc-m21/2012/07.13.14.45.07 1
sid.inpe.br/bibdigital/2013/09.22.23.14 1

Lista de Itens Citando

Divulgação

BNDEPOSITOLEGAL

Acervo Hospedeiro

urlib.net/www/2017/11.22.19.04

6. Notas

Notas

Bolsa PIBIC/INPE/CNPq

Campos Vazios

archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark mirrorrepository nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype

7. Controle da descrição

e-Mail (login)

simone

1. Identificação

Tipo de Referência

Relatório (Report)

Site

sid.inpe.br/mtc-m21c/2019/09.10.14.13

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP3W34R/3U2N79H

Repositório

Última Atualização

2019:09.10.14.13.47 (UTC) simone

Repositório de Metadados

sid.inpe.br/mtc-m21c/2019/09.10.14.13.47

Última Atualização dos Metadados

2022:07.08.20.07.32 (UTC) administrator

Chave de Citação

LovatoDomiBaro:2019:EsNuEq

Título

Estudo numérico das equações de magneto-hidrodinâmica aplicada à física de plasma espacial

Ano

2019

Data de Acesso

18 abr. 2024

Tipo

RPQ

Número de Páginas

Número de Arquivos

Tamanho

14219 KiB

2. Contextualização

Autor

1 Lovato, Elias Guilherme C.
2 Domingues, Margarete Oliveira
3 Baroni, Mariana P. M. A.

Identificador de Curriculo

1
2 8JMKD3MGP5W/3C9JHQP

Grupo

1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR

Afiliação

1 Instituto Federal de São Paulo (IFSP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Federal de São Paulo (IFSP)

Endereço de e-Mail do Autor

1 eliasgcl@yahoo.com.br
2 margarete.domingues@inpe.br
3 mariana.baroni@gmail.com

Instituição

Instituto Nacional de Pesquisas Espaciais

Cidade

São José dos Campos

Histórico (UTC)

2019-09-10 14:14:14 :: simone :: -> 2019
2019-09-10 14:14:32 :: simone -> administrator :: 2019
2022-07-08 20:07:32 :: administrator -> simone :: 2019

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Palavras-Chave

Física de Plasma. Análise Numérica. Carmen MHD. Volumes Finitos. Limitadores

Resumo

Reporta-se o estudo de um modelo para o comportamento de plasmas utilizando a teoria magneto-hidrodinâmica. Primariamente, esse modelo descreve o comportamento de fluidos compressíveis e condutores elétricos, que pode ser descrito por um sistema de equações diferenciais parciais evolutivas hiperbólicas da forma: [FORMULA] em que I é a matriz identidade 3 × 3, p a densidade, u a velocidade, p a pressão, B o campo magnético e E a energia, definida como: [EQUAÇÃO] Acresce-se a este sistema a restrição física de divergência nula do campo magnético, o que nem sempre é respeitado numericamente. Adota-se uma versão bidimensional discreta em volumes finitos desse modelo que mantém tal restrição controlada, desta forma evitando degenerescências das soluções numéricas. Neste estudo, avaliam-se os efeitos de alguns parâmetros numéricos na formação de instabilidades tipo Kelvin-Helmholtz (tipo olho-de-gato). De um modo geral, as instabilidades tipo Kelvin-Helmholtz surgem quando dois fluidos, cuja densidade e/ou a velocidade sejam diferentes, estão em contato um com o outro gerando uma tensão de cisalhamento sobre as superfícies de contato, o que cria assim uma situação de desequilíbrio. No caso de interesse, o campo magnético auxilia no processo de estabilização. Especificamente, realizou-se a simulação em volumes finitos do fenômeno considerado utilizando diversos limitadores de fluxo numérico do tipo Total Variation Diminishing (TVD) proveniente do ambiente numérico CARMEN-MHD, desenvolvido no INPE, e compararam-se os seus efeitos na simulação. Outro aspecto levado em conta é os fluxos numéricos em si, em particular, estudou-se a teoria e implementação de uma família de fluxos numéricos conhecida como HLL, HLL(E), HLL(EM) e suas aplicações. No modelo HLL uma aproximação para o fluxo da interface celular é obtido diretamente e tem como ideia central assumir, para a solução, uma configuração que consiste em duas ondas separando três estados constantes. O modelo HLL de duas ondas, acrescido da estimativa da velocidade das ondas é conhecido como HLL(E), enquanto que o esquema HLL(EM) é frequentemente utilizado nos cálculos envolvendo estruturas de ondas mais complexas e camadas limitantes.

Área

COMP

Arranjo

PIBIC/PIBITI 2019 > Estudo numérico das...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP3W34R/3U2N79H

10/09/2019 11:13

1.7 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP3W34R/3U2N79H

Idioma

Arquivo Alvo

ELIAS LOVATO.pdf

Grupo de Usuários

simone

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Unidades Imediatamente Superiores

sid.inpe.br/bibdigital/2013/09.22.23.14 1

Lista de Itens Citando

Divulgação

BNDEPOSITOLEGAL

Acervo Hospedeiro

urlib.net/www/2017/11.22.19.04

6. Notas

Notas

Bolsa PIBIC/INPE/CNPq

Campos Vazios

archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark mirrorrepository nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype

7. Controle da descrição

e-Mail (login)

simone

1. Identificação

Tipo de Referência

Relatório (Report)

Site

sid.inpe.br/mtc-m21c/2019/09.11.12.23

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP3W34R/3U2S8N5

Repositório

Última Atualização

2019:09.11.12.23.51 (UTC) simone

Repositório de Metadados

sid.inpe.br/mtc-m21c/2019/09.11.12.23.51

Última Atualização dos Metadados

2022:07.08.20.07.35 (UTC) administrator

Chave de Citação

MatsumuraSant:2019:AvExHi

Título

Avaliações experimentais de hiper-heurísticas para teste de software espacial

Ano

2019

Data de Acesso

18 abr. 2024

Tipo

RPQ

Número de Páginas

Número de Arquivos

Tamanho

755 KiB

2. Contextualização

Autor

1 Matsumura, Gabriel de Sousa
2 Santiago Júnior, Valdivino Alexandre

Grupo

1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR

Afiliação

1 Instituto Federal de São Paulo (IFSP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Endereço de e-Mail do Autor

1 sousa.matsumura@gmail.com
2 valdivino.santiago@inpe.br

Instituição

Instituto Nacional de Pesquisas Espaciais

Cidade

São José dos Campos

Histórico (UTC)

2019-09-11 12:24:04 :: simone :: -> 2019
2019-09-11 12:24:36 :: simone -> administrator :: 2019
2022-07-08 20:07:35 :: administrator -> simone :: 2019

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Palavras-Chave

software espacial

Resumo

Em sistemas críticos, tais como satélites e aplicações de balões estratosféricos desenvolvidos no INPE, o processo de teste de software é vital para identificar defeitos, aumentar a qualidade do software e prevenir a ocorrência de atrasos e prejuízos. No entanto, realizar testes eficientes em um prazo limitado é uma tarefa árdua e desafiadora. A Otimização em Teste de Software (OTS) é uma subárea da Otimização em Engenharia de Software (OES), e tal subárea formula o problema de testar um software como um problema de otimização. OTS tem chamado atenção da comunidade acadêmica de teste de software, onde Meta-Heurísticas, como Algoritmos Evolucionários (e.g. Algoritmos Genéticos), têm sido usadas abordando teste de interação combinatória, teste baseados em modelos, entre outros. No entanto, Meta-Heurísticas sofrem da baixa habilidade de generalização e, sendo assim, um dos caminhos que a comunidade de Pesquisa Operacional tem perseguido, e que a comunidade de OTS começa a investigar, é o uso de Hiper-Heurísticas. As Hiper-Heurísticas possuem como um de seus apelos uma maior capacidade de generalização onde tais soluções objetivam resolver uma classe de problemas ao invés de um problema específico. Dada a crescente quantidade de Hiper-Heurísticas sendo propostas, é conveniente realizar avaliações experimentais rigorosas para evidenciar quais Hiper-Heurísticas são mais adequadas para tratar do problema de geração de casos/dados de teste, especialmente quando o sistema sob teste é um software espacial. Esse projeto de pesquisa possui dois objetivos específicos: a.) Realizar avaliações experimentais rigorosas de Hiper-Heurísticas de seleção no contexto de Teste de Software, considerando métricas como custo e efetividade, para identificar qual Hiper-Heurística de seleção possui melhor desempenho; b.) Considerar, no contexto das avaliações experimentais, softwares espaciais que o INPE vem desenvolvendo como estudos de caso, para melhor caracterizar o desempenho das Hiper-Heurísticas de seleção nesse domínio. Esse relatório apresenta as atividades desenvolvidas no período de 01 de agosto de 2018 a 30 de junho de 2019.

Área

COMP

Arranjo 1

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Avaliações experimentais de...

Arranjo 2

urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2019 > Avaliações experimentais de...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP3W34R/3U2S8N5

11/09/2019 09:23

1.7 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP3W34R/3U2S8N5

Idioma

Arquivo Alvo

GABRIEL MATSUMURA.pdf

Grupo de Usuários

simone

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Unidades Imediatamente Superiores

sid.inpe.br/bibdigital/2013/09.22.23.14 1

Lista de Itens Citando

Divulgação

BNDEPOSITOLEGAL

Acervo Hospedeiro

urlib.net/www/2017/11.22.19.04

6. Notas

Notas

Bolsa PIBIC/INPE/CNPq

Campos Vazios

7. Controle da descrição

e-Mail (login)

simone

1. Identificação

Tipo de Referência

Relatório (Report)

Site

sid.inpe.br/mtc-m21c/2019/09.18.11.55

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP3W34R/3U42S3S

Repositório

Última Atualização

2019:09.18.11.55.11 (UTC) administrator

Repositório de Metadados

sid.inpe.br/mtc-m21c/2019/09.18.11.55.11

Última Atualização dos Metadados

2022:07.08.20.08.01 (UTC) administrator

Chave de Citação

PintoGuer:2019:FrCoAc

Título

Framework de controle de acesos baseado em gamificação

Ano

2019

Data de Acesso

18 abr. 2024

Tipo

RPQ

Número de Páginas

Número de Arquivos

Tamanho

6262 KiB

2. Contextualização

Autor

1 Pinto, Weslei Luiz de Paula
2 Guerra, Eduardo Martins

Grupo

1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR

Afiliação

1 Faculdade de Tecnologia de São José dos Campos (FATEC)
2 Instituto Nacional de Pesquisas Espaciais (INPE)

Endereço de e-Mail do Autor

1 weslei.paula@fatec.sp.gov.br
2 guerraem@gmail.com

Instituição

Instituto Nacional de Pesquisas Espaciais

Cidade

São José dos Campos

Histórico (UTC)

2019-09-18 11:55:35 :: simone :: -> 2019
2019-09-18 11:55:51 :: simone -> administrator :: 2019
2022-07-08 20:08:01 :: administrator -> simone :: 2019

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Palavras-Chave

frameworks

Resumo

Geralmente, jogos que possuem restrições têm recursos desbloqueados conforme o progresso do personagem ou a consecução de algum objetivo. Aplicações que utilizam mecanismos de gamificação como pontos, rankings, troféus e rewards para condicionar comportamentos em seus usuários, tendem a utilizar a abordagem de controle de acesso para aumentar o valor das recompensas recebidas a partir da liberação de autorização conforme a utilização do usuário, desbloqueando novos recursos ou funcionalidades. O Esfinge Gamification é um framework que implementa mecanismos de gamificação, para simplificar o desenvolvimento de softwares que utilizem estas características. Atualmente o Esfinge Gamification não possui funcionalidades de controle de acesso, portanto, este trabalho é motivado pela oportunidade da criação de funcionalidades de controle de acesso baseadas em conquistas existentes no framework. Para isto o Esfinge Guardian foi integrado ao Esfinge Gamification, possibilitando a utilização de mecanismos de autorização em aplicações Java a partir da definição de metadados via anotações, para assim, desencadear comportamentos de autorização transparentes na aplicação.

Área

COMP

Arranjo 1

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Framework de controle...

Arranjo 2

urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2019 > Framework de controle...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP3W34R/3U42S3S

18/09/2019 08:55

1.7 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP3W34R/3U42S3S

Idioma

Arquivo Alvo

WESLEI PINTO.pdf

Grupo de Usuários

self-uploading-INPE-MCTI-GOV-BR
simone

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Vinculação

Trabalho não Vinculado à Tese/Dissertação

Unidades Imediatamente Superiores

Divulgação

BNDEPOSITOLEGAL

Acervo Hospedeiro

urlib.net/www/2017/11.22.19.04

6. Notas

Notas

Bolsa PIBIC/INPE/CNPq

Campos Vazios

7. Controle da descrição

e-Mail (login)

simone

1. Identificação

Tipo de Referência

Relatório (Report)

Site

sid.inpe.br/mtc-m21c/2019/09.12.13.18

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP3W34R/3U33PPB

Repositório

Última Atualização

2019:09.12.13.18.54 (UTC) simone

Repositório de Metadados

sid.inpe.br/mtc-m21c/2019/09.12.13.18.54

Última Atualização dos Metadados

2022:07.08.20.07.45 (UTC) administrator

Chave de Citação

RochaCalhCalh:2019:VaAnTe

Título

Uma revisão das propriedades da convecção na região tropical da América do Sul: variabilidade e análise de tendência

Ano

2019

Data de Acesso

18 abr. 2024

Tipo

RPQ

Número de Páginas

Número de Arquivos

Tamanho

1819 KiB

2. Contextualização

Autor

1 Rocha, Lorena Bezerra da
2 Calheiros, Alan James Peixoto
3 Calheiros, Sâmia Regina Garcia

Grupo

1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR

Afiliação

1 Universidade Federal de Itajubá (UNIFEI)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Universidade Federal de São Paulo (UNIFESP)

Endereço de e-Mail do Autor

1 lore.bezerra.r@gmail.com
2 ajpcalheiros@gmail.com
3 samiarg@gmail.com

Instituição

Instituto Nacional de Pesquisas Espaciais

Cidade

São José dos Campos

Histórico (UTC)

2019-09-12 13:19:14 :: simone :: -> 2019
2019-09-12 13:19:35 :: simone -> administrator :: 2019
2022-07-08 20:07:45 :: administrator -> simone :: 2019

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Palavras-Chave

Radiação de Onda Longa. Velocidade Potencial. Sistema de Monção da América do Sul. Funções Ortogonais Empíricas. Correlação linear de Pearson

Resumo

A precipitação de verão da região tropical da América do Sul está sob influência do Sistema de Monção da América do Sul (SMAS), que se desenvolve devido ao contraste térmico entre região continental e oceânica, dessa forma é de extrema importância estudar sua variação sazonal, distribuição temporal e espacial. Assim, este estudo tem por objetivo analisar as variáveis meteorológicas Radiação de Onda Longa (ROL) e velocidade potencial (χ) em 200 hPa para revisar as propriedades associadas à convecção na região do SMAS, como os padrões de variabilidade e análise de tendência dessas variáveis. Para isso, dados mensais de ROL (NOAA-CIRES/CDC) e de χ em 200 hPa (NCEP/NCAR) foram utilizados para o período de 1979-2016. Aplicando a técnica de Funções Ortogonais Empíricas (EOF, em inglês), foi possível encontrar três modos dominantes de ROL na região de estudo, sendo o primeiro modo explicado por uma configuração de dipolo entre os dois hemisférios, com um padrão equatorialmente antissimétrico de ROL, que representa a resposta sazonal da variável ao ciclo anual da radiação solar, possuindo um ciclo anual bem definido com os maiores sinais no verão e no inverno. O segundo modo foi associado à ZCIT do Atlântico, com ciclo anual também bem definido, porém com maiores amplitudes no período do outono e na primavera. Já o terceiro modo mostra o centro de convecção dominante na região equatorial da América do Sul, possuindo um ciclo semianual bem definido. Para a variável χ em 200 hPa, tem-se que os dois primeiros modos possuem também ciclo anual bem definido, assim como para ROL, sendo que o primeiro modo possui sinal positivo em quase toda a região de estudo, enquanto o segundo apresenta uma configuração de dipolo entre as regiões noroeste e sudeste da América do Sul. O terceiro modo dominante de χ em 200 hPa também possui uma configuração de dipolo Leste-Oeste, com variabilidade interanual na série temporal. Além disso, analisou-se a tendência linear das variáveis meteorológicas pelo teste de Mann-Kendall, e foi observado que todos os modos mostraram uma tendência de aumento, principalmente o PC01 de ROL e PC03 de χ em altos níveis, o qual foi estatisticamente significativo ao nível de significância de 1%. Em seguida, as séries temporais de cada modo de ROL foram correlacionadas com as de χ em 200 hPa, sendo 0,671 para o primeiro modo; 0,014 para o segundo modo e de -0,185 para o terceiro modo, sendo a primeira e a última significativas ao nível de significância de 1%. Vale destacar que a correlação positiva e significativa entre as séries do primeiro modo de ambas as variáveis representa o padrão de atividade convectiva do SMAS. Portanto, espera-se ter contribuído para o maior conhecimento das características associadas à convecção na região da América do Sul tropical, além de fornecer maior embasamento para setores de previsão e análise de variabilidade climática.

Área

COMP

Arranjo 1

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Uma revisão das...

Arranjo 2

urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2019 > Uma revisão das...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP3W34R/3U33PPB

12/09/2019 10:18

1.7 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP3W34R/3U33PPB

Idioma

Arquivo Alvo

LORENA BEZERRA.pdf

Grupo de Usuários

simone

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Unidades Imediatamente Superiores

Divulgação

BNDEPOSITOLEGAL

Acervo Hospedeiro

urlib.net/www/2017/11.22.19.04

6. Notas

Notas

Bolsa PIBIC/INPE/CNPq

Campos Vazios

7. Controle da descrição

e-Mail (login)

simone

1. Identificação

Tipo de Referência

Relatório (Report)

Site

sid.inpe.br/mtc-m21c/2019/09.10.11.53

Código do Detentor

isadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S

Identificador

8JMKD3MGP3W34R/3U2MNNE

Repositório

Última Atualização

2019:09.10.11.53.06 (UTC) simone

Repositório de Metadados

sid.inpe.br/mtc-m21c/2019/09.10.11.53.06

Última Atualização dos Metadados

2022:07.08.20.07.28 (UTC) administrator

Chave de Citação

SolórzanoCampChar:2019:PlWeEx

Título

Plataforma web para experimentos com algoritmos friends-of-friends paralelo híbrido para classificação de objetos astronômicos

Ano

2019

Data de Acesso

18 abr. 2024

Tipo

RPQ

Número de Páginas

Número de Arquivos

Tamanho

1447 KiB

2. Contextualização

Autor

1 Solórzano, Ana Luisa Veroneze
2 Campos Velho, Haroldo Fraga de
3 Charão, Andrea Schwertner

Identificador de Curriculo

1
2 8JMKD3MGP5W/3C9JHC3

Grupo

1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR

Afiliação

1 Universidade Federal de Santa Maria (UFSM)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Universidade Federal de Santa Maria (UFSM)

Endereço de e-Mail do Autor

1
2 haroldo.camposvelho@inpe.br

Instituição

Instituto Nacional de Pesquisas Espaciais

Cidade

São José dos Campos

Histórico (UTC)

2019-09-10 11:53:26 :: simone :: -> 2019
2019-09-10 11:53:44 :: simone -> administrator :: 2019
2022-07-08 20:07:28 :: administrator -> simone :: 2019

3. Conteúdo e estrutura

É a matriz ou uma cópia?

é a matriz

Estágio do Conteúdo

concluido

Transferível

Palavras-Chave

Friends-of-Friends. Computação Híbrida. Plataforma Web
Friends-of-Friends. Hybrid Computing. Web Platform. LISTA DE ABREVIATURAS E SIGLAS AHF – Amiga Halo Finder CPU – Central Processing Unit CUDA – Compute Unified Device Architecture FoF – Friends-of-Friends FPGA – Field-Programmable Gate Array GPU – Graphics Processing Unit MPI – Message-Passing-Interface OpenACC – for Open Accelerators OpenCL – Open Computing Language OpenMP – Open Multi-Processing OV – Observatório Virtual RAM – Random Access Memory UFSM – Universidade Federal de Santa Maria iii

Resumo

Neste trabalho, é apresentado o desenvolvimento do projeto PIBIC/CNPq/INPE, intitulado Plataforma Web para Experimentos com Algoritmo Friends-of-Friends Paralelo Híbrido para Classificação de Objetos Astronômicos. Apresenta-se o desenvolvimento da plataforma web multiusuário, permitindo a configuração e a execução remota de experimentos utilizando algoritmos da área de Astronomia, em especial o algoritmo para classificação de objetos astronômicos Friends-of-Friends (FoF). Apresenta-se estudos sobre o FoF, apontando versões do algoritmo com potencial de serem disponibilizados na plataforma em suas versões seriais e paralelas, realizando testes e experimentos para avaliação comparativa de desempenho entre eles. Por fim, estudou-se um possível ambiente de hospedagem da plataforma, o cluster Laquibrido, mantido pelo LAC/INPE. ABSTRACT: com Algoritmo Friends-of-Friends Paralelo Híbrido para Classificação de Objetos Astronômicos PIBIC/CNPq/INPE project. We present the multiuser web-platform developmet, that allows the configuration of the remote execution of algorithms in Astronomy, specially the Friends-of-Friends (FoF) algorithm, used for classification of astronomical objects. We present studies on FoF pointing algorithms versions with potential to be hosted on the platform in serial and parallel versions. We perform executions for performance analysis between them. Lastly, we present a study on a possible environment to host the platform, the Laquibrido cluster, maintained by LAC/INPE.

Área

COMP

Arranjo 1

urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Plataforma web para...

Arranjo 2

urlib.net > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2019 > Plataforma web para...

Conteúdo da Pasta doc

Conteúdo da Pasta source

não têm arquivos

Conteúdo da Pasta agreement

http://urlib.net/ibi/8JMKD3MGP3W34R/3U2MNNE

10/09/2019 08:53

1.7 KiB

4. Condições de acesso e uso

URL dos dados

URL dos dados zipados

http://urlib.net/zip/8JMKD3MGP3W34R/3U2MNNE

Idioma

Arquivo Alvo

ANA LUISA SOLORZANO.pdf

Grupo de Usuários

simone

Visibilidade

shown

Permissão de Leitura

allow from all

Permissão de Atualização

não transferida

5. Fontes relacionadas

Unidades Imediatamente Superiores

sid.inpe.br/mtc-m21/2012/07.13.14.49.40 4

Lista de Itens Citando

Divulgação

BNDEPOSITOLEGAL

Acervo Hospedeiro

urlib.net/www/2017/11.22.19.04

6. Notas

Notas

Bolsa PIBIC/INPE/CNPq

Campos Vazios

archivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark mirrorrepository nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup recipient reportnumber rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype translator url versiontype

7. Controle da descrição

e-Mail (login)

simone