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: 19/10/2020 13:24.
Tipo da ReferênciaBook Section
Identificador8JMKD3MGP3W/3MTNDKH
Repositóriosid.inpe.br/plutao/2016/12.05.21.25   (acesso restrito)
Metadadossid.inpe.br/plutao/2016/12.05.21.25.25
Siteplutao.sid.inpe.br
Rótulolattes: 5142426481528206 3 EchevarriaSantCampSilv:2016:DiTiIn
ISBN9783319388687
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoEchevarriaSantCampSilv:2016:DiTiIn
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ítuloDiagnosing time-dependent incipient faults
Título do LivroMathematical modeling and computational intelligence in engineering applications
Ano2016
Editora (Publisher)Springer Verlag
CidadeBerlim
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.
Páginas47-62
Idiomaen
URL (dados não confiáveis)http://link.springer.com/book/10.1007%2F978-3-319-38869-4
Tipo SecundárioPRE LI
AreaCOMP
Tamanho4834 KiB
Número de Arquivos3
Última Atualização2018:08.30.12.34.13 dpi.inpe.br/plutao@80/2008/08.19.15.01 simone
Última Atualização dos Metadados2018:08.30.12.34.13 dpi.inpe.br/plutao@80/2008/08.19.15.01 simone {D 2016}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhourlib.net/www/2011/03.29.20.55
e-Mail (login)simone
Grupo de Usuárioslattes
Visibilidadeshown
Transferível1
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
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
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
Data de Acesso19 out. 2020
atualizar 
similares 
Tipo da ReferênciaBook Section
Identificador8JMKD3MGP3W34P/3MPP93S
Repositóriosid.inpe.br/mtc-m21b/2016/11.11.11.28   (acesso restrito)
Metadadossid.inpe.br/mtc-m21b/2016/11.11.11.28.07
Sitemtc-m21b.sid.inpe.br
DOI10.3233/978-1-61499-703-0-808
ISBN978-1-61499-703-0
978-1-61499-702-3
Chave SecundáriaINPE--/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoKienbaumFSMCGRAF:2016:TrPrOr
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
TítuloA transdisciplinary process oriented framework to support generic PLM implementation for use by small and medium enterprises
Título do LivroTransdisciplinary engineering: crossing boundaries
Ano2016
EditorBorsato, M.
Wognum, M.
Peruzzini, M.
Stjepandic, J.
Verhagen, W. J. C.
Volume4
Título da SérieAdvances in Transdisciplinary Engineering
Editora (Publisher)IOS press
CidadeAmsterdam
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.
Páginas808-817
NotasISPE Inc. International Conference on Transdisciplinary Engineering, 3., 3-7 Oct., Curitiba, PR.
Idiomaen
Tipo SecundárioPRE LI
DivulgaçãoBNDEPOSITOLEGAL
AreaCOMP
Tamanho637 KiB
Número de Arquivos3
Última Atualização2018:08.30.12.38.28 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 simone
Última Atualização dos Metadados2018:08.30.12.38.29 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 simone {D 2016}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhourlib.net/www/2011/03.29.20.55
e-Mail (login)simone
Grupo de Usuáriossimone
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
8JMKD3MGPCW/3F35BSP
8JMKD3MGPCW/3F3PAJE
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 11/11/2016 09:28 1.8 KiB 
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
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
Data de Acesso19 out. 2020
atualizar 
similares 
Tipo da ReferênciaBook Section
Identificador8JMKD3MGP3W34P/3LG2USB
Repositóriosid.inpe.br/mtc-m21b/2016/04.11.17.30   (acesso restrito)
Metadadossid.inpe.br/mtc-m21b/2016/04.11.17.30.57
Sitemtc-m21b.sid.inpe.br
DOI10.1007/978-3-319-29473-5_10
ISBN978-331929472-8
Chave SecundáriaINPE--/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSantiagoJúniorTaha:2016:TiPeFo
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
TítuloTime performance formal evaluation of complex systems
Título do LivroFormal Methods: Foundations and Applications
Ano2016
EditorCornélio, Márcio
Roscoe, Bill
Volume9526
Título da SérieLecture Notes in Computer Science
Editora (Publisher)Springer
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.
Páginas162-177
Idiomaen
Tipo SecundárioPRE LI
DivulgaçãoBNDEPOSITOLEGAL
AreaCOMP
Tamanho580 KiB
Número de Arquivos1
Arquivo Alvovaldivino_time.pdf
Última Atualização2016:12.29.15.07.03 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2018:06.04.02.40.41 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2016}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhourlib.net/www/2011/03.29.20.55
e-Mail (login)simone
Grupo de Usuáriosself-uploading-INPE-MCTI-GOV-BR
simone
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 11/04/2016 14:30 1.9 KiB 
Histórico2016-04-11 17:31:25 :: simone -> administrator :: 2016
2018-06-04 02:40:41 :: administrator -> simone :: 2016
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
Data de Acesso19 out. 2020
atualizar 
similares 
Tipo da ReferênciaBook Section
Identificador8JMKD3MGP3W34P/3MB633P
Repositóriosid.inpe.br/mtc-m21b/2016/08.25.17.50   (acesso restrito)
Metadadossid.inpe.br/mtc-m21b/2016/08.25.17.50.56
Sitemtc-m21b.sid.inpe.br
DOI10.1007/978-3-319-42089-9_30
ISBN978-331942088-2
Chave SecundáriaINPE--/
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoSiqueiraJúniorSilvGuer:2016:ApCoAn
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
TítuloAn approach for code annotation validation with metadata location transparency
Título do LivroComputational Science and Its Applications
Ano2016
EditorGervasi, Osvaldo
Murgante, Beniamino
Misra, Sanjay
Rocha, Ana Maria A. C.
Torre, Carmelo M.
Taniar, David
Apduhan, Bernady O.
Stankova, Elena
Wang, Shangguang
Volume9789
Título da SérieLecture Notes in Computer Science
Editora (Publisher)Springer
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.
Páginas422-438
NotasInternational Conference on Computational Science and Its Applications, 16., ICCSA 2016; Beijing; China; 4 -7 July 2016.
Idiomaen
Tipo SecundárioPRE LI
DivulgaçãoBNDEPOSITOLEGAL
AreaCOMP
Tamanho6348 KiB
Número de Arquivos3
Última Atualização2018:08.29.16.23.21 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 simone
Última Atualização dos Metadados2018:08.29.16.23.22 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 simone {D 2016}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhourlib.net/www/2011/03.29.20.55
e-Mail (login)simone
Grupo de Usuáriossimone
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Tipo do ConteudoExternal Contribution
Estágio do Documentonot transferred
Tipo de Versãopublisher
Permissão de Leituradeny from all and allow from 150.163
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 25/08/2016 14:50 1.8 KiB 
Histórico2016-08-25 17:51:08 :: simone -> administrator :: 2016
2018-06-04 02:41:04 :: administrator -> simone :: 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
Data de Acesso19 out. 2020
atualizar 
similares