Resultado da Pesquisa
A expressão de busca foi <ref program and firstg ETE-ETE-INPE-MCTI-GOV-BR and y 2014>.
2 referências encontradas buscando em 17 dentre 17 Arquivos.
Data e hora local de busca: 20/04/2024 07:01.
1. Identificação
Tipo de ReferênciaPrograma de Computador (Computer Program)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP5W34M/3H5F662
Repositóriosid.inpe.br/mtc-m21b/2014/09.26.14.42
Última Atualização2014:11.21.13.13.49 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2014/09.26.14.42.35
Última Atualização dos Metadados2020:04.29.13.33.13 (UTC) administrator
Chave de CitaçãoAmaralJrBald:2014:CáTaCr
TítuloCálculo do tamanho dos cristalitos através do modelo de confinamento de fônons
Ano2014
Data de Acesso20 abr. 2024
Número de Arquivos1
Tamanho11 KiB
2. Contextualização
Programador1 Amaral Junior, Miguel Angelo do
2 Baldan, Maurício Ribeiro
Grupo1 ETE-ETE-INPE-MCTI-GOV-BR
2 ETE-ETE-INPE-MCTI-GOV-BR
Afiliação1 Instituto Nacional de Pesquisas Espaciais (INPE)
2 Instituto Nacional de Pesquisas Espaciais (INPE)
Endereço de e-Mail do Autor1 miguel.junior.mat@hotmail.com
2 baldan@las.inpe.br
Endereço de e-Mailmiguel.junior.mat@hotmail.com
Editora (Publisher)Deposited in the URLib collection.
CidadeSão José dos Campos
Histórico (UTC)2014-09-26 14:47:12 :: miguel.junior.mat@hotmail.com -> administrator :: 2014
2014-09-27 14:32:49 :: administrator -> miguel.junior.mat@hotmail.com :: 2014
2014-11-21 16:42:31 :: miguel.junior.mat@hotmail.com -> yolanda :: 2014
2014-11-28 15:51:53 :: yolanda -> tereza@sid.inpe.br :: 2014
2014-11-28 16:01:04 :: tereza@sid.inpe.br -> administrator :: 2014
2020-04-29 13:33:13 :: administrator -> simone :: 2014
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-ChaveRaman
Fônons
Cristalitos
ResumoDescrição do Programa: É um programa já existente no laboratório para o cálculo do tamanho dos cristalitos. Foi aprimorado, para isso, introduziu uma interface gráfica e melhorou o sistema de calculo. O programa consiste em simular o espectro Raman de primeira ordem do silício poroso através do modelo de confinamento de fônons. O programa armazena o deslocamento Raman e intensidade em vetores x e y. E realiza a integral do modelo, com os valores experimentais obtidos através do Raman. Para mais informações sobre o cálculo realizado, acesse a dissertação de mestrado: "Produção de silício poroso por processo eletroquímico e estudos da evolução morfológica e do tamanho dos cristalitos".
ÁreaFISMAT
ArranjoCálculo do tamanho...
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 26/09/2014 11:42 1.8 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP5W34M/3H5F662
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP5W34M/3H5F662
Arquivo AlvoPrograma.py
Grupo de Usuáriosadministrator
miguel.junior.mat@hotmail.com
tereza@sid.inpe.br
yolanda.souza@mcti.gov.br
Grupo de Leitoresadministrator
miguel.junior.mat@hotmail.com
tereza@sid.inpe.br
yolanda.souza@mcti.gov.br
Visibilidadeshown
Licença de Direitos Autoraisurlib.net/www/2012/11.12.15.10
Detentor dos Direitosoriginalauthor yes
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3EUUDJE
Lista de Itens Citandosid.inpe.br/bibdigital/2013/10.07.21.11 1
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
Campos Vaziosalternatetitle archivingpolicy archivist callnumber computer contenttype copyholder creatorhistory descriptionlevel dissemination doi format isbn issn label language lineage mark nextedition notes orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid schedulinginformation secondarydate secondarykey secondarymark secondarytype session shorttitle sponsor subject tertiarymark tertiarytype type url version versiontype
7. Controle da descrição
e-Mail (login)simone
atualizar 

