Resultado da Pesquisa
A expressão de busca foi <ref report and not secondaryty TAE and firstg LABAC-COCTE-INPE-MCTIC-GOV-BR and y 2017>.
6 referências encontradas buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 26/04/2024 08:41.
1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/42KBCH5
Repositóriosid.inpe.br/mtc-m21c/2020/06.04.18.32
Última Atualização2020:06.04.18.32.09 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21c/2020/06.04.18.32.09
Última Atualização dos Metadados2022:07.08.21.14.43 (UTC) administrator
Chave de CitaçãoDiazMaca:2017:DiCaTr
TítuloMissão de exploração a asteroide: dinâmica caótica, trajetórias e manobras – resultados preliminares
Ano2017
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas25
Número de Arquivos1
Tamanho2467 KiB
2. Contextualização
Autor1 Diaz, Gustavo Andrés
2 Macau, Elbert Einstein Nehrer
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGUT
Grupo1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
Afiliação1 Universidade Estadual Paulista (UNESP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 diazlins@gmail.com
2 elbert.macau@inpe.br
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2020-06-04 18:32:09 :: simone -> administrator ::
2022-07-08 21:14:43 :: administrator -> simone :: 2017
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-ChaveSistemas dinâmicos. Manobras orbitais. Dinâmica caótica
ResumoAo estudar missões espaciais, em primeira instância, é preciso compreender como sistemas dinâmicos se comportam e, neste caso, o Modelo dos Três Corpos fornece uma gama de conceitos pertinentes para se estudar e analisar. O modelo possui características dinâmicas complexas, onde surgem regiões com comportamento periódico, quasi-periódico e caótico. Sendo assim, o trabalho iniciou-se com a compreensão básica de tais conceitos da dinâmica caótica, passando por tópicos como órbitas, pontos fixos e periódicos. Assim, quando um espaço de estado que possua tais regiões aonde aparecem de forma emaranhada e formam um cenário de apreciável complexidade surge, o devido entendimento de iterações numéricas e análise do comportamento de funções com variação de parâmetros é importante. Visto que a análise de algumas funções requer a análise de grande número de iterações, houve também uma introdução à programação para poder visualizar e obter conclusões graficamente, uma vez que tal cenário, se adequadamente explorado, pode servir para a realização de manobras orbitais que priorizam pelo uso consideravelmente reduzido de energia. Então a exploração de bifurcações e mapas que possuam atratores acabam sendo um foco para um ensaio preliminar da dinâmica caótica e inspeção de tais regiões para que o trabalho presente, que tem por objetivo explorar dinâmica caótica, identificar suas particularidades que subsequentemente poderão ser exploradas para suportar a realização de missões espaciais com gastos reduzidos de energia.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Missão de exploração...
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Missão de exploração...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 04/06/2020 15:32 1.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34R/42KBCH5
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/42KBCH5
Idiomapt
Arquivo Alvodiaz_missao.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2017/11.22.19.04.03
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8LM
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.14.45.07 1
sid.inpe.br/bibdigital/2013/09.22.23.14 1
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark 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
atualizar 

1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/42K7EMB
Repositóriosid.inpe.br/mtc-m21c/2020/06.03.21.06
Última Atualização2020:06.04.20.20.21 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21c/2020/06.03.21.06.48
Última Atualização dos Metadados2022:07.08.21.14.39 (UTC) administrator
Chave de CitaçãoJuremaCarvSant:2017:EsEs
TítuloEscoamento estocástico
Ano2017
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas13
Número de Arquivos2
Tamanho2080 KiB
2. Contextualização
Autor1 Jurema, Maria Carolina Barbosa
2 Carvalho, Solon Venâncio de
3 Santos, Leonardo Bacelar Lima
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJ99
Grupo1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
Afiliação1 Universidade Estadual Paulista (UNESP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Centro Nacional de Monitoramento e Alertas de Desastres Naturais (CEMADEN)
Endereço de e-Mail do Autor1 mariacarolinabj@gmail.com
2 solon.carvalho@inpe.br
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2020-06-04 20:20:25 :: simone -> administrator :: 2017
2022-07-08 21:14:39 :: administrator -> simone :: 2017
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveescoamento estocástico
ResumoO presente trabalho teve como objeto de estudo Modelos Digitais de Elevação reais, relativos à região do Vale do Paraíba, aplicados a simulações estocásticas. O projeto, financiado pelo CNPq, iniciou-se em agosto de 2016. Os processos hidrológicos de maior interesse são relativos à formação de meandros, logo, realizou-se inicialmente um estudo acerca de conceitos hidrológicos, de escoamento e meandros; e conceitos de processos estocásticos, de simulação computacional, com o intuito de complementação conceitual para o decorrer do projeto. Além disso, durante o projeto, foi fundamental exercer a prática da utilização de Sistemas de Informação Geográfica (SIG), principalmente o QuantumGIS, TerraView, com a extensão TerraViewHidro, desenvolvido pelo INPE, e ambientes de desenvolvimento e compilação para os códigos em Linguagem C. Neste viés, com o aprendizado das ferramentas hidrológicas do TerraViewHidro, iniciou-se uma fase no projeto de aprofundamento e testes de delimitações de bacias hidrográficas em algoritmos programados em C++. Testou-se dois modelos diferentes de escoamento superficial, um com abordagem determinística e outro estocástica. O Modelo Digital de Elevação utilizado neste caso foi da região do Banhado, em São José dos Campos-SP, e o resultado obtido na obtenção das bacias hidrográficas, revela que a abordagem estocástica apresentou maior riqueza de detalhes na delimitação, em comparação à abordagem determinística. O conhecimento adquirido no estudo de meandros foi importante na observação do mundo real com imagens geradas por satélites. Durante o período do projeto, realizou-se a produção científica de artigos e apresentações em congressos.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Escoamento estocástico
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Escoamento estocástico
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 03/06/2020 18:06 1.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34R/42K7EMB
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/42K7EMB
Idiomapt
Arquivo Alvoalves_previsao.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2017/11.22.19.04.03
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8LM
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.15.00.34 3
sid.inpe.br/bibdigital/2013/09.22.23.14 1
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark 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
atualizar 

1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3P8GSAS
Repositóriosid.inpe.br/mtc-m21b/2017/07.07.21.58
Última Atualização2017:07.10.19.44.00 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2017/07.07.21.58.09
Última Atualização dos Metadados2021:02.06.22.03.50 (UTC) administrator
Número do RelatórioINPE-17874-PRP/263
Chave de CitaçãoMenconiMendDomi:2017:CaCoIn
TítuloCapacitação computacional institucional em modelos MHD e híbridos para sistema HPC
Título CurtoCapacitação institucional para modelagem MHD em HPC
ProjetoMAGHEL, Modelagem em Eletrodinâmica Espacial
Ano2017
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas9
Número de Arquivos1
Tamanho2795 KiB
2. Contextualização
Autor1 Menconi, Varlei Everton
2 Mendes Júnior, Odim
3 Domingues, Margarete Oliveira
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJ28
3 8JMKD3MGP5W/3C9JHQP
Grupo1
2
3 LABAC-COCTE-INPE-MCTIC-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 vmenconi@hotmail.com
2 odim.mendes@inpe.br
3 margarete.domingues@inpe.br
Endereço de e-Mailodim.mendes@inpe.br
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Edição1
Histórico (UTC)2017-07-07 22:00:29 :: odim.mendes@inpe.br -> yolanda.souza@mcti.gov.br ::
2017-07-10 19:46:24 :: yolanda.souza@mcti.gov.br -> marcelo.pazos@inpe.br ::
2017-07-13 18:26:16 :: marcelo.pazos@inpe.br :: -> 2017
2017-07-13 18:29:35 :: marcelo.pazos@inpe.br -> administrator :: 2017
2017-07-13 18:49:28 :: administrator -> simone :: 2017
2017-07-13 18:51:55 :: simone -> administrator :: 2017
2017-07-20 16:06:32 :: administrator -> simone :: 2017
2017-08-17 17:15:10 :: simone -> administrator :: 2017
2021-02-06 22:03:50 :: administrator -> simone :: 2017
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chaveplasmas espaciais
eletrodinâmica espacial
modelagem magneto-hidrodinâmica
computação científica
HPC
ResumoImplantou-se um núcleo de processamento computacional de alto desempenho na Coordenação Geral (CEA) de Ciências Espaciais do Instituto Nacional de Pesquisas Espaciais (INPE). Com parcerias da Computação Científica do Laboratório de Computação e Matemática Aplicada (LAC) da Coordenação de Laboratórios Associados (CTE), um programa de modelagem magneto-hidrodinâmica tem sido desenvolvido. Este projeto colabora com a capacitação institucional em modelos MHD e híbridos para sistema HPC.
ÁreaCEA
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Capacitação institucional para modelagem MHD em HPC
Conteúdo da Pasta docacessar
Conteúdo da Pasta source
originais/@4primeirasPaginas-2.pdf 10/07/2017 16:21 131.9 KiB 
originais/HPC-ModelosMHDeHibrido_VarleiEvertonMenconi_Relatorio20170618.pdf 10/07/2017 15:03 2.6 MiB
originais/Thumbs.db 13/07/2017 15:47 20.5 KiB 
Conteúdo da Pasta agreement
autorizacao.pdf 10/07/2017 16:44 621.8 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34P/3P8GSAS
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34P/3P8GSAS
Idiomapt
Arquivo Alvopublicacao.pdf
Grupo de Usuáriosmarcelo.pazos@inpe.br
odim.mendes@inpe.br
yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
odim.mendes@inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.14.55.24 3
sid.inpe.br/mtc-m21/2012/07.13.14.57.24 2
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder creatorhistory date descriptionlevel dissemination doi format isbn issn label lineage mark mirrorrepository nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress recipient rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session sponsor subject tertiarymark tertiarytype translator url versiontype
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/42KFNDB
Repositóriosid.inpe.br/mtc-m21c/2020/06.05.18.24
Última Atualização2020:06.05.18.24.03 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21c/2020/06.05.18.24.03
Última Atualização dos Metadados2022:07.08.21.14.50 (UTC) administrator
Chave de CitaçãoMoraesVija:2017:InCaMa
TítuloInvestigação de cadeias de markov para testes de software
Ano2017
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas19
Número de Arquivos1
Tamanho372 KiB
2. Contextualização
Autor1 Moraes, Eduardo Ribeiro
2 Vijaykumar, Nandamudi Lankalapalli
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHTU
Grupo1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
Afiliação1 Universidade Federal de Itajubá (UNIFEI)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 eduardo.moraes@outlook.com
2 vijay.nl@inpe.br
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2020-06-05 18:24:03 :: simone -> administrator ::
2022-07-08 21:14:50 :: administrator -> simone :: 2017
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-ChaveCadeias de Markov
software
ResumoEste trabalho tem como objetivo a continuidade aos projetos de Iniciação Científica para melhorias em Testes de Software os quais cada vez mais são relevantes por garantir a qualidade no sistema desenvolvido. A iniciação científica descrita neste resumo aborda o uso de Cadeias de Markov, que são muito utilizadas para avaliar desempenho de sistemas, para priorizar sequências de teste. Os testes de software podem ser de caixa branca (dependem do código implementado) ou de caixa preta (não necessitam do código implementado). O foco será testes caixa preta. Neste caso, os testes são gerados a partir de modelagem da especificação de software sem ter a necessidade de se ter o código. O que ocorre é que os testes são gerados bem antes da implementação de software e quando o software estiver pronto, os testes gerados a partir da especificação são exercitados na implementação para conferir se a implementação está de conformidade com a especificação. Por este motivo, testes caixa preta também são conhecidos como testes de conformidade. No entanto, dependendo de como os testes são gerados, poderão haver centenas de milhares de casos de testes se a especificação for algo complexo. Então há uma necessidade de priorizar estes casos sem perder a sua qualidade, ou seja, de alguma forma, deve haver uma garantia que o software está validado. Para priorizar os casos de teste a ideia deste trabalho é explorar Cadeias de Markov. A especificação é modelada como uma Cadeia de Markov e a partir da qual se obtêm probabilidades limite que se referem à quantidade de tempo que o estado ficou ativo. Então, as probabilidades limite poderão dar uma visão ao testador sobre quais funções (estados) deverão ser testados com certa prioridade. Os resultados serão testados para especificações geradas aleatoriamente e depois serão testados em aplicações reais, em particular, aplicações espaciais de software embarcado em satélites e/ou em outras missões.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Investigação de cadeias...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 05/06/2020 15:24 1.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34R/42KFNDB
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/42KFNDB
Idiomapt
Arquivo Alvomoraes_investigacao.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2017/11.22.19.04.03
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8LM
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark 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
atualizar 

1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/42L26H5
Repositóriosid.inpe.br/mtc-m21c/2020/06.08.19.44
Última Atualização2020:06.08.19.44.52 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21c/2020/06.08.19.44.52
Última Atualização dos Metadados2022:07.08.21.15.03 (UTC) administrator
Chave de CitaçãoSilvaSant:2017:TeMoAm
TítuloTestes de modelos ambientais desenvolvidos via TerraME
Ano2017
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas29
Número de Arquivos1
Tamanho2088 KiB
2. Contextualização
Autor1 Silva, Leoni Augusto Romain da
2 Santiago Júnior, Valdivino Alexandre de
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJB5
Grupo1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 augustoromain@gmail.com
2 valdivino.santiago@inpe.br
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2020-06-08 19:44:52 :: simone -> administrator ::
2022-07-08 21:15:03 :: administrator -> simone :: 2017
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavemodelos ambientais
TerraME
ResumoA área temática Modelagem do Sistema Terrestre e Projeção do Centro de Ciência do Sistema Terrestre (CCST/INPE) objetiva pesquisar a representação do Sistema Terrestre (ST), abrangendo não somente as dimensões físicas e biológicas, como também as dimensões humanas. Existem diversas ações de pesquisa sólidas em relação a essa área temática do CCST/INPE, sendo que uma delas é o TerraME: um ambiente de desenvolvimento para a modelagem dinâmica espacial que apóia o conceito de Autômatos Celulares Aninhados (Nested-CA). Assegurar que os modelos ambientais estejam consistentes/corretos, é uma tarefa bastante desafiadora pois requer o conhecimento no domínio de aplicação, além do conhecimento da linguagem de programação em que o código-fonte do modelo foi escrito. Por outro lado, as metodologias, técnicas e processos da Engenharia de Software podem contribuir para melhorar a qualidade de um produto de software. A área de Verificação e Validação (V&V) da Engenharia de Software almeja contribuir para essa melhoria da qualidade. Teste de software é, muito provavelmente, o processo mais adotado, na prática, entre todos relacionadas à V&V. Os objetivos específicos desse projeto são: a.) investigar diversas técnicas para geração de casos de teste de software para modelos ambientais desenvolvidos via TerraME; b.) realizar uma comparação estatística rigorosa para identificar quais das técnicas, usadas para geração de casos de teste para os modelos TerraME, obtiveram melhor custo e efetividade. Esse relatório apresenta as atividades desenvolvidas no período de 01 de agosto de 2016 a 13 de julho de 2017.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Testes de modelos...
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Testes de modelos...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 08/06/2020 16:44 1.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34R/42L26H5
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/42L26H5
Idiomapt
Arquivo Alvosilva_teste de modelos.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2017/11.22.19.04.03
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8LM
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.15.01.24 1
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark 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
atualizar 

