Resultado da Pesquisa
A expressão de busca foi <secondaryty ci and ref conference and firstg DSE-ETE-INPE-MCTI-GOV-BR and y 2012 and is *>.
2 referências encontradas buscando em 15 dentre 15 sites.
Data e hora local de busca: 27/02/2021 10:48.
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3D53LHH
Repositóriodpi.inpe.br/plutao/2012/11.28.16.46.54
Metadadosdpi.inpe.br/plutao/2012/11.28.16.46.55
Última Atualização dos Metadados2021:02.11.20.56.49 administrator
Chave SecundáriaINPE--PRE/
ISBN1880094959
Rótulolattes: 6516110599667954 1 CerqueiraKirn:2012:DeEdAp
Chave de CitaçãoCerqueiraKirn:2012:DeEdAp
TítuloDeveloping Educational Applications with a Non-Programming Augmented Reality Authoring Tool
Ano2012
Data de Acesso27 fev. 2021
Área de contextualização
Autor1 Cerqueira, Christopher Shneider
2 Kirner, Claudio
Grupo1 DSE-ETE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 christophercerqueira@gmail.com
Endereço de e-Mailchristophercerqueira@gmail.com
Nome do EventoWorld Conference on Educational Multimedia, Hypermedia and Telecommunications, (EDMEDIA).
Localização do EventoDenver, Colorado, USA
Data2012
Editora (Publisher)AACE
Volume2012
Páginas2816-2825
Título do LivroProceedings
Tipo SecundárioPRE CI
Tipo TerciárioPaper
Histórico2012-11-28 23:06:29 :: lattes -> marciana :: 2012
2012-12-05 17:52:04 :: marciana -> administrator :: 2012
2021-02-11 20:56:49 :: administrator -> marciana :: 2012
Área de conteúdo e estrutura
Estágio do Conteúdoconcluido
Transferível1
Tipo do ConteudoExternal Contribution
Palavras-Chaverealidade aumentada, APRENDIZAGEM, ferramenta de autoria.
AreaETES
Arranjo
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
marciana
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
Área de fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/446AUSL
URL (dados não confiáveis)http://www.editlib.org/p/41166/
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosabstract accessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format issn lineage mark mirrorrepository nextedition notes numberoffiles numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup resumeid rightsholder secondarydate secondarymark serieseditor session shorttitle size sponsor subject targetfile tertiarymark type versiontype
Área de controle da descrição
e-Mail (login)marciana
atualizar 
Área de identificação
Tipo de ReferênciaArtigo em Evento (Conference Proceedings)
Siteplutao.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
IdentificadorJ8LNKAN8RW/3D536H8
Repositóriodpi.inpe.br/plutao/2012/11.28.13.56.39   (acesso restrito)
Última Atualização2020:11.24.15.43.25 simone
Metadadosdpi.inpe.br/plutao/2012/11.28.13.56.40
Última Atualização dos Metadados2021:02.11.20.56.48 administrator
Chave SecundáriaINPE--PRE/
ISBN2012-36-0429
Rótulolattes: 3237709114127674 1 RomeroAmbrSouz:2012:FiStVe
Chave de CitaçãoRomeroAmbrSouz:2012:FiStVe
TítuloFinite state-machine verification applied to hybrid systems
Ano2012
Data de Acesso27 fev. 2021
Número de Arquivos1
Tamanho854 KiB
Área de contextualização
Autor1 Romero, Alessandro Gerlinger
2 Ambrosio, Ana Maria
3 Souza, Marcelo Lopes de Oliveira e
Identificador de Curriculo1
2 8JMKD3MGP5W/3C9JGH7
3 8JMKD3MGP5W/3C9JHP4
Grupo1
2 DSE-ETE-INPE-MCTI-GOV-BR
3 DMC-ETE-INPE-MCTI-GOV-BR
Afiliação1
2 Instituto Nacional de Pesquisas Espaciais (INPE)
3 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 romgerale@yahoo.com.br
2 ana@dss.inpe.br
Endereço de e-Mailromgerale@yahoo.com.br
Nome do EventoCongresso SAE Brasil, 21.
Localização do EventoSão Paulo
Data2012
Editora (Publisher)SAE
Título do LivroProceedings
Tipo SecundárioPRE CI
Tipo TerciárioPaper
Histórico2012-11-28 23:06:21 :: lattes -> marciana :: 2012
2013-01-31 10:48:48 :: marciana -> administrator :: 2012
2018-06-05 00:01:54 :: administrator -> marciana :: 2012
2020-11-24 15:43:11 :: marciana -> simone :: 2012
2020-11-24 15:43:26 :: simone -> administrator :: 2012
2021-02-11 20:56:48 :: administrator -> simone :: 2012
Á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
Palavras-Chavestate-machine, hybrid systems, source lines of code.
ResumoThe notion of a hybrid system is centered around a composition of discrete and continuous dynamics. In particular, the system has a continuous evolution and occasional jumps. The jumps correspond to the change of state in an automaton whose transitions are caused either by controllable or uncontrollable external events or by the continuous evolution. The continuous evolution and these jumps in control loops are the origins from the most stringent temporal demands. These temporal demands are one of the reasons that hybrid systems usually require a high level of safety. Inevitably this type of system is present in mobility devices such as cars, ships and aircraft. Works present data showing that SLOC (Source Lines Of Code), one controversial metric of complexity, growth at current rate using existing development practices will seriously impact affordability of the next generation of commercial aircraft (remarkable hybrid systems). Efforts to develop this type of system have increasingly suffered from cost and schedule overruns. These trends are largely attributed to: (a) increasing system complexity, driven by requirements for increased functionality, performance and dependability; (b) using inadequate development practices. In fact, the verification of such systems has become a key activity in the development life-cycle. Historically such activity demands experts and high efforts, and uses ad-hoc methods. Therefore, the aim of this work is to apply the vast theory of automatic test case generation for this type of system, showing an effective and reproducible alternative for automatic test case generation based on finite state-machines. A case study that was developed considering the problem of inverted pendulum evaluates the suggested approach. The inverted pendulum is a model of attitude control for satellite launch vehicles at its departure (the objective of the attitude control problem is to keep the vehicle in a vertical position). The uniqueness of an inverted pendulum, due to its natural instability, provides various researches in areas of control, electronics and software. Furthermore, the inverted pendulum is a classic hybrid system, since it is composed of continuous dynamic (stabilization of the pendulum in a vertical axis) and discrete (failure mode management). This case study has given strong indications that the approach can bring significant gains for the effectiveness coupled with the reduction of time for planning and execution of verification, as well as contributing to fulfill certification requirements.
AreaETES
Arranjo
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 Alvoromero_finite.pdf
Grupo de Usuárioslattes
marciana
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
Unidades Imediatamente Superiores8JMKD3MGPCW/446AF4B
8JMKD3MGPCW/446AUSL
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
Área de notas
Campos Vaziosaccessionnumber archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization pages parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress rightsholder secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume
Área de controle da descrição
e-Mail (login)simone
atualizar