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 17 dentre 17 Arquivos.
Data e hora local de busca: 27/04/2024 02:02.
1. Identificação
Tipo de ReferênciaCapítulo de Livro (Book 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 (UTC) simone
Repositório de Metadadossid.inpe.br/plutao/2016/12.05.21.25.25
Última Atualização dos Metadados2024:01.05.18.15.45 (UTC) simone
ISBN9783319388687
Rótulolattes: 5142426481528206 3 EchevarriaSantCampSilv:2016:DiTiIn
Chave de CitaçãoEchevarriaSantCampSilv:2016:DiTiIn
TítuloDiagnosing time-dependent incipient faults
Ano2016
Data de Acesso27 abr. 2024
Tipo SecundárioPRE LI
Número de Arquivos1
Tamanho4834 KiB
2. 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
EditorSilva Neto, A. J.
Santiago, O. L.
Silva, G. N.
Título do LivroMathematical modeling and computational intelligence in engineering applications
Editora (Publisher)Springer Verlag
CidadeBerlim
Páginas47-62
Histórico (UTC)2016-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal 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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Diagnosing time-dependent incipient...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreementnão têm arquivos
4. Condições de acesso e uso
Idiomaen
Arquivo Alvoechevarria_diagnosing.pdf
Grupo de Usuárioslattes
Grupo de Leitoresadministrator
simone
Visibilidadeshown
Permissão de Leituradeny from all and allow from 150.163
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhourlib.net/www/2011/03.29.20.55
Unidades Imediatamente Superiores8JMKD3MGPCW/3ESGTTP
Lista de Itens Citandosid.inpe.br/mtc-m21/2012/07.13.14.49.40 2
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
6. Notas
Campos Vaziosarchivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi e-mailaddress edition format issn lineage mark nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project rightsholder schedulinginformation secondarydate secondarykey secondarymark serieseditor seriestitle session shorttitle sponsor subject tertiarymark tertiarytype translator volume
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaCapítulo de Livro (Book 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 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21b/2016/11.11.11.28.07
Última Atualização dos Metadados2018:08.30.12.38.29 (UTC) 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 Acesso27 abr. 2024
Tipo SecundárioPRE LI
Número de Arquivos1
Tamanho637 KiB
2. 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
Editora (Publisher)IOS press
CidadeAmsterdam
Volume4
Páginas808-817
Título da SérieAdvances in Transdisciplinary Engineering
Histórico (UTC)2016-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
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal 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.
ÁreaCOMP
Arranjo 1urlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > A transdisciplinary process...
Arranjo 2urlib.net > BDMCI > Fonds > Produção pgr ATUAIS > CSE > A transdisciplinary process...
Arranjo 3urlib.net > BDMCI > Fonds > Produção anterior à 2021 > COCRC > A transdisciplinary process...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 11/11/2016 09:28 1.8 KiB 
4. 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
5. 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
6. 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 schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype translator url
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaCapítulo de Livro (Book 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 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2016/04.11.17.30.57
Última Atualização dos Metadados2018:06.04.02.40.41 (UTC) 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 Acesso27 abr. 2024
Tipo SecundárioPRE LI
Número de Arquivos1
Tamanho580 KiB
2. 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
Editora (Publisher)Springer
Volume9526
Páginas162-177
Título da SérieLecture Notes in Computer Science
Histórico (UTC)2016-04-11 17:31:25 :: simone -> administrator :: 2016
2018-06-04 02:40:41 :: administrator -> simone :: 2016
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal 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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > Time performance formal...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 11/04/2016 14:30 1.9 KiB 
4. 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
5. 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
6. 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 schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark tertiarytype translator url
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaCapítulo de Livro (Book 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 (UTC) simone
Repositório de Metadadossid.inpe.br/mtc-m21b/2016/08.25.17.50.56
Última Atualização dos Metadados2018:08.29.16.23.22 (UTC) 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 Acesso27 abr. 2024
Tipo SecundárioPRE LI
Número de Arquivos1
Tamanho6348 KiB
2. 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
Editora (Publisher)Springer
Volume9789
Páginas422-438
Título da SérieLecture Notes in Computer Science
Histórico (UTC)2016-08-25 17:51:08 :: simone -> administrator :: 2016
2018-06-04 02:41:04 :: administrator -> simone :: 2016
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteúdoExternal 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.
ÁreaCOMP
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > LABAC > An approach for...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 25/08/2016 14:50 1.8 KiB 
4. 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
5. 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
6. 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 schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject targetfile tertiarymark tertiarytype translator url
7. Controle da descrição
e-Mail (login)simone
atualizar