1. Identificação
Tipo de ReferênciaRelatório (Report)
Sitemtc-m21c.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34R/42L26CL
Repositóriosid.inpe.br/mtc-m21c/2020/06.08.19.42
Última Atualização2020:06.08.19.42.42 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21c/2020/06.08.19.42.42
Última Atualização dos Metadados2022:07.08.21.15.02 (UTC) administrator
Chave de CitaçãoSilvaSant:2017:TeSoVi
TítuloTestes de software via model checking para sistemas espaciais críticos
Ano2017
Data de Acesso26 abr. 2024
TipoRPQ
Número de Páginas42
Número de Arquivos1
Tamanho1678 KiB
2. Contextualização
Autor1 Silva, Felipe Elias Costa da
2 Santiago Júnior, Valdivino Alexandre de
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JJB5
Grupo1
2 LABAC-COCTE-INPE-MCTIC-GOV-BR
Afiliação1 Universidade Salesiana (UNISAL)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 felipe.eliascs@hotmail.com
2 valdivino.santiago@inpe.br
InstituiçãoInstituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Histórico (UTC)2020-06-08 19:42:42 :: simone -> administrator ::
2022-07-08 21:15:02 :: administrator -> simone :: 2017
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-Chavesoftware
model checking
sistemas espaciais
ResumoTestes de software e Model Checking (método de Verificação Formal) são processos/métodos diferentes para assegurar a qualidade de sistemas de software. Para sistemas críticos, tais como satélites e aplicações de balões estratosféricos que o INPE desenvolve, a questão da qualidade é ainda mais relevante, pois um defeito no software pode ocasionar grandes perdas financeiras. Dado a busca exaustiva no espaço de estados que Model Checking realiza, pesquisadores vêm propondo gerar casos de testes de software por meio de Model Checking. Nesse contexto, o raciocínio é interpretar os contraexemplos gerados pelos Model Checkers (ferramentas de software que possuem uma realização da teoria de Model Checking) como casos de teste. O principal desafio é forçar o Model Checker a criar, sistematicamente, conjuntos de tais contraexemplos. Esse projeto de pesquisa possui três objetivos específicos: a.) realizar a geração de casos de teste de software a partir de Model Checking; b.) atualizar a metodologia e a ferramenta SOLIMVA com as soluções tecnológicas desenvolvidas no projeto; e c.) aplicar a nova versão da ferramenta e da metodologia SOLIMVA a software de sistema espacial crítico em desenvolvimento no INPE. Esse relatório apresenta as atividades desenvolvidas no período de 01 de agosto de 2015 a 13 de julho de 2017.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Testes de software...
Arranjo 2urlib.net > BDMCI > Fonds > Acervo PIBIC/PIBITI > PIBIC/PIBITI 2017 > Testes de software...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 08/06/2020 16:42 1.7 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP3W34R/42L26CL
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W34R/42L26CL
Idiomapt
Arquivo Alvosilva_testes.pdf
Grupo de Usuáriossimone
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2017/11.22.19.04.03
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPDW34P/478H8LM
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.15.01.24 1
sid.inpe.br/bibdigital/2013/09.22.23.14 1
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirourlib.net/www/2017/11.22.19.04
6. Notas
NotasBolsa PIBIC/INPE/CNPq
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder copyright creatorhistory date descriptionlevel doi e-mailaddress edition format isbn issn label lineage mark 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
atualizar