1. Identificação
Tipo de ReferênciaPrograma de Computador (Computer Program)
Sitemtc-m21b.sid.inpe.br
Código do Detentorisadg {BR SPINPE} ibi 8JMKD3MGPCW/3DT298S
Identificador8JMKD3MGP5W34M/3H4MJSH
Repositóriosid.inpe.br/mtc-m21b/2014/09.21.22.28
Última Atualização2014:09.21.22.28.59 (UTC) administrator
Repositório de Metadadossid.inpe.br/mtc-m21b/2014/09.21.22.28.59
Última Atualização dos Metadados2020:04.29.13.33.12 (UTC) administrator
Chave de CitaçãoRomero:2014:WoHyFu
TítuloWorkspace hybrid fuml
Título CurtoHYBRID FUML
Ano2014
Data de Acesso20 abr. 2024
Número de Arquivos535
Tamanho49263 KiB
2. Contextualização
ProgramadorRomero, 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
Endereço de e-Mailromgerale@yahoo.com.br
Editora (Publisher)Deposited in the URLib collection.
CidadeSao Jose dos Campos
Versão1.0
Histórico (UTC)2014-09-21 22:31:47 :: romgerale@yahoo.com.br -> administrator :: 2014
2014-11-07 16:05:26 :: administrator -> yolanda :: 2014
2014-11-18 15:47:47 :: yolanda -> administrator :: 2014
2014-11-19 08:40:50 :: administrator -> yolanda :: 2014
2014-11-25 11:23:23 :: yolanda -> tereza@sid.inpe.br :: 2014
2014-11-25 16:56:39 :: tereza@sid.inpe.br -> administrator :: 2014
2020-04-29 13:33:12 :: administrator -> simone :: 2014
3. Conteúdo e estrutura
É a matriz ou uma cópia?é a matriz
Estágio do Conteúdoconcluido
Transferível1
Palavras-ChaveUML
fUML
synchronous
real-time
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.
ÁreaETES
Arranjourlib.net > BDMCI > Fonds > Produção anterior à 2021 > CGETE > HYBRID FUML
Conteúdo da Pasta docacessar
Conteúdo da Pasta sourcenão têm arquivos
Conteúdo da Pasta agreement
agreement.html 21/09/2014 19:28 1.8 KiB 
4. Condições de acesso e uso
URL dos dadoshttp://urlib.net/ibi/8JMKD3MGP5W34M/3H4MJSH
URL dos dados zipadoshttp://urlib.net/zip/8JMKD3MGP5W34M/3H4MJSH
Idiomaen
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
Licença de Direitos Autoraisurlib.net/www/2014/11.20.23.16
Permissão de Leituraallow from all
Permissão de Atualizaçãonão transferida
5. Fontes relacionadas
Repositório Espelhosid.inpe.br/mtc-m21b/2013/09.26.14.25.22
Unidades Imediatamente Superiores8JMKD3MGPCW/3EUUDJE
Lista de Itens Citandosid.inpe.br/bibdigital/2013/10.07.21.11 2
Acervo Hospedeirosid.inpe.br/mtc-m21b/2013/09.26.14.25.20
6. Notas
NotasHybrid fUML is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

Hybrid fUML is distributed in the hope that it will be useful
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with Hybrid fUML. If not, see <http://www.gnu.org/licenses/>.
fUML is either registered trademark or trademark of Object Management Group, Inc. in the United States and/or other countries.
Campos Vaziosalternatetitle archivingpolicy archivist callnumber computer contenttype copyholder creatorhistory descriptionlevel dissemination doi format isbn issn label lineage mark nextedition orcid parameterlist parentrepositories previousedition previouslowerunit progress project resumeid rightsholder schedulinginformation secondarydate secondarykey secondarymark secondarytype session sponsor subject targetfile tertiarymark tertiarytype type url versiontype
7. Controle da descrição
e-Mail (login)simone
atualizar