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 17 dentre 17 Arquivos.
Data e hora local de busca: 20/04/2024 12:53.
1. 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
Última Atualização2021:03.08.20.02.36 (UTC) marciana
Repositório de Metadadosdpi.inpe.br/plutao/2012/11.28.16.46.55
Última Atualização dos Metadados2021:03.08.20.02.36 (UTC) marciana
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 Acesso20 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho1016 KiB
2. 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 TerciárioPaper
Histórico (UTC)2012-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
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
Palavras-Chaverealidade aumentada
APRENDIZAGEM
ferramenta de autoria
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Developing Educational Applications...
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
URL dos dadoshttp://urlib.net/ibi/J8LNKAN8RW/3D53LHH
URL dos dados zipadoshttp://urlib.net/zip/J8LNKAN8RW/3D53LHH
Idiomaen
Arquivo Alvocerqueira_developing2.pdf
Grupo de Usuárioslattes
marciana
Visibilidadeshown
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/446AUSL
Lista de Itens Citandosid.inpe.br/bibdigital/2021/02.11.20.54 1
URL (dados não confiáveis)http://www.editlib.org/p/41166/
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosabstract archivingpolicy archivist callnumber copyholder copyright creatorhistory descriptionlevel dissemination doi edition editor format issn lineage mark mirrorrepository nextedition notes numberofvolumes orcid organization parameterlist parentrepositories previousedition previouslowerunit progress project publisheraddress readergroup resumeid rightsholder schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type versiontype
7. Controle da descrição
e-Mail (login)marciana
atualizar 

1. 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 (UTC) simone
Repositório de Metadadosdpi.inpe.br/plutao/2012/11.28.13.56.40
Última Atualização dos Metadados2021:02.11.20.56.48 (UTC) 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 Acesso20 abr. 2024
Tipo SecundárioPRE CI
Número de Arquivos1
Tamanho854 KiB
2. 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 TerciárioPaper
Histórico (UTC)2012-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
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
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.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > DIDSE > Finite state-machine verification...
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 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
5. Fontes relacionadas
Unidades Imediatamente Superiores8JMKD3MGPCW/446AF4B
8JMKD3MGPCW/446AUSL
Acervo Hospedeirodpi.inpe.br/plutao@80/2008/08.19.15.01
6. Notas
Campos Vaziosarchivingpolicy 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 schedulinginformation secondarydate secondarymark serieseditor session shorttitle sponsor subject tertiarymark type url versiontype volume
7. Controle da descrição
e-Mail (login)simone
atualizar