Resultado da Pesquisa
A expressão de busca foi <secondaryty MAN or secondaryty NTC or secondaryty PUD and firstg ETE-ETE-INPE-MCTI-GOV-BR and y 2014>.
1 referência encontrada buscando em 15 dentre 15 sites.
Data e hora local de busca: 23/10/2020 03:37.
Tipo da ReferênciaBook
Identificador8JMKD3MGP5W34M/3H4MU7L
Repositóriosid.inpe.br/mtc-m21b/2014/09.22.00.21
Metadadossid.inpe.br/mtc-m21b/2014/09.22.00.21.36
Sitemtc-m21b.sid.inpe.br
Rótuloself-archiving-INPE-MCTI-GOV-BR
Chave SecundáriaINPE-17458-MAN/81
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Chave de CitaçãoRomero:2014:HyFUDe
AutorRomero, Alessandro Gerlinger
GrupoETE-ETE-INPE-MCTI-GOV-BR
AfiliaçãoInstituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autorromgerale@yahoo.com.br
TítuloHybrid fUML – Developer’s Guide
Ano2014
Editora (Publisher)Instituto Nacional de Pesquisas Espaciais
CidadeSão José dos Campos
Palavras-ChaveUML, FUML, synchronous, hybrid, modeling.
ResumoThe notion of a hybrid system is centered around a composition of discrete and continuous behaviors. Although the difficulty in modeling hybrid systems comes from the diversity of these systems, the most promising approach to mitigate this issue is developing expressive and precise modeling languages. Nevertheless, developing expressive and precise modeling languages does not necessarily mean the emergence of a new language, on the contrary, this thesis proposes precise semantics for subsets of existent languages. Subsets of existent languages are defined since expressivity and precision usually conflict, e.g., the size and complexity of a language (related to expressivity) may have direct consequences on the size and complexity of its semantics (related to precision). Precision means a semantics defined according to a well established formal method, furthermore, recognizing the real-time nature of hybrid systems, the modeling language have to enable determinism, predictability and straightforward composition. In this work, the distributed package of two complementary languages defined by abstract state machines (ASMs) is presented. The first one is called synchronous fUML and it blends synchronous features for control into the standardized fUML (foundational subset for executable UML models). The second one, hybrid fUML, is a conservative extension of synchronous fUML in which differential algebraic equations (DAEs) are described using a subset of Modelica concrete syntax. The subset of Modelica concrete syntax is selected in a such way that its semantics is defined by the standard mathematical semantics. Hybrid fUML is a modeling language defined to enable description and analysis of system views from hybrid systems. The distributed package allows extension of: meta-models, transformations, static semantics defined in first-order logic, ASMs and examples. RESUMO: A noção de um sistema híbrido é centrada em torno de uma composição de comportamentos discretos e contínuos. Enquanto a dificuldade na modelagem de sistemas híbridos vem da diversidade destes sistemas, a mais promissora abordagem para mitigar este problema é desenvolver linguagens de modelagem expressivas e precisas. No entanto, desenvolver linguagens de modelagem expressivas e precisas não significa a necessidade de novas linguagens, pelo contrário, este trabalho propõe semânticas precisas para subconjuntos de linguagens existentes. Subconjuntos S80 definidos porque expressividade e precisão geralmente conflitam, por exemplo, o tamanho e a complexidade de uma linguagem (relacionados à expressividade) podem ter consequências diretas no tamanho e complexidade de sua semântica (relacionados à precisão). Precisão significa uma semântica definida de acordo com um método for-mal estabelecido, além disso, reconhecendo a natureza de tempo real dos sistemas híbridos, a linguagem de modelagem deve permitir determinismo, previsibilidade e composição simples. Neste trabalho, o pacto de distribuição de duas linguagens complementares definidas por máquinas de estado abstrato (ASMs) é apresentado. A primeira delas é chamada emph{sinchronous fUML} e ela combina recursos síncronos para controle na fUML (emph{Foundational subset for executable UML models}) padronizada. A segunda delas, emph{hybrid Fuml}, é uma extensão conservativa da emph{sinchronous IUML}, na qual equações algébrico-diferenciais (DAEs) são descritas usando-se um subconjunto da sintaxe concreta da Modelica, O subconjunto da Modelica é selecionado do tal forma que sua semântica é definida pela semântica matemática padrão. emph{Hybrid fUML} é uma linguagem de modelagem definida para permitir descrição e análise de visões sistêmicas de sistemas híbridos. O guia do desenvolvedor permite extensão do pacote de distribuição, que por sua vez é composto de: meta modelos, transformações, semântica estática definida em lógica de primeira ordem, ASMs e exemplos.
Número de Páginas150
Idiomaen
Tipo SecundárioMAN
AreaETES
Nota TerciáriaTrabalho não Vinculado à Tese/Dissertação
Tamanho3919 KiB
Número de Arquivos2
Arquivo Alvopublicacao.pdf
Última Atualização2015:01.25.05.40.06 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator
Última Atualização dos Metadados2020:04.29.13.33.12 sid.inpe.br/mtc-m21b/2013/09.26.14.25.20 administrator {D 2014}
Estágio do Documentoconcluido
É a matriz ou uma cópia?é a matriz
Espelhoiconet.com.br/banon/2006/11.26.21.31
Endereço de e-Mailromgerale@yahoo.com.br
e-Mail (login)simone
Grupo de Usuáriosadministrator romgerale@yahoo.com.br tereza@sid.inpe.br yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator romgerale@yahoo.com.br tereza@sid.inpe.br yolanda.souza@mcti.gov.br
Visibilidadeshown
Transferível1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
Estágio do Documentonot transferred
Repositório de Direitos Autoraisurlib.net/www/2012/11.12.15.15
Detentor dos Direitosoriginalauthor yes
Permissão de Leituraallow from all
Unidades Imediatamente Superiores8JMKD3MGPCW/3EUUDJE
Conteúdo da Pasta source
@4primeirasPaginas.pdf 17/11/2014 11:17 792.7 KiB 
publicacao.pdf 17/11/2014 11:17 3.8 MiB
Conteúdo da Pasta agreement
autorizacao.pdf 17/11/2014 11:13 603.3 KiB 
Histórico2014-09-22 00:22:07 :: romgerale@yahoo.com.br -> yolanda ::
2014-09-24 13:16:34 :: yolanda -> romgerale@yahoo.com.br ::
2014-10-30 12:08:34 :: romgerale@yahoo.com.br -> administrator ::
2014-11-11 10:57:48 :: administrator -> yolanda ::
2014-11-17 13:27:06 :: yolanda -> tereza@sid.inpe.br ::
2014-11-18 12:13:07 :: tereza@sid.inpe.br :: -> 2014
2014-11-18 12:26:47 :: tereza@sid.inpe.br -> administrator :: 2014
2014-11-18 15:50:39 :: administrator -> tereza@sid.inpe.br :: 2014
2014-11-18 15:52:36 :: tereza@sid.inpe.br -> administrator :: 2014
2014-11-19 08:40:49 :: administrator -> tereza@sid.inpe.br :: 2014
2014-11-25 17:22:53 :: tereza@sid.inpe.br -> administrator :: 2014
2014-12-16 17:31:40 :: administrator -> yolanda@sid.inpe.br :: 2014
2015-01-08 12:11:05 :: yolanda@sid.inpe.br -> administrator :: 2014
2020-04-29 13:33:12 :: administrator -> simone :: 2014
Campos Vaziosarchivingpolicy archivist callnumber contenttype copyholder creatorhistory descriptionlevel dissemination doi edition format isbn issn lineage mark nextedition notes numberofvolumes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid secondarydate secondarymark serieseditor seriestitle session shorttitle sponsor subject tertiarytype translator url versiontype volume
Data de Acesso23 out. 2020
atualizar 
similares