Resultado da Pesquisa
A expressão de busca foi <secondaryty pi and firstg LAC-CTE-INPE-MCTI-GOV-BR and y 2015 and dissemination websci>.
18 referências foram encontradas buscando em 15 dentre 15 sites
(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: 02/03/2021 17:02.

Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3KN36GH
Repositóriosid.inpe.br/plutao/2015/12.04.14.22   (acesso restrito)
Última Atualização2020:09.14.15.03.54 simone
Metadadossid.inpe.br/plutao/2015/12.04.14.22.42
Última Atualização dos Metadados2020:09.14.15.03.54 simone
ISSN0302-9743
Rótulolattes: 5039690360728170 3 ErasSantSantVija:2015:ApBaUM
Chave de CitaçãoErasSantSantVija:2015:ApBaUM
TítuloTowards a wide acceptance of formal methods to the design of safety critical software: an approach based on UML and model checking
Ano2015
Data de Acesso02 mar. 2021
Número de Arquivos1
Tamanho1299 KiB
Área de contextualização
Autor1 Eras, Eduardo Rohde
2 Santos, Luciana Brasil Rebelo dos
3 Santiago Júnior, Valdivino Alexandre de
4 Vijaykumar, Nandamudi Lankalapalli
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JJB5
4 8JMKD3MGP5W/3C9JHTU
Grupo1
2
3 LAC-CTE-INPE-MCTI-GOV-BR
4 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2
3 valdivino.santiago@inpe.br
4 vijay.nl@inpe.br
RevistaLecture Notes in Computer Science
Volume9158
Páginas612-627
Tipo SecundárioPRE PI
Nota SecundáriaA1_BIODIVERSIDADE A1_ADMINISTRAÇÃO,_CIÊNCIAS_CONTÁBEIS_E_TURISMO A2_GEOGRAFIA B1_SAÚDE_COLETIVA B1_INTERDISCIPLINAR B1_CIÊNCIAS_SOCIAIS_APLICADAS_I B2_EDUCAÇÃO B2_ARQUITETURA_E_URBANISMO B3_PSICOLOGIA B3_ODONTOLOGIA B3_MEDICINA_III B3_MEDICINA_II B3_MEDICINA_I B3_GEOCIÊNCIAS B3_ENGENHARIAS_II B3_ENGENHARIAS_I B3_EDUCAÇÃO_FÍSICA B3_DIREITO B4_MATERIAIS B4_BIOTECNOLOGIA B5_MEDICINA_VETERINÁRIA B5_ENSINO B5_CIÊNCIAS_BIOLÓGICAS_II B5_CIÊNCIAS_BIOLÓGICAS_I C_QUÍMICA C_MATEMÁTICA_/_PROBABILIDADE_E_ESTATÍSTICA C_ENGENHARIAS_IV C_ENGENHARIAS_III C_CIÊNCIAS_BIOLÓGICAS_III C_CIÊNCIAS_AMBIENTAIS C_CIÊNCIAS_AGRÁRIAS_I C_CIÊNCIA_DA_COMPUTAÇÃO C_ASTRONOMIA_/_FÍSICA
Histórico2015-12-04 14:22:42 :: lattes -> administrator ::
2018-06-04 23:25:57 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveModel Checking, UML, Formal Methods, Formal Verification.
ResumoThe Unified Modeling Language (UML) is widely used to model systems for object oriented and/or embedded software development, specially by means of its several behavioral diagrams which can provide different points of view of the same software scenario. Model Checking is a formal verification method which has been receiving much attention from the academic community. However, in general, practitioners still avoid using Model Checking in their projects due to several reasons. Based on these facts, we present in this paper a significant improvement of a tool that we have developed which aims to translate several UML behavioral diagrams (sequence, activity, and state machine) into Transition Systems to support software Model Checking. With all the changes, we have applied our tool to a real space software product which is under development for a stratospheric balloon project to show how feasible is our approach in practice.
AreaCOMP
ArranjoINPE > Produção > LABAC > Towards a wide...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo Alvoeras_towards.pdf
Grupo de Usuárioslattes
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Política de Arquivamentodenypublisher denyfinaldraft12
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
URL (dados não confiáveis)http://link.springer.com/chapter/10.1007%2F978-3-319-21410-8_47
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
NotasSetores de Atividade: Pesquisa e desenvolvimento científico.
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel doi e-mailaddress format isbn lineage mark month nextedition number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype typeofwork
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3KN2L48
Repositóriosid.inpe.br/plutao/2015/12.04.11.38.30   (acesso restrito)
Última Atualização2015:12.10.15.52.51 administrator
Metadadossid.inpe.br/plutao/2015/12.04.11.38.31
Última Atualização dos Metadados2018:06.04.23.25.43 administrator
DOI10.1109/TPDS.2014.2342228
ISSN1045-9219
Rótulolattes: 9051364483671452 4 MenesesNiZheMenKal:2015:UsMiOb
Chave de CitaçãoMenesesNiZheMenKal:2015:UsMiOb
TítuloUsing migratable objects to enhance fault tolerance schemes in supercomputers
Ano2015
Data de Acesso02 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho962 KiB
Área de contextualização
Autor1 Meneses, Esteban
2 Ni, Xiang
3 Zheng, Gengbin
4 Mendes, Celso Luiz
5 Kale, Laxmikant V.
Grupo1
2
3
4 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 University of Pittsburgh
2 University of Illinois
3 National Center for Supercomputing Applications
4 Instituto Nacional de Pesquisas Espaciais (INPE)
5 University of Illinois
Endereço de e-Mail do Autor1 emeneses@pitt.edu
2 xiangni2@illinois.edu
3 gzheng@llinois.edu.
4 celso.mendes@inpe.br
5 kale@illinois.edu
RevistaIEEE Transactions on Parallel and Distributed Systems
Volume26
Número7
Páginas2061-2074
Tipo SecundárioPRE PI
Nota SecundáriaA1_ENGENHARIAS_IV A1_CIÊNCIA_DA_COMPUTAÇÃO A2_INTERDISCIPLINAR B3_CIÊNCIAS_BIOLÓGICAS_I
Histórico2015-12-04 11:38:31 :: lattes -> administrator ::
2018-06-04 23:25:43 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveMigratable objects, fault tolerance, resilience, checkpoint/restart, message logging.
ResumoSupercomputers have seen an exponential increase in their size in the last two decades. Such a high growth rate is expected to take us to exascale in the timeframe 2018-2022. But, to bring a productive exascale environment about, it is necessary to focus on several key challenges. One of those challenges is fault tolerance. Machines at extreme scale will experience frequent failures and will require the system to avoid or overcome those failures. Various techniques have recently been developed to tolerate failures. The impact of these techniques and their scalability can be substantially enhanced by a parallel programming model called migratable objects. In this paper, we demonstrate how the migratable-objects model facilitates and improves several fault tolerance approaches. Our experimental results on thousands of cores suggest fault tolerance schemes based on migratable objects have low performance overhead and high scalability. Additionally, we present a performance model that predicts a significant benefit of using migratable objects to provide fault tolerance at extreme scale.
AreaCOMP
ArranjoBDMCI > Fonds > Produção > LABAC > Using migratable objects...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomapt
Arquivo Alvo1_meneses.pdf
Grupo de Usuárioslattes
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoWEBSCI; PORTALCAPES; IEEEXplore; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype url
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3KN2L35
Repositóriosid.inpe.br/plutao/2015/12.04.11.38   (acesso restrito)
Última Atualização2015:12.10.15.55.44 administrator
Metadadossid.inpe.br/plutao/2015/12.04.11.38.29
Última Atualização dos Metadados2018:06.04.23.25.43 administrator
DOI10.1016/j.jocs.2015.03.007
ISSN1877-7503
Rótulolattes: 9051364483671452 1 MendesBoBaEnBeKr:2015:DeTeSu
Chave de CitaçãoMendesBoBaEnBeKr:2015:DeTeSu
TítuloDeployment and testing of the sustained petascale Blue Waters system
Ano2015
Data de Acesso02 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho2110 KiB
Área de contextualização
Autor1 Mendes, Celso Luiz
2 Bode, Brett
3 Bauer, Gregory H.
4 Enos, Jeremy
5 Beldica, Cristina
6 Kramer, William T.
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 University of Illinois
3 University of Illinois
4 University of Illinois
5 University of Illinois
6 University of Illinois
Endereço de e-Mail do Autor1 celso.mendes@inpe.br
RevistaJournal of Computational Science
Volume10
Páginas327-337
Tipo SecundárioPRE PI pi
Histórico2015-12-04 11:38:29 :: lattes -> administrator ::
2018-06-04 23:25:43 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveLarge system deployment, Acceptance testing, Petascale performance.
ResumoDeployment of a large parallel system typically involves several steps of preparation, delivery, installation, testing and acceptance, making such deployments a very complex process. Despite the availability of various petascale systems currently, the steps and lessons from their deployment are rarely described in the literature. This article documents our experiences from the deployment of the sustained petascale Blue Waters system at NCSA. Our presentation is focused on the final deployment steps, where the system was intensively tested and accepted by NCSA. Those experiences and lessons should be useful to guide similarly complex deployments of large systems in the future.
AreaCOMP
ArranjoINPE > Produção > LABAC > Deployment and testing...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo Alvo1_mendes.pdf
Grupo de Usuáriosadministrator
lattes
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoWEBSCI; PORTALCAPES; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn lineage mark month nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3JJPLG2
Repositóriosid.inpe.br/plutao/2015/06.01.14.15
Última Atualização2015:06.02.16.01.25 administrator
Metadadossid.inpe.br/plutao/2015/06.01.14.15.22
Última Atualização dos Metadados2018:06.04.23.25.39 administrator
DOI10.17265/2159-5275/2015.03.008
ISSN2159-5275
Rótulolattes: 8185155301349092 1 CintraCock:2015:LoEnTr
Chave de CitaçãoCintraCock:2015:LoEnTr
TítuloA local ensemble transform Kalman filter data assimilation system for the global FSU atmospheric model
Ano2015
Data de Acesso02 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho430 KiB
Área de contextualização
Autor1 Cintra, Rosangela Saher Corrêa
2 Cocke, Steven
Identificador de Curriculo1 8JMKD3MGP5W/3C9JJ75
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Florida State University
RevistaJournal of Mechanics Engineering and Automation
Volume5
Número3
Páginas185-196
Tipo SecundárioPRE PI
Nota SecundáriaB5_ENGENHARIAS_III
Histórico2015-06-01 14:15:22 :: lattes -> administrator ::
2018-06-04 23:25:39 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-Chavelocal ensemble kalman filter, assimilação de dados, previsão numérica de tempo.
AreaCOMP
ArranjoINPE > Produção > LABAC > A local ensemble...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
URL dos dadoshttp://urlib.net/rep/8JMKD3MGP3W/3JJPLG2
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP3W/3JJPLG2
Idiomaen
Arquivo Alvocintra_local.pdf
Grupo de Usuáriosadministrator
lattes
Visibilidadeshown
Política de Arquivamentoallowpublisher allowfinaldraft
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
URL (dados não confiáveis)http://journal.sapub.org/jmea
DivulgaçãoWEBSCI
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
NotasSetores de Atividade: Administração pública, defesa e seguridade social.
Campos Vaziosabstract alternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress electronicmailaddress format isbn lineage mark month nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup readpermission rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3JJPH3L
Repositóriosid.inpe.br/plutao/2015/06.01.13.33   (acesso restrito)
Última Atualização2015:06.02.16.05.55 administrator
Metadadossid.inpe.br/plutao/2015/06.01.13.33.58
Última Atualização dos Metadados2018:06.04.23.25.38 administrator
DOI10.1089/cmb.2014.0003
ISSN1066-5277
1557-8666
Rótulolattes: 5142426481528206 3 CostaOrCaPiSDCoCu:2015:EsTuSi
Chave de CitaçãoCostaOrCaPiDuCoCu:2015:EsTuSi
TítuloEstimation of tumor size evolution using particle filters
Ano2015
Data de Acesso02 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho790 KiB
Área de contextualização
Autor1 Costa, José M. J.
2 Orlande, Helcio Rangel Barreto
3 Campos Velho, Haroldo Fraga de
4 Pinho, Suani T. R.
5 Dulikravich, George S.
6 Cotta, Renato M.
7 Cunha Neto, Silvio Henriques da
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JHC3
Grupo1
2
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Universidade Federal do Rio de Janeiro (UFRJ)
2 Universidade Federal do Rio de Janeiro (UFRJ)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 Universidade Federal da Bahia (UFBA)
5 Florida International University
6 Universidade Federal do Rio de Janeiro (UFRJ)
7 Universidade Federal do Rio de Janeiro (UFRJ)
RevistaJournal of Computational Biology
Volume22
Número7
Páginas1-17
Tipo SecundárioPRE PI
Nota SecundáriaA1_CIÊNCIA_DA_COMPUTAÇÃO B1_MATEMÁTICA_/_PROBABILIDADE_E B2_ASTRONOMIA_/_FÍSICA B3_CIÊNCIAS_BIOLÓGICAS_I
Histórico2015-06-01 13:33:58 :: lattes -> administrator ::
2018-06-04 23:25:38 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveState estimation problem, Particle filter, Cancer modeling, Tumor size, Inverse problem.
AreaCOMP
ArranjoBDMCI > Fonds > Produção > LABAC > Estimation of tumor...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo Alvocosta_estimation.pdf
Grupo de Usuárioslattes
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
URL (dados não confiáveis)http://online.liebertpub.com/toc/cmb/0/0
DivulgaçãoWEBSCI; PORTALCAPES; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
NotasSetores de Atividade: Pesquisa e desenvolvimento científico.
Campos Vaziosabstract alternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress electronicmailaddress format isbn lineage mark month nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3JJPAUK
Repositóriosid.inpe.br/plutao/2015/06.01.12.19.11   (acesso restrito)
Última Atualização2015:07.06.15.02.22 administrator
Metadadossid.inpe.br/plutao/2015/06.01.12.19.12
Última Atualização dos Metadados2018:06.04.23.25.36 administrator
DOI10.1016/j.asr.2015.03.028
ISSN0273-1177
1879-1948
Rótulolattes: 0793627832164040 3 SalazarWinMacMasGóm:2015:NaFoEa
Chave de CitaçãoSalazarWinMacMasGóm:2015:NaFoEa
TítuloNatural formations at the Earth-Moon triangular point in perturbed restricted problems
Ano2015
Data de Acesso02 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho5318 KiB
Área de contextualização
Autor1 Salazar, F. J. T.
2 Winter, O. C.
3 Macau, Elbert Einstein Nehrer
4 Masdemont, J. J.
5 Gómez, G.
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JGUT
Grupo1
2
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Universidade Estadual Paulista (UNESP)
2 Universidade Estadual Paulista (UNESP)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 ETSEIB-UPC
5 Departament de Matemàtica Aplicada i Anàisi, UB
Endereço de e-Mail do Autor1
2
3 elbert.macau@inpe.br
RevistaAdvances in Space Research
Volume56
Páginas144-162
Tipo SecundárioPRE PI
Nota SecundáriaB1_ENGENHARIAS_IV B1_ENGENHARIAS_III B1_GEOCIÊNCIAS B1_BIODIVERSIDADE B1_INTERDISCIPLINAR B3_CIÊNCIA_DA_COMPUTAÇÃO B4_ASTRONOMIA_/_FÍSICA C_CIÊNCIAS_BIOLÓGICAS_I
Histórico2015-06-01 12:19:12 :: lattes -> administrator ::
2018-06-04 23:25:36 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveDinamica Nao-Linear, Dinâmica Orbital, Astrodinâmica, controle, Dinâmica Caótica.
ResumoPrevious studies for small formation flying dynamics about triangular libration points have determined the existence of regions of zero and Minimum Relative Radial Acceleration with respect to the nominal trajectory, that prevent from the expansion or contraction of the constellation. However, these studies only considered the gravitational force of the Earth and the Moon using the Circular Restricted Three Body Problem (CRTBP) scenario. Although the CRTBP model is a good approximation for the dynamics of spacecraft in the EarthMoon system, the nominal trajectories around equilateral libration points are strongly affected when the primary orbit eccentricity and solar gravitational force are considered. In this manner, the goal of this work is the analysis of the best regions to place a formation that is flying close a bounded solution around L4, taking into account the Moons eccentricity and Suns gravity. This model is not only more realistic for practical engineering applications but permits to determine more accurately the fuel consumption to maintain the geometry of the formation.
AreaCOMP
ArranjoINPE > Produção > LABAC > Natural formations at...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Arquivo Alvosalazar_natural.pdf
Grupo de Usuárioslattes
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Política de Arquivamentodenypublisher denyfinaldraft24
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
NotasSetores de Atividade: Pesquisa e desenvolvimento científico.
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn lineage mark month nextedition number orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarymark tertiarytype url
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3JJPAU8
Repositóriosid.inpe.br/plutao/2015/06.01.12.19   (acesso restrito)
Última Atualização2015:07.06.15.05.29 administrator
Metadadossid.inpe.br/plutao/2015/06.01.12.19.09
Última Atualização dos Metadados2018:06.04.23.25.36 administrator
DOI10.1142/s0218127415500777
ISSN0218-1274
1793-6551
Rótulolattes: 0793627832164040 2 SalazarMacaWint:2015:ChDyLo
Chave de CitaçãoSalazarMacaWint:2015:ChDyLo
TítuloChaotic dynamics in a low-energy transfer strategy to the equilateral equilibrium points in the earth-moon system
Ano2015
Data de Acesso02 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho691 KiB
Área de contextualização
Autor1 Salazar, F. J. T.
2 Macau, Elbert Einstein Nehrer
3 Winter, Othon Cabo
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGUT
Grupo1
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Universidade Estadual Paulista (UNESP)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Universidade Estadual Paulista (UNESP)
Endereço de e-Mail do Autor1 e7940@hotmail.com
2 elbert.macau@inpe.br
3 ocwinter@gmail.com
RevistaInternational Journal of Bifurcation and Chaos in Applied Sciences and Engineering
Volume25
Número05
Páginas1550077
Tipo SecundárioPRE PI
Nota SecundáriaA1_ENGENHARIAS_IV A2_BIODIVERSIDADE A2_ENGENHARIAS_III A2_INTERDISCIPLINAR A2_ENGENHARIAS_I B1_CIÊNCIAS_AGRÁRIAS_I B1_ECONOMIA B1_MATEMÁTICA_/_PROBABILIDADE_E B1_GEOCIÊNCIAS B2_CIÊNCIA_DA_COMPUTAÇÃO B4_CIÊNCIAS_BIOLÓGICAS_I B4_ENSINO B5_ASTRONOMIA_/_FÍSICA
Histórico2015-06-01 12:19:09 :: lattes -> administrator ::
2018-06-04 23:25:36 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-Chavecontrole de caos, Dinâmica Caótica, Dinamica Nao-Linear, Guiagem, targeting.
ResumoIn the frame of the equilateral equilibrium points exploration, numerous future space missions will require maximization of payload mass, simultaneously achieving reasonable transfer times. To fulfill this request, low-energy non-Keplerian orbits could be used to reach L4 and L5 in the EarthMoon system instead of high energetic transfers. Previous studies have shown that chaos in physical systems like the restricted three-body EarthMoon-particle problem can be used to direct a chaotic trajectory to a target that has been previously considered. In this work, we propose to transfer a spacecraft from a circular Earth Orbit in the chaotic region to the equilateral equilibrium points L4 and L5 in the EarthMoon system, exploiting the chaotic region that connects the Earth with the Moon and changing the trajectory of the spacecraft (relative to the Earth) by using a gravity assist maneuver with the Moon. Choosing a sequence of small perturbations, the time of flight is reduced and the spacecraft is guided to a proper trajectory so that it uses the Moons gravitational force to finally arrive at a desired target. In this study, the desired target will be an orbit about the Lagrangian equilibrium points L4 or L5. This strategy is not only more efficient with respect to thrust requirement, but also its time transfer is comparable to other known transfer techniques based on time optimization.
AreaCOMP
ArranjoBDMCI > Fonds > Produção > LABAC > Chaotic dynamics in...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
Área de condições de acesso e uso
Idiomaen
Grupo de Usuárioslattes
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Política de Arquivamentodenypublisher allowfinaldraft
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
NotasSetores de Atividade: Pesquisa e desenvolvimento científico.
Campos Vaziosalternatejournal archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn lineage mark month nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject targetfile tertiarymark tertiarytype url
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaJournal Article
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3HFK758
Repositóriosid.inpe.br/plutao/2014/11.28.00.59.30   (acesso restrito)
Última Atualização2015:06.12.17.01.24 administrator
Metadadossid.inpe.br/plutao/2014/11.28.00.59.31
Última Atualização dos Metadados2018:06.04.23.25.35 administrator
DOI10.1016/j.infsof.2014.05.016
ISSN0950-5849
Rótulolattes: 9922863822347014 2 SouzaVijaFalb:2014:MaSt
Chave de CitaçãoSouzaVijaFalb:2015:MaSt
TítuloKnowledge Management Initiatives in Software Testing: a Mapping Study
Ano2015
Data de Acesso02 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho689 KiB
Área de contextualização
Autor1 Souza, Érica Ferreira de
2 Vijaykumar, Nandamudi Lankalapalli
3 Falbo, Ricardo de Almeida
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JHTU
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
2 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Universidade Federal do Espírito Santo (UFES)
Endereço de e-Mail do Autor1 erica.souza@lac.inpe.br
2 vijay.nl@inpe.br
3 falbo@inf.ufes.br
Endereço de e-Mailmarcelo.pazos@inpe.br
RevistaInformation and Software Technology
Volume57
NúmeroJan
Páginas378-391
Tipo SecundárioPRE PI
Nota SecundáriaA2_MEDICINA_I A2_CIÊNCIA_DA_COMPUTAÇÃO B1_INTERDISCIPLINAR B2_SOCIOLOGIA
Histórico2014-11-28 00:59:31 :: lattes -> administrator ::
2014-11-28 11:00:18 :: administrator -> lattes :: 2014
2014-12-09 18:12:01 :: lattes -> administrator :: 2014 -> 2015
2018-06-04 23:25:35 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãofinaldraft
Palavras-ChaveSoftware Testing, Knowledge Management, Mapping Study.
ResumoContext: Software testing is a knowledge intensive process, and, thus, Knowledge Management (KM) principles and techniques should be applied to manage software testing knowledge. Objective: This study conducts a survey on existing research on KM initiatives in software testing, in order to identify the state of the art in the area as well as the future research. Aspects such as purposes, types of knowledge, technologies and research type are investigated. Method: The mapping study was performed by searching seven electronic databases. We considered studies published until December 2013. The initial resulting set was comprised of 562 studies. From this set, a total of 13 studies were selected. For these 13, we performed snowballing and direct search to publications of researchers and research groups that accomplished these studies. Results: From the mapping study, we identified 15 studies addressing KM initiatives in software testing that have been reviewed in order to extract relevant information on a set of research questions. Conclusions: Although only a few studies were found that addressed KM initiatives in software testing, the mapping shows an increasing interest in the topic in the recent years. Reuse of test cases is the perspective that has received more attention. From the KM point of view, most of the studies discuss aspects related to providing automated support for managing testing knowledge by means of a KM system. More- over, as a main conclusion, the results show that KM is pointed out as an important strategy for increasing test effectiveness, as well as for improving the selection and application of suited techniques, methods and test cases. On the other hand, inadequacy of existing KM systems appears as the most cited problem related to applying KM in software testing.
AreaCOMP
ArranjoRepositório da BDMCI > Fonds INPE > Produção > LABAC > Knowledge Management Initiatives...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
JIST_Knowledge_Management_in_Software_Testing_ a_systematic_mapping_study.pdf 12/06/2015 14:01 688.2 KiB 
Área de condições de acesso e uso
Idiomaen
Arquivo AlvoJIST_Knowledge_Management_in_Software_Testing_ a_systematic_mapping_study.pdf
Grupo de Usuáriosadministrator
lattes
marcelo.pazos@inpe.br
simone
Grupo de Leitoresadministrator
marcelo.pazos@inpe.br
simone
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Vinculação8JMKD3MGP7W/3FK67N8
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoWEBSCI; PORTALCAPES; COMPENDEX; SCOPUS.
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel format isbn lineage mark month nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder secondarydate secondarykey session shorttitle sponsor subject tertiarytype url
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaJournal Article
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3KLNNF5
Repositóriosid.inpe.br/mtc-m21b/2015/11.26.18.14   (acesso restrito)
Última Atualização2015:11.26.18.18.03 administrator
Metadadossid.inpe.br/mtc-m21b/2015/11.26.18.14.13
Última Atualização dos Metadados2018:06.04.02.55.53 administrator
DOI10.1186/s40064-015-1434-4
ISSN2193-1801
Chave de CitaçãoSoterroniGalsScarRamo:2015:QvStDe
TítuloThe q-G method : a q-version of the steepest descent method for global optimization
Ano2015
MêsDec.
Data de Acesso02 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho2501 KiB
Área de contextualização
Autor1 Soterroni, Aline Cristina
2 Galski, Roberto Luiz
3 Scarabello, Marluce da Cruz
4 Ramos, Fernando Manuel
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
2 LAC-CTE-INPE-MCTI-GOV-BR
3 LAC-CTE-INPE-MCTI-GOV-BR
4 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
4 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 alinecsoterroni@gmail.com
2 roberto.galski@inpe.br
3 marluce.scarabello@inpe.br
4 fernando.ramos@inpe.br
RevistaSpringerPlus
Volume4
Número1
Páginas647
Tipo SecundárioPRE PI pi
Histórico2015-11-26 18:14:13 :: simone -> administrator ::
2018-06-04 02:55:53 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveJackson’s derivative, q-Derivative, q-G method, q-Gradient.
ResumoIn this work, the q-Gradient (q-G) method, a q-version of the Steepest Descent method, is presented. The main idea behind the q-G method is the use of the negative of the q-gradient vector of the objective function as the search direction. The q-gradient vector, or simply the q-gradient, is a generalization of the classical gradient vector based on the concept of Jacksons derivative from the q-calculus. Its use provides the algorithm an effective mechanism for escaping from local minima. The q-G method reduces to the Steepest Descent method when the parameter q tends to 1. The algorithm has three free parameters and it is implemented so that the search process gradually shifts from global exploration in the beginning to local exploitation in the end. We evaluated the q-G method on 34 test functions, and compared its performance with 34 optimization algorithms, including derivative-free algorithms and the Steepest Descent method. Our results show that the q-G method is competitive and has a great potential for solving multimodal optimization problems.
AreaCOMP
ArranjoINPE > Produção > LABAC > The q-G method...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 26/11/2015 16:14 1.0 KiB 
Área de condições de acesso e uso
Idiomaen
Arquivo Alvo2015_soterroni.pdf
Grupo de Usuáriosadministrator
simone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoWEBSCI; PORTALCAPES; SCOPUS.
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress format isbn label lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url
Área de identificação
Tipo de ReferênciaJournal Article
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3KLN3ME
Repositóriosid.inpe.br/mtc-m21b/2015/11.26.14.26   (acesso restrito)
Última Atualização2015:11.26.14.29.08 administrator
Metadadossid.inpe.br/mtc-m21b/2015/11.26.14.26.36
Última Atualização dos Metadados2018:06.04.02.55.52 administrator
DOI10.1016/j.neulet.2015.09.032
ISSN0304-3940
Chave de CitaçãoSilvaLPTBSMOSL:2015:AsViSt
TítuloAssessing vibratory stimulation-induced cortical activity during a motor task—a randomized clinical study
Ano2015
MêsNov.
Data de Acesso02 mar. 2021
Tipo de Trabalhojournal article
Número de Arquivos1
Tamanho572 KiB
Área de contextualização
Autor 1 Silva, Janaína de Moraes
 2 Lima, Fernanda Pupio Silva
 3 Paula Júnior, Alderico Rodrigues de
 4 Teixeira, Silmar
 5 Bastos, Victor Hugo do Vale
 6 Santos, Rayele Pricila Moreira dos
 7 Marques, Charlanne de Oliveira
 8 Oliveira, Maria da Conceição Barros
 9 Sousa, Felipe Aurélio Nunes de
10 Lima, Mario Oliveira
Grupo 1
 2
 3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação 1 Universidade do Vale do Paraíba (UNIVAP)
 2 Universidade do Vale do Paraíba (UNIVAP)
 3 Instituto Nacional de Pesquisas Espaciais (INPE)
 4 Universidade Federal do Piauí (UFPI)
 5 Universidade Federal do Piauí (UFPI)
 6 Universidade Federal do Piauí (UFPI)
 7 Universidade Federal do Rio Grande do Sul (UFRGS)
 8 Universidade Federal do Piauí (UFPI)
 9 Faculdade Santo Agostinho
10 Universidade do Vale do Paraíba (UNIVAP)
RevistaNeuroscience Letters
Volume608
Páginas64-70
Tipo SecundárioPRE PI
Histórico2015-11-26 14:26:36 :: simone -> administrator ::
2018-06-04 02:55:52 :: administrator -> simone :: 2015
Área de conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Tipo de Versãopublisher
Palavras-ChaveElectroencephalography, Beta band, Vibration, Somatosensory stimulation, Motor cortex.
ResumoEffects of vibratory stimulation on motor performance have been widely investigated. Many theories have been applied, in order to evaluate its influence on individuals; however, very few studies have researched vibratory stimulation-induced cortical behavior. The aim of the present study is to investigate behavioral changes, such as reaction time and index finger movements, as well as electrophysiological changes, using beta band absolute power, in subjects submitted to vibratory stimulation. For this study, 30 healthy subjects were randomly selected and divided into two groups, experimental and control, and were submitted to a right index finger task, before and after vibratory stimulation, which was applied to the right upper limb, while their standard cerebral activity was recorded through electroencephalogram. No significant difference was found among behavioral variables. On the other hand, beta band absolute power significantly increased in the experimental group for the C3, C4 and P4 derivations, while it decreased at P3. The results suggest that electrophysiological changes were induced by vibratory stimulation, while reaction time and task-related movements were not affected by it.
AreaCOMP
ArranjoINPE > Produção > LABAC > Assessing vibratory stimulation-induced...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 26/11/2015 12:26 1.0 KiB 
Área de condições de acesso e uso
Idiomaen
Arquivo Alvo2015_silva.pdf
Grupo de Usuáriossimone
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoWEBSCI; PORTALCAPES; SCOPUS.
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosalternatejournal archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress electronicmailaddress format isbn label lineage mark nextedition notes number orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder secondarydate secondarykey secondarymark session shorttitle sponsor subject tertiarymark tertiarytype url