Resultado da Pesquisa
A expressão de busca foi <secondaryty li and ref section and firstg LAC-CTE-INPE-MCTI-GOV-BR and y 2016 and isb *>.
4 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 26/02/2021 17:11.
Área de identificação
Tipo de ReferênciaBook Section
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W/3MTNDKH
Repositóriosid.inpe.br/plutao/2016/12.05.21.25   (acesso restrito)
Última Atualização2018:08.30.12.34.13 simone
Metadadossid.inpe.br/plutao/2016/12.05.21.25.25
Última Atualização dos Metadados2018:08.30.12.34.13 simone
ISBN9783319388687
Rótulolattes: 5142426481528206 3 EchevarriaSantCampSilv:2016:DiTiIn
Chave de CitaçãoEchevarriaSantCampSilv:2016:DiTiIn
TítuloDiagnosing time-dependent incipient faults
Ano2016
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho4834 KiB
Área de contextualização
Autor1 Echevarria, Lidice Camps
2 Santiago, Orestes Llanes
3 Campos Velho, Haroldo Fraga de
4 Silva Neto, A. J.
Identificador de Curriculo1
2
3 8JMKD3MGP5W/3C9JHC3
Grupo1
2
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1
2
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1
2
3 haroldo.camposvelho@inpe.br
Título do LivroMathematical modeling and computational intelligence in engineering applications
Editora (Publisher)Springer Verlag
CidadeBerlim
Páginas47-62
Tipo SecundárioPRE LI
Histórico2016-12-05 21:25:25 :: lattes -> administrator ::
2016-12-07 03:44:29 :: administrator -> lattes :: 2016
2016-12-08 15:01:24 :: lattes -> administrator :: 2016
2018-06-04 23:26:28 :: administrator -> simone :: 2016
Á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 based fault diagnosis, Incipient faults, Inverse problem, Differential evolution algortihm, Particle collisium algorithm (PCA), robustness.
ResumoThis chapter focuses on a formulation for fault diagnosis (FDI) using an inverse problem methodology. It has been shown that this approach allows for diagnoses with adequate balance between robustness and sensitivity. The main contribution of this chapter is the expansion of this approach to include the diagnosis of time-dependent incipient faults. The FDI inverse problem is formulated as an optimization problem that is then solved with two metaheuristics: Differential Evolution and its variation Differential Evolution with Particle Collision. The proposed methodology is tested using simulated data from the Two Tanks system, which is recognized as benchmark for control and diagnosis. The results indicate that this proposal is suitable for the aforementioned diagnosis.
AreaCOMP
ArranjoINPE > Produção > LABAC > Diagnosing time-dependent incipient...
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
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://link.springer.com/book/10.1007%2F978-3-319-38869-4
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition editor format issn lineage mark nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder secondarydate secondarykey secondarymark serieseditor seriestitle session shorttitle sponsor subject targetfile tertiarymark tertiarytype translator volume
Área de controle da descrição
e-Mail (login)simone
atualizar 
Área de identificação
Tipo de ReferênciaBook Section
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3MPP93S
Repositóriosid.inpe.br/mtc-m21b/2016/11.11.11.28   (acesso restrito)
Última Atualização2018:08.30.12.38.28 simone
Metadadossid.inpe.br/mtc-m21b/2016/11.11.11.28.07
Última Atualização dos Metadados2018:08.30.12.38.29 simone
Chave SecundáriaINPE--/
DOI10.3233/978-1-61499-703-0-808
ISBN978-1-61499-703-0
978-1-61499-702-3
Chave de CitaçãoKienbaumFSMCGRAF:2016:TrPrOr
TítuloA transdisciplinary process oriented framework to support generic PLM implementation for use by small and medium enterprises
Ano2016
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho637 KiB
Área de contextualização
Autor1 Kienbaum, Germano de Souza
2 Fernandez, Renato
3 Silva, Elaino Kelson Teixeira
4 Maria, Rodrigo
5 Coicev, Marcelo
6 Gartenkraut, Eduardo
7 Rodrigues, Márcio
8 Augutso Neto, Alvaro
9 Ferreira, Mauricio Gonçalves Vieira
Identificador de Curriculo1 8JMKD3MGP5W/3C9JHAH
2
3
4
5
6
7
8
9 8JMKD3MGP5W/3C9JHT8
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
2 CSE-ETES-SPG-INPE-MCTI-GOV-BR
3 CSE-ETES-SPG-INPE-MCTI-GOV-BR
4
5
6
7
8
9 CRC-CRC-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
5
6
7
8 Instituto Tecnológico de Aeronáutica (ITA)
9 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 germano.kienbaum@inpe.br
2 renato_fernandez@hotmail.com
3 kelson@jetsoft.com.br
4
5
6
7
8
9 mauricio.ferreira@inpe.br
EditorBorsato, M.
Wognum, M.
Peruzzini, M.
Stjepandic, J.
Verhagen, W. J. C.
Título do LivroTransdisciplinary engineering: crossing boundaries
Volume4
Páginas808-817
Título da SérieAdvances in Transdisciplinary Engineering
Editora (Publisher)IOS press
CidadeAmsterdam
Tipo SecundárioPRE LI
Histórico2016-11-11 11:28:36 :: simone -> administrator :: 2016
2016-11-13 13:05:55 :: administrator -> simone :: 2016
2016-12-22 14:28:16 :: simone -> administrator :: 2016
2018-06-04 02:41:14 :: administrator -> simone :: 2016
Á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-ChaveSystems Engineering, Project Management, Business Process Management, Simulation, Transdisciplinary Process Modeling.
ResumoThis paper describes the application of a transdisciplinary process oriented framework named Transdisciplinary Process Science and Technology, which employs the key concepts and techniques from diverse disciplines that deal with complex discrete event processes - namely Model Based System Engineering, Project Management, Business Process Management, and Simulation - as a base for the creation and implementation of generic Product Lifecycle Management supporting systems for use by Small and Medium Enterprises. The friendly and affordable applications created can be put to work together in a Product Lifecycle Management generic environment that is used to support the automated execution and management of the essential procedures in the development of short lifecycle engineering projects, as an alternative to complete and/or tailored Product Lifecycle Management and Business Process Management systems, which are usually costly, complex, difficult to customize and to integrate with the other organisations's legacy software applications.
AreaCOMP
Arranjo 1INPE > Produção > LABAC > A transdisciplinary process...
Arranjo 2INPE > Produção > CSE > A transdisciplinary process...
Arranjo 3INPE > Produção > COCRC > A transdisciplinary process...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 11/11/2016 09:28 1.8 KiB 
Área de condições de acesso e uso
Idiomaen
Grupo de Usuáriossimone
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
8JMKD3MGPCW/3F35BSP
8JMKD3MGPCW/3F3PAJE
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
NotasISPE Inc. International Conference on Transdisciplinary Engineering, 3., 3-7 Oct., Curitiba, PR.
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel e-mailaddress edition format issn label lineage mark nextedition numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype translator url
Área de identificação
Tipo de ReferênciaBook Section
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3LG2USB
Repositóriosid.inpe.br/mtc-m21b/2016/04.11.17.30   (acesso restrito)
Última Atualização2016:12.29.15.07.03 administrator
Metadadossid.inpe.br/mtc-m21b/2016/04.11.17.30.57
Última Atualização dos Metadados2018:06.04.02.40.41 administrator
Chave SecundáriaINPE--/
DOI10.1007/978-3-319-29473-5_10
ISBN978-331929472-8
Chave de CitaçãoSantiagoJúniorTaha:2016:TiPeFo
TítuloTime performance formal evaluation of complex systems
Ano2016
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho580 KiB
Área de contextualização
Autor1 Santiago Júnior, Valdivino Alexandre de
2 Tahar, S.
Identificador de Curriculo1 8JMKD3MGP5W/3C9JJB5
Grupo1 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Concordia University
Endereço de e-Mail do Autor1 valdivino.santiago@inpe.br
2 tahar@ece.concordia.ca
EditorCornélio, Márcio
Roscoe, Bill
Título do LivroFormal Methods: Foundations and Applications
Volume9526
Páginas162-177
Título da SérieLecture Notes in Computer Science
Editora (Publisher)Springer
Tipo SecundárioPRE LI
Histórico2016-04-11 17:31:25 :: simone -> administrator :: 2016
2018-06-04 02:40:41 :: administrator -> simone :: 2016
Á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-ChaveAstrophysics, Balloons, Continuous time systems, Markov processes, Model checking, Numerical methods Computational technique, Continuous time Markov chain, Formal verification methods, Numerical computations, Performance analysis, Probabilistic model checking, Scientific experiments, Traditional techniques.
ResumoFormal verification methods, such as Model Checking, have been used for addressing performance/dependability analysis of systems. Such formal methods have several advantages over traditional techniques aiming at performance/dependability analysis such as the use of a single computational technique for evaluation of any measure and all complex numerical computation steps are hidden to the user. This paper reports on the use of Probabilistic Model Checking for time performance evaluation of complex systems. We propose an approach, TPerP, that allows a professional to clearly address time performance analysis based on Continuous-Time Markov Chain (CTMC). Our approach takes into consideration several types of delay analyzes. We applied it to a balloon-borne high energy astrophysics scientific experiment where we dealt with CTMCs that had around 30 million reachable states and 75 million transitions, and we concluded that the current definition used in the balloon system is inadequate in terms of performance.
AreaCOMP
ArranjoINPE > Produção > LABAC > Time performance formal...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 11/04/2016 14:30 1.9 KiB 
Área de condições de acesso e uso
Idiomaen
Arquivo Alvovaldivino_time.pdf
Grupo de Usuáriosself-uploading-INPE-MCTI-GOV-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
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
DivulgaçãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
Campos Vaziosarchivingpolicy archivist callnumber city copyholder copyright creatorhistory descriptionlevel e-mailaddress edition format issn label lineage mark nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype translator url
Área de identificação
Tipo de ReferênciaBook Section
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP3W34P/3MB633P
Repositóriosid.inpe.br/mtc-m21b/2016/08.25.17.50   (acesso restrito)
Última Atualização2018:08.29.16.23.21 simone
Metadadossid.inpe.br/mtc-m21b/2016/08.25.17.50.56
Última Atualização dos Metadados2018:08.29.16.23.22 simone
Chave SecundáriaINPE--/
DOI10.1007/978-3-319-42089-9_30
ISBN978-331942088-2
Chave de CitaçãoSiqueiraJúniorSilvGuer:2016:ApCoAn
TítuloAn approach for code annotation validation with metadata location transparency
Ano2016
Data de Acesso26 fev. 2021
Número de Arquivos1
Tamanho6348 KiB
Área de contextualização
Autor1 Siqueira Júnior, José Lázaro de
2 Silveira, Fábio Fagundes
3 Guerra, Eduardo Martins
Grupo1
2
3 LAC-CTE-INPE-MCTI-GOV-BR
Afiliação1 Universidade Federal de São Paulo (UNIFESP)
2 Universidade Federal de São Paulo (UNIFESP)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 joselazarosiqueira@gmail.com
2
3 eduardo.guerra@inpe.br
EditorGervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A. C.
Torre, Carmelo M.
Taniar, David
Apduhan, Bernady O.
Stankova, Elena
Wang, Shangguang
Título do LivroComputational Science and Its Applications
Volume9789
Páginas422-438
Título da SérieLecture Notes in Computer Science
Editora (Publisher)Springer
Tipo SecundárioPRE LI
Histórico2016-08-25 17:51:08 :: simone -> administrator :: 2016
2018-06-04 02:41:04 :: administrator -> simone :: 2016
Á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-ChaveCode annotation, Framework, Java, Metadata, Validation.
ResumoThe use of metadata in software development, specially by code annotations, has emerged to complement some limitations of objectoriented programming. A recent study revealed that a lack of validation on the configured metadata can lead to bugs hard to identify and correct. There are approaches to optimize metadata configuration that add the annotation out of the target code element, such as its definition on the enclosing code element or indirectly inside other annotations. Annotation validation rules that rely on the presence of other annotations are specially hard to perform when it is possible to configure it out of the target element. Available approaches for annotation validation in the literature consider their presence only in the target element. This paper presents a validation of code annotations approach in object-oriented software with location transparency, whereas definitions can occur in different parts of source code related to the target element. An evaluation with a meta-framework supports our hypothesis that the approach is capable of decoupling the annotation location from the validation rules.
AreaCOMP
ArranjoINPE > Produção > LABAC > An approach for...
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 25/08/2016 14:50 1.8 KiB 
Área de condições de acesso e uso
Idiomaen
Grupo de Usuáriossimone
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çãoBNDEPOSITOLEGAL
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Área de notas
NotasInternational Conference on Computational Science and Its Applications, 16., ICCSA 2016; Beijing; China; 4 -7 July 2016.
Campos Vaziosarchivingpolicy archivist callnumber city copyholder copyright creatorhistory descriptionlevel e-mailaddress edition format issn label lineage mark nextedition numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project readergroup resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype translator url